text:
Tools for the Advancement of
		Objective Logic: Closed Categories and Toposes"
     II. Logic
	5. Fran\c{c}ois Magnan and Gonzalo E. Reyes, "Category Theory
		as a Conceptual Tool in the Study of Cognition"
	6. Marie La Palme Reyes, John Macnamara and Gonzalo E. Reyes,
		"Reference, Kinds and Predicates"
     III. Psychology
	7.John Macnamara and Gonzalo E. Reyes, "Foundational Issues
		in the Learning of Proper Names, Count Nouns and Mass
		Nouns"
       10.Alberto Peruzzi, "Prolegomena to a Theory of Kinds"
       11.D. Geoffrey Hall, "How Children Learn Common Nouns and Proper Names"
       12. Martin D.S. Braine, "Mental Logic and How to Discover It"
     IV. Linguistics
       13. Emmon Bach, "The Semantics of Syntactic Categories"
       14. Francis Jeffry Pelletier, "Some Issues Involving Internal
       		and External Semantics"
     V. Intentionality
       15. F{\o}llesdal, "Husserl's Notion of Intentionality"
       16. Marie La Palme Reyes, "Referential Structure of Fictional Texts"
       17. Martin Hahn, "How Not to Draw the de re/de dicto Distinction"
       18. Philip P. Hanson, "Cognitive Content and Semantics:
       		Comment on `How Not to Draw the de re/de dicto
		Distinction'\,"
   },
  rtnote = {UMich Graduate Library BF311.L641 1994},
  ISBN = {0-19-509215-5 (cloth), 0-19-509216-3 (paper)},
  topic = {foundations-of-cognition;logic-and-cognition;}
 }

@incollection{ macnish:1991a,
  author = {Craig MacNish},
  title = {Hierarchical Default Logic},
  booktitle = {Symbolic and Quantitative Approaches for Uncertainty:
  	Proceedings of the {E}uropean Conference {ECSQAU}, Marseille,
	France, October 1991},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Rudolf Kruse and Pierre Siegel},
  pages = {246--253},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {default-logic;default-preferences;}
  }

@book{ macnish-etal:1994a,
  editor = {Craig Mac{N}ish and Lu\'is Moniz Pereira and David Pearce},
  title = {Logics in Artificial Intelligence: Proceedings of {E}uropean
  	Workshop {JELIA} '94, {Y}ork, {UK}, September 5-8, 1994},
  publisher = {Springer-Verlag},
  year = {1994},
  address = {Berlin},
  ISBN = {3-540-58332-7 (Softcover)},
  topic = {logic-in-AI-survey;}
 }

@incollection{ macrae:1985a,
  author =  {C. Duncan MacRae},
  title = {Tax Problem Solving with an If-Then System},
  booktitle = {Computing Power and Legal Reasoning},
  publisher = {West Publishing Co.},
  editor = {Charles Walter},
  year = {1985},
  pages = {595--620},
  address = {Saint Paul, Minnesota},
  topic = {legal-reasoning;tax-law;}
  }

@incollection{ macrandal:1988a,
  author = {Damian MacRandal},
  title = {Semantic Networks},
  booktitle = {Approaches to Knowledge Representation: an Introduction},
  publisher = {John Wiley and Sons},
  year = {1988},
  editor = {G.A. Ringland and D.A. Duce},
  chapter = {3},
  pages = {45--79},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {kr;semantic-nets;kr-course;}
  }

@article{ macskassy-etal:2003a,
  author = {Sofus A. Macskassy and Haym Hirsh and Arunava Banerjee
  	and Ayanur Dayanik},
  title = {Converting Numerical Classification into Text Classification},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {143},
  number = {1},
  pages = {51--77},
  topic = {machine-learning;document-classification;information-retrieval;}
  }

@incollection{ macworth:1977a2,
  author = {Alan Macworth},
  title = {Consistency in Networks of Relations},
  booktitle = {Readings in Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  year = {1981},
  editor = {Bonnie Webber and Nils J. Nilsson},
  pages = {69--78},
  address = {Los Altos, California},
  xref = {Journal Publication: macworth:1977a1.},
  topic = {constraint-satisfaction;AI-algorithms-analysis;
  	  arc-(in)consistency;}
  }

@article{ madani-etal:2003a,
  author = {Omid Madani and Steve Hanks and Anne Condon},
  title = {On the Undecidability of Probabilistic Planning and
  	Related Stochastic Optimization Problems},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {147},
  number = {1--2},
  pages = {5--34},
  topic = {(un)decidability;planning-algorithms;}
  }

@book{ maddix:1990a,
  author = {Frank Maddix},
  title = {Human-Computer Interaction: Theory and Practice},
  publisher = {New York},
  year = {1990},
  address = {New York},
  ISBN = {0134462386},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 M341 1990.},
  topic = {HCI;}
 }

@article{ maddux:1998a,
  author = {Roger D. Maddux},
  title = {Review of \emph{Arrow Logic and Multimodal Logic},
  	edited by {M}aarten {M}arx and {L}\'azl\'o {P}\'olos and {M}ichael
	{M}asuch},
  journal = {Journal of Symbolic Logic},
  year = {1998},
  volume = {63},
  number = {1},
  pages = {333--336},
  topic = {arrow-logic;}
  }

@article{ maddux:2005a,
  author = {Roger D. Maddux},
  title = {Review of \emph{{A}lfred {T}arski: Life and Logic},
  		by {A}nita {B}urdman {F}eferman and {S}olomon {F}eferman},
  journal = {The Bulletin of Symbolic Logic},
  year = {2005},
  volume = {11},
  number = {4},
  pages = {535--540},
  xref = {Review of: feferman_ab-feferman_s:2004a.},
  topic = {Tarski;history-of-logic;}
  }

@incollection{ maddy:1984a,
  author = {Penelope Maddy},
  title = {How the Causal Theorist Follows a Rule},
  booktitle = {Causation and Causal Theories},
  publisher = {University of Minnesota Press},
  year = {1984},
  editor = {Peter A. French and Theodore E. Uehling, Jr. and Howard
  	K. Wettstein},
  pages = {457--477},
  address = {Minneapolis},
  topic = {causality;rule-following;}
  }

@article{ maddy:1996a,
  author = {Penelope Maddy},
  title = {Set Theoretic Naturalism},
  journal = {The Journal of Symbolic Logic},
  year = {1996},
  volume = {61},
  number = {2},
  pages = {490--514},
  topic = {foundations-of-set-theory;philosophy-of-mathematics;}
  }

@book{ maddy:1997a,
  author = {Penelope Maddy},
  title = {Naturalism in Mathematics},
  publisher = {Oxford University Press},
  year = {1997},
  address = {Oxford},
  xref = {Reviews: balaguer:1999a, :2003a.},
  topic = {philosophy-of-mathematics;foundations-of-set-theory;}
 }

@article{ maddy:2005a,
  author = {Penelope Maddy},
  title = {Mathematical Existence},
  journal = {The Bulletin of Symbolic Logic},
  year = {2005},
  volume = {11},
  number = {3},
  pages = {351--376},
  topic = {philosophy-of-mathematics;foundations-of-set-theory;}
  }

@article{ maddy:2008a,
  author = {Penelope Maddy},
  title = {How Applied Mathematics Became Pure},
  journal = {The Review of Symbolic Logic},
  year = {2008},
  volume = {1},
  number = {1},
  pages = {16--41},
  topic = {philosophy-of-mathematics;history-of-mathematics;}
  }

@inproceedings{ madhavan-etal:2002a,
  author = {Jayant Madhavan and Philip A. Bernstein and Pedro Domingos
  	and Alon Y. Halevy},
  title = {Representing and Reasoning about Mappings between Domain
  	Models},
  booktitle = {Proceedings of the Eighteenth National Conference on
              Artificial Intelligence},
  year = {2002},
  editor = {Rina Dechter and Michael Kearns and Richard S. Sutton},
  pages = {80--86},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {knowledge-integration;knowledge-representation;}
  }

@article{ madsen-jensen_fv:1999a,
  author = {Anders L. Madsen and Finn V. Jensen},
  title = {{\sc Lazy} Progagation: A Junction Tree Inference
  	Algorithm Based on Lazy Evaluation},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {113},
  number = {1--2},
  pages = {203--245},
  topic = {bayesian-networks;}
  }

@article{ magidor_o:2009a,
  author = {Ofra Magidor},
  title = {Category Mistakes are Meaningful},
  journal = {Linguistics and Philosophy},
  year = {2009},
  volume = {32},
  number = {6},
  pages = {553--581},
  topic = {sortal-incorrectness;meaninglessness;}
  }

@book{ magnani:2001a,
  author = {Lorenzo Magnani},
  title = {Abduction, Reason, and Science:  Processes of Discovery
  	and Explanation},
  publisher = {Kluwer Academic Publishers},
  year = {2001},
  address = {Dordrecht},
  xref = {Review: shelley:2003a},
  topic = {philosophy-of-science;abduction;explanation;}
 }

@book{ magnani-etal:1999a,
  editor = {Lorenzo Magnani and Nancy J. Nersessian and Paul Thagard},
  title = {Model-Based Reasoning in Scientific Discovery},
  publisher = {Kluwer Academic Publishers},
  year = {1999},
  address = {Dordrecht},
  ISBN = {0306462923},
  rtnote = {UMich Media Union Library, Q 175.32 .R45 M651 1999},
  topic = {model-based-reasoning;scientific-discovery;
  	philosophy-of-science;}
 }

@incollection{ magnenatthalmann:1992a,
  author = {Nadia Magnenat-Thalmann},
  title = {A Model for Creating and Visualizing Speech and Emotion},
  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 = {1--12},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {animation;facial-expression;}
  }

@inproceedings{ magri:1991a,
  author = {Giorgio Magri},
  title = {The Blindness Hypothesis and Individual Level Predicates},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XVI}},
  year = {1991},
  editor = {Masayuki Gibson and Jonathan Howell},
  pages = {--},
  publisher = {CLC Publications},
  address = {Ithaca, New York},
  url = {http://research.nii.ac.jp/salt16/proceedings/Magri-Salt16.pdf},
  topic = {nl-semantics;i-level/s-level;}
  }

@article{ magri:2009a,
  author = {Giorgo Magri},
  title = {A Theory of Individual-Level Predicates Based on Blind
  		Manditory Scalar Implicatures},
  journal = {Natural Language Semantics},
  year = {2009},
  volume = {17},
  number = {3},
  pages = {245--297},
  topic = {i-level/s-level;scalar-implicature;}
  }

@article{ mahadevan-etal:1993a,
  author = {Sridhar Mahadevan and Tom M. Mitchell and Jack Mostow and
  	Lou Steinberg and Prasad V. Tadepalli},
  title = {An Apprentice-Based Approach to Knowledge Acquisition},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {64},
  number = {1},
  pages = {1--52},
  acontentnote = {Abstract:
     We explore here the feasibility of learning apprentice programs:
     interactive knowledge-based assistants that learn by observing
     and analyzing the problem-solving steps of their users. In
     particular, we describe a learning apprentice for digital
     circuit design, called LEAP.  LEAP learns feasible ways of
     decomposing circuit modules into submodules, as well as the
     recommended method when there are competing feasible
     decompositions.  VBL is an explanation-based learning technique
     used in LEAP to infer problem-reduction operators for
     decomposing circuit modules. PED is a general extension of
     explanation-based learning to incomplete domain theories
     containing determinations. PED is used in LEAP to learn control
     rules for ranking alternative decompositions as well as to
     extend LEAP's partial theory of circuit cost. An experimental
     study shows that by using this approach LEAP can learn a
     significant subset of a manually created knowledge base for
     boolean circuit design. The experimental study also reveals some
     limitations of LEAP, and more generally suggests directions for
     further research in building effective learning apprentice
     systems.
  },
  topic = {machine-learning;learning-apprentices;circuit-design;
  	explanation-based-learning;}
  }

@article{ mahanti-daniels:1993a,
  author = {Ambuj Mahanti and Charles J. Daniels},
  title = {A {SIMD} Approach to Parallel Heuristic Search},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {60},
  number = {2},
  pages = {243--282},
  acontentnote = {Abstract:
     Serial search algorithms often exhibit exponential run times and
     may require an exponential amount of storage as well.  Thus, the
     design of parallel search algorithms with limited memory is of
     obvious interest.  This paper presents an efficient SIMD parallel
     algorithm, called IDPS (for iterative-deepening parallel
     search).  At a broad level IDPS is a parallel version of IDA*.
     While generically we have called our algorithm an IDPS,
     performance of four variants of it has been studied through
     experiments conducted on the well-known test-bed problem for
     search algorithms, namely the Fifteen Puzzle.  During the
     experiments, data were gathered under two different static load
     balancing schemes.  Under the first scheme, an unnormalized
     average efficiency of approximately 3/4 was obtained for 4K, 8K,
     and 16K processors.  Under the second scheme, unnormalized
     average efficiencies of 0.92 and 0.76, and normalized average
     efficiencies of 0.70 and 0.63 were obtained for 8K and 16K
     processors, respectively.  We show (as shown previously only for
     MIMD machines) that for admissible search, high average speedup
     can be obtained for problems of significant size.  We believe
     that this research will enhance AI problem solving using
     parallel heuristic search algorithms.  },
  topic = {heuristics;search;parallel-processing;}
  }

@article{ maher:1984a,
  author = {Patrick Maher},
  title = {Review of \emph{The Enterprise of Knowledge}, by {I}saac
  	{L}evi},
  journal = {Philosophy of Science},
  year = {1984},
  volume = {51},
  number = {4},
  pages = {690--692},
  xref = {Review of levi_i:1980a.},
  topic = {foundations-of-probability;belief-revision;
  	probability-kinematics;}
  }

@inproceedings{ maher:1990a,
  author = {Patrick Maher},
  title = {Acceptance Without Belief},
  booktitle = {{PSA} 1990: Proceedings of the Biennial Meeting of the
	Philosophy of Science Association, Volume 1},
  year = {1990},
  editor = {Arthur Fine and Micky Forbes and Linda Wessels},
  pages = {381--392},
  organization = {Philosophy of Science Association},
  publisher = {Philosophy of Science Association},
  address = {East Lansing, Michigan},
  contentnote = {According to Harper,
  	it shows there are analogs of the lottery paradox for
	probabilistic theories that represent full belief as
	P(A) = 1.},
  rtnote = {In RHT collection.},
  topic = {epistemic-logic;probability-kinematics;belief;}
  }

@book{ maher:1993a,
  author = {Patrick Maher},
  title = {Betting on Theories},
  publisher = {Cambridge University Press},
  year = {1993},
  address = {Cambridge, England},
  topic = {confirmation-theory;}
 }

@article{ maher:2002a,
  author = {Patrick Maher},
  title = {Joyce's Argument for Probabilism},
  journal = {Philosophy of Science},
  year = {2002},
  volume = {69},
  number = {1},
  pages = {29--81},
  xref = {Commentary on: joyce:1999a.},
  topic = {foundations-of-probability;}
  }

@article{ maher:2007a,
  author = {Patrick Maher},
  title = {Explication Defended},
  journal = {Studia Logica},
  year = {2007},
  volume = {86},
  number = {2},
  pages = {331--341},
  topic = {Carnap;explication;philosophical-methodology;}
  }

@article{ maida:1991a,
  author = {Anthony S. Maida},
  title = {Maintaining Mental Models of Agents Who Have Existential
  	Misconceptions},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {50},
  number = {3},
  pages = {331--383},
  topic = {agent-attitudes;reasoning-about-attitudes;agent-modeling;
  	(non)existence;}
  }

@incollection{ maida:1992a,
  author = {Anthony S. Maida},
  title = {Knowledge-Based Requirements for Description-Based
  	Communication},
  booktitle = {{KR}'92. Principles of Knowledge Representation and
  	Reasoning: Proceedings of the Third International Conference},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Bernhard Nebel and Charles Rich and William Swartout},
  pages = {232--243},
  address = {San Mateo, California},
  topic = {kr;kr-course;}
  }

@article{ maida-etal:1989a,
  author = {Anthony S. Maida and Jacques Wainer and Sehyeong Cho},
  title = {A Syntactic Approach to Introspection and Reasoning
  	about the Beliefs of Other Agents},
  journal = {Fundamenta Informaticae},
  year = {1991},
  volume = {15},
  number = {3--4},
  pages = {333--356},
  rtnote = {This volume in RHT collection.},
  topic = {propositional-attitude-ascription;}
 }

@article{ maida-shapiro_sc:1982a1,
  author = {Anthony S. Maida and Stuart C. Shapiro},
  title = {Intensional Concepts in Propositional Semantic Networks},
  journal = {Cognitive Science},
  year = {1982},
  volume = {6},
  pages = {291--330},
  xref = {Republished in Ronald J. Brachman and Hector J. Levesque;
  	Readings in Knowledge Representation; 1995. See
  	maida-shapiro_sc:1982a2.},
  topic = {kr;SNePS;kr-course;}
  }

@incollection{ maida-shapiro_sc:1982a2,
  author = {Anthony S. Maida and Stuart C. Shapiro},
  title = {Intensional Concepts in Propositional Semantic Networks},
  booktitle = {Readings in Knowledge Representation},
  publisher = {Morgan Kaufmann},
  year = {1995},
  editor = {Ronald J. Brachman and Hector J. Levesque},
  address = {Los Altos, California},
  pages = {169--189},
  xref = {First published in Cognitive Science 6; 1982. See
  	maida-shapiro_sc:1982a1.},
  topic = {kr;SNePS;kr-course;}
  }

@inproceedings{ maienborn:1995a,
  author = {Claudia Maienborn},
  title = {Towards a Compositional Semantics for Locative
		Modifiers},
  booktitle = {Proceedings from Semantics and Linguistic Theory {V}},
  year = {1995},
  editor = {Mandy Simons and Teresa Galloway},
  pages = {237--254},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {nl-semantics;adverbs;locative-constructions;}
  }

@article{ maienborn:2002a,
  author = {Claudia Maienborn},
  title = {On the Position and Interpretation of Locative Modifiers},
  journal = {Natural Language Semantics},
  year = {2001},
  volume = {9},
  number = {2},
  pages = {191--240},
  topic = {nl-semantics;locative-constructions;}
  }

@article{ maier_d-etal:2005a,
  author = {David Maier and Alon Halevy and Michael Franklin},
  title = {From Databases to Dataspaces:  A New Abstraction for
  		Information Management},
  journal = {Sigmod Record},
  year = {2005},
  volume = {34},
  number = {4},
  pages = {27--33},
  topic = {dataspaces;information-managnent;}
  }

@incollection{ maier_d-etal:2006a,
  author = {David Maier and Alon Halevy and Michael Franklin},
  title = {Dataspaces: Co-Existence with Heterogeneity},
  booktitle = {{KR}2006: Proceedings, Tenth International Conference on
      Principles of  Knowledge Representation and Reasoning},
  publisher = {AAAI Press},
  year = {2006},
  editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty},
  pages = {3},
  address = {Menlo Park, California},
  topic = {dataspaces;information-managnent;}
  }

@book{ maier_d-warren_ds:1988a,
  author = {David Maier and D.S. Warren},
  title = {Computing With Logic},
  publisher = {Benjamin/Cummings},
  year = {1988},
  address = {Menlo Park, California},
  missinginfo = {A's 1st name},
  topic = {theorem-proving;}
 }

@incollection{ maier_e1:1996a,
  author = {Elisabeth Maier},
  title = {Textual Relations as Part of Multiple Links
     		Between Text Segments},
  booktitle = {Trends in Natural Language Generation, An Artificial
  		Intelligence Perspective, Fourth {E}uropean Workshop,
		{EWNLG} '93, Pisa, Italy, April 28-30, 1993, Selected
		Papers},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = {1036},
  year = {1996},
  editor = {Giovanni Adorni and Michael Zock},
  pages = {68--87},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {nl-generation;discourse-structure;document-structuring;}
  }

@inproceedings{ maier_e1:1996b,
  author = {Elizabeth Maier},
  title = {Context Construction as a Subtask of Dialogue Processing---the
  	{V}erbmobil Case},
  booktitle = {Proceedings of the 11th {T}wente Workshop on Language
  	Technology},
  year = {1996},
  pages = {113--122},
  organization = {University of Twente},
  address = {Entschede},
  missinginfo = {editor, publisher},
  topic = {context;computational-dialogue;}
  }

@book{ maier_e1-etal:1997a,
  editor = {Elisabeth Maier and Marion Mast and Susann LuperFoy},
  title = {Dialogue Processing in Spoken Language Systems: {Ecai}'96
  	Workshop,  {B}udapest, {H}ungary, August 13, 1996},
  publisher = {Springer-Verlag},
  year = {1997},
  address = {Berlin},
  ISBN = {3540631755 (softcover)},
  rtnote = {UMich Media Union Library, QA 76.9 .N38 D51 1997.},
  contentnote = {TC:
     1. Niels Ole Bernsen and  Laila Dybkj{\ae}r and Hans
     		Dybkj{\ae}r, "User Errors in Spoken Human-Machine
		Dialogue"
     2. Nils Dahb\"ack, "Towards a Dialogue Taxonomy"
     3. Detlev Krause, "Using an Interpretation System: Some
     		Observations in Hidden Operator Simulations of
		{VERBMOBIL}"
     4. R.J. Van Vark and J.P.M. de Vreught and L.J.M.
     		Rothkrantz, "Classification of Public Transport
		Information Dialogues Using an Information-Based
		Coding Scheme"
     5. Brigitte Grote et al, "Speech Production in Human-Machine
     		Dialogue: A Natural Language Generation Perspective"
     6. Alon Lavie et al, "Input Segmentation of Spontaneous Speech
     		in {JANUS}: A Speech-To-Speech Translation System"
     7. Mark Seligman and Junko Hosako and Harald Singer, "\'Pause
     		Units' and Analysis of Spontaneous {J}apanese
		Dialogues: Preliminary Studies"
     8. Bernd Tischer, "Syntactic procedures for the detection of
     		Self-Repairs in {G}erman Dialogues", pp.
     9. David R. Traum and Peter A. Heeman, "Development Principles
     		for Dialog-Based Interfaces"
    10. Alicia Abella and Michael K. Brown and Bruce
    		Buntschuh, "Utterance Units in Spoken Dialogue"
    11. James Barnett and Mona Singh, "Designing a Portable Spoken
    		Dialogue System"
    12. Yan Qu et al, "Minimizing Cumulative Error in Discourse
    		Context"
    13. Masahiro Araki and Shuji Doshita, "Automatic Evaluation
    		Environment for Spoken Dialogue Systems"
    13. Donna Gates et al, "End-to-End Evaluation in {JANUS}: A
    		Speech-To-Speech Translation System"
    14. Teresa Sikorski and James F. Allen, "A Task-Based Evaluation
    		of the {TRAIN}-95 Dialogue System"
  },
  topic = {computational-dialogue;}
 }

@incollection{ maier_e1-etal:1997b,
  author = {Elizabeth Maier and Norbert Reithinger and Jan
	Alexandersson},
  title = {Clarification Dialogues as Measure
	to Increase Robustness in a Spoken Dialogue System},
  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 = {33--36},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;clarification-dialogues;}
  }

@incollection{ maier_e1-hovy:1993a,
  author = {Elizabeth Maier and Eduard Hovy},
  title = {Organizing Discourse Structure Relations Using
  	Metafunctions},
  booktitle = {New Concepts in Natural Language Generation},
  publisher = {Pinter Publishers},
  year = {1993},
  editor = {Helmut Horacek and Michael Zock},
  pages = {69--86},
  address = {London},
  topic = {discourse-structure;}
  }

@phdthesis{ maier_e2:2006a,
  author = {Emar Maier},
  title = {Belief in Context: Towards a Unified Semantics of
  		\emph{de re} and {de se} Attitude Reports},
  school = {Radboud Universiteit Nijmegen},
  year = {2006},
  type = {Ph.D. Dissertation},
  address = {Nijmegen},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  topic = {propositional-attitudes;nl-semantics;context;}
 }

@article{ maier_e2:2009a,
  author = {Emar Maier},
  title = {Presupposing Acquaintance:  A Unified Semantics for
  		\emph{de dicto}, \emph{de re} and
		\emph{de se} Belief Reports},
  journal = {Linguistics and Philosophy},
  year = {2009},
  volume = {32},
  number = {5},
  pages = {429--474},
  topic = {propositional-attitudes;individual-attitudes;}
  }

@incollection{ maier_e2-vandersandt:2003a,
  author = {Emar Maier and Rob van der Sandt},
  title = {Denial and Correction in Layered {DRT}},
  booktitle = {Diabruck 2003: Proceedings of the 7th Workshop on the
  	Semantics and Pragmatics of Dialogue},
  publisher = {Universit\"at des Saarlandes},
  year = {2003},
  editor = {Ivana Kruijff-Korbayov\'a and Claudia Kosny},
  pages = {91--98},
  address = {Saarbr\"ucken},
  topic = {discourse;pragmatics;discourse-representation-theory;}
  }

@incollection{ mailhe-prade:2004a,
  author = {Boris Mailh\'e and Henri Prade},
  title = {Updating of a Probabilistic Knowledge Base by Crisp or
  		Fuzzy Transition Rules},
  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 = {338--346},
  address = {Menlo Park, California},
  topic = {belief-revision;possibilistic-logic;}
  }

@article{ mainhardt:2004a,
  author = {Gunther Mainhardt},
  title = {$P$ Versus $NP$ and Computability Theoretic Constructions
  	in Complexity Theory over Open Structures},
  journal = {Journal of Symbolic Logic},
  year = {2004},
  volume = {69},
  number = {1},
  pages = {39--64},
  topic = {P=NP-problem;}
  }

@incollection{ maiorano:1999a,
  author = {Sandra Harabagiu and Stephen Maiorano},
  title = {Knowledge-Lean Coreference Resolution and Its Relation to
  	Textual Cohesion and Coreference},
  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 = {29--38},
  address = {Somerset, New Jersey},
  topic = {anaphora-resolution;discourse-coherence;}
  }

@book{ maital_s:1982a,
  author = {Shlomo Maital},
  title = {Minds, Markets, and Money: Psychological Foundations of
    Economic Behavior},
  publisher = {Basic Books},
  year = {1982},
  address = {New York},
  ISBN = {0465046231},
  rtnote = {UMich Graduate Library, HB74.P8 M341.},
  topic = {behavioral-economics;}
 }

@book{ maital_s-maital_sl:1984a,
  author = {Shlomo Maital and Sharone L. Maital},
  title = {Economic Games People Play},
  publisher = {Basic Books},
  year = {1984},
  address = {New York},
  ISBN = {0465017894},
  rtnote = {UMich Graduate Library, HB144 .M341 1984},
  topic = {behavioral-economics;game-theory;}
 }

@book{ maital_s-maital_sl:1993a,
  editor = {Shlomo Maital and Sharone L. Maital},
  title = {Economics and Psychology},
  publisher = {E. Elgar Publishers},
  year = {1993},
  address = {Aldershot, England},
  ISBN = {1852786930},
  rtnote = {UMich Graduate Library, HB 74 .P8 E331 1993.},
  topic = {microeconomics;psychology;}
 }

@article{ majerik-littman:2003a,
  author = {Stephen J, Majerik and Michael L. Littman},
  title = {Contingent Planning under Uncertainty via Stochastic
  	Satisfiability},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {147},
  number = {1--2},
  pages = {119--162},
  topic = {planning-algorithms;reasoning-about-uncertainty;}
  }

@article{ makinson:1965a,
  author = {David C. Makinson},
  title = {The Paradox of the Preface},
  journal = {Analysis},
  year = {1965},
  volume = {25},
  pages = {25--27},
  xref = {Discussion: hoffman_rc:1968a.},
  topic = {paradox-of-the-preface;}
  }

@article{ makinson:1966a,
  author = {David C. Makinson},
  title = {On Some Completeness Theorems in Modal Logic},
  journal = {Zeitschrift f\"ur {M}athematische {L}ogik und
  	{G}rundlagen der {M}athematik},
  year = {1966},
  volume = {12},
  pages = {379--384},
  missinginfo = {number},
  topic = {modal-logic;completeness-theorems;}
  }

@article{ makinson:1973a,
  author = {David C. Makinson},
  title = {A Warning about the Choice of Primitive Operators in
  	Modal Logic},
  journal = {Journal of Philosophical Logic},
  year = {1973},
  volume = {2},
  number = {2},
  pages = {193--196},
  topic = {modal-logic;}
  }

@unpublished{ makinson:1981a,
  author = {David C. Makinson},
  title = {Individual Actions Are Very Seldom Obligatory},
  year = {1981},
  rtnote = {In RHT collection.  Said to be forthcoming in Journal of
  	Nonclassical Logic, 1982 or 1983.},
  note = {Unpublished manuscript, UNESCO.},
  topic = {deontic-logic;}
  }

@incollection{ makinson:1981b,
  author = {David C. Makinson},
  title = {Quantificational Reefs in Deontic Waters},
  booktitle = {New Studies in Deontic Logic},
  publisher = {D. Reidel Publishing Company},
  year = {1981},
  editor = {Risto Hilpinen},
  pages = {87--91},
  address = {Dordrecht},
  topic = {deontic-logic;}
  }

@article{ makinson:1981c,
  author = {David C. Makinson},
  title = {Non-Equivalent Formulae in One Variable in a Strong
  	Omnitemporal Logic},
  journal = {Zeitschrift f\"ur mathematische {L}ogik und {G}rundlagen
  	der {M}athematik},
  year = {1981},
  volume = {27},
  number = {8},
  pages = {111--112},
  rtnote = {In RHT collection.},
  topic = {temporal-logic;}
  }

@unpublished{ makinson:1981d,
  author = {David C. Makinson},
  title = {Directly Skeptical Conclusions Cannot Capture
  	the Intersection of Extensions},
  year = {1981},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.  Published in JLC?},
  topic = {inheritance-theory;nonmonotonic-reasoning;}
  }

@incollection{ makinson:1981e,
  author = {David C. Makinson},
  title = {Quantificational Reefs in Deontic Waters},
  booktitle = {New Studies in Deontic Logic},
  publisher = {D. Reidel Publishing Company},
  year = {1981},
  editor = {Risto Hilpinen},
  pages = {87--91},
  address = {Dordrecht},
  topic = {deontic-logic;quantifying-in-modality;}
  }

@article{ makinson:1985a,
 author = {David C. Makinson},
 title = {How to Give It Up: A Survey of Some Formal Aspects
		of the Logic of Theory Change},
 journal = {Synt\`hese},
 year = {1985},
 volume = {62},
 pages = {347--363},
 topic = {belief-revision;}
 }

@unpublished{ makinson:1986a,
  author = {David C. Makinson},
  title = {Stenius' Approach to Disjunctive Permission},
  year = {1986},
  rtnote = {In RHT collection.  Note says it is forthcoming in Stenius
  	Festschrift edited by I P\"orn, maybe as special issue Theoria.
	Check reference.},
  note = {Unpublished manuscript, Unesco.},
  topic = {deontic-logic;}
  }

@article{ makinson:1986b,
  author = {David C. Makinson},
  title = {On the Formal Representation of Rights Relations},
  journal = {Journal of Philosophical Logic},
  year = {1986},
  volume = {15},
  number = {4},
  pages = {403--425},
  topic = {deontic-logic;}
  }

@article{ makinson:1987a,
 author = {David C. Makinson},
 title = {On the Status of the Postulate of Recovery in the Logic of
 	Theory Change},
 journal = {Journal of Philosophical Logic},
 year = {1987},
 volume = {16},
 number = {4},
 pages = {383--394},
 topic = {belief-revision;}
 }

@article{ makinson:1988a,
  author = {David C. Makinson},
  title = {Review of \emph{{C}hange in View}, by {G}ilbert {H}arman},
  journal = {History and Philosophy of Logic},
  year = {1988},
  volume = {8},
  pages = {113--115},
  xref = {Review of harman_gh:1986a.},
  topic = {belief-revision;limited-rationality;}
  }

@incollection{ makinson:1989a,
  author = {David C. Makinson},
  title = {General Theory of Cumulative Inference},
  booktitle = {Proceedings of the Second International Workshop
		on Non-Monotonic Reasoning},
  publisher = {Springer-Verlag},
  year = {1989},
  address = {Berlin},
  missinginfo = {Editor, pages},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-logic;}
  }

@unpublished{ makinson:1990a,
  author = {David C. Makinson},
  title = {The {G}\"ardenfors Impossibility Theorem in
  	Non-Monotonic Inference},
  year = {1990},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  topic = {conditionals;belief-revision;update-conditionals;
  	nonmonotonic-reasoning;Ramsey-test;}
  }

@article{ makinson:1993a,
  author = {David C. Makinson},
  title = {Five Faces of Minimality},
  journal = {Studia Logica},
  year = {1993},
  volume = {52},
  pages = {339--379},
  missinginfo = {number},
  topic = {belief-revision;}
  }

@incollection{ makinson:1994a,
  author = {David C. Makinson},
  title = {General Patterns in Nonmonotonic Reasoning},
  booktitle = {Handbook of Logic in Artificial Intelligence
    	         and Logic Programming, Volume 3: Nonmonotonic
		 and Uncertain Reasoning},
  publisher = {Oxford University Press},
  year = {1994},
  editor = {Dov Gabbay and Christopher J. Hogger and J. A. Robinson},
  pages = {35--111},
  address = {Oxford},
  topic = {nonmonotonic-reasoning-survey;}
  }

@incollection{ makinson:1998a,
  author = {David C. Makinson},
  title = {On a Fundamental Problem of Deontic Logic},
  booktitle = {Norms, Logics and Information Systems.  New Studies in
		Deontic Logic and Computer Science},
  publisher = {IOS Press},
  year = {1998},
  editor = {Henry Prakken and Paul McNamara},
  pages = {29--54},
  address = {Amsterdam},
  topic = {deontic-logic;}
  }

@incollection{ makinson-gardenfors:1990a,
 author = {David C. Makinson and Peter G\"ardenfors},
 title = {Relations between the Logic of Theory Change and the
 	Nonmonotonic Logic},
 booktitle = {The Logic of Theory Change},
 year = {1991},
 editor = {Andr\'e Fuhrmann and M. Morreau},
 publisher = {Springer-Verlag},
 address = {Berlin},
 pages = {185--205},
  rtnote = {In RHT collection.},
 topic = {belief-revision;nonmonotonic-logic;}
 }

@unpublished{ makinson-schlechta:1989a,
  author = {David C. Makinson and Karl Sclechta},
  title = {On Some Difficulties in the Theory of Defeasible
  	Inheritance Networks},
  year = {1989},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  xref = {This eventually developed into makinson-schlechta:1991a.},
  topic = {inheritance-theory;}
  }

@article{ makinson-schlechta:1991a,
  author = {David C. Makinson and Karl Sclechta},
  title = {Floating Conclusions and Zombie Paths: Two Deep Difficulties
  	in the `Directly Skeptical' Approach to Defeasible Inheritance
	Networks},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {48},
  number = {2},
  pages = {199--209},
  topic = {inheritance-theory;}
  }

