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
scientific article; zbMATH DE number 1418379 - MaRDI portal

scientific article; zbMATH DE number 1418379

From MaRDI portal

Publication:4941943

Jump to:navigation, search

zbMath0943.03015MaRDI QIDQ4941943

Luciano Serafini, Chiara Ghidini

Publication date: 5 September 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

local models semantics knowledge exchange partial knowledge distributed first order logic formalization of distributed knowledge representation and reasoning systems semantics for contextual reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (2)

A modal type theory for formalizing trusted communications ⋮ Proof Theory for Distributed Knowledge

This page was built for publication:

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