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

scientific article; zbMATH DE number 2063024

From MaRDI portal

Publication:4460678

Jump to:navigation, search

zbMath1038.03033MaRDI QIDQ4460678

Frank Wolter, Carsten Lutz, Franz Baader, Jan Hladík

Publication date: 29 March 2004

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

zbMATH Keywords

knowledge representation description logic automata-based inference tableau-based inference

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35)

Related Items (1)

Description Logics

This page was built for publication:

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