Curriculum Vitae of Richmond H. Thomason

Version of:

April 16, 2016

BUSINESS ADDRESS:

Philosophy DepartmentUniversity of MichiganAnn Arbor, MI 48109-1003USA

BUSINESS PHONE:

(734) 764-6890

EMAIL ADDRESS:

rthomaso@umich.edu

WWW Home Page:

http://www.eecs.umich.edu/˜rthomaso/

PERSONAL DATA:

U.S. Citizen;Born in Chicago, IL, 1939.

1. ACADEMIC HISTORY:

B.A. (mathematics and Philosophy), Wesleyan University, 1961Phi Beta Kappa, 1961Sigma Xi, 1961Instructor in Mathematics, NSF Program in Secondary Science Education at Choate School,1961

Woodrow Wilson Fellow, 1961-62Danforth Fellow, 1961-65Research Assistant, NSF Contract N. GS-190 (Mathematical Logic), 1963-65M.A., Yale University, 1963Associate Director, NSF Undergraduate Science Education Program Contract No. NSFG21871 (Mathematical Logic), 1964

Sterling Fellow, Yale University, 1965Ph.D. (Philosophy), Yale University, 1965Instructor in Philosophy, Yale University, 1965–66Assistant Professor of Philosophy, Yale University, 1966–69Resident Fellow of Pierson College, Yale University, 1966–69Principal Investigator, NSF Grant GS–1567 (Symbolic Logic), 1967–68Reviewing Staff, Zentralblatt fur Mathematik, 1967–1972Morse Research Fellow, Yale University, 1968–69Associate Professor of Philosophy, Yale University, 1969–72Principal Investigator, NSF Grant GS-2517 (Philosophical Logic and Philosophy of Science),1969–71

Reviewing Staff, Mathematical Reviews, 1969–72Awarded tenure, Yale University, 1971

Editorial Board, Journal of Philosophical Logic, 1971 to dateProgram Committee, Association for Symbolic Logic, 1971Mellon Postdoctoral Fellow, University of Pittsburgh, 1972–73Associate Professor of Philosophy and Linguistics, University of Pittsburgh, 1973–75Invited Participant, Mathematical and Social Sciences Board Advanced Research Workshopon Formal Pragmatics of Natural Language, University of Michigan, 1973

Editorial Board, Theoretical Linguistics, 1973 to datePrincipal Investigator, NSF Grant GS-40693 (Syntax and Semantics of Natural Languages),1973–76

Faculty Member, 1974 Linguistic Society of America Summer InstituteInvited Participant, Mathematical and Social Sciences Board Advanced Research Workshopon Semantics and Syntax of Non-Extensional Constructions, University of Massachusetts,1974

Editor-in-Chief, Journal of Philosophical Logic, 1974–75Editorial Board, Semantikos, 1975–1979Professor of Philosophy and Linguistics, University of Pittsburgh, 1975–83Editorial Board, Linguistics and Philosophy, 1976 to dateBoard of Referees, Philosophy Research Archives, 1975–1985Invited Participant, Workshop on the Formal Analysis of Natural Languages, Bad Homburg,W. Germany, 1976

Consultant, New York State Regents Doctoral Program Evaluation Project, 1976Board of Consulting Editors, Synthese, 1977-2000External Examiner, Oberlin College, 1977Board of Editorial Consultants, American Philosophical Quarterly, 1977–82Program Committee for 1978 annual meetings, American Philosophical Association, EasternDivision, 1977–78

Editor-in-Chief, Journal of Philosophical Logic, 1977–87Advisory Editor, Pragmatics Microfiche, 1977 to dateOrganizer, University of Pittsburgh Center for Philosophy of Science Workshop in MontagueGrammar, 1979

Executive Committee, Association for Symbolic Logic, 1980–82Professor of Linguistics and Philosophy, University of Pittsburgh, 1983–1990Professor of Linguistics, University of Pittsburgh, 1990–1998Co-chairman, Association for Symbolic Logic Special Committee on Logic and Linguistics,1984–1988

Senior Consultant, National Library of Medicine Automated Bibliographic Information Project,Computer Science Department, Carnegie-Mellon University, 1984–85

