Reasoning about Evolving Nonmonotonic Knowledge Bases

DOI10.1007/3-540-45653-8_28zbMath1275.68136arXivcs/0209019OpenAlexW1637139942MaRDI QIDQ2996180

Giuliana Sabbatini, Thomas Eiter, Hans Tompits, Michael Fink

Publication date: 6 May 2011

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/cs/0209019

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

Uses Software

• LUPS
• NuSMV

This page was built for publication: Reasoning about Evolving Nonmonotonic Knowledge Bases