A deductive solution for plan generation

DOI10.1007/BF03037438MaRDI QIDQ578927zbMATH OpenOpenAlexFDO

Authors Wolfgang Bibel

Publication date 1986

Published in New Generation Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf03037438

zbMATH Keywords

frame problemrobotics3-socks problemconnection methodrobot plan generationSkolem function

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1696782
• A new deductive approach to planning
• Generating plans from proofs
• scientific article; zbMATH DE number 18649
• Linear deductive planning
• Answer set programming and plan generation
• Default reasoning by deductive planning
• A propositional theorem prover to solve planning and other problems
• scientific article; zbMATH DE number 1203398

Cites work

• scientific article; zbMATH DE number 3965414 (Why is no real title available?)
• scientific article; zbMATH DE number 3657150 (Why is no real title available?)
• scientific article; zbMATH DE number 3664336 (Why is no real title available?)
• scientific article; zbMATH DE number 3774914 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• Linearity and plan generation
• Matings in matrices
• Toward automatic program synthesis

Cited in

(19)

• scientific article; zbMATH DE number 3986669 (Why is no real title available?)
• How to clear a block: a theory of plans
• Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic
• John McCarthy's legacy
• A new deductive approach to planning
• Strong planning under uncertainty in domains with numerous but identical elements (a generic approach)
• scientific article; zbMATH DE number 1203398 (Why is no real title available?)
• Ramification and causality
• Generating plans in linear logic. I: Actions as proofs
• Generating plans in linear logic. II: A geometry of conjunctive actions
• The qualification problem: A solution to the problem of anomalous models
• Linearity and plan generation
• Let's plan it deductively!
• Situational calculus, linear connection proofs and STRIPS-like planning: an experimental comparison
• Collaborative planning with confidentiality
• Default reasoning by deductive planning
• Connection-based proof construction in linear logic
• Bounded-Resource Reasoning as (Strong or Classical) Planning
• Connection methods in linear logic and proof nets construction

This page was built for publication: A deductive solution for plan generation

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