scientific article; zbMATH DE number 3640917

MaRDI QIDQ4199571zbMATH OpenFDO

Authors Olga Stepankova

Publication date 1979

zbMATH Keywords

environment of a robotmany-sorted logicplanning of the goal-oriented behaviourproof theory

Mathematics Subject Classification ID

Classical first-order logic (03B10) Proof theory and constructive mathematics (03F99) Learning and adaptive systems in artificial intelligence (68T05)

Cited in

(1)

• Understanding by semantic language, operation logic and formularies

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 Q4199571)