Javier Pinto

According to our database, Javier Pinto authored at least 17 papers between 1993 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

Planning under uncertainty as Golog programs.

Jorge A. Baier, Javier Pinto

J. Exp. Theor. Artif. Intell., 2003

2002

Observations and the Probabilistic Situation Calculus.

Paulo Mateus, António Pacheco, Javier Pinto

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

2001

Probabilistic Situation Calculus.

Paulo Mateus, António Pacheco, Javier Pinto, Amílcar Sernadas, Cristina Sernadas

Ann. Math. Artif. Intell., 2001

2000

Non-Determinism and Uncertainty in the Situation Calculus.

Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2000

1999

Compiling Ramification Constraints into Effect Axioms.

Javier Pinto

Comput. Intell., 1999

Integrating True Concurrency into the Robot Programming Language.

Jorge A. Baier, Javier Pinto

Proceedings of the 19th International Conference of the Chilean Computer Science Society (SCCC '99), 1999

Specifying Active Rules for Database Maintenance.

Leopoldo E. Bertossi, Javier Pinto

Proceedings of the Transactions and Database Dynamics, 1999

Nondeterminism and Uncertainty in the Situation Calculus.

Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus

Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, 1999

1998

Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus.

Javier Pinto

J. Log. Comput., 1998

Integrating Discrete and Continuous Change in a Logical Framework.

Javier Pinto

Comput. Intell., 1998

Specifying Active Databases in the Situation Calculus.

Leopoldo E. Bertossi, Javier Pinto, Ricardo Valdivia

Proceedings of 18th International Conference of the Chilean Computer Science Society (SCCC '98), 1998

Concurrent Actions and Interacting Effects.

Javier Pinto

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

1996

Using histories to model observations in theories of action.

Javier Pinto

Proceedings of the Learning and Reasoning with Complex Representations, 1996

Automating Proofs of Integrity Constraints in Situation Calculus.

Leopoldo E. Bertossi, Javier Pinto, Pablo Sáez, Deepak Kapur, Mahadevan Subramaniam

Proceedings of the Foundations of Intelligent Systems, 9th International Symposium, 1996

1995

Reasoning About Time in the Situation Calculus.

Javier Pinto, Raymond Reiter

Ann. Math. Artif. Intell., 1995

1994

Temporal reasoning in the situation calculus.

Javier Pinto

PhD thesis, 1994

1993

Temporal Reasoning in Logic Programming: A Case for the Situation Calculus.

Javier Pinto, Raymond Reiter

Proceedings of the Logic Programming, 1993