| Code, Nr | Citation |
|---|
1 |
http://www.cirl.uoregon.edu/tania/html_files/abstracts/unsolved.html
Tania Bedrax Weiss -- Publications 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 |