Temporal Reasoning in Logic Programming: A Case for the Situation Calculus. - Javier Pinto; Raymond Reiter (ICLP, 1993)

Temporal reasoning in the situation calculus. - Javier Pinto (1994)

Reasoning About Time in the Situation Calculus. - Javier Pinto; Raymond Reiter (Ann. Math. Artif. Intell., 1995)

Automating Proofs of Integrity Constraints in Situation Calculus. - Leopoldo E. Bertossi; Javier Pinto; Pablo Sáez; Deepak Kapur; Mahadevan Subramaniam (ISMIS, 1996)

Using histories to model observations in theories of action. - Javier Pinto (PRICAI Workshops, 1996)

Concurrent Actions and Interacting Effects. - Javier Pinto (KR, 1998)

Specifying Active Databases in the Situation Calculus. - Leopoldo E. Bertossi; Javier Pinto; Ricardo Valdivia (SCCC, 1998)

Integrating Discrete and Continuous Change in a Logical Framework. - Javier Pinto (Comput. Intell., 1998)

Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus. - Javier Pinto (J. Log. Comput., 1998)

Nondeterminism and Uncertainty in the Situation Calculus. - Javier Pinto; Amílcar Sernadas; Cristina Sernadas; Paulo Mateus (FLAIRS, 1999)

Specifying Active Rules for Database Maintenance. - Leopoldo E. Bertossi; Javier Pinto (FMLDO - Selected Papers, 1999)

Integrating True Concurrency into the Robot Programming Language. - Jorge A. Baier; Javier Pinto (SCCC, 1999)

Compiling Ramification Constraints into Effect Axioms. - Javier Pinto (Comput. Intell., 1999)

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)

Probabilistic Situation Calculus. - Paulo Mateus; António Pacheco 001; Javier Pinto; Amílcar Sernadas; Cristina Sernadas (Ann. Math. Artif. Intell., 2001)

Observations and the Probabilistic Situation Calculus. - Paulo Mateus; António Pacheco 001; Javier Pinto (KR, 2002)

Planning under uncertainty as Golog programs. - Jorge A. Baier; Javier Pinto (J. Exp. Theor. Artif. Intell., 2003)

On the use of neural networks for the structural characterization of polymeric porous materials. - Jorge Torre; Suset Barroso-Solares; M. A. Rodríguez-Pérez; Javier Pinto (CoRR, 2025)