4401 search results - page 1 / 881 » Computing with Default Logic |
BIRTHDAY
2000
Springer
13 years 10 months ago
2000
Springer
A number of prioritized variants of Reiter’s default logic have been described in the literature. In this paper, we introduce two natural principles for preference handling and s...
AAAI
1994
13 years 7 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...
COSIT
1999
Springer
13 years 10 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...
AI
1999
Springer
13 years 5 months ago
1999
Springer
AI
2002
Springer
13 years 5 months ago
2002
Springer
ko et al. have recently proposed an abstract framework for default reasoning. Besides capturing most existing formalisms and proving that their standard semantics all coincide, th...