Adjunct Professor of Philosophy, Carnegie-Mellon University, 1985–1989Co-editor (with Barbara Partee and Stanley Peters, Report of NSF Workshop on Informationand Representation, 1985

Chairman, Internal Review Committee, Psychology Department Graduate Program Evalua-tion, University of Pittsburgh, 1985

Program Committee, Conference on Theoretical Aspects of Reasoning about Knowledge, Asilo-mar Conference Center, 1986

2

Co-Principal Investigator (with David Touretzky, Computer Science, Carnegie-Mellon Uni-versity.) National Science Foundation Grant No. IST-8516313 (Nonmonotonic Reasoning)1986–87

Core Faculty,Program Committee Chairman, Joint Conference on Logic and Linguistics, Sponsored by theAssociation for Symbolic Logic and the Linguistic Society of America, Stanford University,1987

Co-Director, Intelligent Systems Program, University of Pittsburgh, 1987–1994Advisory Program Committee, Eastern Division, American Philosophical Association, 1987-1991

Vice Chairman, Linguistics and Philosophy Associates, 1987–1992Co-Principal Investigator (with David Touretzky, Computer Science, Carnegie-Mellon Univer-sity.) NSF Grant No. IST-8700705 (Logical Foundations for Inheritance and KnowledgeUpdate), 1987-89.

Co-Editor, Journal of Philosophical Logic, 1988-89.Organizing Committee, American Association for Artificial Intelligence Workshop on VeryLarge Multifunctional Knowledge Bases, 1988.

Organizing Committee, American Association for Artificial Intelligence Workshop on HybridReasoning Systems, 1988.

Program Committee, Catalina Conference on Formal Aspects of Semantic Networks, 1988-89.Program Committee, Fourth International Symposium on Methodologies for Intelligent Sys-tems, 1988-89.

Program Committee, 9th Annual European Conference on Artificial Intelligence, 1990.Program Committee, American Association for Artificial Intelligence Workshop on Nonmono-tonic Reasoning, 1990.

Program Committee, Fifth International Symposium on Methodologies for Intelligent Systems,1989-90.

Local Arrangements Chair, 28th Annual Meeting, Association for Computational Linguistics,Pittsburgh, June, 1990.

Co-Principal Investigator (with David Touretzky, Computer Science, Carnegie-Mellon Univer-sity and John Horty, Philosophy, University of Maryland.) NSF Grant No. IRI-9003165(Inheritance Theory and Knowledge Bases), 1990-93.

Consulting Editor, Journal of Logic, Language and Information. 1991 to date.Referee, International Joint Conference on Artificial Intelligence (area, Knowledge Represen-tation), 1991.

Program Committee, Sixth International Symposium on Methodologies for Intelligent Systems,1990-91.

Program Committee, Conference on Logic and Linguistics, University of California at SantaCruz, July, 1991

Program Committee, First International Workshop on Logic Programming and Non-MonotonicReasoning, 1991

Program Committee, Symposium on Principles of Hybrid Reasoning, AAAI 1991 Fall Sympo-sium Series

3

Program Committee, Thirteenth International Joint Conference on Artificial Intelligence, 1992-93

Oversight Committee for Journal of Philosophical Logic, Association for Symbolic Logic, 1989–1994

President, Linguistics and Philosophy Associates (management authority over editorial oper-ations of the journal Linguistics and Philosophy,) 1993-2000

Association for Symbolic Logic representative to the American Association for the Advance-ment of Science, section on Linguistics and Language Sciences, 1993–1997

Elected as Fellow of the American Association for Artificial Intelligence, 1993.Faculty Member, 1993 Linguistic Society of America Summer InstituteActing Chair, Department of Linguistics, University of Pittsburgh, January-April, 1994Co-Principal Investigator (with Robert DeKeyser), “Data collection for speech-to-speech ma-chine translation.” Department of Defense, 1993–1996(Co-Principal Investigator with Jerry Hobbs), “Integrated techniques for natural languagegeneration and interpretation.” NSF/ARPA, 1994-1997

Program Committee, 1995 International Joint Conference on Artificial Intelligence, 1994–1995.Program Committee, Third International Workshop on Deontic Logic in Computer Science,1995–96

Program Committee, Semantics and Linguistic Theory 5, 1994–95Program Committee, 1995 Workshop on Formal Grammar, sponsored by European SummerSchool in Logic, Language and Information

Program Committee, First Annual Workshop for the International Federation for InformationProcessing Working Group for Natural Language Processing and Knowledge Representation,1995

Referee, Seventeenth Annual Conference of the Cognitive Science Society, 1995Program Committee, International Conference on Formal and Applied Practical Reasoning,Bonn, Germany, 1996

Referee, Thirteenth National Conference on Artificial Intelligence, 1996Co-Chair, Organizing Committee, AAAI Spring Symposium on Qualitative Preferences inDeliberation and Practical Reasoning, 1997

Program Committee, International on Methodologies for Intelligent Systems, 1997Program Committee, AAAI Spring Symposium on Prospects for a Commonsense Theory ofCausation, 1998

Program Committee, Fifteenth National Conference on Artificial Intelligence (AAAI’98)Professor of Philosophy, Computer Science, and Linguistics, University of Michigan, 1999 todate

Program Committee, Sixteenth National Conference on Artificial Intelligence (AAAI’99)Steering Committee, Interdisciplinary Group on Modeling and Using Contexts, 1999 to dateOrganizer and Panel Chair, Panel on the Teaching of Knowledge Representation, KR’00,Breckenridge, Colorado, 2000

Secretary-Treasurer, Linguistics and Philosophy Associates, 2000 to dateProgram Co-Chair, Interdisciplinary Conference on Modeling and Using Contexts, CON-TEXT’01, Dundee, 2001

Workshop Co-Chair, Michigan Workshop on Philosophy and Linguistics, University of Michi-gan, 2002

4

Workshop Co-Chair, Michigan Workshop on Philosophy and Linguistics, University of Michi-gan, 2003

Workshop Co-Chair, Michigan Workshop on Philosophy and Linguistics, University of Michi-gan, 2004

Program Committee. Ninth International Conference on Principles of Knowledge Representa-tion and Reasoning, 2004

Associate Chair, Local Arrangements Committee, Association for Computational LinguisticsAnnual Meeting, 2004

Workshop Co-Chair, Michigan Workshop on Philosophy and Linguistics, University of Michi-gan, 2005

Program Committee, Midwestern Division Annual Meeting of the American PhilosophicalAssociation, 2005

Program Committee. Ninth International Conference on Principles of Knowledge Representa-tion and Reasoning, 2006

Workshop Co-Chair, Michigan Workshop on Philosophy and Linguistics, University of Michi-gan, 2006

Workshop Chair, Michigan Workshop on Philosophy and Linguistics, University of Michigan,2007

Workshop Chair, Michigan Workshop on Philosophy and Linguistics, University of Michigan,2008

Workshop Chair, Michigan Workshop on Philosophy and Linguistics, University of Michigan,2009

Workshop Chair, Michigan Workshop on Philosophy and Linguistics, University of Michigan,2010

Workshop Chair, Michigan Workshop on Philosophy and Linguistics, University of Michigan,2011

Workshop Chair, Michigan Workshop on Philosophy and Linguistics, University of Michigan,2012

Program Committee, Knowledge Representation and Reasoning 2012, 2011Managing Editor, Studia Logica, 2011 to dateExternal Review Committee, Cognitive Science Center, Rutgers University, 2012Program Committee, AAAI 2013Program Committee, Sinn und BedeutungProgram Committee, AAAI 2013Program Committee, Common Sense 2013

2. INVITED LECTURES:

University of Pittsburgh, 1966University of Rochester, 1966Indiana University, 1966State University of New York at Buffalo, 1967Michigan State University Symposium on Free Logic, 1967Oberlin Philosophy Colloquium, 1968Irvine Colloquium on the Logic of Existence and Modality, 1968

5

Indiana University, 1968University of Illinois, 1969New York University, 1970Temple University Conference on Semantics, 1970Rutgers University, 1971Stanford University, 1971Annual Meeting of the American Philosophical Association, Eastern Division, 1971University of Calgary, 1971Wesleyan University, 1971University of Bristol, 1972Bedford College, University of London, 1972King’s College, Cambridge University, 1972University of Notre Dame, 1972Annual Conference of the Society for Exact Philosophy, University of Toronto, 1973Conference on Performatives, Implicature, and Presupposition, University of Texas at Austin,1973

Rice University, 1973University of Massachusetts, 1973Kenyon College, 1974University of Toronto, 1974The Ohio State University, 1974Eleventh Annual Philosophy Colloquium, University of Cincinnati, 1974Massachusetts Institute of Technology, 1974McGill University, 1976SUNY at Albany Conference on Montague Grammar, Philosophy, and Linguistics, 1977University of Kansas Conference on Presupposition, 1977Workshop on “Pragmatics and Conditionals,” University of Western Ontario, 1978University of Southern California (Philosophy Department), 1979University of California at Irvine (Philosophy Department), 1979University of California at Los Angeles (Philosophy Department), 1979Conference on Artificial Intelligence and Philosophy, Center for Advanced Study in the Be-havioral Sciences, 1980

Spring Meeting, Association for Symbolic Logic, 1980The Pennsylvania State University (Linguistics Program), 1980McGill University (Philosophy Department and Psychology Department), 1980Stanford University (Philosophy Department), 1981University of California at Los Angeles (Linguistics Department), 1981Annual Meeting of the American Philosophical Association, Eastern Division, 1981Workshop on “Propositions, Propositional Attitudes, and Finite Representability,” Universityof Massachusetts, 1982

University of Waterloo Conference on Logical Theory, 1982Chapel Hill Philosophy Colloquium, 1982Australasian Association of Philosophy, New Zealand Division, 1983Australasian Association of Logic, 1983University of Western Australia (Philosophy Department), 1983

6

Stanford University Conference on Conditionals, 1983Stanford Center for the Study of Language and Information, 1983Spring Meeting, Association for Symbolic Logic, 1984University of Michigan Conference on Mathematics of Language, 1984University of Michigan (Philosophy Department), 1984Princeton University (Artificial Intelligence Colloquium), 1984Center for the Study of Language and Information Summer School: Logic, Language andComputation Meetings, Stanford University, 1985

University of Pennsylvania (Cognitive Science), 1985Systems Development Corporation, 1985University of Texas at Austin (Cognitive Science and Philosophy), 1985University of Illinois at Chicago (Philosophy), 1985University of Massachusetts Conference on Property Theory, 1986University of California at Los Angeles (Philosophy), 1986Workshop on “Planning and Reasoning,” Sponsored by American Association for ArtificialIntelligence and Center for the Study of Logic and Information, Timberline Lodge, 1986

The Ohio State University (Linguistics), 1986Carnegie-Mellon University (Computational Linguistics Research Seminar), 1986University of Rochester (Philosophy), 1986Carnegie-Mellon University (Cognitive Science Colloquium), 1986Carnegie-Mellon University (Philosophy Colloquium), 1987Workshop on “Intentions and Plans in Communication and Discourse” (sponsored by theAmerican Association for Artificial Intelligence, Stanford Research Institute, and SystemDevelopment Foundation), Monterey, California, 1987

American Philosophical Association, Pacific Division, 1987Princeton University (Artificial Intelligence Colloquium), 1988Workshop on “Unification formalisms: syntax, semantics and implementation,” Titisee Neustadt,1988

University of Illinois (Computer Science), 1988Society for Exact Philosophy, University of Rochester, 1988Conference on “Propositional attitudes: the role of content in logic, language, and mind.”University of Minnesota, 1988

Workshop on “Semantic nets, inheritance and non-monotonic reasoning.” University of Tubingen,1988

Seminar in Philosophical Logic, CUNY Graduate Center, 1989Second Annual CUNY Conference on Sentence Processing, New York, 1989American Association for Artificial Intelligence Spring Symposium on Limited Rationality,Stanford, 1989

American Association for Artificial Intelligence Workshop on Defeasible Reasoning, St. Louis,1989

Conference on Logic and Linguistics, Linguistic Society of America Summer Linguistics Insti-tute, University of Arizona, 1989

University of Pennsylvania (Computer Science), 1989Seventh Amsterdam Colloquium, Institute for Language, Logic, and Information, Universityof Amsterdam, 1989

7

Workshop on Inheritance in Natural Language Processing, Tilburg, Holland, 1990Sixth International Symposium on Methodologies for Intelligent Systems, 1990Conference on Linguistic and Philosophical Approaches to the Study of Anaphora, Princeton,1990

Indiana University (Philosophy Department), 1990Brandeis University (Computer Science Department), 1991Keynote speaker, Workshop on Lexical Semantics and Knowledge Representation, BerkeleyCA, 1991

Invited speaker, Workshop on Theoretical and Practical Design of Rational Agents, TwelfthInternational Joint Conference on Artificial Intelligence, Sydney, Australia, 1991

Workshop on Pragmatics, University of Western Ontario, 1991.Xerox Palo Alto Research Center, 1992.Conference on Formal Reasoning about Beliefs, Intentions and Actions, Center for CognitiveScience, University of Texas at Austin, 1992.The Dagstuhl Seminar on Semantic Formalisms in Natural Language Processing, SchlossDagstuhl, Germany, 1993.

AAAI Spring Symposium, Workshop on Mental States, 1993AAAI spring Symposium, Workshop on Empirical Methods in Discourse, 1995University of Maryland Center for Computer Science, 1995University of Michigan, Philosophy and Linguisitics, 1998AAAI Spring Symposium, Workshop on Interactive and Mixed-Initiative Decision-TheoreticSystems, 1998

University of Helsinki, 1998University of Edinburgh, 1999Rutgers University, 1999DC Conference on Logic-Based Artificial Intelligence, Washington, DC, 1999IJCAI-99 Workshop on Practical Reasoning and Rationality, Stockholm, 1999University of California at Irvine (Philosophy of Science), 1999Amsterdam Colloquium, 1999Michigan State University (Linguistics), 2000University of Edinburgh (Cognitive Science), 2000University of Dundee (Philosophy Department), 2000University of Edinburgh (Artificial Intelligence), 2000Deon’02, Sixth International Workshop on Deontic Logic in Computer Science, Imperial Col-lege, London, May, 2002

Logic Colloquium 2002, Muenster, Germany, July, 2002Indiana University (Informatics), 2002University of the Basque Country, 2003University of Western Ontario, 2004DARPA Workshop on Self-Aware Systems, Washington DC, 2004University of Trento, 2006Workshop on Presupposition Accommodation, The Ohio State University, 2006Forces in Grammatical Theory Workshop, University of Paris, 2007Association for Symbolic Logic, Spring Meeting, 2007EDGe group, University of Michigan, 2009

8

The Ohio State University Linguistics and Philosophy Workshop, 2016

3. PUBLICATIONS:

1. “A rule-completeness theorem” (with N.D. Belnap, Jr.) Notre Dame Journal of FormalLogic 4 (1963), pp. 39–43.

2. Abstract: “On not strengthening intuitionistic logic” (with N.D. Belnap, Jr., andH. Leblanc). Journal of Symbolic Logic 28 (1963), p. 296.

3. “On not strengthening intuitionistic logic” (with N.D. Belnap, Jr., and H. Leblanc). NotreDame Journal of Formal Logic 4 (1963), pp. 313–320.

4. Review of “Priority paradoxes in patent law” (Vanderbilt Law Review, 1963), by R.H. Stern.Modern Uses of Logic in Law (quarterly newsletter of the Electronic Data Retrieval Com-mittee of the American Bar Association), March, 1964, pp. 17–26.

5. Abstract: “An approach to infinitary propositional calculus.” Journal of Symbolic Logic 31(1966), p. 150.

6. Abstract: “A decision procedure for Fitch’s propositional calculus.” Journal of SymbolicLogic 31 (1966), p. 157.

7. “A decision procedure for Fitch’s propositional calculus.” Notre Dame Journal of FormalLogic 8 (1967), pp. 101–117.

8. “On the demarcation line between intuitionist logic and classical logic” (with H. Leblanc).Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik 12 (1966), pp. 257–262.

9. Abstract: “All or none: a novel choice of primitives for elementary logic” (with H. Leblanc).Journal of Symbolic Logic 31 (1966), p. 683.

10. Abstract: “The semantical completeness of a system of Fitch.” Journal of Symbolic Logic31 (1966), pp. 695–696.

11. Abstract: “A system of logic with free variables ranging over quantifiers.” Journal of Sym-bolic Logic 31 (1966) p. 700.

12. Abstract: “On the semantical completeness of two systems of infinitary propositional calcu-lus.” Journal of Symbolic Logic 31 (1966), p. 703.

13. “All or none: a novel approach to quantification theory” (with H. Leblanc). Journal ofSymbolic Logic 32 (1967), pp. 345–351.

14. Review of Natural Deduction (Uppsala, 1965), by D. Prawitz. Journal of Symbolic Logic 32(1967), pp. 225–6.

15. Review of Mind, Matter and Method (Minneapolis, 1966), P. Feyerabend and G. Maxwell,eds., Science 153 (1966), p. 1092.

16. Abstract: “Completeness theorems for some presupposition-free logics” (with H. Leblanc).Journal of Philosophy 63 (1966), pp. 690–700.

9

17. “On the strong semantical completeness of the intuitionistic predicate calculus.” Journal ofSymbolic Logic 33 (1968), pp. 1–7.

18. “Completeness theorems for some presupposition-free logics” (with H. Leblanc). FundamentaMathematicae 62 (1968), pp. 125–164.

19. “Some completeness results for modal predicate calculi.” In K. Lambert, ed., Recent Devel-opments in Philosophical Problems in Logic, D. Reidel, Dordrecht, 1970, pp. 20–40.

20. “Predicate calculus with free quantifier variables” (with D. Johnson). Journal of SymbolicLogic 34 (1969), pp. 1–7.

21. “Modal logic and metaphysics.” In K. Lambert, ed., The Logical Way of Doing Things, YaleUniversity Press, New Haven, 1969, pp. 119–146.

22. “A semantical study of constructible falsity.” Zeitschrift fur Mathematische Logik undGrundlagen der Mathematik 15 1969), pp. 247–257.

