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
Proving quantified literals in defeasible logic - MaRDI portal

Proving quantified literals in defeasible logic

From MaRDI portal

Publication:1818760

Jump to:navigation, search

DOI10.1016/S0020-0255(98)10093-2zbMath0936.03029MaRDI QIDQ1818760

David Billington

Publication date: 25 May 2000

Published in: Information Sciences (Search for Journal in Brave)

zbMATH Keywords

nonmonotonic reasoning defeasible logic existentially closed literals universally closed literals

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Cites Work

This page was built for publication: Proving quantified literals in defeasible logic

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