AGM-Style Belief Revision of Logic Programs under Answer Set Semantics

DOI10.1007/978-3-642-40564-8_27MaRDI QIDQ2851259zbMATH OpenOpenAlexFDO

Authors James Delgrande, Pavlos Peppas, Stefan Woltran

Publication date 10 October 2013

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

Full work available at URL https://doi.org/10.1007/978-3-642-40564-8_27

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Reconsidering AGM-style belief revision in the context of logic programs
• Axiomatic characterization of the AGM theory of belief revision in a temporal logic
• An AGM-style belief revision mechanism for probabilistic spatio-temporal logics
• A model-theoretic approach to belief change in answer set programming
• Iterative belief revision in extended logic programming
• scientific article; zbMATH DE number 978236
• scientific article; zbMATH DE number 2064303
• A program-level approach to revising logic programs under the answer set semantics
• Basic and refined nomic truth approximation by evidence-guided belief revision in AGM-terms

Cited in

(15)

• Belief Base Change Operations for Answer Set Programming
• A semantic characterization for ASP base revision
• Revision by communication
• A theory of change for prioritised resilient and evolvable software systems
• A model-theoretic approach to belief change in answer set programming
• The rise and fall of semantic rule updates based on SE-models
• A semantic characterization ASP base revision
• Merging in the Horn fragment
• Encoding the Revision of Partially Preordered Information in Answer Set Programming
• Characterization of logic program revision as an extension of propositional revision
• Reconsidering AGM-style belief revision in the context of logic programs
• Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks
• Annotated revision specification programs
• On semantic update operators for answer-set programs
• A program-level approach to revising logic programs under the answer set semantics

This page was built for publication: AGM-Style Belief Revision of Logic Programs under Answer Set Semantics

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