text:
1--74},
  address = {Munich and Vienna},
  xref = {Republication: mccarthy_j1:1982a2.},
  topic = {artificial-communication;}
  }

@incollection{ mccarthy_j1:1982a2,
  author = {John McCarthy},
  title = {The Common Business Communication Language},
  booktitle = {Formalizing Common Sense: Papers by {J}ohn {M}c{C}arthy},
  publisher = {Ablex Publishing Corporation},
  year = {1990},
  editor = {Vladimir Lifschitz},
  pages = {175--186},
  address = {Norwood, New Jersey},
  xref = {Republication of: mccarthy_j1:1982a1.},
  topic = {artificial-communication;}
  }

@article{ mccarthy_j1:1983a1,
  author = {John McCarthy},
  title = {{AI} Needs More Emphasis on Basic Research},
  journal = {{AI} Magazine},
  year = {1983},
  volume = {4},
  missinginfo = {number,pages},
  xref = {Republication: mccarthy_j1:1983a2.},
  topic = {AI-editorial;}
  }

@incollection{ mccarthy_j1:1983a2,
  author = {John McCarthy},
  title = {{AI} Needs More Emphasis on Basic Research},
  booktitle = {Formalizing Common Sense: Papers by {J}ohn {M}c{C}arthy},
  publisher = {Ablex Publishing Corporation},
  year = {1990},
  editor = {Vladimir Lifschitz},
  pages = {187--188},
  address = {Norwood, New Jersey},
  xref = {Republication of: mccarthy_j1:1983a1.},
  topic = {AI-editorial;}
  }

@article{ mccarthy_j1:1983b1,
  author = {John McCarthy},
  title = {The Little Thoughts of Thinking Machines},
  journal = {Psychology Today},
  year = {1983},
  volume = {17},
  number = {12},
  missinginfo = {pages},
  xref = {Republication: mccarthy_j1:1983b2.},
  topic = {philosophy-AI;philosophy-of-mind;}
  }

@incollection{ mccarthy_j1:1983b2,
  author = {John McCarthy},
  title = {The Little Thoughts of Thinking Machines},
  booktitle = {Formalizing Common Sense: Papers by {J}ohn {M}c{C}arthy},
  publisher = {Ablex Publishing Corporation},
  year = {1990},
  editor = {Vladimir Lifschitz},
  pages = {179--186},
  address = {Norwood, New Jersey},
  xref = {Republication of: mccarthy_j1:1983b1.},
  topic = {philosophy-AI;philosophy-of-mind;}
  }

@incollection{ mccarthy_j1:1984a1,
  author = {John McCarthy},
  title = {Some Expert Systems Need Common Sense},
  booktitle = {Computer Culture: the Scientific,
  	Intellectual and Social Impact of the Computer},
  editor = {H. Pagels},
  series = {Annals of The New York Academy of Sciences},
  volume = {426},
  publisher = {The New York Academy of Sciences},
  year = {1984},
  pages = {129--137},
  xref = {Republication: mccarthy_j1:1984a2.},
  topic = {common-sense-reasoning;}
  }

@incollection{ mccarthy_j1:1984a2,
  author = {John McCarthy},
  title = {Some Expert Systems Need Common Sense},
  booktitle = {Formalizing Common Sense: Papers by {J}ohn {M}c{C}arthy},
  publisher = {Ablex Publishing Corporation},
  year = {1990},
  editor = {Vladimir Lifschitz},
  pages = {189--197},
  address = {Norwood, New Jersey},
  xref = {Republication of: mccarthy_j1:1984a1.},
  topic = {common-sense-reasoning;}
  }

@article{ mccarthy_j1:1986a1,
  author = {John McCarthy},
  title = {Applications of Circumscription to Formalizing Common
  	Sense Knowledge},
  journal = {Artificial Intelligence},
  year = {1986},
  volume = {28},
  number = {1},
  xref = {Republications: mccarthy_j1:1986a2,mccarthy_j1:1986a2.},
  rtnote = {In RHT collection.},
  topic = {circumscription;common-sense-reasoning;}
  }

@incollection{ mccarthy_j1:1986a2,
  author = {John McCarthy},
  title = {Applications of Circumscription to Formalizing Common
  	Sense Knowledge},
  booktitle = {Formalizing Common Sense: Papers by {J}ohn {M}c{C}arthy},
  publisher = {Ablex Publishing Corporation},
  year = {1990},
  editor = {Vladimir Lifschitz},
  pages = {198--225},
  address = {Norwood, New Jersey},
  xref = {Republication of: mccarthy_j1:1986a1.},
  topic = {circumscription;common-sense-reasoning;}
  }

@incollection{ mccarthy_j1:1986a3,
  author = {John McCarthy},
  title = {Applications of Circumscription to
         Formalizing Common-Sense Knowledge},
  booktitle = {Readings in Nonmonotonic Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Matthew L. Ginsberg},
  pages = {153--166},
  address = {Los Altos, California},
  xref = {Republication of: mccarthy_j1:1986a1.},
  topic = {nonmonotonic-logic;nonmonotonic-reasoning;}
  }

@article{ mccarthy_j1:1987a1,
  author = {John McCarthy},
  title = {Generality in Artificial Intelligence},
  journal = {Communications of the {ACM}},
  year = {1987},
  volume = {30},
  number = {12},
  pages = {1030--1035},
  xref = {Republication: mccarthy_j1:1987a2.},
  topic = {art-of-formalization;AI-and-logic;}
  }

@incollection{ mccarthy_j1:1987a2,
  author = {John McCarthy},
  title = {Generality in Artificial Intelligence},
  booktitle = {Formalizing Common Sense: Papers by {J}ohn {M}c{C}arthy},
  publisher = {Ablex Publishing Corporation},
  year = {1990},
  editor = {Vladimir Lifschitz},
  pages = {226--236},
  address = {Norwood, New Jersey},
  xref = {Republication of mccarthy_j1:1987a1.},
  topic = {art-of-formalization;AI-and-logic;}
  }

@article{ mccarthy_j1:1988a1,
  author = {John McCarthy},
  title = {Mathematical Logic in Artificial Intelligence},
  journal = {Daedelus},
  year = {1988},
  pages = {297--311},
  missinginfo = {number, volume},
  xref = {Republication: mccarthy_j1:1988a2.},
  topic = {logic-in-AI-survey;}
  }

@incollection{ mccarthy_j1:1988a2,
  author = {John McCarthy},
  title = {Mathematical Logic in Artificial Intelligence},
  booktitle = {Formalizing Common Sense: Papers by {J}ohn {M}c{C}arthy},
  publisher = {Ablex Publishing Corporation},
  year = {1990},
  editor = {Vladimir Lifschitz},
  pages = {237--249},
  address = {Norwood, New Jersey},
  xref = {Republication of mccarthy_j1:1988a1.},
  topic = {AI-and-logic;}
  }

@incollection{ mccarthy_j1:1989a,
  author = {John McCarthy},
  title = {Artificial Intelligence, Logic, and Formalizing Common
  	Sense},
  booktitle = {Philosophical Logic and Artificial Intelligence},
  publisher = {Kluwer Publishing Co.},
  year = {1989},
  editor = {Richmond Thomason},
  pages = {161--190},
  address = {Dordrecht, Holland},
  topic = {kr;nonmonotonic-logic;context;common-sense-knowledge;
		logic-of-context;}
  }

@article{ mccarthy_j1:1990a1,
  author = {John McCarthy},
  title = {Circumscription---a Form of Non-Monotonic Reasoning},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {13},
  pages = {27--39},
  missinginfo = {number},
  xref = {Republication: mccarthy_j1:1990a2.},
  topic = {circumscription;nonmonotonic-logic;}
  }

@incollection{ mccarthy_j1:1990a2,
  author = {John McCarthy},
  title = {Circumscription---a Form of Non-Monotonic Reasoning},
  booktitle = {Readings in Nonmonotonic Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Matthew L. Ginsberg},
  pages = {145--152},
  address = {Los Altos, California},
  xref = {Journal Publication: mccarthy_j1:1990a1.},
  topic = {circumscription;nonmonotonic-logic;}
  }

@incollection{ mccarthy_j1:1990b,
  author = {John McCarthy},
  title = {An Example for Natural Language Understanding and
		the {AI} Problems it Raises},
  booktitle = {Formalizing Common Sense: Papers by {J}ohn {M}c{C}arthy},
  publisher = {Ablex Publishing Corporation},
  year = {1990},
  editor = {Vladimir Lifschitz},
  pages = {70--76},
  address = {Norwood, New Jersey},
  contentnote = {This is a useful survey of issues in
  	NL-understanding.  Use this for demonstration purposes?},
  topic = {narrative-understanding;kr-course;}
  }

@incollection{ mccarthy_j1:1990c,
  author = {John McCarthy},
  title = {Formalization of Two Puzzles Involving Knowledge},
  booktitle = {Formalizing Common Sense: Papers by {J}ohn {M}c{C}arthy},
  publisher = {Ablex Publishing Corporation},
  year = {1990},
  editor = {Vladimir Lifschitz},
  pages = {158--166},
  address = {Norwood, New Jersey},
  topic = {epistemic-logic;reasoning-about-knowledge;}
  }

@incollection{ mccarthy_j1:1990d,
  author = {John McCarthy},
  title = {Coloring Maps and the {K}owalski Doctrine},
  booktitle = {Formalizing Common Sense: Papers by {J}ohn {M}c{C}arthy},
  publisher = {Ablex Publishing Corporation},
  year = {1990},
  editor = {Vladimir Lifschitz},
  pages = {167--174},
  address = {Norwood, New Jersey},
  topic = {logic-programming;graph-coloring;}
  }

@article{ mccarthy_j1:1993a,
  author = {John McCarthy},
  title = {History of Circumscription},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {23--26},
  topic = {history-of-AI;circumscription;nonmonotonic-logic;}
  }

@inproceedings{ mccarthy_j1:1993b,
  author = {John McCarthy},
  title = {Notes on Formalizing Contexts},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {555--560},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  topic = {context;logic-of-context;}
  }

@unpublished{ mccarthy_j1:1995a,
  author = {John McCarthy},
  title = {Situation Calculus with Concurrent Events and Narrative},
  year = {1995},
  note = {Available by anonymous ftp at sail.stanford.edu.
 	This paper is labled ``Non Citable Draft.''
	It should not be quoted.},
  contentnote = {Deals with concurrence in Situation Calculus.  --RT},
  topic = {concurrent-actions;situation-calculus;STRIPS;}
  }

@inproceedings{ mccarthy_j1:1995b,
  author = {John McCarthy},
  title = {Varieties of Formalized Contexts and Subcontexts},
  booktitle = {Formalizing Context},
  year = {1995},
  editor = {Sa\v{s}a Buva\v{c}},
  pages = {6},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  note = {Abstract.},
  topic = {context;}
  }