@article{ makinson-vandertorre:2000a,
  author = {David C. Makinson and Leendert van der Torre},
  title = {Input/Output Logics},
  journal = {Journal of Philosophical Logic},
  year = {2000},
  volume = {29},
  number = {4},
  pages = {383--408},
  topic = {conditional-obligation;deontic-logic;nonmonotonic-reasoning;
  	input/output-logics;}
  }

@article{ makinson-vandertorre:2001a,
  author = {David C. Makinson and Leenart van der Torre},
  title = {Constraints for Input/Output Logics},
  journal = {Journal of Philosophical Logic},
  year = {2001},
  volume = {30},
  number = {2},
  pages = {155--185},
  topic = {conditional-obligation;deontic-logic;nonmonotonic-reasoning;
  	input/output-logics;}
  }

@article{ makinson-vandertorre:2003a,
  author = {David Makinson and Leendert van der Torre},
  title = {Permission from an Input/Output Perspective},
  journal = {Journal of Philosophical Logic},
  year = {2003},
  volume = {32},
  number = {3},
  pages = {391--416},
  topic = {input/output-logics;deontic-logics;permission;}
  }

@inproceedings{ makowski:1982a,
  author = {Johann A. Makowski},
  title = {Model Theoretic Issues in Theoretical Computer Science,
		Part {I}: Relational Data Bases and Abstract Data Types},
  booktitle = {Logic Colloquiun '82: Proceedings of the Colloquium
		Held in {F}lorence 23--28 August, 1982},
  year = {1982},
  editor = {G. Lolli and G. Longo and A. Marcja},
  publisher = {North-Holland Publishing Co.},
  address = {Amsterdam},
  missinginfo = {pages   pages = {303--}},
  topic = {abstract-model-theory;abstract-data-types;}
  }

