A Model-Theoretic Approach to Belief Change in Answer Set Programming
From MaRDI portal
Publication:2946699
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
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Logic programming (68N17)
Related Items
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