A Model-Theoretic Approach to Belief Change in Answer Set Programming

DOI10.1145/2480759.2480766zbMATH Open1353.68261OpenAlexW2001560360MaRDI QIDQ2946699FDOQ2946699

Hans Tompits, Stefan Woltran, James Delgrande, Torsten Schaub

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2480759.2480766

zbMATH Keywords

answer set programmingbelief revisionbelief mergingstrong equivalenceprogram encodings

Mathematics Subject Classification ID

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

Cited In (13)

• When you must forget: Beyond strong persistence when forgetting in answer set programming
• Belief Base Change Operations for Answer Set Programming
• Main issues in belief revision, belief merging and information fusion
• Belief Merging by Examples
• Belief Merging within Fragments of Propositional Logic
• Characterization of logic program revision as an extension of propositional revision
• A theory of change for prioritised resilient and evolvable software systems
• Syntax-Preserving Belief Change Operators for Logic Programs
• On updates of hybrid knowledge bases composed of ontologies and rules
• On the limits of forgetting in answer set programming
• AGM-Style Belief Revision of Logic Programs under Answer Set Semantics
• Title not available (Why is that?)
• Belief revision within fragments of propositional logic

This page was built for publication: A Model-Theoretic Approach to Belief Change in Answer Set Programming

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