Forget It!

AAAI Fall Symposium - Technical Report

Volumn FS-94-02, Issue , 1994, Pages 141-146

  Lin, Fangzhen ^a   Reiter, Ray ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85169600887     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)

1. D. M. Gabbay and H. J. Ohlbach. Quantifier elimination in second-order predicate logic. In Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92), pages 425-436, 1992.
2. F. Lin and R. Reiter. How to progress a database (and why) I. Logical foundations. In Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR'94), 1994.
3. F. Lin and R. Reiter. How to progress a database II: The STRIPS connection. 1994. Submitted.
4. R. Reiter and J. de Kleer. Foundations of ATMS. In Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), 1987.
5. V. A. Saraswat, J. de Kleer, and O. Raiman. Contributions to a theory of diagnosis. In Working Notes of First International Workshop on Principles of Diagnosis, pages 33-38, Stanford University, Stanford, CA, 1990.
6. D. Subramanian. A Theory of Justified Reformulations. PhD thesis, Department of Computer Science, Stanford University, Stanford, CA, 1989.
7. A. Weber. Updating propositional formulas. In Proceedings First Conference on Expert Database Systems, pages 487-500, 1986.