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
Preferred First-Order Answer Set 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