My dear friend Javier unfortunately and unexpectedly died on August 24th, 2001.
Below you will find the last web page he created. I have kept it as it was.
I have included his picture and his last CV here . You can find a few personal reflections on Javier
here.
I am updating his list of publications right above his picture. Leo Bertossi
-
- P. Mateus, A. Pacheco, J. Pinto. "Observations and the Probabilistic Situation
Calculus". In Proc. KR'02. here
-
- J. Baier and J. Pinto. "Planning under Uncertainty as Golog Programs".
Journal of Experimental and Theoretical Artificial Intelligence, 2003, 15(4):
383-405. here
-
- Paulo Mateus, António Pacheco, Javier Pinto, Amílcar Sernadas, Cristina
Sernadas. "Probabilistic Situation Calculus". Ann. Math. Artif. Intell., 2001,
32(1-4): 393-431. gzipped ps: here
|
Javier Pinto's Home Page
- Email:
- jpinto@ing.puc.cl
- Phone:
- +(56-2) 686 4971.
- Fax:
- +(56-2) 686 4444.
- Address:
-
Dept. de Ciencia de la Computación
Escuela de Ingeniería
Pontificia Universidad Católica de Chile
Vicuña Mackenna 4860
Some Personal Info
I am currently employed as a full time Associate Professor in the
Dept. of Computer Science,
Catholic University of Chile. I obtained my Ph.D.
degree from the University of Toronto
in 1994, and my M.Sc. degree from the University of California,
Los Angeles, in 1986. I obtained my
undergraduate degree in Engineering from the Catholic University of
Chile in 1982.
Research Interests
My main area of research is in the field of Knowledge Representation and
Reasoning in Artificial Intelligence. My particular interest is the
development of logical languages for Reasoning About Actions and
Change. I am also interested in the application of these Knowledge
Representation Languages to the modelling of agent behavior (e.g., robotic
agents), the modelling of active and temporal databases, etc.
Lately, I have become interested in the use of AI techniques in the
realm of the World Wide Web. I plan to become involved in
research on the Semantic Web. In particular, I will be exploring
the modelling and specification web servers as agents whose
behavior is modeled as a theory of action, which is encoded in some
ontology. More to come (I hope).
Disclaimer
I will make an effort to
keep this page up to date. However, based on past history, I don't think
this will really happen. At the very least, the publication list is up to
date (January 3rd, 2001). I'll try to put up a picture of myself, so
that you know what i (used to) look like. This will be done sometime
soon (maybe).