23. Symbolic Logic: an introduction. The Macmillan Company, New York, 1970.

24. “Abstraction in first-order modal logic” (with R. Stalnaker). Theoria 34 (1968), pp. 203–207.

25. “Modality and reference” (with R. Stalnaker). Nous 2 (1968), pp. 359–372.

26. “A semantic analysis of conditional logic” (with R. Stalnaker). Theoria 36 (1970), pp. 23–42.

27. “Species, determinants and natural kinds.” Nous 3 (1969), pp. 95–101.

28. Review of Mathematics and Logic (New York, 1968), by M. Kac and S. Ulam. Science 163(1969), pp. 557–558.

29. “Indeterminist time and truth-value gaps.” Theoria 36 (1970), pp. 265–281.

30. “A Fitch-style formulation of conditional logic.” Logique et Analyse 13 (1970), pp. 397–412.

31. Review of Models for Modalities (Dordrecht, 1969), by J. Hintikka. Zentralblatt fur Mathe-matik 194 (1970), pp. 304–305.

32. “Philosophy and formal semantics.” In Truth, Syntax and Modality, H. Leblanc, ed. NorthHolland, Amsterdam, 1973, pp. 294–307.

33. “A semantic theory of sortal incorrectness.” Journal of Philosophical Logic 1 (1972), pp. 209–258.

