Reasoning about Sensing Actions in Domains with Multi-Valued Fluents

1. BARAL, C., V. KREINOVICH, and R. TREJO, ‘Computational complexity of planning and approximate planning in the presence of incompleteness’, Artificial Intelligence 122 (2000), 241–267. Elsevier.

   Article  Google Scholar 

2. BARAL, C., S. MCILRAITH, and T. SON, ‘Formulating diagnostic problem solving using an action language with narratives and sensing’, in Proceedings of the Seventh International Conference on Principles of Knowledge and Representation and Reasoning (KR'2000), Morgan Kaufmann, 2000, pp. 311–322.

3. EITER, T., W. FABER, N. LEONE, G. PFEIFER, and A. POLLERES, ‘Planning under incomplete information’, in Proceedings of the First International Conference on Computational Logic (CL'00), Springer Verlag, LNAI 1861, 2000, pp. 807–821.

4. GELFOND, M., and V. LIFSCHITZ, ‘Representing actions and change by logic programs’, Journal of Logic Programming 17, No. 2,3,4, (1993), 301–323. Elsevier.

   Article  Google Scholar 

5. GELFOND, M., and V. LIFSCHITZ, ‘Action languages’, ETAI 3, No. 6 (1998).

6. GIUNCHIGLIA, E., G. KARTHA, and V. LIFSCHITZ, ‘Representing action: indeterminacy and rami.cations’, Artificial Intelligence 95 (1997), 409–443. Elsevier.

   Article  Google Scholar 

7. GOLDEN, K., and D. WELD, ‘Representing sensing actions: the middle ground revisited’, in Proceedings of the Fifth International Conference on Principles of Knowledge and Representation and Reasoning (KR 1996), Morgan Kaufmann, 1996, pp. 174–185.

8. LEVESQUE, H., ‘What is planning in the presence of sensing?’, in Proceedings of the Thirdteenth Conference on Artificial Intelligence, AAAI Press, 1996, pp. 1139–1146.

9. LOBO, J., S. TAYLOR, and G. MENDEZ, ‘Adding knowledge to the action description language A’, in Proceedings of the Fourteenth Conference on Artificial Intelligence, AAAI Press, 1997, pp. 454–459.

10. MCCAIN, N., and H. TURNER, ‘A causal theory of rami.cations and quali.cations’, in Proceedings of the 14th International Joint Conference on Artificial Intelligence, Morgan Kaufmann Publishers, San Mateo, CA, 1995, pp. 1978–1984.

    Google Scholar 

11. MOORE, R., ‘A formal theory of knowledge and action’, in Formal theories of the commonsense world, J. Hobbs and R. Moore, (eds.), Ablex, Norwood, NJ, 1985.

    Google Scholar 

12. SCHERL, R., and H. LEVESQUE, ‘The frame problem and knowledge producing actions’, in Proceedings of the Twelfth National Conference on Artificial Intelligence, AAAI Press, 1993, pp. 689–695.

13. SON, T., and C. BARAL, ‘Formalizing sensing actions - a transition function based approach’, Artificial Intelligence 125, No. 1–2 (January), (2001), 19–91. Elsevier.

    Google Scholar 

14. THIELSCHER, M., ‘Representating the knowledge of a robot’, in Proceedings of the Seventh International Conference on Principles of Knowledge and Representation and Reasoning (KR'2000), Morgan Kaufmann, 2000, pp. 109–120.

15. WELD, D., C. ANDERSON, and D. SMITH, ‘Extending graphplan to handle uncertainity and sensing actions’, in Proceedings of the Fifteenth National Conference on Artificial Intelligence, AAAI Press, 1998, pp. 897–904.

Download references