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
Depth-bounded reasoning. Volume 1: classical propositional logic - MaRDI portal

Depth-bounded reasoning. Volume 1: classical propositional logic

From MaRDI portal

Publication:6535861

Jump to:navigation, search

zbMath1542.03001MaRDI QIDQ6535861

Costanza Larese, Sanjay Modgil, Dov M. Gabbay, Marcello D'Agostino

Publication date: 1 March 2024

Published in: Studies in Logic (London) (Search for Journal in Brave)

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logic in computer science (03B70) Classical propositional logic (03B05)

This page was built for publication: Depth-bounded reasoning. Volume 1: classical propositional logic

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