Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Tableaux for Reasoning about Atomic Updates - MaRDI portal

Tableaux for Reasoning about Atomic Updates

From MaRDI portal

Publication:2996198

Jump to:navigation, search

DOI10.1007/3-540-45653-8_44zbMath1275.68065OpenAlexW1573973991MaRDI 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

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Mechanization of proofs and logical operations (03B35)

This page was built for publication: Tableaux for Reasoning about Atomic Updates

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2996198&oldid=16012617"