Belief Base Change Operations for Answer Set Programming
From MaRDI portal
Publication:2915080
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
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)