Thank you for your interest in my work.  This directory contains
postscript versions of some of my papers and software.  This file is
organized as follows.  The name of the file is followed by the title
of the paper or work, followed by where it was published, and followed 
by a  short description of the document. Documents are in English 
unless otherwise specified.

		Tania Bedrax Weiss


Note: PUC stands for Pontificia Universidad Catolica de Chile


    FILE               TITLE               PUBLISHED        DESCRIPTION

unsolved.ps.gz  Unsolved Problems in        unpublished   postscript document
	        Planning as Constraint                   (with Ari Jonsson and
                Satisfaction                               Matt Ginsberg)

mtesis.ps.gz    Analisis Formal de una         PUC        postscript document
	        Solucion al Problema del                    (in Spanish)
	        Marco en el Calculo de 
	        Situaciones y su Aplicacion
	        a la Especificacion de 
	        Actualizaciones en Bases
	        de Datos

sbia95.ps.gz    An Underlying Semantics       LNAI-95      postscript document
	        for Reiter's Solution to                  (with Leo Bertossi)
	        the Frame Problem

tr95.ps.gz      An Underlying Semantics        PUC        postscript document
	        for Reiter's Solution to                  (with Leo Bertossi)
	        the Frame Problem

ecai94.ps.gz    An Assessment of Reiter's     ECAI-94     postscript document
	        General Monotonic Solution                (with Leo Bertossi)
	        to the Frame Problem and 
	        its Applicability to 
	        Database Updates 

tr94.ps.gz      An Assessment of Reiter's      PUC        postscript document
	        General Monotonic Solution                (with Leo Bertossi)
	        to the Frame Problem and 
	        its Applicability to 
	        Database Updates 

uthesis.ps.gz   Infmal: An Infinitesimal       PUC        postscript document
                Analysis Interactive Theorem             (with Rolando Chuaqui)
                Prover and Problem Solver

sccc92.ps.gz    Infmal: An Infinitesimal       SCCC-92    postscript document
                Analysis Interactive Theorem             (with Rolando Chuaqui)
                Prover and Problem Solver

Infmal-dist.tar.gz  Infmal		                software distribution