|
D.L. Pratt Building, Room 398X
Department of Computer Science University of Toronto 6 King's College Road Toronto, ON M5S 3G4 Canada |
Tel: (416) 946-0188
Fax: (416) 978-1455 Email: steven [a-t] cs [d-o-t] toronto [d-o-t] edu |
M. Grüninger, S. Shapiro, M. S. Fox, and H. Weppner. Combining RFID with Ontologies to Create Smart Objects. To appear in the International Journal of Production Research.
S. Shapiro, M. Pagnucco, Y. Lespérance, and H. J. Levesque. Iterated Belief Change in the Situation Calculus. To appear in the Artificial Intelligence Journal Special Issue in Honor of John McCarthy.
Y. Lespérance and S. Shapiro. On Agent Programming Language Support for Rational Communication. In N. Maudet, P.-Y. Schobbens, and M. Guyomard (Eds.), Modčles formels de l'interaction (MFI-09), pages 223-232, University of Rennes 1 Press, Rennes, France, 2009.
S. Shapiro, Y. Lespérance, and H. J. Levesque. Goal Change in the Situation Calculus. Journal of Logic and Computation, 17(5):983-1018, 2007.
S. Shapiro and G. Brewka. Dynamic Interactions Between Goals and Beliefs. In M. M. Veloso (Ed.), Proc. IJCAI-07, pages 2625-2630, IOS Press, Amsterdam, 2007.
S. Shapiro. Belief Change with Noisy Sensing and Introspection. In L. Morgenstern and M. Pagnucco (Eds.), Working Notes of the IJCAI-05 Workshop on Nonmonotonic Reasoning Action, and Change (NRAC'05), pages 84-89, August 2005.
S. Shapiro, Y. Lespérance, and H. J. Levesque. Goal Change. In L. P. Kaelbling and A. Saffiotti (Eds), Proc. IJCAI-05, pages 582-588. An earlier version of this paper appeared in S. McIlraith, P. Peppas, and M. Thielscher (Eds.), The 7th International Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense 2005), pages 199-206, Technical Report TUD-FI05-04, Technical University of Dresden, May 2005.
S. Shapiro and M. Pagnucco. Iterated Belief Change and Exogenous Actions in the Situation Calculus. In R. López de Mántaras and L. Saitta (Eds.), Proceedings of the 16th European Conference on Artificial Intelligence (ECAI-04), pages 878-882, IOS Press, Amsterdam, The Netherlands, 2004.
S. Sardińa, and S. Shapiro. Rational Action in Agent Programs with Prioritized Goals. In Proc of the Second Int. Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-03), pp. 417-424. ACM Press, 2003.
S. Shapiro, Y. Lespérance, and H. J. Levesque. The Cognitive Agents Specification Language and Verification Environment for Multiagent Systems. In C. Castelfranchi and W. Lewis Johnson (Eds.), Proc. of the First Int. Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-02), pp. 19-26. ACM Press, 2002. Best student paper prize.
S. Shapiro and Y. Lespérance. Modeling Multiagent Systems with the Cognitive Agents Specification Language - A Feature Interaction Resolution Application. In C. Castelfranchi and Y. Lespérance, editors, Intelligent Agents Volume VII - Proceedings of the 2000 Workshop on Agent Theories, Architectures, and Languages (ATAL-2000), LNAI vol. 1986, pp. 244-259. Springer-Verlag, Berlin, 2001.
S. Shapiro, M. Pagnucco, Y. Lespérance, and H. J. Levesque. Iterated Belief Change in the Situation Calculus. In A. G. Cohn, F. Giunchiglia, and B. Selman, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR2000), pages 527-538. Morgan Kaufmann Publishers, San Francisco, CA.
J. Funge and S. Shapiro. Cognitive Multi-character Systems for Interactive Entertainment. In Working Notes of the AAAI Spring 2000 Symposium on Artificial Intelligence and Interactive Entertainment, 2000.
Y. Lespérance and S. Shapiro. On Agent-Oriented Requirements Engineering, Position paper for the Agent-Oriented Information Systems Workshop (AOIS'99), Heidelberg, Germany, June 1999.
S. Shapiro, Y. Lespérance, and H. J. Levesque. Specifying Communicative Multi-Agent Systems. In Agents and Multi-Agent Systems - Formalisms, Methodologies, and Applications. W. Wobcke, M. Pagnucco, and C. Zhang, eds., pages. 1-14, LNAI Volume 1441, Springer-Verlag, Berlin, 1998. Invited paper. This paper was also invited to appear in *AI*IA Notizie* XI(3), pages 24-30, September 1998. An earlier version appeared in Working Notes of the AAAI Fall 1997 Symposium on Communicative Action in Humans and Machines, pages 75-82, 1997. A later version of this paper appeared in Working Notes of the First Goddard Workshop on Formal Approaches to Agent-Based Systems, 2000.
S. Shapiro, Y. Lespérance, and H. J. Levesque. Goals and Rational Action in the Situation Calculus - A Preliminary Report. In Working Notes of the AAAI Fall Symposium on Rational Agency: Concepts, Theories, Models, and Applications, pages 117-122, 1995.