@incollection{ makowski-pnuelli_y:1995a,
  author = {Johann A. Makowski and Yachan B. Pnuelli},
  title = {Computable Quantifiers and Logics over Finite Structures},
  booktitle = {Quantifiers: Logic, Models, and Computation, Vol. 1},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {Micha{\l} Krynicki and Marcin Mostowski and Les{\l}aw W.
  	Szczerba},
  pages = {313--357},
  address = {Dordrecht},
  topic = {generalized-quantifiers;computability;database-queries;}
  }

@incollection{ makowsky:1988a,
  author = {Johann A. Makowsky},
  title = {Mental Images and the Architecture
       		of Concepts},
  booktitle = {The Universal {T}uring Machine: A Half-Century
  	Survey},
  publisher = {Oxford University Press},
  year = {1988},
  editor = {Rolf Herkin},
  pages = {453--465},
  address = {Oxford},
  topic = {language-of-thought;foundations-of-computation;}
  }

@incollection{ maksimova:1994a,
  author = {Lariza L. Maksimova},
  title = {Interpolation Properties of Superintuitionistic, Positive,
  	and Modal Logics},
  booktitle = {Intensional Logic:  Theory and Applications},
  publisher = {The Philosophical Society of Finland},
  year = {1994},
  editor = {Ilkka Niiniluoto and Esa Saarinen},
  pages = {70--78},
  address = {Helsinki},
  topic = {proof-theory;modal-logic;}
  }

