Dynamic backward reasoning systems

DOI10.1016/0004-3702(90)90083-CMaRDI QIDQ2638814zbMATH OpenFDO

Authors Antoni Ligȩza

Publication date 1990

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0004-3702(90)90083-C

zbMATH Keywords

backward reasoning

Mathematics Subject Classification ID

Recommendations

• Dynamic reasoning systems
• A study of a dynamic progressive reasoning system
• scientific article; zbMATH DE number 1149402
• Toward a model for backtracking and dynamic programming
• Program Development in Computational Logic
• scientific article; zbMATH DE number 3976298
• Intelligent Backtracking in Plan-Based Deduction
• scientific article; zbMATH DE number 1556014
• scientific article; zbMATH DE number 1852915
• scientific article; zbMATH DE number 1032009

Cites work

• scientific article; zbMATH DE number 3657150 (Why is no real title available?)
• scientific article; zbMATH DE number 3731310 (Why is no real title available?)
• scientific article; zbMATH DE number 3599517 (Why is no real title available?)
• scientific article; zbMATH DE number 3339325 (Why is no real title available?)
• Planning in a hierarchy of abstraction spaces
• STRIPS: A new approach to the application of theorem proving to problem solving
• The Specialization of Programs by Theorem Proving

Cited in

(5)

• Controlling backward inference
• Deductive databases and P systems
• Dynamic reasoning systems
• Backward reasoning in systems with cut
• Pattern-directed invocation with changing equations

This page was built for publication: Dynamic backward reasoning systems

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