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
Automated reasoning with function evaluation for COCOLOG - MaRDI portal

Automated reasoning with function evaluation for COCOLOG

From MaRDI portal

Publication:1370602

Jump to:navigation, search

DOI10.1023/A:1018936612538zbMath0880.68119MaRDI QIDQ1370602

Suning Wang, Peter E. Caines

Publication date: 7 January 1998

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

conditional observer and controller logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

This page was built for publication: Automated reasoning with function evaluation for COCOLOG

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