Sciweavers

Share
NIL
1991

Normal Form Results for Default Logic

4 years 24 days 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
Added 27 Aug 2010
Updated 27 Aug 2010
Type Conference
Year 1991
Where NIL
Authors V. Wiktor Marek, Miroslaw Truszczynski
Comments (0)
books