Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski. Infinitary Default Logic for Specification of Nonmonotonic Reasoning. In José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska, editors, Logics in Artificial Intelligence, European Workshop, JELIA 96, Évora, Portugal, September 30 - October 3, 1996, Proceedings. Volume 1126 of Lecture Notes in Computer Science, pages 224-236, Springer, 1996.
Abstract is missing.