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; zbMATH DE number 1453060 - MaRDI portal

scientific article; zbMATH DE number 1453060

From MaRDI portal

Publication:4955333

Jump to:navigation, search

zbMath0953.68128MaRDI QIDQ4955333

Kewen Wang, Fangzhen Lin

Publication date: 25 May 2000

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

zbMATH Keywords

situation calculus disjunctive logic programs with classical negation

Mathematics Subject Classification ID

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

Related Items (2)

Abduction in logic programming: A new definition and an abductive procedure based on rewriting ⋮ Characterizing causal action theories and their implementations in answer set programming

This page was built for publication:

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