Marcus Bjäreland and Javier Pinto. On Execution Monitoring. 2001. In Progress.
Javier Pinto. Concurrency and Action Interaction. November 2000. Submitted. gzipped ps: here.
P. Mateus, A. Pacheco, J. Pinto, A. Sernadas and C. Sernadas. Probabilistic Situation Calculus. March 2000. Submitted. gzipped ps: here.
J. Pinto, A. Sernadas, C. Sernadas and P. Mateus. Non-Determinism and Uncertainty in the Situation Calculus. In International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems.2000. pp 127-149. gzipped ps: here.
Javier A. Pinto. Compiling Ramification Constraints into Effect Axioms. In Computational Intelligence.1999. pp 280-307. gzipped ps: here.
Javier Pinto. Integrating Discrete and Continuous Change in a Logical Framework. In Computational Intelligence.1998. pp 39-88. gzipped ps: here.
Javier Pinto. Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus. In Journal of Logic and Computation.1998. pp 777-808. gzipped ps: here.
Javier A. Pinto and Raymond Reiter. Reasoning about Time in the Situation Calculus. In Annals of Mathematics and Artificial Intelligence.September 1995. pp 251-268. gzipped ps: here.
Javier Pinto, Amilcar Sernadas, Cristina Sernadas and Paulo Mateus. Non-determinism and Uncertainty in the Situation Calculus. In Special Track on Uncertain Reasoning, Flairs '99 Conference.1999. AAAI Press. gzipped ps: here.
Alvaro Campos, Claudia Navarrete and Javier Pinto. Logical Modelling of a Distributed Mutual Exclusion Algorithm in the Situation Calculus. In Proceedings of the Eleventh IASTED International Conference on Parallel and Distributed Computing and Systems.November 1999. gzipped ps: here.
Jorge Baier and Javier Pinto. Integrating True Concurrency into the Robot Programming Language GOLOG. In XIX International Conference of the Chilean Computer Science Society (SCCC'99).1999. pp 179-186. IEEE Computer Society. gzipped ps: here.
Jorge Baier and Javier Pinto. Non-instantaneous Actions and Concurrency in the Situation Calculus (Extended Abstract). In 10th European Summer School in Logic, Language and Information.1998. Giuseppe de Giacomo and Daniele Nardi editors. gzipped ps: here.
J. Pinto. Causality in Theories of Action. In Common-Sense '98.January 1998. pp 349-364. Rob Miller and Murray Shanahan editors. Queen Mary and Westfield College, University of London. gzipped ps: here.
Javier Pinto. Concurrent Actions and Interacting Effects. In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR'98).1998. pp 292-303. A.G. Cohn, L.K. Schubert and S.C. Shapiro editors. Morgan Kaufmann Publishers. gzipped ps: here.
Javier Pinto. Causality, Indirect Effects and Triggers (Preliminary Report). In Seventh International Workshop on Non-monotonic Reasoning.1998. gzipped ps: here.
Leopoldo Bertossi, Javier Pinto and Ricardo Valdivia. Specifying Active Databases in the Situation Calculus, Preliminary Report. In XVIII International Conference of the Chilean Computer Science Society.1998. IEEE Computer Society.
Alvaro Campos, Claudia Navarrete and Javier Pinto. Modelación Lógica de un Algoritmo de Exclusión Mutua Distribuído. 1997. pp 33-42. SCCC. In Spanish. gzipped ps: here.
Javier Pinto. Occurrences in the Hypothetical Worlds of the Situation Calculus: Extended Abstract. In Reasoning about Actions and Planning in Complex Environments, FAPR'96 Workshop. Technical Report AIDA-96-11, Technische Hochschule Darmstadt, Fachbereich Informatik.1996. pp VII-1 -- VII-8. Ute C. Sigmund and Michael Thielscher editors.
Javier Pinto. Incorporating Observations in Theories of Action. In PRICAI'96 Workshop on Reasoning with Incomplete and Changing Information. Research Report CIT-96-06, School of Computing and Information Technology, Griffith University.August 1996. pp 79-88. Grigoris Antoniou and Marek Truszczynski editors.
Javier Pinto. On the Existence and Formalization of Natural Events. In Proceedings of the IJCAI Workshop on Nonmonotonic Reasoning, Action and Change.August 1995. gzipped ps: here.
Michael Gruninger and Javier Pinto. A Theory of Complex Actions for Enterprise Modelling. In Symposium Extending Theories of Action: Formal Theory and Practical Applications.March 1995. pp 94-99. Craig Boutilier and Moises Goldszmidt editors. AAAI Press. 1995 AAAI Symposium. Stanford University. ISBN 0-929280-90-3.
Javier Pinto. Concurrent Events: Synergy and Cancellation of Effects. In European Conference on Artificial Intelligence, Workshop on Logic and Change.1994. pp 105-110.
Javier Pinto and Raymond Reiter. Temporal Reasoning in Logic Programming: A Case for the Situation Calculus. In Proceedings of the Tenth International Conference on Logic Programming.June 1993. pp 203-221. David S. Warren editor. The MIT Press. gzipped ps: here.
Javier Pinto and Raymond Reiter. Adding a Time Line to the Situation Calculus. In The Second Symposium on Logical Formalizations of Commonsense Reasoning.January 1993. pp 172-177. gzipped ps: here.
Leopoldo Bertossi and Javier Pinto. Specifying Active Rules for Database Maintenance. In Transactions and Database Dynamics.2000. G. Saake editor. Springer. Lecture Notes in Computer Science. gzipped ps: here.
Leopoldo Bertossi, Javier Pinto and Ricardo Valdivia. Specifying Database Transactions and Active Rules in the Situation Calculus. In Logical Foundations for Cognitive Agents.1999. Hector Levesque and Fiora Pirri editors. Springer. gzipped ps: here.
Javier Pinto. Using Histories to Model Observations in Theories of Action. In Learning and Reasoning with Complex Representations.1998. pp 223-235. Grigoris Antoniou and Marek Truszczynski editors. Springer. Lectures Notes in Artificial Intelligence. ISBN 3-540-64413-X. gzipped ps: here.
Leopoldo Bertossi, Javier Pinto, Pablo Saez, Deepak Kapur and Mahadevan Subramaniam. Automating Proofs of Integrity Constraints in Situation Calculus. In Proc. of the 9th International Symposium on Methodologies for Intelligent Systems.1996. pp 212-222. Zdzislaw Pawlak and Zbigniew W. Ras editors. Springer. Lectures Notes in Artificial Intelligence. ISBN 3-540-61286-6.
Javier Pinto. Temporal Reasoning in the Situation Calculus. February 1994. Ph.D. Thesis, Department of Computer Science, University of Toronto. gzipped ps: here.
Javier Pinto. Relevance Based Propagation in Bayesian Networks. May 1986. Ph.D. Thesis, Department of Computer Science, University of California.