Michael J. O'Donnell (odonnell-m)

Contributions to Philosophie.ch

Bibliography

Kurtz, Stuart, Mitchell, John C. and O’Donnell, Michael J. 1992. “Connective Formal Semantics to Constructive Intuitions.” cs 92–01. Chicago, Illinois: Department of Computer Science, University of Chicago.
Mellish, Christopher S., O’Donnell, Michael J., Oberlander, Jon and Knott, Alisdair. 1998. “An Architecture for Opportunistic Text Generation.” in INLG’98. Proceedings of the Ninth International Workshop on Natural Language Generation, edited by Eduard H. Hovy, pp. 28–37. New Brunswick, New Jersey: Association for Computational Linguistics.
Mitchell, John C. and O’Donnell, Michael J. 1986. “Realizability Semantics for Error-Tolerant Logics (Preliminary Version).” in TARK 1986. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the First Conference, edited by Joseph Y. Halpern, pp. 363–381. San Francisco, California: Morgan Kaufmann Publishers, http://www.tark.org/proceedings/tark_mar19_86/proceedings.html.
O’Donnell, Michael J. 1998a. “Introduction: Logic and Logic Programming Languages.” in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 5: Logic Programming, edited by Dov M. Gabbay, Christopher J. Hogger, and James A. Robinson, pp. 1–68. Oxford: Oxford University Press.
O’Donnell, Michael J. 1998b. “Equational Logic Programming.” in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 5: Logic Programming, edited by Dov M. Gabbay, Christopher J. Hogger, and James A. Robinson, pp. 69–162. Oxford: Oxford University Press.
O’Donnell, Michael J., Cheng, Hua and Hitzeman, Janet. 1998. “Integrating Referring and Informing in NP Planning.” in The Computational Treatment of Nominals: Proceedings of the Workshop, edited by Federica Busa, Inderjeet Mani, and Patrick Saint-Dizier, pp. 46–55. New Brunswick, New Jersey: Association for Computational Linguistics.