Publications
- Tania Bedrax-Weiss, Ari Jónsson, and Matthew Ginsberg,
Unsolved Problems in Planning as Constraint
Satisfaction. Unpublished as of 1996. [abstract]
- Tania Bedrax-Weiss and Leopoldo Bertossi, An Underlying
Semantics for Reiter's Solution to the Frame Problem. Advances in
Artificial Intelligence, Jacques Wainer and Ariadne Carvalho (eds.),
Lecture Notes in AI 991, Springer Verlag, pgs. 59-68, 1995. [abstract]
- Tania Bedrax-Weiss and Leopoldo Bertossi, An Underlying
Semantics for Reiter's Solution to the Frame Problem. Technical
Report, Dept. of Computer Science, School of Engineering, Catholic
University of Chile. (RT-PUC-DCC-95-2) January 1995. [abstract]
- Tania Bedrax-Weiss and Leopoldo Bertossi, Una
Evaluación del Rango de Aplicación a las Bases de Datos
de una Solución de Reiter al Problema del
Marco. Proceedings of the First Workshop in Computer Science,
Concepción, Chile. October 1994. [abstract]
- Tania Bedrax-Weiss and Leopoldo Bertossi, An Assessment of
Reiter's General Monotonic Solution to the Frame Problem and its
Applicability to Database Updates. Proceedings of the ECAI-94
Workshop on Logic and Change, August, 1994. [abstract]
- Tania Bedrax-Weiss and Leopoldo Bertossi, An Assessment of
Reiter's General Monotonic Solution to the Frame Problem and its
Applicability to Database Updates. Technical Report, Dept. of
Computer Science, School of Engineering, Catholic University of
Chile. (RT-PUC-DCC-94-1) June 1994. [abstract]
- Tania Bedrax-Weiss and Rolando Chuaqui, Un Sistema Para
Demostrar Teoremas y Resolver Problemas del Calculo: Un Prototipo.
Engineering Notes Magazine, No. 47, pg. 83--95, 1993. [abstract]
- Tania Bedrax-Weiss and Rolando Chuaqui, INFMAL: An
Infinitesimal Analysis Interactive Theorem Prover and Problem
Solver. Proceedings of the XII International Conference of the
Chilean Computer Science Society, Santiago, Chile, October 1992. [abstract]
Some of these articles are available by anonymous ftp here.
Back to my Home Page