Generating plans in linear logic. I: Actions as proofs

DOI10.1016/0304-3975(93)90007-GMaRDI QIDQ1802077zbMATH OpenOpenAlexFDO

Authors M. Masseron, Christophe Tollu, Jacqueline Vauzeilles

Publication date 23 May 1994

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

Full work available at URL https://doi.org/10.1016/0304-3975(93)90007-g

zbMATH Keywords

concrete actionformal actionlinear logicplanification

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
• scientific article; zbMATH DE number 1203398
• scientific article; zbMATH DE number 1292302
• Generating plans in linear logic. II: A geometry of conjunctive actions
• Let's plan it deductively!
• Strong planning under uncertainty in domains with numerous but identical elements (a generic approach)
• How to clear a block: a theory of plans
• Computer Science Logic

Cites work

• A deductive solution for plan generation
• Generating plans in linear logic. II: A geometry of conjunctive actions
• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 3657150 (Why is no real title available?)
• scientific article; zbMATH DE number 18649 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (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?)
• Linear logic
• Linearity and plan generation
• Matings in matrices
• Reasoning about action. I: A possible worlds approach

Cited in

(23)

• Linear temporal logic as an executable semantics for planning languages
• Plans, actions and dialogues using linear logic
• On linear logic planning and concurrency
• On proof normalization in linear logic
• Semantic data modelling using linear logic
• Ramification and causality
• Proof-search in type-theoretic languages: An introduction
• Generating plans in linear logic. II: A geometry of conjunctive actions
• The logic of tasks
• The propositional logic of elementary tasks
• Cut elimination for the unified logic
• Strong planning under uncertainty in domains with numerous but identical elements (a generic approach)
• A linear meta-interpreter for reasoning about states and actions
• Generating plans from proofs. The interpolation-based approach to query reformulation
• Structural analysis of narratives with the Coq proof assistant
• On Linear Logic Planning and Concurrency
• scientific article; zbMATH DE number 18649 (Why is no real title available?)
• scientific article; zbMATH DE number 1292302 (Why is no real title available?)
• scientific article; zbMATH DE number 1305704 (Why is no real title available?)
• scientific article; zbMATH DE number 1351101 (Why is no real title available?)
• Linear deductive planning
• Linear logic as a tool for planning under temporal uncertainty
• Collaborative planning with confidentiality

This page was built for publication: Generating plans in linear logic. I: Actions as proofs

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