Javier Pinto

19 papers A* 2B 1C 1Misc 1Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
On the use of neural networks for the structural characterization of polymeric porous materials.
CoRR
Jorge Torre, Suset Barroso-Solares, M. A. Rodríguez-Pérez, Javier Pinto
2003 J jnl
Planning under uncertainty as Golog programs.
J. Exp. Theor. Artif. Intell.
Jorge A. Baier, Javier Pinto
2002 A* conf
Observations and the Probabilistic Situation Calculus.
KR
Paulo Mateus, António Pacheco, Javier Pinto
2001 J jnl
Probabilistic Situation Calculus.
Ann. Math. Artif. Intell.
Paulo Mateus, António Pacheco, Javier Pinto, Amílcar Sernadas, Cristina Sernadas
2000 J jnl
Non-Determinism and Uncertainty in the Situation Calculus.
Int. J. Uncertain. Fuzziness Knowl. Based Syst.
Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus
1999 J jnl
Compiling Ramification Constraints into Effect Axioms.
Comput. Intell.
Javier Pinto
1999 — conf
Integrating True Concurrency into the Robot Programming Language.
SCCC
Jorge A. Baier, Javier Pinto
1999 Misc conf
Nondeterminism and Uncertainty in the Situation Calculus.
FLAIRS
Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus
1999 — conf
Specifying Active Rules for Database Maintenance.
FMLDO
Leopoldo E. Bertossi, Javier Pinto
1999 — conf
Specifying Active Rules for Database Maintenance.
FMLDO - Selected Papers
Leopoldo E. Bertossi, Javier Pinto
1998 A* conf
Concurrent Actions and Interacting Effects.
KR
Javier Pinto
1998 J jnl
Integrating Discrete and Continuous Change in a Logical Framework.
Comput. Intell.
Javier Pinto
1998 J jnl
Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus.
J. Log. Comput.
Javier Pinto
1998 — conf
Specifying Active Databases in the Situation Calculus.
SCCC
Leopoldo E. Bertossi, Javier Pinto, Ricardo Valdivia
1996 C conf
Automating Proofs of Integrity Constraints in Situation Calculus.
ISMIS
Leopoldo E. Bertossi, Javier Pinto, Pablo Sáez, Deepak Kapur, Mahadevan Subramaniam
1996 — conf
Using histories to model observations in theories of action.
PRICAI Workshops
Javier Pinto
1995 J jnl
Reasoning About Time in the Situation Calculus.
Ann. Math. Artif. Intell.
Javier Pinto, Raymond Reiter
1994 — —
Temporal reasoning in the situation calculus.
Javier Pinto
1993 B conf
Temporal Reasoning in Logic Programming: A Case for the Situation Calculus.
ICLP
Javier Pinto, Raymond Reiter