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
A possible worlds semantics for trustworthy non-deterministic computations - MaRDI portal

A possible worlds semantics for trustworthy non-deterministic computations

From MaRDI portal

Publication:6596679

Jump to:navigation, search

DOI10.1016/j.ijar.2024.109212MaRDI QIDQ6596679

Giuseppe Primiero, Ekaterina Kubyshkina

Publication date: 2 September 2024

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

zbMATH Keywords

possible worlds semantics probabilistic processes trustworthy AI typed natural deduction

Mathematics Subject Classification ID

Artificial intelligence (68Txx) Theory of software (68Nxx) General logic (03Bxx)

This page was built for publication: A possible worlds semantics for trustworthy non-deterministic computations

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