Reasoning about evolving nonmonotonic knowledge bases

DOI10.1145/1055686.1055693zbMath1367.68279OpenAlexW2024598493MaRDI QIDQ5277726

Thomas Eiter, Giuliana Sabbatini, Michael Fink, Hans Tompits

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/1055686.1055693

zbMATH Keywords

computational complexitytemporal reasoningprogram equivalencenonmonotonic knowledge basesanswer-set semanticsknowledge-base evolutionlogic-program updates

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17)

Related Items (1)

Solving logic program conflict through strong and weak forgettings

This page was built for publication: Reasoning about evolving nonmonotonic knowledge bases