Sciweavers

Share
NIL
1991
3 years 7 months ago
Normal Form Results for Default Logic
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.
V. Wiktor Marek, Miroslaw Truszczynski
NIL
1991
3 years 7 months ago
Deduction with Supernormal Defaults
In this paper we consider supernormal defaults [Poo88] with a strict partial order deļ¬ning their priorities [Bre91]. We investigate their relation to minimal or preferential ent...
Stefan Brass
books