Javier Pinto
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1993–2002
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2002 | KR | Observations and the Probabilistic Situation Calculus. | Paulo Mateus, Antnio Pacheco, Javier Pinto |
| 1999 | FlAIRS | Nondeterminism and Uncertainty in the Situation Calculus. | Javier Pinto, Amlcar Sernadas, Cristina Sernadas, Paulo Mateus |
| 1998 | KR | Concurrent Actions and Interacting Effects. | Javier Pinto |
| 1996 | ISMIS | Automating Proofs of Integrity Constraints in Situation Calculus. | Leopoldo E. Bertossi, Javier Pinto, Pablo Sez, Deepak Kapur, Mahadevan Subramaniam |
| 1996 | PRICAI | Using histories to model observations in theories of action. | Javier Pinto |
| 1993 | ICLP | Temporal Reasoning in Logic Programming: A Case for the Situation Calculus. | Javier Pinto, Raymond Reiter |