Sciweavers

835 search results - page 7 / 167
» Nonmonotonic Reasoning in Probabilistics
Sort
View
APWEB
2011
Springer
14 years 4 months ago
A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System
This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a nonmonotonic mechanism called minimal inconsistency in paradoxical description lo...
Xiaowang Zhang, Zuoquan Lin, Kewen Wang
KI
1999
Springer
15 years 1 months ago
Revising Nonmonotonic Theories: The Case of Defeasible Logic
Abstract. The revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are t...
David Billington, Grigoris Antoniou, Guido Governa...
103
Voted
CADE
2001
Springer
15 years 10 months ago
NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics
Christian Anger, Kathrin Konczak, Thomas Linke
LPAR
2001
Springer
15 years 2 months ago
Reasoning about Evolving Nonmonotonic Knowledge Bases
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...
ESWS
2005
Springer
15 years 3 months ago
Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir