149 search results - page 18 / 30 » Argumentation Semantics for Defeasible Logics |
LPNMR
2001
Springer
14 years 2 months ago
2001
Springer
Much work has been done on extending the well-founded semantics to general disjunctive logic programs and various approaches have been proposed. However, no consensus has been reac...
AI
2010
Springer
14 years 29 days ago
2010
Springer
Abstract. In this paper, we present an argumentation-based approach to dealing with inconsistency occurring in knowledge bases. We investigate several important logical properties ...
ENTCS
2002
13 years 9 months ago
2002
In this paper, we develop the notion of fuzzy unification and incorporate it into a novel fuzzy argumentation framework for extended logic programming. We make the following contri...
CL
2000
Springer
13 years 9 months ago
2000
Springer
Recent logic programming languages employ dynamic scheduling of calls to improve e ciency of programs. Dynamic scheduling is realized by allowing some calls to be dynamically &quo...
DLOG
2009
13 years 7 months ago
2009
In this work we summarize our recent results on extending Description Logics for reasoning about prototypical properties and inheritance with exceptions. First, we focus our attent...