222 search results - page 6 / 45 » Prioritizing Default Logic |
71
Voted
LPNMR
1999
Springer
15 years 1 months 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...
82
Voted
AAAI
1990
14 years 10 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...
105
click to vote
COSIT
1999
Springer
15 years 1 months ago
1999
Springer
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic lang...
AAAI
1994
14 years 10 months ago
1994
We present a method of representing some classes of default theories as normal logic programs. The main point is that the standard semantics (i.e. SLDNF-resolution) computes answe...
125
click to vote
JELIA
2010
Springer
14 years 8 months ago
2010
Springer
In this paper, we show that Reiter’s default logic in the propositional case can be translated into answer set programming by identifying the internal relationships among formula...