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

scientific article; zbMATH DE number 3799053

From MaRDI portal

Publication:4743764

Jump to:navigation, search

zbMath0506.68076MaRDI QIDQ4743764

Ye. I. Yefimov

Publication date: 1982

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

zbMATH Keywords

GPS STRIPS ABSTRIPS PRIZ problem-solving systems LOMI automatic problem-solving logical theory of problem-solving machine oriented logic QA3 QA4 SFINKS

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Abstract data types; algebraic specification (68Q65) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

Model of representation and acquisition of new knowledge by an autonomous intelligent robot based on the logic of conditionally dependent predicates

This page was built for publication:

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