Sciweavers

1545 search results - page 11 / 309
» Defeasible Description Logics
Sort
View
ICAIL
2011
ACM
12 years 7 months ago
On the relationship between Carneades and Defeasible Logic
We study the formal relationships between the inferential aspects of Carneades (a general argumentation framework) and Defeasible Logic. The outcome of the investigation is that t...
Guido Governatori
IJAR
2008
129views more  IJAR 2008»
13 years 7 months ago
Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the trea...
Teresa Alsinet, Carlos Iván Chesñeva...
ECSQARU
2005
Springer
14 years 1 months ago
Argument-Based Expansion Operators in Possibilistic Defeasible Logic Programming: Characterization and Logical Properties
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating as well t...
Carlos Iván Chesñevar, Guillermo Ric...
DAGSTUHL
2007
13 years 9 months ago
BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic
Abstract. In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible
Guido Governatori, Antonino Rotolo
AUSAI
2007
Springer
14 years 1 months ago
Temporal Extensions to Defeasible Logic
In this paper, we extend Defeasible Logic (a computationally-oriented non-monotonic logic) in order to deal with temporalised rules. In particular, we extend the logic to cope with...
Guido Governatori, Paolo Terenziani