Sciweavers

50 search results - page 7 / 10
» Revising Nonmonotonic Theories: The Case of Defeasible Logic
Sort
View
ENTCS
2006
181views more  ENTCS 2006»
14 years 11 months ago
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
In this paper, we present a semantical approach to multi-agent belief revision and belief update. For this, we introduce relational structures called conditional doxastic models (...
Alexandru Baltag, Sonja Smets
AI
2007
Springer
14 years 11 months ago
On the evaluation of argumentation formalisms
Argumentation theory has become an important topic in the field of AI. The basic idea is to construct arguments in favor and against a statement, to select the “acceptable” o...
Martin Caminada, Leila Amgoud
ATAL
2007
Springer
15 years 3 months ago
A unified and general framework for argumentation-based negotiation
This paper proposes a unified and general framework for argumentation-based negotiation, in which the role of argumentation is formally analyzed. The framework makes it possible t...
Leila Amgoud, Yannis Dimopoulos, Pavlos Moraitis
ECSQARU
2009
Springer
15 years 6 months ago
A Note on Cumulative Stereotypical Reasoning
Abstract. We address the problem of providing a logical characterization of reasoning based on stereotypes. Following [6] we take a semantic perspective and we base our model on a ...
Giovanni Casini, Hykel Hosni
SLOGICA
2002
74views more  SLOGICA 2002»
14 years 11 months ago
Transfers between Logics and their Applications
In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as w...
Marcelo E. Coniglio, Walter Alexandre Carnielli