4401 search results - page 7 / 881 » Computing with Default Logic |
AAAI
1990
13 years 9 months ago
1990
FOAL
2007
ACM
14 years 14 days ago
2007
ACM
Nonmonotonic logic is a branch of logic that has been developed to model situations with incomplete information. We argue that there is a connection between AOP and nonmonotonic l...
ECAI
1992
Springer
14 years 20 days ago
1992
Springer
ABSTRACT. This paper investigates the problem of finding subclasses of nonmonotonic reasoning which can be implemented efficiently. The ability to "define" propositions u...
LPNMR
1999
Springer
14 years 25 days ago
1999
Springer
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...
AAAI
1990
13 years 9 months ago
1990
Recently, conditional logics have been developed for application to problems in default reasoning. We present a uniform framework for the development and investigation of conditio...