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 1749139 - MaRDI portal

scientific article; zbMATH DE number 1749139

From MaRDI portal

Publication:4530725

Jump to:navigation, search

zbMath0997.03018MaRDI QIDQ4530725

Patrick Blackburn

Publication date: 13 November 2002

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

zbMATH Keywords

knowledge representation natural language semantics tense logic temporal logic modal logics of time sorted systems

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65) Knowledge representation (68T30) Temporal logic (03B44)

This page was built for publication:

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