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
On the SMT-based Verification of Communicative Commitments - MaRDI portal

On the SMT-based Verification of Communicative Commitments

From MaRDI portal

Publication:5040701

Jump to:navigation, search

DOI10.16926/M.2016.21.14OpenAlexW2584195221MaRDI QIDQ5040701

Bożena Woźna-Szcześniak, Ireneusz Szcześniak

Publication date: 17 October 2022

Published in: Scientific Issues Jan Długosz University in Częstochowa. Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.16926/m.2016.21.14

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)

This page was built for publication: On the SMT-based Verification of Communicative Commitments

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