A representation of action and belief for automatic planning systems

This publication has 7 references indexed in Scilit:

• A representation of action and belief for automatic planning systems
  Published by Elsevier ,1987
• Recovering from execution errors in SIPE
  Computational Intelligence, 1985
• Degrees of non-determinism and concurrency: A Petri net view
  Published by Springer Nature ,1984
• Planning in Time: Windows and Durations for Activities and Goals
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1983
• Net Theory and Applications
  Lecture Notes in Computer Science, 1980
• Petri Nets
  ACM Computing Surveys, 1977
• Strips: A new approach to the application of theorem proving to problem solving
  Artificial Intelligence, 1971