Generating plans in linear logic: I. actions as proofs
- 7 June 1993
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 113 (2) , 349-370
- https://doi.org/10.1016/0304-3975(93)90007-g
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Generating plans in linear logic: II. A geometry of conjunctive actionsTheoretical Computer Science, 1993
- Reasoning about action IArtificial Intelligence, 1988
- Linearity and plan generationNew Generation Computing, 1987
- Linear logicTheoretical Computer Science, 1987
- A deductive solution for plan generationNew Generation Computing, 1986
- Matings in matricesCommunications of the ACM, 1983