Sciweavers

275 search results - page 5 / 55
» A Family of Defeasible Reasoning Logics and its Implementati...
Sort
View
LPNMR
1999
Springer
13 years 11 months ago
A Comparison of Sceptical NAF-Free Logic Programming Approaches
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, defau...
Grigoris Antoniou, Michael J. Maher, David Billing...
AUSAI
2006
Springer
13 years 11 months ago
ALE Defeasible Description Logic
One of Semantic Web strengths is the ability to address incomplete knowledge. However, at present, it cannot handle incomplete knowledge directly. Also, it cannot handle non-monoto...
Pakornpong Pothipruk, Guido Governatori
INAP
2001
Springer
13 years 11 months ago
Defeasible Logic
We often reach conclusions partially on the basis that we do not have evidence that the conclusion is false. A newspaper story warning that the local water supply has been contamin...
Donald Nute
ARGMAS
2009
Springer
14 years 1 months ago
Realizing Argumentation in Multi-agent Systems Using Defeasible Logic Programming
We describe a working multi-agent architecture based on Defeasible Logic Programming (DeLP) by Garc´ıa and Simari where agents are engaged in an argumentation to reach a common c...
Matthias Thimm
SGAI
2009
Springer
13 years 12 months ago
A Linguistic Truth-Valued Temporal Reasoning Formalism and Its Implementation
Temporality and uncertainty are important features of many real world systems. Solving problems in such systems requires the use of formal mechanism such as logic systems, statisti...
Zhirui Lu, Jun Liu, Juan Carlos Augusto, Hui Wang