34. Abstract: “Logic and adverbs.” Journal of Philosophy 68 (1971), pp. 715–716.

35. “Perception and individuation.” In Logic and Ontology, M. Munitz, ed, New York UniversityPress, New York, 1973, pp. 261–285.

36. “A semantic theory of adverbs” (with R. Stalnaker). Linguistic Inquiry 4 (1973), pp. 195–220.

37. “Introduction.” In Formal Philosophy: Selected Papers of Richard Montague, R. Thomason,ed., Yale University Press, New Haven, 1974, pp. 1–69.

10

38. “Where pragmatics fits in.” In proceedings of the Texas Conference on Performatives, Pre-suppositions, and Implicatures, A. Rogers, R. Wall and J. Murphy, eds, Center for AppliedLinguistics, 1977, pp. 161–166.

39. “Some complement constructions in Montague grammar.” In Papers from the Tenth RegionalMeeting, Chicago Linguistic Society, Chicago, 1974, pp. 712–722.

40. “Decidability in the logic of conditionals.” In The Logical Enterprise, A. Anderson, R. Mar-cus, and R.M. Martin, eds., Yale University Press, New Haven, 1975, pp. 167–178.

41. “Some extensions of Montague grammar.” In Montague Grammar, B. Partee, ed., AcademicPress, New York, 1976, pp. 77–117.

42. “Necessity, quotation, and truth: an indexical theory.” In Language in Focus, A. Kasher,ed., D. Reidel, Dordrecht, 1976, pp. 119–138.

43. “Indirect discourse is not quotational.” The Monist 60 (1977), pp. 340–354.

44. Review of Linguistic Behavior, by J. Bennett. Synthese 39 (1978), pp. 141–154.

45. “On the semantic interpretation of the Thomason 1972 fragment.” Indiana University Lin-guistics Club, 1979.

46. “Home is where the heart is.” In Contemporary Perspectives in the Philosophy of Language,P. French, T. Uehling, and H. Wettstein, eds., University of Minnesota Press, Minneapolis,1979, pp. 209–219.

47. “A theory of conditionals in the context of branching time” (with A. Gupta). PhilosophicalReview 88 (1980), pp. 65–90. Reprinted in W. Harper, R. Stalnaker, and G. Pearce, eds.,Ifs, D. Reidel, Dordrecht, 1981, pp. 299-322.

48. “A note on syntactical treatments of modality.” Synthese 44 (1980), pp. 391–396.

49. “A model theory for propositional attitudes.” Linguistics and Philosophy 4 (1980), pp. 47–70.

50. “Deontic logic as founded on tense logic.” In New Studies in Deontic Logic, R. Hilpinen, ed.,D. Reidel, Dordrecht, 1981, pp. 165–176.

51. “Deontic logic and the role of freedom in moral obligation.” In New Studies in Deontic Logic,R. Hilpinen, ed., D. Reidel, Dordrecht, 1981, pp. 153–162.

52. “Identity and vagueness.” Philosophical Studies 42, (1982), pp. 329–332.

53. Review of Logic in Linguistics, by J. Allwood, L. Anderssen, and O. Dahl. Language 58(1982), pp. 492–493.

54. “Combinations of tense and modality.” In The Handbook of Philosophical Logic, vol. 2,D. Gabbay and F. Guenthner, eds. D. Reidel Publishing Co., 1984, pp. 135–165.

55. Review of “Scenes and other situations,” by J. Barwise, “Semantic innocence and uncompro-mising situations,” by J. Barwise and J. Perry, and “Situations and attitudes,” by J. Barwiseand J. Perry. Journal of Symbolic Logic 49 (1984), pp. 1403–1406.

11

56. “Some issues concerning the interpretation of derived and gerundive nominals.” Linguisticsand Philosophy 8, (1985) pp. 73–80.

57. “Note on tense and subjunctive conditionals.” Philosophy of Science 52 (1985), pp. 151–153.

58. “Paradoxes and semantic representation.” In Reasoning about Knowledge, J. Halpern, ed.,Morgan Kaufmann, Los Altos, CA, 1986, pp. 225–239.

59. “On the design of biomedical knowledge bases” (with J. Carbonell, D. Evans, and D. Scott).In R. Salamon, B. Blum, and M. Jorgensen, eds., Medinfo 86: Proceedings of the FifthConference on Medical Informatics, Washington D.C., October 26-30, 1986, Elsevier SciencePublishers, Amsterdam, 1986, pp. 37–41.

60. “Remarks on linguistic semantics.” In Mathematics of language, A. Manaster-Ramer, ed.,John Benjamins, Amsterdam, 1987, pp. 374-388.

61. “Parsing in biomedical indexing and retrieval” (with J. Carbonell). Proceedings of the Ameri-can Association for Medical Systems and Informatics Congress 1986, Washington, DC, 1986,pp. 274–277.

62. “The multiplicity of belief and desire.” In Reasoning about actions and plans, M. Georgeffand A. Lansky, eds., Morgan Kaufmann, Los Altos, CA, 1987, pp. 341–360.

