text:
--233},
  acontentnote = {Abstract:
     Mackworth and Freuder have analyzed the time complexity of
     several constraint satisfaction algorithms [5].  We present here
     new algorithms for arc and path consistency and show that the
     arc consistency algorithm is optimal in time complexity and of
     the same-order space complexity as the earlier algorithms.  A
     refined solution for the path consistency problem is proposed.
     However, the space complexity of the path consistency algorithm
     makes it practicable only for small problems.  These algorithms
     are the result of the synthesis techniques used in ALICE (a
     general constraint satisfaction system) and local consistency
     methods [3].  },
  topic = {arc-(in)consistency;consistency-checking;
  	constraint-satisfaction;}
  }

@article{ mohri:1997a,
  author = {Mehryar Mohri},
  title = {Finite-State Transducers in Language and Speech
  	Processing},
  journal = {Computational Linguistics},
  year = {1997},
  volume = {23},
  number = {2},
  pages = {269--311},
  topic = {finite-state-nlp;clcourse;}
  }

@inproceedings{ mohri-sproat:1996a,
  author = {Mehryar Mohri and Richard Sproat},
  title = {An Efficient Parser for Weighted Rewrite Rules},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {231--255},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {parsing-optimization;}
 }

@incollection{ moinard:1994a,
  author = {Yves Moinard},
  title = {Preferential Entailments for Circumscription},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {461--472},
  address = {San Francisco, California},
  topic = {kr;circumscription;model-preference;kr-course;}
  }

@article{ moinard:2000a,
  author = {Yves Moinard},
  title = {Note about Cardinality-Based Circumscription},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {119},
  number = {1--2},
  pages = {259--273},
  topic = {circumscription;nonmonotonic-logic;}
  }

