Javier A. Pinto (pinto-j)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Mateus, Paulo, Pacheco, António and Pinto, Javier A. 2002. “Observations and the Probabilistic Situation Calculus.” in KR’02: Principles of Knowledge Representation and Reasoning, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, pp. 327–327. San Francisco, California: Morgan Kaufmann Publishers.
Pinto, Javier A. 1994. “Temporal Reasoning in the Situation Calculus.” PhD dissertation, Toronto: Department of Computer Science, University of Toronto. Also available as Technical Report Number KRR-TR-94-1. .
Pinto, Javier A. 1998. “Concurrent Actions and Interacting Effects.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 292–303. San Francisco, California: Morgan Kaufmann Publishers.