4401 search results - page 1 / 881 » Computing with Default Logic |
100
Voted
BIRTHDAY
2000
Springer
15 years 5 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...
105
Voted
AAAI
1994
15 years 2 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...
136
click to vote
COSIT
1999
Springer
15 years 5 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...
76
Voted
AI
1999
Springer
15 years 23 days ago
1999
Springer
102
Voted
AI
2002
Springer
15 years 29 days 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...