| Code, Nr | Citation |
|---|---|
1 | NIL Selected Papers of Javier Pinto |
2 | ftp://lyrcc.ing.puc.cl/pub/jpinto/jlc.ps.gz JAVIER PINTO. Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus. Technical Report DCC-96-3, Pontificia Universidad Católica de Chile, Departamento de Ciencia de la Computación, 1996 (revised April 1997). gzipped postscript |
3 | ftp://lyrcc.ing.puc.cl/pub/jpinto/compint.ps.gz JAVIER PINTO. Integrating Discrete and Continuous Change in a Logical Framework. Computational Intelligence , 14(1), 1997. gzipped postscript |
4 | ftp://lyrcc.ing.puc.cl/pub/jpinto/rcnew.ps.gz JAVIER PINTO. Ramification constraints revisited. In progress, 1997. Comments Welcome! gzipped postscript |
5 | ftp://lyrcc.ing.puc.cl/pub/jpinto/ismis96.ps.gz LEOPOLDO BERTOSSI, JAVIER PINTO, PABLO SAEZ, DEEPAK KAPUR, AND MAHADEVAN SUBRAMANIAM. Automating Proofs of Integrity Constraints in Situation Calculus. In Zdzislaw Pawlak and Zbigniew W. Ras, editors, Lecture Notes in Artificial Intelligence: Proceedings of the 9th International Symposium on Methodologies for Intelligent Systems , pages 212-222. Springer-Verlag, 1996. gzipped postscript |
| c-ismis-96-212 | [Author unknown]. NIL. [postscript] Proc. International Symposium on Methodologies for Intelligent Systems, 1996, pp. NIL. |
6 | ftp://lyrcc.ing.puc.cl/pub/jpinto/ijcwrk.ps.gz JAVIER A. PINTO. On the Existence and Formalization of Natural Events. In Proceedings of the IJCAI Workshop on Nonmonotonic Reasoning, Action and Change. , August 1995. gzipped postscript |
7 | ftp://lyrcc.ing.puc.cl/pub/jpinto/amai.ps.gz JAVIER PINTO AND RAYMOND REITER. Reasoning about Time in the Situation Calculus. Annals of Mathematics and Artificial Intelligence , 14(2-4):251-268, September 1995. gzipped postscript |
| j-amai-14-251 | Javier Pinto and Ray Reiter. Reasoning about Time in the Situation Calculus. [postscript] Annals of Mathematics and Artificial Intelligence, vol. 14 (1995), pp. 251-268. |
8 | ftp://lyrcc.ing.puc.cl/pub/jpinto/thesis.ps.gz Javier Pinto. Temporal Reasoning in the Situation Calculus. PhD thesis, Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, February 1994. gzipped postscript |
9 | ftp://lyrcc.ing.puc.cl/pub/jpinto/ecai.ps.gz JAVIER PINTO. Concurrent Events: Synergy and Cancellation of Effects. In European Conference on Artificial Intelligence, Workshop on Logic and Change , pages 105-110, 1994. gzipped postscript |
| c-ecai-94-105 | I. P. Gent and T. Walsh. The SAT Phase Transition. Proc. European Conference on Artificial Intelligence, 1994, pp. 105-109. |
10 | ftp://lyrcc.ing.puc.cl/pub/jpinto/ecai.ps.gz JAVIER PINTO AND RAYMOND REITER. Adding a Time Line to the Situation Calculus. In The Second Symposium on Logical Formalizations of Commonsense Reasoning , pages 172-177, January 1993. gzipped postscript |
| c-fcs-93-172 | [Author unknown]. NIL. [postscript] Proc. Formalization of Commonsense Reasoning, 1993, pp. NIL. |
11 | ftp://lyrcc.ing.puc.cl/pub/jpinto/buda.ps.gz JAVIER PINTO AND RAYMOND REITER. Temporal Reasoning in Logic Programming: A Case for the Situation Calculus. In David S. Warren, editor, Proceedings of the Tenth International Conference on Logic Programming , pages 203-221, Budapest, June 1993. The MIT Press. gzipped postscript Back to Javier Pinto's Home Page |
| c-clp-93-203 | Javier Pinto and Raymond Reuter. Temporal Reasoning in Logic Programming: A Case for the Situation Calculus. Proc. Conference on Logic Programming, 1993, pp. 203-221.. |