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:
20021998
1993Wrote 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.