"Extensions for Open Default Theories via the Domain Closure Assumption."

Michael Kaminski, Johann A. Makowsky, Michael L. Tiomkin (1996)

Details and statistics

DOI: 10.1007/3-540-61630-6_26

access: closed

type: Conference or Workshop Paper

metadata version: 2017-05-22

a service of  Schloss Dagstuhl - Leibniz Center for Informatics