2012 search results - page 289 / 403 » CORAL - Control, Relations and Logic |
186
click to vote
ICAIL
2009
ACM
16 years 28 days ago
2009
ACM
In this paper coherence-based models are proposed as an alternative to logic-based BDI and argumentation models for the reasoning of normative agents. A model is provided for how t...
153
click to vote
ICTAI
2008
IEEE
16 years 24 days ago
2008
IEEE
These last years, the issue of locating and explaining contradictions inside sets of propositional clauses has received a renewed attention due to the emergence of very efficient...
167
click to vote
WCRE
2008
IEEE
16 years 23 days ago
2008
IEEE
A business process contains a set of logically related tasks executed to fulfill business goals. Business applications enable organizations to automatically perform their daily op...
165
click to vote
ECBS
2007
IEEE
16 years 22 days ago
2007
IEEE
Today, many software-based, reactive systems offer a multitude of functionality. One way to master the development of such a system is to model its functionality on an abstract le...
183
click to vote
FBIT
2007
IEEE
16 years 22 days ago
2007
IEEE
This paper describes a decision tree model and 3dimensional representation of information retrieved from various weblogs in relation to argumentative logics. The weblogs are consi...