text:
996a,
  editor = {Robert Markley},
  title = {Virtual Realities and Their Discontents},
  publisher = {Johns Hopkins University Press},
  year = {1996},
  address = {Baltimore},
  contentnote = {TC:
  	1. Robert Markley, "Introduction: History, Theory, and
		Virtual Reality"
	2. N. Katherine Hayles, "Boundary Disputes: Homeostasis,
		Reflexivity, and the Foundations of Cybernetics"
	3. Richard Grusin, "What is an electronic author? Theory and
		the technological fallacy"
	4. Robert Markley, "Boundaries: Mathematics, Alienation, and the
		Metaphysics of Cyberspace"
	5. David Brande, "The Business of Cyberpunk: Symbolic Economy and
		Ideology in {W}illiam {G}ibson"
	6. David Porush, "Hacking the Brainstem: Postmodern
		Metaphysics and {S}tephenson's Snow Crash"
	7. Michelle Kendrick, "Cyberspace and the Technological Real"
   },
  ISBN = {0801852250 (alk. paper)},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 V551 1996.},
  topic = {virtual-reality;}
 }

@article{ markosian:2001a,
  author = {Ned Markosian},
  title = {Review of \emph{{S}emantics, Tense, and Time}, by
  		{P}eter {L}udlow},
  journal = {The Journal of Philosophy},
  year = {2001},
  volume = {98},
  number = {6},
  pages = {325--329},
  xref = {Review of ludlow:1999a.},
  topic = {nl-semantics;tense-aspect;metaphysics;}
  }

@book{ markova-etal:1996a,
  author = {Ivana Markova and Carl Graumann and Klaus Foppa},
  title = {Mutualities in Dialogue},
  publisher = {Cambridge University Press},
  year = {1996},
  address = {Cambridge, England},
  topic = {discourse;coord-in-conversation;pragmatics;}
 }

@article{ markovian:2001a,
  author = {Ned Markovian},
  title = {Review of \emph{{Q}uestions of Time and Tense}, edited by
  	{R}obert {L}e {P}oidevin},
  journal = {No\^us},
  year = {2001},
  volume = {35},
  number = {4},
  pages = {616--629},
  xref = {Review of: lepoidevin:1998a.},
  topic = {tense-logic;philosophy-of-time;}
  }

@incollection{ markowitz-etal:1992a,
  author = {Judith A. Markowitz and J. Terry Nutter and Martha W.
  	Evans},
  title = {Beyond {IS-A} and Part-Whole: More Semantic Networks},
  booktitle = {Semantic Networks in Artificial Intelligence},
  publisher = {Pergamon Press},
  year = {1992},
  editor = {Fritz Lehmann},
  pages = {377--390},
  address = {Oxford},
  topic = {kr;semantic-networks;computational-ontology;kr-course;}
  }

@article{ marks_g-miller_n1:1987a,
  author = {Gary Marks and Norman Miller},
  title = {Ten Years of Research on the False-Consensus Effect:  An
  	Empirical and Theoretical Review},
  journal = {Psychological Bulletin},
  year = {1987},
  volume = {102},
  pages = {72--90},
  missinginfo = {number},
  topic = {social-psychology;false-consensus;}
  }

@book{ marks_j1:1986a,
  editor = {Joel Marks},
  title = {The Ways of Desire: New Essays in Philosophical Psychology on
    the Concept of Wanting},
  publisher = {Precedent Publishing, Inc.},
  year = {1986},
  address = {Chicago},
  ISBN = {0913750441},
  contentnote = {TC:
     1. Joe Marks, "Introduction: On the Need for a Theory
     		of Desire", pp. 1--15
     2. Audi, Robert, "Intending Intentional Action,
     		and Desire", pp. 17--38
     3. Annette Baier, "The Ambiguous Limits of Desire", pp. 39--63
     4. Wayne A. Davis, "The Two Senses of Desire", pp. 63--82
     5. Ronald B. DeSosa, "Desire and Time", pp. 83--100
     6. Robert M. Gordon, "The Circle of Desire", pp. 101--114
     7. O.H. Green, "Actions, Emotions, and Desires", pp. 115--131
     8. Joel Marks, "The Difference between Motivation and
     		Desire", pp. 133--147
     9. Dennis W. Stampe, "Defining Desire", pp. 149--173
    10. Mitchell Staude, "Wanting, Desiring, and Valuing: The
    		Case against Conativism", pp. 175--195
    11. Michael Stocker, "Akrasia and the Object of Desire", pp. 197--215
    12. C.C.W. Taylor, "Emotions and Wants", pp. 217--231
  },
  rtnote = {UMich Graduate Library, B105.D44 W381 1986},
  topic = {desire;philosophical-psychology;}
 }

@incollection{ marks_j1:1986b,
  author = {Joel Marks},
  title = {The Difference between Motivation and Desire},
  booktitle = {The Ways of Desire: New Essays in Philosophical
  	Psychology on the Concept of Wanting},
  publisher = {Precedent Publishing, Inc.},
  year = {1986},
  editor = {Joel Marks},
  pages = {133--147},
  address = {Chicago},
  topic = {desire;philosophical-psychology;}
  }

@incollection{ marks_j1:1986c,
  author = {Joel Marks},
  title = {Introduction: On the Need for a Theory of Desire},
  booktitle = {The Ways of Desire: New Essays in Philosophical Psychology On
    the Concept of Wanting},
  publisher = {Precedent Publishing, Inc.},
  year = {1986},
  editor = {Joel Marks},
  pages = {1--15},
  address = {Chicago},
  topic = {desire;philosophical-psychology;}
  }

@inproceedings{ marks_j2-reiter_e:1990a,
  author = {Joseph Marks and Ehud Reiter},
  title = {Avoiding Unwanted Conversational Implicatures in Text and
  	Graphics},
  booktitle = {Proceedings of AAAI90, Eighth National Conference on
  	Artificial Intelligence},
  year = {1990},
  pages = {450--455},
  topic = {nl-generation;multimedia-generation;implicature;pragmatics;}
}

@book{ marley:1997a,
  editor = {A.A.J. Marley},
  title = {Choice, Decision, and Measurement: Essays in Honor
  	of R. Duncan Luce},
  publisher = {Lawrence Erlbaum Associates},
  year = {1997},
  address = {Mahwah, New Jersey},
  topic = {decision-making;practical-reasoning;cognitive-psychology;}
 }

