`Travelled to:`

1 × France

1 × Hungary

1 × Italy

`Collaborated with:`

∅ R.Reiter P.Mateus A.Pacheco

`Talks about:`

calculus (2) situat (2) probabilist (1) interact (1) program (1) concurr (1) tempor (1) reason (1) observ (1) effect (1)

## Person: Javier Pinto

### DBLP: Pinto:Javier

### Contributed to:

### Wrote 3 papers:

- KR-2002-MateusPP #calculus #probability
- Observations and the Probabilistic Situation Calculus (PM, AP, JP), pp. 327–340.
- KR-1998-Pinto #concurrent
- Concurrent Actions and Interacting Effects (JP), pp. 292–303.
- ICLP-1993-PintoR #calculus #logic programming #reasoning
- Temporal Reasoning in Logic Programming: A Case for the Situation Calculus (JP, RR), pp. 203–221.