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
Stable generated models, partial temporal logic and disjunctive defaults - MaRDI portal

Stable generated models, partial temporal logic and disjunctive defaults

From MaRDI portal

Publication:4719371

Jump to:navigation, search

DOI10.1016/S0743-1066(99)00008-4zbMath0948.68026MaRDI QIDQ4719371

H.Herre, Joeri Engelfriet

Publication date: 4 January 2000

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

semantics for logic programming

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

This page was built for publication: Stable generated models, partial temporal logic and disjunctive defaults

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