Sciweavers

1426 search results - page 8 / 286
» Specification of nonmonotonic reasoning
Sort
View
KI
1999
Springer
15 years 4 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...
LPAR
2001
Springer
15 years 4 months ago
Reasoning about Evolving Nonmonotonic Knowledge Bases
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...
ESWS
2005
Springer
15 years 5 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