186 search results - page 2 / 38 » Preference-Based Default Reasoning |
NIL
1991
13 years 8 months ago
1991
In this paper we continue investigations of proof theory of default logic. It turns out that, similarly to classical logic, default theories can be represented in normal forms.
ECSQARU
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. Default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Subsequently, several variants of default logic have been proposed to...
KR
2004
Springer
13 years 10 months ago
2004
Springer
CI
2004
13 years 4 months ago
2004
We present a general approach for representing and reasoning with sets of defaults in default logic, focussing on reasoning about preferences among sets of defaults. First, we con...
COSIT
1999
Springer
13 years 9 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...