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

scientific article; zbMATH DE number 1794702

From MaRDI portal

Publication:4552507

Jump to:navigation, search

zbMath1004.03028MaRDI QIDQ4552507

Paul Piwek, Emiel Krahmer

Publication date: 25 November 2002

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

zbMATH Keywords

constructive type theory presupposition projection discourse theory anaphoric theory of presupposition world knowledge

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic of natural languages (03B65) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Natural language processing (68T50) Second- and higher-order arithmetic and fragments (03F35)

Related Items (4)

Proof Assistants for Natural Language Semantics ⋮ A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions ⋮ A type reduction from proof-conditional to dynamic semantics ⋮ Higher-Order Multi-Valued Resolution

This page was built for publication:

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