@inproceedings{ marquez-padro:1997a,
  author = {Llu\'is M\`arquez and Llu\'is Padr\'o},
  title = {A Flexible {POS} Tagger Using an Automatically
  	Acquired Language Model},
  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 = {238--245},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {statistical-nlp;part-of-speech-tagging;}
 }

@incollection{ marqueze:2000a,
  author = {Jorge Rodr\'iguez Marqueze},
  title = {Partial Belief and Borderline Cases},
  booktitle = {Skepticism},
  publisher = {Blackwell Publishers},
  year = {2000},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {289--301},
  address = {Oxford},
  topic = {vagueness;sorites-paradox;}
  }

@article{ marquis:1991a,
  author = {Jean-Pierre Marquis},
  title = {Approximations and Truth Spaces},
  journal = {Journal of Philosophical Logic},
  year = {1991},
  volume = {20},
  number = {4},
  pages = {375--401},
  topic = {approximate-truth;}
  }

@article{ marr:1977a1,
  author = {David Marr},
  title = {Artificial Intelligence---A Personal View},
  journal = {Artificial Intelligence},
  year = {1977},
  volume = {9},
  number = {1},
  pages = {37--48},
  xref = {Republished: marr:1977a2.},
  topic = {foundations-of-AI;AI-editorial;}
  }

@incollection{ marr:1977a2,
  author = {David Marr},
  title = {Artificial Intelligence---A Personal View},
  booktitle = {Mind Design: Philosophy, Psychology, Artificial
  	Intelligence},
  publisher = {The {MIT} Press},
  year = {1981},
  editor = {John Haugeland},
  pages = {129--142},
  address = {Cambridge, Massachusetts},
  xref = {Originally Published: marr:1977a1.},
  topic = {foundations-of-AI;}
  }

@book{ marr:1982a,
  author = {David Marr},
  title = {Vision: A Computational Investigation into the Human
  	Representation and Processing of Visual Information},
  publisher = {W.H. Freeman},
  year = {1982},
  address = {San Francisco},
  topic = {human-vision;}
 }

@article{ marsden_el:1972a,
  author = {E.L. Marsden},
  title = {Compatible Elements in Implicative Models},
  journal = {Journal of Philosophical Logic},
  year = {1972},
  volume = {1},
  number = {2},
  pages = {156--162},
  topic = {algebraic-logic;subtheories-of-PC;}
  }

@incollection{ marsden_gm:1984a,
  author = {George M. Marsden},
  title = {Understanding Fundamentalist Views of Science},
  booktitle = {Science and Creationism},
  publisher = {Oxford University Press},
  year = {1984},
  editor = {Ashley Montagu},
  pages = {95--116},
  address = {Oxford},
  topic = {creationism;fundamentalism;history-of-science;}
  }

@book{ marshall-rossman:1998a,
  author = {Catherine Marshall and Gretchen B. Rossman},
  title = {Designing Qualitative Research},
  publisher = {Sage Publications},
  year = {1998},
  address = {Thousand Oaks, California},
  topic = {qualitative-methods;}
 }

@incollection{ marsi:1998a,
  author = {Edwin Marsi},
  title = {Introducing Maximal Variation in Text Planning for Small
  	Domains},
  booktitle = {Proceedings of the Ninth International Workshop
  	on Natural Language Generation},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Eduard Hovy},
  pages = {68--77},
  address = {New Brunswick, New Jersey},
  topic = {nl-generation;text-planning;}
  }

@article{ marsland-etal:1987a,
  author = {T.A.  Marsland and Alexander Reinefeld and Jonathan Schaeffer},
  title = {Low Overhead Alternatives to {SSS}*},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {31},
  number = {2},
  pages = {185--199},
  topic = {search;}
  }

@incollection{ marslenwilson-tyler_lk:1987a,
  author = {William Marslen-Wilson and Lorraine K. Tyler},
  title = {Against Modularity},
  booktitle = {Modularity in Knowledge Representation and Natural-Language
                   Understanding},
  publisher = {The {MIT} Press},
  year = {1987},
  editor = {Jay L. Garfield},
  pages = {37--62},
  address = {Cambridge, Massachusetts},
  topic = {cognitive-modularity;}
  }

@article{ martelli:1977a,
  author = {Alberto Martelli},
  title = {On the Complexity of Admissible Search Algorithms},
  journal = {Artificial Intelligence},
  year = {1977},
  volume = {8},
  number = {1},
  pages = {1--13},
  topic = {search;complexity-in-AI;}
  }

@article{ martens:2006a,
  author = {David B. Martens},
  title = {Combination, Convention, and Possibility},
  journal = {The Journal of Philosophy},
  year = {2006},
  volume = {103},
  number = {11},
  pages = {577--586},
  topic = {possibility;philosophy-of-possible-worlds;}
  }

@phdthesis{ martensson:2000a,
  author = {Johan M{\aa}rtensson},
  title = {Subjunctive Conditionals and Time:  A Defense of a Weak
  		Classical Approach},
  school = {University of G\"oteborg},
  year = {2000},
  type = {Ph.D. Dissertation},
  address = {G\"oteborg, Sweden},
  note = {URL: http://www.phil.gu.se/johan/ThesisGM.pdf},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  topic = {conditionals;}
 }

@incollection{ marti_g:1993a,
  author = {Genoveva Marti},
  title = {The Source of Intensionality},
  booktitle = {Philosophical Perspectives, Volume 7:
  	Language and Logic},
  publisher = {Blackwell Publishers},
  year = {1993},
  editor = {James E. Tomberlin},
  pages = {197--206},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {intensionality;logical-form;nl-semantics;}
  }

@article{ marti_g:1994a,
  author = {Genoveva Marti},
  title = {Do Modal Distinctions Collapse in {C}arnap's System?},
  journal = {Journal of Philosophical Logic},
  year = {1994},
  volume = {23},
  number = {6},
  pages = {575--593},
  conentnote = {Quine and Follesdal had argued that the system
  	of carnap:1956a produced p --> []p, via some sort of
	incoherence in the interaction of quantification and
	modality.  Marti argues here that their arguments are
	flawed.},
  topic = {quantifying-in-modality;Carnap;}
  }

@article{ marti_g:1995a,
  author = {Genoveva Marti},
  title = {The Essence of Genuine Reference},
  journal = {Journal of Philosophical Logic},
  year = {1995},
  volume = {24},
  number = {3},
  pages = {275--289},
  topic = {reference;intensionality;}
  }

@article{ marti_g:2002a,
  author = {Genoveva Marti},
  title = {The Question of Rigidity in New Theories of Reference},
  journal = {No\^us},
  year = {2002},
  volume = {36},
  number = {1},
  pages = {161--179},
  topic = {philosophy-of-language;reference;individuation;}
  }

@incollection{ marti_l:2003a,
  author = {Luisa Mart\'i},
  title = {Contextual Variables as Pronouns},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XIII}},
  publisher = {Cornell University},
  year = {2003},
  editor = {Robert B. Young and Yuping Zhou},
  pages = {240--257},
  address = {Ithaca, New York},
  topic = {nl-semantics;nl-quantifiers;context;}
  }

@article{ marti_l:2006a,
  author = {Luisa Mart\'i},
  title = {Unarticulated Constituents Revisited},
  journal = {Linguistics and Philosophy},
  year = {2006},
  volume = {29},
  number = {2},
  pages = {135--166},
  topic = {context;unarticulated-constituents;LF;context-sensitivity;}
  }

@article{ martin_cb:1994a,
  author = {Charles B. Martin},
  title = {Dispositions and Conditionals},
  journal = {The Philosophical Quarterly},
  year = {1994},
  volume = {44},
  number = {174},
  pages = {1--8},
  topic = {dispositions;conditionals;}
  }

@incollection{ martin_cb-heil:1998a,
  author = {Charles B. Martin and John Heil},
  title = {Rules and Powers},
  booktitle = {Philosophical Perspectives 12: Language, Mind,
  	and Ontology},
  publisher = {Blackwell Publishers},
  year = {1998},
  editor = {James E. Tomberlin},
  pages = {283--312},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {rule-following;dispositions;}
  }

@article{ martin_e1:1972a,
  author = {Edward {Martin, Jr.}},
  title = {Truth and Translation},
  journal = {Philosophical Studies},
  year = {1972},
  volume = {23},
  pages = {125--130},
  missinginfo = {number},
  topic = {Davidson;truth-definitions;}
  }

@article{ martin_e2-osherson:2000a,
  author = {Eric Martin and Daniel Osherson},
  title = {Scientific Discovery on Positive Data via Belief
  	Revision},
  journal = {Journal of Philosophical Logic},
  year = {2000},
  volume = {29},
  number = {5},
  pages = {483--506},
  topic = {learning-theory;belief-revision;}
  }

@article{ martin_e2-weinstein_s1:1997a,
  author = {Eric Martin and Scott Weinstein},
  title = {Scientific Discovery Based on Belief Revision},
  journal = {Journal of Symbolic Logic},
  year = {1997},
  volume = {62},
  pages = {1352--1370},
  number = {4},
  topic = {scientific-discovery;belief-revision;}
  }

@inproceedings{ martin_jc:1999a,
  author = {Jean-Claude Martin},
  title = {{TYCOON}, Six Primitive Types of Cooperation for
  	Observing, Estimating, and Specifying Cooperations},
  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 = {61--66},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {discourse;ccoperation;empirical-methods-in-discourse;}
  }

@article{ martin_jh:1993a,
  author = {James H. Martin},
  title = {Review of \emph{{P}aradigms of Artificial Intelligence Programming:
  	A Student's Perspective}, by {P}eter {N}orvig},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {64},
  number = {1},
  pages = {169--180},
  xref = {Review of norvig:1992a.},
  topic = {AI-programming;AI-intro;AI-text;}
  }

@book{ martin_jn:1987a,
  author = {John N. Martin},
  title = {Elements of Formal Semantics: An Introduction to Logic
  	for Students of Language},
  publisher = {Academic Press},
  year = {1987},
  address = {New York},
  ISBN = {0-12-474856-2 (pbk)},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {logic-intro;}
 }

@article{ martin_jn:2001a,
  author = {John N. Martin},
  title = {Proclus and the Neoplatonistic Syllogistic},
  journal = {Journal of Philosophical Logic},
  year = {2001},
  volume = {30},
  number = {3},
  pages = {187--240},
  topic = {syllogistic;}
  }

@inproceedings{ martin_m-geffner:2000a,
  author = {Mario Martin and H\'ector Geffner},
  title = {Learning Generalized Policies in Planning Using Concept
  	Languages},
  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 = {667--677},
  topic = {planning-algorithms;machine-learning;description-logics;}
  }

@incollection{ martin_p:1997a,
  author = {Paul Martin},
  title = {The `Casual Cashmere Diaper Bag': Constraining
                Speech Recognition using Examples},
  booktitle = {Interactive Spoken Dialog Systems:  Bridging
  	Speech and {NLP} Together in Real Applications},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Julia Hirschberg and Candace Kamm and Marilyn Walker},
  pages = {61--65},
  address = {New Brunswick, New Jersey},
  topic = {speech-recognition;}
  }

@article{ martin_rl:1968a,
  author = {Robert L. Martin},
  title = {On {G}relling's Paradox},
  journal = {The Philosophical Review},
  year = {1968},
  volume = {77},
  number = {3},
  pages = {321--331},
  topic = {semantic-paradoxes;}
  }

@book{ martin_rl:1970a,
  editor = {Robert L. Martin},
  title = {The Paradox of the Liar},
  publisher = {Yale University Press},
  year = {1970},
  address = {New Haven},
  topic = {semantic-paradoxes;}
 }

@incollection{ martin_rl:1971a,
  author = {Robert L. Martin},
  title = {Some Thoughts on the Formal Approach to the Philosophy
  	of Language},
  booktitle = {Pragmatics of Natural Language},
  publisher = {D. Reidel Publishing Company},
  year = {1971},
  editor = {Yehoshua Bar-Hillel},
  pages = {120--144},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-language;}
  }

@unpublished{ martin_rl:1973a,
  author = {Robert L. Martin},
  title = {Are Natural Languages Universal?},
  year = {1973},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  topic = {semantic-paradoxes;}
  }

@book{ martin_rl:1984a,
  editor = {Robert L. Martin},
  title = {Recent Essays on the Liar Paradox},
  publisher = {Oxford University Press},
  year = {1984},
  address = {Oxford, England},
  topic = {semantic-paradoxes;}
 }

@incollection{ martin_rl-woodruff:1976a,
  author = {Robert L. Martin and Peter Woodruff},
  title = {On Representing `True-in{$L$}' in {$L$}},
  booktitle = {Language in Focus},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  editor = {Asa Kasher},
  pages = {113--117},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {truth;semantic-paradoxes;fixpoints;}
  }

@incollection{ martin_rm1:1976a,
  author = {Richard M. Martin},
  title = {On {H}arris' Systems of Report and Paraphrase},
  booktitle = {Language in Focus},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  editor = {Asa Kasher},
  pages = {541--568},
  address = {Dordrecht},
  topic = {nl-semantics;}
  }

@article{ martin_rm1:1978a,
  author = {Richard M. Martin},
  title = {Of Servants, Lovers, and Benefactors: Peirce's Algebra
  	of Relatives of 1870},
  journal = {Journal of Philosophical Logic},
  year = {1978},
  volume = {7},
  number = {1},
  pages = {27--48},
  topic = {Peirce;}
  }

@book{ martin_rm1:1979a,
  author = {Richard M. Martin},
  title = {Pragmatics, Truth, and Language},
  publisher = {D. Reidel Publishing Co.},
  year = {1979},
  address = {Dordrecht},
  rtnote = {UMich Undergraduate, Bh 301 .S8 G65.},
  xref = {Review: cocchiarella:1981a},
  topic = {nominalism;philosophy-of-language;pragmatics;}
 }

@book{ martin_rm2:1987a,
  author = {Robert M. Martin},
  title = {The Meaning of Language},
  publisher = {The {MIT} Press},
  year = {1987},
  address = {Cambridge, Massachusetts},
  ISBN = {0262631083 (pbk.)},
  rtnote = {UMich Graduate Library, P106 .M3541 1987.},
  topic = {philosophy-of-language;}
 }

@article{ martin_t:1998a,
  author = {Thomas Martin},
  title = {Self-Deception and Intentional Forgetting:  A
  	Reply to {W}hisner},
  journal = {Philosophia},
  year = {1998},
  volume = {26},
  number = {1--2},
  pages = {181--194},
  topic = {self-deception;}
  }

@techreport{ martin_wa-etal:1981a,
  author = {William A. Martin and Kenneth W. Church and Ramesh S. Patil},
  title = {Preliminary Analysis of a Breadth-First Parsing Algorithm:
		Theoretical and Experimental Results},
  institution = {Laboratory for Computer Science, Massachusetts Institute
		of Technology},
  number = {MIT/LCS/TR-261},
  year = {1981},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.  Filed under Martin.},
  topic = {parsing-algorithms;}
  }

@incollection{ martin_y-etal:2004a,
  author = {Yves Martin and Imam Narasamdya and Michael Thielscher},
  title = {Knowledge of Other Agents and Communicative Actions in
  		the Fluent Calculus},
  booktitle = {{KR}2004: Principles of Knowledge Representation and
  		Reasoning},
  publisher = {AAAI Press},
  year = {2004},
  editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams},
  pages = {623--633},
  address = {Menlo Park, California},
  topic = {planning-formalisms;action-formalisms;epistemic-logic;
  		agent-communication;}
  }

@article{ martinez:2001a,
  author = {Maricarmen Martinez},
  title = {Some Closure Properties of Finite Definitions},
  journal = {Studia Logica},
  year = {2001},
  volume = {68},
  number = {1},
  pages = {43--68},
  topic = {truth;semantic-paradoxes;definitions;}
  }

@incollection{ martinez-agirre:2000a,
  author = {David Martinez and Enecko Agirre},
  title = {One Sense per Collocation and Genre/Topic Variations},
  booktitle = {Proceedings of the 2000 Joint {SIGDAT} Conference
  	on Empirical Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Hinrich Sch\"utze and Keh-Yih Su},
  pages = {207--215},
  address = {Somerset, New Jersey},
  topic = {collocations;disambiguation;corpus-linguistics;}
  }

@article{ martinich:1984a,
  author = {Aloysius P. Martinich},
  title = {A Theory of Metaphor},
  journal = {Journal of Literary Semantics},
  year = {1984},
  volume = {13},
  pages = {35--56},
  missinginfo = {A's 1st name, number},
  topic = {metaphor;}
  }

@book{ martinich:1990a,
  author = {Aloysius P. Martinich},
  title = {The Philosophy of Language},
  publisher = {Oxford University Press},
  year = {1990},
  address = {Oxford},
  edition = {2},
  missinginfo = {A's 1st name.},
  topic = {philosophy-of-language;}
 }

@book{ martinich:2008a,
  author = {Aloysius P. Martinich},
  title = {The Philosophy of Language},
  publisher = {Oxford University Press},
  year = {2008},
  address = {Oxford},
  edition = {5},
  missinginfo = {A's 1st name.},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {philosophy-of-language;}
 }

@book{ martinich-stroll:2007a,
  author = {Aloysius P. Martinich and Avrum Stroll},
  title = {Much Ado about Nonexistence:  Fiction and Reference},
  publisher = {Rowman and Littlefield},
  year = {2007},
  address = {Lanham, Maryland},
  xref = {Review: lamarque:2009a},
  rtnote = {Last chapter might be useful as a reference for
  	a study of far-fetched examples in philosophy.  They
	attack Putnam.},
  topic = {fictional-characters;(non)existence;}
 }

@article{ martinlof:1966a,
  author = {Per Martin-L\"of},
  title = {The Definition of Random Sequences},
  journal = {Information and Control},
  year = {1966},
  volume = {9},
  pages = {602--609},
  missinginfo = {number},
  topic = {randomness;}
  }

@book{ martinlof:1970a,
  author = {Per Martin-L\"of},
  title = {Notes on Constructive Mathematics},
  publisher = {Almqvist \& Wiksell},
  year = {1970},
  address = {Stockholm},
  rtnote = {UMich Science QA9 .M394},
  topic = {constructive-mathematics;}
 }

@incollection{ martinlof:1970b,
  author = {Per Martin-L\"of},
  title = {On the Notion of Randomness},
  booktitle = {Intuitionism and Proof Theory},
  publisher = {North-Holland Publishing Co.},
  year = {1970},
  editor = {Akiko Kino and John Myhill and Richard E. Vesley},
  address = {Amsterdam},
  missinginfo = {pages  73--},
  rtnote = {In RHT collection.},
  topic = {randomness;}
  }

@unpublished{ martinlof:1983a,
  author = {Per Martin-L\"of},
  title = {On the Meanings of the Logical Constants and the
  	Justifications of the Logical Laws},
  year = {1983},
  note = {Unpublished manuscript, Department of Mathematics, University of
		Stockholm},
  rtnote = {In RHT collection.},
  topic = {proof-theoretic-semantics;}
  }

@book{ martinlof:1984a,
  author = {Per Martin-L\"of},
  title = {Intuitionistic Type Theory},
  publisher = {Bibliopolis},
  year = {1984},
  address = {Naples},
  topic = {intuitionistic-logic;type-theory;higher-order-logic;}
 }

@book{ martino_aa:1982a,
  editor = {A.A. Martino},
  title = {Deontic Logic, Computational Linguistics and Legal
  	Information Systems},
  publisher = {North-Holland Publishing Co.},
  year = {1982},
  address = {Amsterdam},
  topic = {deontic-logic;legal-AI;}
 }

@article{ martino_e:1997a,
  author = {Enrico Martino},
  title = {Negationless Intuitionism},
  journal = {Journal of Philosophical Logic},
  year = {1998},
  volume = {27},
  number = {2},
  pages = {165--177},
  topic = {intuitionistic-logic;}
  }

@book{ martins-reinfrank:1991a,
  editor = {Jo\~ao P. Martins and Michael Reinfrank},
  title = {Truth Maintenance Systems},
  publisher = {Springer-Verlag},
  year = {1991},
  address = {Berlin},
  ISBN = {3540543058},
  rtnote = {UMich Media Union Library, Q 338 .T781 1991.},
  contentnote = {TC:
     1. Oskar Dressler and Adam Farquhar, "Putting the Problem Solver Back in
     		the Driver's Seat: Contextual Control of the {AMTS}"
     2. Ulrich Junker, "Variations on backtracking for {TMS}"
     3. Katsumi Inoue, "An abductive procedure for the {CMS/ATMS}"
     4. A.C. Kakas and P. Mancarella, "Knowledge Assimilation and Abduction"
     5. Laura Giordano and Alberto Martelli, "Truth Maintenance
     		Systems and Belief Revision"
     6. Didier Dubois, J\'er\^ome Lang, and Henri Prade, "A
     		Possibilistic Assumption-Based Truth Maintenance System
		with Uncertain Justifications, and Its Application to
		Belief Revision"
     7. Pierre Tayrac, "{ARC}: an Extended {ATMS} Based on Directed
     		{CAT}-Correct Resolution"
     8. Yasushi Fujiwara and Shinichi Honiden, "On Logical
     		Foundations of the {ATMS}"
     9. Cees Witteveen, "A Skeptical Semantics for Truth Maintenance"
    10. Peter Jackson and John Pais, "Semantic Accounts of Belief Revision"
  },
  topic = {kr;truth-maintenance;}
 }

@inproceedings{ martins-shapiro_sc:1983a,
  author = {Jo\~ao Martins and Stuart C. Shapiro},
  title = {Reasoning in Multiple Belief Spaces},
  booktitle = {Proceedings of the Eighth International Joint
  	Conference on Artificial Intelligence},
  year = {1983},
  editor = {Alan Bundy},
  pages = {370--373},
  publisher = {William Kaufmann, Inc.},
  address = {Los Altos, California},
  topic = {belief-revision;relevance-logic;}
 }

@article{ martins-shapiro_sc:1988a,
  author = {Jo\~ao Martins and Stuart C. Shapiro},
  title = {A Model for Belief Revision},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {35},
  number = {1},
  pages = {25--79},
  topic = {belief-revision;relevance-logic;}
  }

@article{ martinvide:1997a,
  author = {Carlos Mart\'in-Vide},
  title = {Natural Computation for Natural Language},
  journal = {Fundematica Informaticae},
  year = {1997},
  volume = {31},
  number = {2},
  pages = {117--124},
  topic = {grammar-formalisms;context-grammars;}
  }

@incollection{ martinvide-mitrana:2005a,
  author = {Carlos Mart\'in-Vide and Victor Mitrana},
  title = {Contextual Information Systems},
  booktitle = {Modeling and Using Context: 5th International and
  	Interdisciplinary Conference},
  publisher = {Springer-Verlag},
  year = {2005},
  editor = {Anind Dey and Boicho Kokinov and David Leake and Roy Turner},
  pages = {304--315},
  address = {Berlin},
  topic = {context;information-systems;}
  }

@incollection{ marty:1992a,
  author = {Robert Marty},
  title = {Foliated Semantic Networks: Concepts, Facts, Qualities},
  booktitle = {Semantic Networks in Artificial Intelligence},
  publisher = {Pergamon Press},
  year = {1992},
  editor = {Fritz Lehmann},
  pages = {679--696},
  address = {Oxford},
  topic = {kr;semantic-networks;kr-course;}
  }

@incollection{ marx:1996a,
  author = {Maarten Marx},
  title = {Dynamic Arrow Logic},
  booktitle = {Arrow Logic and Multimodal Logic},
  publisher = {{CLSI} Publications},
  year = {1996},
  editor = {Maarten Marx and L\'azl\'o P\'olos and Michael Masuch},
  pages = {109--123},
  address = {Stanford, California},
  topic = {arrow-logic;}
  }

@incollection{ marx:1998a,
  author = {Maarten Marx},
  title = {Mosaics and Cylindric Modal Logic of Dimension 2},
  booktitle = {Advances in Modal Logic, Volume 1},
  publisher = {{CSLI} Publications},
  year = {1998},
  editor = {Marcus Kracht and Maarten de Rijke and Heinrich Wansing},
  pages = {141--156},
  address = {Stanford, California},
  topic = {modal-logic;cylindrical-algebra;}
  }

@article{ marx:1999a,
  author = {Maarten Marx},
  title = {Review of \emph{The Classical Decision Problem},
	by {E}gon {B}\"orger {E}rich {G}r\"adel, and {Y}uri {G}urevich},
  journal = {Journal of Logic, Language, and Information},
  year = {1999},
  volume = {8},
  number = {4},
  pages = {478--481},
  xref = {Review of borger-etal:1997a.},
  topic = {undecidability;decidability;}
  }

@article{ marx:1999b,
  author = {Maarten Marx},
  title = {Review of \emph{{D}eduction Systems},
		by {R}olf {S}ocher-{A}mbrosius and {P}atricia {J}ohann},
  journal = {Journal of Logic, Language, and Information},
  year = {1999},
  volume = {8},
  number = {4},
  pages = {476--478},
  xref = {Review of socherambrosius-johann:1997a.},
  topic = {theorem-proving;resolution;}
  }

@article{ marx:1999c,
  author = {Maarten Marx},
  title = {Complexity of Products of Modal Logics},
  journal = {Journal of Logic and Computation},
  year = {1999},
  volume = {9},
  pages = {221--238},
  topic = {modal-logic;complexity-theory;}
  }

@article{ marx:2001a,
  author = {Maartin Marx},
  title = {Tolerance Logic},
  journal = {Journal of Logic, Language, and Information},
  year = {2001},
  volume = {10},
  number = {3},
  pages = {353--373},
  topic = {guarded-fragments;}
  }

@incollection{ marx:2006a,
  author = {Maarten Marx},
  title = {Complexity of Modal Logic},
  booktitle = {Handbook of Modal Logic},
  year = {2006},
  editor = {Patrick Blackburn and Johan van Benthem and Frank Wolter},
  pages = {139--179},
  address = {New York},
  topic = {modal-logic;complexity-theory;}
  }

@article{ marx-etal:1995a,
  author = {Maarten Marx and Szabolcs Milul\'as and Istv\'a N\'emeti},
  title = {Taming Logic},
  journal = {Journal of Logic, Language, and Information},
  year = {1993},
  volume = {4},
  number = {3},
  pages = {207--226},
  topic = {modal-logics;completeness-theorems;interpolation-theorems;}
  }

@book{ marx-etal:1996a,
  editor = {Maarten Marx and L\'azl\'o P\'olos and Michael Masuch},
  title = {Arrow Logic and Multimodal Logic},
  publisher = {{CLSI} Publications},
  year = {1996},
  address = {Stanford, California},
  contentnote = {TC:
  	1. Yde Venema, "A Crash Course in Arrow Logic", pp. 3--34
  	2. Maarten Marx and Szabolcs Mikul\'as and Istv\'an N\'emeti
		and Idik\'o Sain, "Causes and Remedies for
		Undecidability in Arrow Logics and Multi-Modal
		Logics", pp. 35--61
  	3. Hajnal Andr\'eka and \'Agnes Kurucz and Istv\'an N\'emeti
		Ildik\'o Sain and Andr\'as Simon, "Investigations in
		Arrow Logic", pp. 63--99
    	4. Viktor Gyuris, "Associativity Does Not Imply Undecidability
		without the Axiom of Modal Distribution", pp. 101--107
  	5. Maarten Marx, "Dynamic Arrow Logic", pp. 109--123
  	6. Szabolcs Mikul\'as, "Complete Calculus for Conjugated
		Arrow Logic", pp. 125--139
  	7. Dimiter Vakarelov, "Many-Dimensional Arrow Structures:
		Arrow Logics {II}", pp. 141--187
  	8. Maarten de Rijke, "What is modal logic?", pp. 191--202
  	9. Johan van Benthem, "Content Versus Wrapping:  An Essay in
		Semantic Complexity", pp. 203--219
       10. Istv\'an N\'emeti, "A Fine-Structure Analysis of
       		First-Order Logic", pp. 221--247
  	},
  topic = {arrow-logic;}
 }

@incollection{ marx-etal:1996b,
  author = {Maarten Marx and Szabolcs Mikul\'as and Istv\'an N\'emeti
		and Idik\'o Sain},
  title = {Causes and Remedies for Undecidability in Arrow Logics and
  		Multi-Modal Logics},
  booktitle = {Arrow Logic and Multimodal Logic},
  publisher = {{CLSI} Publications},
  year = {1996},
  editor = {Maarten Marx and L\'azl\'o P\'olos and Michael Masuch},
  pages = {35--61},
  address = {Stanford, California},
  topic = {arrow-logic;multimodal-logic;}
  }

@article{ marx-mikulas:2003a,
  author = {Maarten Marx and Szabolcs Mikul\'as},
  title = {An Elementary Construction for a Non-Elementary Procedure},
  journal = {Studia Logica},
  year = {2003},
  volume = {72},
  number = {2},
  pages = {253--263},
  topic = {modal-logic;finite-model-property;}
  }

@book{ marx-venema:1997a,
  author = {Maarten Marx and Yde Venema},
  title = {Multi-Dimensional Modal Logic},
  publisher = {Kluwer Academic Publishers},
  year = {1997},
  address = {Dordrecht},
  contentnote = {A logic is multidimensional if the states are tuples.},
  ISBN = {079234345X},
  rtnote = {UMich Science, QA 9.46 .M371 1997.},
  xref = {Reviews: zakharyaschev:2000a, vakarelov:2000a.},
  topic = {modal-logic;}
 }

@incollection{ masato:1992a,
  author = {Ishizati Masato},
  title = {Syntactic Selection in Linguistic Realization: A
  		Comparative Study},
  booktitle = {Aspects of Automated Natural Language Generation: 6th
    International Workshop on Natural Language Generation, {T}rento,
    {I}taly, April 5--7, 1992},
  publisher = {Springer-Verlag},
  year = {1992},
  editor = {Robert Dale and Eduard Hovy and Dietmar R\"ossner and
  	Oliviero Stock},
  pages = {105--134},
  address = {Berlin},
  topic = {nl-generation;nl-realization;grammar-formalisms;}
  }

@inproceedings{ maser:1988a,
  author = {Murray S. Maser},
  title = {A Knowledge Theoretic Account of Recovery in Distributed
  	Systems: The Case of Negotiated Agreement},
  booktitle = {Proceedings of the Second Conference on Theoretical
  	Aspects of Reasoning about Knowledge},
  year = {1988},
  editor = {Moshe Y. Vardi},
  pages = {309--323},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  topic = {distributed-systems;}
  }

@article{ mason_f:2001a,
  author = {Franklin Mason},
  title = {Review of \emph{{P}arts and Places: The Structures of Spatial
  	Representation}, by {R}oberto {C}asati and {A}chille {C}. {V}arzi},
  journal = {The Philosophical Review},
  year = {2001},
  volume = {110},
  number = {3},
  pages = {479--481},
  xref = {Review of: casati-varzi:1999a.},
  topic = {spatial-representation;philosophical-ontology;mereology;}
  }

@book{ mason_j:1996a,
  author = {Jennifer Mason},
  title = {Qualitative Researching},
  publisher = {Sage Publications},
  year = {1996},
  address = {Thousand Oaks, California},
  topic = {qualitative-methods;}
 }

@book{ mason_o:2000a,
  author = {Oliver Mason},
  title = {Programming for Corpus Linguistics: How to Do Text
  	Analysis with {J}ava},
  publisher = {Edinburgh University Press},
  year = {2000},
  address = {Edinburgh},
  ISBN = {0 7486 1407 9},
  topic = {corpus-linguistics;programming-for-linguists;JAVA;}
 }

@article{ mason_zj:2004a,
  author = {Zachary J. Mason},
  title = {{C}or{M}et:  A Computational, Corpus-Based Conventional
  		Metaphor Extraction System},
  journal = {Computational Linguistics},
  year = {2004},
  volume = {30},
  number = {3},
  pages = {23--44},
  topic = {metaphor;WordNet;corpus-linguistics;}
  }

@inproceedings{ massacci:1994a,
  author = {Fabio Massacci},
  title = {Strongly Analytic Tableaux for Normal Modal Logics},
  booktitle = {Proceedings of the Twelfth International Conference on
  	Automated Deduction (CADE'94)},
  editor = {Alan Bundy},
  publisher = {Springer-Verlag},
  year = {1994},
  address = {Berlin},
  pages = {723--737},
  series = {Lecture Notes in Artificial Intelligence},
  volume = {814},
  topic = {proof-theory;modal-logic;}
}

@inproceedings{ massacci:1995a,
  author = {Fabio Massacci},
  title = {Superficial Tableau for Contextual Reasoning},
  booktitle = {Formalizing Context},
  year = {1995},
  editor = {Sa\v{s}a Buva\v{c}},
  pages = {60--67},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {context;contextual-reasoning;semantic-tableaux;}
  }

@inproceedings{ massacci:1996a,
  author = {Fabio Massacci},
  title = {Contextual Reasoning Is {NP}-Complete},
  booktitle = {Proceedings of the Thirteenth National Conference on
              Artificial Intelligence and the Eighth Innovative
	      Applications of Artificial Intelligence  Conference,
	      Vol. 2},
  year = {1996},
  editor = {William J. Clancey and Dan Weld},
  pages = {621--626},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {context;complexity-in-AI;}
  }

@inproceedings{ massacci:2000a,
  author = {Fabio Massacci},
  title = {Reduction Rules and Universal Variables for First
        Order Tableaux and {DPLL}},
  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 = {186--197},
  topic = {theorem-proving;resolution;constraint-propagation;}
  }

@incollection{ massalo-etal:2004a,
  author = {Claudio Massalo and Laure Vieu and Emanuele Bottazzi
  		and Carola Catenacci and Roberta Ferrario
		and Aldo Gangemi and Nicola Guarino},
  title = {Social Roles and Their Descriptions},
  booktitle = {{KR}2004: Principles of Knowledge Representation and
  		Reasoning},
  publisher = {AAAI Press},
  year = {2004},
  editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams},
  pages = {267--277},
  address = {Menlo Park, California},
  topic = {computational-ontology;social-roles;}
  }

@article{ masuko:1997a,
  author = {Mayumi Masuko},
  title = {Review of \emph{{T}he Generative Lexicon}, by {J}ames
  	{P}ustejovsky},
  journal = {Journal of Logic, Language, and Information},
  year = {1997},
  volume = {6},
  number = {3},
  pages = {350--353},
  topic = {nl-kr;computational-lexical-semantics;nm-ling;
  	lexical-processing;}
  }

@unpublished{ mateer:1992a,
  author = {Marie Mateer},
  title = {Portable Natural Language Generation using {Spokesman}},
  year = {1992},
  note = {Unpublished manuscript, BBN Technologies.
  	Available at http://acl.ldc.upenn.edu/A/A92/A92-1036.pdf},
  rtnote = {In RHT collection.},
  topic = {nl-generation;}
  }

@article{ materna:1981a,
  author = {Pavel Materna},
  title = {Question-Like and Non-Question-Like Imperative Sentences},
  journal = {Linguistics and Philosophy},
  year = {1981},
  volume = {4},
  number = {3},
  pages = {393--404},
  topic = {indirect-speech-acts;pragmatics;imperatives;interrogatives;}
  }

@article{ materna:1997a,
  author = {Pavel Materna},
  title = {Rules of Existential Quantification into
		``Intensional Contexts''},
  journal = {Studia Logica},
  year = {1997},
  volume = {59},
  number = {3},
  pages = {331--343},
  topic = {quantifying-in-modality;first-order-modal-logic;}
  }

@article{ materna-etall:1987a,
  author = {Pavel Materna and Eva Haji\c{o}v\'a and Petr Sgall},
  title = {Redundant Answers and Topic-Focus Alternation},
  journal = {Linguistics and Philosophy},
  year = {1987},
  volume = {10},
  number = {1},
  pages = {101--113},
  topic = {s-topic;sentence-focus;interrogatives;pragmatics;}
  }

@incollection{ materna-sgall:1984a,
  author = {Pavel Materna and Petr Sgall},
  title = {Optional Participants in a Semantic Interpretation
  	(Arity od Predicates and Case Frames of Verbs)},
  booktitle = {Contributions to Functional Syntax, Semantics, and
  	Language Comprehension},
  publisher = {Academia},
  year = {1984},
  editor = {Petr Sgall},
  pages = {51--62},
  address = {Prague},
  topic = {argument-structure;}
  }

@article{ mates:1949a,
  author = {Benson Mates},
  title = {Diodorian Implication},
  journal = {The Philosophical Review},
  year = {1949},
  volume = {58},
  pages = {246--239},
  topic = {Stoic-philosophy;history-of-logic;conditionals;
  		Hellenistic-philosophy;}
  }

@article{ mates:1950a1,
  author = {Benson Mates},
  title = {Synonymity},
  journal = {University of California Publications in Philosophy},
  year = {1950},
  volume = {25},
  missinginfo = {pages},
  xref = {Republication: mates:1950a2.},
  topic = {synonymity;intensionality;hyperintensionality;}
  }

@incollection{ mates:1950a2,
  author = {Benson Mates},
  title = {Synonymity},
  booktitle = {Semantics and the Philosophy of Language},
  publisher = {University of Illinois Press},
  year = {1952},
  editor = {Leonard Linsky},
  pages = {111--136},
  address = {Urbana, Illinois},
  xref = {Republication of: mates:1950a1.},
  topic = {synonymity;intensionality;hyperintensionality;}
  }

@article{ mates:1958a,
  author = {Benson Mates},
  title = {On the Verification of Statements about Ordinary Language},
  journal = {Inquiry},
  year = {1958},
  volume = {1},
  pages = {161--171},
  missinginfo = {number},
  topic = {ordinary-language-philosophy;philosophy-of-language;
  	philosophy-of-linguistics;}
  }

@article{ mates:1973a,
  author = {Benson Mates},
  title = {Descriptions and Reference},
  journal = {Foundations of Language},
  year = {1973},
  volume = {10},
  number = {3},
  pages = {409--418},
  topic = {definite-descriptions;}
  }

@inproceedings{ matessa-anderson_j:1999a,
  author = {Michael Matessa and John Anderson},
  title = {Towards an {ACT-R} Model of Communication in
	Problem Solving},
  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 = {67--72},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {discourse;communication;cognitive-architectures;}
  }

@incollection{ mateus-etal:2002a,
  author = {Paulo Mateus and Ant\'onio Pacheco and Javier Pinto},
  title = {Observations and the Probabilistic Situation Calculus},
  booktitle = {{KR2002}: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {2002},
  editor = {Dieter Fensel and Fausto Giunchiglia and Deborah
  	L. McGuinness and Mary-Anne Williams},
  pages = {327--338},
  address = {San Francisco, California},
  topic = {kr;probabilistic-reasoning;action-formalisms;}
  }

@inproceedings{ mathewson:2000a,
  author = {Lisa Mathewson},
  title = {On Distributivity and Pluractionality},
  booktitle = {Proceedings from Semantics and Linguistic Theory {X}},
  publisher = {Cornell University},
  year = {2000},
  editor = {Brendan Jackson and Tanya Matthews},
  pages = {98--114},
  address = {Ithaca, New York},
  topic = {nl-semantics;distributive/collective-readings;Salish-languages;}
  }

@inproceedings{ matos-martins:1999a,
  author = {Pedro Matos and Jo\~ao Martins},
  title = {Non-Situation Calculus: Relating {STRIPS} and
		Situation Calculus},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
	Nonmonotonic Reasoning, Action and Change},
  year = {1999},
  editor = {Michael Thielscher},
  pages = {103--119},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {action-formalisms;situation-calculus;}
  }

@article{ matsubara-yokoo:2002a,
  author = {Shiego Matsubara and Makeo Yokoo},
  title = {Defecion-Free Exchange Mechanisms Based on an Entry Fee
  	Impostion},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {142},
  number = {2},
  pages = {265--286},
  topic = {multiagent-systems;game-theory;auction-protocols;}
  }

@phdthesis{ matsui:1995a,
  author = {Tomoko Matsui},
  title = {Bridging and Relevance},
  school = {University of London},
  year = {1995},
  type = {Ph.{D}. Dissertation},
  address = {London},
  topic = {relevance-theory;referring-expressions;bridging-anaphora;}
 }

@incollection{ matsui:1998a,
  author = {Tomoko Matsui},
  title = {Assessing a Scenario-Based Account of Bridging Reference
  	Assignment},
  booktitle = {Relevance Theory: Applications and Implications},
  publisher = {John Benjamins Publishing Co.},
  year = {1998},
  editor = {Robyn Carston and Seiji Uchida},
  pages = {122--159},
  address = {Amsterdam},
  topic = {relevance-theory;referring-expressions;bridging-anaphora;}
  }

@incollection{ matsui:1999a,
  author = {Tomoko Matsui},
  title = {On the Role of Context in Relevance-Based Accessibility
  	Ranking of Candidate Referents},
  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 = {228--241},
  address = {Berlin},
  topic = {context;centering;anaphora-resolution;relevance-theory;
		Japanese-language;}
  }

@incollection{ matsui:1999b,
  author = {Tomoko Matsui},
  title = {Approaches to {J}apanese Zero Pronouns},
  booktitle = {The Relation of Discourse/Dialogue Structure and
  	Reference},
  publisher = {Association for Computational Linguistics},
  year = {1999},
  editor = {Dan Cristea and Nancy Ide and Daniel Marcu},
  pages = {11--20},
  address = {New Brunswick, New Jersey},
  topic = {Japanese-language;anaphora;ellipsis;}
  }

@inproceedings{ matsui:2001a,
  author = {Tomoko Matsui},
  title = {Experimental Pragmatics: Towards Testing
    		Relevance-Based Predictions about Anaphoric Bridging
		Inferences},
  booktitle = {Modeling and Using Context: Third International and
  	Interdisciplinary Conference, Context 2001},
  publisher = {Springer-Verlag},
  year = {2001},
  editor = {Varol Akman and Paolo Bouquet and Richmond Thomason
  	and Roger A. Young},
  pages = {248--260},
  address = {Berlin},
  topic = {context;bridging-anaphora;relevance-theory;}
  }

@incollection{ matsumoto_n-toksumi:2005a,
  author = {Nako Matsumoto and Akifumi Toksumi},
  title = {Context Building through Socially-Supported Belief},
  booktitle = {Modeling and Using Context: 5th International and
  	Interdisciplinary Conference},
  publisher = {Springer-Verlag},
  year = {2005},
  editor = {Anind Dey and Boicho Kokinov and David Leake and Roy Turner},
  pages = {316--325},
  address = {Berlin},
  topic = {context;nl-interpretation;}
  }

@article{ matsumoto_y1:1995a,
  author = {Yo Matsumoto},
  title = {The Conversational Condition on {H}orn Scales},
  journal = {Linguistics and Philosophy},
  year = {1995},
  volume = {18},
  number = {1},
  pages = {21--60},
  topic = {implicature;pragmatics;}
  }

@article{ matsuyama-nitta:1995a,
  author = {Takashi Matsuyama and Tomoaki Nitta},
  title = {Geometric Theorem Proving by Integrated Logical and
  	Algebraic Reasoning},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {75},
  number = {1},
  pages = {93--113},
  topic = {theorem-proving;algebraic-computation;geometrical-reasoning
  	computer-assisted-mathematics;}
  }

@inproceedings{ matsuzaki-etal:2005a,
  author = {Takuya Matsuzaki and Yusuke Miyao and Jun'ichi Tsujii},
  title = {Probabilistic {CFG} with Latent Annotations},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {75--82},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1010},
  topic = {probabilistic-grammars;probabilistic-parsers;}
  }

@incollection{ matthews_ec-etal:2003a,
  author = {Eric C. Matthews and G. Tanner Jackson and Arthur C.
    		Graesser and Natalie K. Person and the Tutoring
		Research Group},
  title = {Discourse Patterns in {W}hy/{A}uto{T}utor},
  booktitle = {Working Papers of the 2003 {AAAI} Spring Symposium on
  	Natural Language Generation in Spoken and Written
	Dialogue},
  publisher = {AAAI Press},
  year = {2003},
  editor = {Reva Freedman and Charles Callaway},
  pages = {97--103},
  address = {Menlo Park, California},
  topic = {nl-generation;computational-dialogue;intelligent-tutoring;}
  }

@article{ matthews_gb:1964a,
  author = {Gareth B. Matthews},
  title = {Ockham's Supposition Theory and Modern Logic},
  journal = {The Philosophical Review},
  year = {1964},
  volume = {73},
  number = {1},
  pages = {91--99},
  topic = {medieval-logic;}
  }

@article{ matthews_gb:1991a,
  author = {Gareth B. Matthews},
  title = {Review of \emph{{T}heories of Concepts: A History of the
  	Major Philosophical Tradition}, by {M}orris {W}eitz},
  journal = {The Philosophical Review},
  year = {1991},
  volume = {107},
  number = {2},
  pages = {650--652},
  xref = {Review of: weitz:1988a,},
  topic = {concepts;history-of-philosophy;}
  }

@article{ matthews_gb:2001a,
  author = {Gareth B. Matthews},
  title = {Review of \emph{{O}rder in Multiplicity: Homonymy in the
  	Philosophy of {A}ristotle}, by {C}hristopher {S}woyer},
  journal = {The Philosophical Review},
  year = {2001},
  volume = {110},
  number = {2},
  pages = {267--269},
  xref = {Review of: shields:1999a.},
  topic = {Aristotle;ambiguity;}
  }

@article{ matthews_gb:2005a,
  author = {Gareth B. Matthews},
  title = {Review of \emph{{T}he Discovery of Things: {A}ristotle's
  	Categories and Their Context}, by },
  journal = {No\^us},
  year = {2005},
  volume = {39},
  number = {2},
  pages = {348--},
  xref = {Review of rainermann:2000a.},
  topic = {Aristotle;}
  }

@article{ matthews_gb-cohem_sm:1967a,
  author = {Gareth B. Matthews and S. Marc Cohen},
  title = {Wants and Lacks},
  journal = {The Journal of Philosophy},
  year = {1967},
  volume = {64},
  number = {14},
  pages = {455--456},
  topic = {desire;}
  }

@article{ matthews_rj:1994a,
  author = {Robert J. Matthews},
  title = {The Measure of Mind},
  journal = {Mind, New Series},
  year = {1994},
  volume = {103},
  number = {410},
  pages = {131--146},
  rtnote = {In RHT collection.},
  topic = {propositional-attitudes;propositions;}
  }

@incollection{ matthews_rj:2006a,
  author = {Robert J. Matthews},
  title = {Knowledge of Language and Linguistic Competence},
  booktitle = {Philosophy of Language},
  publisher = {Blackwell Publishers},
  year = {2006},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {200--220},
  address = {Oxford},
  topic = {competence;}
  }

@book{ matthews_t-strolovitch:1999a,
  editor = {Tanya Matthews and Devon Strolovitch},
  title = {Proceedings from Semantics and Linguistic Theory {IX}},
  publisher = {Cornell University},
  year = {1999},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  contentnote = {TC:
     1. Barbara Abbott, "Support for a Unique Theory of
     		Definites", pp. 1--15
     2. Sigrid Beck, "Reciprocals and Cumulation", pp. 16--33
     3. Veneeta Dayal, "Bare {NP}'s, Reference to Kinds, and
     		Incorporation", pp. 34--51
     4. Alexis Dimitriadis, "Reconciling Dependent Plurals with Each
     		Other", pp. 52--69
     5. Danny Fox, "Focus, Parallelism, and Accommodation", pp. 70--90
     6. Silvia Gennari, "Embedded Present Tense and Attitude
     		Reports", pp. 91--108
     7. Jeroen Groenendijk, "The Logic of Interrogation: Classical
     		Version", pp. 109--126
     8. Jennifer Hay, Christopher Kennedy and Beth Levin, "Scalar
     		Structure Underlies Telicity in `Degree
		Achievements'\,'', pp. 127--144
     9. Jacques Jayez, "Imperfectivity and Progressivity: The French
     		Imparfait", pp. 145--162
    10. Christopher Kennedy and Louise McNally, "From Event Structure
    		to Scale Structure: Degree Modification in Deverbal
		Adjectives", pp. 163--180
    11. Manfred Krifka, "Quantifying into Question Acts", pp. 181--198
    12. Beth Levin and Malka Rappaport Hovav, "Two Structures for
    		Compositionally Derived Events", pp. 199--223
    13. Toshiyuki Ogihara, "Double-Access Sentences
    		Generalized", pp. 224--236
    14. Adam Przepisrkowski, "On Negative Eventualities, Negative
    		Concord, and Negative Yes/No Questions", pp. 237--254
    15. Maribel Romero, "Intensional Choice Functions for Which
    		Phrases", pp. 255--272
    16. Henriette de Swart, "Indefinites between Predication and
    		Reference", pp. 273--297
    17. Veerle van Geenhoven, "A Before and After Picture of When-,
    		Before-, and After- Clauses", pp. 298--315
  },
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {nl-semantics;}
 }

@article{ matthewson:1999a,
  author = {Lisa Matthewson},
  title = {On the Interpretation of Wide-Scope Indefinites},
  journal = {Natural Language Semantics},
  year = {1999},
  volume = {7},
  number = {1},
  pages = {79--134},
  topic = {indefinites;nl-semantics;}
  }

@article{ matthewson:2002a,
  author = {Lisa Matthewson},
  title = {Quantification and the Nature of Crosslinguistic
  	Variation},
  journal = {Natural Language Semantics},
  year = {2001},
  volume = {9},
  number = {2},
  pages = {145--189},
  topic = {nl-semantics;nl-quantifiers;universal-grammar;}
  }

@article{ matthewson:2006a,
  author = {Lisa Matthewson},
  title = {Temporal Semantics in a Superficially Tenseless Language},
  journal = {Linguistics and Philosophy},
  year = {2006},
  volume = {29},
  number = {1},
  pages = {673--713},
  topic = {nl-tense;Salish-languages;}
  }

@techreport{ matthiessen:1987a,
  author = {Christian M. Matthiessen},
  year = {1987},
  title = {Notes on the Organization of the Environment of a Text
  	Generation Grammar},
  institution = {University of Southern California, Information Sciences
  	Institute},
  number = {ISI/RS-87-177},
  topic = {nl-generation;}
}

@incollection{ matthiessen:1991a,
  author = {Christian Matthiessen},
  title = {Lexico(Grammatical) Choice in Text Generation},
  booktitle = {Natural Language Generation in Artificial Intelligence and
  	Computational Linguistics},
  publisher = {Kluwer Academic Publishers},
  address = {Dordrecht},
  year = {1991},
  editor = {C\'{e}cile L. Paris and William R. Swartout
  	and William C. Mann},
  pages = {249--292},
  rtnote = {In RHT collection.},
  topic = {nl-generation;lexical-choice;}
  }

@incollection{ matthiessen-etal:1998a,
  author = {Christian Matthiessen and Licheng Zeng and Marilyn Cross
	and Ichiro Kobayashi and Kazuhiro Teruya and Canzhong Wu},
  title = {The {M}ultex Generator Environment: Application
		and Development},
  booktitle = {Proceedings of the Ninth International Workshop
  	on Natural Language Generation},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Eduard Hovy},
  pages = {228--237},
  address = {New Brunswick, New Jersey},
  topic = {nl-generation;machine-translation;multimedia-generation;
  	graphics-generation;}
  }

@incollection{ matthiesson-etal:1992a,
  author = {Christian Matthiesson and Keizo Nanri and Zeng Licheng},
  title = {Multilingual Generation: Dimensions of
		Organization and Forms of Representation},
  booktitle = {Aspects of Automated Natural Language Generation: 6th
    International Workshop on Natural Language Generation, {T}rento,
    {I}taly, April 5--7, 1992},
  publisher = {Springer-Verlag},
  year = {1992},
  editor = {Robert Dale and Eduard Hovy and Dietmar R\"ossner and
  	Oliviero Stock},
  pages = {300--302},
  address = {Berlin},
  topic = {nl-generation;interlinguas;}
  }

@article{ mattiussi-etal:2008a,
  author = {Claudio Mattiussi and Daniel Marbach and Peter D\"urr and
  		Durio Floreano},
  title = {The Age of Analog Networks},
  journal = {The {AI} Magazine},
  year = {2008},
  volume = {29},
  number = {3},
  pages = {63--76},
  topic = {analog-networks;}
  }

@article{ matushansky:2008a,
  author = {Ora Matushansky},
  title = {On the Linguistic Complexity of Proper Names},
  journal = {Linguistics and Philosophy},
  year = {2008},
  volume = {31},
  number = {5},
  pages = {573--627},
  topic = {proper-names;definite-descriptions;direct-discourse;}
  }

@book{ maudlin:2004a,
  author = {Tim Maudlin},
  title = {Truth and Paradox},
  publisher = {Oxford University Press},
  year = {2004},
  address = {Oxford},
  note = {Umich Tanner BC199 .P2 M38 2004},
  topic = {semantic-paradoxes;}
 }

@book{ mauny-derauglaudre:1992a,
  author = {Michel Mauny and Daniel de Rauglaudre},
  title = {Parsers in {Ml}},
  publisher = {Institut National de Recherche en Informatique et en
  	Automatique},
  year = {1992},
  address = {Le Chesnay, France},
  acontentnote = {Abstract:
  	We present the operational semantics of
    streams and stream matching as discussed in [12].  Streams are data
    structures such as lists, but with different primitive operations.
    Streams not only provide an interface to usual input/output
    channels, but may used [sic] as a data structure per se, holding any
    kind of element.  A special pattern matching construct is dedicated
    to streams and the actual matching process will be called parsing.
    The primary parsing semantics that we propose here is predictive
    parsing, i.e. recursive descent semantics with a one token look-
    ahead:  although this choice seems to restrict us to the recognition
    of LL(1) languages, we show by examples that full functionality and
    parameter passing allow us to write parsers for complex languages.
    The operational semantics of parsers is given by transforming
    parsers into regular functions.  We introduce a non-strict semantics
    of streams by translating stream expressions into more classical
    data structures; we also investigate different sharing mechanisms
    for some of the stream operations.},
  topic = {parsing-algorithms;}
 }

@inproceedings{ maus:2001a,
  author = {Heiko Maus},
  title = {Workflow Context as a Means for Intelligent Information
  	Support},
  booktitle = {Modeling and Using Context: Third International and
  	Interdisciplinary Conference, Context 2001},
  publisher = {Springer-Verlag},
  year = {2001},
  editor = {Varol Akman and Paolo Bouquet and Richmond Thomason
  	and Roger A. Young},
  pages = {261--274},
  address = {Berlin},
  topic = {context;HCI;}
  }

@article{ mavrodes:1966a,
  author = {George Mavrodes},
  title = {Kant's Objection to the Ontological Argument},
  journal = {The Journal of Philosophy},
  year = {1966},
  volume = {63},
  number = {19},
  pages = {537--550},
  topic = {ontological-argument;Kant;}
  }

@article{ mavrovouniotis-stephanopoulos:1988a1,
  author = {Michael Mavrovouniotis and George Stephanopoulos},
  title = {Formal Order-of-Magnitude Reasoning in Process
		Engineering},
  journal = {Computer Chemical Engineering},
  year = {1988},
  volume = {12},
  pages = {867--880},
  missinginfo = {number},
  xref = {Republication: mavrovouniotis-stephanopoulos:1988a2.},
  topic = {qualitative-physics;qualitative-reasoning;
  		order-of-magnitude-reasoning;}
  }

@incollection{ mavrovouniotis-stephanopoulos:1988a2,
  author = {Michael Mavrovouniotis and George Stephanopoulos},
  title = {Formal Order-of-Magnitude Reasoning in Process
		Engineering},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {323--336},
  address = {San Mateo, California},
  xref = {Republication of: mavrovouniotis-stephanopoulos:1988a1.},
  topic = {qualitative-physics;qualitative-reasoning;
  		order-of-magnitude-reasoning;}
  }

@article{ maximova:2002a,
  author = {Larisa Maximova},
  title = {Complexity of Interpolation and Related Problems in
  	Positive Calculi},
  journal = {Journal of Symbolic Logic},
  year = {2002},
  volume = {67},
  number = {1},
  pages = {397--408},
  topic = {complexity-theory;interpolation-theorems;}
  }

@incollection{ maxwell_jt-kaplan_rm:1981a,
  author = {John T. {Maxwell III} and Ronald M. Kaplan},
  title = {A Method for	Disjunctive Constraint Satisfaction},
  booktitle = {Current Issues in Parsing Technology},
  publisher = {Kluwer Academic Publishers},
  year = {1981},
  editor = {Masaru Tomita},
  pages = {173--190},
  address = {Dordrecht},
  topic = {parsing-algorithms;constraint-satisfaction;}
  }

@techreport{ maxwell_jt-kaplan_rm:1990a,
  author = {John T. {Maxwell III} and Ronald M. Kaplan},
  title = {A Method for Disjunctive Constraint Satisfaction},
  number = {ISTL--92--2},
  year = {1992},
  address = {Palo Alto, California},
  rtnote = {In RHT collection.},
  institution = {Xerox Palo Alto Research Center},
  rtnote = {In RHT collection.},
  topic = {constraint-satisfaction;}
  }

@article{ maxwell_m:2000a,
  author = {Michael Maxwell},
  title = {Review of \emph{{A} Grammar Writer's Cookbook}, by {M}irian
  	{B}utt and {T}racy {H}olloway {K}ing and {M}ar\'ia-{E}ugenia
  	{N}i\~no and {F}r\'ed\'erique {S}egond},
  journal = {Computational Linguistics},
  year = {2000},
  volume = {26},
  number = {2},
  pages = {260--264},
  xref = {Review of: butt-etal:1999a.},
  topic = {grammatical-writing;}
  }

@article{ maxwell_pc:1974a,
  author = {P.C. Maxwell},
  title = {Alternative Descriptions in Line Drawing Analysis},
  journal = {Artificial Intelligence},
  year = {1974},
  volume = {5},
  number = {4},
  pages = {325--348},
  acontentnote = {Abstract:
     The paper presents an approach to the formation of structural
     descriptions of idealized line drawings of geometrical shapes.
     Emphasis is placed on the generation of alternative descriptions
     of the drawings, the order in which the alternatives appear
     being in approximate correspondence with the relative ease of
     human perception of the particular articulation.  Precise
     definitions of the objects and relations used are given and
     details are presented of a program which successfully describes
     drawings according to the required criteria.  The method employed
     is to classify the intersections of drawings into various types
     and to postulate various possible configurations of objects and
     relations which could exist at each intersection, the
     descriptive procedure being to verify these hypotheses.
     Alternative descriptions are then generated by considering
     different combinations of the possible configurations.  },
  topic = {line-drawings;geometrical-reasoning;}
  }

@phdthesis{ may_r:1977a1,
  author = {Robert May},
  title = {The Grammar of Quantification},
  school = {Linguistics Department, Massachusetts Institute of
  	Technology},
  year = {1977},
  type = {Ph.{D}. Dissertation},
  address = {Cambridge, Massachusetts},
  xref = {Republication: may_r:1977a2.},
  topic = {nl-semantics;nl-quantification;LF;}
 }

@book{ may_r:1977a2,
  author = {Robert May},
  title = {The Grammar of Quantification},
  publisher = {Indiana University Linguistics Club},
  year = {1982},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.  Shelf.},
  xref = {Republication of: may_r:1977a1.},
  topic = {nl-semantics;nl-quantification;LF;}
 }

@book{ may_r:1983a1,
  author = {Robert May},
  title = {Logical Form as a Level of Linguistic Representation},
  publisher = {Indiana University Linguistics Club},
  year = {1983},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  xref = {Republications: may_r:1983a2,may_r:1983a3.},
  topic = {LF;syntax-semantics-interface;}
 }

@incollection{ may_r:1983a2,
  author = {Robert May},
  title = {Logical Form as a Level of Linguistic Representation},
  booktitle = {New Directions in Semantics, Volume 2},
  publisher = {Academic Press},
  year = {1987},
  editor = {Ernest LePore},
  pages = {305--336},
  address = {London},
  xref = {Republication of: may_r:1983a1.},
  topic = {LF;syntax-semantics-interface;}
  }

@incollection{ may_r:1983a3,
  author = {Robert May},
  title = {Logical Form as a Level of Linguistic Representation},
  booktitle = {Readings in the Philosophy of Language},
  publisher = {The {MIT} Press},
  year = {1996},
  editor = {Peter Ludlow},
  pages = {281--315},
  address = {Cambridge, Massachusetts},
  xref = {Republication of: may_r:1983a1.},
  topic = {LF;syntax-semantics-interface;}
  }

@book{ may_r:1985a,
  author = {Robert May},
  title = {Logical Form: Its Structure and Derivation},
  publisher = {The {MIT} Press},
  year = {1985},
  address = {Cambridge, Massacusetts},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {LF;syntax-semantics-interface;coindexing;}
 }

@incollection{ may_r:1988a,
  author = {Robert May},
  title = {Bound Variable Anaphora},
  booktitle = {Mental Representations: The Interface Between Language and
  	Reality},
  publisher = {Cambridge University Press},
  year = {1988},
  editor = {Ruth Kempson},
  pages = {85--104},
  address = {Cambridge, England},
  topic = {nl-semantics;anaphora;coindexing;}
  }

@article{ may_r:1989a,
  author = {Robert May},
  title = {Interpreting Logical Form},
  journal = {Linguistics and Philosophy},
  year = {1989},
  volume = {12},
  number = {4},
  pages = {387--435},
  rtnote = {semantics-course;},
  topic = {LF;nl-semantics;nl-quantifier-scope;nl-quantifiers;}
  	}

@article{ may_r:1989b,
  author = {Robert May},
  title = {Preface},
  journal = {Linguistics and Philosophy},
  year = {1989},
  volume = {12},
  number = {4},
  pages = {383--385},
  contentnote = {This is the preface to a special issue on
  	logical form and semantic interpretation.},
  topic = {LF;nl-semantics;}
  }

@article{ may_r:2006a,
  author = {Robert May},
  title = {The Invariance of Sense},
  journal = {The Journal of Philosophy},
  year = {2006},
  volume = {103},
  number = {3},
  pages = {111--144 },
  topic = {philosophy-of-language;Frege;sense;sense-reference;
  	semantics-of-proper-names;definite-descriptions;}
  }

@article{ may_r:2006b,
  author = {Robert May},
  title = {Frege on Indexicals},
  journal = {The Philosophical Review},
  year = {2006},
  volume = {115},
  number = {4},
  pages = {487--516},
  topic = {Frege;context;indexicals;}
  }

@article{ may_s:1976a,
  author = {Sherry May},
  title = {Probability Kinematics:  A Constrained Optimization
  	Problem},
  journal = {Journal of Philosophical Logic},
  year = {1976},
  volume = {5},
  number = {3},
  pages = {395--398},
  topic = {probability-kinematics;}
  }

@inproceedings{ maybury_mt:1990a,
  author = {Mark T. Maybury},
  title = {Using Discourse Focus, Temporal Focus, and Spatial Focus
  	to Plan Narrative Text},
  booktitle = {Fifth International Workshop on Natural Language
  	Generation, Pittsburgh, Pennsylvania},
  year = {1990},
  pages = {70--78},
  topic = {nl-generation;discourse-planning;pragmatics;}
}

@article{ maybury_mt:1991a,
  author = {Mark T. Maybury},
  title = {Topical, Temporal and Spatial Constraints on Linguistic
  	Realization},
  journal = {Computational Intelligence},
  year = {1991},
  volume = {7},
  pages = {266--275},
  topic = {temporal-reasoning;}
  }

@book{ maybury_mt:1993a,
  editor = {Mark T. Maybury},
  title = {Intelligent Multimedia Interfaces},
  publisher = {AAAI Press},
  year = {1993},
  address = {Menlo Park, California},
  ISBN = {0262631504},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 I58211 1993.},
  topic = {HCI;multimedia-interpretation;multimedia-generation;}
 }

@book{ maybury_mt:2004a,
  editor = {Mark T. Maybury},
  title = {New Directions in Question Answering},
  publisher = {The {MIT} Press},
  year = {2004},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-63304-3},
  xref = {Review: pasca:2005a.},
  topic = {question-answering;}
 }

@article{ maydole:1975a,
  author = {Robert Maydole},
  title = {Paradoxes and Many-Valued Set Theory},
  journal = {Journal of Philosophical Logic},
  year = {1975},
  volume = {4},
  number = {3},
  pages = {269--291},
  topic = {foundations-of-set-theory;multivalued-logic;Russell-paradox;}
  }

@article{ mayer_jc:1981a,
  author = {John C. Mayer},
  title = {A Misplaced Thesis of Conditional Logic},
  journal = {Journal of Philosophical Logic},
  year = {1981},
  volume = {10},
  number = {2},
  pages = {235--238},
  contentnote = {This has to do with the problem of disjunctive
  	antecedents.},
  topic = {conditionals;}
  }

@article{ mayer_mc-cerrito:2001a,
  author = {Marta Cialdea Mayer and Serenella Cerrito},
  title = {Ground and Free-Variable Tableaux for Variants of
  	Quantified Modal Logics},
  journal = {Studia Logica},
  year = {2001},
  volume = {69},
  number = {1},
  pages = {97--131},
  topic = {proof-theory;semantic-tableaux;modal-logic;}
  }

@article{ mayer_mc-etal:2007a,
  author = {Maria Cialdea Mayer and Carla Limongelli and Andrea
  		Orlandini and Valentina Poggioni},
  title = {Linear Temporal Logic as an Executable Semantics for
  		Planning Languages},
  journal = {Journal of Logic, Language, and Information},
  year = {2007},
  volume = {16},
  number = {1},
  pages = {63--89},
  topic = {linear-logic;temporal-logic;}
  }

@article{ mayhew-frisby:1981a,
  author = {John E.W. Mayhew and John P.  Frisby},
  title = {Psychophysical and Computational Studies towards a Theory
  	of Human Stereopsis},
  journal = {Artificial Intelligence},
  year = {1981},
  volume = {17},
  number = {1--3},
  pages = {349--385},
  topic = {vision;}
  }

@inproceedings{ maynardreid-lehmann_d:2000a,
  author = {Pedrito {Maynard-Reid III} and Daniel Lehmann},
  title = {Representing and Aggregating Conflicting Beliefs},
  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 = {153--164},
  topic = {knowledge-integration;epistemic-conflict;}
  }

@article{ maynardreid-shoham_y1:2000a,
  author = {Pedrito {Maynard-Reid II} and Yoav Shoham},
  title = {Belief Fusion: Aggregating Pedigreed Belief States},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {10},
  number = {2},
  pages = {183--209},
  topic = {belief-revision;}
  }

@article{ mayo_b:1963a,
  author = {Bernard Mayo},
  title = {A Note on {A}ustin's Performative Theory of Knowledge},
  journal = {Philosophical Studies},
  year = {1963},
  volume = {14},
  pages = {28--31},
  missinginfo = {number},
  topic = {JL-Austin;speech-acts;pragmatics;}
  }

@article{ mayo_b:1963b,
  author = {Bernard Mayo},
  title = {Review of \emph{{H}ow to Do Things With Words}, by {J}.{L}.
  	{A}ustin},
  journal = {Philosophical Books},
  year = {1963},
  volume = {3},
  pages = {4--6},
  missinginfo = {number},
  topic = {JL-Austin;speech-acts;pragmatics;}
  }

@incollection{ mayo_d:2000a,
  author = {Deborah G. Mayo},
  title = {Experimental Practice and an Error Statistical Account
  	of Evidence},
  booktitle = {{PSA}'1998: Proceedings of the 1998 Biennial Meetings
  	of the Philosophy of Science Association, Part {II}:
	Symposium Papers},
  publisher = {Philosophy of Science Association},
  year = {2000},
  editor = {Don A. Howard},
  pages = {S193--S207},
  address = {Newark, Delaware},
  topic = {philosophy-of-science;evidence;}
  }

@book{ mayo_d-hollander_r:1991a,
  editor = {Deborah G. Mayo and Rachelle D. Hollander},
  title = {Acceptable Evidence: Science and Values in Risk
  	Management},
  publisher = {Oxford University Press},
  year = {1991},
  address = {Oxford},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {risk-management;}
 }

@article{ mays-etal:1991a,
  author = {Eric Mays and Robert Dionne and Robert Weida},
  title = {K-Rep System Overview},
  journal = {{SIGART} Bulletin},
  year = {1991},
  volume = {2},
  number = {3},
  topic = {kr;kr-systems;}
      }

@inproceedings{ mazer:1990a,
  author = {M.S. Mazer},
  title = {A Link Between Knowledge and Communication in Faulty
  	Distributed Systems},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Third Conference ({TARK} 1990)},
  year = {1990},
  editor = {Rohit Parikh},
  pages = {289--304},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  topic = {distributed-systems;epistemic-logic;}
  }

@article{ mazlack:1976a,
  author = {Lawrence J. Mazlack},
  title = {Computer Construction of Crossword Puzzles Using
  	Precedence Relationships},
  journal = {Artificial Intelligence},
  year = {1976},
  volume = {7},
  number = {1},
  pages = {1--19},
  topic = {constraint-satisfaction;crossword-puzzles;}
  }

@article{ mcallester_da:1988a,
  author = {David Allen McAllester},
  title = {Conspiracy Numbers for Min-Max Search},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {35},
  number = {3},
  pages = {287--310},
  topic = {search;conspiracy-number-search;}
  }

@inproceedings{ mcallester_da:1990a,
  author = {David McAllester},
  title = {Truth Maintenance},
  booktitle = {Proceedings of the Eighth National Conference on
              Artificial Intelligence},
  year = {1990},
  editor = {Reid Smith and Tom Mitchell},
  volume = {2},
  pages = {1109--1116},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  missinginfo = {editor},
  rtnote = {In RHT collection.},
  topic = {truth-maintenance;}
 }

@article{ mcallester_da-givan:1992a,
  author = {David A. McAllester and Robert Givan},
  title = {Natural Language Syntax and First-Order Inference},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {56},
  number = {1},
  pages = {1--20},
  acontentnote = {Abstract:
     We have argued elsewhere that first-order inference can be made
     more efficient by using nonstandard syntax for first-order
     logic. In this paper we define a syntax for first-order logic
     based on the structure of natural language under Montague
     semantics.  We show that, for a certain fairly expressive
     fragment of this language, satisfiability is polynomial time
     decidable. The polynomial time decision procedure can be used as
     a subroutine in general purpose inference systems and seems to
     be more powerful than analogous procedures based on either
     classical or taxonomic syntax.
  },
  topic = {model-checking;polynomial-algorithms;
  	subtheories-of-FOL;}
  }

@inproceedings{ mcallester_da-rosenblitt:1991a,
  author = {David Mc{A}llester and David Rosenblitt},
  title = {Systematic Nonlinear Planning},
  booktitle = {Proceedings of the Ninth National Conference on
              Artificial Intelligence},
  year = {1991},
  editor = {Thomas Dean and Kathy McKeown},
  pages = {634--539},
  organization = {American Association for Artificial Intelligence},
  publisher = {MIT Press},
  address = {Cambridge, Massachusetts},
  topic = {nonklinear-planning;}
  }

@incollection{ mcallister_da-etal:1989a,
  author = {David Mcallister and Bob Givan and Tanveer Fatima},
  title = {Taxonomic Syntax for First Order Inference},
  booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1989},
  editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter},
  pages = {289--300},
  address = {San Mateo, California},
  contentnote = {Argues that building taxonomy into FOL makes for
  	more efficient theorem-proving.},
  topic = {kr;taxonomic-reasoning;theorem-proving;kr-course;}
  }

@article{ mcallister_jw:2003a,
  author = {James W. McAllister},
  title = {Effective Complexity as a Measure of Information Content},
  journal = {Philosophy of Science},
  year = {2003},
  volume = {70},
  number = {2},
  pages = {302--307},
  topic = {algorithmic-complexity; algorithmic-information-theory;}
  }

@article{ mcallister_jw:2004a,
  author = {James W. McAllister},
  title = {Thought Experiments and the Belief in Phenomena},
  journal = {Philosophy of Science},
  year = {2004},
  volume = {71},
  number = {5},
  pages = {1164--1175},
  note = {Philosophy of Science: Proceedings of the
  	2002 Biennial Meeting of the
	Philosophy of Science Association, Part 2: Symposia
	Papers.  Edited by Sandra D. Mitchell.},
  topic = {scientific-thought-experiments;}
  }

@article{ mcarthur_rp:1974a,
  author = {Robert P. McArthur},
  title = {Factuality and Modality in the Future Tense},
  journal = {Nous},
  year = {1974},
  volume = {8},
  pages = {283--288},
  topic = {future-contingent-propositions;}
  }

@book{ mcarthur_rp:1991a,
  author = {Robert P. McArthur},
  title = {From Logic to Computing},
  publisher = {Wadsworth Publishing Co.},
  year = {1991},
  address = {Belmont, California},
  ISBN = {0534133207},
  rtnote = {UMich Media Union Library, QA 76 .M3651 1991.},
  topic = {logic-in-cs;logic-in-cs-intro;}
 }

@book{ mcarthur_t:1986a,
  author = {Tom McArthur},
  title = {Worlds of Reference: Lexicography, Learning, and Language from
    the Clay Tablet to the Computer},
  publisher = {Cambridge University Press},
  year = {1986},
  address = {Cambridge, England},
  ISBN = {052130637X},
  rtnote = {UMich Graduate Library, AE1 .M331 1986.},
  topic = {lexicography;}
 }

@book{ mcarthur_t:1998a,
  author = {Tom McArthur},
  title = {Living Words: Language, Lexicography, and the Knowledge
    Revolution},
  publisher = {University of Exeter Press},
  year = {1998},
  address = {Exeter},
  ISBN = {0859896110},
  rtnote = {UMich Graduate Library, 820 M116Li.},
  topic = {lexicography;}
 }

@article{ mcburney-parsons_s:2002a,
  author = {Peter McBurney and Simon Parsons},
  title = {Games that Agents Play: A Formal Framework for Dialogues
  	between Autonomous Agents},
  journal = {Journal of Logic, Language, and Information},
  year = {2002},
  volume = {11},
  number = {3},
  pages = {315--334},
  topic = {game-theory;dialogue-logic;}
  }

@book{ mccabe:1992a,
  author = {Francis G. McCabe},
  title = {Logic and Objects},
  publisher = {Prentice Hall International},
  year = {1992},
  address = {Englewood Cliffs, New Jersey},
  ISBN = {013536079X},
  rtnote = {UMich Media Union Library, QA 76.63 .M421 1992.},
  topic = {logic-in-cs;logic-in-cs-intro;logic-programming;}
 }

@incollection{ mccafferty:1990a,
  author = {Andrew S. McCafferty},
  title = {Speaker Plans, Linguistic Contexts, and Indirect
  	Speech Acts},
  booktitle = {Knowledge Representation and Defeasible Reasoning},
  publisher = {Kluwer Academic Publishers},
  year = {1990},
  editor = {Henry Kyburg and Ronald Loui and Greg Carlson},
  pages = {191--220},
  address = {Dordrecht},
  topic = {discourse;implicature;pragmatics;}
  }

@article{ mccaffery:1999a,
  author = {Stephen J. McCaffery},
  title = {Compositional Names},
  journal = {Linguistics and Philosophy},
  year = {1999},
  volume = {22},
  number = {4},
  pages = {423--445},
  contentnote = {This is actually about complex proper names,
  	e.g. calendar dates.},
  topic = {compound-nouns;}
  }

@inproceedings{ mccain:1999a,
  author = {Norman Mccain},
  title = {Causal Calculator},
  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 = {planning-algorithms;model-checking;}
  }

@inproceedings{ mccain-turner_h:1995a,
  author = {Norman McCain and Hudson Turner},
  title = {A Causal Theory of Ramifications and Qualifications},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {1978--1984},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {temporal-reasoning;planning-formalisms;qualification-problem;
  	ramification-problem;}
  }

@inproceedings{ mccain-turner_h:1997a,
  author = {Norman McCain and Hudson Turner},
  title = {Causal Theories of Action and Change},
  booktitle = {Proceedings of the Fourteenth National Conference on
              Artificial Intelligence,  Vol. 1},
  year = {1997},
  editor = {Benjamin J. Kuipers and Bonnie Webber},
  pages = {460--465},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {causality;action-formalisms;}
  }

@incollection{ mccain-turner_h:1998a,
  author = {Norman McCain and Hudson Turner},
  title = {Satisfiability Planning with Causal Theories},
  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 = {212--223},
  address = {San Francisco, California},
  topic = {kr;planning;action-formalisms;causality;kr-course;}
  }

@article{ mccall:1999a,
  author = {Storrs McCall},
  title = {Can a {T}uring Machine Know that the {G}\"odel Sentence
  	Is True?},
  journal = {The Journal of Philosophy},
  year = {2000},
  volume = {96},
  number = {10},
  pages = {525--532},
  xref = {Commentary: },
  topic = {philosophy-of-computation;goedels-first-theorem;}
  }

@article{ mccall:2001a,
  author = {Storrs McCall},
  title = {Axiomatic Quantum Theory},
  journal = {Journal of Philosophical Logic},
  year = {2001},
  volume = {30},
  number = {5},
  pages = {465--477},
  topic = {foundations-of-quantum-mechanics;formalizations-of-physics;}
  }

@techreport{ mccalla-etal:1978a,
  author = {Gordon McCalla and P. Schneider and R. Cohen and H. Levesque},
  title = {Investigations into Planning and Executing in an Independent
      and Continuously Changing Microworld},
  number = {78--2},
  institution = {Department of Computer Science, University of Toronto},
  address = {Toronto, Ontario, CANADA M5S 1A7},
  year = {1978},
  topic = {cognitive-robotics;}
 }

@incollection{ mccalla-etal:1992a,
  author = {Gordon McCalla and Jim Greer and Bryce Barrie and Paul
  	Pospisel},
  title = {Granularity Hierarchies},
  booktitle = {Semantic Networks in Artificial Intelligence},
  publisher = {Pergamon Press},
  year = {1992},
  editor = {Fritz Lehmann},
  pages = {363--375},
  address = {Oxford},
  topic = {kr;semantic-networks;kr-course;granularity;context;}
  }

@article{ mccann:1974a,
  author = {Hugh J. McCann},
  title = {Trying, Paralysis, and Volition},
  journal = {The Review of Metaphysics},
  year = {1974--75},
  volume = {28},
  pages = {423-442},
  missinginfo = {number},
  topic = {philosophy-of-action;}
  }

@incollection{ mccann:1986a,
  author = {Hugh J. McCann},
  title = {Rationality and the Range of Intention},
  booktitle = {Midwest Studies in Philosophy Volume {X}:
  	Studies in the Philosophy of Mind},
  publisher = {University of Minnesota Press},
  year = {1986},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {191--211},
  address = {Minneapolis},
  topic = {intention;action;rationality;}
  }

@book{ mccann:1998a,
  author = {Hugh J. McCann},
  title = {The Works of Agency: On Human Action, Will,
  	and Freedom},
  publisher = {Cornell University Press},
  year = {1998},
  address = {Ithaca, New York},
  xref = {Review: ginet:2000a.},
  topic = {action;freedom;volition;}
 }

@incollection{ mccarthy_d1:1997a,
  author = {Diana McCarthy},
  title = {Word Sense Disambiguation for Acquisitiomn
     		of Selectional Preferences},
  booktitle = {Automatic Information Extraction and Building of
  	Lexical Semantic Resources for {NLP} Applications},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Piek Vossen and Geert Adriaens and Nicoletta Calzolari
  	and Antonio Sanfilippo and Yorick Wilks},
  pages = {52--60},
  address = {New Brunswick, New Jersey},
  topic = {word-sense;disambiguation;}
  }

@article{ mccarthy_d1:1998a,
  author = {Diana Mccarthy},
  title = {Review of \emph{The Balancing Act},
		by {J}udith {K}lavans and {P}hilip {R}esnik},
  journal = {Journal of Logic, Language, and Information},
  year = {1998},
  volume = {7},
  number = {2},
  pages = {223--227},
  topic = {corpus-linguistics;corpus-statistics;statistical-nlp;}
  }

@article{ mccarthy_d1-carrol_j:2003a,
  author = {Diana McCarthy and John Carrol},
  title = {Disambiguating Nouns, Verbs, and Adjectives Using
  		Automatically Acquired Selectional Preferences},
  journal = {Computational Linguistics},
  year = {2003},
  volume = {29},
  number = {4},
  pages = {639--654},
  topic = {lexical-disambiguation;category-mistakes;statistical-nlp;}
  }

@article{ mccarthy_d2:2002a,
  author = {David McCarthy},
  title = {Intending Harm, Foreseeing Harm, and Failures of the Will},
  journal = {No\^us},
  year = {2002},
  volume = {36},
  number = {4},
  pages = {622--642},
  topic = {ethics;intention;}
  }

@inproceedings{ mccarthy_j1:1959a1,
  author = {John McCarthy},
  title = {Programs with Common Sense},
  booktitle = {Proceedings of the {T}eddington Conference on the
  	Mechanization of Thought Processes},
  year = {1959},
  publisher = {Her Majesty's Stationary Office},
  address = {London},
  pages = {75--91},
  missinginfo = {Editor},
  xref = {Republished: mccarthy_j1:1959a2, mccarthy_j1:1959a3.},
  topic = {common-sense-logicism;AI-classics;}
  }

@incollection{ mccarthy_j1:1959a2,
  author = {John McCarthy},
  title = {Programs With Common Sense},
  booktitle = {Readings in Knowledge Representation},
  publisher = {Morgan Kaufmann},
  year = {1985},
  editor = {Ronald Brachman J. and Hector J. Levesque},
  pages = {300--307},
  address = {Los Altos, California},
  note = {Originally published 1959.},
  xref = {Republication of mccarthy_j1:1959a1.},
  topic = {common-sense-logicism;AI-classics;}
 }

@incollection{ mccarthy_j1:1959a3,
  author = {John McCarthy},
  title = {Programs With Common Sense},
  booktitle = {Formalizing Common Sense: Papers by {J}ohn {M}c{C}arthy},
  publisher = {Ablex Publishing Corporation},
  year = {1990},
  editor = {Vladimir Lifschitz},
  pages = {9--20},
  address = {Norwood, New Jersey},
  xref = {Republication of mccarthy_j1:1959a1.},
  topic = {common-sense-logicism;AI-classics;}
  }

@article{ mccarthy_j1:1974a1,
  author = {John McCarthy},
  title = {Review of \emph{{A}rtificial Intelligence: A General Survey}, by
		{J}ames {L}ighthill},
  journal = {Artificial Intelligence},
  year = {1974},
  volume = {5},
  number = {3},
  pages = {317--322},
  contentnote = {This is a useful brief appreciation of what had been
  	accomplished in AI up to 1974.},
  xref = {Republication: mccarthy_j1:1974a2},
  topic = {AI-survey;}
  }

@incollection{ mccarthy_j1:1974a2,
  author = {John McCarthy},
  title = {Review of \emph{{A}rtificial Intelligence: A General Survey}, by
		{J}ames {L}ighthill},
  booktitle = {Formalizing Common Sense: Papers by {J}ohn {M}c{C}arthy},
  publisher = {Ablex Publishing Corporation},
  year = {1990},
  editor = {Vladimir Lifschitz},
  pages = {64--69},
  address = {Norwood, New Jersey},
  contentnote = {This is a useful brief appreciation of what had been
  	accomplished in AI up to 1974.},
  xref = {Republication of: mccarthy_j1:1974a1},
  topic = {AI-survey;}
  }

@inproceedings{ mccarthy_j1:1977a1,
  author = {John McCarthy},
  title = {Epistemological Problems of Artificial Intelligence},
  booktitle = {Proceedings of the Fifth International Joint
  	Conference on Artificial Intelligence},
  year = {1977},
  editor = {Tom Kehler and Stan Rosenschein},
  pages = {1038--1044},
  organization = {American Association for Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  xref = {Republications: mccarthy_j1:1977a2,mccarthy_j1:1977a3,
  	mccarthy_j1:1977a4,mccarthy_j1:1977a5.},
  address = {Los Altos, California},
  topic = {kr;foundations-of-kr;kr-course;}
  }

@incollection{ mccarthy_j1:1977a2,
  author = {John McCarthy},
  title = {Epistemological Problems of Artificial
          Intelligence},
  booktitle = {Readings in Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  year = {1981},
  editor = {Bonnie Webber and Nils J. Nilsson},
  pages = {459--472},
  address = {Los Altos, California},
  xref = {First Published in IJCAI-77; 1977; 1038--1044; see
  	mccarthy_j1:1977a1},
  topic = {kr;foundations-of-kr;kr-course;}
  }

@incollection{ mccarthy_j1:1977a3,
  author = {John McCarthy},
  title = {Epistemological Problems of Artificial Intelligence},
  booktitle = {Readings in Knowledge Representation},
  publisher = {Morgan Kaufmann},
  year = {1995},
  editor = {Ronald J. Brachman and Hector J. Levesque},
  address = {Los Altos, California},
  pages = {23--30},
  xref = {First Published in IJCAI-77; 1977; 1038--1044; see
  	mccarthy_j1:1977a1},
  topic = {kr;foundations-of-kr;kr-course;}
  }

@incollection{ mccarthy_j1:1977a4,
  author = {John McCarthy},
  title = {Epistemological Problems of Artificial Intelligence},
  booktitle = {Formalizing Common Sense: Papers by {J}ohn {M}c{C}arthy},
  publisher = {Ablex Publishing Corporation},
  year = {1990},
  editor = {Vladimir Lifschitz},
  pages = {77--92},
  address = {Norwood, New Jersey},
  xref = {Republication of: mccarthy_j1:1977a1.},
  topic = {kr;foundations-of-kr;kr-course;}
  }

@incollection{ mccarthy_j1:1977a5,
  author = {John McCarthy},
  title = {Epistemological Problems of Artificial
         Intelligence},
  booktitle = {Readings in Nonmonotonic Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Matthew L. Ginsberg},
  pages = {46--55},
  address = {Los Altos, California},
  xref = {First Published in IJCAI-77; 1977; 1038--1044; see
  	mccarthy_j1:1977a1},
  topic = {kr;foundations-of-kr;kr-course;}
  }

@incollection{ mccarthy_j1:1979a1,
  author = {John McCarthy},
  title = {Ascribing Mental Qualities to Machines},
  booktitle = {Philosophical Perspectives in Artificial Intelligence},
  publisher = {Humanities Press},
  year = {1979},
  editor = {Martin Ringle},
  pages = {161--195},
  address = {Atlantic Highlands, New Jersey},
  xref = {Republication: mccarthy_j1:1979a2.},
  topic = {philosophy-of-mind;philosophy-AI;}
  }

@incollection{ mccarthy_j1:1979a2,
  author = {John McCarthy},
  title = {Ascribing Mental Qualities to Machines},
  booktitle = {Formalizing Common Sense: Papers by {J}ohn {M}c{C}arthy},
  publisher = {Ablex Publishing Corporation},
  year = {1990},
  editor = {Vladimir Lifschitz},
  pages = {93--118},
  address = {Norwood, New Jersey},
  xref = {Republication of: mccarthy_j1:1979a1},
  rtnote = {In RHT collection.},
  topic = {philosophy-AI;philosophy-of-mind;}
  }

@incollection{ mccarthy_j1:1979c1,
  author = {John McCarthy},
  title = {First Order Theories of Individual Concepts and
		Propositions},
  booktitle = {Machine Intelligence 9},
  publisher = {Ellis Horwood},
  year = {1979},
  editor = {J.E. Hayes and D. Mitchie and L.I. Mikulich},
  pages = {129--148},
  address = {Chichester, England},
  xref = {Republication: mccarthy_j1:1979c2},
  topic = {propositional-attitudes;}
  }

@incollection{ mccarthy_j1:1979c2,
  author = {John McCarthy},
  title = {First Order Theories of Individual Concepts and
		Propositions},
  booktitle = {Formalizing Common Sense: Papers by {J}ohn {M}c{C}arthy},
  publisher = {Ablex Publishing Corporation},
  year = {1990},
  editor = {Vladimir Lifschitz},
  pages = {119--141},
  address = {Norwood, New Jersey},
  xref = {Republication of: mccarthy_j1:1979c1.},
  topic = {propositional-attitudes;}
  }

@article{ mccarthy_j1:1980a1,
  author = {John McCarthy},
  title = {Circumscription---A Form of Non-Monotonic Reasoning},
  journal = {Artificial Intelligence},
  volume = {13},
  number = {1--2},
  pages = {27--39},
  year = {1980},
  xref = {Republication: mccarthy_j1:1980a2.},
  rtnote = {In RHT collection.},
  topic = {kr;circumscription;nonmonotonic-logic;kr-course;}
 }

@incollection{ mccarthy_j1:1980a2,
  author = {John McCarthy},
  title = {Circumscription---A Form of Nonmonotonic Reasoning},
  booktitle = {Formalizing Common Sense: Papers by {J}ohn {M}c{C}arthy},
  publisher = {Ablex Publishing Corporation},
  year = {1990},
  editor = {Vladimir Lifschitz},
  pages = {142--157},
  address = {Norwood, New Jersey},
  xref = {Republication of: mccarthy_j1:1980a1.},
  topic = {kr;circumscription;nonmonotonic-logic;kr-course;}
  }

@incollection{ mccarthy_j1:1982a1,
  author = {John McCarthy},
  title = {The Common Business Communication Language},
  booktitle = {Textverarbeitung und {B}\"urosysteme},
  publisher = {R. Oldenbourg Verlag},
  year = {1982},
  editor = {A. Endres and J. Reetz},
  pages = {7

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib