**CM98a**-
T. Costello and J. McCarthy.
Combining Narratives.
In
*Proceedings of Sixth Intl. Conference on Principles of Knowledge Representation and Reasoning (to appear)*. Morgan Kaufmann, 1998. **CM98b**-
T. Costello and J. McCarthy.
Useful Counterfactuals and Approximate Theories.
In
*AAAI Spring Symposium on Prospects for a Commonsense theory of Causation*. AAAI Press, 1998. A longer version is under review for a technical conference. **Cos96**-
Tom Costello.
Modeling Belief Revision Using Counterfactuals.
In
*Proceedings of Fifth Intl. Conference on Principles of Knowledge Representation and Reasoning*, pages 432-445. Morgan Kaufmann, 1996. **Cos97a**-
Tom Costello.
Beyond Minimizing Change.
In
*Proc. National Conference on Artificial Intelligence (AAAI '97)*, pages 448-452. AAAI Press, 1997. **Cos97b**-
Ton Costello.
Change, Change, Change, three approaches.
In
*Proceeding of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI97)*, pages 1426-1431. Morgan Kaufmann, 1997. **Cos98a**-
Tom Costello.
Cofinal Circumscription.
In
*The fifth CSLI workshop on Language, Logic and Information (to appear)*. CLSI, June 1998. **Cos98b**-
Tom Costello.
Decidability of the basic Situation Calculus, Blocksworld, and
some solutions to the Frame Problem.
under review for a technical conference, 1998.
**Cos98c**-
Tom Costello.
Domain Formula Circumscription.
*Journal of Logic Language and Information*, 1998. to appear. **Cos98d**-
Tom Costello.
Minimizing the Effects of Actions.
In
*Proceedings of the Fifth International Symposium on Commonsense Reasoning*, 1998. **Cos98e**-
Tom Costello.
The Expressive Power of Circumscription.
*Artificial Intelligence*, 1998. (to appear). **CP98a**-
T. Costello and A. Patterson.
Quantifiers and Operations in Modalities and Contexts.
In
*Proceedings of the Fifth International Symposium on Commonsense Reasoning*, 1998. **CP98b**-
T. Costello and A. Patterson.
Quantifiers and Operations in Modalities and Contexts.
In
*Proceedings of Sixth Intl. Conference on Principles of Knowledge Representation and Reasoning (to appear)*. Morgan Kaufmann, 1998. **PC97a**-
A. Patterson and T. Costello.
Exponentials as projections from paraconsistent logics.
*First World Congress on Paraconsistency, Ghent Belgium*, 1997. **PC97b**-
A. Patterson and T. Costello.
Guilt-free exponentials.
*Bulletin of the Association of Symbolic Logic. Winter Meeting of the ASL*, 1997. **PC97c**- A. Patterson and T. Costello. Linear Logic through Constructible Falsity. presented at the 6th Annual CSLI Workshop on Logic, Language and Information, 1997.

Thu Mar 5 16:05:26 PST 1998