scientific article; zbMATH DE number 67824

MaRDI QIDQ4013778zbMATH OpenFDO

Authors Kienchung Kuo

Publication date 27 September 1992

zbMATH Keywords

autoepistemic logic programmingfixpoint semantics for stratified and conservative programs

Mathematics Subject Classification ID

Logic programming (68N17) Artificial intelligence (68T99) Distributed algorithms (68W15)

Recommendations

• Autoepistemic logic programming
• On the autoepistemic reconstruction of logic programming
• Autoepistemic logic
• Autoepistemic circumscription and logic programming
• Autoepistemic logic of first order and its expressive power

Cited in

(3)

• Autoepistemic logic programming
• Autoepistemic logics as a unifying framework for the semantics of logic programs
• On the autoepistemic reconstruction of logic programming

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4013778)