@incollection{ maksimova:1995a,
  author = {Larisa L. Maksimova},
  title = {Implicit and Explicit Definability in Modal and Temporal Logics},
  booktitle = {Applied Logic: How, What, and Why?  Logical Approaches to
       Natural Language},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {L\'aszl\'o P\'olos and Michael Masuch},
  pages = {153--159},
  address = {Dordrecht},
  topic = {modal-logic;temporal-logic;}
  }

@incollection{ maksimova:1998a,
  author = {Larisa L. Maksimova},
  title = {Interpolation in Superinituitionistic
     		and Modal Predicate Logics with Equality},
  booktitle = {Advances in Modal Logic, Volume 1},
  publisher = {{CSLI} Publications},
  year = {1998},
  editor = {Marcus Kracht and Maarten de Rijke and Heinrich Wansing},
  pages = {113--140 },
  address = {Stanford, California},
  topic = {modal-logic;intuitionistic-logicl;interpolation-theorems;}
  }

@article{ maksimova:2006a,
  author = {Larisa L. Maksimova},
  title = {Definability and Interpolation in Non-Classical Logics},
  journal = {Studia Logica},
  year = {2006},
  volume = {82},
  number = {2},
  pages = {271--291},
  topic = {intuitionistic-logic;definability;proof-theory;algebraic-logic;
  	modal-logic;interpolation-theorems;}
  }

@incollection{ malament:2008a,
  author = {David Malament},
  title = {Norton's Slippery Slope},
  booktitle = {{PSA}06: Proceedings of the 2006 Biennial Meeting
  	of the Philosophy of Science Association, Part {II}:
	Symposia Papers},
  publisher = {University of Chicago Press},
  year = {2008},
  editor = {Jason Alexander and Cristina Biccieri},
  pages = {799--816},
  address = {Chicago},
  topic = {philosophy-of-physics;(in)determinism;}
  }

@inproceedings{ malamud:1991a,
  author = {Sophia A. Malamud},
  title = {Non)maximality and Distributivity: A Decision Theory Approach},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XVI}},
  year = {1991},
  editor = {Masayuki Gibson and Jonathan Howell},
  publisher = {CLC Publications},
  address = {Ithaca, New York},
  url = {http://research.nii.ac.jp/salt16/proceedings/malamud_salt16.pdf},
  topic = {relevance;interrogatives;vagueness;plural;}
  }

@book{ malcolm:1959a,
  author = {Norman Malcolm},
  title = {Dreaming},
  publisher = {Routledge and Kegan Paul},
  year = {1959},
  address = {London},
  ISBN = {UMich Graduate Library BF1078 .M24},
  xref = {Commentary: putnam_h:1962a1},
  topic = {dreaming;}
 }

@article{ mali:2003a,
  author = {Amol Dattatraya Mali},
  title = {On the Evaluation of Agent Behaviors},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {143},
  number = {1},
  pages = {1--17},
  topic = {robotics;behavior-based-AI;}
  }

@article{ maling:1984a,
  author = {Joan Maling},
  title = {Non-Clause-Bounded Reflexives in Modern {I}celandic},
  journal = {Linguistics and Philosophy},
  year = {1984},
  volume = {7},
  number = {3},
  pages = {211--241},
  topic = {reflexive-constructions;Icelandic-language;nl-syntax;}
  }

@article{ malinowska:2007a,
  author = {Aleksandra Kislak-Malinowska},
  title = {On the Logic of $\beta$-pregroups},
  journal = {Studia Logica},
  year = {2007},
  volume = {87},
  number = {2--3},
  pages = {323--342},
  topic = {pregroups;}
  }

@book{ malle-etal:2001a,
  editor = {Bertram F. Malle and Louis J. Moses and Dare A. Baldwin},
  title = {Intentions and Intentionality},
  publisher = {The {MIT} Press},
  year = {2001},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-13386-5},
  topic = {intention;intentionality;social-cognition;}
 }

@incollection{ malone_jl:1978a,
  author = {Joseph L. Malone},
  title = {Generative-Transformational Studies in {E}nglish
  	Interrogatives},
  booktitle = {Questions},
  publisher = {D. Reidel Publishing Co.},
  year = {1978},
  editor = {Henry Hi\.z},
  pages = {37--85},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {interrogatives;}
  }

@incollection{ malone_tw-etal:1988a,
  author = {T.W. Malone and Richard E. Fikes and K.R. Grant and
  	M.T. Howard},
  title = {Enterprise: A Market-like Task Scheduler
	 for Distributed Computing Environments},
  booktitle = {The Ecology of Computation},
  publisher = {North-Holland},
  year = {1988},
  editor = {Bernardo A. Huberman},
  pages = {177--205},
  address = {Amsterdam},
  topic = {scheduling;distributed-computing;market-oriented-algorithms;}
 }

@unpublished{ maloney_jc:1978a,
  author = {J. Christopher Maloney},
  title = {Perception and the Structure of Propositional Attitudes},
  year = {1978},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Oakland University, Rochester,
  	Michigan.},
  topic = {propositional-attitudes;logic-of-perception;}
  }

@article{ maloney_jc:1984a,
  author = {J. Christopher Maloney},
  title = {The Mundane Mental Language: How to Do Things with
  	Words},
  journal = {Synth\'ese},
  year = {1984},
  volume = {59},
  number = {3},
  pages = {251--294},
  topic = {mental-representations;}
  }

@article{ maloof-michalski:2004a,
  author = {Marcus A. Maloof and Ryszard S. Michalski},
  title = {Incremental Learning with Partial Instance Memory},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {154},
  number = {1--2},
  pages = {95--126},
  topic = {machine-learning;}
  }

@incollection{ maloor-chai_j:2000a,
  author = {Preetam Maloor and Joyce Chai},
  title = {Dynamic User Level and Utility Measurement for Adaptive
  		Dialog in a Help-Desk System},
  booktitle = {Proceedings of the First {SIGdial} Workshop on Discourse
  	and Dialogue},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Laila Dybkjaer and Koiti Hasida and David R. Traum},
  pages = {94--101},
  address = {Somerset, New Jersey},
  topic = {computational-dialogue;user-modeling;help-systems;}
  }

@article{ malouf:2007a,
  author = {Robert Malouf},
  title = {Maximal Consistent Subsets},
  journal = {Computational Linguistics},
  year = {2007},
  volume = {33},
  number = {2},
  pages = {153--160},
  topic = {default-unification;complexity-in-AI;}
  }

@incollection{ malpas:1965a,
  author = {Richard M.P. Malpas},
  title = {The Location of Sound},
  booktitle = {Analytical Philosophy, Second Series},
  publisher = {Basil Blackwell},
  year = {1965},
  editor = {Ronald J. Butler},
  pages = {131--144},
  address = {Oxford},
  topic = {auditory-perception;}
  }

@book{ maluszynski:1997a,
  editor = {Jan Maluszynski},
  title = {Logic Programming: Proceedings of the 1997 International
  	Symposium},
  publisher = {The {MIT} Press},
  year = {1997},
  address = {Cambridge, Massachusetts},
  ISBN = {0262631806},
  rtnote = {UMich Media Union Library, QA 76.63 .L637 1997.},
  topic = {logic-programming;}
 }

@incollection{ malzahn-etal:2005a,
  author = {Nils Malzahn and Sam Zeini and Andreas Harrer},
  title = {Ontology Facilitated Community Navigation---Who Is
  	Interesting for What I am Interested In?},
  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 = {292--303},
  address = {Berlin},
  topic = {context;computational-ontology;social-networks;}
  }

