Belief Base Change Operations for Answer Set Programming

DOI10.1007/978-3-642-33353-8_23zbMATH Open1361.68033OpenAlexW1748075248MaRDI QIDQ2915080FDOQ2915080

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (15)

• A semantic characterization for ASP base revision
• Reconsidering AGM-style belief revision in the context of logic programs
• Encoding the Revision of Partially Preordered Information in Answer Set Programming
• A program-level approach to revising logic programs under the answer set semantics
• A semantic characterization ASP base revision
• A model-theoretic approach to belief change in answer set programming
• Dependency semantics for sequences of extended logic programs
• Main issues in belief revision, belief merging and information fusion
• Syntax-Preserving Belief Change Operators for Logic Programs
• Extending Removed Sets Revision to partially preordered belief bases
• Belief revision in structured probabilistic argumentation
• On semantic update operators for answer-set programs
• An implementation of consistency-based multi-agent belief change using ASP
• Extending belief bases change to logic programs with ASP
• 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)