@inproceedings{ mccarthy_j1:1995c,
  author = {John McCarthy},
  title = {Making Robots Conscious of Their Mental States},
  booktitle = {Working Notes of the {AAAI} Spring Symposium on
 	Representing Mental States and Mechanisms},
  year = {1995},
  organization = {American Association for Artificial Intelligence},
  address = {Menlo Park, CA},
  rtnote = {In RHT Collection.  File drawers.},
  missinginfo = {pages},
  note = {http://www-formal.stanford.edu/jmc/consciousness.html},
  topic = {consciousness;philosophy-AI;},
 }

@unpublished{ mccarthy_j1:1995d,
  author = {John McCarthy},
  title = {What Has {AI} in Common with Philosophy?},
  year = {1995},
  rtnote = {In RHT collection.},
  note = {Available from http://www-formal.stanford.edu/jmc},
  rtnote = {In RHT collection.},
  topic = {philosophy-AI;}
  }

@incollection{ mccarthy_j1:1996a,
  author = {John McCarthy},
  title = {From Here to Human-Level {AI}},
  booktitle = {{KR}'96: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro},
  pages = {640--646},
  address = {San Francisco, California},
  topic = {kr;foundations-of-AI;kr-course;}
  }

@article{ mccarthy_j1:1996b,
  author = {John Mccarthy},
  title = {{H}ubert {D}reyfus, {\it What Computers Still Can't Do}},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {80},
  number = {1},
  pages = {143--150},
  xref = {Review of dreyfus:1992a.},
  topic = {philosophy-AI;}
  }

@unpublished{ mccarthy_j1:1996c,
  author = {John McCarthy},
  title = {A Logical {AI} Approach to Context},
  year = {1996},
  note = {Unpublished manuscript, Stanford University},
  rtnote = {In RHT collection.},
  topic = {context;logic-in-AI;}
  }

@article{ mccarthy_j1:1997a,
  author = {John McCarthy},
  title = {Modality Si! Modal Logic, No!},
  journal = {Studia Logica},
  year = {1997},
  volume = {59},
  number = {1},
  pages = {29--32},
  topic = {foundations-of-modal-logic;}
  }

@inproceedings{ mccarthy_j1:1998a,
  author = {John McCarthy},
  title = {Approximate Theories Involving Causality},
  booktitle = {Working Notes of the {AAAI} Spring Symposium on
 	Prospects for a Commonsense Theory of Causation},
  year = {1998},
  organization = {American Association for Artificial Intelligence},
  publication = {American Association for Artificial Intelligence},
  address = {Menlo Park, CA},
  editor = {Charles L. {Ortiz, Jr.}},
  pages = {52},
  note = {Abstract.},
  rtnote = {In RHT Collection.  Shelf.},
  topic = {causality;situation-calculus;}
 }

@inproceedings{ mccarthy_j1:1999a,
  author = {John Mccarthy},
  title = {Concepts of Logical {AI}},
  booktitle = {Workshop on Logic-Based Artificial Intelligence,
	       Washington, DC, June 14--16, 1999},
  year = {1999},
  editor = {Jack Minker},
  publisher = {Computer Science Department, University of Maryland},
  address = {College Park, Maryland},
  topic = {logic-in-AI;common-sense-logicism;}
  }

@unpublished{ mccarthy_j1:1999b,
  author = {John McCarthy},
  title = {Making Robots Conscious of their Mental States},
  year = {1999},
  note = {Unpublished manuscript, Stanford University},
  url = {http://www-formal.stanford.edu/jmc/consciousness.html},
  rtnote = {In RHT collection.  File drawers.},
  topic = {introspection;syntactic-attitudes;metacognition;}
  }

@unpublished{ mccarthy_j1:1999c,
  author = {John Mccarthy},
  title = {Elaboration Tolerance},
  year = {1999},
  note = {Available at http://www-formal.stanford.edu/jmc/},
  rtnote = {In RHT collection.},
  topic = {elaboration-tolerance;}
  }

@inproceedings{ mccarthy_j1:2000a,
  author = {John McCarthy},
  title = {Approximate Objects and Approximate Theories},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {519--526},
  topic = {approximate-objects;}
  }

@incollection{ mccarthy_j1:2000b,
  author = {John Mccarthy},
  title = {Concepts of Logical {AI}},
  booktitle = {Logic-Based Artificial Intelligence},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Jack Minker},
  pages = {37--56},
  address = {Dordrecht},
  topic = {logic-in-AI;common-sense-logicism;foundations-of-AI;}
  }

@article{ mccarthy_j1:2000c,
  author = {John McCarthy},
  title = {Review of \emph{{S}olving the Frame Problem}, by
  	{M}urray {S}hanahan},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {123},
  number = {1--2},
  pages = {269--270},
  xref = {Review of: shanahan:1997a.  Response: shanahan:2000a.},
  topic = {kr;temporal-reasoning;frame-problem;krcourse;}
  }

@unpublished{ mccarthy_j1:2001a,
  author = {John McCarthy},
  title = {John {S}earle's {C}hinese room argument},
  year = {2001},
  url = {http://www-formal.stanford.edu/jmc/chinese.html},
  rtnote = {In RHT collection.},
  topic = {philosophy-ai;philosophy-of-mind;intentionality;}
  }

@incollection{ mccarthy_j1:2002a,
  author = {John McCarthy},
  title = {Actions and Other Events in Situation Calculus},
  booktitle = {{KR2002}: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {2002},
  editor = {Dieter Fensel and Fausto Giunchiglia and Deborah
  	L. McGuinness and Mary-Anne Williams},
  pages = {615--626},
  address = {San Francisco, California},
  topic = {kr;reasoning-about-actions;situation-calculus;}
  }

@incollection{ mccarthy_j1:2004a,
  author = {John McCarthy},
  title = {Historical Remarks on Nonmonotonic Reasoning, Especially
  		Circumscripition},
  booktitle = {{KR}2004: Principles of Knowledge Representation and
  		Reasoning},
  publisher = {AAAI Press},
  year = {2004},
  editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams},
  pages = {738--739},
  address = {Menlo Park, California},
  topic = {nonmonotonic-logic;nonmonotonic-reasoning;history-of-AI;}
  }

@article{ mccarthy_j1:2005a,
  author = {John McCarthy},
  title = {The Future of {AI}: A Manifesto},
  journal = {The {AI} Magazine},
  year = {2005},
  volume = {26},
  number = {4},
  pages = {39},
  topic = {AI-editorial;AI-and-logic;}
  }

@article{ mccarthy_j1:2007a,
  author = {John McCarthy},
  title = {From Here to Human-Level {AI}},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {18},
  pages = {1174--1182},
  xref = {Commentary: mcdermott_d:2007a},
  topic = {AI-editorial;}
  }

@article{ mccarthy_j1:2008a,
  author = {John McCarthy},
  title = {The Well-Designed Child},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {18},
  pages = {2003--2014},
  topic = {foundations-of-AI;}
  }

@unpublished{ mccarthy_j1-buvac:1995a1,
   author = {John McCarthy and Sa\v{s}a Buva\v{c}},
   title = {Formalizing Context (Expanded Notes)},
   year = {1995},
   rtnote = {In RHT collection.},
   note = {Available from http://www-formal.stanford.edu/buvac.},
   xref = {Publication in edited collection:
   	mccarthy_j1-buvac:1995a2.},
   rtnote = {Reading notes on file.},
   topic = {context;logic-of-context;}
  }

@incollection{ mccarthy_j1-buvac:1995a2,
  author = {John McCarthy and Sa\v{s}a Buva\v{c}},
  title = {Formalizing Context (Expanded Notes)},
  booktitle = {Computing Natural Language},
  publisher = {{CSLI} Publications},
  year = {1998},
  editor = {Atocha Aliseda and Rob {van Glabbeek} and Dag Westerst{\aa}hl},
  pages = {13--50},
  address = {Stanford, California},
  xref = {Republication of:  mccarthy_j1-buvac:1995a1.},
  rtnote = {In RHT collection.  PS version saved on Summer 00 zip. },
  topic = {context;logic-of-context;}
  }

@inproceedings{ mccarthy_j1-buvac:1997a1,
  author = {John McCarthy and Sa\v{s}a Buva\v{c}},
  title = {Formalizing Context (Expanded Notes)},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Context in Knowledge Representation and Natural Language},
  year = {1997},
  editor = {Sa\v{s}a Buva\v{c} and {\L}ucia Iwa\'nska},
  pages = {99--135},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  xref = {Publication in collection: mccarthy_j1-buvac:1997a2.},
  topic = {context;logic-of-context;}
  }

@incollection{ mccarthy_j1-buvac:1997a2,
  author = {John McCarthy and Sa\v{s}a Buva\v{c}},
  title = {Formalizing Context (Expanded Notes)},
  booktitle = {Computing Natural Language},
  publisher = {{CSLI} Publications},
  year = {1998},
  editor = {Atocha Aliseda and Rob {van Glabbeek} and Dag Westerst{\aa}hl},
  pages = {13--50},
  address = {Stanford, California},
  xref = {Workshop publication: mccarthy_j1-buvac:1997a1.},
  topic = {context;logic-of-context;}
  }

@incollection{ mccarthy_j1-costello:1998a,
  author = {John McCarthy and Tom Costello},
  title = {Combining Narratives},
  booktitle = {{KR}'98: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1998},
  editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C.
		Shapiro},
  pages = {48--59},
  address = {San Francisco, California},
  topic = {kr;narrative-representation;temporal-reasoning;kr-course;}
  }

@inproceedings{ mccarthy_j1-costello:1998b,
  author = {John McCarthy and Tom Costello},
  title = {Useful Counterfactuals and Approximate Theories},
  booktitle = {Working Notes of the {AAAI} Spring Symposium on
 	Prospects for a Commonsense Theory of Causation},
  year = {1998},
  organization = {American Association for Artificial Intelligence},
  publication = {American Association for Artificial Intelligence},
  address = {Menlo Park, CA},
  editor = {Charles L. {Ortiz, Jr.}},
  pages = {44--51},
  rtnote = {In RHT Collection.  Shelf.},
  topic = {conditionals;}
 }

@article{ mccarthy_j1-costello:1999a,
  author = {John McCarthy and Tom Costello},
  title = {Useful Counterfactuals},
  journal = {Link\"oping Electronic Articles in Computer and
  	Information Science},
  year = {1999},
  volume = {4},
  number = {12},
  note = {Available at http://www.ep.liu.se/ea/cis/1999/012/.},
  rtnote = {In RHT collection.},
  topic = {conditionals;}
  }

@techreport{ mccarthy_j1-etal:1979b,
  author = {John McCarthy and M. Sato and T. Hayashi and S. Igarishi},
  title = {On the Model Theory of Knowledge},
  institution = {Computer Science Department, Stanford University},
  number = {STAN--CS--78--657},
  year = {1979},
  address = {Stanford, California},
  topic = {epistemic-logic;}
  }

@article{ mccarthy_j1-etal:2006a,
  author = {John McCarthy and Marvin L. Minsky and Nathaniel Rochester
  		and Claude E. Shannon},
  title = {A Proposal for the {D}artmouth Summer Research Project
  		on Artificial Intelligence},
  journal = {The {AI} Magazine},
  year = {2006},
  volume = {27},
  number = {4},
  pages = {12--14},
  topic = {history-of-AI;}
  }

@incollection{ mccarthy_j1-hayes_pj1:1969a1,
  author = {John McCarthy and Patrick J. Hayes},
  title = {Some Philosophical Problems from the Standpoint of
  	Artificial Intelligence},
  editor = {Bernard Meltzer and Donald Michie},
  booktitle = {Machine Intelligence 4},
  publisher = {Edinburgh University Press},
  address = {Edinburgh},
  pages = {463--502},
  year = {1969},
  xref = {Republications: mccarthy_j1-hayes_pj1:1969a2,
      mccarthy_j1-hayes_pj1:1969a3,mccarthy_j1-hayes_pj1:1969a4.},
  rtnote = {Reading notes on file.},
  topic = {kr;art-of-formalization;kr-course;}
}

@incollection{ mccarthy_j1-hayes_pj1:1969a2,
  author = {John McCarthy and Patrick Hayes},
  title = {Some Philosophical Problems
          from the Stanpoint of Artificial Intelligence},
  booktitle = {Readings in Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  year = {1981},
  editor = {Bonnie Webber and Nils J. Nilsson},
  pages = {431--450},
  address = {Los Altos, California},
  xref = {Republication of mccarthy_j1-hayes_pj1:1969a1.},
  topic = {kr;art-of-formalization;kr-course;}
  }

@incollection{ mccarthy_j1-hayes_pj1:1969a3,
  author = {John McCarthy and Patrick J. Hayes},
  title = {Some Philosophical Problems from the Standpoint of Artificial
	Intelligence},
  booktitle = {Readings in Nonmonotonic Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Matthew L. Ginsberg},
  pages = {26--45},
  address = {Los Altos, California},
  xref = {Republication of mccarthy_j1-hayes_pj1:1969a1.},
  topic = {kr;art-of-formalization;kr-course;}
 }

@incollection{ mccarthy_j1-hayes_pj1:1969a4,
  author = {John McCarthy and Patrick J. Hayes},
  title = {Some Philosophical Problems From the Standpoint of
		Artificial Intelligence},
  booktitle = {Formalizing Common Sense: Papers by {J}ohn {M}c{C}arthy},
  publisher = {Ablex Publishing Corporation},
  year = {1990},
  editor = {Vladimir Lifschitz},
  pages = {21--63},
  address = {Norwood, New Jersey},
  xref = {Republication of mccarthy_j1-hayes_pj1:1969a1.},
  topic = {kr;art-of-formalization;kr-course;}
  }

@article{ mccarthy_j1-lifschitz:1987a2,
  author = {John McCarthy and Vladimir Lifschitz},
  title = {Commentary on {M}c{D}ermott},
  journal = {Computational Intelligence},
  year = {1987},
  volume = {3},
  issue = {3},
  pages = {196--197},
  xref = {kr;foundations-of-kr;logic-in-AI;}
  }

@techreport{ mccarthy_j2-prince_a:1993a,
  author = {John McCarthy and Alan Prince},
  title = {Generalized Alignment},
  institution = {Center for Cognitive Science, Rutgers University},
  number = {TR--7},
  year = {1993},
  address = {Piscataway, New Jersey},
  rtnote = {In RHT collection.},
  topic = {phonology;}
  }

@unpublished{ mccarthy_t:1982a,
  author = {Timothy McCarthy},
  title = {Content, Character, and Natural Kinds},
  year = {1982},
  note = {Unpublished manuscript, Philosophy Department, University
  	of Michigan},
  rtnote = {In RHT collection.},
  topic = {context;indexicality;natural-kinds;}
  }

@unpublished{ mccarthy_t:1982b,
  author = {Timothy McCarthy},
  title = {Representation, Intentionality, and Quantifiers},
  year = {1982},
  note = {Unpublished manuscript, Philosophy Department, University of Michigan},
  rtnote = {In RHT collection.  Date is a guess.},
  topic = {philosophy-of-mathematics;philosophy-of-language;}
  }

@article{ mccarthy_t:1985a,
  author = {Timothy McCarthy},
  title = {Abstraction and Definability in Semantically Closed Structures},
  journal = {Journal of Philosophical Logic},
  year = {1985},
  volume = {14},
  number = {3},
  pages = {255--266},
  topic = {truth;semantic-paradoxes;model-theory;}
  }

@article{ mccarthy_t:1987a,
  author = {Timothy Mccarthy},
  title = {Modality, Invariance, and Logical Truth},
  journal = {Journal of Philosophical Logic},
  year = {1987},
  volume = {16},
  number = {4},
  pages = {423--443},
  topic = {analyticity;}
  }

@article{ mccarthy_t:1988a,
  author = {Timothy Mccarthy},
  title = {Ungroundedness in Classical Languages},
  journal = {Journal of Philosophical Logic},
  year = {1988},
  volume = {17},
  number = {1},
  pages = {61--74},
  topic = {(un)groundedness;semantic-closure;}
  }

@article{ mccarthy_tg:1994a,
  author = {Timothy G. Mccarthy},
  title = {Self-Reference and Incompleteness in a Non-Monotonic Setting},
  journal = {Journal of Philosophical Logic},
  year = {1994},
  volume = {23},
  number = {4},
  pages = {423--449},
  topic = {self-reference;(in)completeness;nonmonotonic-logic;}
  }

@article{ mccarty_dc:1983a,
  author = {David Charles McCarty},
  title = {Intuitionism: An Introduction to a Seminar},
  journal = {Journal of Philosophical Logic},
  year = {1983},
  volume = {12},
  number = {2},
  pages = {105--149},
  topic = {intuitionistic-mathematics;intuitionistic-logic;}
  }

@techreport{ mccarty_dc:1984a,
  author = {David Charles McCarty},
  title = {Realizability and Recursive Mathematics},
  institution = {Department of Computer Science, Carnegie Mellon
  	University},
  number = {CMU--CS--84--131},
  year = {1984},
  address = {Pittsburgh, Pennsylvania},
  rtnote = {In RHT collection.},
  topic = {constructive-mathematics;}
  }

@article{ mccarty_dc:1987a,
  author = {Charles McCarty},
  title = {Variations on a Thesis: Intuitionism and Computability},
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1987},
  volume = {28},
  number = {4},
  pages = {536--580},
  rtnote = {In RHT collection.},
  topic = {intuitionistic-logic;intuitionistic-mathematics;}
  }

@techreport{ mccarty_dc:1987b,
  author = {David Charles McCarty},
  title = {Constructive Validity is Nonarithmetic},
  institution = {Department of Computer Science, University of Edinburgh},
  number = {CSR-203-86},
  year = {1987},
  address = {Edinburgh},
  rtnote = {In RHT collection.},
  topic = {constructive-mathematics;}
  }

@unpublished{ mccarty_dc:1991a,
  author = {David Charles McCarty},
  title = {The Philosophy of Logical Wholism},
  year = {1991},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  rtnote = {Apparently to appear in Synthese.},
  topic = {Wittgenstein;}
  }

@article{ mccarty_dc:1996a,
  author = {David Charles McCarty},
  title = {Undecidability and Intuitionistic Incompleteness},
  journal = {Journal of Philosophical Logic},
  year = {1996},
  volume = {25},
  number = {5},
  pages = {559--565},
  topic = {intuitionistic-logic;completeness-theorems;}
  }

@article{ mccarty_dc:2008a,
  author = {David Charles McCarty},
  title = {Completeness and Incompleteness for Intuitionistic Logic},
  journal = {Journal of Symbolic Logic},
  year = {2008},
  volume = {73},
  number = {4},
  pages = {1315--1327},
  topic = {incompleteness;intuitionistic-logic;}
  }

@article{ mccarty_dc-tennant_n:1987a,
  author = {Charles McCarty and Neil Tennant},
  title = {Skolem's Paradox and Constructivism},
  journal = {Journal of Philosophical Logic},
  year = {1987},
  volume = {16},
  number = {2},
  pages = {165--202},
  contentnote = {Discusses in some detail why Skolem's theorem doesn't
  	arise on a constructive approach.  Basically, nonstandard
	models tend to be nonconstructive.},
  topic = {intuitionistic-logic;}
  }

@incollection{ mccarty_lt:1994a,
  author = {L. Thorne McCarty},
  title = {Modalities Over Actions {I}.  Model Theory.},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {437--449},
  address = {San Francisco, California},
  topic = {kr;deontic-logic;kr-course;}
  }

@article{ mccarty_lt:1994b,
  author = {L. Thorne McCarty},
  title = {Defeasible Deontic Reasoning},
  journal = {Fundamenta Informaticae},
  year = {1994},
  volume = {21},
  pages = {125--148},
  missinginfo = {number},
  topic = {deontic-logic;nonmonotonic-logic;nonmonotonic-reasoning;}
  }

@inproceedings{ mccarty_lt:1995a,
  author = {L . Thorne McCarty},
  title = {An Implementation of {E}isner v. {M}acomber},
  booktitle = {Formalizing Context},
  year = {1995},
  editor = {Sa\v{s}a Buva\v{c}},
  pages = {68--78},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {context;legal-AI;legal-reasoning;}
  }

@inproceedings{ mccarty_lt:1997a,
  author = {L. Thorne McCarty},
  title = {Some Arguments about Legal Arguments},
  booktitle = {Proceedings of the Sixth International Conference on
  		Artificial Intelligence and Law (ICAIL-97)},
  year = {1997},
  pages = {215--224},
  organization = {ACM},
  publisher = {ACM Press},
  missinginfo = {editor, address},
  rtnote = {In RHT collection.},
  topic = {legal-AI;legal-reasoning;argumentation;}
  }

@inproceedings{ mccarty_lt-sridharan:1981a,
  author = {L. Thorne McCarty and N. S. Sridharan},
  title = {The Representation of an Evolving System of Legal
  Concepts: II. Prototypes and Deformations},
  booktitle = {Proceedings of the Seventh International Joint
  	Conference on Artificial Intelligence},
  year = {1981},
  editor = {Patrick J. Hayes},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  missinginfo = {pages},
  topic = {legai-AI;}
  }

@incollection{ mccarty_lt-vandermeyden:1992a,
  author = {L. Thorne McCarty and Ron {van der Meyden}},
  title = {Reasoning about Indefinite Actions},
  booktitle = {{KR}'92. Principles of Knowledge Representation and
  	Reasoning: Proceedings of the Third International Conference},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Bernhard Nebel and Charles Rich and William Swartout},
  pages = {59--70},
  address = {San Mateo, California},
  topic = {kr;action;circumscription;kr-course;}
  }

@article{ mccarty_r:2002a,
  author = {Richard McCarty},
  title = {The Maxims Problem},
  journal = {The Journal of Philosophy},
  year = {2002},
  volume = {99},
  number = {1},
  pages = {29--44},
  topic = {ethics;Kant;intention;philosophy-of-action;}
  }

@article{ mccawley:1970a1,
  author = {James D. McCawley},
  title = {English as a {VSO} Language},
  journal = {Language},
  year = {1970},
  volume = {46},
  pages = {286--299},
  xref = {Republication: mccawley:1970a2.},
  topic = {generative-semantics;}
  }

@incollection{ mccawley:1970a2,
  author = {James D. McCawley},
  title = {English as a {VSO} Language},
  booktitle = {The Logic of Grammar},
  publisher = {Dickenson Publishing Co.},
  year = {1975},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {116--128},
  address = {Encino, California},
  xref = {Original Publication: mccawley:1970a1.},
  topic = {generative-semantics;}
  }

@article{ mccawley:1971a,
  author = {James McCawley},
  title = {Notes on the {E}nglish Present Perfect},
  journal = {Australian Journal of Linguistics},
  year = {1971},
  volume = {1},
  pages = {81--90},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {tense-aspect;}
  }

@incollection{ mccawley:1971b,
  author = {James D. McCawley},
  title = {Where Do Noun Phrases Come From?},
  booktitle = {Semantics: An Interdisciplinary Reader in Philosophy,
  	Linguistics, and Psychology},
  publisher = {Cambridge University Press},
  year = {1971},
  editor = {Danny D. Steinberg and Leon A. Jacobovits},
  pages = {217--231},
  address = {Cambridge, England},
  topic = {generative-semantics;noun-phrases;nl-semantics;}
  }

@incollection{ mccawley:1972a,
  author = {James D. McCawley},
  title = {A Program for Logic},
  booktitle = {Semantics of Natural Language},
  publisher = {D. Reidel Publishing Co.},
  year = {1972},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {498--544},
  address = {Dordrecht},
  topic = {nl-semantics;generative-semantics;}
  }

@article{ mccawley:1973a,
  author = {James McCawley},
  title = {Fodor on Where the Action Is},
  journal = {The Monist},
  year = {1973},
  volume = {57},
  pages = {396--407},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {action;Donald-Davidson;}
  }

@article{ mccawley:1974a,
  author = {James McCawley},
  title = {If and only if},
  journal = {Linguistic Inquiry},
  year = {1974},
  volume = {5},
  pages = {632--635},
  missinginfo = {number},
  topic = {`only';`only-if';sentence-focus;pragmatics;}
  }

@incollection{ mccawley:1975a,
  author = {James D. McCawley},
  title = {Conversational Implicature and the Lexicon},
  booktitle = {Syntax and Semantics 9: Pragmatics},
  publisher = {Academic Press},
  year = {1975},
  editor = {Peter Cole},
  pages = {245--258},
  address = {New York},
  topic = {implicature;}
  }

@article{ mccawley:1981a,
  author = {James D. McCawley},
  title = {The Syntax and Semantics of {E}nglish Relative Clauses},
  journal = {Lingua},
  year = {1981},
  volume = {53},
  pages = {99--149},
  rtnote = {In RHT collection.},
  topic = {relative-clauses;nl-syntax;nl-semantics;
		English-language;}
  }

@book{ mccawley:1981b,
  author = {James D. McCawley},
  title = {Everything That Linguists Have Always Wanted to Know
        about Logic$^*$ ($^*$But Were Ashamed to Ask)},
  publisher = {University of Chicago Press},
  year = {1981},
  address = {Chicago},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {logic-intro;logic-and-linguistics;}
  }

@article{ mccawley:1981c,
  author = {James D. McCawley},
  title = {Notes on the {E}nglish Present Perfect},
  journal = {Australian Journal of Linguistics},
  year = {1981},
  volume = {1},
  pages = {81--90},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {tense-aspect;perfective-aspect;}
  }

@article{ mccawley:1982a,
  author = {James D. McCawley},
  title = {Parentheticals and Discontinuous Constituents},
  journal = {Linguistic Inquiry},
  year = {1982},
  volume = {13},
  pages = {91--106},
  missinginfo = {number},
  topic = {parentheticals;discontinuous-constituents;}
  }

@unpublished{ mccawley:1983a,
  author = {James D. McCawley},
  title = {Speech Acts and {G}offman's Participant Roles},
  year = {1983},
  note = {Unpublished manuscript, Linguistics Department,
  	University of Chicago.},
  rtnote = {In RHT collection.  May be published in 2nd ESCOL.},
  missinginfo = {Year is a guess.},
  topic = {speech-acts;participant-roles;}
  }

@inproceedings{ mccawley:1985a,
  author = {James D. McCawley},
  title = {Speech Acts and {G}offman's Participant Roles},
  booktitle = {Eastern {S}tates Conference on Linguistics},
  year = {1985},
  pages = {260--274},
  missinginfo = {editor, publisher, address},
  topic = {speech-acts;sociolinguistics;discourse;}
  }

@unpublished{ mccawley:1989a,
  author = {James Mccawley},
  title = {\,`Would' and `Might' in Counterfactual Conditionals},
  year = {1989},
  note = {Unpublished manuscript, Linguistics Department,
  	University of Chicago.},
  rtnote = {In RHT collection.},
  topic = {conditionals;modals;}
  }

@book{ mccawley:1998a,
  author = {James D. McCawley},
  title = {The Syntactic Phenomena of {E}nglish},
  publisher = {The University of Chicago Press},
  year = {1998},
  address = {Chicago},
  ISBN = {0-226-55629-8 (pbk)},
  xref = {Review: kruijffkorbayova:2000a.},
  topic = {nl-syntax;English-language;}
 }

@article{ mccawley:1999a,
  author = {James D. McCawley},
  title = {Participant Roles, Frames, and Speech Acts},
  journal = {Linguistics and Philosophy},
  year = {1999},
  volume = {22},
  number = {6},
  pages = {595--619},
  topic = {speech-acts;sociolinguistics;discourse;}
  }

@article{ mccay:1991a,
  author = {Thomas J. McCay},
  title = {Representing {\it De Re} Beliefs},
  journal = {Linguistics and Philosophy},
  year = {1991},
  volume = {14},
  number = {6},
  pages = {711--739},
  topic = {individual-attitudes;}
  }

@incollection{ mcclennen:1985a,
  author = {Edward F. McClennen},
  title = {Prisoner's Dilemma and Resolute Choice},
  booktitle = {Paradoxes of Rationality and Cooperation},
  publisher = {The University of British Columbia Press},
  year = {1985},
  pages = {94--104},
  address = {Vancouver},
  topic = {rationality;prisoner's-dilemma;}
  }

@incollection{ mcclennen:1988a,
  author = {Edward F. McClennen},
  title = {Sure-Thing Doubts},
  booktitle = {Decision, Probability, Utility:  Selected Readings},
  publisher = {Cambridge University Press},
  year = {1988},
  editor = {Peter G\"ardenfors and Nils-Eric Sahlin},
  pages = {166--182},
  address = {Cambridge, England},
  rtnote = {In RHT collection.},
  topic = {decision-theory;dominance;}
  }

@book{ mcclennen:1990a,
  author = {Edward F. McClennen},
  title = {Rationality and Dynamic Choice},
  publisher = {Cambridge University Press},
  year = {1990},
  address = {Cambridge, England},
  topic = {decision-theory;}
 }

@book{ mcclintock:1995a,
  author = {Alexander McClintock},
  title = {The Convergence of Machine and Human Nature: A Critique
  	of the Computer Metaphor of Mind and Artificial Intelligence},
  publisher = {Avebury},
  year = {1995},
  address = {Aldershot},
  ISBN = {1856289974},
  rtnote = {UMich Graduate Library, Q 335 .M42 1995.},
  topic = {foundations-of-AI;foundations-of-cognitive-science;}
 }

@incollection{ mccloskey:2002a,
  author = {James McCloskey},
  title = {Resumption, Successive Cyclicity, and the Locality of
  		Operations},
  booktitle = {Derivation and Explanation in the Minimalist Program},
  publisher = {Blackwell Publishing},
  year = {2002},
  editor = {Samuel David Epstein and T. Daniel Seeley},
  pages = {184--226},
  address = {Oxford},
  topic = {minimalist-syntax;}
  }

@article{ mcclusky-porteous:1997a,
  author = {T.L. McClusky and J.M. Porteous},
  title = {Engineering and Compiling Planning Domain Models to Promote
  	Validity and Efficiency},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {95},
  number = {1},
  pages = {1--65},
  topic = {planning;domain-modeling;}
  }

@article{ mccolm:2004a,
  author = {Gregory McColm},
  title = {Guarded Quantification in Least Fixed Point Logic},
  journal = {Journal of Logic, Language, and Information},
  year = {2004},
  volume = {13},
  number = {1},
  pages = {61--110},
  topic = {least-fixed-point-logic;}
  }

@incollection{ mcconachy-etal:1998a,
  author = {Richard McConachy and Kevin B. Korb and Ingrid Zuckerman},
  title = {A {B}ayesian Approach to Automating Argumentation},
  booktitle = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Natural Language
	Learning: {NeMLaP3/CoNLL98}},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {David M.W. Powers},
  pages = {91--100},
  address = {Somerset, New Jersey},
  topic = {statistical-nlp;nl-generation;probabilistic-reasoning;
  	argumentation;Bayesian-reasoning;}
  }

@inproceedings{ mcconachy-etal:1999a,
  author = {Richard McConachy and Ingrid Zukerman},
  title = {Dialogue Requirements for Argumentation Systems},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
  	Knowledge and Reasoning in Practical Dialogue Systems},
  year = {1999},
  editor = {Jan Alexandersson},
  pages = {89--96},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {computational-dialogue;argumentation;argumentation-theory;}
  }

@inproceedings{ mcconnelginet:1994a,
  author = {Sally Mcconnell-Ginet},
  title = {On the Non-Optimality of Certain Modifiers},
  booktitle = {Proceedings from Semantics and Linguistic Theory {IV}},
  year = {1994},
  editor = {Mandy Harvey and Lynn Santelmann},
  pages = {230--250},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {nl-semantics;middle-constructions;}
  }

@article{ mcconnellginet:1986a,
  author = {Sally Mcconnel-Ginet},
  title = {Review of \emph{Situations and Attitudes}, by {J}on {B}arwise
		and {J}ohn {P}erry},
  journal = {Language},
  year = {1986},
  volume = {62},
  number = {2},
  pages = {433--437},
  rtnote = {In RHT collection.},
  topic = {situation-semantics;}
  }

@phdthesis{ mccord_el:1980a,
  author = {Edward L. McCord},
  title = {The Groundwork of cultural Anthropology},
  school = {Philosophy Department, University of Pittsburgh},
  year = {1980},
  type = {Ph.D. Dissertation},
  address = {Pittsburgh},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {cultural-anthropology;linguistic-relativity;
  	philosophy-of-anthropology;philosophy-of-social-science;}
 }

@book{ mccord_el:2007a,
  author = {Edward L. McCord},
  title = {The Demise of Species:  Why Should We Care?},
  publisher = {University of Pittsburgh Honors College},
  year = {2007},
  address = {Pittsburgh},
  rtnote = {In RHT collection.  LLP shelves.},
  topic = {environmental-ethics;}
 }

@article{ mccord_mc:1982a,
  author = {Michael C. McCord},
  title = {Using Slots and Modifiers in Logic Grammars for Natural
  	Language},
  journal = {Artificial Intelligence},
  year = {1982},
  volume = {18},
  number = {3},
  pages = {327--367},
  acontentnote = {Abstract:
     In this paper, ideas are presented for the expression of natural
     language grammars in clausal logic, following the work of
     Colmerauer, Kowalski, Dahl, Warren, and F. Pereira.  A uniform
     format for syntactic structures is proposed, in which every
     syntactic item consists of a central predication, a cluster of
     modifiers, a list of features, and a determiner.  The modifiers
     of a syntactic item are again syntactic items (of the same
     format), and a modifier's determiner shows its function in the
     semantic structure.  Rules for semantic interpretation are given
     which include the determination of scoping of modifiers (with
     quantifier scoping as a special case).  In the rules for syntax,
     the notions of slots and slot-filling play an important role,
     based on previous work by the author.  The ideas have been tested
     in an English data base query system, implemented in Prolog.
  },
  topic = {grammar-formalisms;nl-semantics;logic-programming;
  	nl-processing;}
  }

@incollection{ mccord_mc:1987a,
  author = {Michael C. McCord},
  title = {Slot Grammar: A System for Simpler
     		Construction of Practical Natural Language
		Grammars},
  booktitle = {Natural Language and Logic},
  year = {1987},
  editor = {Rudi Studer},
  pages = {118--145},
  publisher = {Springer-Verlag},
  address = {Berlin},
  topic = {grammar-formalisms;comparative-constructions;}
  }

@article{ mccord_mc-bernth:2005a,
  author = {Michael C. McCord and Arendse Bernth},
  title = {A Metalogical Theory of Natural Language Semantics},
  journal = {Linguistics and Philosophy},
  year = {2005},
  volume = {28},
  number = {1},
  pages = {73--116},
  topic = {nl-semantics;set-theory;intensionality;}
  }

@book{ mccorduck:1979a2,
  author = {Pamela McCorduck},
  title = {Machines Who Think: A Personal Inquiry into the History and
    Prospects of Artificial Intelligence},
  edition = {2},
  publisher = {A.K. Peters, Ltd.},
  year = {2004},
  address = {Natick, Massachusetts},
  ISBN = {1568812051},
  rtnote = {UMich Media Union Library: Q 335 .M231 2004
  	    Undergraduate Library: Q 335 .M231 2004},
  rtnote = {In RHT collection.  Misc Shelf.},
  topic = {popular-AI;cs-journalism;AI-philosophy;history-AI;}
 }

@book{ mccorduck:1979a,
  author = {Pamela McCorduck},
  title = {Machines Who Think: A Personal Inquiry into the History and
    Prospects of Artificial Intelligence},
  edition = {1},
  publisher = {W. H. Freeman},
  year = {1979},
  address = {San Francisco},
  ISBN = {0716710722},
  xref = {Retrospective review: mirowski:2003a.},
  xref = {Second edition: mccorduck:1979a2.},
  rtnote = {UMich Graduate Library, Q335 .M231.},
  topic = {popular-AI;cs-journalism;AI-philosophy;history-AI;}
 }

@book{ mccorduck:1991a,
  author = {Pamela McCorduck},
  title = {Aaron's Code},
  publisher = {W.H. Freeman and Co.},
  year = {1991},
  address = {New York},
  ISBN = {0-7167-2173-2},
  rtnote = {In RHT collection.  Misc Shelf.},
  topic = {cs-journalism;computer-art;creativity;popular-AI;}
 }

@article{ mccoy_kf:1989a,
  author = {Kathleen F. McCoy},
  title = {Generating Context Sensitive Responses to Object-Related
  	Misconceptions},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {41},
  number = {2},
  pages = {157--195},
  topic = {nl-generation;discourse-planning;context;pragmatics;
  	misconception-detection;}
}

@incollection{ mccoy_kf:1989b,
  author = {Kathleen F. McCoy},
  title = {Highlighting a User Model to Respond to
  	Misconceptions},
  booktitle = {User Models in Dialog Systems},
  publisher = {Springer-Verlag},
  year = {1989},
  editor = {Alfred Kobsa and Wolfgang Wahlster},
  pages = {233--254},
  address = {Berlin},
  topic = {user-modeling;nl-generation;misconception-detection;}
 }

@incollection{ mccoy_kf-chang_j:1991a,
  author = {Kathleen F. McCoy and Jeanette Chang},
  title = {Focus of Attention: Constraining What Can Be Said Next},
  booktitle = {Natural Language Generation in Artificial Intelligence and
  	Computational Linguistics},
  publisher = {Kluwer Academic Publishers},
  address = {Dordrecht},
  year = {1991},
  editor = {C\'{e}cile L. Paris and William R. Swartout
  	and William C. Mann},
  pages = {103--124},
  topic = {focus;nl-generation;}
  }

@inproceedings{ mccoy_kf-etal:1992a,
  author = {Kathleen F. McCoy and K. Vijay-Shanker and Gijoo Yang},
  title = {A Functional Approach to Generation With {TAG}},
  booktitle = {Proceedings of the Thirtieth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1992},
  editor = {Henry S. Thompson},
  pages = {48--55},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  topic = {nl-generation;TAG-grammars;}
 }

@incollection{ mccoy_kf-strube:1999a,
  author = {Kathleen F. McCoy and Michael Strube},
  title = {Generating Anaphoric Expressions: Pronoun or Definite
  	Description?},
  booktitle = {The Relation of Discourse/Dialogue Structure and
  	Reference},
  publisher = {Association for Computational Linguistics},
  year = {1999},
  editor = {Dan Cristea and Nancy Ide and Daniel Marcu},
  pages = {63--71},
  address = {New Brunswick, New Jersey},
  topic = {anaphora;nl-generation;}
  }

@article{ mccoy_s:2003a,
  author = {Svetlana McCoy},
  title = {Connecting Information Structure and Discourse Structure
  	through `Kontrast': The Case of Colloquial {R}ussian Particles
	\emph{-to}, \emph{\u{z}e}, and \emph{ved}},
  journal = {Journal of Logic, Language, and Information},
  year = {2003},
  volume = {12},
  number = {3},
  pages = {319--335},
  topic = {information-structure;Russian-language;}
  }

@article{ mccready-ogata:2007a,
  author = {Eric McCready and Norry Ogata},
  title = {Adjectives, Stereotypicality, and Comparison},
  journal = {Natural Language Semantics},
  year = {2007},
  volume = {15},
  number = {1},
  pages = {35--63},
  topic = {adjectives;comparative-constructions;Japanese-language;}
  }

@article{ mccready-ogata:2007b,
  author = {Eric McCready and Norry Ogata},
  title = {Evidentiality, Modality, and Probability},
  journal = {Linguistics and Philosophy},
  year = {2007},
  volume = {30},
  number = {2},
  pages = {147--206},
  topic = {evidential-constructions;epistemic-modals;Japanese-language;}
  }

@article{ mcdermott_d:1976a1,
  author = {Drew McDermott},
  title = {Artificial Intelligence Meets Natural Stupidity},
  journal = {Newsletter of the Special Interest Group on Artificial
  	Intelligence of the {A}ssociation for {C}omputing {M}achinery
	({SIGART} Newsletter)},
  year = {1976},
  volume = {57},
  missinginfo = {pages},
  xref = {Republished: mcdermott:1976a2.},
  topic = {AI-editorial;AI-methodology;}
  }

@incollection{ mcdermott_d:1976a2,
  author = {Drew McDermott},
  title = {Artificial Intelligence Meets Natural Stupidity},
  booktitle = {Mind Design: Philosophy, Psychology, Artificial
  	Intelligence},
  publisher = {The {MIT} Press},
  year = {1981},
  editor = {John Haugeland},
  pages = {143--160},
  address = {Cambridge, Massachusetts},
  xref = {Originally Published: mcdermott:1976a1.},
  topic = {AI-editorial;AI-methodology;}
  }

@article{ mcdermott_d:1978a1,
  author = {Drew Mcdermott},
  title = {Planning and Acting},
  journal = {Cognitive Science},
  volume = {2},
  number = {2},
  pages = {78--109},
  year = {1978},
  xref = {Republished in Readings in Planning; see mcdermott_d:1978b3.},
  topic = {foundations-of-planning;action;}
 }

@article{ mcdermott_d:1978b,
  author = {Drew McDermott},
  title = {Tarskian Semantics, or No Notation Without Denotation!},
  journal = {Cognitive Science},
  volume = {2},
  year = {1978},
  pages = {277--282},
  topic = {logic-AI;}
    }

@article{ mcdermott_d:1982a,
 author = {Drew McDermott},
 title = {Nonmonotonic Logic {II}: Nonmonotonic Modal Theories},
 journal = {Journal of the Association for Computing Machinery},
 year = {1982},
 volume = {29},
 number = {1},
 pages = {33--57},
 rtnote = {In RHT collection.},
 topic = {nonmonotonic-logic;}
 }

@article{ mcdermott_d:1982b1,
  author = {Drew Mcdermott},
  title = {A Temporal Logic for Reasoning about Processes and Plans},
  year = {1982},
  journal = {Cognitive Science},
  volume = {6},
  pages = {101--155},
  xref = {Republished in Readings in Planning; see mcdermott_d:1982b2.},
  missinginfo = {number},
  url = {http://csjarchive.cogsci.rpi.edu/1982v06/i02/p0101p0155/MAIN.PDF},
  topic = {kr;temporal-reasoning;kr-course;}
 }

@incollection{ mcdermott_d:1982b2,
  author = {Drew McDermott},
  title = {A Temporal Logic for Reasoning about Processes and Plans},
  booktitle = {Readings in Planning},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {James F. Allen and James Hendler and Austin Tate},
  pages = {436--463},
  address = {San Mateo, California},
  xref = {Originally in Cognitive Science 6; 1982; 101--105. See
  	mcdermott_d:1982b1.},
  topic = {kr;temporal-reasoning;kr-course;}
  }

@incollection{ mcdermott_d:1982b3,
  author = {Drew McDermott},
  title = {Planning and Acting},
  booktitle = {Readings in Planning},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {James F. Allen and James Hendler and Austin Tate},
  pages = {225--244},
  address = {San Mateo, California},
  xref = {Originally in Cognitive Science 2; 1978; 71--109. See
  	mcdermott_d:1978b1.},
  topic = {foundations-of-planning;action;}
  }

@incollection{ mcdermott_d:1985a,
  author = {Drew McDermott},
  title = {Reasoning about Plans},
  booktitle = {Formal Theories of the Commonsense World},
  publisher = {Ablex Publishing Co.},
  year = {1985},
  editor = {Jerry R. Hobbs and Robert C. Moore},
  pages = {269--317},
  address = {New York},
  topic = {temporal-reasoning;}
  }

@article{ mcdermott_d:1987a,
  author = {Drew McDermott},
  title = {A Critique of Pure Reason},
  journal = {Computational Intelligence},
  year = {1987},
  volume = {3},
  issue = {3},
  pages = {151--160},
  topic = {kr;foundations-of-kr;kr-course;logic-in-AI;}
  }

@article{ mcdermott_d:1987b,
  author = {Drew McDermott},
  title = {Reply},
  journal = {Computational Intelligence},
  year = {1987},
  volume = {3},
  issue = {3},
  pages = {223--227},
  note = {To comments on ``Critique of Pure Reason,'' by
  	Drew McDermott.},
  topic = {kr;foundations-of-kr;kr-course;logic-in-AI;}
  }

@inproceedings{ mcdermott_d:1987c,
  author = {Drew McDermott},
  title = {{AI}, Logic, and the Frame Problem},
  booktitle = {The Frame Problem in Artificial Intelligence: Proceedings
  	of the 1987 Workshop},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Frank M. Brown},
  pages = {105--118},
  address = {Los Altos, California},
  topic = {kr;frame-problem;}
  }

@incollection{ mcdermott_d:1987d,
  author = {Drew McDermott},
  title = {We've Been Framed: Or, Why {AI} Is
         Innocent of the Frame Problem},
  booktitle = {The Robot's Dilemma: The Frame Problem in Artificial
  	Intelligence},
  editor = {Zenon Pylyshyn},
  publisher = {Ablex Publishing Co.},
  address = {Norwood, New Jersey},
  year = {1987},
  pages = {113--122},
  topic = {frame-problem;philosophy-AI;}
    }

@article{ mcdermott_d:1991a,
  author = {Drew McDermott},
  title = {A General Framework For Reason Maintenance},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {50},
  number = {3},
  pages = {289--329},
  topic = {truth-maintenance;}
  }

@article{ mcdermott_d:1993a,
  author = {Drew McDermott},
  title = {Review of \emph{{B}uilding Large Knowledge-Based Systems:
  	Representation and Inference in the {CYC} Project}, by
	{D}.{B}. {L}enat and {R}.{V}. {G}uha},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {61},
  number = {1},
  pages = {53--63},
  xref = {Review of lenat-guha:1989a.},
  topic = {kr;large-kr-systems;kr-course;}
  }

@incollection{ mcdermott_d:1997a,
  author = {Drew McDermott},
  title = {Probabilistic Projection in Planning},
  booktitle = {Spatial and Temporal Reasoning},
  publisher = {Kluwer Academic Publishers},
  year = {1997},
  editor = {Oliviero Stock},
  pages = {247--287},
  address = {Dordrecht},
  topic = {planning;reasoning-about-uncertainty;}
  }

@article{ mcdermott_d:1999a,
  author = {Drew McDermott},
  title = {Using Regression-Match Graphs to Control Search
		in Planning},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {109},
  number = {1--2},
  pages = {111--159},
  topic = {planning-algorithms;search;graph-based-reasoning;}
  }

@book{ mcdermott_d:2001a,
  author = {Drew McDermott},
  title = {Mind and Mechanism},
  publisher = {The {MIT} Press},
  year = {2001},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-13392-X},
  xref = {Reviews: akman:2003a, carruthers:2003a.},
  topic = {philosophy-AI;mind-body-problem;consciousness;}
 }

@article{ mcdermott_d:2003a,
  author = {Drew McDermott},
  title = {Reply to {C}arruthers and {A}kman},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {151},
  number = {1--2},
  pages = {241--245},
  xref = {Response to akman:2003a, carruthers:2003a, which were reviews
  		of mcdermott_d:2001a.},
  topic = {philosophy-AI;mind-body-problem;consciousness;}
  }

@article{ mcdermott_d:2006a,
  author = {Drew McDermott},
  title = {Kurzweil's Argument for the Success of {AI}: Review of
  		\emph{{T}he Singularity is Near:  When Humans Transcend
		Biology}, by {R}ay {K}urzweil},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {18},
  pages = {1227--1233},
  xref = {Review of: kurzweil:2005a},
  topic = {AI-editorial;}
  }

@article{ mcdermott_d:2007a,
  author = {Drew McDermott},
  title = {Level-Headed},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {18},
  pages = {1183--1186},
  xref = {Commentary on: mccarthy_j1:2007a},
  topic = {AI-editorial;}
  }

@article{ mcdermott_d-davis_e:1984a,
  author = {Drew McDermott and Ernest Davis},
  title = {Planning Routes through Uncertain Territory},
  journal = {Artificial Intelligence},
  year = {1984},
  volume = {22},
  number = {2},
  pages = {107--156},
  topic = {route-planning;}
  }

@article{ mcdermott_d-doyle_j:1980a1,
  author = {Drew McDermott and Jon Doyle},
  title = {Non-Monotonic Logic {I}},
  journal = {Artificial Intelligence},
  year = {1980},
  volume = {13},
  number = {1--2},
  pages = {41--72},
  rtnote = {In RHT collection.},
  xref = {Republication: mcdermott_d-doyle_j:1980a2.},
  topic = {nonmonotonic-logic;}
  }

@incollection{ mcdermott_d-doyle_j:1980a2,
  author = {Drew McDermott and Jon Doyle},
  title = {Non-Monotonic Logic {I}},
  booktitle = {Readings in Nonmonotonic Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Matthew L. Ginsberg},
  pages = {111--126},
  address = {Los Altos, California},
  xref = {Republication of: mcdermott_d-doyle_j:1980a1.},
  topic = {nonmonotonic-logic;}
  }

@article{ mcdermott_d-hendler:1995a,
  author = {Drew McDermott and James Hendler},
  title = {Planning: What It Is, What It Could Be, An Introduction to
  	the Special Issue on Planning and Scheduling},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {76},
  number = {1--2},
  pages = {1--16},
  topic = {planning;scheduling;}
  }

@article{ mcdermott_j1:1980a,
  author = {John McDermott},
  title = {Review of \emph{{P}rinciples of Artificial
  	lntelligence}, by {N}ils J. {N}ilsson},
  journal = {Artificial Intelligence},
  year = {1980},
  volume = {15},
  number = {1--2},
  pages = {127--131},
  xref = {Review of nilsson_nj:1980a.},
  topic = {ai-intro;AI-text;}
  }

@article{ mcdermott_j1:1982a,
  author = {John McDermott},
  title = {{R1}: A Rule-Based Configurer of Computer Systems},
  journal = {Artificial Intelligence},
  year = {1982},
  volume = {19},
  number = {1},
  pages = {39--88},
  topic = {expert-systems;automated-configuration;}
  }

@article{ mcdermott_j1:1993a,
  author = {John McDermott},
  title = {R1 (`XCON') at Age 12: Lessons from an Elementary
  	School Achiever},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {241--247},
  topic = {expert-systems;rule-based-reasoning;}
  }

@book{ mcdermott_j2:1990a,
  author = {John McDermott},
  title = {Punctuation for Now},
  publisher = {The MacMillan Press},
  address = {Hong Kong},
  year = {1990},
  topic = {punctuation;}
 }

@article{ mcdermott_m:1996a,
  author = {Michael McDermott},
  title = {On the Truth Conditions of Certain `If'-Sentences},
  journal = {The Philosophical Review},
  year = {1996},
  volume = {105},
  number = {1},
  pages = {1--37},
  rtnote = {Look at this.},
  topic = {conditionals;indicative-conditionals;}
  }

@article{ mcdermott_m:2002a,
  author = {Michael McDermott},
  title = {Causation: Influence Versus Sufficiency},
  journal = {The Journal of Philosophy},
  year = {2002},
  volume = {99},
  number = {2},
  pages = {84--101},
  topic = {causality;conditionals;}
  }

@article{ mcdermott_m:2009a,
  author = {Michael McDermott},
  title = {Truth and Assertability},
  journal = {Journal of Philosophical Logic},
  year = {2009},
  volume = {38},
  number = {4},
  pages = {465--470},
  topic = {truth;deflationary-analyses;assertion;}
  }

@article{ mcdonald_be:2000a,
  author = {Brian Edison McDonald},
  title = {On Meaningfulness and Truth},
  journal = {Journal of Philosophical Logic},
  year = {2000},
  volume = {29},
  number = {5},
  pages = {433--482},
  topic = {truth-definitions;semantic-paradoxes;meaningfulness;}
  }

@phdthesis{ mcdonald_dd:1980a,
  author = {David D. McDonald},
  title = {Natural Language Production as a Process of Decision
  	Making under Constraints},
  school = {Massachusetts Institute of Technology},
  year = {1980},
  type = {Ph.D. Dissertation},
  address = {Cambridge, Massachusetts},
  topic = {nl-generation;}
 }

@incollection{ mcdonald_dd:1983a,
  author = {David D. McDonald},
  title = {Natural Language Generation as a Computational Problem: An
  	Introduction},
  booktitle = {Computational Models of Discourse},
  year = {1983},
  editor = {Michael Brady  and Robert Berwick},
  publisher = {MIT Press},
  pages = {209--265},
  topic = {nl-generation;pragmatics;}
}

@article{ mcdonald_dd:1983b,
  author = {David D. McDonald},
  title = {Description Directed Control: Its Implications
  	for Natural Language Generation},
  journal = {Computers and Mathematics},
  year = {1983},
  volume = {9},
  number = {1},
  pages = {111--130},
  xref = {Also in {\em Readings in Natural Language Processing},
  	Grosz, Sparck Jones and Webber eds., Morgan-Kaufmann, 1986},
  topic = {nl-generation;}
}

@incollection{ mcdonald_dd:1991a,
  author = {David D. McDonald},
  title = {On the Place of Words in the Generation
    		Process},
  booktitle = {Natural Language Generation in Artificial Intelligence and
  	Computational Linguistics},
  publisher = {Kluwer Academic Publishers},
  address = {Dordrecht},
  year = {1991},
  editor = {C\'{e}cile L. Paris and William R. Swartout
  	and William C. Mann},
  pages = {229--247},
  rtnote = {In RHT collection.},
  topic = {nl-generation;lexical-choice;}
  }

@incollection{ mcdonald_dd:1992a,
  author = {David McDonald},
  title = {Type-Driven Suppression of Redundancy in the
  	Generation of Inference-Rich Reports},
  booktitle = {Aspects of Automated Natural Language Generation: 6th
    International Workshop on Natural Language Generation, {T}rento,
    {I}taly, April 5--7, 1992},
  editor = {Robert Dale and Eduard Hovy and Dietmar {R\"osner} and
  	   Oliviero Stock},
  series = {Lecture Notes in Artificial Intelligence 587},
  publisher = {Springer-Verlag},
  pages = {73--88},
  address = {Berlin},
  year = {1992},
  rtnote = {In RHT collection.},
  topic = {nl-generation;redundancy-elimination;}
  }

@incollection{ mcdonald_dd:1998a,
  author = {David D. McDonald},
  title = {Controlled Realization of Complex
		Objects by Reversing the Output of a Parser},
  booktitle = {Proceedings of the Ninth International Workshop
  	on Natural Language Generation},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Eduard Hovy},
  pages = {38--47},
  address = {New Brunswick, New Jersey},
  topic = {nl-generation;nl-generation-and-interpretation;}
  }

@incollection{ mcdonald_dd:2003a,
  author = {David D. McDonald},
  title = {Producing Dialog at {MERL}: Problems
    		in Generation Engineering},
  booktitle = {Working Papers of the 2003 {AAAI} Spring Symposium on
  	Natural Language Generation in Spoken and Written
	Dialogue},
  publisher = {AAAI Press},
  year = {2003},
  editor = {Reva Freedman and Charles Callaway},
  pages = {104--111},
  address = {Menlo Park, California},
  topic = {nl-generation;computational-dialogue;}
  }

@book{ mcdonald_dd-bolc:1988a,
  editor = {David D. McDonald and Leonard Bolc},
  title = {Natural Language Generation Systems},
  publisher = {Springer-Verlag},
  year = {1988},
  address = {Berlin},
  ISBN = {0387966919},
  rtnote = {UMich GRADUATE LIBRARY, P 98 .N2951 1988.},
  topic = {nl-generation;}
 }

@inproceedings{ mcdonald_dd-pustejovsky:1985a,
  author = {David D. McDonald and James D. Pustejovsky},
  title = {Description-Directed Natural Language Generation},
  booktitle = {Proceedings of the Ninth International Joint
  	Conference on Artificial Intelligence},
  year = {1985},
  editor = {Arivind Joshi},
  pages = {799--805},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  topic = {nl-generation;}
 }

@inproceedings{ mcdonald_r-etal:2005a,
  author = {Ryan McDonald and Koby Crammer and Fernando Pereira},
  title = {Online Large-Margin Training of Dependency Parsers},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {91--98},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1012},
  topic = {dependency-grammar;machine-learning;}
  }

@inproceedings{ mcdonald_r-etal:2005b,
  author = {Ryan McDonald and Fernando Pereira and Seth Kulick and
  		Scott Winters and Yang Jin and Pete White},
  title = {Simple Algorithms for Complex Relation Extraction with
  		Applications to Biomedical {IE}},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {491--498},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1061},
  topic = {entity-relation-extraction;information-extraction;
  		medical-informatics;}
  }

@book{ mcdonough-plunkett:1986a,
  editor = {J. McDonough and B. Plunkett},
  title = {{NELS 17}: Proceedings of the Seventeenth Conference of the
  	{N}orth {E}ast {L}inguistic {S}ociety},
  publisher = {GLSA Publications},
  year = {1986},
  address = {Amherst, Massachusetts},
  note = {URL FOR GLSA Publications:
  	http://www.umass.edu/linguist/glsa-pubs.html.},
  topic = {linguistics-proceedings;nl-syntax;nl-semantics;}
 }

@incollection{ mcdougal:1995a,
  author = {Timothy McDougal},
  title = {A Model of Interaction with Geometry Diagrams},
  booktitle = {Diagrammatic Reasoning},
  publisher = {The {MIT} Press},
  year = {1995},
  editor =  {Janice Glasgow and N. Hari Narayanan and B.
		Chandrasekaran},
  pages = {691--709},
  address = {Cambridge, Massachusetts},
  topic = {diagrams;geometrical-reasoning;visual-reasoning;}
  }

@incollection{ mcdowell_jh:1976a,
  author = {John McDowell},
  title = {Truth Conditions, Bivalence, and Verificationisn},
  booktitle = {Truth and Meaning: Essays in Semantics},
  publisher = {Oxford University Press},
  year = {1976},
  editor = {Gareth Evans and John McDowell},
  pages = {42--66},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;truth-definitions;truth-value-gaps;
  	verificationalism;}
  }

@article{ mcdowell_jh:1977a,
  author = {John McDowell},
  title = {On the Sense and Reference of a Proper Name},
  journal = {Mind, New Series},
  year = {1977},
  volume = {86},
  pages = {159--185},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {proper-names;sense-reference;}
  }

@incollection{ mcdowell_jh:1980a,
  author = {John McDowell},
  title = {Meaning, Communication, and Knowledge},
  booktitle = {Philosophical Subjects: Essays Presented to {P}.{F}. Strawson},
  year = {1980},
  editor = {Zak {van Stratten}},
  publisher = {Oxford University Press},
  pages = {117--139},
  rtnote = {In RHT collection.},
  topic = {foundations-of-semantics;philosophy-of-language;
  	speaker-meaning;pragmatics;}
  }

@article{ mcdowell_jh:1992a,
  author = {John H. McDowell},
  title = {Putnam on Mind and Meaning},
  journal = {Philosophical Topics},
  year = {1992},
  volume = {20},
  pages = {35--48},
  missinginfo = {number},
  topic = {philosophy-of-language;reference;}
  }

@book{ mcdowell_jh:1998a,
  author = {John H. McDowell},
  title = {Mind, Value, and Reality},
  publisher = {Harvard University Press},
  year = {1998},
  address = {Cambridge, Massachusetts},
  ISBN = {0674576136 (hardcover)},
  rtnote = {UMich Graduate Library, B 29 .M4261 1998},
  topic = {philosophy-of-mind;}
 }

@book{ mcdowell_jh:1998b,
  author = {John H. McDowell},
  title = {Meaning, Knowledge, and Reality},
  publisher = {Harvard University Press},
  year = {1998},
  address = {Cambridge, Massachusetts},
  ISBN = {0674557778 (alk. paper)},
  rtnote = {UMich Graduate Library, B 840 .M431 1998},
  topic = {philosophy-of-language;philosophy-of-mind;}
 }

@book{ mcelheny:2004a,
  author = {Victor K. McElheny},
  title = {Watson and {DNA}},
  publisher = {Basic Books},
  year = {2004},
  address = {New York},
  rtnote = {In RHT collection.  Out for reading.},
  topic = {history-of-genetics;}
 }

@book{ mcenery:1992a,
  author = {Tony McEnery},
  title = {Computational Linguistics : A Handbook \& Toolbox For Natural
    Language Processing},
  publisher = {Sigma},
  year = {1992},
  address = {Wilmslow},
  ISBN = {1850582475},
  rtnote = {UMich Media Union Library, PE 1074.5 .M34 1990.},
  topic = {nl-processing;corpus-linguistics;}
 }

@incollection{ mcenery-etal:1997a,
  author = {Tony McEnery and John Paul Baker and John Hutchinson},
  title = {A Corpus-Based Grammar Tutor},
  booktitle = {Corpus Annotation},
  publisher = {Longman},
  year = {1997},
  editor = {Roger Garside and Geoffrey Leech and Tony McEnery},
  pages = {209--219},
  address = {London},
  topic = {corpus-linguistics;language-instruction;}
  }

@incollection{ mcenery-etal:1997b,
  author = {Tony McEnery and Jean-Marc Lang\'e and Michael Oakes
    		and Jean V\'eronis},
  title = {The Exploitation of Multilingual
		Annotated Corpora for Term Extraction},
  booktitle = {Corpus Annotation},
  publisher = {Longman},
  year = {1997},
  editor = {Roger Garside and Geoffrey Leech and Tony McEnery},
  pages = {220--230},
  address = {London},
  topic = {corpus-linguistics;}
  }

@incollection{ mcenery-rayson:1997a,
  author = {Tony McEnery and Paul Rayson},
  title = {A Corpus/Annotation Toolbox},
  booktitle = {Corpus Annotation},
  publisher = {Longman},
  year = {1997},
  editor = {Roger Garside and Geoffrey Leech and Tony McEnery},
  pages = {194--208},
  address = {London},
  topic = {corpus-linguistics;corpus-annotation;}
  }

@book{ mcenery-wilson_a:2001a,
  author = {Tony McEnery and Andrew Wilson},
  title = {Corpus Linguistics},
  edition = {2},
  publisher = {Edinburgh University Press},
  year = {2001},
  address = {Edinburgh},
  ISBN = {0-7486-0482-0},
  xref = {Review: kirk:1998a},
  rtnote = {In RHT collection.},
  rtnote = {First edition, 1996.},
  topic = {corpus-linguistics;}
 }

@book{ mcfee:2007a,
  author = {Graham McFee},
  title = {Free Will},
  publisher = {McGill-Queen's University Press},
  year = {2007},
  address = {Montreal},
  ISBN = {9780773524774},
  topic = {freedom;volition;}
 }

@inproceedings{ mcgeachie-doyle_j:2002a,
  author = {Michael Mcgeachie and Jon Doyle},
  title = {Efficient Utility Calculations for Ceteris Paribus
  	Preferences},
  booktitle = {Proceedings of the Eighteenth National Conference on
              Artificial Intelligence},
  year = {2002},
  editor = {Rina Dechter and Michael Kearns and Richard S. Sutton},
  pages = {279--284},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {qualitative-utility;}
  }

@article{ mcgee_v:1981a,
  author = {Vann Mcgee},
  title = {Finite Matrices and the Logic of Conditionals},
  journal = {Journal of Philosophical Logic},
  year = {1981},
  volume = {10},
  number = {2},
  pages = {349--351},
  contentnote = {Shows that there is no characteristic finite
  	matrix for Adams' logic of conditionals.},
  topic = {conditionals;finite-matrix;}
  }

@article{ mcgee_v:1985a,
  author = {Vann McGee},
  title = {A Counterexample to Modus Ponens},
  journal = {Journal of Philosophy},
  year = {1985},
  volume = {82},
  pages = {462--471},
  xref = {Comments, Criticism: katz_bj:1999a.},
  topic = {conditionals;belief-revision;}
 }

@article{ mcgee_v:1985b,
  author = {Vann McGee},
  title = {How Truthlike Can a Predicate Be?  A Negative Result},
  journal = {Journal of Philosophical Logic},
  year = {1985},
  volume = {14},
  number = {4},
  pages = {399--410},
  topic = {truthlikeness;}
  }

@book{ mcgee_v:1988a,
  author = {Vann McGee},
  title = {Truth, Vagueness, and Paradox: An Essay on the Logic
  	of Truth},
  publisher = {Hackett Publishing Co.},
  year = {1988},
  address = {Indianapolis},
  ISBN = {0-87220-087-6},
  rtnote = {UMich Tanner  BD 171 .M37 1990},
  topic = {truth;vagueness;semantic-paradoxes;}
 }

@book{ mcgee_v:1990a,
  author = {Vann McGee},
  title = {Truth, Vagueness and Paradox},
  publisher = {Hackett Publishers},
  year = {1990},
  address = {Indianapolis},
  rtnote = {Look at this.},
  topic = {truth;vagueness;semantic-paradoxes;}
 }

@article{ mcgee_v:1992a,
  author = {Vann Mcgee},
  title = {Two Problems with {T}arski's Theory of Consequence},
  journal = {Proceedings of the {A}ristotelian Society},
  year = {1992},
  volume = {92},
  note = {Supplementary Series.},
  pages = {273--292},
  topic = {logical-consequence;philosophy-of-logic;}
 }

@article{ mcgee_v:1992b,
  author = {Vann McGee},
  title = {Maximal Consistent Sets of Instances of {T}arski's Schema
		(T)},
  journal = {Journal of Philosophical Logic},
  year = {1992},
  volume = {21},
  number = {3},
  pages = {235--241},
  topic = {truth;semantic-paradoxes;}
  }

@article{ mcgee_v:1993a,
  author = {Vann Mcgee},
  title = {A Semantic Conception of Truth?},
  journal = {Philosophical Topics},
  year = {1994},
  volume = {21},
  number = {2},
  pages = {83--111},
  topic = {truth;}
  }

@incollection{ mcgee_v:1994a,
  author = {Vann McGee},
  title = {Learning the Impossible},
  booktitle = {Probability and Conditionals: Belief Revision and Rational
       Decision},
  publisher = {Cambridge University Press},
  year = {1994},
  pages = {179--199},
  editor = {Ellery Eells and Brian Skyrms},
  address = {Cambridge, England},
  rtnote = {In RHT collection.},
  topic = {probability;primitive-conditional-probability;
  	nonstandard-probability;}
  }

@article{ mcgee_v:1996a,
  author = {Vann McGee},
  title = {Logical Operations},
  journal = {Journal of Philosophical Logic},
  year = {1996},
  volume = {25},
  number = {6},
  pages = {567--580},
  contentnote = {The idea is to use invarience under a set of permutations
  	of models to characterize logical operations.},
  topic = {foundations-of-logic;}
  }

@article{ mcgee_v:1997a,
  author = {Vann McGee},
  title = {How We Learn Mathematical Language},
  journal = {The Philosophical Review},
  year = {1997},
  volume = {106},
  number = {1},
  pages = {35--68},
  topic = {philosophy-of-mathematics;}
  }

@article{ mcgee_v:2000a,
  author = {Vann McGee},
  title = {Review of \emph{{L}ogic, Logic and Logic}, by {G}eorge
  	{B}oolos},
  journal = {The Bulletin of Symbolic Logic},
  year = {2000},
  volume = {7},
  number = {1},
  pages = {58--62},
  topic = {philosophical-logic;}
  }

@article{ mcgee_v:2001a,
  author = {Vann Mcgee},
  title = {Review of \emph{{T}he Concept of Logical Consequence},
  	by {J}ohn {E}tchemendy},
  journal = {The Bulletin of Symbolic Logic},
  year = {2001},
  volume = {7},
  number = {3},
  pages = {379--380},
  xref = {Review of etchemendy:1990a.},
  topic = {logical-consequence;Tarski;}
  }

@article{ mcgee_v:2005a,
  author = {Vann McGee},
  title = {Inscrutability and Its Discontents},
  journal = {No\^us},
  year = {2005},
  volume = {39},
  number = {3},
  pages = {397--425},
  topic = {indeterminacy-of-translation;reference;truth;}
  }

@incollection{ mcgee_v:2006a,
  author = {Vann McGee},
  title = {There's a Rule for Everything},
  booktitle = {Absolute Generality},
  publisher = {Oxford University Press},
  year = {2006},
  editor = {August\'in Rayo and Gabriel Uzquiano},
  pages = {179--203},
  address = {Oxford},
  topic = {philosophical-ontology;unrestrictive-quantification;}
  }

@article{ mcgee_v-mclaughlin_bp:1998a,
  author = {Vann Mcgee and Brian P. McLaughlin},
  title = {Review of \emph{{V}agueness}, by {T}imothy {W}illiamson},
  journal = {Linguistics and Philosophy},
  year = {1998},
  volume = {21},
  number = {2},
  pages = {221--235},
  xref = {Review of: williamson_t:1996a.},
  topic = {vagueness;}
  }

@article{ mcgee_v-mclaughlin_bp:2004a,
  author = {Vann McGee and Brian P. McLaughlin},
  title = {Logical Commitment and Semantic Indeterminacy: A Reply to
  	{W}illiamson},
  journal = {Linguistics and Philosophy},
  year = {2004},
  volume = {27},
  number = {1},
  pages = {123--136},
  topic = {vagueness;supervaluations;}
  }

@article{ mcgeer:1996a,
  author = {Victoria McGeer},
  title = {Is `Self-Knowledge' an Empirical Problem?
  	Renegotiating the Space of Philosophical Explanation},
  journal = {Journal of Philosophy},
  year = {1996},
  volume = {93},
  number = {10},
  pages = {483--515},
  topic = {self-knowledge;}
  }

@unpublished{ mcgilvray:1978a,
  author = {James A. McGilvray},
  title = {Tense and Temporal Perspective},
  year = {1978},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript.},
  topic = {nl-tense;indexicality;}
  }

@book{ mcgilvray:1991a,
  author = {James A. McGilvray},
  title = {Tense, Reference, and Worldmaking},
  publisher = {McGill-Queen's University Press},
  year = {1991},
  address = {Montreal and Kingston},
  ISBN = {0-7735-0871-6},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {nl-semantics;tense;reference;philosophy-of-language;}
 }

@book{ mcgilvray:1999a,
  author = {James A. McGilvray},
  title = {Chomsky: Language, Mind, and Politics},
  publisher = {Polity Press},
  year = {1999},
  address = {Cambridge, England},
  ISBN = {0-7456-1887-1},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {Chomsky;philosophy-and-linguistics;philosophy-of-mind;}
 }

@article{ mcginn_c:1979a,
  author = {Colin McGinn},
  title = {Review of \emph{{R}elative Identity}, by {N}icholas {G}riffin},
  journal = {The Philosophical Review},
  year = {1979},
  volume = {88},
  pages = {137--141},
  xref = {Review of: griffin:1977a},
  topic = {identity;}
  }

@article{ mcginn_c:1981a,
  author = {Colin McGinn},
  title = {The Mechanism of Reference},
  journal = {Synth\'ese},
  year = {1981},
  volume = {49},
  number = {2},
  pages = {157--186},
  topic = {reference;philosophy-of-language;}
  }

@book{ mcginn_c:1983a,
  author = {Colin McGinn},
  title = {The Subjective View: Secondary Qualities and Indexical Thoughts},
  publisher = {Oxford University Press},
  year = {1983},
  address = {Oxford},
  topic = {indexicals;philosophy-of-mind;}
 }

@incollection{ mcginn_c:1984a,
  author = {Colin McGinn},
  title = {The Concept of Knowledge},
  booktitle = {Causation and Causal Theories},
  publisher = {University of Minnesota Press},
  year = {1984},
  editor = {Peter A. French and Theodore E. Uehling, Jr. and Howard
  	K. Wettstein},
  pages = {529--554},
  address = {Minneapolis},
  topic = {knowledge;knowing-who;}
  }

@book{ mcginn_c:2000a,
  author = {Colin McGinn},
  title = {Logical Properties: Identity, Existence, Predication,
  		Necessity, Truth},
  publisher = {Oxford University Press},
  year = {2000},
  address = {Oxford},
  xref = {Review: macfarlane:2002a},
  topic = {philosophy-of-logic;}
 }

@incollection{ mcginn_c:2003a,
  author = {Colin McGinn},
  title = {What Constitutes the Mind-Body Problem?},
  booktitle = {Philosophy of Mind},
  publisher = {Blackwell Publishers},
  year = {2003},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {148--162},
  address = {Oxford},
  topic = {individuation;mind-body-problem;}
  }

@book{ mcginn_c:2004a,
  author = {Colin McGinn},
  title = {Mindsight: Image, Dream, Meaning},
  publisher = {Harvard University Press},
  year = {2004},
  address = {Cambridge, Massachusetts},
  ISBN-10 = {0-674-01560-6},
  xref = {Review: lopes_dm:2006a},
  topic = {imagination;philosophy-of-mind;}
 }

@article{ mcginn_c:2007a,
  author = {Colin McGinn},
  title = {Review of \emph{On Consciousness}, by {T}ed {H}onderich},
  journal = {The Philosophical Review},
  year = {2007},
  volume = {116},
  number = {3},
  pages = {474--477},
  xref = {Review of: honderich:2004a},
  topic = {consciousness;philosophy-of-mind;}
  }

@article{ mcginnis:2002a,
  author = {Martha McGinnis},
  title = {On the Systematic Aspect of Idioms},
  journal = {Linguistic Inquiry},
  year = {2002},
  volume = {33},
  number = {4},
  pages = {665--672},
  topic = {idioms;tense-aspect;}
  }

@article{ mcglone:1996a,
  author = {M.S. McGlone},
  title = {Conceptual Metaphors and Figurative Language
  	Interpretation: Food for Thought?},
  journal = {Journal of Memory and Language},
  year = {1996},
  volume = {35},
  pages = {544--565},
  missinginfo = {A's 1st name, number},
  topic = {metaphor;cognitive-psychology;}
  }

@incollection{ mcgonigle-chalmers_dj:1985a,
  author = {B. McGonigle and M. Chalmers},
  title = {Representations and Strategies during Inference},
  booktitle = {Reasoning and Discourse Processes},
  publisher = {Academic Press},
  year = {1985},
  editor = {Terry Myers and Keith Brown and Brendan McGonigle},
  pages = {141--164},
  address = {New York},
  topic = {pragmatic-inference;pragmatics;}
  }

@article{ mcgowan:2004a,
  author = {Mary Kate McGowan},
  title = {Conversational Exercitives: Something Else We Might Do with
  	Our Words},
  journal = {Linguistics and Philosophy},
  year = {2004},
  volume = {27},
  number = {1},
  pages = {93--111},
  topic = {speech-acts;accommodation;}
  }

@incollection{ mcgrath:2008a,
  author = {Matthew McGrath},
  title = {Propositions},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  editor = {Edward N. Zalta},
  url = {http://plato.stanford.edu/archives/fall2008/entries/propositions/},
  year = {2008},
  topic = {propositions;propositional-attitudes;intensionality;},
  }

@unpublished{ mcgrath_jh:1971a,
  author = {James H. Mcgrath},
  title = {Deontic Logic and {C}hisholm's Paradox},
  year = {1971},
  note = {Unpublished manuscript, Indiana University.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {deontic-logic;}
  }

@incollection{ mcgrath_m:1998a,
  author = {Matthew McGrath},
  title = {Proportionality and Mental Causation: A Fit?},
  booktitle = {Philosophical Perspectives 12: Language, Mind,
  	and Ontology},
  publisher = {Blackwell Publishers},
  year = {1998},
  editor = {James E. Tomberlin},
  pages = {167--176},
  address = {Oxford},
  topic = {mind-body-problem;causality;}
  }

@article{ mcgrew-etal:1997a,
  author = {T. McGrew and D. Shier and H. Silverstein},
  title = {The Two-Envelope Paradox Resolved},
  journal = {Analysis},
  year = {1997},
  volume = {57},
  pages = {28--33},
  missinginfo = {A's 1st name, number},
  topic = {two-envelope-paradox;}
  }

@book{ mcguiness_b:1980a,
  editor = {Brian McGuiness},
  title = {Gottlob Frege: Philosophical and Mathematical Correspondence},
  publisher = {University of Chicago Press},
  year = {1980},
  address = {Chicago},
  note = {Translated by Hans Kaal},
  ISBN = {0226261972},
  rtnote = {UMich Shapiro Science QA3 .F85923 1980},
  topic = {Frege;}
 }

@article{ mcguiness_cn:2003a,
  author = {Casey N. McGuiness},
  title = {Review of \emph{{P}araconsistency: The Logical Way to the
  	Inconsistent}, edited by {W}alter {A}. {C}arnielli, {M}arcelo
	{E}. {C}oniglio and {I}talia {M}. {L}offredo {D}'{O}ttaviano},
  journal = {The Bulletin of Symbolic Logic},
  year = {2003},
  volume = {9},
  number = {3},
  pages = {410--412},
  xref = {Review of: carnielli-etal:2002a.},
  topic = {paraconsistency;}
  }

@article{ mcguiness_cn:2005a,
  author = {Casey N. McGuiness},
  title = {Review of {\it An Introduction to Paraconsistent Logics},
  		by {M}anuel {B}remer},
  journal = {The Bulletin of Symbolic Logic},
  year = {2005},
  volume = {11},
  number = {3},
  pages = {447--451},
  xref = {Review of: bremer:2005a.},
  topic = {paraconsistency;relevance-logic;}
  }

@inproceedings{ mcguinness_dl:1992a,
  author = {Deborah L. McGuinness},
  title = {Making Description Logic Based Knowledge Representation
  	Systems More Usable},
  booktitle = {Working Notes, {AAAI} Fall Symposium on Issues in Description
  	Logics: Users Meet Developers},
  year = {1992},
  editor = {Robert MacGregor},
  pages = {56--58},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {kr;krcourse;description-logics;}
  }

@incollection{ mcguinness_dl:2003a,
  author = {Deborah L. McGuinness},
  title = {Configuration},
  booktitle = {The Description Logic Handbook:  Theory, Implementation
  		and Applications},
  publisher = {Cambridge University Press},
  year = {2003},
  editor = {Franz Baader and Diego Calvanese and Deborah L. McGuinness
  		and Daniele Nardi and Peter Patel-Schneider},
  pages = {388--405},
  address = {Cambridge, England},
  topic = {description-logics;AI-applications;}
  }

@inproceedings{ mcguinness_dl-borgida:1995a,
  author = {Deborah L. McGuinness and Alexander Borgida},
  title = {Explaining Subsumption in Description Logics},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {816--821},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {kr;classic;description-logics;generating-explanations;kr-course;}
 }

@phdthesis{ mcguinness_dl-borgida:1996a,
  author = {Deborah L. McGuinness},
  title = {Explaining Reasoning in Description Logics},
  school = {Department of Computer Science, Rutgers University},
  year = {1996},
  type = {Ph.{D}. Dissertation},
  address = {New Brunswick, New Jersey},
  rtnote = {In RHT collection.  Shelf.},
  topic = {explanation;description-logics;krcourse;nl-generation;}
 }

@inproceedings{ mcguinness_dl-etal:2000a,
  author = {Deborah L. McGuinness and Richard Fikes and James
          Rice and Steve Wilder},
  title = {An Environment for Merging and Testing Large Ontologies},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {483--493},
  topic = {computational-ontology;}
  }

@incollection{ mcguinness_dl-patelschneider:2003a,
  author = {Deborah L. McGuinness and Peter F. Patel-Schneider},
  title = {From Description Logic Provers to Knowledge Representation
		Systems},
  booktitle = {The Description Logic Handbook:  Theory, Implementation
  		and Applications},
  publisher = {Cambridge University Press},
  year = {2003},
  editor = {Franz Baader and Diego Calvanese and Deborah L. McGuinness
  		and Daniele Nardi and Peter Patel-Schneider},
  pages = {265--281},
  address = {Cambridge, England},
  topic = {description-logics;kr-systems;}
  }

@incollection{ mchale:1998a,
  author = {Michael McHale},
  title = {A Comparison of {W}ord{N}et and Roget's
		Taxonomy for Measuring Semantic Similarity},
  booktitle = {Use of {W}ord{N}et in Natural Language Processing
  	Systems:  Proceedings of the Conference},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Sanda Harabagiu},
  pages = {115--120},
  address = {Somerset, New Jersey},
  url = {http://xxx.lanl.gov/abs/cmp-lg/9809003},
  topic = {nl-processing;WordNet;semantic-similarity;}
  }

@incollection{ mcilraith:1994a,
  author = {Sheila McIlraith},
  title = {Generating Terms Using Abduction},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {449--460},
  address = {San Francisco, California},
  topic = {kr;abduction;kr-course;}
  }

@incollection{ mcilraith:1998a,
  author = {Sheila McIlraith},
  title = {Explanatory Diagnosis:  Conjecturing Actions to
		Explain Observations},
  booktitle = {{KR}'98: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1998},
  editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C.
		Shapiro},
  pages = {167--177},
  address = {San Francisco, California},
  topic = {kr;explanation;diagnosis;kr-course;}
  }

@inproceedings{ mcilraith:1998b,
  author = {Sheila McIlraith},
  title = {Representing Action and State Constraints in
  	Model-Based Diagnosis},
  booktitle = {Proceedings of the Fourteenth National Conference on
              Artificial Intelligence and the Ninth Innovative
	      Applications of Artificial Intelligence  Conference},
  year = {1998},
  editor = {Benjamin J. Kuipers and Bonnie Webber},
  pages = {43--49},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {diagnosis;action;causality;}
  }

@article{ mcilraith:2000a,
  author = {Sheila Mcilraith},
  title = {Integrating Actions and State Constraints: A Closed-Form
  	Solution to the Ramification Problem},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {116},
  number = {1--2},
  pages = {87--121},
  topic = {action-formalisms;ramification-problem;}
  }

@book{ mcilraith-etal:2004a,
  editor = {Sheila A. McIlraith and Dimitris Plexousakis and Frank
  	van Harmelen},
  title = {The Semantic Web---{ISWC} 2004: Third International
  	Semantic Web Conference},
  publisher = {Springer-Verlag},
  year = {2004},
  address = {Berlin},
  ISBN = {3-540-23798-4},
  topic = {semantic-web;}
 }

@incollection{ mcilraith-son_tc:2002a,
  author = {Sheila McIlraith and Tran Cao Son},
  title = {Adapting {G}olog for Composition of Semantic Web Services},
  booktitle = {{KR2002}: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {2002},
  editor = {Dieter Fensel and Fausto Giunchiglia and Deborah
  	L. McGuinness and Mary-Anne Williams},
  pages = {482--493},
  address = {San Francisco, California},
  topic = {kr;Golog;AI-and-the-internet;}
  }

@article{ mcintyre:2006a,
  author = {Alison McIntyre},
  title = {What is Wrong with Weakness of Will?},
  journal = {The Journal of Philosophy},
  year = {2006},
  volume = {103},
  number = {1},
  pages = {284--311},
  topic = {akrasia;}
  }

@article{ mckay:1975a,
  author = {Thomas J. McKay},
  title = {Essentialism in Quantified Modal Logic},
  journal = {Journal of Philosophical Logic},
  year = {1975},
  volume = {4},
  number = {4},
  pages = {423--438},
  topic = {quantifying-in-modality;}
  }

@incollection{ mckay:1994a,
  author = {Thomas J. McKay},
  title = {Names, Causal Chains, and De Re Beliefs},
  booktitle = {Philosophical Perspectives, Volume 8:
  	Logic and Language},
  publisher = {Blackwell Publishers},
  year = {1994},
  editor = {James E. Tomberlin},
  pages = {293--302},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {proper-names;reference;}
  }

@incollection{ mckay-nelson_m:2005a,
  author = {Thomas J. McKay and Michael Nelson},
  title = {Propositional Attitude Reports},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  editor = {Edward N. Zalta},
  url = {http://plato.stanford.edu/archives/win2005/entries/prop-attitude-reports/},
  year = {2005},
  topic = {propositional-attitudes;}
 }

@article{ mckay-stern_c:1979a,
  author = {Thomas J. Mckay and Charles Stern},
  title = {Natural Kind Terms and Standards of Membership},
  journal = {Linguistics and Philosophy},
  year = {1979},
  volume = {3},
  number = {1},
  pages = {27--34},
  topic = {natural-kinds;}
  }

@article{ mck

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit