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:3430691

Jump to:navigation, search

zbMath1132.68677MaRDI QIDQ3430691

Alexandre Tessier, Willy Lesaint, Gérard Ferrand

Publication date: 23 March 2007

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

zbMATH Keywords

explanation constraint satisfaction problem constraint logic programming closure proof tree fixpoint rule error diagnosis constraint retraction

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items (2)

Justifying answer sets using argumentation ⋮ Answering the “why” in answer set programming – A survey of explanation approaches

This page was built for publication:

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