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.

• Type: Conference
• Year: 1991
• Where: NIL
• Authors: V. Wiktor Marek, Miroslaw Truszczynski
• Keywords: Automated Reasoning, Default Logic, Default Theories, NIL 1991, Proof Theory