Normal Form Results for Default Logic

V. Wiktor Marek, Miroslaw Truszczynski. Normal Form Results for Default Logic. In Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt, editors, Nonmonotonic and Inductive Logic, Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991, Proceedings. Volume 659 of Lecture Notes in Computer Science, pages 270-283, Springer, 1991.

No reviews for this publication, yet.