CORR
2002
Springer
14 years 8 days ago
2002
Springer
The purpose of this paper is to address some criticisms recently raised by John Horty in two articles against the validity of two commonly accepted defeasible reasoning patterns, ...
DKE
2008
14 years 16 days ago
2008
Logic is currently the target of the majority of the upcoming efforts towards the realization of the Semantic Web vision, namely making the content of the Web accessible not only t...
COLING
1990
14 years 1 months ago
1990
This paper proposes that sentence analysis should be treated as defeasible reasoning, and presents such a treatment lbr Japanese sentence analyses using an argumentation system by...
ECAI
2000
Springer
14 years 4 months ago
2000
Springer
Abstract. Defeasible reasoning is a direction in nonmonotonic reasoning that is based on the use of rules that may be defeated by other rules. It is a simple, but often more effic...
RULEML
2004
Springer
14 years 5 months ago
2004
Springer
Abstract. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology i...
AUSAI
2005
Springer
14 years 6 months ago
2005
Springer
In this paper we present several efficient computational procedures for defeasible reasoning while the plausible and well-defined semantics, viz. preferred models and stable mode...
RULEML
2005
Springer
14 years 6 months ago
2005
Springer
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic W...
PCI
2005
Springer
14 years 6 months ago
2005
Springer
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic W...
LADS
2007
Springer
14 years 6 months ago
2007
Springer
A key challenge for agent architectures and programming paradigms is to account for defeasible reasoning over mental attitudes and to provide associated conflict resolution mechan...
ICLP
2009
Springer
15 years 1 months ago
2009
Springer
We define logic programs with defaults and argumentation theories, a new framework that unifies most of the earlier proposals for defeasible reasoning in logic programming. We pres...