@article{ malzen:1998a,
  author = {S. Malzen},
  title = {The Knower Paradox and Epistemic Closure},
  journal = {Synth\'ese},
  year = {1998},
  volume = {114},
  pages = {337--354},
  missinginfo = {number, A's 1st name},
  topic = {propositional-attitudes;hyperintensionality;
  	syntactic-attitudes;}
  }

@incollection{ manara-deroeck:1997a,
  author = {Lucia H. B. Manara and Anne de Roeck},
  title = {A Belief-Centered Treatment of Pragmatic Presupposition},
  booktitle = {{LACL}'96: First International Conference on
      Logical Aspects of Computational Linguistics},
  publisher = {Springer-Verlag},
  year = {1997},
  editor = {Christian Retor/'e},
  pages = {274--291},
  address = {Berlin},
  topic = {logic-and-computational-linguistics;presuposition;
		pragmatics;}
  }

@article{ manasterramer:1987a,
  author = {Alexis Manaster-Ramer},
  title = {Dutch as a Formal Language},
  journal = {Linguistics and Philosophy},
  year = {1987},
  volume = {10},
  number = {2},
  pages = {221--246},
  topic = {formal-language-theory;nl-syntax;}
  }

@article{ manasterramer:1991a,
  author = {Alexis Manaster-Ramer},
  title = {Vacuity},
  journal = {Linguistics and Philosophy},
  year = {1991},
  volume = {14},
  number = {3},
  pages = {339--348},
  xref = {Commentary on pelletier:1988a.},
  topic = {nl-syntax;formal-language-theory;}
  }

@article{ manasterramer-kac:1990a,
  author = {Alexis Manaster-Ramer and Michael B. Kac},
  title = {The Concept of Phrase Structure},
  journal = {Linguistics and Philosophy},
  year = {1990},
  volume = {13},
  number = {3},
  pages = {325--362},
  topic = {foundations-of-syntax;}
  }

@article{ mancini-cadoli_m:2007a,
  author = {Toni Mancini and Marco Cadoli},
  title = {Exploiting Functional Dependencies in Declarative Problem
  		Specifications},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {16--17},
  pages = {985--101},
  topic = {constraint-satisfaction;higher-order-logic;}
  }

@incollection{ mancosu-etal:2009a,
  author = {Paolo Mancosu and Richard Zach and Calixto Badesa},
  title = {The Development of Mathematical Logic from {R}ussell
		to {T}arski, 1900--1935},
  booktitle = {The Development of Modern Logic},
  publisher = {Oxford University Press},
  year = {2009},
  editor = {Leila Haaparanta},
  pages = {318--470},
  address = {Oxford},
  topic = {history-of-logic;Hilbert;Russell;lowenheim-skolem-theorem;
  	Gentzen;Goedel;Tarski;}
  }

@incollection{ mandala:1998a,
  author = {Rila Mandala and Takenobu Tokunaga and Hozumi Tanaka},
  title = {The Use of {W}ord{N}et in Information Retrieval},
  booktitle = {Use of {W}ord{N}et in Natural Language Processing
  	Systems:  Proceedings of the Conference},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Sanda Harabagiu},
  pages = {31--37},
  address = {Somerset, New Jersey},
  topic = {nl-processing;WordNet;information-retrieval';}
  }

@unpublished{ manders:1985a,
  author = {Kenneth L. Manders},
  title = {Logic and Conceptual Relations in Mathematics},
  year = {1985},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Philosophy Department, University of
  	Pittsburgh.},
  topic = {philosophy-of-mathematics;}
  }

@unpublished{ manders:1986a,
  author = {Kenneth L. Manders},
  title = {The Role of Concepts in Mathematical Knowledge},
  year = {1986},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Philosophy Department, University of
  	Pittsburgh.},
  topic = {philosophy-of-mathematics;}
  }

@techreport{ manders-daley:1983a,
  author = {Kenneth L. Manders and Robert F. Daley},
  title = {The Complexity of the Validity Problem fo Dynamic Logic},
  institution = {Department of Mathematics, University of Utrecht},
  number = {282},
  year = {1983},
  address = {Utrecht, The Netherlands},
  rtnote = {In RHT collection.},
  topic = {complexity-theory;dynamic-logic;}
  }

@article{ mani:1996a,
  author = {Inderjeet Mani},
  title = {Review of \emph{{M}achine Translation and the Lexicon},
  	edited by {P}etra {S}teffans},
  journal = {Computational Linguistics},
  year = {1996},
  volume = {22},
  number = {2},
  pages = {271--273},
  xref = {Review of steffans:1996a.},
  topic = {machine-translation;computational-lexicography;}
  }

@incollection{ mani:1998a,
  author = {Inderjeet Mani},
  title = {A Theory of Granularity and its Application to the
		Problem of Polysemy and Underspecification of Meaning},
  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 = {245--255},
  address = {San Francisco, California},
  topic = {kr;granularity;kr-course;}
  }

@book{ mani:2001a,
  author = {Inderjeet Mani},
  title = {Automatic Summarization},
  publisher = {J. Benjamins Pub. Co.},
  year = {2001},
  address = {Amsterdam},
  ISBN = {1588110591},
  rtnote = {UMich Media Union Library, No call number available.},
  topic = {text-summary;}
 }

@book{ mani-etal:2005a,
  editor = {Inderjeet Mani and James Pustejovsky and Rob Gaizaukas},
  title = {The Language of Time:  A Reader},
  publisher = {Oxford University Press},
  year = {2005},
  address = {Oxford},
  ISBN = {0-19-926854-1},
  xref = {Review: blackburn_p:2006a},
  topic = {temporal-discourse;temporal-reasoning;temporal-representation;
  		tense-aspect;}
 }

@book{ mani-maybury_mt:1999a,
  editor = {Inderjeet Mani and Mark T. Maybury},
  title = {Advances in Automatic Text Summarization},
  publisher = {The {MIT} Press},
  year = {1999},
  address = {Cambridge, Massachusetts},
  ISBN = {0262133598},
  rtnote = {UMich Graduate Library Z695.92 A38 1999},
  topic = {text-summarization;}
 }

@book{ manktelow-over:1993a,
  editor = {K. Manktelow and D.E. Over},
  title = {Rationality},
  publisher = {Routledge},
  year = {1993},
  address = {London},
  topic = {rationality;}
 }

@article{ manley:2002a,
  author = {David Manley},
  title = {Properties and Resemblance Classes},
  journal = {No\^us},
  year = {2002},
  volume = {36},
  number = {1},
  pages = {75--96},
  topic = {similarity;nominalism;properties;}
  }

@article{ manley-wasserman_r:2007a,
  author = {David Manley and Ryan Wasserman},
  title = {A Gradable Approach to Dispositions},
  journal = {The Philosophical Quarterly},
  year = {2007},
  volume = {57},
  number = {226},
  pages = {68--75},
  rtnote = {In RHT collection.  Research files.},
  topic = {dispositions;}
  }

@article{ manley-wasserman_r:2008a,
  author = {David Manley and Ryan Wasserman},
  title = {On Linking Dispositions with Conditionals},
  journal = {Mind},
  year = {2008},
  volume = {117},
  number = {465},
  pages = {59--84},
  rtnote = {In RHT collection.  File drawers.},
  topic = {dispositions;conditionals;}
  }

@inproceedings{ mann_g-yarowsky:2005a,
  author = {Gideon Mann and David Yarowsky},
  title = {Multi-Field Information Extraction and Cross-Document Fusion},
  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 = {483--490},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1060},
  topic = {information-extraction;machine-learning;}
  }

@article{ mann_w-varzi:2006a,
  author = {Wolfgang Mann and Achile Varzi},
  title = {Forward (to a Special Issue on Parts and Wholes)},
  journal = {The Journal of Philosophy},
  year = {2006},
  volume = {103},
  number = {1},
  pages = {593--596},
  topic = {mereology;}
  }

@incollection{ mann_wc:2002a,
  author = {William C. Mann},
  title = {Dialogue Analysis for Diverse Situations},
  booktitle = {{EDILOG} 2002: Proceedings of the Sixth Workshop on the
  	Semantics and Pragmatics of Dialogue},
  publisher = {Cognitive Science Centre, University of Edinburgh},
  year = {2002},
  editor = {Johan Bos and Mary Ellen Foster and Colin Mathesin},
  pages = {109--116},
  address = {Edinburgh},
  topic = {discourse-tagging;}
  }

@incollection{ mann_wc:2002b,
  author = {William C. Mann},
  title = {Dialogue Macrogame Theory},
  booktitle = {Third {SIGdial} Workshop on Discourse and Dialogue:
  		Proceedings of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {2002},
  editor = {Kristina Jokinen and Susan McRoy},
  pages = {129--141},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;discourse-structure;}
  }

@techreport{ mann_wc-etal:1989a,
  author = {William C. Mann and Christian M.I.M. Matthiessen and
  	Sandra A. Thompson},
  title = {Rhetorical Structure Theory:  Towards a Functional Theory
  	of Text Organization},
  institution = {Information Sciences Institute},
  number = {ISI/RR--89-242},
  year = {1989},
  address = {Marina del Rey, California},
  rtnote = {In RHT collection.},
  topic = {discourse-structure;pragmatics;}
  }

@incollection{ mann_wc-matthiessen:1985a,
  author = {William C. Mann and Christian M. Matthiessen},
  title = {A Demonstration of the {Nigel} Text Generation Computer
  	Program},
  booktitle = {Systemic Perspectives on Discourse: Selected Papers
  	From the Ninth International Systemics Workshop},
  year = {1985},
  editor = {R. Benson and J. Greaves},
  publisher = {Ablex, London},
  pages = {50--83},
  notes = {Also available as USC/ISI Research Report RR-83-105},
  topic = {nl-generation;}
}

@article{ mann_wc-moore_ja:1981a,
  author = {William C. Mann and  James A. Moore},
  title = {Computer Generation of Multiparagraph {E}nglish Text},
  journal = {American Journal of Computational Linguistics},
  year = {1981},
  volume = {17},
  number = {1},
  pages = {17--29},
  topic = {nl-generation;discourse-planning;pragmatics;}
}

@article{ mann_wc-thompson_s:1986a,
  author = {William C. Mann and Sandra Thompson},
  title = {Relational Propositions in Discourse},
  journal = {Discourse Processes},
  year = {1986},
  volume = {9},
  number = {1},
  pages = {57--90},
  topic = {discourse-structure;pragmatics;}
  }

@article{ mann_wc-thompson_s:1988a,
  author = {William C. Mann and Sandra A. Thompson},
  title = {Rhetorical Structure Theory:  Towards a Functional Theory
  	of Text Organization},
  journal = {Text},
  year = {1988},
  volume = {8},
  number = {3},
  pages = {243--281},
  rtnote = {Reading notes on file.},
  topic = {discourse-structure;pragmatics;}
  }

@article{ manna:1970a,
  author = {Zohar Manna},
  title = {The Correctness of Nondeterministic Programs},
  journal = {Artificial Intelligence},
  year = {1970},
  volume = {1},
  number = {1--2},
  pages = {1--26},
  acontentnote = {Abstract:
     In this paper we formalize properties of nondeterministic
     programs by means of the satisfiability and validity of formulas
     in first-order logic.  Our main purpose is to emphasize the
     great variety of possible applications of the results,
     especially for solving problems of the kind: ``Find a sequence
     of actions that will achieve a given goal.''  },
  topic = {program-verification;}
  }

@incollection{ manna-etal:1991a,
  author = {Zohar Manna and Mark Stickel and Richard Waldinger},
  title = {Monotonicity Properties in Automated Deduction},
  booktitle = {Artificial Intelligence and Mathematical Theory of
  	Computation},
  publisher = {Academic Press},
  year = {1991},
  editor = {Vladimir Lifschitz},
  pages = {247--280},
  address = {San Diego},
  topic = {theorem-proving;}
  }

@book{ manna-pnueli:1992a,
  author = {Zohar Manna and Amir Pnueli},
  title = {The Temporal Logic of Reactive and Concurrent Systems},
  publisher = {Springer-Verlag},
  year = {1992},
  address = {Berlin},
  rtnote = {COMPUTER SCI LIB QA76.6 M3564 1992},
  topic = {concurrency;temporal-logic;program-verification;}
 }

@article{ manna-waldinger:1975a,
  author = {Zohar Manna and Richard Waldinger},
  title = {Knowledge and Reasoning in Program Synthesis},
  journal = {Artificial Intelligence},
  year = {1975},
  volume = {6},
  number = {2},
  pages = {175--208},
  topic = {program-synthesis;}
  }

@article{ manna-waldinger:1980a1,
  author = {Zohar Manna and Richard Waldinger},
  title = {A Deductive Approach to Program Synthesis},
  journal = {{ACM} Transactions on Programming Languages and
  	Systems},
  year = {1980},
  volume = {2},
  number = {1},
  pages = {120--121},
  xref = {Republication: manna-waldinger:1980a2.},
  topic = {automatic-programming;}
  }

@incollection{ manna-waldinger:1980a2,
  author = {Zohar Manna and Richard Waldinger},
  title = {A Deductive Approach to Program Synthesis},
  booktitle = {Readings in Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  year = {1981},
  editor = {Bonnie Webber and Nils J. Nilsson},
  pages = {141--172},
  address = {Los Altos, California},
  xref = {Journal Publication: manna-waldinger:1980a1.},
  topic = {automatic-programming;}
  }

@incollection{ manna-waldinger:1986a,
  author = {Zohar Manna and Richard Waldinger},
  title = {A Theory of Plans},
  booktitle = {Reasoning about Actions and Plans},
  publisher = {Morgan Kaufmann},
  year = {1986},
  editor = {Michael P. Georgeff and Amy Lansky},
  pages = {11--45},
  address = {Los Altos, California},
  contentnote = {Idea is to look at planning as automated deduction.
    Uses "situational logic", by which I think they mean extensions
    of the situation calculus.  There is a resolution algorithm.},
  topic = {planning;theorem-proving;}
  }

@book{ manninen-tuomela:1976a,
  editor = {Juha Manninen and Raimo Tuomela},
  title = {Essays on Explanation and Understanding: Studies in the
  	Foundations of Humanities and Social Sciences},
  publisher = {D. Reidel Publishing Co},
  year = {1976},
  address = {Dordrecht},
  ISBN = {9027705925},
  rtnote = {UMich Graduate Library BD241.E78},
  topic = {explanation;philosophical-logic;causality;
  	philosophy-of-social-science;}
 }

@unpublished{ manning:1995a,
  author = {Christopher Manning},
  title = {Capturing Dissociations Between Functor Argument Structure
  	and Surface Structure:  {HPSG}, {LFG} and Categorial Approaches},
  year = {1995},
  month = {October},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript.},
  topic = {HPSG;nl-syntax;}
  }

