Revision by communication

DOI10.1007/3-540-59487-6_14MaRDI QIDQ5101450zbMATH OpenOpenAlexFDO

Authors Cees Witteveen, Wiebe van der Hoek

Publication date 30 August 2022

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-59487-6_14

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55) Logic in artificial intelligence (68T27)

Recommendations

• AGM-Style Belief Revision of Logic Programs under Answer Set Semantics
• scientific article; zbMATH DE number 1761414
• scientific article; zbMATH DE number 1761413
• Reconsidering AGM-style belief revision in the context of logic programs
• Characterization of logic program revision as an extension of propositional revision

Cites work

• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 1761414 (Why is no real title available?)
• Knowledge in flux. Modeling the dynamics of epistemic states
• Negation in rule-based database languages: A survey
• Removing redundancy from a clause
• Skeptical reason maintenance and belief revision
• The relationship between stable, supported, default and autoepistemic semantics for general logic programs

Cited in

(6)

• Recovery of (non)monotonic theories
• Embedding revision programs in logic programming situation calculus
• Revising and updating using a back-up semantics
• Computational Logic in Multi-Agent Systems
• On logics and semantics for general logic programs
• Update-programms can update programs

This page was built for publication: Revision by communication

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