@incollection{ moinard-rolland:1994a,
  author = {Yves Moinard and Raymond Rolland},
  title = {Around a Powerful Property of Circumscription},
  booktitle = {Logics in Artificial Intelligence},
  publisher = {Springer-Verlag},
  year = {1994},
  editor = {Craig Mac{N}ish and Lu\'is Moniz Pereira and David Pearce},
  pages = {34--49},
  address = {Berlin},
  topic = {circumscription;}
  }

@incollection{ mokbel-etal:1998a,
  author = {Chafic Mokbel and Denis Jouvet and Jean Monn\'e
       		and Renato de Mori},
  title = {Robust Speech Recognition},
  booktitle = {Spoken Dialogues with Computers},
  publisher = {Academic Press},
  year = {1998},
  editor = {Renato de Mori},
  pages = {405--460},
  address = {New York},
  topic = {speech-recognition;speech-recognition-algorithms;}
  }

@incollection{ moller:2002a,
  author = {Sebastian M\"oller},
  title = {A New Taxonomy for the Quality of Telephone
    		Services Based on Spoken Dialogue Systems},
  booktitle = {Third {SIGdial} Workshop on Discourse and Dialogue:
  		Proceedings of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {2002},
  editor = {Kristina Jokinen and Susan McRoy},
  pages = {142--153},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;nlp-evaluation;}
  }

@book{ moller-birtwistle:1996a,
  editor = {Faron Moller and Graham Birtwistle},
  title = {Logics For Concurrency: Structure Versus Automata},
  publisher = {Springer-Verlag},
  year = {1996},
  address = {Berlin},
  ISBN = {3540609156},
  rtnote = {UMich Media Union Library, QA 76.9 .D5 L64 1996.},
  contentnote = {TC:
     1. Samson Abramsky, Simon Gay and Rajagopal Nagarajan, "Specification
     		Structures and Propositions-as-Types for Concurrency"
     2. E. Allen Emerson, "Automated Temporal Reasoning about
     		Reactive Systems"
     3. Yoram Hirshfeld and Faron Moller, "Decidability Results in
     		Automata and Process Theory"
     4. Colin Stirling, "Modal and Temporal Logics for Processes"
     5. Moshe Y. Vardi, "An Automata-Theoretic Approach to Linear
     	       Temporal Logic"
  },
  topic = {logic-in-cs;concurrency;}
 }

@incollection{ moller-haarslev:2003a,
  author = {Ralf M\oller and V\"olker Haarslev},
  title = {Description Logic Systems},
  booktitle = {The Description Logic Handbook:  Theory, Implementation
  		and Applications},
  publisher = {Cambridge University Press},
  year = {2003},
  editor = {Franz Baader and Diego Calvanese and Deborah L. McGuinness
  		and Daniele Nardi and Peter Patel-Schneider},
  pages = {282--305},
  address = {Cambridge, England},
  topic = {description-logics;}
  }

@book{ molnar:2003a,
  author = {George Molnar},
  title = {Powers:  A Study in Metaphysics},
  publisher = {Oxford University Press},
  year = {2003},
  address = {Oxford},
  note = {Edited by Stephen Mumford},
  xref = {Review: heil:2004a.},
  topic = {metaphysics;dispositions;causality;}
 }

@article{ moltmann:1991a,
  author = {Frederike Moltmann},
  title = {Measure Adverbials},
  journal = {Linguistics and Philosophy},
  year = {1991},
  volume = {14},
  number = {6},
  pages = {629--660},
  contentnote = {Defends idea that measure adverbials are quantifiers
  	over measures.},
  topic = {measures;adverbs;nl-semantics;}
  }

@article{ moltmann:1992a,
  author = {Frederike Moltmann},
  title = {Reciprocals and {\it Same/Different\/}: Towards
  	a Semantic Analysis},
  journal = {Linguistics and Philosophy},
  year = {1992},
  volume = {15},
  number = {4},
  pages = {411--462},
  topic = {reciprical-constructions;sameness/difference;}
  }

@article{ moltmann:1995a,
  author = {Frederike Moltmann},
  title = {Exception Sentences and Polyadic Quantification},
  journal = {Linguistics and Philosophy},
  year = {1995},
  volume = {18},
  number = {3},
  pages = {223--280},
  topic = {nl-semantics;generalized-quantifiers;exception-constructions;}
  }

@inproceedings{ moltmann:1995b,
  author = {Frederika Moltmann},
  title = {Part-Structure Modifiers},
  booktitle = {Proceedings from Semantics and Linguistic Theory {V}},
  year = {1995},
  editor = {Mandy Simons and Teresa Galloway},
  pages = {255--274},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {nl-semantics;nl-quantifiers;}
  }

@article{ moltmann:1997a,
  author = {Frederike Moltmann},
  title = {Intensional Verbs and Quantifiers},
  journal = {Natural Language Semantics},
  year = {1997},
  volume = {5},
  number = {1},
  pages = {1--52},
  topic = {intensionality;}
  }

@book{ moltmann:1997b,
  author = {Frederike Moltmann},
  title = {Parts and Wholes in Semantics},
  publisher = {Oxford University Press},
  year = {1997},
  address = {Oxford},
  xref = {Review: pianesi:2002a.},
  topic = {mereology;nl-semantics;}
 }

@inproceedings{ moltmann:2001a,
  author = {Friederike Moltmann},
  title = {Two Kinds of Universals and two Kinds of Groups},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XI}},
  publisher = {Cornell University},
  year = {2001},
  editor = {Rachel Hastings and Brendan Jackson and Zsofia Zvolenszky},
  pages = {286--305},
  address = {Ithaca, New York},
  topic = {nl-semantics;metaphysics;ontology;}
  }

@article{ moltmann:2003a,
  author = {Frederike Moltmann},
  title = {Nominalizing Quantifiers},
  journal = {Journal of Philosophical Logic},
  year = {2003},
  volume = {32},
  number = {2},
  pages = {445--481},
  topic = {nl-quantifiers;nl-semantics;nominal-constructions;}
  }

@article{ moltmann:2003b,
  author = {Frederike Moltmann},
  title = {Propositional Attitudes without Propositions},
  journal = {Synth\'ese},
  year = {2003},
  volume = {135},
  number = {1},
  pages = {77--118},
  rtnote = {In RHT collection.},
  topic = {propositional-attitudes;}
  }

@article{ moltmann:2004a,
  author = {Frederike Moltmann},
  title = {Two Kinds of Universals and Two Kinds of Collections},
  journal = {Linguistics and Philosophy},
  year = {2004},
  volume = {27},
  number = {6},
  pages = {741--778},
  topic = {plural;pluralities;nl-semantics;philosophical-ontology;}
  }

@article{ moltmann:2005a,
  author = {Frederike Moltmann},
  title = {Part Structures in Situations:  The Semantics of
  	\emph{Individual} and \emph{Whole}},
  journal = {Linguistics and Philosophy},
  year = {2005},
  volume = {28},
  number = {5},
  pages = {599--641},
  topic = {nl-semantics;plural;mereology;}
  }

@article{ moltmann:2006a,
  author = {Frederike Moltmann},
  title = {Generic \emph{one}, Arbitrary {PRO}, and the First
  		Person},
  journal = {Natural Language Semantics},
  year = {2006},
  volume = {14},
  number = {3},
  pages = {257--281},
  topic = {generics;first-person;}
  }

@article{ moltmann:2008a,
  author = {Frederike Moltmann},
  title = {Intensional Verbs and Their Intentional Objects},
  journal = {Natural Language Semantics},
  year = {2008},
  volume = {16},
  number = {3},
  pages = {239--270},
  topic = {intensional-transitive-verbs;intensionality;}
  }

@book{ monaghan:1987a,
  editor = {James Monaghan},
  title = {Grammar in the Construction of Texts},
  publisher = {F. Pinter},
  year = {1987},
  address = {London},
  rtnote = {HILLMAN P302 G65 1987},
  topic = {discourse-analysis;}
}

@incollection{ mondadori:1978a,
  author = {Fabrizio Mondadori},
  title = {Remarks on Tense and Mood: the Perfect Future},
  booktitle = {Studies in Formal Semantics: Intensionality, Temporality,
  	Negation},
  publisher = {North-Holland Publishing Co},
  year = {1978},
  editor = {Franz Guenthner and Christian Rohrer},
  address = {Amsterdam},
  pages = {223--248},
  topic = {tense-aspect;}
  }

@article{ monderer-samet_d:1989a,
  author = {Dov Monderer and D. Samet},
  title = {Approximating Common Knowledge with Common Beliefs},
  journal = {Games and Economic Behavior},
  year = {1989},
  volume = {1},
  pages = {170--190},
  missinginfo = {A's 1st name, number},
  topic = {mutual-belief;}
  }

@unpublished{ monderer-tennenholtz:1997a,
  author = {Dov Monderer and Moshe Tennenholtz},
  title = {Distributed (Parallel) Games},
  year = {1997},
  note = {Unpublished manuscript, Faculty of Industrial Engineering and
			Management},
  rtnote = {In RHT collection.},
  topic = {game-theory;}
  }

@inproceedings{ monderer-tennenholtz:1998a,
  author = {Dov Monderer and Moshe Tennenholtz},
  title = {Distributed Games},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Seventh Conference ({TARK} 1998)},
  year = {1998},
  editor = {Itzhak Gilboa},
  pages = {279--292},
  publisher = {Morgan Kaufmann},
  address = {San Francisco, California},
  topic = {distributed-systems;game-theory;prisoner's-dilemma;
  	artificial-societies;}
  }

@article{ monderer-tennenholtz:2000a,
  author = {Dov Monderer and Moshe Tennenholtz},
  title = {Optimal Auctions Revisited},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {120},
  number = {1},
  pages = {29--42},
  topic = {auction-protocols;bargaining-theory;optimality;}
  }

@article{ monderer-tennenholtz:2007a,
  author = {Dov Monderer and Moshe Tennenholtz},
  title = {Learning Equilibrium as a Generalization of Learning to
  		Optimize},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {7},
  pages = {448--452},
  topic = {multiagent-learning;Nash-equilibria;machine-learning;}
  }

@article{ monderer-tennenholtz:2009a,
  author = {Dov Monderer and Moshe Tennenholtz},
  title = {Strong Mediated Equilibrium},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {1},
  pages = {180--195},
  topic = {multiagent-systems;game-theory;Nash-equilibria;}
  }

@inproceedings{ monfroy-ringeissen:1998a,
  author = {Eric Monfroy and Christophe Ringeissen},
  title = {Sole{X}: A Domain Independent Scheme for Constraint Solver
		Extension},
  booktitle = {Artificial Intelligence and Symbolic Computation:
	Proceedings of {AISC'98}},
  year = {1998},
  editor = {Jacques Calmet and Jan Plaza},
  pages = {222--233},
  publisher = {Springer Verlag},
  address = {Berlin},
  topic = {constraint-satisfaction;}
  }

@book{ monk_af:1984a,
  author = {Andrew F. Monk},
  title = {Fundamentals of Human-Computer Interaction},
  publisher = {Academic Press},
  year = {1984},
  address = {London},
  ISBN = {0125045808},
  rtnote = {UMich Media Union Library, QA76.9.I58 F8611 1984.},
  topic = {HCI;}
 }

@inproceedings{ monk_af:1999a,
  author = {Andrew F. Monk},
  title = {Participatory Status in Electronically Mediated
			Collaborative Work},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Psychological Models of Communication in Collaborative
	Systems},
  year = {1999},
  editor = {Susan E. Brennan and Alain Giboin and David R. Traum},
  pages = {73--80},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {discourse;collaboration;HCI;}
  }

@book{ monk_af-gilbert_gn:1995a,
  editor = {Andrew F. Monk and G. Nigel Gilbert},
  title = {Perspectives on {HCI}: Diverse Approaches},
  publisher = {Academic Press},
  year = {1995},
  address = {New York},
  ISBN = {0125045751},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 P4711 1995.},
  topic = {HCI;}
 }

@book{ monk_r:1996a,
  author = {Roy Monk},
  title = {The Language Connection},
  publisher = {Thommes Press},
  year = {1996},
  address = {Bristol},
  topic = {philosophy-of-language;}
 }

@book{ monk_r-palmer_a:1996a,
  editor = {Roy Monk and Anthony Palmer},
  title = {Bertrand {R}ussell and the Origins of Analytic
  	Philosophy},
  publisher = {Thoemmes Press},
  year = {1996},
  address = {Bristol},
  topic = {Russell;analytic-philosophy;}
 }

@book{ monnich:1981a,
  editor = {Uwe M\"onnich},
  title = {Aspects of Philosophical Logic},
  booktitle = {Aspects of Philosophical Logic},
  publisher = {D.~Reidel Publishing Company},
  year = {1981},
  address = {Dordrecht},
  topic = {philosophical-logic;}
  }

@unpublished{ monnich:1982a,
  author = {Uwe M\"onnich},
  title = {Toward a Calculus of Concepts as a Semantical
  	Metalanguage},
  year = {1982},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, University of T\"ubingen.},
  missinginfo = {Date is a guess.},
  rtnote = {In RHT collection.},
  topic = {intensionality;higher-order-modal-logic;}
  }

@article{ montagna:1982a,
  author = {Franco Montagna},
  title = {Relatively Precomplete Numerations and Arithmetic},
  journal = {Journal of Philosophical Logic},
  year = {1982},
  volume = {11},
  number = {4},
  pages = {419--430},
  topic = {undecidability;}
  }

@article{ montagna:2000a,
  author = {Franco Montagna},
  title = {An Algebraic Approach to Propositional Fuzzy Logic},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {9},
  number = {1},
  pages = {91--124},
  topic = {reasoning-about-uncertainty;fuzzy-logic;}
  }

@article{ montagna:2000b,
  author = {Franco Montagna},
  title = {Review of \emph{{A} Complete Many-Valued Logic with
  	Product-Conjunction}, by {P}etr {H}\'ajek and {L}luis {G}odo and
	{F}rancesc {E}steva},
  journal = {The Bulletin of Symbolic Logic},
  year = {2000},
  volume = {6},
  number = {3},
  pages = {346--347},
  xref = {Review of hajek_p-etal:1996a.},
  topic = {fuzzy-logic;algebraic-logic;}
  }

@article{ montagna:2001a,
  author = {Franco Montagna},
  title = {Three Complexity Problems in Quantified Fuzzy Logic},
  journal = {Studia Logica},
  year = {2001},
  volume = {68},
  number = {1},
  pages = {143--152},
  topic = {fuzzy-logic;arithmetic-hierarchy;}
  }

@book{ montagu:1984a,
  editor = {Ashley Montagu},
  title = {Science and Creationism},
  publisher = {Oxford University Press},
  year = {1984},
  address = {Oxford},
  topic = {creationism;}
 }

@article{ montague_m:2007a,
  author = {Michelle Montague},
  title = {Against Propositionalism},
  journal = {No\^us},
  year = {2007},
  volume = {41},
  number = {3},
  pages = {503--518},
  topic = {propositional-attitudes;}
  }

@article{ montague_r:1960a,
  author = {Richard Montague},
  title = {Logical Necessity, Physical Necessity, Ethics, and
  	Quantifiers},
  journal = {Inquiry},
  year = {1960},
  volume = {4},
  pages = {259--269},
  rtnote = {In RHT collection.},
  topic = {syntactic-attitudes;paradoxes;}
 }

@incollection{ montague_r:1962a,
  author = {Richard Montague},
  title = {Deterministic Theories},
  booktitle = {Decisions, Values, and Groups},
  publisher = {Pergamon Press},
  volume = {2},
  year = {1962},
  pages = {325--370},
  address = {Oxford},
  note = {Reprinted in {\it Formal Philosophy}, by Richard Montague,
  	Yale University Press, New Haven, CT, 1974, pp.~303--359.},
  rtnote = {In RHT collection.},
  rtnote = {tmix-project;},
  topic = {(in)determinism;philosophy-of-science;
  	formalizations-of-physics;}
  }

@article{ montague_r:1962b,
 author = {Richard Montague},
 title = {Theories Incomparable with Respect to Relative
 	Interpretability},
 journal = {Journal of Symbolic Logic},
 year = {1962},
 volume = {27},
 pages = {153--167},
 contentnote = {Lemma 1 of this paper, p. 197, is the general
    formulation of the diagonalization lemma, for any
    syntactic predicate P there is a formula FP such
    that |- P(a) <--> FP, where a is the std name of FP.},
 topic = {diagonalization-arguments;relative-interpretability;}
 }

@incollection{ montague_r:1962c,
  author = {Richard Montague},
  title = {Towards a General Theory of Computability},
  booktitle = {Logic and Language: Studies Dedicated to {R}udolf
  	{C}arnap},
  publisher = {D. Reidel Publishing Co.},
  year = {1962},
  pages = {118--127},
  editor = {B. Kazemier and D. Vuysjexs},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {foundations-of-computation;abstract-recursion-theory;}
  }

@article{ montague_r:1963a,
 author = {Richard Montague},
 title = {Syntactical Treatments of Modality, with Corollaries
 	on Reflection Principles and Finite Axiomatizability},
 journal = {Acta Philosophica Fennica},
 year = {1963},
 volume = {16},
 pages = {153--167},
 topic = {syntactic-attitudes;diagonalization-arguments;}
 }

@article{ montague_r:1965a,
  author = {Richard Montague},
  title = {Interpretability in Terms of Models},
  journal = {Koninlkl. Nederl. Akademie van Wetenscappen},
  year = {1965},
  volume = {68, Series A},
  number = {3},
  pages = {467--476},
  rtnote = {Also in Indag. Math. 27, no. 3, 1965.},
  rtnote = {In RHT collection.},
  topic = {model-theory;finite-axiomatizability;}
  }

@incollection{ montague_r:1965b,
  author = {Richard Montague},
  title = {Reductions of Higher-Order Logic},
  booktitle = {The Theory of Models},
  publisher = {North-Holland Publishing Co.},
  year = {1965},
  editor = {J.W. Addison and Leon Henkin and Alfred Tarski},
  pages = {251--264},
  address = {Amsterdam},
  rtnote = {In RHT collection.},
  topic = {higher-order-logic;}
  }

@incollection{ montague_r:1967a,
  author = {Richard Montague},
  title = {Recursion Theory as a Branch of Model Theory},
  booktitle = {Logic, Methodology, and Philosophy of Science {III}},
  publisher = {North-Holland Publishing Co.},
  year = {1967},
  editor = {B. van Rootselaar},
  pages = {63--86},
  address = {Amsterdam},
  rtnote = {In RHT collection.  Book on L Collection shelf.},
  topic = {recursion-theory;model-theory;}
  }

@incollection{ montague_r:1968a,
  author = {Richard Montague},
  title = {Pragmatics},
  booktitle = {Contemporary Philosophy: A Survey.  {I}},
  publisher = {La Nuova Italia Editrice},
  year = {1968},
  editor = {R. Klibansky},
  pages = {102--122},
  address = {Florence},
  note = {Reprinted in {\it Formal Philosophy}, by Richard Montague,
  	Yale University Press, New Haven, CT, 1974, pp.~95--118.},
  rtnote = {In RHT collection.},
  rtnote = {tmix-project;},
  topic = {higher-order-logic;intensional-logic;}
  }

@unpublished{ montague_r:1968b,
  author = {Richard Montague},
  title = {Open Letter to {D}ana {S}cott},
  year = {1968},
  note = {Unpublished manuscript, UCLA, 1968.},
  rtnote = {In RHT collection.},
  contentnote = {This letter relates to Scott's ``Advice on Modal Logic''.},
  topic = {modal-logic;foundations-of-modal-logic;}
  }

@article{ montague_r:1969a,
  author = {Richard Montague},
  title = {On the Nature of Certain Philosophical Entities},
  journal = {The Monist},
  year = {1969},
  volume = {53},
  pages = {159--194},
  xref = {Reprinted in {\it Formal Philosophy}, by Richard Montague,
  	Yale University Press, New Haven, CT, 1974, pp.~148--187.},
  rtnote = {In RHT collection.},
  rtnote = {Reading notes on file.},
  rtnote = {semantics-course;},
  topic = {nl-semantics;Montague-grammar;intensional-logic;
  	philosophical-logic;logic-and-philosophy;}
  }

@unpublished{ montague_r:1969b,
  author = {Richard Montague},
  title = {Reference Materials for a Talk},
  year = {1969},
  note = {Unpublished manuscript, UCLA, 1969.},
  rtnote = {In RHT collection.},
  contentnote = {Evidently, this talk was related to montague_r:1969a.},
  rtnote = {semantics-course;},
  topic = {nl-semantics;montague-grammar;intensional-logic;
  	philosophical-logic;}
  }

@unpublished{ montague_r:1969c,
  author = {Richard Montague},
  title = {Universal Grammar: Reference Materials for a Talk},
  year = {1969},
  note = {Unpublished manuscript, UCLA, 1969.},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;montague-grammar;intensional-logic;}
  }

@article{ montague_r:1969d,
  author = {Richard Montague},
  title = {Presupposing},
  journal = {The Philosophical Quarterly},
  year = {1969},
  volume = {19},
  pages = {98--110},
  missinginfo = {number},
  topic = {presupposition;}
 }

@article{ montague_r:1970a1,
  author = {Richard Montague},
  title = {Pragmatics and Intensional Logic},
  journal = {Synth\'ese},
  year = {1970},
  volume = {22},
  number = {1--2},
  pages = {68--94},
  note = {Reprinted in {\it Formal Philosophy}, by Richard Montague,
  	Yale University Press, New Haven, CT, 1974, pp.~119--147},
  xref = {Reprinted in {\it Formal Philosophy}, by Richard Montague,
  	Yale University Press, New Haven, CT, 1974, pp.~119--147.
	Also reprinted as montague_r:1970a2.},
  rtnote = {In RHT collection.},
  topic = {higher-order-logic;intensional-logic;}
  }

@incollection{ montague_r:1970a2,
  author = {Richard Montague},
  title = {Pragmatics and Intensional Logic},
  booktitle = {Semantics of Natural Language},
  publisher = {D. Reidel Publishing Co.},
  year = {1972},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {142--168},
  address = {Dordrecht},
  topic = {higher-order-logic;intensional-logic;}
  }

@article{ montague_r:1970b,
  author = {Richard Montague},
  title = {Universal Grammar},
  journal = {Theoria},
  year = {1970},
  volume = {36},
  pages = {373--398},
  note = {Reprinted in {\it Formal Philosophy}, by Richard Montague,
  	Yale University Press, New Haven, CT, 1974, pp.~222--246.},
  rtnote = {Reading notes on file.},
  rtnote = {In RHT collection.},
  rtnote = {semantics-course;},
  topic = {nl-semantics;intensional-logic;Montague-grammar;}
  	}

@incollection{ montague_r:1970c,
  author = {Richard Montague},
  title = {English as a Formal Language},
  booktitle = {Linguaggi nella Societ\'a e nella Tecnica},
  publisher = {Edizioni di Communit\`a},
  year = {1970},
  editor = {Bruno Visentini et al.},
  pages = {189--224},
  address = {Milan},
  note = {Reprinted in {\it Formal Philosophy}, by Richard Montague,
  	Yale University Press, New Haven, CT, 1974, pp.~188--221.},
  rtnote = {In RHT collection.},
  rtnote = {Reading notes on file.},
  rtnote = {semantics-course;},
  topic = {nl-semantics;intensional-logic;Montague-grammar;
  	natural-language/formal-language;}
  }

@unpublished{ montague_r:1970d,
  author = {Richard Montague},
  title = {The Analysis of Language},
  year = {1970},
  note = {Notes taken by Ken Kress on a course offered at UCLA, Winter Quarter, 1970.},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;Montague-grammar;}
  }

@unpublished{ montague_r:1970e,
  author = {Richard Montague},
  title = {Reference Materials for `Quantification in Ordinary {E}nglish'},
  year = {1970},
  note = {Unpublished manuscript, UCLA, 1970.},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;montague-grammar;intensional-logic;}
  }

@unpublished{ montague_r:1970f,
  author = {Richard Montague},
  title = {Philosophy 134 Notes},
  year = {1970},
  rtnote = {In RHT collection.},
  note = {Lecture notes compiled by Henry Hansmann.  This course
	appears to have covered the elements of formal set theory.},
  topic = {set-theory;}
  }

@incollection{ montague_r:1973a,
  author = {Richard Montague},
  title = {The Proper Treatment of Quantification in Ordinary
  	{E}nglish},
  editor = {Jaakko Hintikka and Julius M.E. Moravcsik and Patrick Suppes},
  booktitle = {Approaches to Natural Language: Proceedings of the
  	1970 Stanford Workshop on Grammar and Semantics},
  publisher = {D. Reidel Publishing Co.},
  year = {1973},
  pages = {221--242},
  address = {Dordrecht, Holland},
  note = {Reprinted in {\it Formal Philosophy}, by Richard Montague,
  	Yale University Press, New Haven, CT, 1974, pp.~247--270.},
  rtnote = {Reading notes on file.},
  rtnote = {semantics-course;},
  topic = {nl-semantics;intensional-logic;Montague-grammar;}
  	}

@book{ montague_r:1974a,
  author = {Richard Montague},
  title = {Formal Philosophy: Selected Papers of {R}ichard {M}ontague},
  publisher = {Yale University Press},
  year = {1974},
  address = {New Haven, Connecticut},
  note = {Edited, with an introduction, by Richmond H. Thomason},
  xref = {Review: bowers-reichenbach_ukh:1979a.},
  rtnote = {In RHT Collection.  LLP single author shelves.
  	Spare copy in Phil Dept.},
  rtnote = {semantics-course;},
  topic = {nl-semantics;montague-grammar;}
 }

@article{ montague_r-kalish:1959a,
  author = {Richard Montague and Donald Kalish},
  title = {\,`That'\, },
  journal = {Philosophical Studies},
  year = {1959},
  volume = {10},
  pages = {54--61},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {indirect-discourse;}
  }

@article{ montague_r-kaplan_d:1960a,
  author = {Richard Montague and David Kaplan},
  title = {A Paradox Regained},
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1960},
  volume = {1},
  pages = {79--90},
  topic = {syntactic-attitudes;paradoxes;}
 }

@article{ montanari_a:1970a,
  author = {Ugo Montanari},
  title = {Heuristically Guided Search and Chromosome Matching},
  journal = {Artificial Intelligence},
  year = {1970},
  volume = {1},
  number = {3--4},
  pages = {227--245},
  topic = {search;computer-assisted-science;
  	computer-assisted-genetics;}
  }

@inproceedings{ montanari_a-etal:2000a,
  author = {Angelo Montanari and Alberto Policriti and Matteo
  	Slanina},
  title = {Supporting Automated Deduction in First-Order Modal
  	Logics},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {547--556},
  topic = {modal-logic;theorem-proving;}
  }

@article{ montanari_u-rossi:1991a,
  author = {Ugo Montanari and Francesca Rossi},
  title = {Constraint Relaxation May Be Perfect},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {48},
  number = {2},
  pages = {143--170},
  acontentnote = {Abstract:
     Networks of constraints are a simple knowledge representation
     method, useful for describing those problems whose solution is
     required to satisfy several simultaneous constraints.
      The problem of solving a network of constraints with finite
     domains is NP-complete. The standard solution technique for such
     networks of constraints is the backtrack search, but many
     relaxation algorithms, to be applied before backtracking, have
     been developed: they transform a network in an equivalent but
     more explicit one. The idea is to make the backtrack search have
     a better average time complexity. In fact, if the network
     elaborated by the backtrack algorithm is more explicit, the
     algorithm backtracks less.
      In this paper we describe relaxation algorithms as sequences of
     applications of relaxation rules. Moreover, we define perfect
     relaxation algorithms as relaxation algorithms which not only
     return a more explicit network, but also exactly solve the given
     network of constraints by applying every relaxation rule only
     once.  Finally, we characterize a family of classes of networks
     on which certain perfect relaxation algorithms are very
     efficient: the exact solution of each network in a class is
     found in linear time.},
  topic = {constraint-satisfaction;search;complexity-in-AI;
  	relaxation-methods;}
  }

@incollection{ monteiro-wainer_j:1996a,
  author = {Ana Maria Monteiro and Jacques Wainer},
  title = {Preferential Multi-Agent Nonmonotonic Logics},
  booktitle = {{KR}'96: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro},
  pages = {446--452},
  address = {San Francisco, California},
  topic = {kr;model-preference;nonmonotonic-logic;}
  }

@incollection{ montemagni-pirelli:1998a,
  author = {Simonetta Montemagni and Vito Pirelli},
  title = {Augmenting {W}ord{N}et-like Lexical Resources with
  	Distributional Evidence.  An Application-Oriented
	Perspective},
  booktitle = {Use of {W}ord{N}et in Natural Language Processing
  	Systems:  Proceedings of the Conference},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Sanda Harabagiu},
  pages = {87--93},
  address = {Somerset, New Jersey},
  topic = {nl-processing;WordNet;lexical-disambiguation;}
  }

@inproceedings{ montemarlo-etal:2002a,
  author = {Michael Montemarlo and Sebastian Thrun and Daphne Koller
  	and Ben Wegbreit},
  title = {Experiences with a Mobile Robotic Guide for the Elderly},
  booktitle = {Proceedings of the Eighteenth National Conference on
              Artificial Intelligence},
  year = {2002},
  editor = {Rina Dechter and Michael Kearns and Richard S. Sutton},
  pages = {587--592},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {robotics;reasoning-about-uncertainty;}
  }

@book{ montfort:2005a,
  author = {Nick Montfort},
  title = {Twisty Little Passages: An Approach to Interactive Fiction},
  publisher = {The {MIT} Press},
  year = {2005},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-13436-5},
  xref = {Review: pisan:2006a},
  topic = {interactive-fiction;}
 }

@article{ montgomery_ca:1972a,
  author = {Christine A. Montgomery},
  title = {Linguistics and Information Science},
  journal = {Journal of the {A}merican {S}ociety for {I}nformation
		{S}cience},
  year = {1972},
  pages = {195--219},
  month = {May--June},
  missinginfo = {volume, number},
  topic = {applications-of-linguistics;}
  }

@incollection{ montgomery_h:1989a,
  author = {H. Montgomery},
  title = {From Cognition to Action: The Search for Dominance in
  	Decision Making},
  booktitle = {Process and Structure in Decision Making},
  publisher = {John Wiley and Sons},
  year = {1989},
  editor = {H. Montgomery and O. Svenson},
  address = {New York},
  missinginfo = {A's 1st name, pages.},
  topic = {dominance;decision-making;}
  }

@unpublished{ monti-cooper_gf:1995a,
  author = {Stefano Monti and Gregory Cooper},
  title = {Bounded Recursive Decomposition: A Search-Based Method for
  	Belief Network Inference Under Limited Resources},
  year = {1995},
  rtnote = {In RHT collection.},
  note = {Unpublished Manuscript, Intelligent Systems Program,
  	University of Pittsburgh.},
  topic = {Bayesian-networks;}
  }

@article{ montminy:2006a,
  author = {Martin Montminy},
  title = {Semantic Content, Truth Conditions and Context},
  journal = {Linguistics and Philosophy},
  year = {2006},
  volume = {29},
  number = {1},
  pages = {1--26},
  note = {Review of \emph{{I}nsensitive Semantics: {A} Defense of
          Semantic Minimalism and Speech Act Pluralism}, by
	  {H}erman {C}appelen and {E}rnest {L}epore},
  xref = {Review of cappelen-lepore:2005a.},
  topic = {context;foundations-of-semantics;}
  }

@article{ monton:2002a,
  author = {Bradley Monton},
  title = {Sleeping Beauty and the Forgetful {B}ayesian},
  journal = {Analysis},
  year = {2002},
  volume = {62},
  number = {1},
  pages = {47--53},
  missinginfo = {A's 1st name, number},
  topic = {sleeping-beauty-problem;}
  }

@incollection{ monz:1999a,
  author = {Christof Monz},
  title = {Contextual Inference in Computational Semantics},
  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 = {242--255},
  address = {Berlin},
  topic = {context;computational-semantics;}
  }

@article{ monz:1999b,
  author = {Christof Monz},
  title = {Review of \emph{{A}utomatic Ambiguity Resolution in
  	Natural Language}, by {A}lexander {F}ranz},
  journal = {Journal of Logic, Language, and Information},
  year = {1999},
  volume = {8},
  number = {1},
  pages = {111--114},
  xref = {Review of franz:1996a.},
  topic = {part-of-speech-tagging;corpus-linguistics;}
  }

@incollection{ monz:1999c,
  author = {Christof Monz},
  title = {Modeling Ambiguity in a Multi-Agent System},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
		of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {43--48},
  address = {Amsterdam},
  topic = {ambiguity;discourse;multiagent-systems;}
  }

@article{ moody_ea:1947a,
  author = {Ernest A. Moody},
  title = {Ockham, {B}uridan, and {N}icholas of {A}utrecourt: The {P}arisian
		Statutes of 1339 and 1340},
  journal = {Franciscan Studies},
  year = {1947},
  volume = {7},
  pages = {113--146},
  missinginfo = {number},
  topic = {scholastic-philosophy;}
  }

@incollection{ mooij:1993a,
  author = {J.J.A. Mooij},
  title = {Metaphor and Truth: A Liberal Approach},
  booktitle = {Knowledge and Language: Volume {III}, Metaphor and
  	Knowledge},
  publisher = {Kluwer Academic Publishers},
  year = {1993},
  editor = {F.R. Ankersmit and J.J.A. Mooij},
  pages = {67--80},
  address = {Dordrecht},
  topic = {metaphor;pragmatics;}
  }

@book{ mooney_d-swift_d:1999a,
  author = {Douglas Mooney},
  title = {A Course in Mathematical Modeling},
  publisher = {The Mathematical Association of America},
  year = {1999},
  address = {Washington, DC},
  ISBN = {0-88385-712-X},
  topic = {mathematical-modeling;}
 }

@techreport{ mooney_dj-etal:1990a,
  author = {David J. Mooney and Sandra M. Carberry and Kathleen F. McCoy},
  title = {The Identification of a Unifying Framework for the
  	Organization of Extended, Interactive Explanations},
  institution = {Computer Science Dept., University of Delaware},
  year = {1990},
  number = {90--1},
  topic = {explanation;}
}

@inproceedings{ mooney_dj-etal:1990b,
  author = {David J. Mooney and Sandra M. Carberry and Kathleen F. McCoy},
  title = {The Basic Block Model of Extended Explanations},
  booktitle = {Fifth International Workshop on Natural Language
  	Generation, Pittsburgh, Pennsylvania},
  year = {1990},
  pages = {112--119},
  topic = {explanation;}
}

@incollection{ mooney_rj:1996a,
  author = {Raymond J. Mooney},
  title = {Comparative Experiments on Disambiguating
	Word Senses: An Illustration of the Role of Bias in Machine
			Learning},
  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 = {82--91},
  address = {Somerset, New Jersey},
  topic = {machine-learning;disambiguation;}
  }

@book{ moor:2003a,
  editor = {James H. Moor},
  title = {The {T}uring Test: The Elusive Standard of Artificial
  	Intelligence},
  publisher = {Kluwer Academic Publishers},
  year = {2003},
  address = {Dordrecht},
  contentnote = {TC:
     1. B. Jack Copeland, "The {T}uring Test", pp. 1--21
     2. Ayse Pinar Saygin and Ilyas Cicekli and Varol
     		Akman, "{T}uring Test: 50 Years Later", pp. 23--78
     3. Susan B. Sterrett, "{T}uring's Two Tests for
     		Intelligence", pp. 79--97
     4. Saul Traiger, "Making the Right Identification in the {T}uring
     		Test", pp. 99--110
     5. Gualtiero Piccini, "{T}uring's Rules for the Imitation
     		Game", pp. 111--120
     6. Sean Zdenik, "Passing {L}oebner's {T}uring Test: A Case
     		of Conflicting Discourse Functions", pp. 121--150
     7. Bruce Edmonds, "The Constructability of Artificial
     		Intelligence (As Defined by the {T}uring
		Test)", pp. 145--150
     8. Edmund M.A. Ronald and Moshe Sipper, "Intelligence is Not
     		Enough: On the Socialization of Talking Machines",
		pp. 151--160
     9. William A. Rappaport, "How to Pass a {T}uring Test", pp. 161--184
    10. Larry Hausser, "Look Who's Moving the Goal Posts Now", pp. 185--194
    11. James H. Moor, "The Status and Future of the {T}uring
    		Test", pp. 197--213
    12. Selmer Bringsjord and Paul Bello and David
    		Ferrucci, "Creativity the {T}uring Test and the
		(Better) {L}ovelace Test,", pp. 215--239
    13. Gerald J. Erion, "The {C}artesian Test for
    		Automatism", pp. 241--251
    14. Stevan R. Harnad, "Minds, Machines, and {T}uring", pp. 253--273
  },
  ISBN = {1-4020-1204-7},
  rtnote = {UMich Undergraduate Library, Q341 .T871 2003.},
  topic = {philosophy-AI;Turing-test;}
 }

@article{ moore_fr:1971a,
  author = {Frank R. Moore},
  title = {On the Bounds for State-Set Size in the Proofs of
  	Equivalence Between Deterministic, Nondeterministic, and
	Two-Way Finite Automata},
  journal = {{IEEE} Transactions on Computers},
  year = {1971},
  volume = {20},
  number = {10},
  pages = {1211--1214},
  rtnote = {This paper contains a proof that $2^n$ is a lower bound
  	on the number of states required in an equivalent
	deterministic FSA.},
  rtnote = {In RHT collection.},
  topic = {finite-state-automata;complexity-lower-bounds;}
  }

@book{ moore_ge:1912a,
  author = {George E. Moore},
  title = {Ethics},
  publisher = {Oxford University Press},
  address = {Oxford},
  year = {1912},
  topic = {ethics;}
    }

@article{ moore_gh:1978a,
  author = {Gregory H. Moore},
  title = {The Origins of {Z}ermelo's Axiomatization of Set Theory},
  journal = {Journal of Philosophical Logic},
  year = {1978},
  volume = {7},
  number = {3},
  pages = {307--329},
  topic = {history-of-set-theory;}
  }

@article{ moore_j1:1999a,
  author = {Joseph Moore},
  title = {Propositions without Identity},
  journal = {No\^us},
  year = {1999},
  volume = {33},
  number = {3},
  pages = {1--29},
  topic = {propositions;vagueness;}
  }

@inproceedings{ moore_jc:1999a,
  author = {J. Strother Moore},
  title = {Towards a Mechanically Checked Theory of Computation:
  		A Preliminary Report},
  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 = {theorem-proving;program-verification;}
  }

@phdthesis{ moore_jd:1989a,
  author = {Johanna D. Moore},
  title = {A Reactive Approach to Explanation in Expert and
        Advice-Giving Systems},
  school = {University of California at Los Angeles},
  year = {1989},
  rtnote = {In RHT Collection.  CS MS shelves.},
  topic = {nl-generation;explanation;}
 }

@book{ moore_jd:1995a,
  author = {Johanna D. Moore},
  title = {Participating in Explanatory Dialogues},
  publisher = {The {MIT} Press},
  year = {1995},
  topic = {explanation;discourse;discourse-planning;nl-generation;
  	pragmatics;}
 }

@unpublished{ moore_jd:1996a,
  author = {Johanna Moore},
  title = {The Role of Plans in Discourse Generation},
  year = {1996},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Learning Research and Development
  	Center.},
  missinginfo = {Year is a guess.},
  rtnote = {Was this published?},
  topic = {nl-generation;discourse-planning;pragmatics;}
  }

@unpublished{ moore_jd-moser_m:1995a,
  author = {Johanna D. Moore and Megan Moser},
  title = {Discourse Cues in Tutorial Dialogues},
  year = {1995},
  rtnote = {In RHT collection.},
  note = {Transparencies for Talk.},
  topic = {discourse;nl-generation;pragmatics;}
  }

@article{ moore_jd-paris_cl:1991a,
  author = {Johanna D. Moore and C\'{e}cile L. Paris},
  title = {Requirements for an Expert  System Explanation Facility},
  journal = {Computational Intelligence},
  year = {1991},
  volume = {7},
  number = {4},
  pages = {367--370},
  topic = {explanation;nl-generation;}
}

@article{ moore_jd-paris_cl:1992a,
  author = {Johanna D. Moore and C\'{e}cile L. Paris},
  title = {Exploiting User Feedback to Compensate for the
  	Unreliability of User Models},
  journal = {User Modeling and User-Adapted Interaction},
  year = {1992},
  volume = {2},
  number = {4},
  pages = {331--365},
  topic = {user-modeling-in-generation;}
}

@article{ moore_jd-paris_cl:1993a,
  author = {Johanna D. Moore and C\'{e}cile L. Paris},
  title = {Planning Text for Advisory Dialogues: Capturing Intentional and
  	Rhetorical Information},
  journal = {Computational Linguistics},
  year = {1993},
  volume = {19},
  number = {4},
  pages = {651--695},
  rtnote = {In RHT collection.},
  topic = {discourse-planning;nl-generation;pragmatics;}
}

@article{ moore_jd-pollack_me:1992a,
  author = {Johanna D. Moore and Martha E. Pollack},
  title = {A Problem for {RST}: The Need for Multi-Level Discourse
  	Analysis},
  journal = {Computational Linguistics},
  year = {1992},
  volume = {18},
  number = {4},
  pages = {537--544},
  rtnote = {In RHT collection.},
  topic = {discourse-structure;pragmatics;}
  }

@inproceedings{ moore_jd-swartout:1989a,
  author = {Johanna D. Moore and William R. Swartout},
  title = {A Reactive Approach to Explanation: Taking the User's
  	Feedback into Account},
  booktitle = {Proceedings of the Eleventh International Joint
  	Conference on Artificial Intelligence},
  year = {1989},
  editor = {N.S. Sridharan},
  pages = {1504--1510},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  rtnote = {In RHT collection.},
  topic = {explanation;discourse;planning;nl-generation;pragmatics;}
}

@inproceedings{ moore_jd-swartout:1990a,
  author = {Johanna D. Moore and William R. Swartout},
  title = {Pointing: A Way Toward Explanation Dialogue},
  booktitle = {Proceedings of the Eighth National Conference on
              Artificial Intelligence},
  year = {1990},
  editor = {Thomas Dietterich and William Swartout},
  pages = {457--464},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {explanation;nl-generation;}
}

@book{ moore_jd-walker_ma:1995a,
  editor = {Johanna D. Moore and Marilyn A. Walker},
  title = {Working Papers of the {AAAI} Spring Symposium on
  	Empirical Methods in Discourse Interpretation and
	Generation},
  publisher = {American Association for Artificial Intelligence},
  year = {1995},
  address = {Menlo Park, California},
  topic = {computational-dialogue;nl-generation;}
 }

@book{ moore_jr:1979a,
  author = {James R. Moore},
  title = {The Post-{D}arwinian Controversies: A Study of the
  	{P}rotestant Struggle to Come to Terms with {D}arwin in
		{G}reat {B}ritain and {A}merica},
  year = {1979},
  publisher = {Cambridge University Press},
  address = {Cambridge},
  topic = {fundamentalism;}
 }

@incollection{ moore_js:2000a,
  author = {J. Strother Moore},
  title = {Towards a Mechanically Checked Theory
      		of Computation},
  booktitle = {Logic-Based Artificial Intelligence},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Jack Minker},
  pages = {547--574},
  address = {Dordrecht},
  topic = {logic-in-AI;theorem-proving;program-verification;}
  }

@techreport{ moore_rc:1980a,
  author = {Robert C. Moore},
  title = {Reasoning about Knowledge and Action},
  institution = {{SRI} International},
  number = {Technical Note 191},
  year = {1980},
  address = {Menlo Park, California},
  rtnote = {In RHT Collection.  CS MS shelves.},
  topic = {kr;foundations-of-planning;action;epistemic-logic;kr-course;}
  }

@inproceedings{ moore_rc:1984a1,
  author = {Robert C. Moore},
  title = {Possible Worlds Semantics for Autoepistemic Logic},
  booktitle = {Proceedings of the 1984 Non-Monotonic Reasoning
    	         Workshop},
  year = {1984},
  pages = {344--354},
  xref = {Republication: moore_rc:1984a2.},
  topic = {autoepistemic-logic;}
    }

@incollection{ moore_rc:1984a2,
  author = {Robert C. Moore},
  title = {Possible Worlds Semantics for Autoepistemic Logic},
  booktitle = {Readings in Nonmonotonic Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Matthew L. Ginsberg},
  pages = {137--142},
  address = {Los Altos, California},
  xref = {Original Publication: moore_rc:1984a1.},
  topic = {nonmonotonic-logic;nonmonotonic-reasoning;}
  }

@article{ moore_rc:1985a1,
  author = {Robert C. Moore},
  title = {Semantical Considerations on Nonmonotonic Logic},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {25},
  number = {1},
  pages = {75--94},
  xref = {Republication: moore_rc:1985a2.},
  topic = {kr;nonmonotonic-logic;autoepistemic-logic;kr-course;}
  }

@incollection{ moore_rc:1985a2,
  author = {Robert C. Moore},
  title = {Semantical Considerations on Nonmonotonic Logic},
  booktitle = {Readings in Nonmonotonic Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Matthew L. Ginsberg},
  pages = {127--136},
  address = {Los Altos, California},
  xref = {Republished in James F. Allen and James Hendler and Austin
  	Tate; Readings in Planning; 1988.  See moore:1988a2.},
  topic = {kr;nonmonotonic-logic;autoepistemic-logic;kr-course;}
  }

@incollection{ moore_rc:1985a3,
  author = {Robert C. Moore},
  title = {A Formal Theory of Knowledge and Action},
  booktitle = {Formal Theories of the Commonsense World},
  editor = {Jerry R. Hobbs and Robert C. Moore},
  publisher = {Ablex Publishing Corporation},
  year = {1985},
  pages = {319--358},
  address = {Norwood, New Jersey},
  xref = {Journal Publication: moore_rc:1985a2.},
  topic = {kr;foundations-of-planning;action;epistemic-logic;kr-course;}
  }

@inproceedings{ moore_rc:1986a1,
  author = {Robert C. Moore},
  title = {Reasoning about Knowledge and Action},
  booktitle = {Proceedings of the Fifth National Conference on
              Artificial Intelligence},
  year = {1986},
  editor = {Tom Kehler and Stan Rosenschein},
  pages = {223--227},
  organization = {American Association for Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  xref = {Republication: moore_rc:1986a2.},
  topic = {kr;foundations-of-planning;action;epistemic-logic;kr-course;}
  }

@incollection{ moore_rc:1986a2,
  author = {Robert C. Moore},
  title = {Reasoning about Knowledge and Action},
  booktitle = {Readings in Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  year = {1981},
  editor = {Bonnie Webber and Nils J. Nilsson},
  pages = {473--477},
  address = {Los Altos, California},
  xref = {Journal Publication: moore_rc:1986a2.},
  topic = {kr;foundations-of-planning;action;epistemic-logic;kr-course;}
  }

@article{ moore_rc:1987a,
  author = {Robert C. Moore},
  title = {A Critique Critiqued},
  journal = {Computational Intelligence},
  year = {1987},
  volume = {3},
  issue = {3},
  pages = {198--201},
  xref = {kr;foundations-of-kr;logic-in-AI;}
  }

@incollection{ moore_rc:1988a2,
  author = {Robert C. Moore},
  title = {A Formal Theory of Knowledge and Action},
  booktitle = {Readings in Planning},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {James F. Allen and James Hendler and Austin Tate},
  pages = {480--519},
  address = {San Mateo, California},
  xref = {Originally published in Jerry R. Hobbs and Robert C. Moore;
  Formal Theories of the Commonsense World; 1988.  See
  moore:1988a1.},
  topic = {kr;epistemic-logic;foundations-of-planning;action;kr-course;}
  }

@inproceedings{ moore_rc:1988b,
  author = {Robert C. Moore},
  title = {Is it Rational to be Logical?},
  booktitle = {Proceedings of the Second Conference on Theoretical
  	Aspects of Reasoning about Knowledge},
  year = {1988},
  editor = {Moshe Y. Vardi},
  pages = {363},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  topic = {logic-in-AI;}
  }

@unpublished{ moore_rc:1989a,
  author = {Robert C. Moore},
  title = {Unification-Based Semantic Interpretation},
  year = {1989},
  month = {January},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  topic = {unification-of-FSs;nl-semantics;}
  }

@incollection{ moore_rc:1993a,
  author = {Robert Moore},
  title = {Events, Situations, and Adverbs},
  booktitle = {Challenges in Natural Language Processing},
  publisher = {Cambridge University Press},
  year = {1993},
  editor = {Madeleine Bates and Ralph Weischedel},
  pages = {135--145},
  address = {Cambridge, England},
  topic = {nl-semantics;events;}
  }

@article{ moore_rc:1993b,
  author = {Robert C. Moore},
  title = {Autoepistemic Logic Revisited},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {27--30},
  topic = {nonmonotonic-logic;autoepistemic-logic;}
  }

@book{ moore_rc:1995a,
  author = {Robert C. Moore},
  title = {Logic and Representation},
  publisher = {Cambridge University Press},
  year = {1995},
  address = {Cambridge, England},
  rtnote = {In RHT collection.  AI Shelves.},
  topic = {kr;logic-in-AI;autoepistemic-logic;action;kr-course;}
 }

@unpublished{ moore_rc-etal:1989a,
  author = {Robert C. Moore and Fernando Pereira and Hy Murveit},
  title = {Integrating Speech and Natural Language Processing},
  year = {1989},
  note = {Unpublished manuscript, {SRI} International.},
  rtnote = {In RHT collection.},
  topic = {computational-linguistics;speech-processing;}
  }

@incollection{ moore_rc-hendrix_gg:1982a,
  author = {Robert C. Moore and Gary G. Hendrix},
  title = {Computational Models of Belief and the Semantics of
  	Belief Sentences},
  booktitle = {Processes, Beliefs, and Questions},
  publisher = {D. Reidel Publishing Company},
  year = {1982},
  editor = {Stanley Peters and Esa Saarinen},
  pages = {107--127},
  address = {Dordrecht},
  topic = {nl-semantics;propositional-attitudes;nl-semantics-and-cognition;
  	hyperintensionality;}
  }

@book{ moore_s-wyner:1991a,
  editor = {Steven Moore and {Adam Zachary} Wyner},
  title = {Proceedings from Semantics and Linguistic Theory {I}},
  publisher = {Cornell University},
  year = {1991},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {nl-semantics;}
 }

@incollection{ moore_t:1985a,
  author = {Terence Moore},
  title = {Reasoning and Inference in Logic and Language},
  booktitle = {Reasoning and Discourse Processes},
  publisher = {Academic Press},
  year = {1985},
  editor = {Terry Myers and Keith Brown and Brendan McGonigle},
  pages = {51--66},
  address = {New York},
  topic = {pragmatics;pragmatic-reasoning;}
  }

@inproceedings{ moorhouse-mckee:1997a,
  author = {Jane Moorhouse and Gerald McKee},
  title = {Modelling Evaluative Judgements},
  booktitle = {Working Papers of the {AAAI} Spring Symposium on
  	Qualitative Preferences in Deliberation and Practical
	Reasoning},
  year = {1997},
  editor = {Jon Doyle and Richmond H. Thomason},
  pages = {71--79},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {qualitative-utility;preferences;practical-reasoning;}
  }

@book{ moortgat:1988a,
  author = {Michael Moortgat},
  title = {Categorial Investigations. Logical and Linguistic
   Aspects of the {L}ambek Calculus},
  publisher = {Foris},
  year = {1988},
  address = {Dordrecht},
  topic = {categorial-grammar;lambek-calculus;}
 }

@article{ moortgat:1996a,
  author = {Michael Moortgat},
  title = {Multimodal Linguistic Inference},
  journal = {Journal of Logic, Language, and Information},
  year = {1996},
  volume = {5},
  number = {3--4},
  pages = {349--385},
  topic = {categorial-grammar;Lambek-calculus;modal-logic;}
  }

@incollection{ moortgat:1996b,
  author = {Michael Moortgat},
  title = {Categorial Type Logics},
  booktitle = {Handbook of Logic and Language},
  publisher = {Elsevier},
  year = {1996},
  editor = {Johan {van Benthem} and Alice {ter Meulen}},
  pages = {93--177},
  address = {Amsterdam},
  topic = {categorial-grammar;}
  }

@article{ moortgat:2009a,
  author = {Michael Moortgat},
  title = {Symmetric Categorial Grammar},
  journal = {Journal of Philosophical Logic},
  year = {2009},
  volume = {38},
  number = {6},
  pages = {681--710},
  topic = {categorial-grammar;Lambek-calculus;}
  }

@article{ moot-piazza:2000a,
  author = {Richard Moot and Mario Piazza},
  title = {Linguistic Applications of First Order Intuitionistic
  	Linear Logic},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {10},
  number = {2},
  pages = {211--232},
  topic = {linear-logic;intuitionistic-logic;nl-quantifier-scope;}
  }

@article{ moot-puite:2002a,
  author = {Richard Moot and Quintijn Puite},
  title = {Proof Nets for the Multimodal {L}ambek Calculus},
  journal = {Studia Logica},
  year = {2002},
  volume = {71},
  number = {3},
  pages = {415--442},
  topic = {Lambek-calculus;proof-theory;}
  }

@unpublished{ moran:1978a,
  author = {Douglas E. Moran},
  title = {Conventional Implicature in Dynamic Semantics},
  year = {1978},
  note = {Unpublished manuscript, University of Michigan.},
  rtnote = {In RHT collection.},
  topic = {dynamic-semantics;conventional-implicature;}
  }

@book{ morange:2000a,
  author = {Michael Morange},
  title = {A History of Molecular Biology},
  publisher = {Harvard University Press},
  year = {2000},
  address = {Cambridge, Massachusetts},
  ISBN = {0-674-00169-9},
  note = {Translated by Matthew Cobb},
  topic = {molecular-biology;history-of-science;}
 }

@book{ moravcsik_e:1977a,
  author = {Edith Moravcsik},
  title = {Necesssary and Possible Universals about Temporal
		Constituent-Relations in Language},
  publisher = {Indiana University Linguistics Club},
  year = {1982},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {nl-tense;}
 }

@incollection{ moravcsik_j:1965a,
  author = {Julius Moravcsik},
  title = {Strawson and Ontological Priority},
  booktitle = {Analytical Philosophy, Second Series},
  publisher = {Basil Blackwell},
  year = {1965},
  editor = {Ronald J. Butler},
  pages = {106--119},
  address = {Oxford},
  xref = {Commentary on: strawson_pf:1959a.},
  topic = {philosophical-ontology;}
  }

@unpublished{ moravcsik_j:1973a,
  author = {Julius Moravcsik},
  title = {Some Problems in {M}ontague's Philosophy of Language},
  year = {1973},
  note = {Unpublished manuscript, Stanford University},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {montague-grammar;}
  }

@incollection{ moravcsik_j:1973b,
  author = {Julius Moravcick},
  title = {Mass Terms in {E}nglish},
  booktitle = {Approaches to Natural Language},
  publisher = {D. Reidel Publishing Co.},
  year = {1973},
  editor = {Jaakko Hintikka and Julius M.E. Moravcsik and Patrick Suppes},
  pages = {263--285},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;mass-term-semantics;}
  }

@article{ moravcsik_j:1981a,
  author = {Julius Moravcsik},
  title = {How Do Words Get Their Meaning},
  journal = {The Journal of Philosophy},
  year = {1981},
  volume = {78},
  number = {1},
  pages = {5--24},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-language;proper-names;intensionality;}
  }

@book{ moravec:1988a,
  author = {Hans Moravec},
  title = {Mind Children: The Future of Human and Robot Intelligence},
  publisher = {Harvard University Press},
  year = {1988},
  address = {Cambridge, Massachusetts},
  ISBN = {0-674-57618-7},
  rtnote = {In RHT collection.  Misc Shelves.},
  topic = {robotics;AI-editorial;popular-AI;philosophy-of-mind;}
 }

@incollection{ moravec:1991a,
  author = {Hans P. Moravec},
  title = {Caution!  Robot Vehicle!},
  booktitle = {Artificial Intelligence and Mathematical Theory of
  	Computation},
  publisher = {Academic Press},
  year = {1991},
  editor = {Vladimir Lifschitz},
  pages = {331--343},
  address = {San Diego},
  topic = {robotics;robot-motion;robot-navigation;}
  }

@book{ moravec:1999a,
  author = {Hans Moravec},
  title = {Robot: Mere Machine to Transcendent Mind},
  publisher = {Oxford University Press},
  year = {1999},
  address = {Oxford},
  ISBN = {0-19-513630-6 (pbk)},
  xref = {Review: bennett_bh:1999a.},
  rtnote = {In RHT collection.  Misc Shelves.  m&mcourse;},
  topic = {robotics;AI-editorial;popular-AI;philosophy-of-mind;}
 }

@inproceedings{ morawietz-cornell:1997a,
  author = {Frank Morawietz and Tom Cornell},
  title = {Representing Constraints with Automata},
  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 = {468--475},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {constraint-based-grammar;finite-tree-automata;}
 }

@book{ morelli:1992a,
  editor = {Ralph Morelli},
  title = {Minds, Brains, and Computers: Perspectives in
  	Cognitive Science and Artificial Intelligence},
  publisher = {Ablex Publishing Corp.},
  year = {1992},
  address = {Norwood, New Jersey},
  contentnote = {TC:
     1. Ralph Morelli and W. Miller Brown, "Computational models of
     		cognition"
     2. Dina Anselmi, Karl Haberlandt,"Language : mirror of mind"
     3. Zenon W. Pylyshyn,"Computers and the symbolization of knowledge"
     4. Allen Newell,"Metaphors for Mind, Theories of Mind: Should
     		the Humanities Mind?"
     5. Roger C. Schank, "Story-Based Memory"
     6. Terry Winograd,"Computers and Rationality: The Myths and Realities"
     7. James L. McClelland, "Can Connectionist Models Discover the
     		Structure of Natural Language?"
     8. Michael Arbib, "From Neurons to Minds Via Schemas: Achieving
     		Artificial Intelligence through Cooperative Computation"
     9. Dan Lloyd, "Are You a Cognitive Liberal?  Take this Simple Quiz!"
  },
 topic = {foundations-of-AI;foundations-of-cognitive-science;}
 }

@article{ morency-etal:2007a,
  author = {Louis-Philippe Morency and Candace Sidner and Christopher
  		Lee and Trevor Darrel},
  title = {Head Gestures for Perceptual Interfaces: The Role of
  		Context in Improving Recognition},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {8--9},
  pages = {568--585},
  topic = {gesture-recognition;}
  }

@article{ moreno-etal:2002a,
  author = {Antonio Moreno and Ulises Cort\'es and Ton Sales},
  title = {Subjective Situations and Logical Omniscience},
  journal = {Studia Logica},
  year = {2002},
  volume = {72},
  number = {1},
  pages = {7--29},
  topic = {hyperintensionality;epistemic-logic;}
  }

@article{ morenosandoval-menoyo:2002a,
  author = {Antonio Moreno-Sandoval and Jos\'e Miguel Go\~ni-Menoyo},
  title = {Spanish Inflectional Morphology in {DATR}},
  journal = {Journal of Logic, Language, and Information},
  year = {2002},
  volume = {11},
  number = {1},
  pages = {79--105},
  topic = {Spanish-language;morphology;DATR;}
  }

@article{ morgan_cg:1970a,
  author = {Charles G. Morgan},
  title = {Hypothesis Generation by Machine},
  journal = {Artificial Intelligence},
  year = {1970},
  volume = {2},
  number = {2},
  pages = {179--187},
  topic = {hypothesis-generation;abduction;}
  }

@article{ morgan_cg:1971a,
  author = {Charles G. Morgan},
  title = {Hypothesis Generation by Machine},
  journal = {Artificial Intelligence},
  year = {1971},
  volume = {2},
  pages = {179--187},
  missinginfo = {number},
  topic = {abduction;}
  }

@article{ morgan_cg:1982a,
  author = {Charles G. Morgan},
  title = {There is a Probabilistic Semantics for Every Extension of
		Classical Sentence Logic},
  journal = {Journal of Philosophical Logic},
  year = {1982},
  volume = {11},
  number = {4},
  pages = {431--442},
  topic = {probability-semantics;}
  }

@article{ morgan_cg:1982b,
  author = {Charles G. Morgan},
  title = {Simple Probabilistic Semantics for Propositional {K}, {T},
		{B}, {S4}, and {S5}},
  journal = {Journal of Philosophical Logic},
  year = {1982},
  volume = {11},
  number = {4},
  pages = {443--458},
  topic = {probability-semantics;}
  }

@article{ morgan_cg-mares:1995a,
  author = {Charles G. Morgan and Edwin D. Mares},
  title = {Conditionals, Probability, and Non-Triviality},
  journal = {Journal of Philosophical Logic},
  year = {1995},
  volume = {24},
  number = {5},
  pages = {455--467},
  topic = {CCCP;}
  }

@article{ morgan_cg-pelletier:1977a,
  author = {Charles Morgan and Francis Jeffry Pelletier},
  title = {Some Notes Concerning Fuzzy Logics},
  journal = {Linguistics and Philosophy},
  year = {1977},
  volume = {1},
  number = {1},
  pages = {79--98},
  topic = {fuzzy-logic;}
  }

@incollection{ morgan_jl:1975a,
  author = {Jerry L. Morgan},
  title = {Some Interactions of Syntax and Pragmatics},
  booktitle = {Syntax and Semantics 3: Speech Acts},
  publisher = {Academic Press},
  year = {1975},
  editor = {Peter Cole},
  pages = {289--303},
  address = {New York},
  rtnote = {pragmatics-course;},
  topic = {speech-acts;pragmatics;}
  }

@incollection{ morgan_jl:1978a,
  author = {Jerry L. Morgan},
  title = {Two Types of Convention in Indirect Speech Acts},
  booktitle = {Syntax and Semantics 9: Pragmatics},
  publisher = {Academic Press},
  year = {1978},
  editor = {Peter Cole},
  pages = {261--280},
  address = {New York},
  rtnote = {pragmatics-course;},
  topic = {indirect-speech-acts;pragmatics;}
  }

@article{ morgan_jl-green_gm:1987a,
  author = {Jerry L. Morgan and Georgia M. Green},
  title = {On the Search for Relevance},
  journal = {Behavioral and Brain Sciences},
  year = {1987},
  volume = {10},
  pages = {725--726},
  missinginfo = {number},
  topic = {implicature;relevance;}
  }

@book{ morgan_mg-henrion:1992a,
  editor = {M. Granger Morgan and Max Henrion},
  title = {Uncertainty: A Guide to Dealing with Uncertainty
  	in Quantitative Risk and Policy Analysis},
  publisher = {Cambridge University Press},
  year = {1992},
  address = {Cambridge, England},
  ISBN = {0521427444},
  rtnote = {$$$ for paperback $19.95},
  topic = {decision-analysis;decision-making-under-uncertainty;}
 }

@inproceedings{ morgenstern_l:1986a,
  author = {Leora Morgenstern},
  title = {A First Order Theory of Planning, Knowledge, and Action},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the First Conference},
  year = {1986},
  editor = {Joseph Y. Halpern},
  pages = {99--114},
  publisher = {Morgan Kaufmann Publishers, Inc.},
  address = {Los Altos, California},
  topic = {kr;epistemic-logic;foundations-of-planning;action;kr-course;}
  }

@article{ morgenstern_l:1990a,
  author = {Leora Morgenstern},
  title = {Knowledge and the Frame Problem},
  journal = {International Journal of Expert Systems},
  year = {1990},
  volume = {3},
  number = {4},
  pages = {309--343},
  xref = {"Knowledge and the Frame Problem", in Ford and Hayes, eds.:
  	Reasoning Agents in a Dynamic World: The Frame Problem, 1991.},
  rtnote = {In RHT collection.  I couldn't locate the xref.  This was
  	a special issue of the journal; probably it was republished.},
  topic = {nonmonotonic-reasoning;reasoning-about-knowledge;}
  }

@inproceedings{ morgenstern_l:1990b,
  author = {Leora Morgenstern},
  title = {A Theory of Multiple Agent Nonmonotonic Reasoning},
  booktitle = {Proceedings of the Eighth National Conference on
              Artificial Intelligence},
  year = {1990},
  editor = {Thomas Dietterich and William Swartout},
  pages = {538--544},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  rtnote = {In RHT collection.},
  topic = {reasoning-about-knowledge;nonmonotonic-reasoning;}
  }

@incollection{ morgenstern_l:1996a,
  author = {Leora Morgenstern},
  title = {Inheriting Well-formed Formulae in a Formula-Augmented
  	Semantic Network},
  booktitle = {{KR}'96: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro},
  pages = {268--279},
  address = {San Francisco, California},
  topic = {kr;inheritance-theory;applied-nonmonotonic-reasoning;}
  }

@incollection{ morgenstern_l:1996b,
  author = {Leora Morgenstern},
  title = {The Problem with Solutions to the Frame Problem},
  booktitle = {The Robot's Dilemma Revisited: The Frame Problem
             in Artificial Intelligence},
  publisher = {Ablex Publishing Co.},
  year = {1996},
  editor = {Kenneth M. Ford and Zenon Pylyshyn},
  pages = {99--133},
  address = {Norwood, New Jersey},
  topic = {frame-problem;}
  }

@inproceedings{ morgenstern_l:1997a,
  author = {Leora Morgenstern},
  title = {Inheritance Comes of Age: Applying Nonmonotonic
             Techniques to Problems in Industry},
  booktitle = {Proceedings of the Fifteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1997},
  editor = {Martha Pollack},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  missinginfo = {pages},
  topic = {kr;inheritance-theory;applied-nonmonotonic-reasoning;}
  }

@article{ morgenstern_l:1998a,
  author = {Leora Morgenstern},
  title = {Inheritance Comes of Age: Applying Nonmonotonic
  	Techniques to Problems in Industry},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {103},
  number = {1--2},
  pages = {237--271},
  topic = {kr;inheritance-theory;applied-nonmonotonic-reasoning;}
  }

@inproceedings{ morgenstern_l:1998b,
  author = {Leora Morgenstern},
  title = {Hypothetical Reasoning, Prediction, and Planning in a
  	Relativized-Branching-Time Ontology},
  booktitle = {Working Notes of the {AAAI} Spring Symposium on
 	Prospects for a Commonsense Theory of Causation},
  year = {1998},
  organization = {American Association for Artificial Intelligence},
  publication = {American Association for Artificial Intelligence},
  address = {Menlo Park, CA},
  editor = {Charles L. {Ortiz, Jr.}},
  pages = {53},
  note = {Abstract.},
  rtnote = {In RHT Collection.  },
  topic = {causality;planning-formalisms;
	branching-time;}
 }

@article{ morgenstern_l:2001a,
  author = {Leora Morgenstern},
  title = {Mid-Sized Axiomatizations of Common-Sense Problems:
  	A Case Study in Egg-Cracking},
  journal = {Studia Logica},
  year = {2001},
  volume = {67},
  number = {3},
  pages = {333--384},
  topic = {common-sense-reasoning;kr;macro-formalization;}
  }

@unpublished{ morgenstern_l:2003a,
  author = {Leora Morgenstern},
  title = {Common Sense Problem Page},
  year = {2003},
  note = {http://www-formal.stanford.edu/leora/commonsense/},
  rtnote = {In RHT collection.},
  topic = {common-sense-logicism;common-sense-reasoning;}
  }

@article{ morgenstern_l:2006a,
  author = {Leora Morgenstern},
  title = {Knowledge Representation and Commonsense Reasoning:
  		Reviews of Four Books},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {18},
  pages = {1239--1250},
  xref = {Review of: brachman-levesque:2004a, reiter_r:2001a,
  		mueller_et:2006a, },
  topic = {kr;AI-intro;AI-text;action-formalisms;cognitive-robotics;GoLog;
  		common-sense-logicism;common-sense-reasoning;logic-in-AI;}
  }

@inproceedings{ morgenstern_l-singh_m:1997a,
  author = {Leora Morgenstern and Moninder Singh},
  title = {An Expert System Using Nonmonotonic Techniques
             for Benefits Inquiry in the Insurance Industry},
  booktitle = {Proceedings of the Fifteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1997},
  editor = {Martha Pollack},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  missinginfo = {pages},
  topic = {kr;inheritance-theory;applied-nonmonotonic-reasoning;
  	rules-and-regulations;}
  }

@inproceedings{ morgenstern_l-stein_l:1988a,
  author = {Leora Morgenstern and Lynn Stein},
  title = {Why Things Go Wrong: a Formal Theory of Causal Reasoning},
  booktitle = {Proceedings of the Sixth National
  		Conference on Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  year = {1988},
  missinginfo = {pages},
  topic = {causality;frame-problem;Yale-shooting-problem;action-formalisms;}
  }

@article{ morgenstern_l-stein_l:1994a,
  author = {Leora Morgenstern and Lynn Stein},
  title = {Motivated Action Theory: a Formal Theory of Causal
  	Reasoning},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {71},
  number = {1},
  pages = {1--42},
  rtnote = {Photocopy on file.},
  topic = {causality;frame-problem;Yale-shooting-problem;
  	action-formalisms;}
  }

@inproceedings{ morgenstern_l-thomason_rh:2000a,
  author = {Leora Morgenstern and Richmond H. Thomason},
  title = {Teaching Knowledge Representation: Challenges and
  	Proposals},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {725--733},
  topic = {kr;university-instruction;}
  }

@incollection{ morik:1989a,
  author = {Katherine Morik},
  title = {User Models and Conversational
	Settings: Modelling the User's Wants},
  booktitle = {User Models in Dialog Systems},
  publisher = {Springer-Verlag},
  year = {1989},
  editor = {Alfred Kobsa and Wolfgang Wahlster},
  pages = {364--385},
  address = {Berlin},
  topic = {user-modeling;}
 }

@incollection{ morik:1998a,
  author = {Katherine Morik},
  title = {How to Tailor Representations to Different Requirements
		(Abstract)},
  booktitle = {{KR}'98: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1998},
  editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C.
		Shapiro},
  pages = {650},
  address = {San Francisco, California},
  topic = {kr;applied-kr;kr-course;}
  }

@incollection{ morishima:1999a,
  author = {Yasunori Morishima},
  title = {Effects of Discourse Context on
			Inference Computation during Comprehension},
  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 = {491--494},
  address = {Berlin},
  topic = {context;cognitive-psychology;}
  }

@article{ morisset-ghallab:2008a,
  author = {Benoit Morisset and Malik Ghallab},
  title = {Learning How to Combine Sensory-Motor Functions into a
  		Robust Behavior},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {4--5},
  pages = {392--412},
  topic = {machine-learning;robotice;}
  }

@article{ mormonn:1992a,
  author = {Thomas Mormonn},
  title = {Structural Accessibility and Similarity of Possible
		Worlds},
  journal = {Journal of Philosophical Logic},
  year = {1992},
  volume = {21},
  number = {2},
  pages = {149--172},
  topic = {foundations-of-modality;}
  }

@incollection{ morreau:1990a,
  author = {Michael Morreau},
  title = {Epistemic Semantics for Counterfactuals},
  booktitle = {Conditionals, Defaults, and Belief Revision},
  publisher = {Institut f\"ur maschinelle Sprachverarbeitung,
  		Universit\"at Stuttgart},
  year = {1990},
  note = {Dyana Deliverable R2.5.A.},
  editor = {Hans Kamp},
  pages = {1--27},
  address = {Stuttgart},
  topic = {conditionals;belief-revision;nonmonotonic-logic;}
  }

@incollection{ morreau:1992a,
  author = {Michael Morreau},
  title = {Planning from First Principles},
  booktitle = {Belief Revision},
  publisher = {Cambridge University Press},
  year = {1992},
  editor = {Peter G\"ardenfors},
  pages = {204--219},
  address = {Cambridge},
  topic = {belief-revision;action-formalisms;ability;dynamic-logic;}
  }

@article{ morreau:1992b,
  author = {Michael Morreau},
  title = {Epistemic Semantics for Counterfactuals},
  journal = {Journal of Philosophical Logic},
  year = {1992},
  volume = {21},
  number = {1},
  pages = {33--62},
  topic = {conditionals;belief-revision;Ramsey-test;}
  }

@phdthesis{ morreau:1992c,
  author = {Michael Morreau},
  title = {Conditionals in Philosophy and Artificial Intelligence},
  school = {Philosophy Department, University of Amsterdam},
  address = {Amsterdam},
  year = {1992},
  topic = {conditionals;nonmonotonic-logic;}
    }

@inproceedings{ morreau:1995a,
  author = {Michael Morreau},
  title = {Allowed Arguments},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {1466--1472},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {IS TITLE CORRECT?},
  topic = {conditionals;nonmonotonic-logic;}
  }

@article{ morreau:1996a,
  author = {Michael Morreau},
  title = {{\it Prima Facie} and Seeming Duties},
  journal = {Studia Logica},
  year = {1996},
  volume = {57},
  number = {1},
  pages = {47--71},
  topic = {deontic-logic;prima-facie-obligation;}
  }

@article{ morreau:1997a,
  author = {Michael Morreau},
  title = {Fainthearted Conditionals},
  journal = {The Journal of Philosophy},
  year = {1997},
  volume = {94},
  number = {4},
  pages = {187--211},
  contentnote = {The term refers to conditionals
  	that don't support modus ponens.},
  topic = {conditionals;deontic-logic;}
  }

@incollection{ morreau:1997b,
  author = {Michael Morreau},
  title = {Reasons to Think and Act},
  booktitle = {Defeasible Deontic Logic},
  publisher = {Kluwer Academic Publishers},
  year = {1997},
  editor = {Donald Nute},
  pages = {139--158},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {practical-reason;}
  }

@article{ morreau:1998a,
  author = {Michael Morreau},
  title = {Review of \emph{{F}or the Sake of Argument}, by {I}saac
  	{L}evi},
  journal = {The Journal of Philosophy},
  year = {1998},
  volume = {95},
  number = {10},
  pages = {540--546},
  xref = {Review of levi_i:1996a.},
  topic = {conditionals;nonmonotonic-reasoning;induction;
  	belief-kinematics;probability-kinematics;}
  }

@article{ morreau:1999a,
  author = {Michael Morreau},
  title = {Other Things Being Equal},
  journal = {Philosophical Studies},
  year = {1999},
  missinginfo = {volume,number,pages.  Year is a guess.
  	Forthcoming.},
  rtnote = {In RHT collection.},
  topic = {ramification-problem;}
  }

@article{ morreau:1999b,
  author = {Michael Morreau},
  title = {Supervaluations Can Leave Truth-Value Gaps
  	after All},
  journal = {The Journal of Philosophy},
  year = {1999},
  volume = {96},
  number = {3},
  pages = {148--156},
  topic = {supervaluations;truth-value-gaps;vagueness;}
  }

@article{ morreau:2002a,
  author = {Michael Morreau},
  title = {What Vague Objects Are Like},
  journal = {The Journal of Philosophy},
  year = {2002},
  volume = {99},
  number = {7},
  pages = {333--361},
  topic = {vagueness;mereology;}
  }

@article{ morreau:2009a,
  author = {Michael Morreau},
  title = {The Hypothetical Syllogism},
  journal = {Journal of Philosophical Logic},
  year = {2009},
  volume = {38},
  number = {4},
  pages = {447--464},
  topic = {conditionals;}
  }

@article{ morreau-kraus_s:1998a,
  author = {Michael Morreau and Sarit Kraus},
  title = {Syntactical Treatments of Propositional Attitudes},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {105},
  number = {1--2},
  pages = {339--355},
  topic = {syntactic-attitudes;}
  }

@article{ morreau-kraus_s:1998b,
  author = {Michael Morreau and Sarit Kraus},
  title = {Syntactical Treatments of Propositional Attitudes},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {106},
  number = {1},
  pages = {161--177},
  topic = {syntactic-attitudes;}
  }

@incollection{ morrill:1987a,
  author = {Glyn Morrill},
  title = {Meta-Categorial Grammar},
  booktitle = {Working Papers in Cognitive Science, Volume 1: Categorial
  	Grammar, Unification Grammar and Parsing},
  publisher = {Centre for Cognitive Science, University of Edinburgh},
  year = {1987},
  editor = {Nicholas Haddock and Ewan Klein and Glyn Morrill},
  pages = {1--29},
  address = {Edinburgh},
  topic = {categorial-grammar;}
  }

@techreport{ morrill:1989a,
  author = {Glyn Morrill},
  title = {Intensionality, Boundedness, and Modal Logic},
  institution = {Centre for Cognitive Science, University of
  	Edinburgh},
  number = {EUCCS/RP--32},
  year = {1989},
  address = {Edinburgh},
  rtnote = {In RHT collection.},
  topic = {categorial-grammar;Lambek-calculus;intensionality;}
  }

@article{ morrill:1990a,
  author = {Glynn Morrill},
  title = {Intensionality and Boundedness},
  journal = {Linguistics and Philosophy},
  year = {1990},
  volume = {13},
  number = {6},
  pages = {699--726},
  topic = {intensionality;categorial-grammar;}
  }

@book{ morrill:1994a,
  author = {Glyn V. Morrill},
  title = {Type Logical Grammar: Categorial Logic of Signs},
  publisher = {Kluwer Academic Publishers},
  year = {1994},
  address = {Dordrecht},
  ISBN = {0792330951},
  rtnote = {UMich Graduate Library, P 161 .M671 1994.},
  topic = {type-theory;grammar-formalisms;categorial-grammar;}
 }

@article{ morrill:1995a,
  author = {Glyn Morrill},
  title = {Discontinuity in Categorial Grammar},
  journal = {Linguistics and Philosophy},
  year = {1995},
  volume = {18},
  number = {2},
  pages = {175--219},
  topic = {categorial-grammar;discontinuous-constituents;}
  }

@article{ morrill:2000a,
  author = {Glyn Morrill},
  title = {Incremental Processing and Acceptability},
  journal = {Computational Linguistics},
  year = {2000},
  volume = {26},
  number = {3},
  pages = {319--338},
  topic = {categorial-grammar;parsing-algorithms;parsing-psychology;}
  }

@article{ morrill-carpenter:1990a,
  author = {Glyn Morrill and Bob Carpenter},
  title = {Compositionality, Implicational Logics, and Theories
  	of Grammar},
  journal = {Linguistics and Philosophy},
  year = {1990},
  volume = {13},
  number = {4},
  pages = {383--392},
  topic = {compositionality;argument-structure;combinatory-logic;}
  }

@book{ morris_cw:1937a,
  author = {Charles W. Morris},
  title = {Logical Positivism, Pragmatism and Scientific Empiricism},
  publisher = {Hermann \& cie},
  year = {1937},
  address = {Paris},
  ISBN = {9027232873},
  rtnote = {UMich Graduate Library, BD 331 .M761 1993},
  topic = {logical-positivism;}
 }

@book{ morris_cw:1946a,
  author = {Charles W. Morris},
  title = {Signs, Language and Behavior},
  publisher = {Prentice-Hall},
  year = {1946},
  address = {New York},
  rtnote = {Graduate Library Call No: BF 455 .M88},
  topic = {philosophy-of-language;foundations-of-semantics;}
 }

@book{ morris_cw:1964a,
  author = {Charles W. Morris},
  title = {Signification and Significance: A Study of the Relations of
    Signs and Values},
  publisher = {The {MIT} Press},
  year = {1964},
  address = {Cambridge, Massachusetts},
  rtnote = {UMich Graduate Library Call No: B 840 .M87},
  topic = {nl-semantics;foundations-of-semantics;
  	philosophy-of-language;}
 }

@book{ morris_cw:1971a,
  author = {Charles W. Morris},
  title = {Writings on the General Theory of Signs},
  publisher = {Mouton},
  year = {1971},
  address = {The Hague},
  rtnote = {Graduate Library Call No: B 840 .M88},
  topic = {philosophy-of-language;foundations-of-semantics;}
 }

@incollection{ morris_cw:1971b,
  author = {Charles W. Morris},
  title = {Foundations of the Theory of Signs},
  booktitle = {Writings on the General Theory of Signs},
  publisher = {Mouton},
  year = {1971},
  editor = {Charles W. Morris},
  pages = {17--74},
  address = {The Hague},
  topic = {philosophy-of-language;foundations-of-semantics;}
  }

@book{ morris_cw:1993a,
  author = {Charles W. Morris},
  title = {Symbolism and Reality: A Study in the Nature of Mind},
  publisher = {J. Benjamins Pub. Co.},
  year = {1993},
  address = {Amsterdam},
  ISBN = {9027232873 (paper},
  rtnote = {UMich Graduate Library, BD 331 .M761 1993},
  topic = {philosophy-of-mind;philosophy-of-language;}
 }

@book{ morris_hm:1974a,
  author = {Henry M. Morris},
  title = {Many Infallible Proofs: Practical and Useful
  	Evidences of {C}hristianity},
  year = {1974},
  address = {San Diego},
  missinginfo = {publisher},
  topic = {fundamentalism;}
 }

@incollection{ morris_m:1996a,
  author = {Michael Morris},
  title = {How Simple is the Simple Account?  Comment on {P}eacocke},
  booktitle = {Connectionism, Concepts, and Folk Psychology: The Legacy
  		of {A}lan {T}uring: Volume {II}},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Peter J.R. Millican and Andy Clark},
  pages = {139--146},
  address = {Oxford},
  xref = {Comments on peacocke:1996a.},
  topic = {concepts;}
  }

@article{ morris_ph:1988a,
  author = {Paul H. Morris},
  title = {The Anomalous Extension Problem in Default Reasoning},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {35},
  number = {3},
  pages = {383--399},
  topic = {kr;yale-shooting-problem;kr-course;}
  }

@article{ morris_r1:2006a,
  author = {Robert Morris},
  title = {Review of \emph{{T}hinking about Android Epistemology},
  		edited by {K}enneth {M}. {F}ord and {C}lark {G}lymour and
		{P}atrick {J}. {H}ayes},
  journal = {The {AI} Magazine},
  year = {2006},
  volume = {27},
  number = {2},
  pages = {83--86},
  xref = {Review of: ford_km-etal:2006a},
  topic = {epistemology;philosophy-of-AI;philosophy-AI;consciousness;}
  }

@inproceedings{ morris_ra-morris_p:2000a,
  author = {Robert A. Morris and Paul Morris},
  title = {On the Complexity of Reasoning about Repeating Events},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {580--568},
  topic = {temporal-reasoning;complexity-in-AI;events;}
  }

@incollection{ morris_s:1994a,
  author = {Stephen Morris},
  title = {Revising Knowledge: A Hierarchical Approach},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fifth Conference ({TARK} 1994)},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Ronald Fagin},
  pages = {160--174},
  address = {San Francisco},
  rtnote = {This is an economics paper.  Read This.},
  topic = {foundations-of-utility-theory;qualitative-decision-theory;}
  }

@incollection{ morris_s:1996a,
  author = {Stephen Morris},
  title = {Paradoxes of Common Knowledge Revisited: A Perspective
  	from Game Theory and Economics (Abstract)},
  booktitle = {Theoretical Aspects of Rationality and Knowledge:
  	Proceedings of the Sixth Conference ({TARK} 1996)},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Yoav Shoham},
  pages = {299--300},
  address = {San Francisco},
  topic = {mutual-belief;rational-action;}
  }

@inproceedings{ morris_s:1998a,
  author = {Stephen Morris},
  title = {Interaction Games: A Unified Analysis of Incomplete
		Information and Local Interaction},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Seventh Conference ({TARK} 1998)},
  year = {1998},
  editor = {Itzhak Gilboa},
  pages = {273--277},
  publisher = {Morgan Kaufmann},
  address = {San Francisco, California},
  topic = {reasoning-about-knowledge;game-theory;}
  }

@article{ morris_s-shin_hs:1997a,
  author = {Stephen Morris and Hyun Song Shin},
  title = {Approximate Common Knowledge and Co-ordination: Recent
  	Lessons from Game Theory},
  journal = {Journal of Logic, Language, and Information},
  year = {1997},
  volume = {6},
  number = {2},
  pages = {171--190},
  topic = {mutual-belief;agreement;}
  }

@article{ morscher:1974a,
  author = {Edgar Morscher},
  title = {Ontology as a Normative Science},
  journal = {Journal of Philosophical Logic},
  year = {1974},
  volume = {3},
  number = {3},
  pages = {285--289},
  topic = {philosophical-ontology;}
  }

@book{ mortensen_c:1995a,
  author = {Chris Mortensen},
  title = {Inconsistent Mathematics},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  address = {Dordrecht},
  topic = {relevance-logic;paraconsistent-mathematics;
  	formalizations-of-arithmetic;}
 }

@article{ mortensen_c:1997a,
  author = {Chris Mortensen},
  title = {The {L}eibniz Continuity Condition, Inconsistency,
  	and Quantum Dynamics},
  journal = {Journal of Philosophical Logic},
  year = {1997},
  volume = {26},
  number = {4},
  pages = {377--389},
  topic = {formalizations-of-physics;foundations-of-quantum-mechanics;}
  }

@article{ mortensen_c-nehrlich:1978a,
  author = {Chris Mortensen and Graham Nehrlich},
  title = {Physical Topology},
  journal = {Journal of Philosophical Logic},
  year = {1978},
  volume = {7},
  number = {2},
  pages = {209--223},
  topic = {spatial-representation;}
  }

@book{ mortensen_cd:1996a,
  author = {C. David Mortensen},
  title = {Miscommunication},
  publisher = {Sage Publications},
  year = {1996},
  address = {Thousand Oaks, California},
  rtnote = {In RHT collection.  },
  topic = {discourse;miscommunication;pragmatics;}
 }

@article{ morton_a:1993a,
  author = {Adam Morton},
  title = {Review of \emph{{L}aws and Symmetry}, by
  	{B}as {C}. {van Fraassen}},
  journal = {The Philosophical Review},
  year = {1993},
  volume = {102},
  number = {3},
  pages = {408--410},
  xref = {Review of vanfraassen:1989a.},
  topic = {natural-laws;philosophy-of-science;}
  }

@incollection{ morton_a:1995a,
  author = {Adam Morton},
  title = {Game Theory and Knowledge by Simulation},
  booktitle = {Mental Simulation: Evaluations and Applications},
  publisher = {Blackwell Publishers},
  year = {1995},
  editor = {Martin Davies and Tony Stone},
  pages = {235--246},
  address = {Oxford},
  topic = {game-theory;mental-simulation;
  	propositional-attitude-ascription;}
  }

@article{ morton_a:2004a,
  author = {Adam Morton},
  title = {Epistemic Virtues, Metavirtues, and Computational Complexity},
  journal = {No\^us},
  year = {2004},
  volume = {38},
  number = {3},
  pages = {481--502},
  topic = {limited-rationality;ethics;}
  }

@book{ morton_a-stich:1996a,
  editor = {Adam Morton and Stephen Stich},
  title = {Benacerraf and his Critics},
  publisher = {Basil Blackwell Ltd.},
  year = {1996},
  address = {Oxford},
  ISBN = {0631192689},
  rtnote = {UMich Graduate Library, QA 29 .B515 B461 1996.},
  topic = {philosophy-of-mathematics;}
 }

@inproceedings{ morzycki:2001a,
  author = {Marcin Morzycki},
  title = {Almost and Its Kin, Across Categories},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XI}},
  publisher = {Cornell University},
  year = {2001},
  editor = {Rachel Hastings and Brendan Jackson and Zsofia Zvolenszky},
  pages = {306--325},
  address = {Ithaca, New York},
  topic = {nl-semantics;exception-constructions;}
  }

@inproceedings{ morzycki:2002a,
  author = {Marcin Morzycki},
  title = {Wholes and Their Covers},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XII}},
  publisher = {Cornell University},
  year = {2002},
  editor = {Brendan Jackson},
  pages = {184--203},
  address = {Ithaca, New York},
  topic = {nl-semantics;mereology;}
  }

@article{ morzycki:2009a,
  author = {Marcin Morzycki},
  title = {Degree Modification of Gradable Nouns:  Size Adjectives
  		and Adnominal Degree},
  journal = {Natural Language Semantics},
  year = {2009},
  volume = {1},
  number = {2},
  pages = {175--203},
  topic = {degree-modifiers;}
  }

@incollection{ moschovakis_j:2008a,
  author = {Joan Moschovakis},
  title = {Intuitionistic Logic},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  editor = {Edward N. Zalta},
  url = {
   http://plato.stanford.edu/archives/fall2008/entries/logic-intuitionistic/},
  year = {2008},
  rtnote = {In RHT collection.},
  topic = {intuitionistic-logic;}
}

@techreport{ moschovakis_yn:1986a,
  author = {Yiannis N. Moschovakis},
  title = {Foundations of the Theory of Algorithms {I}},
  institution = {Mathematics Department, UCLA},
  year = {1986},
  address = {Los Angeles, California 90024},
  rtnote = {In RHT collection.},
  missinginfo = {number},
  topic = {abstract-recursion-theory;}
  }

@unpublished{ moschovakis_yn:1988a,
  author = {Yiannis N. Moschovakis},
  title = {A Game-Theoretic Modelling of Concurrency},
  year = {1988},
  note = {Unpublished manuscript, Mathematics Department, University of
		California at Los Angeles},
  rtnote = {In RHT collection.},
  topic = {concurrency;game-theory;}
  }

@book{ moschovakis_yn:1992a,
  editor = {Yiannis N. Moschovakis},
  title = {Logic from Computer Science: Proceedings of A Workshop
  	Held {N}ovember 13--17, 1989},
  publisher = {Springer-Verlag},
  year = {1992},
  address = {New York},
  ISBN = {0387976671 (alk. paper)},
  rtnote = {UMich Science, QA 9 .A1 L641 1992.},
  topic = {logic-and-computer-science;}
 }

@incollection{ moschovakis_yn:1994a,
  author = {Yiannis N. Moschovakis},
  title = {Sense and Denotation as Algorithm and Value},
  booktitle = {Logic Colloquium '90},
  publisher = {Springer-Verlag},
  year = {1994},
  editor = {Jouko V\"a\"an\"anen and Juha Oikkonen},
  pages = {382--396},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {abstract-recursion-theory;foundations-of-semantics;
  	hyperintensionality;logic-of-sense-and-denotation;}
  }

@incollection{ moschovakis_yn:2001a,
  author = {Yiannis N. Moschovakis},
  title = {What is an Algorithm?},
  booktitle = {Mathematics Unlimited---2001 and Beyond},
  publisher = {Springer-Verlag},
  year = {2001},
  editor = {B. Engquist and W. Schmid},
  pages = {919--936},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {abstract-recursion-theory;foundations-of-algorithmics;}
  }

@unpublished{ moschovakis_yn:2002a,
  author = {Yiannis N. Moschovakis},
  title = {A Logical Calculus of Meaning and Synonymy},
  year = {2002},
  note = {http://www.math.ucla.edu/~ynm/papers/lcms07-02.pdf},
  rtnote = {In RHT collection.},
  topic = {hyperintensionality;abstract-recursion-theory;}
  }

@article{ moschovakis_yn:2006a,
  author = {Yiannis Moschovakis},
  title = {A Logical Calculus of Meaning and Synonymy},
  journal = {Linguistics and Philosophy},
  year = {2006},
  volume = {29},
  number = {1},
  pages = {27--89},
  topic = {hyperintensionality;abstract-recursion-theory;
  	foundations-of-semantics;}
  }

@article{ moser_le:1989a,
  author = {Louise E. Moser},
  title = {A Nonmonotonic Logic of Belief},
  journal = {Fundamenta Informaticae},
  year = {1989},
  volume = {12},
  number = {3},
  pages = {507--524},
  rtnote = {In RHT collection.},
  topic = {epistemic-logic;nonmonotonic-logic;}
}

@unpublished{ moser_m-moore_jd:1995a,
  author = {Megan Moser and Johanna Moore},
  title = {Toward a Synthesis of Two Accounts of Discourse Structure},
  year = {1995},
  rtnote = {In RHT collection.},
  note = {Unpublished MS, LRDC, University of Pittsburgh.  Forthcoming,
  	Computational Linguistics.},
  missinginfo = {Year is a guess.},
  topic = {discourse-structure;pragmatics;}
  }

@article

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib