Planning principles for problem solving in automatic program synthesis systems

MaRDI QIDQ5930819zbMATH OpenFDO

Authors S. S. Lavrov, L. A. Zalogova, T. I. Petrushina

Publication date 26 April 2001

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

Dekartfirst-order predicate logic

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 3934387
• scientific article; zbMATH DE number 3963167
• scientific article; zbMATH DE number 3911678
• The programming system PRIZ
• The programming system PRIZ

Cited in

(16)

• Description semantics in utopist language and automatic program synthesis
• Knowledge representation in an automatic programming system and solution of \(E_ k (\mathbb{R}^ 2)\) location problems
• Automatic synthesis of action programs for intelligent robots
• Efficient program synthesis in computational models
• scientific article; zbMATH DE number 3918089 (Why is no real title available?)
• scientific article; zbMATH DE number 3934387 (Why is no real title available?)
• scientific article; zbMATH DE number 3947617 (Why is no real title available?)
• scientific article; zbMATH DE number 3965413 (Why is no real title available?)
• scientific article; zbMATH DE number 4035102 (Why is no real title available?)
• scientific article; zbMATH DE number 1193641 (Why is no real title available?)
• scientific article; zbMATH DE number 67486 (Why is no real title available?)
• scientific article; zbMATH DE number 1241638 (Why is no real title available?)
• scientific article; zbMATH DE number 1475692 (Why is no real title available?)
• scientific article; zbMATH DE number 4116019 (Why is no real title available?)
• scientific article; zbMATH DE number 1855614 (Why is no real title available?)
• scientific article; zbMATH DE number 1408918 (Why is no real title available?)

This page was built for publication: Planning principles for problem solving in automatic program synthesis systems

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