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
Monotonic inference with unscoped episodic logical forms: from principles to system - MaRDI portal

Monotonic inference with unscoped episodic logical forms: from principles to system

From MaRDI portal

Publication:6538477

Jump to:navigation, search

DOI10.1007/s10849-023-09412-2MaRDI QIDQ6538477

Viet Thong Duong, Gene Louis Kim, Mandar Juvekar, Lenhart Schubert, Junis Ekmekciu

Publication date: 14 May 2024

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

zbMATH Keywords

automated reasoning natural logic monotonic inference episodic logic unscoped logical form

Mathematics Subject Classification ID

Logic of natural languages (03B65) Natural language processing (68T50) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Monotonic inference with unscoped episodic logical forms: from principles to system

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