Sciweavers

KR
2004
Springer
14 years 24 days ago
Improving the Forward Chaining Algorithm for Conceptual Graphs Rules
Simple Conceptual Graphs (SGs) are used to represent entities and relations between these entities: they can be translated into positive, conjunctive, existential first-order log...
Jean-François Baget
KR
2004
Springer
14 years 24 days ago
Complex Preferences for Answer Set Optimization
The main contribution of this paper is the definition of the preference description language  ¡¢ . This language allows us to combine qualitative and quantitative, penalty bas...
Gerhard Brewka
KR
2004
Springer
14 years 24 days ago
Reaching Agreement Through Argumentation: A Possibilistic Approach
Negotiation plays a key role as a means for sharing information and resources with the aim of looking for a common agreement. This paper proposes a new approach based on possibili...
Leila Amgoud, Henri Prade
KR
2004
Springer
14 years 24 days ago
On the Use of an ATMS for Handling Conflicting Desires
Leila Amgoud, Claudette Cayrol
KR
2004
Springer
14 years 24 days ago
Regulative and Constitutive Norms in Normative Multiagent Systems
In this paper we introduce a formal framework for the construction of normative multiagent systems, based on Searle’s notion of the construction of social reality. Within the st...
Guido Boella, Leendert W. N. van der Torre