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

DOI10.1016/0304-3975(93)90008-HzbMath0787.03007MaRDI QIDQ1802078

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)

Related Items (5)

Strong planning under uncertainty in domains with numerous but identical elements (a generic approach) ⋮ Linear logic as a tool for planning under temporal uncertainty ⋮ Generating plans in linear logic. I: Actions as proofs ⋮ Plans, actions and dialogues using linear logic ⋮ Structural Analysis of Narratives with the Coq Proof Assistant

Cites Work

• A deductive solution for plan generation
• Linear logic
• Generating plans in linear logic. I: Actions as proofs
• Matings in matrices
• Unnamed Item
• Unnamed Item
• Unnamed Item

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