63. “Linguistics at work.” In F. Marshall et al., eds., Proceedings of the third Eastern StatesConference on Linguistics. The Ohio State University, Columbus, Ohio, 1987, pp. v–viii.

64. “Motivating ramified type theory.” In Properties, types and meaning: vol. I: foundationalissues G. Chierchia, B. Partee, and R. Turner, eds., D. Reidel, Amsterdam, 1989, pp. 47–62.

65. “A skeptical theory of inheritance in nonmonotonic semantic nets” (with J. Horty andD. Touretzky). In AAAI-87 (Proceedings of the Sixth National Conference on ArtificialIntelligence). Volume 2, Morgan Kaufmann, Los Altos, 1987, pp. 358–363.

66. “A clash of intuitions: the current state of nonmonotonic multiple inheritance systems”(with D. Touretzky and J. Horty). Proceedings of the Tenth International Joint Conferenceon Artificial Intelligence, 1987, J. McDermott, ed., Morgan Kaufmann, Los Altos, 1987,pp. 476–482.

67. “Beyond the keyword barrier: knowledge-based information retrieval” (with M. Mauldinand J. Carbonell). In Information Services and Use 7. (Proceedings of the 29th AnnualConference of the National Federation of Abstracting and Indexing Services.) Elsevier,Amsterdam, 1987, pp. 103–117.

68. “Accommodation, meaning, and implicature: interdisciplinary foundations for pragmatics.”In Intentions in communication. P. Cohen, J. Morgan, and M. Pollack, eds., MIT Press,1990, pp. 325–363.

69. “A calculus for inheritance in monotonic semantic nets” (with J. Horty and D. Touretzky). InMethodologies for intelligent Systems (Proceedings of the Second International Symposiumon Methodologies for Intelligent systems). Z. Ras and M. Zemankova, eds., North-Holland,Amsterdam, 1987, pp. 280–287.

12

70. “Update and conditionals” (with C. Cross). In Methodologies for intelligent systems (Pro-ceedings of the Second International Symposium on Methodologies for Intelligent Systems).Z. Ras and M. Zemankova, eds., North-Holland, Amsterdam, 1987, pp. 392–399.

71. “Mixing strict and defeasible inheritance” (with J. Horty). In AAAI-88 (Proceedings of theSeventh National Conference on Artificial Intelligence). Volume 2, Morgan Kaufmann, LosAltos, 1988, pp. 427–432.

72. “Nonmonotonic inheritance and generic reflexives” (with D. Touretzky). In AAAI-88 (Pro-ceedings of the Seventh National Conference on Artificial Intelligence). Volume 2, MorganKaufmann, Los Altos, 1988, pp. 433–438.

73. “A skeptical theory of inheritance in nonmonotonic semantic nets” (with J. Horty andD. Touretzky). Artificial intelligence 42 (1990), pp. 311–348.

74. “Philosophical logic and artificial intelligence.” Journal of philosophical logic 17 (1988),pp. 321–327.

75. “Logics for nonmonotonic inheritance” (with J. Horty). In M. Reinfrank, J. de Kleer,M.L. Ginsberg, and E. Sandewall eds., Non-monotonic reasoning: 2nd International Work-shop, Grassau (FRG), June 1988. Springer Verlag, 1988, pp. 220–237.

76. “Inheritance theory and reasoning: an introduction” (with Bob Carpenter). In H. Kyburgand R. Loui, eds., Defeasible reasoning and knowledge representation, Kluwer, 1990, pp. 309-343.

77. “Completeness proofs for monotonic nets with relations and identity.” In Methodologies forintelligent systems (Proceedings of the Fourth International Symposium on Methodologiesfor Intelligent Systems). Z. Ras et al., eds., North-Holland, Amsterdam, 1989, pp. 523–532.

78. “Theories of nonmonotonicity and natural language generics.” In M, Krifka, ed., Genericityin natural language: proceedings of the 1988 Tubingen conference. Seminar fur naturlich-sprachliche Systeme der Universitat Tubingen, 1988, pp. 395–406.

79. “Propagating epistemic coordination through mutual defaults I.” In Proceedings of the ThirdConference on Theoretical Aspects of Reasoning about Knowledge. Rohit Parikh, ed., MorganKaufmann, 1990, pp. 29–39.

80. “Boolean extensions of inheritance networks.” (with J. Horty) In AAAI-90 (Proceedings ofthe Ninth National Conference on Artificial Intelligence). AAAI Press & MIT Press, 1990,pp. 633–639.

81. “Hybridizing nonmonotonic inheritance with theorem proving” (with John M. Aronis). An-nals of mathematics and artificial intelligence 6 (1992), pp. 345–366.

82. “Inheritance theory and networks with roles” (with D. Touretzky.) In Principles of semanticnetworks, John Sowa, ed., Morgan Kaufmann, 1992, pp. 231–266.

13

83. “An inference algorithm for networks that mix strict and defeasible inheritance and relations”(with David S. Touretzky). InMethodologies for intelligent systems (Proceedings of the FifthInternational Symposium on Methodologies for Intelligent Systems). Z. Ras, M. Zemankova,and M. Emrich, eds., North-Holland, Amsterdam, 1990, pp. 212-225.

84. “netl and subsequent path-based inheritance theories.” Computers and mathematics withapplications 23 (1992), pp. 179–204. Reprinted in F. Lehmann, Semantic networks in arti-ficial intelligence, Pergamon Press, 1992, pp. 179–204.

85. “A semantic analysis of monotonic inheritance with roles and relations.” In Methodologiesfor intelligent systems (Proceedings of the Sixth International Symposium on Methodolo-gies for Intelligent Systems). Z. Ras, M. Zemankova, abd M. Emrich, eds., North-Holland,Amsterdam, 1991, pp. 630–644.

86. “A skeptic’s menagerie: conflictors, preemptors, reinstaters, and zombies in nonmonotonicinheritance.” (with D. Touretzky and J. Horty). In J. Mylopoulos and R. Reiter, eds.,Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, MorganKaufmann, Los Altos, 1991, pp. 478–483.

87. “Knowledge representation and knowledge of words.” In J. Pustejovsky and S. Bergler, eds.,Lexical Semantics and Knowledge Representation: Proceedings of a Workshop Sponsored bythe Special Interest Group on the Lexicon of the Association for Computational Linguistics.Association for Computational Linguistics, 1991, pp. 1–8.

88. “Logicism, artificial intelligence, and common sense: John McCarthy’s program in philo-sophical perspective.” In Artificial intelligence and mathematical theory of computation,Vladimir Lifschitz, ed., Academic Press, San Diego, 1991, pp. 449–466.

89. “Update and conditionals” (with C. Cross).In P. Gardenfors, ed., Belief revision. CambridgeUniversity Press, 1992, pp. 247–275.

90. “Conditionals and artificial intelligence” (with J. Horty). Fundamenta Informaticae 15(1991), pp. 301–324.

91. “Default finite state machines and finite state phonology” (with G. Penn). Proceedings of the1st meeting of the Association for Computational Phonology, Association for ComputationalLinguistics, 1994, pp. 33–42.

92. “Empirical methods in discourse: limits and prospects” (with Pamela Jordan). In Mari-lyn Walker, ed., Proceedings of the AAAI Workshop on Empirical Methods in Discourse,American Association for Artificial Intelligence, 1995.

