On the autoepistemic reconstruction of logic programming
From MaRDI portal
Publication:685123
DOI10.1007/BF03037155zbMath0776.68028MaRDI QIDQ685123
Publication date: 30 September 1993
Published in: New Generation Computing (Search for Journal in Brave)
stratification; nonmonotonic reasoning; closed world assumption; negation as failure; stable model semantics; autoepistemic predicate logic; completion semantics; semantics of logic programs; three-valued autoepistemic semantics; well- founded semantics