Generating plans in linear logic. II: A geometry of conjunctive actions
From MaRDI portal
Publication:1802078
DOI10.1016/0304-3975(93)90008-HzbMath0787.03007MaRDI QIDQ1802078
Publication date: 23 May 1994
Published in: Theoretical Computer Science (Search for Journal in Brave)
03B20: Subsystems of classical logic (including intuitionistic logic)
03B80: Other applications of logic
Related Items
Linear logic as a tool for planning under temporal uncertainty, Plans, actions and dialogues using linear logic, Generating plans in linear logic. I: Actions as proofs, Strong planning under uncertainty in domains with numerous but identical elements (a generic approach), Structural Analysis of Narratives with the Coq Proof Assistant
Cites Work