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
SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems - MaRDI portal

SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems

From MaRDI portal

Publication:2968861

Jump to:navigation, search

DOI10.3233/FI-2016-1310zbMath1358.68199MaRDI QIDQ2968861

Bożena Woźna-Szcześniak

Publication date: 22 March 2017

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)

This page was built for publication: SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems

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