Infinitary Default Logic for Specification of Nonmonotonic Reasoning.

Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski

Browse the full JELIA paper archive.