Publications
- Tania Bedrax-Weiss Optimal Search Protocols. PhD
thesis, University of Oregon, Eugene, OR, 1999.
[abstract]
[Postscript (18MB)]
[Compressed Postscript (563kB)]
[Download selected chapters]
- Jorge Golowasch, Tania Bedrax-Weiss, and Adrian Palacios Words Go
Missing in Cyberspace Nature 398:186. 1999. [See it in Nature]
- Tania Bedrax-Weiss, Ari Jónsson, and Matthew Ginsberg,
Unsolved Problems in Planning as Constraint
Satisfaction. Unpublished as of 1996. [abstract]
[Compressed
Postscript Article]
- 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]
[Compressed
Postscript Article]
- 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]
[Compressed
Postscript Article]
- 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]
[Compressed
Postscript Article]
- 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][Compressed
Postscript Article]
- 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][Compressed
Postscript Article]
- 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]
[Compressed
Postscript Article]
The complete list of articles and thesis available by anonymous ftp is here.
Back to my Home Page