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

scientific article

From MaRDI portal

Publication:4028824

Jump to:navigation, search

zbMath0765.68199MaRDI QIDQ4028824

Stephen G. Pimentel, William L. Rodi

Publication date: 28 March 1993

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

zbMATH Keywords

stable model semantics multiple extensions stable bases nonmonotonic justifications Horn clauses generalized by negation as failure

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items (4)

A framework for controlling model-based diagnosis systems with multiple actions ⋮ An assumption-based truth maintenance system dealing with non-ground justifications ⋮ Contributions to the stable model semantics of logic programs with negation ⋮ Extending and implementing the stable model semantics

This page was built for publication:

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