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

DOI10.1145/2480759.2480766zbMath1353.68261OpenAlexW2001560360MaRDI QIDQ2946699

Hans Tompits, Stefan Woltran, James P. 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

belief revisionanswer set programmingbelief mergingstrong equivalenceprogram encodings

Mathematics Subject Classification ID

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

Related Items (8)

Belief Merging by Examples ⋮ Belief Merging within Fragments of Propositional Logic ⋮ Belief revision within fragments of propositional logic ⋮ A theory of change for prioritised resilient and evolvable software systems ⋮ When you must forget: Beyond strong persistence when forgetting in answer set programming ⋮ Characterization of logic program revision as an extension of propositional revision ⋮ On updates of hybrid knowledge bases composed of ontologies and rules ⋮ On the limits of forgetting in answer set programming

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