Yves Lespérance (lesperance)

Contributions à Philosophie.ch

Bibliography

de Giacomo, Giuseppe, Lespérance, Yves and Levesque, Hector J. 1997. “Reasoning about Concurrent Execution, Prioritized Interrupts, and Exogenous Actions in the Situation Calculus.” in IJCAI-97. Proceedings of the 15th International Joint Conference on Artificial Intelligence, edited by Michael P. Georgeff and Martha E. Pollack, pp. 1221–1226. San Francisco, California: Morgan Kaufmann Publishers.
Lespérance, Yves. 1991. “A Formal Theory of Indexical Knowledge and Action.” PhD dissertation, Toronto: Computer Science Department, University of Toronto.
Lespérance, Yves. 1993. “An Approach to Modeling Indexicality in Action and Communication.” in AAAI-93. Working Notes of the AAAI Spring Symposium on Reasoning about Mental States, edited by John F. Horty and Yoav Shoham, pp. 79–85. Menlo Park, California: The AAAI Press.
Lespérance, Yves. 1995. “A Formal Account of Self-Knowledge and Action.” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault, pp. 868–874. San Francisco, California: Morgan Kaufmann Publishers.
Lespérance, Yves, Kelley, Todd G., Mylopoulos, John and Yu, E. S. K. 1999. “Modeling Dynamic Domains with ConGolog.” in Advanced Information Systems Engineering, 11th International Conference: CAiSE-99, pp. 365–380. Berlin: Springer Verlag.
Lespérance, Yves and Levesque, Hector J. 1995. “Indexical Knowledge and Robot Action – A Logical Approach.” Artificial Intelligence 73(1–2): 69–115.
Lespérance, Yves, Levesque, Hector J., Lin, Fangzhen, Marcu, Daniel, Reiter, Raymond and Scherl, Richard B. 1994. “A Logical Approach to High-Level Robot Programming – A Progress Report.” in AAAI-94. Control of the Physical World by Intelligent Systems, Papers from the 1994 AAAI Fall Symposium, edited by Benjamin J. Kuipers, pp. 79–85. Menlo Park, California: The AAAI Press.
Lespérance, Yves, Levesque, Hector J., Lin, Fangzhen, Marcu, Daniel, Reiter, Raymond and Scherl, Richard B. 1996. “Foundations of a Logical Approach to Agent Programming.” in ATAL-95. Intelligent Agents Volume II – Proceedings of the 1995 Workshop on Agent Theories, Architectures, and Languages, edited by Michael J. Wooldridge, Jörg Paul Müller, and Miland Tambe, pp. 331–346. Lecture Notes in Computer Science. Berlin: Springer.
Lespérance, Yves, Levesque, Hector J., Lin, Fangzhen and Scherl, Richard B. 2000. “Ability and Knowing How in the Situation Calculus.” Studia Logica: An International Journal for Symbolic Logic 66(1): 165–186.
Lespérance, Yves, Levesque, Hector J. and Reiter, Raymond. 1999. “A Situation Calculus Approach to Modeling and Programming Agents.” in Foundations of Rational Agency, edited by Michael J. Wooldridge and Anand S. Rao, pp. 275–299. Dordrecht: Kluwer Academic Publishers.
Lespérance, Yves, Reiter, Raymond, Lin, Fangzhen and Scherl, Richard B. 1997. “GOLOG: A Logic Programming Language for Dynamic Domains.” Journal of Logic Programming 31(1–3): 59–84.
Levesque, Hector J., Reiter, Raymond, Lespérance, Yves, Lin, Fangzhen and Scherl, Richard B. 1997. “golog: a Logic Programming Language for Dynamic Domains.” Journal of Logic Programming 31(1–3).
Shapiro, Steven, Lespérance, Yves and Levesque, Hector J. 1995. “Goals and Rational Action in the Situation Calculus – A Preliminary Report.” in AAAI-95. Working Papers of the AAAI Fall Symposium on Rational Agency: Concepts, Theories, Models, and Applications, edited by Michael R. Fehling, pp. 117–122. Menlo Park, California: The AAAI Press.
Shapiro, Steven, Lespérance, Yves and Levesque, Hector J. 1997. “Specifying Communicative Multi-Agent Systems with ConGolog.” in AAAI-97. Working Notes: AAAI Fall Symposium on Communicative Action in Humans and Machines, edited by David R. Traum, pp. 75–82. Menlo Park, California: The AAAI Press. Reprinted in Wobcke, Pagnucco and Zhang (1998, 1–14).

Further References

Wobcke, Wayne, Pagnucco, Maurice and Zhang, Chengqi, eds. 1998. Agents and Multi-Agent Systems: Formalisms, Methodologies, and Applications.Based on the AI’97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997. Berlin: Springer.