scientific article; zbMATH DE number 3799053

MaRDI QIDQ4743764zbMATH OpenFDO

Authors Ye. I. Yefimov

Publication date 1982

zbMATH Keywords

GPSSTRIPSABSTRIPSPRIZproblem-solving systemsLOMIautomatic problem-solvinglogical theory of problem-solvingmachine oriented logicQA3QA4SFINKS

Mathematics Subject Classification ID

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

Cited in

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4743764)