scientific article; zbMATH DE number 978236

MaRDI QIDQ4332412zbMATH OpenFDO

Authors José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski

Publication date 21 April 1997

zbMATH Keywords

autoepistemic logic of beliefsbelief revisionlogic programmingnon-monotonic reasoning

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Reasoning with knowledge and belief
• scientific article; zbMATH DE number 1453056
• Reconsidering AGM-style belief revision in the context of logic programs
• Autoepistemic logic of knowledge and beliefs

Cited in

(18)

• Autoepistemic logic of knowledge and beliefs
• Reducing belief revision to circumscription (and vice versa)
• Default reasoning and belief revision: A syntax-independent approach
• Static semantics for normal and disjunctive logic programs
• Incremental computation for structured argumentation over dynamic DeLP knowledge bases
• AGM-Style Belief Revision of Logic Programs under Answer Set Semantics
• scientific article; zbMATH DE number 67506 (Why is no real title available?)
• scientific article; zbMATH DE number 64164 (Why is no real title available?)
• scientific article; zbMATH DE number 1301760 (Why is no real title available?)
• Declarative Representation of Revision Strategies*
• Reconsidering AGM-style belief revision in the context of logic programs
• Nonmonotonic reasoning with multiple belief sets
• A Simple Nonmonotonic Logic as a Model of Belief Change
• Belief, provability, and logic programs
• scientific article; zbMATH DE number 7455708 (Why is no real title available?)
• Strong and explicit negation in non-monotonic reasoning and logic programming
• Reasoning with knowledge and belief
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents

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 Q4332412)