Reasoning about Actions with Loops

1. Lespérance, Y., Levesque, H.J., Lin, F., Scherl, R.B.: Ability and knowing how in the situation calculus. Studia Logica 66(1), 165–186 (2000)

   Article  MATH  MathSciNet  Google Scholar 

2. Sardina, S., Giacomo, G.D., Lespèrance, Y., Levesque, H.: On the semantics of deliberation in indigolog - from theory to implementation. Annals of Mathematics and Artificial Intelligence 41(2-4), 259–299 (2004)

   Article  MATH  MathSciNet  Google Scholar 

3. Son, T.C., Baral, C.: Formalizing sensing actions: A transition function based approach. Artificial Intelligence 125(1-2), 19–91 (2001)

   Article  MATH  MathSciNet  Google Scholar 

4. Amir, E.: Planning with nondeterministic actions and sensing. In: AAAI 2002 Workshop on Cognitive Robotics (2002)

   Google Scholar 

5. Lobo, J., Mendez, G., Taylor, S.R.: Knowledge and the action description language \(\mathcal{A}\). Theory and Practice of Logic Programming 1(2), 129–184 (2001)

   MATH  MathSciNet  Google Scholar 

6. Levesque, H.J.: Planning with loops. In: Proceedings of 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 509–515 (2005)

   Google Scholar 

7. Srivastava, S., Immerman, N., Zilberstein, S.: Applicability conditions for plans with loops: Computability results and algorithms. Artificial Intelligence 191, 1–19 (2012)

   Article  MathSciNet  Google Scholar 

8. Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: Weak, strong, and strong cyclic planning via symbolic model checking. Artificial Intelligence 147(1), 35–84 (2003)

   Article  MATH  MathSciNet  Google Scholar 

9. Winner, E., Veloso, M.: LoopDISTILL: Learning domain-specific planners from example plans. In: Proceedings of ICAPS 2007 Workshop on AI Planning and Learning (2007)

   Google Scholar 

10. Lifschitz, V.: On the semantics of strips. In: Georgeff, M.P., Lansky, A. (eds.) Reasoning about Actions and Plans. Morgan Kaufmann, San Mateo (1987)

    Google Scholar 

11. Fikes, R.E., Nilsson, N.J.: Strips, a retrospective. Artificial Intelligence 59(1-2), 227–232 (1993)

    Article  Google Scholar 

Download references