Generating plans in linear logic. II: A geometry of conjunctive actions

DOI10.1016/0304-3975(93)90008-HMaRDI QIDQ1802078zbMATH OpenFDO

Authors M. Masseron

Publication date 23 May 1994

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

linear logicproof-netsconjunctive actionsformal actionsplanificationpseudo-plan

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Other applications of logic (03B80)

Recommendations

• scientific article; zbMATH DE number 18649
• Linearity and plan generation
• Generating plans in linear logic. I: Actions as proofs
• Linear logic as a tool for planning under temporal uncertainty
• On linear logic planning and concurrency

Cites work

• scientific article; zbMATH DE number 18649 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• A deductive solution for plan generation
• Generating plans in linear logic. I: Actions as proofs
• Linear logic
• Matings in matrices

Cited in

(6)

• Linear logic as a tool for planning under temporal uncertainty
• scientific article; zbMATH DE number 18649 (Why is no real title available?)
• Strong planning under uncertainty in domains with numerous but identical elements (a generic approach)
• Structural analysis of narratives with the Coq proof assistant
• Generating plans in linear logic. I: Actions as proofs
• Plans, actions and dialogues using linear logic

This page was built for publication: Generating plans in linear logic. II: A geometry of conjunctive actions

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