scientific article; zbMATH DE number 1761412

MaRDI QIDQ4537432zbMATH OpenFDO

Authors José Júlio Alferes, L. M. Pereira

Publication date 30 June 2002

Mathematics Subject Classification ID

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

Recommendations

• Belief, provability, and logic programs
• Autoepistemic logic
• An epistemic model of logic programming
• scientific article; zbMATH DE number 2134137
• Reasoning with knowledge and belief

Cited in

(15)

• Recovery of (non)monotonic theories
• A unifying view for logic programming with non-monotonic reasoning
• Logic programming and knowledge representation---The A-Prolog perspective
• LUPS -- A language for updating logic programs
• A logic programming system for nonmonotonic reasoning
• A computationally grounded logic of graded belief
• Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
• scientific article; zbMATH DE number 2134137 (Why is no real title available?)
• Belief, provability, and logic programs
• scientific article; zbMATH DE number 7368429 (Why is no real title available?)
• Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description)
• Combining explicit negation and negation by failure via Belnap's logic
• Formal semantics for mutual belief
• Logics for belief as maximally plausible possibility
• An epistemic model 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 Q4537432)