| 2003 |
|---|
| 17 | EE | Jorge A. Baier,
Javier Pinto:
Planning under uncertainty as Golog programs.
J. Exp. Theor. Artif. Intell. 15(4): 383-405 (2003) |
| 2002 |
|---|
| 16 | | Paulo Mateus,
António Pacheco,
Javier Pinto:
Observations and the Probabilistic Situation Calculus.
KR 2002: 327-340 |
| 2001 |
|---|
| 15 | | Paulo Mateus,
António Pacheco,
Javier Pinto,
Amílcar Sernadas,
Cristina Sernadas:
Probabilistic Situation Calculus.
Ann. Math. Artif. Intell. 32(1-4): 393-431 (2001) |
| 2000 |
|---|
| 14 | EE | Javier Pinto,
Amílcar Sernadas,
Cristina Sernadas,
Paulo Mateus:
Non-Determinism and Uncertainty in the Situation Calculus.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 8(2): 127-150 (2000) |
| 1999 |
|---|
| 13 | | Javier Pinto,
Amílcar Sernadas,
Cristina Sernadas,
Paulo Mateus:
Nondeterminism and Uncertainty in the Situation Calculus.
FLAIRS Conference 1999: 454-460 |
| 12 | | Leopoldo E. Bertossi,
Javier Pinto:
Specifying Active Rules for Database Maintenance.
FMLDO 1999: 65-81 |
| 11 | EE | Leopoldo E. Bertossi,
Javier Pinto:
Specifying Active Rules for Database Maintenance.
FMLDO - Selected Papers 1999: 112-129 |
| 10 | EE | Jorge A. Baier,
Javier Pinto:
Integrating True Concurrency into the Robot Programming Language.
SCCC 1999: 179-186 |
| 9 | | Javier Pinto:
Compiling Ramification Constraints into Effect Axioms.
Computational Intelligence 15: 280-307 (1999) |
| 1998 |
|---|
| 8 | | Javier Pinto:
Concurrent Actions and Interacting Effects.
KR 1998: 292-303 |
| 7 | EE | Leopoldo E. Bertossi,
Javier Pinto,
Ricardo Valdivia:
Specifying Active Databases in the Situation Calculus.
SCCC 1998: 32-39 |
| 6 | | Javier Pinto:
Integrating Discrete and Continuous Change in a Logical Framework.
Computational Intelligence 14: 39-88 (1998) |
| 5 | | Javier Pinto:
Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus.
J. Log. Comput. 8(6): 777-808 (1998) |
| 1996 |
|---|
| 4 | | Leopoldo E. Bertossi,
Javier Pinto,
Pablo Sáez,
Deepak Kapur,
Mahadevan Subramaniam:
Automating Proofs of Integrity Constraints in Situation Calculus.
ISMIS 1996: 212-222 |
| 3 | | Javier Pinto:
Using histories to model observations in theories of action.
PRICAI Workshops 1996: 221-233 |
| 1995 |
|---|
| 2 | | Javier Pinto,
Raymond Reiter:
Reasoning About Time in the Situation Calculus.
Ann. Math. Artif. Intell. 14(2-4): 251-268 (1995) |
| 1993 |
|---|
| 1 | | Javier Pinto,
Raymond Reiter:
Temporal Reasoning in Logic Programming: A Case for the Situation Calculus.
ICLP 1993: 203-221 |
