Logic program-based updates

DOI10.1145/1149114.1149115zbMath1367.68045OpenAlexW2156974579MaRDI QIDQ5277753

Yan Zhang

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

zbMATH Keywords

computational complexityconflict resolutionprioritized logic programminglogic program-based update

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic programming (68N17)

Related Items (8)

A Unifying Perspective on Knowledge Updates ⋮ Semantic forgetting in answer set programming ⋮ The rise and fall of semantic rule updates based onSE-models ⋮ Characterization of logic program revision as an extension of propositional revision ⋮ On updates of hybrid knowledge bases composed of ontologies and rules ⋮ Solving logic program conflict through strong and weak forgettings ⋮ Preferred First-Order Answer Set Programs ⋮ Model reconciliation in logic programs

This page was built for publication: Logic program-based updates