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

scientific article; zbMATH DE number 1304333

From MaRDI portal

Publication:4251064

Jump to:navigation, search

zbMath0924.03043MaRDI QIDQ4251064

Toshihide Ibaraki, Kazuhisa Makino, Thomas Eiter

Publication date: 7 November 1999

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

zbMATH Keywords

intractability theory change knowledge base polynomial time algorithms knowledge compilation characteristic models Horn approximation Horn CNFs difference of Horn theories Horn cores model-based representation

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in computer science (03B70)

Related Items

On the difference of Horn theories

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