References

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.