93. “Nonmonotonicity in linguistics.” In J. van Benthem and A. ter Meulen, eds., Handbook ofLogic and Language, Elservier, Amsterdam, 1997, pp. 777–831.

94. “Interrelating interpretation and generation in an abductive framework” (with Jerry R.Hobbs). In Working Notes: AAAI Fall Symposium on Communicative Action in Humansand Machines. David Traum, ed., American Association for Artificial Intelligence, 1997.

14

95. “Nondeterministic action and dominance: foundations for planning and qualitative decision”(with J. Horty). In Proceedings of the Sixth Conference on Theoretical Aspects of Reasoningabout Knowledge. Yoav Shoham, ed., Morgan Kaufmann, 1996, pp. 229–250.

96. “Communicative goals” (with J. Hobbs and J. Moore). In Proceedings of the ECAI 96 Work-shop on Gaps and Bridges: New Directions in Planning and Natural Language Generation.K. Jokinen and M. Maybury and I. Zukerman, eds. Springer-Verlag, 1996.

97. “Refining the categories of miscommunication” (with Pamela Jordan). In Proceedings of theAAAI Workshop on Detecting, Repairing, and Preventing Human-machine Miscommunica-tion, Copyright American Association for Artificial Intelligence, 1996.

98. (With Jon Doyle.) “Qualitative preferences in deliberation and practical reasoning,” AIMagazine, 18 (1997), p. 83.

99. Review of Reasoning about knowledge, by Ronald Fagin, Joseph Y. Halpern, Yoram Mosesand Moshe Y. Vardi. Studia logica, 63 (1999), pp. 128–136.

100. “Type theoretic foundations for context (Extended abstract).” In Context in knowledgerepresentation and natural language, AAAI–97 Fall Symposium Series, American Associationfor Artificial Intelligence, Menlo Park, CA, 1997, pp. 211–220.

101. “Conditionals, time and causal independence.” In Prospects for a commonsense theory ofcausation, AAAI–98 Spring Symposium Series, American Association for Artificial Intelli-gence, Menlo Park, CA, 1998, pp. 124–130.

102. “Qualitative decision theory and interactive problem solving (Extended abstract)”. In Inter-active and mixed-initiative decision-theoretic systems, AAAI–98 Spring Symposium Series,American Association for Artificial Intelligence, Menlo Park, CA, 1998, pp. 107–113.

103. “Defeasibly successful action and dominance: further foundations for planning and quali-tative decision”. In Vladimir Lifschitz, ed., Proceedings of the 1998 Trento Workshop onNonMonotonic Reasoning about Actions and Change.

104. “Intra-agent modality and nonmonotonic epistemic logic”. In Theoretical aspects of reasoningabout knowledge: Proceedings of the seventh conference (TARK 1998), Itzhak Gilboa, ed.,1998, pp. 57–69.

105. “An Empirical investigation of proposals in collaborative dialogues.” (with Barbara Di Euge-nio, Pamela W. Jordan and Johanna D. Moore). In the Proceedings of the 17th InternationalConference on Computational Linguistics and the 36th Annual Meeting of the Associationfor Computational Linguistics (COLING-ACL’98). Montreal, Canada, 1998, pp. 325–329.

106. “Representing and reasoning with context.” In Artificial Intelligence and Symbolic Compu-tation, Jacques Calmet and Jan Plaza, eds., Springer Verlag, Berlin, 1998, pp. 29–41.

107. “Background to qualitative decision theory” (with Jon Doyle). AI Magazine, Vol. 20, No.2, 1999, pp. 55–68.

15

108. “Progress towards a theory of practical reasoning: problems and prospects” (Abstract). InProceedings of the IJCAI-99 Workshop on Practical Reasoning and Rationality, John Bell,ed., International Joint Conference on Artificial Intelligence, Murray Hill, New Jersey, 1999,pp. 46–47.

109. “Type theoretic foundations for context, Part 1: Contexts as complex type-theoretic ob-jects.” In Modeling and using contexts: Proceedings of the second international and interdis-ciplinary conference, CONTEXT’99, edited by Paolo Bouquet and Luigi Serafini and PatrickBrezillon and Massimo Benerecetti and Francesca Castellani, Springer-Verlag, Berlin, 1999,pp. 352–374.

110. “Teaching knowledge representation: Challenges and proposals.” In Anthony G. Cohn andFausto Giunchiglia and Bart Selman, eds., KR2000: Principles of knowledge representationand reasoning, Morgan Kaufmann, San Francisco, 2000, pp. 725–733.

111. “Desires and defaults: a framework for planning with inferred goals.” In Anthony G. Cohnand Fausto Giunchiglia and Bart Selman, eds., KR2000: Principles of knowledge represen-tation and reasoning, Morgan Kaufmann, San Francisco, 2000, pp. 702–713.

112. “Modeling the beliefs of other agents: Achieving mutuality.” In Logic-Based Artificial Intel-ligence, edited by Jack Minker, Kluwer Academic Publishers, 2000, pp. 375–403.

113. “The agreement process: an empirical investigation of human-human computer-mediatedcollaborative dialogues” (with Barbara Di Eugenio, Pamela W. Jordan, and Johanna D.Moore.) International journal of human-computer studies 53 (2000), pp. 1017–1076.

114. “Iterative probability kinematics” (with Horacio Arlo-Costa). Journal of Philosophical Logic30 (2001), pp. 479–524.

115. Review of Formal aspects of context, edited by Pierre Bonzon and Marcos Cavalcanti andRolf Nossum. Computational linguistics 24 (2001), pp. 598–602.

116. “Ability, action, and context.” In J.J. Ch. Meyer and M.J. Wooldridge, editors, Proceedingsof the Workshop on Logics for Agent-Based Systems at KR 2002, Toulouse, 2002.

117. “Representability in second-order propositional poly-modal logic” (with G. Aldo Antonelli).The Journal of Symbolic Logic 67 (2002), pp. 1039–1054.

118. “Preferences as conclusions.” In Preferences in AI and CP: Symbolic approaches, edited byUlrich Junker, AAAI Press, Menlo Park, California, 2002, pp. 94–98.

119. “Context in abductive interpretation” (with Matthew Stone). In EDILOG 2002: Proceedingsof the sixth workshop on the semantics and pragmatics of dialogue, edited by Johan Bos, MaryEllen Foster, and Colin Matheson, Edinburgh, 2002, pp. 169–176.

120. “Twenty-Five Years of Linguistics and Philosophy” (with F. Jeffrey Pelletier). Linguisticsand Philosophy, 25 (2002), pp. 507–529.

121. “Ability and action.” In Logical formalization of common sense reasoning, edited by PatrickDoherty, John McCarthy, and Mary-Anne Williams, AAAI–03 Spring Symposium Series,American Association for Artificial Intelligence, Menlo Park, CA, 2003, pp. 139–145.

16

122. “Dynamic Contextual Intensional Logic: Logical Foundations and an Application.” In Mod-eling and Using Context: Fourth International and Interdisciplinary Conference, edited byPatrick Blackburn, Chiara Ghidini, Roy M. Turner, and Fausto Giunchiglia, Springer-Verlag,Berlin, 2003, pp. 328–341.

