Searching for authors named "Javier Pinto" – sorted by Relevance.
-
On the Existence and Formalization of Natural Events
- On the Existence and Formalization of Natural Events Javier Pinto Depto. de Ciencia de la
- Cited by 1 (1 self) – Add To MetaCart
-
Ramification Constraints Revisited
- Ramification Constraints Revisited Javier Pinto Depto. de Ciencia de la Computacion Pontificia
- Cited by 1 (1 self) – Add To MetaCart
-
Integrating Discrete and Continuous Change in a Logical Framework
- Integrating Discrete and Continuous Change in a Logical Framework Javier Pinto Depto. de Ciencia de
- Cited by 9 (3 self) – Add To MetaCart
-
Specifying Active Rules for Database Maintenance
- Specifying Active Rules for Database Maintenance ? Leopoldo Bertossi and Javier Pinto
- Cited by 2 (0 self) – Add To MetaCart
-
Causality in Theories of Action
- Causality in Theories of Action Javier A. Pinto Departamento de Ciencia de la Computacion
- Cited by 4 (2 self) – Add To MetaCart
-
Reasoning about Time in the Situation Calculus.
- Reasoning about Time in the Situation Calculus. Javier Pinto Depto. de Ciencia de la Computaci
- Cited by 30 (4 self) – Add To MetaCart
-
Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus.
- . Javier A. Pinto Departamento de Ciencia de la Computacion Escuela de Ingeniera Pontificia Universidad
- Cited by 19 (4 self) – Add To MetaCart
-
Temporal Reasoning in Logic Programming: A Case for the Situation Calculus.
- Temporal Reasoning in Logic Programming: A Case for the Situation Calculus. Javier Pinto Dept
- Cited by 77 (5 self) – Add To MetaCart
-
Temporal Reasoning in Logic Programming: A Case for the Situation Calculus.
- Temporal Reasoning in Logic Programming: A Case for the Situation Calculus. Javier Pinto Dept
- Add To MetaCart
-
Representation of Temporal Knowledge in the Situation Calculus
- and Javier Pinto Depto. de Ciencia de la Computaci on Pontificia Universidad Cat olica de Chile y fmarenas
- Cited by 1 (1 self) – Add To MetaCart

