Belief Base Change Operations for Answer Set Programming

DOI10.1007/978-3-642-33353-8_23MaRDI QIDQ2915080zbMATH OpenOpenAlexFDO

Authors Patrick Krümpelmann, Gabriele Kern-Isberner

Publication date 21 September 2012

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Recommendations

• A model-theoretic approach to belief change in answer set programming
• On Computing Belief Change Operations using Quantified Boolean Formulas
• Extending belief bases change to logic programs with ASP
• Syntax-Preserving Belief Change Operators for Logic Programs
• Logic Programming and Nonmonotonic Reasoning
• A sequent formulation of conditional logic based on belief change operations
• AGM-Style Belief Revision of Logic Programs under Answer Set Semantics
• Implementation of belief change operators using BDDs

Cites work

• A common view on strong, uniform, and other notions of equivalence in answer-set programming
• A program-level approach to revising logic programs under the answer set semantics
• AGM 25 years. Twenty-five years of research in belief change
• Dependency semantics for sequences of extended logic programs
• scientific article; zbMATH DE number 1487805 (Why is no real title available?)
• Logic programming and knowledge representation---The A-Prolog perspective
• Merging Logic Programs under Answer Set Semantics
• On properties of update sequences based on causal rejection
• On semantic update operators for answer-set programs
• Semi-revision
• The refinement extension principle for semantics of dynamic logic programming
• Updates in answer set programming: An approach based on basic structural properties

Cited in

(16)

• A model-theoretic approach to belief change in answer set programming
• On semantic update operators for answer-set programs
• Dependency semantics for sequences of extended logic programs
• An implementation of consistency-based multi-agent belief change using ASP
• A program-level approach to revising logic programs under the answer set semantics
• Encoding the Revision of Partially Preordered Information in Answer Set Programming
• scientific article; zbMATH DE number 638305 (Why is no real title available?)
• Reconsidering AGM-style belief revision in the context of logic programs
• Syntax-Preserving Belief Change Operators for Logic Programs
• A semantic characterization for ASP base revision
• A semantic characterization ASP base revision
• Belief revision in structured probabilistic argumentation
• Extending belief bases change to logic programs with ASP
• Extending Removed Sets Revision to partially preordered belief bases
• Main issues in belief revision, belief merging and information fusion
• Iterative belief revision in extended logic programming

This page was built for publication: Belief Base Change Operations for Answer Set Programming

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