123. “Coordinating Understanding and Generation in an Abductive Approach to Interpretation”(with Matthew Stone). In Diabruck 2003: Proceedings of the 7th Workshop on the semanticsand pragmatics of dialogue, edited by Ivana Kruijff-Korbayova and Claudia Kosny, Univer-sitat des Saarlandes, Saarbrucken, 2003, pp. 131–138.

124. “Logic and artificial intelligence.” In The Stanford encyclopedia of philosophy, Edward N.Zalta, editor, 2003. Extensive revisions, 2009, 2013. Available at:

http://plato.stanford.edu/archives/fall2003/entries/logic-ai/

125. “Artificial and Natural Languages.” Macmillan Encyclopedia of Philosophy, second edition,Macmillan, 2006.

126. “Richard Montague.” Macmillan Encyclopedia of Philosophy, second edition, forthcoming.

127. “Contextual Effects on Vagueness and the Sorites Paradox: A Preliminary Study.” Proceed-ings of the CRR’05 Workshop on Context Representation and Reasoning, Paris, 2005, editedby Luciano Serafini and Paolo Bouquet.

128. “Making Contextual Intensional Logic Nonmonotonic.” In Anind Dey and Boicho Kokinovand David Leake and Roy Turner, eds., Modeling and Using Context: 5th International andInterdisciplinary Conference, Springer-Verlag, Berlin, 2005, pp. 502–514.

129. “Conditionals and Action Logics.” AAAI 2007 Spring Symposium on Commonsense Rea-soning. American Association for Artificial Intelligence, Menlo Park, 2007.

130. “Three Interactions Between Context and Epistemic Locutions.” In Boicho Kokinov et al.,eds., Modeling and Using Context: Sixth International and Interdisciplinary Conference,Context 2007. Springer-Verlag, Berlin, 2007, pp. 467-481.

131. “Introduction: Perspectives on Context” (with Paolo Bouquet and Luciano Serafini). Per-spectives on Context, CSLI Publications, 2008, pp. vii–xiv.

132. “Contextual Intensional logic: type-theoretic and dynamic considerations.” In Paolo Bou-quet and Luciano Serafini, editors, Perspectives on Context, CSLI Publications, 2008, pp. 43–63.

133. “Some Limitations to the Psychological Orientation in Semantic Theory.” Journal of Philo-sophical Logic 40 (2011), pp. 1–14.

134. “Richard Montague’s Approach to the Semantics of Natural Languages” In Gillian Russelland Delia Graf Fara, editors, Routledge Companion to the Philosophy of Language, Rout-ledge, 2012, pp. 678–690.

135. “Paradoxes of Intentionality” (with Dustin Tucker). The Review of Symbolic Logic 4 (2011),pp. 394–411.

17

136. Review of Reasons as Defaults, by John F. Horty. Notre Dame Philosophical Reviews, Oc-tober 1, 2012, http://ndpr.nd.edu/news/33798-reasons-as-defaults/.

137. “Towards a formalization of the formation and practicalization of goals” (with Damian Was-sel). Proceedings of Commonsense Reasoning 2013.

138. “Krister Segerberg’s Philosophy of Action.” In Krister Segerberg on Logic of Actions, editedby Robert Trypuz. Springer, 2013, pp. pp. 3–23.

139. “Belief, Intention, and Practicality: Loosening up Agents and Their Propositional Atti-tudes.” In Epistemology, Context, Formalism, edited by Franck Lihoreau and Manuel Re-buschi, Springer, 2013, pp. 167–184.

140. “Interrogative Semantics in Perspective.” In Festschrift for Jeroen Groenendijk, MartinStokhof, and Frank Veltman, edited by Maria Aloni, Michael Franke, and Floris Roelofsen.Boekenbestellen.nl , Zwaag, Netherlands, 2013.

141. “Frank Veltman’s Logics for Conditionals Revisited.” Festschrift for Jeroen Groenendijk,Martin Stokhof, and Frank Veltman, edited by Maria Aloni, Michael Franke, and FlorisRoelofsen. Boekenbestellen.nl , Zwaag, Netherlands, 2013.

142. “Formal Semantics for Causal Constructions.” Causation in Grammatical Structures, editedby Bridget Copley and Fabienne Martin. Oxford University Press, 2014, pp. 58–75.

143. “The Logic of Counterpart Theory with Actuality” (with Adam Rigoni). Journal of Philo-sophical Logic 43 (2014), pp. 1–31.

144. “The Formalization of Practical Reasoning: Problems and Prospects.” The IfCoLog Journalof Logics and Their Applications 1 (2014), pp. 47–76.

145. “Formal Semantics for Causal Constructions,” In Forces in Grammatical Structures, editedby Bridget Copley and Fabienne Martin, Oxford University Press, Oxford, 2015, pp. 58–75.

146. “Chisholm’s Paradox and Conditional Oughts” (with Catherine Saint Croix). In FabrizioCariani et al., eds, Deontic Logic and Normative Systems:2014a, DEON 2014. Springer-Verlag, Berlin, 2014, pp. 192–207.

147. “Independence of the Dual Axiom in Modal K with Primitive ♦.” Notre Dame Journal ofFormal Logic, forthcoming.

148. “Action Models for Conditionals” (with Jeremy Lent). Journal of Logic, Language, andInformation 24 (2015), pp. 211–231.

149. “The Semantic Representation of Causation and Agentivity.” The Oxford Handbook of EventStructure, Robert Trueswell, editor, Oxford University Press, forthcoming.

4. TECHNICAL REPORTS:

1. “A calculus for inheritance in monotonic semantic nets” (with J. Horty and D. Touretzky).Department of Computer Science, Carnegie Mellon University, 1986. Technical Report No.CMU-CS-86-138.

18

2. “A skeptical theory of inheritance in nonmonotonic semantic nets” (with J. Horty andD. Touretzky). Department of Computer Science, Carnegie Mellon University, 1987. Tech-nical Report No. CMU-CS-87-175.

3. “Inheritance theory and networks with roles” (with D. Touretzky). Department of ComputerScience, Carnegie Mellon University, 1990. Technical Report No. CMU-CS-90-139.

4. “Hybridizing nonmonotonic inheritance with theorem proving” (with John M. Aronis). De-partment of Computer Science, Carnegie Mellon University, 1990. Technical Report No.CMU-CS-90-174.

5. “Comments on ‘What some Generic Sentences Mean’.” In Default Logics for LinguisticAnalysis, Hans Kamp, ed., dyana Deliverable R2.5.B, esprit Basic Research Action BR3125, dyana Administrator, Edinburgh, 1991, pp. 33-36.

5. EDITED PUBLICATIONS:

1. Formal philosophy: selected papers of Richard Montague, Yale University Press, New Haven,1974.

2. Special issue on conditionals, Journal of philosophical logic, D. Reidel Publishing Company,1981.

3. Special issue on truth and semantical paradox, Journal of philosophical logic, D. Reidel Pub-lishing Company, 1982.

4. Special issue on intuitionism, Journal of philosophical logic, D. Reidel Publishing Company,1983.

5. Special issue on truth-value gaps, truth-value gluts, and the paradoxes, Journal of philosoph-ical logic, D. Reidel Publishing Company, 1984.

6. Report of NSF Workshop on Information and Representation (co-edited with Barbara Parteeand Stanley Peters). Center for the Study of Language and Information, 1985.

