BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Pinto:Javier

Contributed to:

KR 20022002
KR 19981998
ICLP 19931993

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.