Sciweavers

260 search results - page 19 / 52
» Nonmonotonic Reasoning in FLORA-2
Sort
View
BIRTHDAY
2005
Springer
14 years 3 months ago
Nonmonotonic Reasoning
Alexander Bochman
ICLP
2007
Springer
14 years 1 months ago
Computing Fuzzy Answer Sets Using dlvhex
Fuzzy answer set programming has been introduced as a framework that successfully combines the concepts of answer set programming and fuzzy logic. In this paper, we show how the fu...
Davy Van Nieuwenborgh, Martine De Cock, Dirk Verme...
LPAR
2000
Springer
14 years 1 months ago
On the Complexity of Theory Curbing
In this paper, we determine the complexity of propositional theory curbing. Theory Curbing is a nonmonotonic technique of common sense reasoning that is based on model minimality b...
Thomas Eiter, Georg Gottlob
ICTAI
1996
IEEE
14 years 2 months ago
Automatic Diagnoses for Properly Stratified Knowledge-Bases
We present a mechanism for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an efficient algorithm for doing ...
Ofer Arieli, Arnon Avron