@book{ manning:1996a,
  author = {Christopher Manning},
  title = {Argument Structure and Grammatical Relations},
  publisher = {Cambridge University Press},
  year = {1996},
  address = {Cambridge, England},
  topic = {argument-structure;grammatical-relations;}
 }

@incollection{ manning:1998a,
  author = {Christopher D. Manning},
  title = {The Segmentation Problem in Morphology Learning},
  booktitle = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {David M.W. Powers},
  pages = {299--305},
  address = {Somerset, New Jersey},
  topic = {morphology-acquisition;machine-learning;morphology;}
  }

@book{ manning-schutze_h:1999a,
  author = {Christopher D. Manning and Hinrich Sch\"utze},
  title = {Foundations of Statistical Natural Language Processing},
  publisher = {The {MIT} Press},
  year = {1999},
  address = {Cambridge, Massachusetts},
  xref = {Review by Richard Evans, LINGUIST List: Vol-10-1349.},
  topic = {statistical-nlp;}
 }

@article{ mannor-shanna:2007a,
  author = {Shie Mannor and Jeff S. Shanna},
  title = {Multi-Agent Learning for Engineers},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {7},
  pages = {417--422},
  topic = {multiagent-learning;multiagent-systems;}
  }

@article{ manor:1974a,
  author = {Ruth Manor},
  title = {A Semantic Analysis of Conditional Assertion},
  journal = {Journal of Philosophical Logic},
  year = {1974},
  volume = {3},
  number = {1--2},
  pages = {37--52},
  topic = {conditional-assertion;}
  }

@inproceedings{ mantha:1994a,
  author = {Surya Mantha},
  title = {Towards a Logical Foundation for Qualitative Decision Theory},
  booktitle = {Working Notes of the Symposium on Decision-Theoretic
  	Planning},
  year = {1994},
  editor = {Steve Hanks and Stuart Russell and Michael P. Wellman},
  pages = {169--174},
  missinginfo = {organization, publisher},
  topic = {qualitative-utility;}
  }

@book{ mantovani:1996a,
  author = {Giuseppe Mantovani},
  title = {New Communication Environments: From Everyday to Virtual},
  publisher = {Taylor \& Francis},
  year = {1996},
  address = {London},
  ISBN = {0748403957},
  rtnote = {UMich Graduate Library, P 96 .T42 M358 1996.},
  topic = {HCI;}
 }

@book{ manzano:1995a,
  author = {Maria Manzano},
  title = {Extensions of First-Order Logic},
  publisher = {Cambridge University Press},
  year = {1995},
  address = {Cambridge, England},
  xref = {Review: olbach:1998a.},
  topic = {higher-order-logic;many-sorted-logic;modal-logic;}
 }

@article{ manzini_g:1995a,
  author = {Giovanni Manzini},
  title = {{BIDA*}: An Improved Perimeter Search Algorithm},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {75},
  number = {2},
  pages = {347--360},
  acontentnote = {Abstract:
     In this paper we present a new bidirectional heuristic search
     algorithm.  Our algorithm can be viewed as a perimeter search
     algorithm, and it uses a new technique for reducing the number
     of heuristic evaluations.
      We also prove some general results on the behavior of iterative
     deepening perimeter search algorithms, and we discuss some new
     ``lazy evaluation'' techniques for improving their performance.
      The theoretical and experimental results show that perimeter
     search algorithms outperform the other bidirectional algorithms,
     and we believe it is worthwhile to give them a deep look in
     subsequent research.  },
  topic = {search;}
  }

@article{ mao_j:1970a,
  author = {J. Mao},
  title = {Survey of Capital Budgeting: Theory and Practice},
  journal = {Journal of Finance},
  year = {1970},
  volume = {25},
  pages = {349--360},
  missinginfo = {A's 1st name, number},
  topic = {management-science;}
  }

@article{ mar-stdenis:1999a,
  author = {Gary Mar and Paul St. Denis},
  title = {What the {L}iar Taught {A}chilles},
  journal = {Journal of Philosophical Logic},
  year = {1999},
  volume = {28},
  number = {1},
  pages = {29--46},
  topic = {paradoxes-of-motion;semantic-paradoxes;paradoxes;}
  }

@incollection{ marakakis-gallagher:1994a,
  author = {E. Marakakis and John P. Gallagher},
  title = {Schema-Based Top-Down Design of Logic Programs Using
  		Abstract Data Types},
  booktitle = {Logic Programming Synthesis and Transformation,
  	Meta-Programming in Logic: Fourth International Workshops,
	{LOBSTR}'94 and	{META}'94, Pisa, Italy},
  publisher = {Springer-Verlag},
  year = {1994},
  editor = {Laurent Fribourg and Franco Turini},
  pages = {138--153},
  address = {Berlin},
  topic = {logic-program-synthesis;}
  }

@incollection{ maratson:1978a,
  author = {Michael Maratson},
  title = {New Models in Linguistics and Language Acquisition},
  booktitle = {Linguistic Theory and Psychological Reality},
  publisher = {The {MIT} Press},
  year = {1978},
  editor = {Morris Halle and Joan Bresnan and George A. Miller},
  pages = {246--263},
  address = {Cambridge, Massachusetts},
  topic = {L1-acquisition;}
  }

@book{ march-olsen_jp:1976a,
  author = {James G. March and J.P. Olsen},
  title = {Ambiguity and Choice in Organizations},
  publisher = {Universitetsforlaget},
  year = {1976},
  address = {Bergen, Norway},
  missinginfo = {A's 1st name.},
  topic = {management-science;decision-making;}
 }

@article{ march-shapira:1987a,
  author = {J.G. March and Z. Shapira},
  title = {Managerial Perspectives on Risk and Risk Taking},
  journal = {Management Science},
  year = {1987},
  volume = {33},
  pages = {1404--1418},
  missinginfo = {A's 1st name, number},
  topic = {risk;management-science;}
  }

@article{ march-shapira:1992a,
  author = {J. March and Z. Shapira},
  title = {Variable Preferences and the Focus of Attention},
  journal = {Psychological Review},
  year = {1992},
  volume = {99},
  pages = {172--183},
  missinginfo = {A's 1st name, number},
  topic = {decision-making;preference;}
  }

@book{ march-simon_ha:1958a,
  author = {James G. March and Herbert A. Simon},
  title = {Organizations},
  publisher = {John Wiley and Sons},
  year = {1958},
  address = {New York},
  topic = {management-science;decision-making;}
 }

@book{ marchand_h:1969a,
  author = {Hans Marchand},
  title = {The Categories and Types of Present-Day {E}nglish
  	Word-Formation},
  publisher = {Beck},
  year = {1969},
  address = {M\"unchen},
  edition = {2},
  rtnote = {pp. 1--80 in RHT collection.},
  topic = {derivational-morphology;descriptive-grammar;English-language;}
 }

@book{ marchionini:1995a,
  author = {Gary Marchionini},
  title = {Information Seeking In Electronic Environments},
  publisher = {Cambridge University Press},
  year = {1995},
  address = {Cambridge, England},
  ISBN = {0521443725 (hardback)},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 M381 1995.},
  topic = {information-retrieval;}
 }

@book{ marciniak:1994a,
  editor = {John J. Marciniak},
  title = {Encyclopedia of Software Engineering},
  publisher = {John Wiley and Sons},
  year = {1994},
  address = {New York},
  ISBN = {0471540048},
  rtnote = {UMich Media Union Library, QA 76.758 .E531 1994.},
  topic = {software-engineering;}
 }

@incollection{ marciniak-strube:2004a,
  author = {Tomasz Marciniak and Michael Strube},
  title = {Classification-Based Generation Using {TAG}},
  booktitle = {Natural Language Generation: Third International
	Conference, INLG 2004},
  publisher = {Springer-Verlag},
  year = {2004},
  editor = {Anja Belz and Roger Evans and Paul Piwek},
  pages = {100--109},
  address = {Berlin},
  topic = {nl-generation;TAG-grammar;}
  }

@article{ marciniec:1997a,
  author = {Jacek Marciniec},
  title = {Infinite Set Unification With Application to Categorial
  	Grammar},
  journal = {Studia Logica},
  year = {1997},
  volume = {58},
  number = {3},
  pages = {339--355},
  topic = {categorial-grammar;unification-of-FSs;}
  }

@incollection{ marciniec:1997b,
  author = {Jacek Marciniec},
  title = {Connected Sets of Types and
           Categorial Consequence},
  booktitle = {{LACL}'96: First International Conference on
      Logical Aspects of Computational Linguistics},
  publisher = {Springer-Verlag},
  year = {1997},
  editor = {Christian Retor/'e},
  pages = {292--309},
  address = {Berlin},
  topic = {logic-and-computational-linguistics;}
  }

@book{ marco:1995a,
  editor = {Pier Marco},
  title = {Temporal Reference, Aspect and Actionality},
  publisher = {Rosenberg \& Sellier},
  year = {1995},
  address = {Torino},
  ISBN = {8870116379},
  rtnote = {UMich Graduate Library, P 281 .T46 1995},
  topic = {tense-aspect;}
 }

@article{ marconi:1995a,
  author = {Diego Marconi},
  title = {On the Structure of Lexical Competence},
  journal = {Proceedings of the {A}ristotelian Society},
  year = {1995},
  volume = {95},
  note = {Supplementary Series.},
  pages = {131--150},
  topic = {lexical-semantics;philosophy-of-language;}
 }

@book{ marconi:1997a,
  author = {Diego Marconi},
  title = {Lexical Competence},
  publisher = {The {MIT} Press},
  year = {1997},
  address = {Cambridge, Massachusetts},
  rtnote = {Hillman P325.5 L48M37 1997.},
  topic = {lexical-semantics;philosophy-of-language;}
 }

@inproceedings{ marcu:1996a,
  author = {Daniel Marcu},
  title = {Building Up Rhetorical Structure Trees},
  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 = {1069--1074},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {discourse-structure;}
  }

@inproceedings{ marcu:1997a,
  author = {Daniel Marcu},
  title = {Perlocutions:  The {A}chilles' Heel of Speech Act Theory},
  booktitle = {Working Notes: {AAAI} Fall Symposium on Communicative
		Action in Humans and Machines},
  year = {1997},
  pages = {51--58},
  organization = {{AAAI}},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  editor = {David R. Traum},
  rtnote = {In RHT collection.},
  topic = {speech-acts;persuasive-discourse;pragmatics;}
  }

@inproceedings{ marcu:1997b,
  author = {Daniel Marcu},
  title = {From Discourse Structures to Text Summaries},
  booktitle = {The Proceedings of the ACL'97/EACL'97 Workshop on
  	Intelligent Scalable Text Summarization},
  year = {1997},
  editor = {Regina Barzilay and Michael Elhadad},
  pages = {82--88},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {discourse-structure;text-summary;}
  }

@inproceedings{ marcu:1997c,
  author = {Daniel Marcu},
  title = {The Rhetorical Parsing of Unrestricted Natural Language
  	Texts},
  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 = {96--103},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {discourse-structure;discourse-cue-words;nl-processing;}
 }

@inproceedings{ marcu:1997d,
  author = {Daniel Marcu},
  title = {From Local to Global Coherence: A Bottom-up Approach to
  	Text Planning},
  booktitle = {Proceedings of the Fourteenth National Conference on
              Artificial Intelligence and the Ninth Innovative
	      Applications of Artificial Intelligence  Conference},
  year = {1998},
  editor = {Benjamin J. Kuipers and Bonnie Webber},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  pages = {629--635},
  rtnote = {In RHT collection.},
  topic = {nl-generation;document-planning;}
  }

@incollection{ marcu:1998a,
  author = {Daniel Marcu},
  title = {A Surface-Based Approach to Identifying
		Discourse-Markers and Elementary Textual Units},
  booktitle = {Discourse Relations and Discourse Markers:  Proceedings
  	of the Conference},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Manfred Stede and Leo Wanner and Eduard Hovy},
  pages = {1--7},
  address = {Somerset, New Jersey},
  topic = {discourse-cue-words;discourse-structure;
  	empirical-methods-in-discourse;}
  }

@article{ marcu:2000a,
  author = {Daniel Mar\c{c}u},
  title = {The Rhetorical Parsing of Unrestricted texts: A
  	Surface-Based Approach},
  journal = {Computational Linguistics},
  year = {2000},
  volume = {26},
  number = {3},
  pages = {395--448},
  topic = {discourse-structure;parsing-algorithms;cur-phrases;}
  }

@incollection{ marcu-etal:1999a,
  author = {Daniel Marcu and Estibaliz Amorrortu and Magdalena
     		Romera},
  title = {Experiments in Constructing a Corpus of
		Discourse Trees},
  booktitle = {Towards Standards and Tools for Discourse Tagging:
  	Proceedings of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {1999},
  editor = {Marilyn Walker},
  pages = {48--57},
  address = {Somerset, New Jersey},
  topic = {discourse-tagging;discourse-structure;}
  }

@book{ marcus_d:1998a,
  author = {Daniel Marcus},
  title = {Combinbatorics: A Problem Oriented Approach},
  publisher = {The Mathematical Association of America},
  year = {1998},
  address = {Washington, DC},
  ISBN = {0-88385-710-3},
  topic = {combinatorics;}
 }

@book{ marcus_m:1980a,
  author = {Mitch Marcus},
  title = {A Theory of Syntactic Recognition for Natural Language},
  publisher = {The {MIT} Press},
  year = {1980},
  address = {Cambridge, Massachusetts},
  topic = {parsing-algorithms;parsing-psychology;}
 }

@article{ marcus_rb:1964a,
  author = {Ruth Barcan Marcus},
  title = {Essential Attribuition},
  journal = {The Journal of Philosophy},
  year = {1964},
  volume = {62},
  number = {24},
  pages = {187--202},
  topic = {individuation;essentialism;}
  }

@article{ marcus_rb:1980a,
  author = {Ruth Barcan Marcus},
  title = {Moral Dilemmas and Consistency},
  journal = {The Journal of Philosophy},
  year = {1980},
  volume = {77},
  number = {3},
  pages = {121--136},
  topic = {moral-conflict;deontic-logic;}
  }

@article{ marcus_rb:1981a,
  author = {Ruth Barcan Marcus},
  title = {A Proposed Solution to the Puzzle about Belief},
  journal = {Midwest Studies in Philosophy},
  year = {1981},
  volume = {6},
  pages = {505--510},
  topic = {belief;Pierre-puzzle;}
  }

@article{ marcus_rb:1983a,
  author = {Ruth Barcan Marcus},
  title = {Rationality and Believing the Impossible},
  journal = {Journal of Philosophy},
  year = {1983},
  volume = {80},
  pages = {321--338},
  missinginfo = {number},
  topic = {hyperintensionality;belief;}
  }

@book{ marcus_rb:1993a,
  author = {Ruth Barcan Marcus},
  title = {Modalities: Philosophical Essays},
  publisher = {Oxford University Press},
  year = {1993},
  address = {Oxford},
  ISBN = {0195076982},
  rtnote = {UMich Graduate Library, BD 111 .M441 1993.},
  topic = {modal-logic;}
 }

@book{ marcus_rb-etal:1986a,
  editor = {Ruth Barcan Marcus and Georg J.W. Dorn and Paul Weingartner},
  title = {Logic, Methodology, and Philosophy Of Science, {VII}:
  	Proceedings of the Seventh International Congress of Logic,
	Methodology, and Philosophy of Science, Salzburg, 1983},
  publisher = {North-Holland},
  year = {1986},
  address = {Amsterdam},
  ISBN = {0444876561},
  rtnote = {UMich Science, Q174 .I63 1983.},
  topic = {philosophy-of-science;}
}

@article{ marcus_s1:1993a,
  author = {Sandra Marcus},
  title = {Review of \emph{{A} Practical Guide to Knowledge Acquisition},
  	by A. Carlisle Scott and Jan E. Clayton and
  	Elizabeth L. Gibson},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {60},
  number = {1},
  pages = {167--170},
  xref = {Review of scott_ac-etal:1991a.},
  topic = {knowledge-acquisition;}
  }

@article{ marcus_s1-mcdermott_j1:1989a,
  author = {Sandra Marcus and John McDermott},
  title = {{SALT}: A Knowledge Acquisition Language for
  	Propose-and-Revise Systems},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {39},
  number = {1},
  pages = {1--37},
  acontentnote = {Abstract:
     SALT is a knowledge acquisition tool for generating expert
     systems that can use a propose-and-revise problem-solving
     strategy.  The SALT-assumed method incrementally constructs an
     initial design by proposing values for design parameters,
     identifying constraints on design parameters as the design
     develops and revising decisions in response to detection of
     constraint violations in the proposal.  This problem-solving
     strategy provides the basis for SALT's knowledge representation.
     SALT uses its knowledge of the intended problem-solving strategy
     in identifying relevant domain knowledge, in detecting
     weaknesses in the knowledge base in order to guide its
     interrogation of the domain expert, in generating an expert
     system that can perform the task and explain its line of
     reasoning, and in analyzing test case coverage.  The strong
     commitment to problem-solving strategy which gives SALT its
     power also defines its scope.  },
  topic = {knowledge-acquisition;knowledge-base-integrity;}
  }

@incollection{ marcus_s2:1997a,
  author = {Solomon Marcus},
  title = {Contextual Grammars and Natural Languages},
  booktitle = {Handbook of Formal Languages, Volume 2},
  year = {1997},
  editor = {Grzegorz Rozenberg and Arto Salomaa},
  pages = {215--235},
  publisher = {Springer-Verlag},
  address = {Berlin},
  topic = {grammar-formalisms;context-grammars;}
  }

@article{ marcus_s2-etal:1998a,
  author = {Solomon Marcus and Carlos Martin-Vide and Gheorghe P\v{a}in},
  title = {Contextual Models as Generative Models of Natural
  	Languages},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {2},
  pages = {245--274},
  topic = {grammar-formalisms;context-grammars;}
  }

@article{ marek:1993a,
  author = {Wictor Marek},
  title = {Review of \emph{{F}ormalizing Common Sense: Papers by
  	{J}ohn {M}c{C}arthy}},
  journal = {{SIGART} Bulletin},
  year = {1993},
  volume = {4},
  pages = {12--13},
  missinginfo = {number},
  topic = {J-McCarthy;}
  }

@inproceedings{ marek:1999a,
  author = {Victor Marek},
  title = {Default Reasoning System {DeReS} (Abstract)},
  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 = {default-logic;stable-models;AI-algorithms;}
  }

@incollection{ marek-etal:1991a,
  author = {Wiktor Marek and Grigori F. Schwartz and Miroslaw
  	Truszczy\'nski},
  title = {Ranges of Strong Modal Nonmonotonic Logics},
  booktitle = {Nonmonotonic and Inductive Logics},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {J\"urgen Dix and Klaus P. Jantke and P.H. Schmidt},
  pages = {85--99},
  address = {Berlin},
  missinginfo = {E's 1st name.},
  topic = {nonmonotonic-logic;modal-logic;}
  }

@incollection{ marek-etal:1991b,
  author = {Wictor Marek and Grigori Shvarts and Miroslaw Truszcy\'nski},
  title = {Modal Nonmonotonic Logics: Ranges, Characterization,
  	Computation},
  booktitle = {{KR}'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {395--404},
  address = {San Mateo, California},
  topic = {kr;kr-course;nonmonotonic-logic;modal-logic;}
  }

@article{ marek-etal:1993a,
  author = {Wiktor Marek and Grigori F. Shvarts and Miroslaw Truszczy\'nski},
  title = {Modal Nonmonotonic Logics: Ranges, Characterization, Computation},
  journal = {Journal of the {A}ssociation for {C}omputing {M}achinery},
  year = {1993},
  volume = {40},
  number = {4},
  pages = {963--990},
  topic = {nonmonotonic-logic;modal-logic;}
  }

@book{ marek-etal:1995a,
  editor = {Wictor Marek and Anil Nerode and Marek Truszcynski},
  title = {Logic Programming and Nonmonotonic Reasoning},
  publisher = {Springer-Verlag},
  year = {1995},
  address = {Berlin},
  rtnote = {Conference Proceedings.},
  topic = {kr;nonmonotonic-reasoning;kr-course;}
}

@article{ marek-etal:2002a,
  author = {Victor Marek and Inna Pivkina and Moroslaw Truszy\'nski},
  title = {Annotated Revision Programs},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {138},
  number = {1--2},
  pages = {149--180},
  topic = {logic-programming;belief-revision;}
  }

@unpublished{ marek-nerode:1980a,
  author = {Wictor Marek and Anil Nerode},
  title = {Decision Procedures for Default Logic},
  year = {1980},
  note = {Unpublished manuscript, Department of Mathematics,
		Cornell University.},
  rtnote = {In RHT collection.  Filed under "Marek".},
  missinginfo = {Date is a guess.},
  topic = {default-logic;decision-procedures;}
  }

@incollection{ marek-truszcczynski:1994b,
  author = {Victor Marek and Miros{\l}aw Truszczy\'nski},
  title = {Revision Specifications by Means of Programs},
  booktitle = {Logics in Artificial Intelligence},
  publisher = {Springer-Verlag},
  year = {1994},
  editor = {Craig Mac{N}ish and Lu\'is Moniz Pereira and David Pearce},
  pages = {122--136},
  address = {Berlin},
  topic = {belief-revision;}
  }

@article{ marek-truszcynski:1991a,
  author = {Victor Marek and Miros{\l}aw Truszcczy\'nski},
  title = {Autoepistemic Logic},
  journal = {Journal of the Association for Computing Machinery},
  year = {1991},
  volume = {38},
  number = {3},
  pages = {588--619},
  rtnote = {In RHT collection.},
  topic = {autoepistemic-logic;nonmonotonic-logic;}
 }

@book{ marek-truszcynski:1994a,
  author = {Wictor Marek and Miros{\l}aw Truszczy\'nski},
  title = {Nonmonotonic Logic: Context-Dependent Reasoning},
  publisher = {Springer-Verlag},
  year = {1994},
  address = {Berlin},
  rtnote = {Springer wants $79 for this. CS Q355 M37 1993},
  topic = {kr;nonmonotonic-reasoning;kr-course;}
}

@incollection{ marek-truszynski:1989a,
  author = {Wictor Marek and Miroslaw Truszczy\'nski},
  title = {Relating Autoepistemic and Default Logics},
  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 = {276--288},
  address = {San Mateo, California},
  topic = {kr;kr-course;nonmonotonic-logic;default-logic;
  	autoepistemic-logic;}
  }

@unpublished{ marek-truszynski:1989b,
  author = {Wictor Marek and Miroslaw Truszczy\'nski},
  title = {Stable Semantics for Logic Programs and
  	Default Theories},
  year = {1989},
  month = {May},
  note = {Unpublished manuscript, University of Kentucky.},
  rtnote = {In RHT collection.},
  topic = {kr;kr-course;nonmonotonic-logic;default-logic;
  	stable-models;}
  }

@unpublished{ marek-truszynski:1990a,
  author = {Wictor Marek and Miroslaw Truszczy\'nski},
  title = {Modal Logic for Default Reasoning},
  year = {1990},
  note = {Unpublished manuscript, University of Kentucky.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {kr;kr-course;nonmonotonic-logic;default-logic;
  	modal-logic;}
  }

@article{ mares:1999a,
  author = {Edward D. Mares},
  title = {Review of \emph{{M}einongian Logic}, by {D}ale {J}acquette},
  journal = {Studia Logica},
  year = {1999},
  volume = {63},
  number = {2},
  pages = {280--285},
  xref = {Review of: jacquette:1996a.},
  topic = {Meinong;(non)existence;}
  }

@article{ mares:2000a,
  author = {Edwin D. Mares},
  title = {{\bf CE} Is Not a Conservative Extension of {\bf E}},
  journal = {Journal of Philosophical Logic},
  year = {2000},
  volume = {29},
  number = {3},
  pages = {263--275},
  topic = {negation;relevance-logic;}
  }

@article{ mares:2001a,
  author = {Edwin D. Mares},
  title = {Review of \emph{{L}anguage, Truth and Logic in Mathematics}, by
  	{J}aakko {H}intikka},
  journal = {Studia Logica},
  year = {2001},
  volume = {68},
  number = {3},
  pages = {412--415},
  xref = {Review of: hintikka:1998d.},
  topic = {philosophical-logic;philosophy-of-mathematics;}
  }

@article{ mares:2002a,
  author = {Edwin D. Mares},
  title = {Review of \emph{{A}dvances in Modal Logic, Volume 1}, edited by
  	{M}arcus {K}racht and {M}aarten de {R}ijke and {H}einrich
	{W}ansing},
  journal = {The Bulletin of Symbolic Logic},
  year = {2002},
  volume = {8},
  number = {1},
  pages = {95--97},
  xref = {Review of: kracht-etal:1998a.},
  topic = {modal-logic;}
  }

@article{ mares:2004a,
  author = {Edwin D. Mares},
  title = {\,`Four-Valued' Semantics for the Relevant Logic {R}},
  journal = {Journal of Philosophical Logic},
  year = {2004},
  volume = {33},
  number = {3},
  pages = {327--341},
  topic = {relevance-logic;}
  }

@article{ mares-fuhrmann:1996a,
  author = {Edwin D. Mares and Andr\'e Fuhrmann},
  title = {A Relevant Theory of Conditionals},
  journal = {Journal of Philosophical Logic},
  year = {1996},
  volume = {24},
  number = {6},
  pages = {645--665},
  topic = {conditionals;relevance-logic;}
  }

@article{ mares-mcnamara_p:1997a,
  author = {Edwin D. Mares and Paul McNamara},
  title = {Supererogation in Deontic Logic Metatheory for
		{DWE} and Some Close Neighbours},
  journal = {Studia Logica},
  year = {1997},
  volume = {59},
  number = {3},
  pages = {397--415},
  topic = {deontic-logic;}
  }

@article{ mares-meyer_rk:1993a,
  author = {Edwin D. Mares and Robert K. Meyer},
  title = {The Semantics of {R3}},
  journal = {Journal of Philosophical Logic},
  year = {1993},
  volume = {22},
  number = {1},
  pages = {95--110},
  topic = {relevance-logic;}
  }

@book{ margalit:1976a,
  editor = {Avishai Margalit},
  title = {Meaning and Use},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  address = {Dordrecht},
  topic = {philosophy-of-language;pragmatics;}
 }

@incollection{ margalit:1976b,
  author = {Avishai Margalit},
  title = {Talking with Children, {P}iaget Style},
  booktitle = {Language in Focus},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  editor = {Asa Kasher},
  pages = {457--471},
  address = {Dordrecht},
  topic = {speaker-meaning;pragmatics;}
  }

@article{ margalit:1978a,
  author = {Avishai Margalit},
  title = {The `Platitude' Principle of Semantics},
  journal = {Erkenntnis},
  year = {1978},
  volume = {13},
  pages = {377--395},
  missinginfo = {number},
  topic = {compositionality;}
  }

@book{ margalit:1979a,
  editor = {Avishai Margalit},
  title = {Meaning and Use: Papers Presented at the Second
		{J}erusalem Philosophy Encounter},
  publisher = {D. Reidel Publishing Co.},
  year = {1979},
  address = {Dordrecht},
  rtnote = {Hillman P106 .J45 1976},
  contentnote = {TC:
        1. Willard V. Quine, "Use and Its Place in Meaning"
        2. Donald Davidson, "Moods and Performances"
        3. Eddy M. Zemach, "Awareness of Objects"
        4. Asa Kasher, "What Is a Theory of Use?"
        5. Jaakko Hintikka and Lauri Carlson, "Conditionals, Generic
		Quantifiers, and Other Applications of Subgames"
        6. Helmut Schnelle, "Circumstance Sentences"
        7. Michael Dummett, "What Does a Theory of Use Do for a
		Theory of Meaning?"
        8. Avishai Margalit, "Open Texture"
        9. Marcelo Dascal, "Conversational Relevance"
       10. John R. Searle, "Intentionality and the Use of Language"
       11. Hilary Putman, "Reference and Understanding"
       12. Peter F. Strawson, "May Bes and Might Have Beens"
       13. Saul Kripke, "A Puzzle about Belief"
	},
  topic = {philosophy-of-language;pragmatics;}
 }

@incollection{ margalit:1979b,
  author = {Avishai Margalit},
  title = {Open Texture},
  booktitle = {Meaning and Use: Papers Presented at the Second
		{J}erusalem Philosophy Encounter},
  publisher = {D. Reidel Publishing Co.},
  year = {1979},
  editor = {Avishai Margalit},
  pages = {141--152},
  address = {Dordrecht},
  topic = {verificationalism;lexical-semantics;}
  }

@article{ margenau:1967a,
  author = {Henry Margenau},
  title = {Quantum Mechanics, Free Will, and Determinism},
  journal = {The Journal of Philosophy},
  year = {1967},
  volume = {64},
  number = {21},
  pages = {714--725},
  topic = {quantum-mechanics;freedom;}
  }

@article{ margolis_e-laurence:1998a,
  author = {Eric Margolis and Stephen Laurence},
  title = {Multiple Meanings and the Stability of Content},
  journal = {The Journal of Philosophy},
  year = {1998},
  volume = {95},
  number = {5},
  pages = {255--263},
  topic = {foundations-of-semantics;philosophy-of-language;}
  }

@book{ margolis_e-laurence:1999a,
  editor = {Eric Margolis and Stephen Laurence},
  title = {Concepts: Core Readings},
  publisher = {The {MIT} Press},
  year = {1999},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-18175-4},
  topic = {philosophy-of-mind;philosophy-of-psychology;concept-grasping;}
 }

@article{ margolis_e-lawrence:2007a,
  author = {Eric Margolis and Stephen Lawrence},
  title = {The Ontology of Concepts},
  journal = {No\^us},
  year = {2007},
  volume = {41},
  number = {4},
  pages = {561--593},
  topic = {concepts;intensionality;}
  }

@article{ margolis_j:1984a,
  author = {Joseph Margolis},
  title = {The Locus of Coherence},
  journal = {Linguistics and Philosophy},
  year = {1984},
  volume = {7},
  number = {1},
  pages = {3--30},
  topic = {metaphilosophy;}
  }

@article{ marhenke:1950a1,
  author = {Paul Marhenke},
  title = {The Criterion of Significance},
  journal = {Proceedings and Addresses of the {A}merican
  	{P}hilosophical Association},
  year = {1950},
  volume = {23},
  missinginfo = {number, pages},
  xref = {Republication: marhenke:1950a2.},
  topic = {meaningfulness;philosophy-of-language;}
  }

@incollection{ marhenke:1950a2,
  author = {Paul Marhenke},
  title = {The Criterion of Significance},
  booktitle = {Semantics and the Philosophy of Language},
  publisher = {University of Illinois Press},
  year = {1952},
  editor = {Leonard Linsky},
  pages = {139--139},
  address = {Urbana, Illinois},
  xref = {Republication of: marhenke:1950a1.},
  topic = {meaningfulness;philosophy-of-language;}
  }

@article{ marinescu-dechter_r:2009a,
  author = {Radu Marinescu and Rina Dechter},
  title = {{AND/OR} Branch-and-Bound Search for Combinatorial
  		Optimization in Graphical Models},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {16--17},
  pages = {1457--1491},
  topic = {and/or-graphs;Bayesian-networks;constraint-networks;}
  }

@article{ marino-etal:2006a,
  author = {Jos\'e B. Mari\~no and Rafael E. Banchs and Josep M. Crego
  		and Adri\`a de Gispert and Patrik Lambert and Jos\'e
		A.R. Fonollosa and Marta R. Costa-juss\`a},
  title = {N-Gram-Based Machine Translation},
  journal = {Computational Linguistics},
  year = {2006},
  volume = {32},
  number = {4},
  pages = {527--549},
  topic = {n-gram-models;machine-translation;}
  }

@incollection{ maritxalar-etal:1998a,
  author = {Montse Maritxalar and Arantza D\'iaz de Ilarraza and
		Maite Oronez},
  title = {From Psychologic Modeling of Interlanguage in Second
  	Language Acquisition to a Computational Model},
  booktitle = {{CoNLL97}: Computational Natural Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {T. Mark Ellison},
  pages = {50--59},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;
  	intelligent-computer-assisted-language-instruction;}
  }

@incollection{ mark:1991a,
  author = {William Mark},
  title = {Panel: Achieving Large Scale Knowledge Sharing},
  booktitle = {KR'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {595--596},
  address = {San Mateo, California},
  topic = {kr;large-kr-systems;}
  }

@inproceedings{ mark:1992a,
  author = {Bill Mark},
  title = {Ten Years Don't Mean Nothin'\, },
  booktitle = {Working Notes, {AAAI} Fall Symposium on Issues in Description
  	Logics: Users Meet Developers},
  year = {1992},
  editor = {Robert MacGregor},
  pages = {59--60},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.  Mentions that there are problems, like
  	scaling up.  No insights as to why little progress made.},
  topic = {kr;krcourse;description-logics;}
  }

@incollection{ mark:1996a,
  author = {William S. Mark},
  title = {Ontologies as the Representation (and Re-Representation)
  	of Agreement},
  booktitle = {{KR}'96: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro},
  pages = {654--655},
  address = {San Francisco, California},
  topic = {kr;computational-ontology;kr-course;}
  }

@book{ marker:2002a,
  author = {David Marker},
  title = {Model Theory:  An Introduction},
  publisher = {Kluwer Academic Publishers},
  year = {2002},
  address = {Dordrecht},
  ISBN = {0387987606},
  xref = {Review: hart_b:2003a.},
  rtnote = {UMich Science Library, QA 9.7 .M3671 2002.},
  topic = {model-theory;logic-intro;}
 }

@inproceedings{ markert-hahn_u1:1997a,
  author = {K. Markert and Udo Hahn},
  title = {On the Interaction of Metonymies and Anaphora},
  booktitle = {Proceedings of the Fifteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1997},
  editor = {Martha Pollack},
  pages = {1010--1015},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  missinginfo = {A's 1st name},
  topic = {metonymy;anaphora;}
  }

@article{ markert-hahn_u1:2002a,
  author = {Katja Markert and Udo Hahn},
  title = {Understanding Metonymies in Discourse},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {135},
  number = {1--2},
  pages = {145--198},
  topic = {metonymy;anaphora;discourse;}
  }

@article{ markert-nissim:2005a,
  author = {Katja Markert and Malvina Nissim},
  title = {Comparing Knowledge Sources for Nominal Anaphora
  		Resolution},
  journal = {Computational Linguistics},
  year = {2005},
  volume = {31},
  number = {3},
  pages = {367--401},
  topic = {corpus-linguistics;anaphora-resolution;}
  }

@article{ markie:2006a,
  author = {Peter Markie},
  title = {Epistemically Appropriate Perceptual Belief},
  journal = {No\^us},
  year = {2006},
  volume = {40},
  number = {1},
  pages = {118--142},
  topic = {perception;belie;epistemology;}
  }

@book{ markley:1

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit