text:
ay-vaninwagen:1977a,
  author = {Thomas J. McKay and Peter {van Inwagen}},
  title = {Counterfactuals with Disjunctive Antecedents},
  journal = {Philosophical Studies},
  year = {1977},
  volume = {31},
  pages = {353--356},
  topic = {conditionals;}
  }

@article{ mckenna:2001a,
  author = {Michael McKenna},
  title = {Review of \emph{{R}esponsibility and Control: A Theory of Moral
  	Responsibility}, by {J}ohn {M}artin {F}ischer and {M}ark
  	{R}avizza},
  journal = {The Journal of Philosophy},
  year = {2000},
  volume = {98},
  number = {2},
  pages = {93--100},
  xref = {Review of: fischer_jm-ravizza:1998a},
  topic = {freedom;volition;}
  }

@article{ mckenna:2002a,
  author = {Michael McKenna},
  title = {Review of \emph{{A}utonomous Agents: From Self-Control to
  	Autonomy}, by {A}lfred {R}. {M}ele},
  journal = {The Philosophical Review},
  year = {2000},
  volume = {111},
  number = {4},
  pages = {612--615},
  xref = {Review of: mele:1995a.},
  topic = {autonomous-agents;freedom;}
  }

@incollection{ mckenna:2008a,
  author = {Michael McKenna},
  title = {Compatibilism},
  bookbooktitle = {The {S}tanford Encyclopedia of Philosophy},
  publisher = {Stanford University},  publisher = {Stanford University},
  editor = {Edward N. Zalta},
  url = {http://plato.stanford.edu/archives/sum2004/entries/compatibilism/},
  year = {2008},
  quarter = {2008},
  rtnote = {In RHT collection.},
  topic = {freedom;volition;(in)compatibilism;}
  }

@article{ mckenna:2008b,
  author = {Michael McKenna},
  title = {Frankfurt's Argument against Alternative Possibilities:
  		Looking Behind the Examples},
  journal = {No\^us},
  year = {2008},
  volume = {42},
  number = {4},
  pages = {770-793},
  xref = {Commentary on: frankfurt:1969a.},
  topic = {blameworthiness;freedom;}
  }

@article{ mckenna:2008c,
  author = {Michael McKenna},
  title = {Saying Good-Bye to the Direct Argument the Right Way},
  journal = {The Philosophical Review},
  year = {2008},
  volume = {117},
  number = {4},
  pages = {323--383},
  topic = {freedom;volition;blameworthiness;}
  }

@article{ mckeon_mw:2005a,
  author = {Matthew W. McKeon},
  title = {A Defense of the {K}ripkean Account of Logical Truth
  	in First-Order Modal Logic},
  journal = {Journal of Philosophical Logic},
  year = {2004},
  volume = {34},
  number = {3},
  pages = {305--326},
  topic = {modality;philosophy-of-logic;logical-consequence;}
  }

@phdthesis{ mckeown:1982b,
  author = {Kathleen R. McKeown},
  title = {Generating Natural Language Text in Response to Questions
  	about  Database Structure},
  school = {Department of Computer and Information Science,
  	University of Pennsylvania},
  year = {1982},
  note = {Technical Report MS-CIS-82-5.},
  topic = {nl-generation;}
}

@book{ mckeown:1985b,
  author = {Kathleen R. McKeown},
  title = {Text Generation: Using Discourse Strategies and Focus
  	Constraints to Generate Natural Language Text},
  publisher = {Cambridge University Press},
  year = {1985},
  topic = {nl-generation;pragmatics;}
}

@article{ mckeown:1985c,
  author = {Kathleen R. McKeown},
  title = {Discourse Strategies for Generating Natural-Language Text},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {27},
  number = {1},
  pages = {1--41},
  note = {Also in {\em Readings in Natural Language Processing},
  	Grosz, Sparck Jones and Webber eds., Morgan Kaufmann, 1986.},
  topic = {nl-generation;pragmatics;}
}

@article{ mckeown:1988a,
  author = {Kathleen R. McKeown},
  title = {Generating Goal-Oriented Explanations},
  journal = {International Journal of Expert Systems},
  year = {1988},
  volume = {1},
  number = {4},
  pages = {377--395},
  topic = {nl-generation;explanation;kr-course;}
 }

@incollection{ mckeown-elhadad:1991a,
  author = {Kathleen R. McKeown and Michael Elhadad},
  title = {A Contrastive Evaluation of Functional Unification Grammar
  		for Surface Language Generation: A Case Study in
		Choice of Connectives },
  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 = {351--396},
  rtnote = {In RHT collection.},
  topic = {nl-generation;functional-grammar;nl-realization;}
  }

@incollection{ mckeown-etal:1990a,
  author = {Kathleen McKeown and Michael Elhadad and Yumiko Fukumoto
  		and Jong Lim and Christine Lombardi and Jacques RObin
		and Frank Smadja},
  title = {Natural Language Generation in {COMET}},
  booktitle = {Current Research in Natural Language Generation},
  year = {1990},
  editor = {Robert Dale and Chris Mellish and Michael Zock},
  publisher = {Academic Press},
  address = {London},
  pages = {103--139},
  rtnote = {In rht collection.},
  topic = {nl-generation;multimedia-generation;nlp-architectures;}
}

@inproceedings{ mckeown-etal:1993a,
  author = {Kathleen R. McKeown and Jacques Robin and Michael Tanenblatt},
  title = {Tailoring Lexical Choice to the User's Vocabulary in
  		Multimedia Explanation Generation},
  booktitle = {Proceedings of ACL93, Thirty-First Annual Meeting of the
		{A}ssociation for {C}omputational {L}inguistics},
  year = {1993},
  pages = {226--234},
  topic = {nl-generation;multimedia-generation;explanation;}
}

@article{ mckeown-etal:1998a,
  author = {Kathleen R. Mckeown and Stephen K. Feiner and Mukesh
  	Dalal and Shih-Fu Chang},
  title = {Generating Multimedia Briefings: Coordinating Language
  	and Illustration},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {103},
  number = {1--2},
  pages = {95--116},
  topic = {multimedia-generation;}
  }

@incollection{ mckeown-swartout:1988b,
  author = {Kathleen R. McKeown and William R. Swartout},
  title = {Language Generation and Explanation},
  booktitle = {Advances in Natural Language Generation, Volume 1},
  publisher = {Ablex Publishing Company},
  address = {Norwood, New Jersey},
  year = {1988},
  editor = {Michael Zock and Gerald Sabah},
  pages = {1--51},
  missinginfo = {E's 1st names},
  topic = {nl-generation;}
  }

@book{ mckevitt:1995a,
  editor = {Paul McKevitt},
  title = {Integration of Natural Language and Vision Processing},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  address = {Dordrecht},
  ISBN = {0792333799 (v. 1 : acid-free paper)},
  rtnote = {UMich Media Union Library, QA 76.9 .N38 I551 1995.},
  topic = {visual-reasoning;nl-processing;multimedia-interpretation;
      multimedia-generation;}
 }

@book{ mckevitt:1995b,
  editor = {Paul McKevitt},
  title = {Integration of Natural Language and Vision Processing. Volume
    {II}, Intelligent Multimedia},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  address = {Dordrecht},
  ISBN = {0792337581},
  topic = {visual-reasoning;nl-processing;multimedia-interpretation;
      multimedia-generation;}
 }

@book{ mckevitt:1996a,
  editor = {Paul McKevitt},
  title = {Integration of Natural Language and Vision Processing:
  	Recent Advances},
  publisher = {Kluwer},
  year = {1996},
  address = {Dordrecht},
  ISBN = {0792341147},
  topic = {visual-reasoning;nl-processing;multimedia-interpretation;
      multimedia-generation;}
 }

@phdthesis{ mckinney:1975a,
  author = {Audrey Mckinney},
  title = {Conditional Obligation and Temporally Dependent Necessity: A
  	Study in Conditional Deontic Logic},
  school = {University of Pennsylvania},
  year = {1975},
  type = {Ph.{D}. Dissertation},
  address = {University of Pennsylvania},
  topic = {deontic-logic;temporal-logic;}
 }

@unpublished{ mckinney:1982a,
  author = {Audrey Mckinney},
  title = {Conditional Obligation, Relative Necessity, and Possible Worlds},
  year = {1982},
  note = {Unpublished manuscript, {MIT}.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {deontic-logic;}
  }

@article{ mckinsey:1947a,
  author = {J.C.C. McKinsey},
  title = {Review of `The Contrary to Fact Conditional', by
  	{R}oderick {M}. {C}hisholm},
  journal = {Journal of Symbolic Logic},
  year = {1947},
  volume = {12},
  number = {4},
  pages = {138--139},
  xref = {Review of: chisholm:1946a1.},
  topic = {conditionals;}
  }

@article{ mckinsey:1947b,
  author = {J.C.C. McKinsey},
  title = {Review of `The Problem of Counterfactual Conditionals', by
  	{N}elson {G}oodman},
  journal = {Journal of Symbolic Logic},
  year = {1947},
  volume = {12},
  number = {4},
  pages = {139},
  xref = {Review of: goodman:1947a.},
  topic = {conditionals;}
  }

@article{ mckinsey:1979a,
  author = {Michael McKinsey},
  title = {Levels of obligation},
  journal = {Philosophical Studies},
  volume = {35},
  year = {1979},
  pages = {385--395},
  topic = {obligation;ethics;}
    }

@incollection{ mckinsey:1984a,
  author = {Michael McKinsey},
  title = {Causality and the Paradox of Names},
  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 = {491--515},
  address = {Minneapolis},
  topic = {reference;causality;}
  }

@incollection{ mckinsey:1994a,
  author = {Michael McKinsey},
  title = {Individuating Beliefs},
  booktitle = {Philosophical Perspectives, Volume 8:
  	Logic and Language},
  publisher = {Blackwell Publishers},
  year = {1994},
  editor = {James E. Tomberlin},
  pages = {303--330},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {belief;individuation;propositional-attitudes;}
  }

@article{ mckinsey:1999a,
  author = {Michael McKinsey},
  title = {The Semantics of Belief Ascriptions},
  journal = {No\^us},
  year = {1999},
  volume = {33},
  number = {4},
  pages = {519--557},
  topic = {propositional-attitudes;belief;}
  }

@incollection{ mckinsey:2002a,
  author = {Michael McKinsey},
  title = {Forms of Externalism and Privileged Access},
  booktitle = {Philosophical Perspectives 16: Language and Mind, 2002},
  publisher = {Blackwell Publishers},
  year = {2002},
  editor = {James E. Tomberlin},
  pages = {199--224},
  address = {Oxford},
  topic = {philosophy-of-mind;}
  }

@phdthesis{ mclaren:1999a,
  author = {Bruce M. McLaren},
  title = {Assessing the Relevance of Cases and Principles Using
  	Operationalization Techniques},
  school = {Intelligent Systems Program, University of Pittsburgh},
  year = {1999},
  type = {Ph.{D}. Dissertation},
  address = {Pittsburgh, Pennsylvania},
  rtnote = {In RHT Collection.  CS MS shelves.},
  topic = {case-based-reasoning;ethical-reasoning;}
 }

@article{ mclaren:2003a,
  author = {Bruce M. McLaren},
  title = {Using Background Knowledge in Case-Based Legal Reasoning:
  	A Computational Model and an Intelligent Learning Environment},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {150},
  number = {1-2},
  pages = {145--181},
  topic = {AI-and-law;case-based-reasoning;ethical-reasoning;}
  }

@article{ mclarty:1988a,
  author = {Colin Mclarty},
  title = {Defining Sets as Sets of Points of Spaces},
  journal = {Journal of Philosophical Logic},
  year = {1988},
  volume = {17},
  number = {1},
  pages = {75--90},
  topic = {foundations-of-set-theory;category-theory;}
  }

@article{ mclarty:1993a,
  author = {Colin Mclarty},
  title = {Anti-Foundations and Self-Reference},
  journal = {Journal of Philosophical Logic},
  year = {1993},
  volume = {22},
  number = {1},
  pages = {19--28},
  topic = {self-reference;anti-foundational-sets;}
  }

@incollection{ mclaughlin_bp:1984a,
  author = {Brian P. McLaughlin},
  title = {Perception, Causation, and Supervenience},
  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 = {569--591},
  address = {Minneapolis},
  topic = {causality;supervenience;philosophy-of-mind;}
  }

@incollection{ mclaughlin_bp:1989a,
  author = {Brian P. McLaughlin},
  title = {Type Epiphenomenalism, Type Dualism,
		and the Causal Priority of the Physical},
  booktitle = {Philosophical Perspectives 3:
  	Philosophy of Mind and Action Theory},
  publisher = {Ridgeview Publishing Company},
  year = {1989},
  editor = {James E. Tomberlin},
  pages = {109--135},
  address = {Atasacadero, California},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {epiphenomenalism;}
  }

@article{ mclaughlin_bp:1991a,
  author = {Brian P. McLaughlin},
  title = {Review of \emph{{E}xplaining Behavior: Reasons in a World of
  	Causes}, by {F}red {D}retske},
  journal = {The Philosophical Review},
  year = {1991},
  volume = {107},
  number = {2},
  pages = {641--645},
  xref = {Review of: dretske:1988a.},
  topic = {philosophy-of-mind;belief;desire;}
  }

@incollection{ mclaughlin_bp:1993a,
  author = {Brian P. McLaughlin},
  title = {On {D}avidson's Response to the
		Charge of Epiphenomenalism},
  booktitle = {Mental Causation},
  publisher = {Oxford University Press},
  year = {1993},
  editor = {John Heil and Alfred R. Mele},
  pages = {27--40},
  address = {Oxford},
  topic = {mind-body-problem;causality;anomalous-monism;}
  }

@incollection{ mclaughlin_bp:1997a,
  author = {Brian P. McLaughlin},
  title = {Supervenience, Vagueness, and Determinism},
  booktitle = {Philosophical Perspectives 11: Mind, Causation, and World},
  publisher = {Blackwell Publishers},
  year = {1997},
  editor = {James E. Tomberlin},
  pages = {209--230},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-mind;vagueness;}
  }

@book{ mclaughlin_bp-rorty_ao:1988a,
  editor = {Brian P. McLaughlin and Am/'elie Oksenberg Rorty},
  title = {Perspectives On Self-Deception},
  publisher = {University of California Press},
  year = {1988},
  address = {Berkeley, California},
  ISBN = {0520052080 (alk. paper)},
  rtnote = {UMich Graduate Library, BD 439 .P471 1988},
  topic = {self-deception;}
 }

@article{ mclaughlin_bp-tye:1998a,
  author = {Brian P. McLaughlin and Michael Tye},
  title = {Is Content-Externalism Compatible with Privileged
  	Access?},
  journal = {The Philosophical Review},
  year = {1998},
  volume = {107},
  number = {3},
  pages = {349--380},
  topic = {content-externalism;foundations-or-semantics;}
  }

@book{ mclaughlin_m:1984a,
  author = {M. McLaughlin},
  title = {Conversation: How Talk is Organized},
  publisher = {Sage Publications},
  year = {1984},
  address = {Beverly Hills, California},
  topic = {discourse;discourse-structure;pragmatics;}
 }

@article{ mcleash:1988a,
  author = {Mary McLeish},
  title = {Introduction},
  journal = {Computational Intelligence},
  year = {1988},
  volume = {4},
  pages = {57},
  missinginfo = {number},
  topic = {reasoning-about-uncertainty;}
  }

@article{ mclelland-chihara:1975a,
  author = {James Mclelland and Charles Chihara},
  title = {The Surprise Examination Paradox},
  journal = {Journal of Philosophical Logic},
  year = {1975},
  volume = {4},
  number = {1},
  pages = {71--89},
  topic = {surprise-examination-paradox;episteic-logic;}
  }

@article{ mcleod_d-yanover:1991a,
  author = {Dennis McLeod and Paul L. Yanover},
  title = {Review of \emph{{E}xpert Database Systems: Proceedings From
  	the Second International Conference}, edited by {L}arry
	{K}erschberg},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {48},
  number = {2},
  pages = {245--252},
  topic = {expert-systems;databases;}
  }

@book{ mcleod_sk:2001a,
  author = {Stephen K. McLeod},
  title = {Modality and Anti-Metaphysics},
  publisher = {Ashgate Publishing Co.},
  year = {2001},
  address = {Brookfield, Vermont},
  ISBN = {0 7546 1300 3},
  topic = {metaphysics;essentialism;modality;}
 }

@book{ mcmahon_c:2001a,
  author = {Christopher McMahon},
  title = {Collective Rationality and Collective Reasoning},
  publisher = {Cambridge University Press},
  year = {2001},
  address = {Cambridge, England},
  ISBN = {0521804620 (hc), 0521011787 (pbk)},
  xref = {Review: cudd:2003a.},
  rtnote = {UMich GRADUATE LIBRARY, BJ 1533 .C74 M391 2001.},
  topic = {group-reasoning;group-attitudes;}
 }

@article{ mcmahon_jg-smith_fj:1996a,
  author = {John G. McMahon and Francis J. Smith},
  title = {Improving Statistical Language Model Performance with
  	Automatically Generated Word Hierarchies},
  journal = {Computational Linguistics},
  year = {1996},
  volume = {22},
  number = {2},
  pages = {217--247},
  topic = {word-classification;corpus-linguistics;statistical-nlp;}
  }

@article{ mcmichael:1983a,
  author = {Alan McMichael},
  title = {A New Actualist Modal Semantics},
  journal = {Journal of Philosophical Logic},
  year = {1983},
  volume = {12},
  number = {1},
  pages = {73--99},
  topic = {modal-logic;actualism;}
  }

@article{ mcmichael-zalta:1980a,
  author = {Alan McMichael and Ed Zalta},
  title = {An Alternative Theory of Nonexistent Objects},
  journal = {Journal of Philosophical Logic},
  year = {1980},
  volume = {9},
  number = {2},
  pages = {297--313},
  topic = {reference-gaps;logic-of-existence;}
  }

@incollection{ mcmullan:1984a,
  author = {Ernan McMullan},
  title = {Two Ideals of Explanation in Natural Science},
  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 = {205--220},
  address = {Minneapolis},
  topic = {philosophy-of-science;explanation;}
  }

@article{ mcnally:1998a,
  author = {Louise Mcnally},
  title = {Existential Sentences with Existential Quantification},
  journal = {Linguistics and Philosophy},
  year = {1998},
  volume = {21},
  number = {4},
  pages = {353--392},
  topic = {existential-constructions;nl-quantifiers;}
  }

@article{ mcnally:1999a,
  author = {Louise Mcnally},
  title = {Review of \emph{{W}ays of Scope-Taking}, edited by
  	{A}nna {S}zabolski},
  journal = {Linguistics and Philosophy},
  year = {1999},
  volume = {22},
  number = {5},
  pages = {563--571},
  xref = {Review of szabolcsi:1997a.},
  rtnote = {semantics-course;},
  topic = {nl-quantifier-scope;generalized-quantifiers;nl-semantics;}
  	}

@article{ mcnamara_p:1996a,
  author = {Paul McNamara},
  title = {Doing Well Enough: Toward a Logic for Common-Sense
  	Morality},
  journal = {Studia Logica},
  year = {1996},
  volume = {57},
  number = {1},
  pages = {167--192},
  topic = {deontic-logic;supererogation;qualitative-utility;}
  }

@incollection{ mcnamara_p:1998a,
  author = {Paul McNamara},
  title = {Andersonian-{K}angerian Logics for Doing Well Enough},
  booktitle = {Norms, Logics and Information Systems.  New Studies in
		Deontic Logic and Computer Science},
  publisher = {IOS Press},
  year = {1998},
  editor = {Henry Prakken and Paul McNamara},
  pages = {181--200},
  address = {Amsterdam},
  topic = {deontic-logic;}
  }

@incollection{ mcnamara_p:2009a,
  author = {Paul McNamara},
  title = {Deontic Logic},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  editor = {Edward N. Zalta},
  url ={http://plato.stanford.edu/archives/spr2009/entries/logic-deontic/},
  year = {2009},
  edition = {Spring 2009},
  topic = {deontic-logic;}
  }

@incollection{ mcnamara_p:2010a,
  author = {McNamara, Paul},
  title = {Deontic Logic},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  editor = {Edward N. Zalta},
  URL = {http://plato.stanford.edu/archives/sum2010/entries/logic-deontic/},
  year = {2010},
  topic = {deontic-logic;}
}

@incollection{ mcnamara_p-prakken:1998a,
  author = {Paul McNamara and Henry Prakken},
  title = {Introduction},
  booktitle = {Norms, Logics and Information Systems.  New Studies in
		Deontic Logic and Computer Science},
  publisher = {IOS Press},
  year = {1998},
  editor = {Henry Prakken and Paul McNamara},
  pages = {1--14},
  address = {Amsterdam},
  topic = {deontic-logic;}
  }

@article{ mcnaughton:2009a,
  author = {Bruce L. McNaughton},
  title = {Cortical Hierarchies, Sleep, and the Extraction of
  		Knowledge from Memory},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {174},
  number = {2},
  pages = {205--214},
  topic = {neurocognition;}
  }

@incollection{ mcneil:1971a,
  author = {David McNeil},
  title = {Are There Specifically Linguistic Universals?},
  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 = {530--535},
  address = {Cambridge, England},
  topic = {language-universals;}
  }

@unpublished{ mcneill:1975a,
  author = {David McNeill},
  title = {The Place of Grammar in a Theory of Performance},
  year = {1975},
  note = {Unpublished manuscript, Institute for Advanced Study, Princeton,
		New Jersey.},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-linguistics;}
  }

@book{ mcneill:1992a,
  author = {David McNeill},
  title = {Hand and Mind: What Gestures Reveal about Thought},
  year = {1992},
  publisher = {University of Chicago Press},
  address = {Chicago},
  topic = {gestures;}
  }

@article{ mcready:2008a,
  author = {Eric McReady},
  title = {What Man Does},
  journal = {Linguistics and Philosophy},
  year = {2008},
  volume = {31},
  number = {6},
  pages = {671--724},
  contentnote = {A study of `man' as in "Man those shoes look ridiculous"},
  topic = {nl-pragmatics;}
  }

@techreport{ mcrobbie:1982a,
  author = {Michael A. McRobbie},
  title = {Interpolation Theorems: A Bibliography},
  institution = {Department of Philosophy, University of Melbourne},
  number = {1/82},
  year = {1982},
  address = {Melbourne},
  rtnote = {In RHT collection.},
  topic = {interpolation-theorems;}
  }

@book{ mcrobbie-slaney:1996a,
  editor = {Michael McRobbie and John Slaney},
  title = {Thirteenth International Conference on Automated Deduction
  	{CADE}92},
  publisher = {Springer-Verlag},
  year = {1996},
  address = {Berlin},
  series = {Lecture Notes in Computer Science},
  rtnote = {UMich Media Union Library, QA 76.9 .A96 A851 2000},
  topic = {theorem-proving;}
 }

@article{ mcroy_s:1996a,
  author = {Susan McRoy},
  title = {Speakers, Listeners, and Communication: Explorations in
  	Discourse Analysis},
  journal = {Computational Linguistics},
  year = {1996},
  volume = {22},
  number = {3},
  pages = {444--447},
  topic = {discourse;discourse-analysis;referring-expressions;
  	definite-descriptions;anaphora;pragmatics;}
  }

@inproceedings{ mcroy_s-ali:1999a,
  author = {Susan McRoy and Syed S. Ali},
  title = {A Practical, Declarative Theory of Dialogue},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
  	Knowledge and Reasoning in Practical Dialogue Systems},
  year = {1999},
  editor = {Jan Alexandersson},
  pages = {97--103},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {computational-dialogue;discourse;}
  }

@article{ mcroy_s-hirst_g:1995a,
  author = {Susan McRoy and Graeme Hirst},
  title = {The Repair of Speech Act Misunderstandings by Abductive
  	Inference},
  journal = {Computational Linguistics},
  year = {1995},
  volume = {21},
  number = {4},
  pages = {435--478},
  rtnote = {Reading notes on file.},
  topic = {discourse;abduction;coord-in-conversation;pragmatics;}
  }

@book{ mctear:2004a,
  author = {Michael E. McTear},
  title = {Spoken Dialogue Technology: Toward the
  		Conversational User Interface},
  publisher = {Springer-Verlag},
  year = {2004},
  address = {Berlin},
  ISBN = {1-85233-672-2},
  xref = {Review: pittermann:2005a.},
  topic = {computational-dialogue;}
 }

@article{ medlin:1964a,
  author = {Brian Medlin},
  title = {The Unexpected Examination},
  journal = {Anerican Philosophical Quarterly},
  year = {1964},
  volume = {1},
  number = {1},
  pages = {66--72},
  topic = {surprise-examination-paradox;}
  }

@article{ medress-etal:1977a,
  author = {M.F. Medress and F.S. Cooper and J.W. Forgie and C.C.
  	Green and D.H. Klatt, M.H. O'Malley and E.P. Neuburg and A.
	Newell and D.R. Reddy and B. Ritea and J.E. Shoup-Hummel and
	D.E. Walker and W.A. Woods},
  title = {Speech Understanding Systems: Report of a Steering
  	Committee},
  journal = {Artificial Intelligence},
  year = {1977},
  volume = {9},
  number = {3},
  pages = {307--316},
  acontentnote = {Abstract:
     A five-year interdisciplinary effort by speech scientists and
     computer scientists has demonstrated the feasibility of
     programming a computer system to ``understand'' connected
     speech, i.e., translate it into operational form and respond
     accordingly. An operational system (HARPY) accepts speech from
     five speakers, interprets a 1000-word vocabulary, and attains 91
     percent sentence accuracy. This Steering Committee summary
     report describes the project history, problem, goals, and
     results.
  },
  topic = {speech-recognition;computational-dialogue;}
  }

@article{ meeden-etal:2000a,
  author = {Lisa Meeden and Alan Schultz and Tucker Balch and Rahul
  	Bhargava and Karen Zita Haigh and Marc Bohlen and Cathryne
	Stein and David Miller},
  title = {The {AAAI} 1999 Mobile Robot Competitions and Exhibitions},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {21},
  number = {3},
  pages = {69--78},
  topic = {robotics;}
  }

@techreport{ megiddo:1986a,
  author = {Nimrod Megiddo},
  title = {Remarks on Bounded Rationality},
  institution = {{IBM}},
  number = {RJ 5720},
  year = {1986},
  topic = {resource-limited-reasoning;limited-rationality;}
  }

@article{ megiddo:1989a,
  author = {Nimrod Megiddo},
  title = {On Computable Beliefs of Rational Machines},
  journal = {Games and Economical Behavior},
  year = {1989},
  volume = {1},
  pages = {144--169},
  missinginfo = {number},
  topic = {epistemic-logic;game-theory;}
  }

@inproceedings{ megiddo-wigderson:1986a,
  author = {Nimrod Megiddo and Avi Wigderson},
  title = {On Play by Means of Computing Machines},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the First Conference},
  year = {1986},
  editor = {Joseph Y. Halpern},
  pages = {259--274},
  publisher = {Morgan Kaufmann Publishers, Inc.},
  address = {Los Altos, California},
  topic = {game-theory;limited-rationality;}
  }

@book{ meheus:2002a,
  editor = {Joke Meheus},
  title = {Inconsistency in Science},
  publisher = {Kluwer Academic Publishers},
  year = {2002},
  address = {Dordrecht},
  xref = {Review: quigley:2003a},
  topic = {philosophy-of-science;paraconsistency;}
 }

@article{ meheus:2006a,
  author = {Joke Meheus},
  title = {An Adaptive Logic Based on Ja\'skowski's Approach
  		to Paraconsistency},
  journal = {Journal of Philosophical Logic},
  year = {2006},
  volume = {35},
  number = {6},
  pages = {539--567},
  topic = {paraconsistency;adaptive-logic;}
  }

@article{ mei_tl:1961a,
  author = {Tsu-Lin Mei},
  title = {Subject and Predicate: A Grammatical Preliminary},
  journal = {The Philosophical Review},
  year = {1961},
  volume = {70},
  number = {1},
  pages = {153--175},
  topic = {mass-term-semantics;philosophical-ontology;}
  }

@inproceedings{ meier_c:2001a,
  author = {Cecile Meier},
  title = {Result Clauses},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XI}},
  publisher = {Cornell University},
  year = {2001},
  editor = {Rachel Hastings and Brendan Jackson and Zsofia Zvolenszky},
  pages = {268--285},
  address = {Ithaca, New York},
  topic = {nl-semantics;resultative-constructions;}
  }

@article{ meier_c:2003a,
  author = {C\'ecile Meier},
  title = {The Meaning of `Too', `Enough', and `So$\ldots$that'\,},
  journal = {Natural Language Semantics},
  year = {2003},
  volume = {11},
  number = {1},
  pages = {69--107},
  topic = {nl-semantics;comparatives;conditionals;}
  }

@book{ meinong:1917a,
  author = {Alexius Meinong},
  title = {On Emotional Presentation},
  publisher = {Northwestern University Press},
  address = {Evanston},
  year = {1972},
  note= {Originally published as {\em {\"U}ber
    Emotionale Pr{\"a}sentation}, Vienna, 1917},
  topic = {emotion;}
    }

@inproceedings{ meiri:1991a,
  author = {Itay Meiri},
  title = {Combining Qualitative and Quantitative Constraints in Temporal
  	Reasoning},
  booktitle = {Proceedings of the Ninth National Conference on
              Artificial Intelligence},
  year = {1991},
  editor = {Thomas Dean and Kathleen McKeown},
  pages = {260--267},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  xref = {See meiri:1996a for journal publication.},
  topic = {temporal-reasoning;qualitative-reasoning;kr;krcourse;
  	combined-qualitative-and-quantitative-reasoning;}
  }

@article{ meiri:1996a,
  author = {Itay Meiri},
  title = {Combining Qualitative and Quantitative Constraints
  	in Temporal Reasoning},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {87},
  number = {1--2},
  pages = {343--385},
  rtnote = {Use in KR Course?},
  xref = {See meiri:1991a for conference publication.},
  topic = {temporal-reasoning;qualitative-reasoning;kr;krcourse;
  	combined-qualitative-and-quantitative-reasoning;}
  }

@article{ meiri-etal:1996a,
  author = {Itay Meiri and Rina Dechter and Judea Pearl},
  title = {Uncovering Trees in Constraint Networks},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {86},
  number = {2},
  pages = {245--267},
  acontentnote = {Abstract:
     This paper examines the possibility of removing redundant
     information from a given knowledge base and restructuring it in
     the form of a tree to enable efficient problem-solving routines.
     We offer a novel approach that guarantees removal of all
     redundancies that hide a tree structure.  We develop a
     polynomial-time algorithm that, given an arbitrary binary
     constraint network, either extracts (by edge removal) a precise
     tree representation from the path-consistent version of the
     network or acknowledges that no such tree can be extracted.  In
     the latter case, a tree is generated that may serve as an
     approximation to the original network. },
  topic = {problem-solving;constraint-networks;}
  }

@book{ meister:1991a,
  author = {David Meister},
  title = {Psychology of System Design},
  publisher = {Elsevier},
  year = {1991},
  address = {Amsterdam},
  ISBN = {0444883789},
  rtnote = {UMich Graduate Library, TA 168 .M4411 1991.},
  topic = {HCI;}
 }

@article{ meixner:2004a,
  author = {Uwe Meixner},
  title = {Causation in a New Old Key},
  journal = {Studia Logica},
  year = {2004},
  volume = {76},
  number = {1},
  pages = {343--383},
  contentnote = {Logical form of sentences involving causality.
  		Meixner thinks that event and sentential formulations
		don't differ significantly},
  topic = {causality;events;}
  }

@inproceedings{ mela-fouquere:1996a,
  author = {Augusta Mela and Christophe Fouquer\'e},
  title = {Coordination as a Direct Process},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {124--131},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {coordination;HPSG;}
 }

@inproceedings{ melamed:1995a,
  author = {I. Dan Melamed},
  title = {Automatic Evaluation and Uniform Filter Cascades for
  	Inducing N-Best Translation Lexicons},
  booktitle = {Proceedings of the Third Workshop on Very
	Large Corpora},
  year = {1995},
  editor = {David Yarovsky and Kenneth Church},
  pages = {184--198},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  rtnote = {In RHT collection.},
  topic = {corpus-linguistics;word-sequence-probabilities;
		dictionary-construction;machine-learning;machine-translation;
		computational-lexicography;}
  }

@incollection{ melamed:1996a,
  author = {I. Dan Melamed},
  title = {A Geometric Approach to Mapping Bitext
			Correspondence},
  booktitle = {Proceedings of the Conference on Empirical
		Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1996},
  editor = {Eric Brill and Kenneth Church},
  pages = {1--12},
  address = {Somerset, New Jersey},
  topic = {multilingual-corpora;text-alignment;}
  }

@incollection{ melamed:1997a,
  author = {I. Dan Melamed},
  title = {Automatic Discovery of Non-Compositional
	Compounds in Parallel Data},
  booktitle = {Proceedings of the Second Conference on Empirical
	Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Claire Cardie and Ralph Weischedel},
  pages = {97--108},
  address = {Somerset, New Jersey},
  topic = {empirical-methods-in-nlp;corpus-tagging;idioms;}
  }

@inproceedings{ melamed:1997b,
  author = {I. Dan Melamed},
  title = {A Word-to-Word Model of Translational Equivalence},
  booktitle = {Proceedings of the Thirty-Fifth Annual Meeting of the
		{A}ssociation for {C}omputational {L}inguistics and Eighth
		Conference of the {E}uropean Chapter of the {A}ssociation
		for {C}omputational {L}inguistics},
  year = {1997},
  editor = {Philip R. Cohen and Wolfgang Wahlster},
  pages = {490--497},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {machine-translation;}
 }

@inproceedings{ melamed:1997c,
  author = {I. Dan Melamed},
  title = {A Portable Algorithm for Mapping Bitext Correspondence},
  booktitle = {Proceedings of the Thirty-Fifth Annual Meeting of the
		{A}ssociation for {C}omputational {L}inguistics and Eighth
		Conference of the {E}uropean Chapter of the {A}ssociation
		for {C}omputational {L}inguistics},
  year = {1997},
  editor = {Philip R. Cohen and Wolfgang Wahlster},
  pages = {305--312},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {text-alignment;}
 }

@article{ melamed:2000a,
  author = {I. Dan Melamed},
  title = {Models of Translation Equivalence among Words},
  journal = {Computational Linguistics},
  year = {2000},
  volume = {26},
  number = {2},
  pages = {221--249},
  topic = {machine-translation;statistical-nlp;multilingual-corpora;}
  }

@article{ melamed-li_h:1999a,
  author = {I. Dan Melamed and Hang Li},
  title = {Review of \emph{{A}mbiguity Resolution in Language
		Learning: Computational and Cognitive Models},
		by {H}inrich {S}ch\"utze},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {25},
  number = {3},
  pages = {436--439},
  topic = {lexical-disambiguation;L1-language-learning;
		disambiguation;ambiguity;}
  }

@book{ melcuk:1979a,
  author = {Igor A. Mel\v{c}uk},
  title = {Studies in Dependency Syntax},
  publisher = {Karoma Publishers},
  year = {1979},
  address = {Ann Arbor},
  ISBN = {0897200012},
  rtnote = {UMich Graduate Library, P162 .M41.},
  topic = {nl-syntax;}
 }

@book{ melcuk:1982a,
  author = {Igor A. Melcuk},
  title = {Towards a Language of Linguistics: A System of Formal Notions
    for Theoretical Morphology},
  publisher = {W. Fink},
  year = {1982},
  address = {Munich},
  ISBN = {3770519655 (pbk.)},
  note = {Revised and edited by P. Luelsdorff.},
  rtnote = {UMich Graduate Library, 800.8 I624 v.44.},
  topic = {morphology;}
 }

@book{ melcuk:1988a,
  author = {Igor A. Mel\v{c}uk},
  title = {Dependency Syntax: Theory and Practice},
  publisher = {State University Press of New York},
  year = {1988},
  address = {Albany, New York},
  ISBN = {0887064507},
  rtnote = {UMich Graduate Library, P162 .M451 1988.},
  topic = {dependency-grammar;}
 }

@book{ melcuk-pertsov:1987a,
  author = {Igor A. Melcuk and Nikolaj V. Pertsov},
  title = {Surface Syntax Of English: A Formal Model within the
    Meaning-Text Framework},
  publisher = {Benjamins Publishing Co.},
  year = {1987},
  address = {Amsterdam},
  ISBN = {9027215154 (Netherlands : alk. paper) :},
  rtnote = {UMich Graduate Library, P1 .L74 v.13.},
  topic = {nl-syntax;English-language;}
 }

@article{ melcuk-polguere:1998a,
  author = {Igor~A. Mel'\v{c}uk and Alain Polgu\`{e}re},
  title = {A Formal Lexicon in Meaning-Text Theory (Or How to Do
  	Lexica with Words)},
  journal = {Computational Linguistics},
  year = {1987},
  volume = {13},
  number = {3--4},
  missinginfo = {pages},
  topic = {lexicon;}
  }

@book{ mele:1992a,
  author = {Alfred R. Mele},
  title = {Springs of Action: Understanding Intentional Behavior},
  publisher = {Oxford University Press},
  year = {1992},
  address = {Oxford},
  topic = {action;intention;}
 }

@book{ mele:1995a,
  author = {Alfred R. Mele},
  title = {Autonomous Agents: From Self-Control
  	to Autonomy},
  publisher = {Oxford University Press},
  year = {1995},
  address = {Oxford},
  xref = {Review: fischer_jm:1999a.},
  topic = {action;volition;akrasia;}
 }

@article{ mele:1995b,
  author = {Alfred R. Mele},
  title = {Motivation: Essentially Motivation-Constituting Attitudes},
  journal = {The Philosophical Review},
  year = {1995},
  volume = {104},
  number = {3},
  pages = {387--423},
  topic = {emotion;practical-reasoning;motivation;}
  }

@incollection{ mele:1997a,
  author = {Alfred R. Mele},
  title = {Agency and Mental Action},
  booktitle = {Philosophical Perspectives 11: Mind, Causation, and World},
  publisher = {Blackwell Publishers},
  year = {1997},
  editor = {James E. Tomberlin},
  pages = {231--249},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {action;philosophy-of-mind;}
  }

@incollection{ mele:2000a,
  author = {Alfred R. Mele},
  title = {Goal-Directed Action: Teleological Explanations, Causal
  		Theories, and Deviance},
  booktitle = {Philosophical Perspectives 14: Action and Freedom},
  publisher = {Blackwell Publishers},
  year = {2000},
  editor = {James E. Tomberlin},
  pages = {267--277},
  address = {Oxford},
  topic = {action;teleology;}
  }

@book{ mele:2000b,
  author = {Alfred R. Mele},
  title = {Self-Deception Unmasked},
  publisher = {Princeton University Press},
  year = {2000},
  address = {Princeton, New Jersey},
  ISBN = {069105741 (Pbk)},
  topic = {self-deception;}
 }

@article{ mele:2003a,
  author = {Alfred R. Mele},
  title = {Agents' Abilities},
  journal = {No\^us},
  year = {2003},
  volume = {37},
  number = {3},
  pages = {447--470},
  topic = {ability;}
  }

@book{ mele:2006a,
  author = {Alfred R. Mele},
  title = {Free Will and Luck},
  publisher = {Oxford University Press},
  year = {2006},
  address = {Oxford},
  xref = {Review: tognazzi:2009a.},
  topic = {freedom;volition;}
 }

@article{ mele:2007a,
  author = {Alfred R. Mele},
  title = {Persisting Intentions},
  journal = {No\^us},
  year = {2007},
  volume = {41},
  number = {4},
  pages = {735--757},
  topic = {intention;}
  }

@article{ melemed:1999a,
  author = {I. Dan Melemed},
  title = {Bitext Maps and Alignment via Pattern Recognition},
  journal = {Computational Linguistics},
  year = {1999},
  volume = {25},
  number = {1},
  pages = {107--130},
  topic = {text-alignment;pattern-recognition;}
  }

@article{ melia:2000a,
  author = {Joseph Melia},
  title = {Weaseling Away the Indispensability Argument},
  journal = {Mind},
  year = {2000},
  volume = {109},
  number = {435},
  pages = {455--479},
  rtnote = {In RHT collection.},
  topic = {philosophical-ontology;philosophical-realism;}
  }

@article{ melis-etal:2008a,
  author = {Erica Melis and Andreas Meier and J\"org Siekmann},
  title = {Proof Planning with Multiple Strategies},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {6--7},
  pages = {656--684},
  topic = {theorem-proving;proof-planning;}
  }

@article{ melis-siekmann:1999a,
  author = {Erica Melis and Jorg Siekmann},
  title = {Knowledge-Based Proof Planning},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {115},
  number = {1},
  pages = {65--105},
  topic = {theorem-proving;hierarchical-problem-solving;
  	hierarchical-planning;declarative-search-control;}
  }

@book{ mellish:1985a,
  author = {Chris Mellish},
  title = {Computer Interpretation of Natural Language Descriptions},
  publisher = {Ellis Horwood},
  year = {1985},
  address = {Chichester, England},
  topic = {nl-interpretation;}
 }

@article{ mellish:1991a,
  author = {Chris Mellish},
  title = {The Description Identification Problem},
  journal = {Artificial Intelligence},
  year = {2991},
  volume = {52},
  number = {2},
  pages = {151--167},
  acontentnote = {Abstract:
     In this note we introduce a notion of description identification
     which generalises both concept learning (as conceptualised by
     Winston, Young et al. and Mitchell) and also incremental
     description refinement (as described by Bobrow and Webber).
     Assuming certain properties of the description space involved,
     there is an algorithm for solving the more general description
     identification problem, which extends the version space strategy
     of Mitchell, and we present this.
      The work described here can be regarded as a further
     formalisation and development of the work of Mitchell on version
     space representation and the work of Young et al. and Plotkin on
     description spaces. Plotkin's unpublished work presented a
     similar, though slightly more restricted, approach to the
     concept learning part of our subject and gave examples of types
     of description spaces that connect the work with the earlier
     work of Winston.},
  topic = {version-spaces;concept-learning;}
  }

@incollection{ mellish-etal:1996a,
  author = {Chris Mellish and Ehud Reiter and John Levine},
  title = {Natural Language Generation Applications to Technical
  	Documentation: A View Through {IDAS}},
  booktitle = {Trends in Natural Language Generation, An Artificial
  		Intelligence Perspective, Fourth {E}uropean Workshop,
		{EWNLG} '93, Pisa, Italy, April 28-30, 1993, Selected
		Papers},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = {1036},
  year = {1996},
  editor = {Giovanni Adorni and Michael Zock},
  pages = {368--382},
  address = {New York},
  topic = {nl-generation;}
  }

@incollection{ mellish-etal:1998a,
  author = {Chris Mellish and Alisdair Knott and Jon Oberlander and
		Mick O'Donnell},
  title = {Experiments Using Stochastic Search for Text Planning},
  booktitle = {Proceedings of the Ninth International Workshop
  	on Natural Language Generation},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Eduard Hovy},
  pages = {98--107},
  address = {New Brunswick, New Jersey},
  topic = {nl-generation;nl-generation-algorithms;stochastic-search;
  	text-planning;}
  }

@incollection{ mellish-etal:1998b,
  author = {Chris Mellish and Mick O'Donnell and Jon Oberlander
	and Alistair Knott},
  title = {An Architecture for Opportunistic Text Generation},
  booktitle = {Proceedings of the Ninth International Workshop
  	on Natural Language Generation},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Eduard Hovy},
  pages = {28--37},
  address = {New Brunswick, New Jersey},
  topic = {nl-generation;}
  }

@article{ mellish-pan_jz:2008a,
  author = {Chris Mellish and Jeff Z. Pan},
  title = {Natural Language Directed Inference from Ontologies},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {172},
  number = {10},
  pages = {1285--1315},
  topic = {nl-generation;ontologies;explanation;content-determination;}
  }

@inproceedings{ mellish-reiter_e:1993a,
  author = {Chris Mellish and Ehud Reiter},
  title = {Using Classification as a Programming Language},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {696--701},
  publisher = {Morgan Kaufmann},
  rtnote = {In RHT collection.},
  address = {San Mateo, California},
  commentnote = {Use of a classifier in generation and as gp programming
  	language.},
  rtnote = {Use in KR class.},
  topic = {kr;taxonomic-logics-applications;kr-course;}
  }

@book{ mellor_dh:1973a,
  author = {D. Hugh Mellor},
  title = {The Matter of Chance},
  publisher = {Oxford University Press},
  year = {1973},
  address = {Oxford},
  missinginfo = {A's 1st name.},
  rtnote = {Needs better topic classification.},
  topic = {chance;}
 }

@article{ mellor_dh:1973b,
  author = {D. Hugh Mellor},
  title = {In Defense of Dispositions},
  journal = {The Philosophical Review},
  year = {1973},
  volume = {83},
  pages = {157--181},
  missinginfo = {A's 1st name, number},
  topic = {dispositions;}
  }

@article{ mellor_dh:1973c,
  author = {D. Hugh Mellor},
  title = {How to Believe a Conditional},
  journal = {The Journal of Philosophy},
  year = {1973},
  volume = {70},
  number = {5},
  pages = {233--248},
  missinginfo = {A's 1t name.},
  topic = {conditionals;}
  }

@book{ mellor_dh:1980a,
  editor = {D. Hugh Mellor},
  title = {Prospects For Pragmatism : Essays In Memory of
  	{F}.{P}. {R}amsey},
  publisher = {Cambridge University Press},
  year = {1980},
  address = {Cambridge, England},
  ISBN = {0521225485},
  rtnote = {UMich Graduate Library, B1649.R18 P96},
  contentnote = {TC:
  	1. S. Haack, "Is truth flat or bumpy?"
	2. C.S. Chihara, "Ramsey's theory of types"
	3. B. Loar, "Ramsey's theory of belief and truth"
	4. J. Skorupski, "Ramsey on Belief"
	5. C. Hookway, "Inference, partial belief, and psychological
		laws"
	6. B. Skyrms, "Higher order degrees of belief"
	7. D. H. Mellor, "Consciousness and degrees of belief"
	10. S. Blackburn, "Opinions and chances"
	11. R. E. Grandy, "Ramsey, reliability, and knowledge"
	12. L. J. Cohen, "The problem of natural laws"
	13. J. Giedymin, "Hamilton's method in geometrical optics and
		Ramsey's view of theories"
   },
  topic = {truth;F.P.Ramsey;philosophy-of-science;}
 }

@book{ mellor_dh:1990a,
  editor = {D. Hugh Mellor},
  title = {Philosophical Papers},
  publisher = {Cambridge University Press},
  year = {1990},
  address = {Cambridge, England},
  missinginfo = {A's 1st name.},
  note = {Collected Papers of {F}rank {P}. {R}amsey.},
  topic = {logic-classics;}
 }

@book{ mellor_dh:1995a,
  author = {D. Hugh Mellor},
  title = {The Facts of Causation},
  publisher = {Routledge},
  year = {1995},
  address = {London},
  missinginfo = {A's 1st name.},
  xref = {Review: dowe:1998a.},
  topic = {causality;chance;}
 }

@book{ mellor_dh-oliver_a:1997a,
  editor = {D. Hugh Mellor and Alex Oliver},
  title = {Properties},
  publisher = {Oxford University Press},
  year = {1997},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {property-theory;metaphysics;}
 }

@book{ melser:2004a,
  author = {Derek Melser},
  title = {The Act of Thinking},
  publisher = {The {MIT} Press},
  year = {2004},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-13446-2},
  topic = {philosophy-of-mind;}
 }

@article{ meltzer:1970a,
  author = {Bernard Meltzer},
  title = {The Semantics of Induction and the Possibility of
  	Complete Systems of Inductive Inference},
  journal = {Artificial Intelligence},
  year = {1970},
  volume = {1},
  number = {3--4},
  pages = {189--192},
  topic = {indiction;machine-learning;}
  }

@book{ meltzer:1971a,
  editor = {Bernard Meltzer},
  title = {Machine Intelligence 6},
  publisher = {Edinburgh University Press},
  year = {1971},
  address = {Edinburgh},
  ISBN = {085224195X},
  topic = {AI-survey;}
 }

@book{ meltzer-michie:1969a,
  editor = {Bernard Meltzer and Donald Michie},
  title = {Machine Intelligence 4},
  publisher = {Edinburgh University Press},
  year = {1969},
  address = {Edinburgh},
  ISBN = {0852240627},
  topic = {AI-survey;}
 }

@book{ meltzer-michie:1969b,
  editor = {Bernard Meltzer and Donald Michie},
  title = {Machine Intelligence 5},
  publisher = {Edinburgh University Press},
  year = {1969},
  address = {Edinburgh},
  ISBN = {0852241763},
  topic = {AI-survey;}
 }

@book{ meltzer-michie:1972a,
  editor = {Bernard Meltzer and Donald Michie},
  title = {Machine Intelligence 7},
  publisher = {Edinburgh University Press},
  year = {1972},
  address = {Edinburgh},
  ISBN = {0852242344},
  topic = {AI-survey;}
 }

@article{ menczer-etal:2008a,
  author = {Filippo Menczer and Le-Shin Wu and Ruj Akavipat},
  title = {Intelligent Peer Networks for Collaborative Web Search},
  journal = {The {AI} Magazine},
  year = {2008},
  volume = {29},
  number = {3},
  pages = {35--46},
  topic = {web-search;}
  }

@incollection{ mendelsohn_rl:1979a,
  author = {Richard L. Mendelsohn},
  title = {Rigid Designation and Informative Identity Sentences},
  booktitle = {Midwest Studies in Philosophy Volume {V}:
  	Studies in Metaphysics},
  publisher = {University of Minnesota Press},
  year = {1979},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {307--320},
  address = {Minneapolis},
  topic = {identity;proper-names;rigid-designators;}
  }

@book{ mendelson_e:1964a,
  author = {Elliott Mendelson},
  title = {Introduction to Mathematical Logic},
  publisher = {D. Van Nostrand Company, Inc.},
  year = {1964},
  address = {Princeton},
  topic = {logic-intro;}
 }

@book{ mendelson_e:1973a,
  author = {Elliott Mendelson},
  title = {Number Systems and the Foundations of Analysis},
  publisher = {Academic Press},
  year = {1973},
  address = {New York},
  ISBN = {0124908500},
  rtnote = {UMich Science, QA 241 .M53.},
  topic = {formalizations-of-arithmetic;logic-intro;}
 }

@book{ mendelson_e:1987a,
  author = {Elliott Mendelson},
  edition = {3},
  title = {Introduction to Mathematical Logic},
  publisher = {Wadsworth & Brooks/Cole Advanced Books \& Software,},
  year = {1987},
  address = {Monterey},
  ISBN = {0534066240},
  rtnote = {UMich Science, QA 9 .M53 1987.},
  topic = {logic-intro;}
 }

@incollection{ mendelson_m:2000a,
  author = {Michael Mendelson},
  title = {Saint {A}ugustine},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  editor = {Edward N. Zalta},
  url = {http://plato.stanford.edu/archives/win2000/entries/augustine/},
  year = {2000},
  quarter = {Winter},
  rtnote = {In RHT collection.},
  topic = {Augustine;}
}

@article{ mendez_jm:1987a,
  author = {Jos\'e M. M\'endez},
  title = {A {R}outley-{M}eyer Semantics for Converse {A}ckermann
  	Property},
  journal = {Journal of Philosophical Logic},
  year = {1987},
  volume = {16},
  number = {1},
  pages = {65--76},
  topic = {relevance-logic;}
  }

@article{ mendez_jm:1988a,
  author = {Jos\'e M. M\'endez},
  title = {The Compatibility of Relevance and Mingle},
  journal = {Journal of Philosophical Logic},
  year = {1988},
  volume = {17},
  number = {3},
  pages = {279--297},
  topic = {relevance-logic;proof-theory;}
  }

@article{ mendez_jm-robles:2009a,
  author = {Jose M. M\'endez and Gemma Robles},
  title = {The Basic Constructive Logic for Absolute Consistency},
  journal = {Journal of Logic, Language, and Information},
  year = {2009},
  volume = {18},
  number = {2},
  pages = {199--216},
  topic = {constructive-logics;}
  }

@article{ mendez_jm-salto:1998a,
  author = {Jos\'e M. Mendez and Francisco Salto},
  title = {A Natural Negation Completion of {U}rquhart's
		Many-Valued Logic {C}},
  journal = {Journal of Philosophical Logic},
  year = {1998},
  volume = {27},
  number = {1},
  pages = {75--84},
  topic = {multivalued-logic;}
  }

@article{ menendezbenito:2010a,
  author = {Paula Men\'endez-Benito},
  title = {On Universal Free Choice Items},
  journal = {Natural Language Semantics},
  year = {2010},
  volume = {18},
  number = {1},
  pages = {33--64},
  topic = {nl-semantics;indefiniteness;free-choice-`any/or';}
  }

@incollection{ mengin:1998a,
  author = {J\'erome Mengin},
  title = {On the Logic of Exceptions},
  booktitle = {{ECAI}98, Thirteenth European Conference on
  	Artificial Intelligence},
  publisher = {John Wiley and Sons},
  year = {1998},
  editor = {Henri Prade},
  pages = {23--27},
  address = {Chichester},
  topic = {nonmonotonic-reasoning;}
  }

@article{ mengshoel:2008a,
  author = {Ole J. Mengshoel},
  title = {Understanding the Role of Noise in Stochastic Local
  		Search: Analysis and Experiments},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {8--9},
  pages = {955--990},
  topic = {stochastic-search;}
  }

@article{ mengshoel-etal:2006a,
  author = {Ole J. Mengshoel and David C. Wilkins and Dan Roth},
  title = {Controlled Generation of Hard and Easy {B}ayesian Networks:
  		Impact on Maximum Clique Size in Tree Clustering},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {16--17},
  pages = {1137--1174},
  topic = {Bayesian-networks;Bayesian-network-construction;}
  }

@article{ menzel:1986a,
  author = {Christopher Menzel},
  title = {On Set Theoretic Possible Worlds},
  journal = {Analysis},
  year = {1986},
  missinginfo = {number, volume, pages},
  topic = {foundations-of-possible-worlds;intensional-paradoxes;}
  }

@article{ menzel:1990a,
  author = {Christopher Menzel},
  title = {Actualism, Ontological Commitment and Possible
  	World Semantics},
  journal = {Synth\'ese},
  year = {1990},
  volume = {85},
  number = {3},
  pages = {355--389},
  topic = {possible-worlds-semantics;metaphysics;
  	philosophical-ontology;}
  }

@article{ menzel:1991a,
  author = {Christopher Menzel},
  title = {The True Modal Logic},
  journal = {Journal of Philosophical Logic},
  year = {1991},
  volume = {20},
  number = {4},
  pages = {331--374},
  topic = {modal-logic;Prior;}
  }

@article{ menzel:1993a,
  author = {Christopher Menzel},
  title = {Singular Propositions and Modal Logic},
  journal = {Philosophical Topics},
  year = {1994},
  volume = {21},
  number = {2},
  pages = {113--148},
  topic = {modal-logic;reference;singular-propositions;}
  }

@incollection{ menzel:1993b,
  author = {Christopher Menzel},
  title = {The Proper Treatment of Predication
		in Fine-Grained Intensional Logic},
  booktitle = {Philosophical Perspectives, Volume 7:
  	Language and Logic},
  publisher = {Blackwell Publishers},
  year = {1993},
  editor = {James E. Tomberlin},
  pages = {61--87},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {hyperintensionality;}
  }

@inproceedings{ menzel:1997a,
  author = {Christopher Menzel},
  title = {Logic for an Objective Conception of Context},
  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 = {136--145},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {context;}
  }

@article{ menzel:1999a,
  author = {Christopher Menzel},
  title = {The Objective Conception of Context and Its Logic},
  journal = {Minds and Machines},
  year = {1999},
  volume = {9},
  number = {1},
  pages = {29--56},
  topic = {context;}
  }

@article{ menzel:2000a,
  author = {Christopher Menzel},
  title = {Review of \emph{{L}ogic and Reality: Essays on the Legacy of {A}rthur
  	{P}rior}, edited by {B}. {J}ack {C}opeland},
  journal = {The Philosophical Review},
  year = {2000},
  volume = {109},
  number = {2},
  pages = {281--286},
  xref = {Review of copeland:1996a.},
  topic = {philosophical-logic;temporal-logic;modal-logic;Prior;}
  }

@book{ menzel-daluisio:2000a,
  author = {Peter Menzel and Faith D'Aluisio},
  title = {Robo Sapiens},
  publisher = {The {MIT} Press},
  year = {2000},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.  Misc Shelf.},
  topic = {robotics;popular-AI;}
 }

@article{ menzies:2004a,
  author = {Peter Menzies},
  title = {Causal Models, Token Causation, and Processes},
  journal = {Philosophy of Science},
  year = {2004},
  volume = {71},
  number = {5},
  pages = {820--832},
  note = {Philosophy of Science: Proceedings of the
  	2002 Biennial Meeting of the
	Philosophy of Science Association, Part 2: Symposia
	Papers.  Edited by Sandra D. Mitchell.},
  topic = {causality;}
  }

@incollection{ merand:1999a,
  author = {S\'everine M\'erand and Charles Tijus and S\'ebastien
			Poitrenaud},
  title = {The Effect of Context Complexity on
			the Memorization of Objects},
  booktitle = {Modeling and Using Contexts: Proceedings of
	the Second International and Interdisciplinary
	Conference, {CONTEXT}'99},
  publisher = {Springer-Verlag},
  year = {1999},
  editor = {Paolo Bouquet and Luigi Serafini and Patrick
	Br\'ezillon	and Massimo Benerecetti and Francesca
	Castellani},
  pages = {487--490},
  address = {Berlin},
  topic = {context;cognitive-psychology;}
  }

@book{ mercer_c:2001a,
  author = {Christia Mercer},
  title = {Leibniz's Metaphysics:  Its Origins and Devellopment},
  publisher = {Cambridge University Press},
  year = {2001},
  address = {Cambridge, England},
  ISBN = {0521403014},
  xref = {Review: murray_mj:2003a.},
  rtnote = {UMich GRADUATE LIBRARY, B 2599 .M7 M471 2001.},
  topic = {Leibniz;}
 }

@book{ mercer_n:2000a,
  author = {Neil Mercer},
  title = {Words and Minds: How We Use Language to Think Together},
  publisher = {Routledge},
  year = {2000},
  address = {New York},
  ISBN = {041520659-6 (paperback)},
  topic = {pragmatics;}
 }

@phdthesis{ mercer_re:1987a,
  author = {Robert E. Mercer},
  title = {A Default Logic Approach to the Derivation of
  	Natural Language Presuppositions},
  school = {Department of Computer Science, University of British
  	Columbia},
  year = {1987},
  type = {Ph.{D}. Dissertation},
  address = {Vancouver},
  note = {Available as Technical Report TR 87-35, Department of
  	Computer Science, University of British Columbia.},
  topic = {presupposition;pragmatics;nm-ling;}
 }

@inproceedings{ mercer_re:1988a,
  author = {Robert E. Mercer},
  title = {Solving Some Persistent Presupposition Problems},
  booktitle = {Proceedings of the Twelfth International Conference
  	on Computational Linguistics},
  year = {1988},
  pages = {420--425},
  missinginfo = {editor, organization, address, publisher},
  topic = {presupposition;pragmatics;nm-ling;}
  }

@inproceedings{ mercer_re:1988b,
  author = {Robert E. Mercer},
  title = {Using Default Logic to Derive Natural Language
  	Presupposition},
  booktitle = {Proceedings of the Canadian Society
  	for Computational Studies of Intelligence Conference},
  year = {1988},
  missinginfo = {pages},
  topic = {presupposition;pragmatics;nm-ling;}
  }

@article{ mercer_re:1992a,
  author = {Robert E. Mercer},
  title = {Default Logic: Towards a Common Logical Semantics for
  	Presupposition and Entailment},
  journal = {Journal of Semantics},
  year = {1992},
  volume = {9},
  number = {3},
  pages = {223--250},
  topic = {presupposition;nonmonotonic-logic;default-logic;}
  }

@article{ mercer_re:2001a,
  author = {Robert E. Mercer},
  title = {Review of \emph{{N}atural Language Processing and Knowledge
  	Representation: Language For Knowledge and Knowledge for
	Language}, by {L}ucja {M}. {I}wa\'nska and {S}tuart {C}. {S}hapiro},
  journal = {Computational Linguistics},
  year = {2001},
  volume = {27},
  number = {2},
  pages = {295--297},
  xref = {Review of: iwanska-shapiro_sc:2000a.},
  topic = {nl-kr;}
  }

@inproceedings{ mercer_re-reiter_r:1982a,
  author = {Robert E. Mercer and Raymond Reiter},
  title = {The Representation of Presuppositions Using Defaults},
  booktitle = {Proceedings of the Fourth National Conference of the
  	Canadian Society for Computational Studies of Intelligence},
  year = {1982},
  missinginfo = {pages},
  topic = {presupposition;pragmatics;nm-ling;}
  }

@article{ merchant:2004a,
  author = {Jason Merchant},
  title = {Fragments and Ellipsis},
  journal = {Linguistics and Philosophy},
  year = {2004},
  volume = {27},
  number = {6},
  pages = {661--739},
  topic = {ellipsis;}
  }

@article{ mercier:1994a,
  author = {Ad\`ele Mercier},
  title = {Consumerism and Langyuage Acquisition},
  journal = {Linguistics and Philosophy},
  year = {1994},
  volume = {17},
  number = {5},
  pages = {499--519},
  topic = {L1-language-learning;philosophy-of-language;}
  }

@incollection{ meredith-prior_an:1996a,
  author = {Carrew Meredith and Arthur N. Prior},
  title = {Interpretations of Different Modal Logics in the `Property
  	Calculus'\, },
  booktitle = {Logic and Reality: Essays on the Legacy of {A}rthur
  	{P}rior},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Jack Copeland},
  pages = {133--134},
  address = {Oxford},
  topic = {modal-logic;}
  }

@incollection{ merenciano-morrill:1997a,
  author = {Josep M. Merenciano and Glyn V. Morrill},
  title = {Generation as Deduction on Labelled Proof Nets},
  booktitle = {{LACL}'96: First International Conference on
      Logical Aspects of Computational Linguistics},
  publisher = {Springer-Verlag},
  year = {1997},
  editor = {Christian Retor/'e},
  pages = {310--328},
  address = {Berlin},
  topic = {logic-and-computational-linguistics;nl-generation;}
  }

@book{ mereu:1999a,
  editor = {Lunella Mereu},
  title = {Boundaries of Morphology and Syntax},
  publisher = {J. Benjamins},
  year = {1999},
  address = {Amsterdam},
  ISBN = {1556199570},
  rtnote = {UMich Graduate Library, P 290 .B681 1999.},
  topic = {syntax-morphology-interface;}
}

@article{ merin:1992a,
  author = {Arthur Merin},
  title = {Permission Sentences Stand in the Way of {B}oolean
  	and Other Lattice-Theoretic Semantics},
  journal = {Journal of Semantics},
  year = {1992},
  volume = {9},
  number = {2},
  pages = {95--162},
  topic = {nl-semantics;permission;}
  }

@inproceedings{ merin:1997a,
  author = {Arthur Merin},
  title = {Communicative Actions as Bargaining: Utility, Relevance,
  	Elementary Social Acts},
  booktitle = {Working Notes: {AAAI} Fall Symposium on Communicative
		Action in Humans and Machines},
  year = {1997},
  pages = {59--67},
  organization = {{AAAI}},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  editor = {David R. Traum},
  rtnote = {In RHT collection.},
  topic = {speech-acts;pragmatics;discourse;pragmatics;}
  }

@article{ merkle-mihailovic:2004a,
  author = {Wolfgang Merkle and Nehad Mihailovi\v{c}},
  title = {On the Construction of Effectively Random Sets},
  journal = {Journal of Symbolic Logic},
  year = {2004},
  volume = {69},
  number = {3},
  pages = {862--878},
  topic = {randomness;}
  }

@book{ merlo:1996a,
  author = {Paola Merlo},
  title = {Parsing with Principles and Classes of Information},
  publisher = {Kluwer Academic Publishers},
  year = {1996},
  address = {Dordrecht},
  topic = {parsing-algorithms;nl-processing;principle-based-parsing;}
 }

@incollection{ merlo-etal:1997a,
  author = {Paola Merlo and Matthew W. Crocker and Cathy Berthouzoz},
  title = {Learning Methods for Combining Linguistic
	Indicators to Classify Verbs},
  booktitle = {Proceedings of the Second Conference on Empirical
	Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Claire Cardie and Ralph Weischedel},
  pages = {149--155},
  address = {Somerset, New Jersey},
  topic = {empirical-methods-in-nlp;disambiguation;prepositional-attachment;
		machine-learning;corpus-statistics;}
  }

@article{ merlo-stevenson_s:2001a,
  author = {Paola Merlo and Suzanne Stevenson},
  title = {Automatic Verb Classification Based on Statistical
  	Distributions of Argument Structure},
  journal = {Computational Linguistics},
  year = {2001},
  volume = {27},
  number = {3},
  pages = {373--408},
  topic = {word-classification;argument-structure;}
  }

@article{ merman:1981a,
  author = {N. David Merman},
  title = {Boojums All the Way Through: Communicating Science in a
  	Prosaic Age},
  journal = {Physics Today},
  year = {1981},
  missinginfo = {volume, number, pages},
  rtnote = {In RHT collection.},
  topic = {science-commentary;}
  }

@article{ merman:1990a,
  author = {N. David Mermin},
  title = {Review of `The Emperor's New Mind', by {R}oger {P}enrose},
  journal = {American Journal of Physics},
  year = {1990},
  volume = {58},
  pages = {1214--1216},
  missinginfo = {number},
  rtnote = {Quoted in odifreddi:1997a.  Looks readable.  Get this.},
  topic = {foundations-of-cognition;goedels-first-theorem;
  	goedels-second-theorem;philosophy-of-computation;}
  }

@article{ mero:1984a,
  author = {L\'azlo M\'er\"o},
  title = {A Heuristic Search Algorithm with Modifiable Estimate},
  journal = {Artificial Intelligence},
  year = {1984},
  volume = {23},
  number = {1},
  pages = {13--27},
  acontentnote = {Abstract:
     This paper describes an improved version of two previously
     published algorithms in the area: A* and B. The new approach is
     based on considering the estimate ${^h}n$ on node n as
     a variable rather than as a constant. The new algorithm thus
     improves the estimate as it goes on, avoiding some useless node
     expansions. It is proved to never expand more nodes than B or A*
     and to expand a much smaller number of them in some cases.
     Another result of the paper is a proof that no overall optimal
     algorithm exists if the cost of an algorithm is measured by the
     total number of node expansions.
   },
  topic = {search;optimality;AI-algorithms-analysis;A*-algorithm;}
  }

@article{ merricks:2003a,
  author = {Trenton Merricks},
  title = {The End of Counterpart Theory},
  journal = {The Journal of Philosophy},
  year = {2003},
  volume = {100},
  number = {10},
  pages = {521--549},
  topic = {counterpart-theory;}
  }

@article{ merricks:2009a,
  author = {Trenton Merricks},
  title = {Review of \emph{{T}he Structure of Objects}, by {K}athryn
  	{K}oslicki},
  journal = {The Journal of Philosophy},
  year = {2009},
  volume = {106},
  number = {5},
  pages = {301--308},
  topic = {mereology;ontology;}
  }

@article{ merriks:2008a,
  author = {Trenton Merriks},
  title = {Truth and Freedom},
  journal = {The Philosophical Review},
  year = {2008},
  volume = {118},
  number = {1},
  pages = {29--57},
  topic = {future-contingent-propositions;}
  }

@article{ merrill_gh:1975a,
  author = {G.H. Merrill},
  title = {A Free Logic With Intensions as Possible Values of Terms},
  journal = {Journal of Philosophical Logic},
  year = {1975},
  volume = {4},
  number = {3},
  pages = {293--326},
  topic = {reference-gaps;modal-logic;quantifying-in-modality;}
  }

@inproceedings{ merritt-taubenfeld:1991a,
  author = {M.J. Merritt and G. Taubenfeld},
  title = {Knowledge in Shared Memory Systems},
  booktitle = {Proceedings of the Tenth {ACM} Symposium on
  	Principles of Distributed Computing},
  year = {1991},
  pages = {189--200},
  missinginfo = {editor, publisher, A's 1st name},
  topic = {mutual-belief;distributed-systems;epistemic-logic;}
  }

@book{ mertz:1996a,
  author = {D.W. Mertz},
  title = {Moderate Realism and Its Logic},
  publisher = {Yale University Press},
  year = {1996},
  address = {New Haven, Connecticut},
  missinginfo = {A's 1st name.},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {logic-and-ontology;philosophical-ontology;semantic-paradoxes;
  	logical-philosophy;}
 }

@article{ mertz:1999a,
  author = {D.W. Mertz},
  title = {The Logic of Instance Ontology},
  journal = {Journal of Philosophical Logic},
  year = {1999},
  volume = {28},
  number = {1},
  pages = {81--111},
  topic = {philosophical-ontology;semantic-paradoxes;paraconsistency;}
  }

@incollection{ mertzing:1981a,
  author = {Dieter Mertzing},
  title = {Frame Representation and Lexical Semantics},
  booktitle = {Words, Worlds, and Contexts: New Approaches to Word
  	Semantics},
  publisher = {Walter de Gruyter},
  year = {1981},
  editor = {Hans-J\"urgen Eikmeyer and Hannes Rieser},
  pages = {320--342},
  address = {Berlin},
  topic = {lexical-semantics;frames;}
 }

@article{ meseguer_j-etal:1989a,
  author = {Jose Meseguer and Joseph A. {Goguen, Jr.} and Gert Smolka},
  title = {Order-Sorted Unification},
  journal = {Journal of Symbolic Computation},
  year = {1989},
  volume = {8},
  pages = {383--413},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {theorem-proving;extensions-of-resolution;resolution;kr-course;}
  }

@techreport{ meseguer_j-etal:1990a,
  author = {Jose Meseguer and Joseph A. {Goguen, Jr.}},
  title = {Order-Sorted Algebra Solves the Constraint-Selector,
  	Multiple Representation and Coercion Problems},
  institution = {SRI International},
  number = {SRI--CSL--90--06},
  year = {1990},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {theorem-proving;unification-of-FSs;extensions-of-resolution;}
  }

@techreport{ meseguer_j-winkler:1989a,
  author = {Jose Meseguer and Timothy Winkler},
  title = {Parallel Programming in {M}aude},
  institution = {SRI International},
  number = {SRI--CSL--91--09},
  year = {1990},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {theorem-proving;unification-of-FSs;extensions-of-resolution;}
  }

@article{ meseguer_p-torras:2001a,
  author = {Pedro Meseguer and Carme Torras},
  title = {Exploiting Symmetries within Constraint Satisfaction Search},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {129},
  number = {1--2},
  pages = {133--163},
  topic = {constraint-satisfaction;search;symmetry;}
  }

@book{ messing-campbell_r:1999a,
  editor = {Lynn S. Messing and Ruth Campbell},
  title = {Gesture, Speech, and Sign},
  publisher = {Oxford University Press},
  year = {1999},
  address = {Oxford},
  ISBN = {019852451X},
  rtnote = {UMich Graduate Library, P 117 .G4691 1999.},
  topic = {HCI;gestures;}
 }

@book{ messing-campbell_r:1999b,
  editor = {Lynn S. Messing and Ruth Campbell},
  title = {Advances in Artificial Intelligence in Software Engineering},
  publisher = {JAI Press},
  year = {1999},
  address = {Greenwich, Connecticut},
  ISBN = {019852451X},
  rtnote = {UMich Graduate Library, P 117 .G4691 1999.},
  topic = {AI-applications;software-engineering;}
 }

@article{ metcalfe-montagna:2007a,
  author = {George Metcalfe and Franco Montagna},
  title = {Substructural Fuzzy Logics},
  journal = {Journal of Symbolic Logic},
  year = {2007},
  volume = {72},
  number = {4},
  pages = {834--864},
  topic = {substructural-logics;fuzzy-logic;}
  }

@article{ meteer:1991a,
  author = {Marie W. Meteer},
  title = {Bridging the Generation Gap between Text Planning and
  	Linguistic Realization},
  pages = {296--304},
  journal = {Computational Intelligence},
  volume = {7},
  number = {4},
  year = {1991},
  topic = {text-planning;nl-generation;}
  }

@incollection{ meteer:1991b,
  author = {Marie W. Meteer},
  title = {The Implications of Revisions for Natural
     		Language Generation},
  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 = {155--177},
  rtnote = {In RHT collection.},
  topic = {text-revision;nl-generation;}
  }

@inproceedings{ meteer:1992a,
  author = {Marie Meteer},
  title = {Portable Natural Language Generation Using {\sc spokesman}},
  booktitle = {Proceedings of the Third Conference on Applied Natural
  	Language Processing},
  year = {1992},
  pages = {237--238},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  rtnote = {In RHT collection.},
  topic = {nl-generation;}
  }

@techreport{ meteer-etal:1987a,
  author = {Marie W. Meteer and David D. McDonald and S. D. Anderson and D.
  	Forster and L. S. Gay and A. K. Huettner and P. Sibun},
  title = {{MUMBLE-86}: Design and Implementation},
  institution = {COINS, University of Massachusetts},
  number = {87--87},
  year = {1987},
  address = {Amherst, Massachusetts},
  missinginfo = {A's 1st name},
  topic = {nl-generation;}
  }

@incollection{ meteer-iyer:1996a,
  author = {Marie Meteer and Rukmini Iyer},
  title = {Modeling Conversational Speech for Speech Recognition},
  booktitle = {Proceedings of the Conference on Empirical
		Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1996},
  editor = {Eric Brill and Kenneth Church},
  pages = {33--47},
  address = {Somerset, New Jersey},
  topic = {spoken-language-corpora;speech-recognition;
		text-segmentation;}
  }

@book{ metzing:1979a,
  editor = {Dieter Metzing},
  title = {Frame Conceptions and Text Understanding},
  publisher = {Walter de Gruyter},
  year = {1979},
  address = {Berlin},
  rtnote = {HILLMAN	P302 F7 1980},
  topic = {discourse-analysis;}
}

@incollection{ meuers-etal:2002a,
  author = {W. Detmar Meuers and Gerald Penn and Frank Richter},
  title = {A Web-Based
     		Platform for Constraint-Based Grammar Formalisms and
		Parsing},
  booktitle = {Effective Tools and Methodologies for Teaching
  	{NLP} and {CL}},
  publisher = {Association for Computational Linguistics},
  year = {2002},
  editor = {Dragomir Radev and Chris Brew},
  pages = {18--25},
  address = {New Brunswick, New Jersey},
  topic = {nlp-pedagogy;}
  }

@article{ meurers-minnen:1997a,
  author = {W. Detmar Meurers and Guido Minnen},
  title = {A Computational Treatment of Lexical Rules in {HPSG} as
		Covariation in Lexical Entries},
  journal = {Computational Linguistics},
  year = {1997},
  volume = {23},
  number = {4},
  pages = {543--568},
  topic = {HPSG;}
  }

@book{ mey:1993a,
  author = {Jacob L. Mey},
  title = {Pragmatics: An Introduction},
  publisher = {Blackwell Publishers},
  year = {1993},
  address = {Oxford},
  rtnote = {Hillman P99.4 P72M487 1993.  An Introductory Textbook.},
  topic = {pragmatics;}
 }

@phdthesis{ meyer_cf:1983a1,
  author = {Charles F. Meyer},
  title = {A Linguistic Study of {A}merican Punctuation},
  school = {University of Wisconsin-Milwaukee},
  year = {1983},
  xref = {Book publication: meyer_cf:1983a2.},
  topic = {punctuation;}
 }

@book{ meyer_cf:1983a2,
  author = {Charles F. Meyer},
  title = {A Linguistic Study of American Punctuation;},
  publisher = {Peter Lang Publishing Co.},
  year = {1987},
  rtnote = {Out of print.},
  xref = {Dissertation: meyer_cf:1983a1.},
  topic = {punctuation;}
}

@article{ meyer_cf:1986a,
  author = {Charles F. Meyer},
  title = {Punctuation Practice in the {B}rown Corpus},
  journal = {ICAME Newsletter},
  year = {1986},
  pages = {80--95},
  topic = {punctuation;}
 }

@book{ meyer_cf:1987a,
  author = {Charles F. Meyer},
  title = {A Linguistic Study of {A}merican Punctuation},
  publisher = {Peter Lang Publishing Co.},
  year = {1987},
  note = {Out of print.},
  topic = {punctuation;}
 }

@incollection{ meyer_g-beierle:1998a,
  author = {G. Meyer and C. Beierle},
  title = {Dimensions of Types in Logic Programming},
  booktitle = {Automated Deduction: A Basis for Applications.
  	Volume {I}, Foundations: Calculi and Methods},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Wolfgang Bibel and Peter H. Schmidt},
  address = {Dordrecht},
  missinginfo = {A's 1st name, pages},
  topic = {theorem-proving;applied-logic;}
  }

@techreport{ meyer_i-etal:1990a,
  author = {Ingrid Meyer and Boyan Onyshkevych and Lynn Carlson},
  title = {Lexicographic Principles and Design for Knowledge-Based
  	Machine Translation},
  institution = {Center for Machine Translation, Carnegie-Mellon
  	University},
  number = {CMU-CMT-90-118},
  year = {1990},
  address = {Pittsburgh, Pennsylvania},
  rtnote = {In RHT collection.},
  topic = {machine-translation;computational-lexicography;}
  }

@techreport{ meyer_jjc:1989a,
  author = {{John-Jules Ch.} Meyer},
  title = {An Analysis of the {Y}ale Shooting Problem by Means
  	of Dynamic Epistemic Logic},
  institution = {Fakulteit Wiskunde en Informatica, Vrije
		Universiteit Amsterdam},
  number = {IR-201},
  year = {1989},
  address = {Amsterdam},
  rtnote = {In RHT collection.},
  topic = {dynamic-logic;epistemic-logic;Yale-shooting-problem;}
  }

@inproceedings{ meyer_jjc:1999a,
  author = {{John-Jules Ch.} Meyer},
  title = {Dynamic Logic for Reasoning about Actions and Agents},
  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 = {action-formalisms;dynamic-logic;}
  }

@incollection{ meyer_jjc:2000b,
  author = {{John-Jules Ch.} Meyer},
  title = {Dynamic Logic for Reasoning about Actions and Agents},
  booktitle = {Logic-Based Artificial Intelligence},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Jack Minker},
  pages = {281--311},
  address = {Dordrecht},
  topic = {logic-in-AI;dynamic-systems;dynamic-logic;
  	reasoning-about-actions;}
  }

@article{ meyer_jjc-etal:1991a,
  author = {{John-Jules Ch.} Meyer and Wiebe {van der Hoek} and G.A.W.
  	Vreeswijk},
  title = {Epistemic Logic for Computer Science: A Tutorial
  	(Part I)},
  journal = {{EATCS} Bulletin},
  year = {1991},
  volume = {44},
  pages = {242--270},
  missinginfo = {A's 1st name, number},
  topic = {epistemic-logic;}
  }

@article{ meyer_jjc-etal:1991b,
  author = {{John-Jules Ch.} Meyer and Wiebe {van der Hoek} and G.A.W.
  	Vreeswijk},
  title = {Epistemic Logic for Computer Science: A Tutorial (Part II)},
  journal = {{EATCS} Bulletin},
  year = {1991},
  volume = {45},
  pages = {256--287},
  missinginfo = {A's 1st name, number},
  topic = {epistemic-logic;}
  }

@article{ meyer_jjc-etal:1999a,
  author = {{John-Jules Ch.} Meyer and Wiebe {van der Hoek} and
  		Bernd {van Linder}},
  title = {A Logical Approach to the Dynamics of Commitments},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {113},
  number = {1--2},
  pages = {1--40},
  topic = {desires;ability;action-formalisms;commitment;}
  }

@book{ meyer_jjc-schobbens:1999a,
  editor = {{John-Jules Ch.} Meyer and Pierre-Yves Schobbens},
  title = {Formal Models of Agents: Esprit Project Modelage Final
  	Workshop Selected Papers},
  publisher = {Springer-Verlag},
  year = {1999},
  address = {Berlin},
  ISBN = {3540670270 (softcover)},
  rtnote = {UMich Media Union Library, QA 76.76 .I58 F671 1999.},
  contentnote = {TC:
     1. John-Jules Ch. Meyer and Pierre-Yves Schobbens, "Formal
     	    Models of Agents: An Introduction"
     2. Stanislaw Ambroszkiewicz and Jan Komar, "A Model of
     	    {BDI}-Agent in Game-Theoretic Framework"
     3. John Bell and Zhisheng Huang, "Dynamic Belief Hierarchies"
     4. Frances Brazier et al., "Modelling Internal Dynamic
     	    Behaviour of {BDI} Agents"
     5. Stefan Conrad and Gunter Saake and Can Türker, "Towards an
            Agent-Oriented Framework for Specification of Information
	    Systems"
     6. Rosaria Conte and Cristiano Castelfranchi and Roberto
     	    Pedone, "The Impossibility of Modelling Cooperation in
	    {PD}-Game"
     7. Enrico Denti and Andrea Omicini, "Designing Multi-Agent
     	    Systems around an Extensible Communication Abstraction"
     8. Frank Dignum, "Social Interactions of Autonomous Agents:
     		Private and Global Views on Communication"
     9. Carlos H.C. Duarte, "Towards a Proof-Theoretic Foundation
     		for Actor Specification and Verification"
    10.  Barbara Dunin-Keplicz and Anna Radzikowska, "Nondeterministic
    		Actions with Typical Effects: Reasoning about
		Scenarios"
    11. Bruno Errico, "Agents' Dynamic Mental Attitudes"
    12. Peter Fr\"ohlich et al., "Diagnostic Agents for Distributed
    		Systems"
    13. John-Jules Ch. Meyer and Patrick Doherty, "Preferential
    		Action Semantics (Preliminary Report)"
    14.  Henry Prakken, "Dialectical Proof Theory for Defeasible
    		Argumentation with Defeasible Priorities (Preliminary
		Report)"
    15.  Leendert W.N. van der Torre et al., "The Role of
    		Diagnosis and Decision Theory in Normative Reasoning"
    16.  Leendert W.N. van der Torre and Yao-Hua Tan, "Contextual
    		Deontic Logic"
  },
  ISBN = {3540670270 (softcover)},
  rtnote = {Media Union Library QA 76.76 .I58 F671 1999},
  topic = {agent-architectures;agent-modeling;}
 }

@techreport{ meyer_jjc-vanderhoek:1988a,
  author = {{John-Jules Ch.} Meyer and Wiebe {van der Hoek}},
  title = {Non-Monotonic Reasoning by Monotonic Means},
  institution = {Fakulteit Wiskunde en Informatica, Vrije
		Universiteit Amsterdam},
  number = {IR-171},
  year = {1971},
  address = {Amsterdam},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-logic;}
  }

@book{ meyer_jjc-vanderhoek:1995a,
  author = {{John-Jules Ch.} Meyer and Wiebe {van der Hoek}},
  title = {Epistemic Logic for {AI} and Computer Science},
  publisher = {Cambridge University Press},
  year = {1995},
  address = {Cambridge},
  ISBN = {052146014X (hardback)},
  rtnote = {UMich Media Union Library, QA 76 .M4951 1995.},
  xref = {Review: verbrugge:1999a.},
  contentnote = {TC:
  	0. "Introduction"
  	1. "Basics: The Modal Approach to Logic"
	2. "Various Notions of Knowledge and Belief"
	3. "Knowledge and Ignorance"
	4. "Default Logic by Epistemi Logic"
       A1. "Konolige's Deduction Model of Belief"
       A2. "Knowledge Structures (Fagin, Halpern & Vardi)"
       A3. "First-Order Epistemic Logic"
       A4. "Table of the Basic Logical Systems"
   },
  topic = {epistemic-logic;logic-in-AI;}
 }

@incollection{ meyer_jjc-vanderhoek:1998a,
  author = {John-Jules Ch. Meyer and Wiebe van der Hoek},
  title = {Modal Logics for Representing Incoherent Knowledge},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 2: Reasoning with
                Actual and Potential Contradictions},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Dov M. Gabbay and Philippe Smets},
  pages = {37--75},
  address = {Dordrecht},
  topic = {modal-logic;paraconsistency;hyperintensionality;moral-conflict;}
  }

@incollection{ meyer_jjc-veltman:2006a,
  author = {{John-Jules Ch.} Meyer and Frank Veltman},
  title = {Intelligent Agents and Common-Sense Reasoning},
  booktitle = {Handbook of Modal Logic},
  year = {2006},
  editor = {Patrick Blackburn and Johan van Benthem and Frank Wolter},
  pages = {991--1029},
  address = {New York},
  rtnote = {In RHT collection.  File drawers.},
  topic = {modal-logic;deontic-logic;common-sense-reasoning;}
  }

@book{ meyer_jjc-wieringa:1994a,
  editor = {{John-Jules Ch.} Meyer and R.J. Wieringa},
  title = {Deontic Logic in Computer Science: Normative System
  	Specification},
  publisher = {John Wiley and Sons},
  year = {1994},
  address = {New York},
  topic = {deontic-logic;}
 }

@article{ meyer_rk:1974a,
  author = {Robert K. Meyer},
  title = {New Axiomatics for Relevant Logics, {I}},
  journal = {Journal of Philosophical Logic},
  year = {1974},
  volume = {3},
  number = {1--2},
  pages = {53--86},
  topic = {relevance-logic;}
  }

@article{ meyer_rk:1998a,
  author = {Robert K. Meyer},
  title = {$\subset${E} is Admissible in ``True'' Relevant Arithmetic},
  journal = {Journal of Philosophical Logic},
  year = {1998},
  volume = {27},
  number = {4},
  pages = {327--351},
  topic = {relevance-logic;}
  }

@article{ meyer_rk:2007a,
  author = {Robert K. Meyer},
  title = {Review of \emph{A Fascinating Country in the World of
  		Computing---Your Guide to Automated Reasoning},
		by {L}arry {W}os and {G}ail {W}. {P}ieper},
  journal = {The Bulletin of Symbolic Logic},
  year = {2007},
  volume = {13},
  number = {3},
  pages = {359--361},
  xref = {Review of: wos-pieper:1999a},
  topic = {theorem-proving;computer-assisted-mathematics;}
  }

@article{ meyer_rk:2008a,
  author = {Robert K. Meyer},
  title = {Ai, Me and {L}ewis ({A}belian Implication, Material
  		Equivalence, and {C}.{I}. {L}ewis)},
  journal = {Journal of Philosophical Logic},
  year = {2008},
  volume = {37},
  number = {2},
  pages = {169--181},
  topic = {subtheories-of-PC;}
  }

@article{ meyer_rk-etal:1979a,
  author = {Robert K. Meyer and Richard Routley and J. Michael Dunn},
  title = {Curry's Paradox},
  journal = {Analysis},
  year = {1979},
  volume = {39},
  pages = {124--128},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {Curry-paradox;}
  }

@article{ meyer_rk-etal:1982a,
  author = {Robert K. Meyer and Ermanno Bencivenga and Karel Lambert},
  title = {The eliminability of {E!} in Free Quantification Theory
  	without Identity},
  journal = {Journal of Philosophical Logic},
  year = {1982},
  volume = {11},
  number = {2},
  pages = {229--231},
  topic = {reference-gaps;}
  }

@article{ meyer_rk-martin_ep:1989a,
  author = {Robert K. Meyer and Errol P. Martin},
  title = {Logic on the {A}ustralian Plan},
  journal = {Journal of Philosophical Logic},
  year = {1989},
  volume = {15},
  number = {3},
  pages = {305--332},
  topic = {relevance-logic;}
  }

@article{ meyer_ss:2003a,
  author = {Susan Sauv\'e Meyer},
  title = {Review of {\it {D}eterminism and Freedom in {S}toic
  		Philosophy}, by {S}uzanne {B}obzien},
  journal = {The Philosophical Review},
  year = {2003},
  volume = {112},
  number = {3},
  pages = {405--408},
  xref = {Review of: bobzien:1998a.},
  topic = {volition;freedon;Stoic-philosophy;}
  }

@article{ meyer_t:2001a,
  author = {Thomas Meyer},
  title = {Basic Infobase Change},
  journal = {Studia Logica},
  year = {2001},
  volume = {67},
  number = {2},
  pages = {215--242},
  topic = {belief-revision;}
  }

@article{ meyer_t-etal:2002a,
  author = {Thomas Meyer and Johannes Heidema and William Labuschagne
  	and Louise Leenen},
  title = {Systematic Withdrawal},
  journal = {Journal of Philosophical Logic},
  year = {2002},
  volume = {31},
  number = {5},
  pages = {415--443},
  topic = {belief-revision;}
  }

@incollection{ meyer_t-etal:2004a,
  author = {Thomas Meyer and Norman Y. Foo and Rex Kwok and Dongmo Zhang},
  title = {Logical Foundations of Negotiation:  Strategies and
  		Preferences},
  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 = {311--318},
  address = {Menlo Park, California},
  topic = {negotiation;qualitative-reasoning;}
  }

@article{ meyer_ta-etal:2000a,
  author = {Thomas Andreas Meyer and Willem Adriuan Labuschagne and
  	Johannes Hedema},
  title = {Refined Epistemic Entrenchment},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {9},
  number = {2},
  pages = {237--259},
  topic = {belief-revision;}
  }

@article{ meyer_ta-etal:2000b,
  author = {Thomas Andreas Meyer and Willem Adrian Labuschagne and
  	Johannes Heidema},
  title = {Infobase Change: A First Approximation},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {9},
  number = {3},
  pages = {353--377},
  topic = {belief-revision;}
  }

@article{ meyer_u:2009a,
  author = {Ulrich Meyer},
  title = {{`}Now' and `Then' in Tense Logic},
  journal = {Journal of Philosophical Logic},
  year = {2009},
  volume = {38},
  number = {2},
  pages = {229--247},
  topic = {tense-logic;}
  }

@incollection{ meyers-etal:1998a,
  author = {Adam Meyers and Catherine Macleod and Roman Yangarber and
  	Ralph Grishman and Leslie Barret and Ruth Reeves},
  title = {Using {\sc Nomlex} to Produce Nominalization Patterns
  	for Information Extraction},
  booktitle = {The Computational Treatment of Nominals: Proceedings
  	of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Federica Busa and Inderjeet Mani and Patrick Saint-Dizier},
  pages = {25--32},
  address = {New Brunswick, New Jersey},
  topic = {compound-nouns;nominal-constructions;information-retrieval;}
  }

@book{ meyerson_g:1995a,
  author = {George Meyerson},
  title = {Rhetoric, Reason, and Society},
  publisher = {Sage Publications},
  year = {1995},
  address = {Thousand Oaks, California},
  topic = {pragmatics;}
 }

@inproceedings{ micali:1986a,
  author = {Silvio Micali},
  title = {Knowledge and Efficient Computation},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the First Conference},
  year = {1986},
  editor = {Joseph Y. Halpern},
  pages = {353--362},
  publisher = {Morgan Kaufmann Publishers, Inc.},
  address = {Los Altos, California},
  topic = {epistemic-logic;complexity;}
  }

@article{ michael:2002a,
  author = {Fred Seymour Michael},
  title = {Entailment and Bivalence},
  journal = {Journal of Philosophical Logic},
  year = {2002},
  volume = {31},
  number = {4},
  pages = {289--300},
  topic = {truth-value-gaps;logical-consequence;}
  }

@article{ michaelis:1993a,
  author = {Laura A. Michaelis},
  title = {\,`Continuity' with Three Scalar Models: The Polysemy
  	of Adverbial {\em Still\/}},
  journal = {Journal of Semantics},
  year = {1993},
  volume = {10},
  number = {3},
  pages = {193--237},
  topic = {nl-tense;`still';}
  }

@article{ michaelis:1996a,
  author = {Laura A. Michaelis},
  title = {On the Use and Meaning of `Already'\, },
  journal = {Linguistics and Philosophy},
  year = {1996},
  volume = {19},
  number = {5},
  pages = {477--502},
  topic = {tense-aspect;`already';}
  }

@incollection{ michaelis-kracht:1997a,
  author = {Jens Michaelis and Marcus Kracht},
  title = {Semilinearity as a Syntactic Invariant},
  booktitle = {{LACL}'96: First International Conference on
      Logical Aspects of Computational Linguistics},
  publisher = {Springer-Verlag},
  year = {1997},
  editor = {Christian Retor/'e},
  pages = {329--345},
  address = {Berlin},
  topic = {logic-and-computational-linguistics;}
  }

@book{ michalewicz:1991a,
  editor = {Zbigniew Michalewicz},
  title = {Statistical and Scientific Databases},
  publisher = {Springer-Verlag},
  year = {1991},
  address = {Berlin},
  rtnote = {UMich Media Union Library QA76.9 .D3 I1622},
  topic = {scientific-databases;}
 }

@article{ michalowski-etal:2005a,
  author = {Martin Michalowski and Snehal Thakkar and Craig A. Knoblock},
  title = {Automatically Utilizing Secondary Sources to Align Information
  		across Sources},
  journal = {The {AI} Magazine},
  year = {2005},
  volume = {26},
  number = {1},
  pages = {33--44},
  topic = {knowledge-integration;machine-learning;}
  }

@article{ michalski:1983a,
  author = {Ryszard S. Michalski},
  title = {A Theory and Methodology of Inductive Learning},
  journal = {Artificial Intelligence},
  year = {1983},
  volume = {20},
  number = {2},
  pages = {111--161},
  topic = {machine-learning;induction;}
  }

@book{ michalski-etal:1983a,
  editor = {Ryszard S. Michalski and Jaime G. Carbonell and Tom M.
  	Mitchell},
  title = {Machine Learning: An Artificial Intelligence Approach},
  publisher = {Tioga Publishing Co.},
  year = {1983},
  address = {Palo Alto, California},
  ISBN = {0935382054},
  rtnote = {UMich Media Union Library, Q 325 .M321.},
  xref = {Reviews: vanlehn:1985a, stefik:1985a.},
  topic = {machine-learning;}
 }

@article{ michalski-winston_ph:1986a,
  author = {Ryszard S. Michalski and Patrick H. Winston},
  title = {Variable Precision Logic},
  journal = {Artificial Intelligence},
  year = {1986},
  volume = {29},
  number = {2},
  pages = {121--146},
  acontentnote = {Abstract:
     Variable precision logic is concerned with problems of reasoning
     with incomplete information and resource constraints.  It offers
     mechanisms for handling trade-offs between the precision of
     inferences and the computational efficiency of deriving them.
     Two aspects of precision are the specificity of conclusions and
     the certainty of belief in them; we address primarily certainty
     and employ censored production rules as an underlying
     representational and computational mechanism.  These censored
     production rules are created by augmenting ordinary production
     rules with an exception condition and are written in the form
     ``if A then B unless C'', where C is the exception condition.
      From a control viewpoint censored production rules are intended
     for situations in which the implication A [=>] B holds
     frequently and

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib