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

DOI10.1016/0304-3975(93)90008-HzbMATH Open0787.03007MaRDI QIDQ1802078FDOQ1802078

Authors: M. Masseron 

Publication date: 23 May 1994

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Linear logic
• Generating plans in linear logic. I: Actions as proofs
• A deductive solution for plan generation
• Matings in matrices
• Title not available (Why is that?)

Cited In (6)

• Linear logic as a tool for planning under temporal uncertainty
• Strong planning under uncertainty in domains with numerous but identical elements (a generic approach)
• Title not available (Why is that?)
• 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)