Logic program-based updates
From MaRDI portal
Publication:5277753
DOI10.1145/1149114.1149115zbMath1367.68045MaRDI QIDQ5277753
Publication date: 12 July 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1149114.1149115
computational complexity; conflict resolution; prioritized logic programming; logic program-based update
Related Items
Characterization of logic program revision as an extension of propositional revision, Preferred First-Order Answer Set Programs, On updates of hybrid knowledge bases composed of ontologies and rules, Model reconciliation in logic programs, Semantic forgetting in answer set programming, Solving logic program conflict through strong and weak forgettings, A Unifying Perspective on Knowledge Updates, The rise and fall of semantic rule updates based onSE-models