Autoepistemic logics as a unifying framework for the semantics of logic programs

DOI10.1016/0743-1066(94)00022-XzbMath0816.68041MaRDI QIDQ4327843

Piero A. Bonatti

Publication date: 19 July 1995

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

autoepistemic logicanswer setsFitting's semanticsKunen's semanticsepistemic semanticsstationary semantics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items

Autoepistemic logic programming, Querying disjunctive databases through nonmonotonic logics, Well-Founded and Partial Stable Semantics Logical Aspects, On the complexity of data disjunctions.