Author:
de Araújo Ricardo Wagner,de Medeiros Adelardo A. Dantas
Reference14 articles.
1. Bench-Capon, T., Coenen, F., Nwana, H., and Paton, R. (1993). Two aspects of the validation and verification of knowledge-based systems. In IEEE Expert, pages 76–81.
2. Firby, James R. (1987). An investigation into reactive planning in complex domains. In Proceedings of the 6th National Conference on Artifical Intelligence, Seattle, WA, USA.
3. Georgeff, Michell P. and Lansky, A. L. (1986). Procedural knowledge. In Proceedings of the IEEE, volume 10, pages 183–198.
4. Ingrand, François Felix, Georgeff, Michael P., and Rao, Anand S. (1992). An architecture for real-time reasoning and system control. In IEEE Expert, volume 6, pages 34–44.
5. Ingrand, François Félix, Chatila, Raja, Alami, Rachid, and Robert, Frédéric (1996). PRS: A high level supervision and control language for autonomous mobile robot. In ICRA-IEEE International Conference on Robotics andAutomation, volume 1, pages 43–49, Minneapolis, Minnesota, USA.