Sciweavers

KR
2004
Springer
14 years 4 months 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 4 months 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 4 months 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 4 months ago
On the Use of an ATMS for Handling Conflicting Desires
Leila Amgoud, Claudette Cayrol
KR
2004
Springer
14 years 4 months 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