11 Autumn Lane, Wayland MA 01778
Ph.D.
Computer and Communication Sciences (1978)
The University of Michigan, Ann Arbor, MI
Thesis: An Information Retrieval System Based on a Computer Model of
Legal Knowledge
B.A.
Economics (1969, with honors). Concentration in statistics and econometrics
The University of Michigan, Ann Arbor, MI
1991-1992 Development of Improved Text Retrieval Methods Using Computational
Linguistics, National Center for Automated Information Retrieval (New York), $15,000.
1989-1991 A Robust Method for Conceptual Analysis of Natural Language Text, National Science Foundation, $59,700.
1988 A Paper Knowledge Base for Architect-Engineer Liability, U.S. Army Construction Engineering Research Laboratory, $14,736 (with D.H. Berman).
Noy, N. and Hafner, C. (1998). Representing Scientific Experiments: Implications for Ontology Design and Knowledge Sharing. In Proc. 15th National Conference on Artificial Intelligence (AAAI-98), 615-622. AAAI Press/MIT Press, Cambridge, MA.
Hafner, C. (1998). Representing Purpose: Broadening and Deepening the Picture of Teleological Knowledge. In Notes of the AAAI-98 Workshop on Functional and Teleological Reasoning, American Association for Artificial Intelligence.
Noy, N. and Hafner, C. (1997). The State of the Art in Ontology Design: A Survey and Comparative Review. AI Magazine, Fall 1997, 53-74.
Hafner, C.and Fridman, N. (1996). Ontological Foundations for Biology Knowledge Models. In Proc. 4th International Conference on Intelligent Systems for Molecular Biology (ISMB-96), 78-87. AAAI Press, Menlo Park, CA. (1996).
Hafner, C., Baclawski, K., Futrelle, R., Fridman, N., Sampath, S. (1994).Creating a Knowledge Base of Biological Research Papers. In Proc. 2nd International Conference on Intelligent Systems for Molecular Biology (ISMB-94), 147-155. AAAI Press, Menlo Park, CA.
Artificial intelligence and law
Berman, D. H. and Hafner, C. D. (1995). Understanding Precedents in a Temporal Context of Evolving Legal Doctrine.In Proceedings of the 5th International Conference on Artificial Intelligence and Law, 42-51. ACM Press: New York.
Hafner, C.and Wise, V. (1993). Smartlaw: Adapting ?Classic? Expert System Techniques to the Legal Research Domain?. InProc. 4th International Conference on Artificial Intelligence and Law, pp. 133-141. ACM Press, New York.
Berman, D. H. and Hafner, C. D. (1993). Representing Teleological Structure in Case-Based Legal Reasoning: The Missing Link. In Proceedings of the 4th International Conference on Artificial Intelligence and Law, 50-60. ACM Press: New York.
Berman, D. H. and Hafner, C. D. (1991). Incorporating Procedural Context into a Model of Case-Based Legal Reasoning.In Proceedings of the 3rd International Conference on Artificial Intelligence and Law, 12-20. ACM Press: New York.
Berman, D and Hafner, C. (1989).The Potential of Artificial Intelligence to Help Solve the Crisis in Our Legal System.'' Communications of the ACM 32:8, 928-938.
Hafner, C. D. (1987).Conceptual Organization of Case Law Knowledge Bases.In Proceedings of the First International Conference on Artificial Intelligence and Law, 35-42. ACM Press: New York.
Hafner, C. D. (1981). An Information Retrieval System Based on a Computer Model of Legal Knowledge. Ph.D. Thesis, The University of Michigan. UMI Research Press: Ann Arbor, MI.
Natural language processing
Hafner, C. (1990). A Linguistically Sound Approach to Content Analysis of Natural Language
Text.'' In Proc. 5th Annual AI Systems in Government Conference, 142-149.IEEE Computer Society Press.
Hafner, C. (1990). Challenges for Text-Based Intelligent Systems.''In Notes from the AAAI Spring Symposium on Text-Based Intelligent Systems, 34-38. Stanford CA, March 1990.
Hafner, C. (1985). Semantics of Temporal Queries and Temporal Data.''In Proc. 23rd Ann. Mtg. of the Assoc. for Computational Linguistics, 1-8. ACL: Morristown, NJ.
Hafner, C. and Godden, K. (1985). Portability of Syntax and Semantics in Datalog.'' ACM Transactions on Information Systems 3:2, 141-164
Hafner,
C. (1984). Interaction of Knowledge Sources in a Portable Natural Language
Interface.' In
Proceedings of the 10th International Conference on Computational Linguistics (COLING 84),
57-60. ACL: Morristown, NJ.
Artificial
Intelligence and Law
First International Conference on Artificial Intelligence and Law (1987), Conference Chair
2nd - 8th International Conferences on Artificial Intelligence and Law, Secretary-Treasurer (1987-2001)
7th and 8th International Conferences on Artificial Intelligence and Law, Member of Program Committee (1999, 2001)
Artificial Intelligence and Law, An International Journal (Kluwer), Co-Editor 1992-97, Member of Editorial Board (1998-present)
Informatica et Diritto, Member of Editorial Board, 1994-present
International Association for Artificial Intelligence and Law, Secretary-Treasurer (1993-present)
Co-Chair of AAAI-90 Workshop on AI and Legal Reasoning, Boston, MA, July 30, 1990.
Other
CSNET (Computer Science Network) - Member of Executive Committee, 1987-1989.
Association for Computational Linguistics:
Member of Program Committee, 2nd Conf. on Applied Natural Language Processing (University of Texas, February, 1988)
Member of Program Committee,24th Annual Meeting (Columbia University, June, 1986)
Exhibits Chairperson, 23rd Annual Meeting (University of Chicago, July, 1985)
Professional Societies
ACM, IEEE Computer Society, Association for Computational Linguistics, International Association for Artificial Intelligence and Law, American Society for Information Science