Sciweavers

1426 search results - page 8 / 286
» Specification of nonmonotonic reasoning
Sort
View
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