7. Special issue on artificial intelligence and philosophical logic, Journal of philosophical logic,Kluwer Publishing Company, 1988.

8. (With Jon Doyle.) Working papers of the AAAI Spring Symposium on Qualitative Prefer-ences in Deliberation and Practical Reasoning, American Association for Artificial Intelli-gence, Menlo Park, California, 1997.

9. (Coedited with Varol Akman, Paolo Bouquet and Roger Young.) Modeling and Using Con-text, Springer-Verlag, Berlin, 2001.

10. (Co-edited with Greg Carlson and F. Jeffrey Pelletier.) Special issue celebrating the 25thanniversary of Linguistics and Philosophy. Linguistics and Philosophy 25, numbers 5–6,2002.

11. Perspectives on Contexts (edited with Paolo Bouquet and Luciano Serafini). CSLI Publica-tions, 2008.

19

7. ONLINE PUBLICATTIONS

1. Symbolic Logic: An Introduction. Revised online edition of a book published in 1970.Available athttp://www.eecs.umich.edu/˜rthomaso/logic-intro.old/ (password required).

2. Logic, Algorithms, and formal languages (with Jamie Tappenden). An introduction tomathematical logic. Available athttp://www.eecs.umich.edu/˜rthomaso/logic-intro.new/ (password required).

3. “The semantics of conditional modality.” Privately Distributed, 2012.

20

7. UNPUBLISHED WORK1

1. “Comments on ‘Situations and attitudes’.” Presented at the annual meeting of the AmericanPhilosophical Association, Eastern Division., 1981. Photocopied and privately distributed,1982.

2. “Paradoxes of intentionality?” Presented at Carnegie-Mellon University and at the Univer-sity of Waterloo Conference on Logical Theory, 1982. Photocopied and privately distributed,1982.

3. “Conditionals and temporal direction.” Presented at the Chapel Hill Philosophy Colloquium,1982.

4. “Logic as part of linguistic semantics.” Presented at the Australasian Association of Logic,1983.

5. “Remarks on mood and conditionals.” Presented at Stanford University, 1983.

6. “Default reasoning and theory perturbation” (with C. Glymour). Presented at a workshopsponsored by the American Association for Artificial Intelligence, 1984.

7. German Translation of “Indeterminist time and truth-value gaps.” In B. Kienzle, ed., Zus-tand und Eregnis, Suhrkamp, Frankfurt, 1994.

8. “Remarks on intensionality.” Presented at the CSLI Logic, Language and ComputationSummer School, Stanford University, 1985. Photocopied and privately distributed, 1985.

9. “Final report on the automated classification and retrieval project: Grant N01-LM-4-3529”(with J. Carbonell, D. Evans, and D. Scott). Submitted to the National Library of Medicine,1985. Photocopied and privately distributed, 1986.

10. “A note on structured propositions.” Xeroxed and privately distributed, 1986.

11. “Factors in the evaluation of practical reasoning.” Presented at a Workshop on Planningand Reasoning, Timberline Lodge, 1986.

12. “Four-valued conditional logic: possible world and semantic network interpretations” (withC. Cross). Photocopied and privately distributed, 1986.

13. Linguistics: an introduction (with S. Thomason and L. Knecht). Textbook under contractwith Oxford University Press; xeroxed and privately distributed, 1986.

14. “Completeness for equational logic with sets.” Photocopied and privately distributed, 1986.

15. “Knowledge systems: logical foundations.” American Association for Artificial IntelligenceWorkshop on Very Large Knowledge Bases, August, 1988.

16. “What to do about propositional attitudes?” Presented at a conference on “Propositionalattitudes: the role of content in logic, language, and mind.” University of Minnesota, 1988.

17. “Foundational problems of limited rationality.” Presented at the AAAI Spring Symposiumon Limited Rationality, May, 1989.

1Including only work that has been presented at invited lectures, or has been privately distributed in

1982 or thereafter.

21

18. “Inheritance and natural language.” Photocopied and privately distributed in various ver-sions, beginning October, 1990.

19. “Prospects for a logical theory of practical reasoning.” Presented to the Workshop on The-oretical and Practical Design of Rational Agents, Twelfth International Joint Conferenceon Artificial Intelligence, Sydney, Australia, 1991. Photocopied and privately distributed invarious versions, from September, 1991 to September, 1992.

20. “Non-monotonic formalisms for natural language semantics.” Presented to the DagstuhlSeminar on Semantic Formalisms in Natural Language Processing, Schloss Dagstuhl, Ger-many, 1993.

21. “Towards a logical theory of practical reasoning.” Presented to the AAAI Spring Symposiumon Reasoning about Mental States, 1993. Printed in J. Horty et al. eds., Working Papers:AAAI Spring Symposium Series, Symposium on Reasoning about Mental States. AmericanAssociation for Artificial Intelligence, 1993, pp. 133–142.

22. “Logicism: exact philosophy, linguistics, and Artificial Intelligence.” Unpublishedmanuscript, 1995.

23. “Nondeterministic action and dominance: Foundations for planning and qualitative decision”(with J. Horty). Manuscript, 1995. In Y. Shoham, ed., Theoretical Aspects of ReasoningAbout Knowledge: Proceedings of the Third Conference, Morgan Kaufmann, 1996, forthcom-ing.

24. “Discourse context” (with J. Moore). In Sasa Buvac, ed., Formalizing Context,” AAAI–95Fall Symposium Series, American Association for Artificial Intelligence, Menlo Park, CA,1995, pp. 102–109.

25. “Logicism in formalizing common sense and in natural language semantics.” AAAI ThirdSymposium on Logical Formalizations of Commonsense Reasoning, 1996, American Associ-ation for Artificial Intelligence, Menlo Park, CA.

26. “Representing and reasoning in computer-readable field linguistics archives.” Workshop onWeb-Based Language Documentation and Description, Institute for Research in CognitiveScience (IRCS), University of Pennsylvania, Dec 15, 2000.

27. “Notes on formalizing noun compounds.” Privately distributed, 2001.

28. “Comments on ‘Pragmatic reasoning, defaults, and discourse structure’, by Nicholas Asherand Madison Williams.” Presented at the University of Michigan Workshop on Philosophyand Linguistics and privately distributed, November, 2003.

29. Logic, algorithms, and formal languages. Available on the World Wide Web in PDF format.For URL and password, send email to rthomaso@umich.edu.

30. “Grammar and the philosophers’ classification of conditionals.” Presented at the Universityof Western Ontario and privately distributed, January, 2004.

22

31. “Enlightened Update: A Computational Architecture for Presupposition and Other Prag-matic Phenomena” (with David DeVault and Matthew Stone). Presented at Workshop onPresupposition Accommodation, The Ohio State University, 2006

32. “Logical Semantics for Causal Constructions.” Presented at Forces in Grammatical TheoryWorkshop, University of Paris, 2007

33. “Truth After the Fact in Indeterminist Tense Logic.” Privately distributed, 2007.

34. Towards a Formal Theory of Practical Reasoning: Problems and Prospects. Privately dis-tributed, 2009

35. “The Semantics of Modality and Conditionals.” Privately distributed, 2010.

36. What Can Be Learned from Regress Arguments? Privately distributed, 2013.

23