Topics in planning
- 1 January 1988
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 146-188
- https://doi.org/10.1007/3-540-50676-4_13
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Planning for conjunctive goalsArtificial Intelligence, 1987
- Temporal data base managementArtificial Intelligence, 1987
- Synthetic programmingArtificial Intelligence, 1985
- The concept and implementation of skeletal plansJournal of Automated Reasoning, 1985
- ISIS—a knowledge‐based system for factory schedulingExpert Systems, 1984
- Maintaining knowledge about temporal intervalsCommunications of the ACM, 1983
- Planning and meta-planning (MOLGEN: Part 2)Artificial Intelligence, 1981
- Planning with constraints (MOLGEN: Part 1)Artificial Intelligence, 1981
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Application of Theorem Proving to Problem SolvingPublished by Defense Technical Information Center (DTIC) ,1969