Extensions for open default theories via the domain closure assumption

DOI10.1093/logcom/8.2.169zbMath0901.68188OpenAlexW2095135724MaRDI QIDQ4399717

Michael Kaminski, Michael Tiomkin, Johann A. Makowsky

Publication date: 19 November 1998

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/8.2.169

zbMATH Keywords

default logicinfinitary logicminimality propertyHerbrand semanticsopen default theories

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items

Default theories over monadic languages, A note on the stable model semantics for logic programs, 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000, XI Latin American Symposium on Mathematical Logic, Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning, The complexity of predicate default logic over a countable domain