Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Browse the full LICS paper archive.