Paolo Traverso, Luca Spalazzi, Fausto Giunchiglia. Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World. In Michael Wooldridge, Jörg P. Müller, Milind Tambe, editors, Intelligent Agents II, Agent Theories, Architectures, and Languages, IJCAI 95, Workshop (ATAL), Montreal, Canada, August 19-20, 1995, Proceedings. Volume 1037 of Lecture Notes in Computer Science, pages 65-78, Springer, 1995.
Abstract is missing.