Extensions for Open Default Theories via the Domain Closure Assumption.
Michael Kaminski, Johann A. Makowsky, Michael L. Tiomkin
Browse the full JELIA paper archive.
Michael Kaminski, Johann A. Makowsky, Michael L. Tiomkin
Browse the full JELIA paper archive.