Tableaux for Reasoning about Atomic Updates
From MaRDI portal
Publication:2996198
DOI10.1007/3-540-45653-8_44zbMath1275.68065MaRDI QIDQ2996198
Richard Zach, Georg Moser, Christian G. Fermüller
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://doi.org/10.1007/3-540-45653-8_44
68P15: Database theory
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
68T30: Knowledge representation
03B35: Mechanization of proofs and logical operations