325 search results - page 1 / 65 » Representation Theory for Default Logic |
IJCAI
1997
13 years 6 months ago
1997
We address the problem of introducing preferences into default logic. Two approaches are given, one a generalisation of the other. In the first approach, an ordered default theory...
CORR
1999
Springer
13 years 4 months ago
1999
Springer
KR
1992
Springer
13 years 9 months ago
1992
Springer
Abstract, We consider the problem of integrating Reiter's default logic into terminological representation systems. It turns out that such an integration is less straightforwa...
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...