text:
{ moser_m-moore_jd:1996a,
  author = {Megan Moser and Johanna D. Moore},
  title = {Toward a Synthesis of Two Accounts of Discourse Structure},
  journal = {Computational Linguistics},
  year = {1996},
  volume = {22},
  number = {3},
  pages = {409--419},
  rtnote = {pragmatics-course;},
  topic = {discourse-structure;pragmatics;}
}

@article{ moser_pk:1990a,
  author = {Paul K. Moser},
  title = {A Dilemma for Sentential Dualism},
  journal = {Linguistics and Philosophy},
  year = {1990},
  volume = {13},
  number = {6},
  pages = {687--698},
  topic = {propositioal-attitudes;philosophy-of-language;}
  }

@article{ moses_m-forrest:2001a,
  author = {Melanie Moses and Stephanie Forrest},
  title = {Review of \emph{{T}he Computational Beauty of Nature} by
  	{G}ary {W}illiam {F}lake},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {128},
  number = {1--2},
  pages = {239--242},
  xref = {Review of: flake:1998a.},
  topic = {fractals;chaos-theory;computational-aesthetics;}
  }

@inproceedings{ moses_y:1988a,
  author = {Yoram Moses},
  title = {Resource-Bounded Knowledge},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Second Conference on Theoretical Aspects of
    Reasoning about Knowledge},
  year = {1988},
  editor = {Moshe Y. Vardi},
  pages = {261--276},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  topic = {hyperintensionality;resource-limited-reasoning;epistemic-logic;}
  }

@incollection{ moses_y:1992a,
  author = {Yoram Moses},
  title = {Knowledge and Communication},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fourth Conference ({TARK} 1992)},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Yoram Moses},
  pages = {1--14},
  address = {San Francisco},
  contentnote = {A useful survey paper.},
  topic = {epistemic-logic;communication-protocols;}
  }

@book{ moses_y:1992b,
  editor = {Yoram Moses},
  title = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Fourth Conference ({TARK} 1992)},
  year = {1992},
  publisher = {Morgan Kaufmann},
  address = {San Francisco, California},
  rtnote = {In RHT collection.},
  topic = {reasoning-about-knowledge;}
  }

@inproceedings{ moses_y-bloom_b:1994a,
  author = {Yoram Moses and B. Bloom},
  title = {Knowledge, Timed Precedence and Clocks},
  booktitle = {Proceedings of the Thirteenth {ACM} Symposium on
  	Principles of Distributed Computing},
  year = {1994},
  pages = {167--176},
  missinginfo = {editor, publisher, A's 1st name},
  topic = {distributed-systems;epistemic-logic;synchronization;}
  }

@techreport{ moses_y-etal:1985a,
  author = {Yoram Moses},
  title = {Cheating Husbands and Other Stories: A Case Study of
  	Knowledge Communication, and Action},
  institution = {{IBM} Research Laboratory, San Jose},
  number = {RJ 4756},
  year = {1985},
  address = {San Jose, California},
  rtnote = {In RHT collection.},
  topic = {epistemic-logic;communication-protocols;}
  }

@article{ moses_y-etal:1986a,
  author = {Yoram Moses and D. Dolev and J. Halpern},
  title = {Cheating Husbands and Other Stories:  A Case Study of
  	Knowledge, Action, and Communication},
  journal = {Distributed Computing},
  year = {1986},
  volume = {1},
  number = {3},
  pages = {167--176},
  missinginfo = {A's 1st name},
  topic = {epistemic-logic;communication-protocols;}
  }

@inproceedings{ moses_y-kislev:1993a,
  author = {Yoram Moses and O. Kislev},
  title = {Knowledge-Oriented Programming},
  booktitle = {Proceedings of the Twelfth {ACM} Symposium on
  	Principles of Distributed Computing},
  year = {1993},
  pages = {261--270},
  missinginfo = {editor, publisher, A's 1st name},
  topic = {knowledge-based-programming;agent-oriented-programming;}
  }

@inproceedings{ moses_y-nachum:1990a,
  author = {Yoram Moses and G. Nachum},
  title = {Agreeing to Disagree After All},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Third Conference ({TARK} 1990)},
  year = {1990},
  editor = {Rohit Parikh},
  pages = {151--168},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  topic = {agreeing-to-disagree;mutual-agreement;}
  }

@inproceedings{ moses_y-roth_g:1989a,
  author = {Yoram Moses and G. Roth},
  title = {On Reliable Message Diffusion},
  booktitle = {Proceedings of the Eighth {ACM} Symposium on
  	Principles of Distributed Computing},
  year = {1989},
  pages = {119--128},
  missinginfo = {editor, publisher, A's 1st name},
  topic = {communication-protocols;}
  }

@article{ moses_y-shoham_y1:1993a,
  author = {Yoram Moses and Yoav Shoham},
  title = {Belief as Defeasible Knowledge},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {64},
  number = {2},
  pages = {299--321},
  acontentnote = {Abstract:
     We investigate the relation between the notions of knowledge and
     belief.  Contrary to the well-known slogan about knowledge being
     "justified, true belief", we propose that belief be viewed as
     defeasible knowledge. We offer several related definitions of
     belief as knowledge-relative-to-assumptions, and provide
     complete axiomatic systems for the resulting notions of belief.
     We also show a close tie between our definitions and the
     literature on nonmonotonic reasoning. Our definitions of belief
     have several advantages.  First, they are short. Second, we do
     not need to add anything to the logic of knowledge: the "right"
     properties of belief fall out of our definitions and the
     properties of knowledge.  Third, the connection between
     knowledge and belief is derived from one fundamental principle.
     Finally, a major attraction of logics of knowledge in computer
     science has been the concrete grounding of the mental notion in
     objective phenomena; by reducing belief to knowledge we obtain
     this grounding for a notion of belief.
  },
  rtnote = {In RHT collection.},
  topic = {belief;knowledge;epistemic-logic;defeasible-knowledge;
  	nonmonotonic-reasoning;philosophy-of-belief;}
  }

@article{ moses_y-tennenholtz:1996a,
  author = {Yoram Moses and Moshe Tennenholtz},
  title = {Off-Line Reasoning for On-Line Efficiency: Knowledge
  	Bases},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {83},
  number = {2},
  pages = {229--239},
  acontentnote = {Abstract:
     The complexity of reasoning is a fundamental issue in AI.  In
     many cases, the fact that an intelligent system needs to perform
     reasoning on-line contributes to the difficulty of this
     reasoning.  This paper considers the case in which an
     intelligent system computes whether a query is entailed by the
     system's knowledge base.  It investigates how an initial phase of
     off-line preprocessing and design can improve the on-line
     complexity considerably.  The notion of an efficient basis for a
     query language is presented, and it is shown that off-line
     preprocessing can be very effective for query languages that
     have an efficient basis.  The usefulness of this notion is
     illustrated by showing that a fairly expressive language has an
     efficient basis.  A dual notion of an efficient disjunctive
     basis for a knowledge base is introduced, and it is shown that
     off-line preprocessing is worthwhile for knowledge bases that
     have an efficient disjunctive basis.  },
  topic = {complexity-in-AI;}
  }

@article{ moses_y-tuttle:1988a,
  author = {Yoram Moses and M.R. Tuttle},
  title = {Programming Simultaneous Actions Using Common Knowledge},
  journal = {Algorithmica},
  year = {1988},
  volume = {3},
  pages = {121--169},
  missinginfo = {A's 1st name, number},
  topic = {mutual-belief;knowledge-based-programming;synchronization;}
  }

@article{ moshier:1995a,
  author = {M. Andrew Moshier},
  title = {A Rational Reconstruction of the Domain of Feature
  	Structures},
  journal = {Journal of Logic, Language, and Information},
  year = {1995},
  volume = {4},
  number = {2},
  pages = {111--143},
  topic = {feature-structures;}
  }

@article{ moshier:1997a,
  author = {M. Andrew Moshier},
  title = {Is {HPSG} Featureless or Unprincipled?},
  journal = {Linguistics and Philosophy},
  year = {1997},
  volume = {20},
  number = {6},
  pages = {669--695},
  topic = {HPSG;}
  }

@incollection{ moshier:1998a,
  author = {M. Andrew Moshier},
  title = {{HPSG} as a Type Theory},
  booktitle = {Computing Natural Language},
  publisher = {{CSLI} Publications},
  year = {1998},
  editor = {Atocha Aliseda and Rob {van Glabbeek} and Dag Westerst{\aa}hl},
  pages = {119--139},
  address = {Stanford, California},
  topic = {HPSG;higher-order-logic;}
  }

@article{ moshier-pollard:1994a,
  author = {M. Andrew Moshier and Carl J. Pollard},
  title = {The Domain of Set-Valued Feature Structures},
  journal = {Linguistics and Philosophy},
  year = {1994},
  volume = {17},
  number = {6},
  pages = {607--631},
  topic = {feature-structure-logic;}
  }

@techreport{ moss_ls:1990a,
  author = {Laurence S. Moss},
  title = {Completeness Theorems for Logics of Feature Structures},
  institution = {T.J. Watson research Center, {IBM}},
  number = {RC 15737 (\#69809)},
  year = {1991},
  address = {Yorktown Heights, NY},
  rtnote = {In RHT collection.},
  topic = {feature-structures;feature-structure-logic;}
  }

@article{ moss_ls:2000a,
  author = {Lawrence S. Moss},
  title = {Review of \emph{Exploring Logical Dynamics},
		by {J}ohan van {B}enthem},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {9},
  number = {2},
  pages = {261--263},
  xref = {Review of: vanbenthem:1996b.},
  topic = {dynamic-logic;dynamic-semantics;}
  }

@article{ moss_ls:2007a,
  author = {Lawrence S. Moss},
  title = {Finite Models Constructed from Canonical Formulas},
  journal = {Journal of Philosophical Logic},
  year = {2007},
  volume = {36},
  number = {6},
  pages = {605--640},
  topic = {modal-logic;finite-model-property;}
  }

@article{ moss_ls-johnson_de:1995a,
  author = {Lawrence S. Moss and David E. Johnson},
  title = {Dynamic Interpretations of Constraint-Based Logic
  	Formalisms},
  journal = {Journal of Logic, Language, and Information},
  year = {1993},
  volume = {4},
  number = {1},
  pages = {62--79},
  topic = {dynamic-logic;foundations-of-syntax;constraint-based-grammar;}
  }

@incollection{ moss_ls-johnson_de:1995b,
  author = {Lawrence S. Moss and David E. Johnson},
  title = {Evolving Algebras and Mathematical Models of Language},
  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 = {161--194},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {semantics-of-programming-languages;evolving-algebras;
  	grammar-formalisms;}
  }

@incollection{ moss_ls-parikh_r:1992a,
  author = {Lawrence S. Moss and Rohit Parikh},
  title = {Topological Reasoning and the Logic of Knowledge},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fourth Conference ({TARK} 1992)},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Yoram Moses},
  pages = {95--105},
  address = {San Francisco},
  contentnote = {This is the paper that introduces subset spaces.},
  topic = {epistemic-logic;applied-logic;subset-spaces;}
  }

@incollection{ moss_ls-tiede:2006a,
  author = {Lawrence S. Moss and Hans-J\"org Tiede},
  title = {Applications of Modal Logic in Linguistics},
  booktitle = {Handbook of Modal Logic},
  year = {2006},
  editor = {Patrick Blackburn and Johan van Benthem and Frank Wolter},
  pages = {1031--1076},
  address = {New York},
  rtnote = {In RHT collection.  File drawers.},
  topic = {modal-logic;}
  }

@unpublished{ moss_s:2008a,
  author = {Sarah Moss},
  title = {On the Pragmatics of Conditionals},
  year = {2008},
  note = {Unpublished manuscript, MIT.},
  rtnote = {In RHT collection.  Research Files.  Comments emailed
  		to SM April 2008. },
  topic = {conditionals;reverse-Sobel-sequences;}
  }

@unpublished{ moss_s:2008b,
  author = {Sarah Moss},
  title = {Scoring Rules and Epistemic Compromise},
  year = {2008},
  note = {Unpublished manuscript, MIT.},
  rtnote = {In RHT collection.  Research Files.},
  topic = {negotiation;belief;}
  }

@unpublished{ mosses:1987a,
  author = {Peter D. Mosses},
  title = {Modularity in Action Semantics},
  year = {1987},
  note = {Unpublished manuscript, Computer Science Department,
		Aaarhus University},
  rtnote = {In RHT collection.},
  topic = {semantics-of-programming-languages;dynamic-logic;}
  }

@inproceedings{ mostefaouri-etal:2003a,
  author = {Ghita Kouadri Most\'efaouri and Patrick Br\'ezillon},
  title = {A Generic Framework for Context-Based Distributed
		Authorizations},
  booktitle = {Modeling and Using Context: Fourth International and
  	Interdisciplinary Conference, Context 2003},
  publisher = {Springer-Verlag},
  year = {2003},
  editor = {Patrick Blackburn and Chiara Ghidini and Roy M. Turner
  	and Fausto Giunchiglia},
  pages = {204--217},
  address = {Berlin},
  topic = {context;multiagent-systems;}
  }

@article{ mosterman-biswas:2000a,
  author = {Pieter J. Mosterman and Gautam Biswas},
  title = {A Comprehensive Methodology for Building Hybrid
  	Models of Physical Systems},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {121},
  number = {1--2},
  pages = {171--209},
  topic = {dynamic-systems;reasoning-about-continuous-quantities;
  	reasoning-about-physical-systems;}
  }

@article{ mostow:1989a,
  author = {Jack Mostow},
  title = {Design by Derivational Analogy: Issues in the Automated
  	Replay of Design Plans},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {40},
  number = {1--2},
  pages = {119--184},
  topic = {computer-aided-design;analogy;case-based-reasoning;}
  }

@book{ mostowski_a:1966a,
  author = {Andrzej Mostowski},
  title = {Thirty Years of Foundational Studies},
  publisher = {Barnes \& Noble, Inc.},
  year = {1966},
  address = {New York},
  rtnote = {In RHT Collection.  Logic shelves.},
  topic = {mathematical-logic;foundations-of-mathematics;}
 }

@inproceedings{ mota:2000a,
  author = {Edjard Mota},
  title = {Cyclical and Granular Time Theories as Subsets of
        the {H}erbrand Universe},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {366--377},
  topic = {cyclical-events;temporal-reasoning;}
  }

@article{ motik-etal:2009a,
  author = {Boris Motik and Bernardo Cuenca Grau and Ian Horrocks and
  		Ulrike Sattler},
  title = {Representing Ontologies Using Description Logics,
  		Description Graphs, and Rules},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {14},
  pages = {1275--1309},
  topic = {description-logics;computational-ontology;}
  }

@article{ motoda-yoshida:1998a,
  author = {Hiroshi Motoda and Kenichi Yoshida},
  title = {Machine Learning Techniques to Make Computers Easier
  	to Use},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {103},
  number = {1--2},
  pages = {295--321},
  topic = {machine-learning;HCI;}
  }

@incollection{ motschnigpitrik:1999a,
  author = {Renate Motschnig-Pitrik},
  title = {Contexts and Views in Object-Oriented Languages},
  booktitle = {Modeling and Using Contexts: Proceedings of
	the Second International and Interdisciplinary
	Conference, {CONTEXT}'99},
  publisher = {Springer-Verlag},
  year = {1999},
  editor = {Paolo Bouquet and Luigi Serafini and Patrick
	Br\'ezillon	and Massimo Benerecetti and Francesca
	Castellani},
  pages = {256--269},
  address = {Berlin},
  topic = {context;object-oriented-databases;database-views;}
  }

@article{ mott_p:1973a,
  author = {P. Mott},
  title = {On {C}hisholm's Paradox},
  journal = {Journal of Philosophical Logic},
  year = {1973},
  volume = {2},
  number = {2},
  pages = {197--211},
  topic = {deontic-logic;}
 }

@article{ mott_pl:1987a,
  author = {Peter L. Mott},
  title = {A Theorem on the Consistency of Circumscription},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {31},
  number = {1},
  pages = {87--98},
  topic = {circumscription;}
  }

@incollection{ mott_pl:1996a,
  author = {Peter L. Mott},
  title = {A Grammar-Based Approach to Common-Sense Reasoning},
  booktitle = {Machines and Thought: The Legacy of {A}lan {T}uring:
  	Volume {I}},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Peter J.R. Millican and A. Clark},
  pages = {233--254},
  address = {Oxford},
  topic = {nl-as-kr;}
  }

@article{ moulines:1976a,
  author = {C. Ulises Moulines},
  title = {Approximate Application of Empirical Theories:  A General
  	Explication},
  journal = {Erkenntnis},
  year = {1976},
  volume = {10},
  pages = {201--227},
  missinginfo = {number},
  topic = {approximation;}
  }

@incollection{ mouloud:1984a,
  author = {Noelk Mouloud},
  title = {Machines and Mind: The Functional Sphere
     		and Epistemological Circles},
  booktitle = {The Mind and the Machine: Philosophical Aspects
  	of Artificial Intelligence},
  publisher = {Ellis Horwood, Ltd.},
  year = {1984},
  editor = {Steve B. Torrance},
  pages = {88--98},
  address = {Chichester},
  topic = {foundations-of-cogsci;philosophy-of-mind;}
  }

@book{ moulton:1975a,
  author = {Janice M. Moulton},
  title = {Guidebook for Publishing Philosophy},
  publisher = {American Philosophical Association},
  year = {1975},
  address = {Newark, Delaware},
  rtnote = {In RHT collection.  },
  topic = {guidance-for-academics;}
 }

@article{ mourelatos:1977a,
  author = {Alexander Mourelatos},
  title = {Events, Processes, and States},
  journal = {Linguistics and Philosophy},
  year = {1977},
  volume = {2},
  number = {1},
  pages = {415--434},
  topic = {tense-aspect;aktionsarten;}
  }

@book{ moutafakis:1987a,
  author = {Nicholas J. Moutafakis},
  title = {The Logics of Preference: A Study of Prohairetic Logics in
  	Twentieth Century Philosophy},
  publisher = {D. Reidel Publishing Co.},
  year = {1987},
  address = {Dordrecht},
  ISBN = {9027725918},
  rtnote = {UMich GRADUATE LIBRARY, BC145 .M681 1987.},
  topic = {deontic-logic;preferences;}
 }

@book{ moxley-sanford_aj:1994a,
  author = {Linda M. Moxley and Anthony J. Sanford},
  title = {Communicating Quantities},
  publisher = {Lawrence Erlbaum Associates},
  year = {1994},
  address = {Mahwah, New Jersey},
  topic = {nl-quantifiers;vagueness;psycholinguistics;}
 }

@article{ moya:2007a,
  author = {Carlos J. Moya},
  title = {Moral Responsibility without Alternative Possibilities?},
  journal = {The Journal of Philosophy},
  year = {2007},
  volume = {104},
  number = {9},
  pages = {475--486},
  xref = {Commentary on: widerker:1995a},
  topic = {freedom;(in)determinism;responsibility;}
  }

@book{ mozer:1991a,
  author = {Michael C. Mozer},
  title = {The Perception of Multiple Objects: A Connectionist
  	Approach},
  publisher = {The {MIT} Press},
  year = {1991},
  address = {Cambridge, Massachusetts},
  ISBN = {0262132702 (hc)},
  rtnote = {UMich Media Union Library, QA 76.87 .M691 1991
  	    Graduate Library Call No: QA 76.87 .M691 1991},
  xref = {Review: goddard:1993a.},
  topic = {connectionist-models;computer-vision;}
 }

@unpublished{ mozes-shoham_y1:1990a,
  author = {Eyal Mozes and Yoav Shoham},
  title = {Protograms},
  year = {1999},
  note = {Unpublished manuscript, Department of Computer
  	Science, Stanford University},
  rtnote = {In RHT collection.},
  topic = {action;agent-oriented-programming;}
  }

@article{ mozina-etal:2007a,
  author = {Martin Mo\v{i}na and Jure \v{Z}abkar and Ivan Bratko},
  title = {Argument Based Machine Learning},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {10--15},
  pages = {922--937},
  topic = {argumentation;machine-learning;}
  }

@book{ muecke:1969a,
  author = {Douglas C. Muecke},
  title = {The Compass of Irony},
  publisher = {Methuen},
  year = {1969},
  address = {London},
  rtnote = {UMich Graduate Library PN 56 .I65 M95 1969 },
  topic = {irony;literary-=criticism;}
 }

@book{ muecke:1970a,
  author = {Douglas C. Muecke},
  title = {Irony},
  publisher = {Methuen},
  year = {1970},
  address = {London},
  rtnote = {UMich Graduate Library  PN 56 .I65 M96,
  	Undergraduate Library PN 56 .I65 M96},
  topic = {irony;literary-=criticism;}
 }

@book{ muecke:1982a,
  author = {Douglas C. Muecke},
  title = {Irony and the Ironic},
  publisher = {Methuen},
  year = {1982},
  address = {London},
  rtnote = {UMich Graduate Library PN56.I65 M96 1982,
  	Undergraduate Library PN56.I65 M96 1982},
  topic = {irony;literary-=criticism;}
 }

@book{ mueller_et:2006a,
  author = {Erik T. Mueller},
  title = {Commonsense Reasoning},
  publisher = {Elsevier},
  year = {2006},
  address = {Amsterdam},
  ISBN-13 = {978-0-12-369388},
  rtnote = {In RHT collection.  Summer 2008.},
  xref = {Reviews: galitsky:2007a, morgenstern_l:2006a.},
  topic = {common-sense-logicism;common-sense-reasoning;logic-in-AI;}
 }

@article{ mueller_et:2006b,
  author = {Erik T. Mueller},
  title = {Event Calculus and Temporal Action Logics Compared},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {11},
  pages = {1037--1029},
  topic = {action-formalisms;event-calculus;situation-calculus;}
  }

@book{ mufwene:1984a,
  author = {Salikoko S. Mufwene},
  title = {Stativity and the Progressive},
  publisher = {Indiana University Linguistics Club},
  year = {1982},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {Aktionsarten;progressive-aspect;}
 }

@inproceedings{ muggleton:1999a,
  author = {Stephen H. Muggleton},
  title = {Progol},
  booktitle = {Workshop on Logic-Based Artificial Intelligence,
	       Washington, DC, June 14--16, 1999},
  year = {1999},
  editor = {Jack Minker},
  publisher = {Computer Science Department, University of Maryland},
  address = {College Park, Maryland},
  topic = {theorem-proving;logic-programming;}
  }

@article{ muggleton:1999b,
  author = {Stephen H. Muggleton},
  title = {Inductive Logic Programming: Issues, Results, and the
  	Challenge of Learning Language in Logic},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {114},
  number = {1--2},
  pages = {283--296},
  topic = {inductive-logic-programming;machine-language-learning;}
  }

@inproceedings{ muggleton-marginean:1999a,
  author = {Stephen H. Muggleton and F.A. Marginean},
  title = {Binary Refinement},
  booktitle = {Workshop on Logic-Based Artificial Intelligence,
	       Washington, DC, June 14--16, 1999},
  year = {1999},
  editor = {Jack Minker},
  publisher = {Computer Science Department, University of Maryland},
  address = {College Park, Maryland},
  topic = {theorem-proving;AI-algorithms-analysis;}
  }

@incollection{ muggleton-marginean:2000a,
  author = {Steven H. Muggleton and Flaviu A. Marginean},
  title = {Logic-Based Machine Learning},
  booktitle = {Logic-Based Artificial Intelligence},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Jack Minker},
  pages = {315--330},
  address = {Dordrecht},
  topic = {logic-in-AI;inductive-logic-programming;
  	scientific-discovery;computer-assisted-biology;}
  }

@unpublished{ mukai:1986a,
  author = {Kuniaki Mukai},
  title = {Anadic Tuples in {P}rolog},
  year = {1986},
  note = {Unpublished manuscript, Institute for New Generation
		Computer Technology, Tokyo.},
  rtnote = {In RHT collection.},
  topic = {logic-programming;}
  }

@unpublished{ mukai:1986b,
  author = {Kuniaki Mukai},
  title = {A System of Logic Programming for Linguistic Analysis
		Based on Situation Semantics},
  year = {1986},
  note = {Unpublished manuscript, Institute for New Generation
		Computer Technology, Tokyo.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {logic-programming;situation-semantics;}
  }

@incollection{ mulhauser:2000a,
  author = {Gregory R. Mulhauser},
  title = {Functions, Representations, and Zombies},
  booktitle = {Logic, Language, and Computation, Volume 3},
  publisher = {CSLI Publications},
  year = {2000},
  editor = {Lawrence Cavedon and Patrick Blackburn and Nick Braisby
  	and Atushi Shimojina},
  pages = {217--240},
  address = {Stanford, California},
  topic = {algorithmic-information-theory;metaphysics;}
  }

@article{ mullen:1979a,
  author = {J.D. Mullen},
  title = {Does the Logic of Preference Rest on a Mistake?},
  journal = {Metaphilosophy},
  year = {1979},
  volume = {10},
  pages = {247--255},
  missinginfo = {A's 1st name},
  topic = {preferences;}
  }

@incollection{ mullen-osborne_m:2000a,
  author = {Tony Mullen and Miles Osborne},
  title = {Overfitting Avoidance for
	    Stochastic Modeling of Attribute-Value Grammars},
  booktitle = {Proceedings of the Fourth Conference on Computational
  	Natural Language Learning and of the Second Learning Language
	in Logic Workshop, {L}isbon, 2000},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Claire Cardie and Walter Daelemans and Claire N\'edellec
  	and Erik Tjong Kim Sang},
  pages = {49--54},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;statistical-nlp;
  	probabilistic-parsers;}
  }

@article{ muller_m:2001a,
  author = {Martin M\"uller},
  title = {Partial Order Bounding: A New Approach to Evaluation in
  	Game Tree Search},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {129},
  number = {1--2},
  pages = {279--311},
  topic = {game-trees;search;}
  }

@article{ muller_m:2002a,
  author = {Martin M\"uller},
  title = {Computer Go},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {134},
  number = {1--2},
  pages = {145--179},
  topic = {computer-games;search;game-trees;}
  }

@incollection{ muller_p:1998a,
  author = {Philippe Muller},
  title = {A Qualitative Theory of Motion Based on  Spatio-Temporal
		Primitives},
  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 = {131--141},
  address = {San Francisco, California},
  topic = {kr;qualitative-physics;spatial-representation;kr-course;}
  }

@incollection{ muller_p-prevot:2003a,
  author = {Philippe Muller and Laurent Pr\'evot},
  title = {An Empirical Study of Acknowledgement Structures},
  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 = {99--106},
  address = {Saarbr\"ucken},
  topic = {discourse;pragmatics;corpus-linguistics;}
  }

@book{ mumford:1998a,
  author = {Stephen Mumford},
  title = {Dispositions},
  publisher = {Oxford University Press},
  year = {1998},
  address = {Oxford},
  ISBN = {0198236115 (alk. paper)},
  rtnote = {UMich Graduate Library, BD 374 .M851 1998},
  xref = {Review: hawthorne_j2-manley:2005a.},
  topic = {dispositions;}
 }

@article{ mundici:2000a,
  author = {Danielle Mundici},
  title = {Foreward: Logics of Uncertainty},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {9},
  number = {1},
  pages = {1--3},
  topic = {reasoning-about-uncertainty;}
  }

@article{ mundy:1989a,
  author = {Brent Mundy},
  title = {Elementary Categorial Logic, Predicates of Variable
  	Degree, and Theory of Quantity},
  journal = {Journal of Philosophical Logic},
  year = {1989},
  volume = {18},
  number = {2},
  pages = {115--140},
  contentnote = {The polymorphism involved here is that of predicates
  	of variable degree.},
  topic = {polymorphism;formalizations-of-physics;}
  }

@book{ munitz-unger:1974a,
  editor = {Milton K. Munitz and Peter K. Unger},
  title = {Semantics and Philosophy},
  publisher = {New York University Press},
  year = {1974},
  address = {New York},
  ISBN = {0814753663},
  rtnote = {UMich Graduate Library, B 840 .S47.},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  contentnote = {TC:
     1. Gilbert Harman, "Meaning and Semantics", pp. 1--16
     2. William P. Alston, "Semantic Rules", pp. 17--48
     3. David Lewis, "{}'Tensions", pp. 49--61
     4. Peter F. Strawson, "Positions for Quantifiers", pp. 63--79
     5. Barbara H. Partee, "Opacity and Scope", pp. 81--101
     6. Jaakko Hintikka, "Questions about Questions", pp. 103--158
     7. Dennis W. Stampe, "Attributives and Interrogatives", pp. 159--196
     8. Robert C. Stalnaker, "Pragmatic Presuppositions", pp. 197--213
     9. Hilary Putnam, "The Refutation of Conventionalism", pp. 215--255
    10. Peter Unger, "Truth", pp. 257--291
  },
 topic = {nl-semantics;philosophy-of-language;}
 }

@article{ munsat:1986a,
  author = {Stanley Munsat},
  title = {Wh-Complementizers},
  journal = {Linguistics and Philosophy},
  year = {1986},
  volume = {9},
  number = {2},
  pages = {191--217},
  topic = {nl-syntax;interrogatives;}
  }

@incollection{ mura:1983a,
  author = {{Susan Swan} Mura},
  title = {Licensing Violations: Legitimate Violations of {G}rice's
  	Conversational Principle},
  booktitle = {Conversational Coherence:  Form, Structure and Strategy},
  publisher = {Sage Publications},
  year = {1983},
  editor = {Robert T. Craig and Karen Tracey},
  pages = {101--115},
  address = {London},
  rtnote = {In RHT collection.},
  topic = {discourse-coherence;discourse-analysis;cooperative-principle;
  	pragmatics;}
  }

@incollection{ mura_a:2009a,
   author = {Alberto Mura},
   title = {Probability and the Logic of {d}e {F}inetti'\s Trievents},
   booktitle = {{B}runo {d}e {F}inetti {R}adical {P}robabilist},
   publisher = {College Publications},
   year = {2009},
   editor = {{M}aria {C}arla {G}alavotti},
   pages = {201--242},
   address = {London, King's College},
   topic = {conditionals;probability;multivalued-logic;supervaluations;}
  }

@article{ murawski:2006a,
  author = {Andrzej S. Murawski},
  title = {Review of \emph{{L}inear Logic in Computer Science}, by
  	{T}homas {E}hrhard, {J}ean-{Y}ves {G}irard, {P}aul {R}uet,
		and {P}. {S}cott},
  journal = {The Bulletin of Symbolic Logic},
  year = {2006},
  volume = {12},
  number = {1},
  pages = {297--299},
  xref = {Review of: ehrhard-etal:2004a.},
  topic = {linear-logic;logic-and-computer-science;}
  }

@article{ murphy_k:2009a,
  author = {Kevin Murphy},
  title = {Review of \emph{{P}robabilistic Graphical Models}, by
  	{D}aphne {K}oller and {N}ir {F}riedman.},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {174},
  number = {2},
  pages = {145--146},
  xref = {Review of: koller_d-friedman_n:2009a},
  topic = {Bayesian-networks;graph-based-reasoning;probabilistic-reasoning;}
  }

@article{ murphy_r:2000a,
  author = {Robin Murphy},
  title = {Using Robot Competitions to Promote Educational
  	Development},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {21},
  number = {1},
  pages = {77--90},
  topic = {robotics;AI-education;}
  }

@book{ murray_j-lin_yl:1995a,
  author = {John Murray and Yili Liu},
  title = {The Colloquium: An Ontological Charcterization of
  		Distributed Human-Machine System Supervision},
  publisher = {College of Engineering, University of Michigan},
  year = {1995},
  address = {Ann Arbor},
  ISBN = {080581549X (paper)},
  rtnote = {UMich Undergraduate, Qa 76.9 .H85 C6551 1995.},
  topic = {HCI;}
 }

@inproceedings{ murray_ks:1996a,
  author = {Kenneth S. Murray},
  title = {{KI}: A Tool for Knowledge Integration},
  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 = {835--842},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {machine-learning;knowledge-integration;}
  }

@article{ murray_mj:2003a,
  author = {Michael J. Murray},
  title = {Review of \emph{{L}eibniz's Metaphysics: Its Origins and
  	Devellopment}, by {C}hristia {M}ercer},
  journal = {The Philosophical Review},
  year = {2003},
  volume = {112},
  number = {2},
  pages = {270--273},
  xref = {Review of: mercer_c:2001a.},
  topic = {Leibniz;}
  }

@article{ murray_nv:1982a,
  author = {Neil V. Murray},
  title = {Completely Non-Clausal Theorem Proving},
  journal = {Artificial Intelligence},
  year = {1982},
  volume = {18},
  number = {1},
  pages = {67--85},
  topic = {theorem-proving;}
  }

@inproceedings{ musa-etal:2003a,
  author = {Rami Musa and Madleina Schneidegger and Andrea Kulas and
    		Yoan Anguilet},
  title = {Glo{B}uddy: A Dynamic Broad Context
		Phrase Book},
  booktitle = {Modeling and Using Context: Fourth International and
  	Interdisciplinary Conference, Context 2003},
  publisher = {Springer-Verlag},
  year = {2003},
  editor = {Patrick Blackburn and Chiara Ghidini and Roy M. Turner
  	and Fausto Giunchiglia},
  pages = {467--474},
  address = {Berlin},
  topic = {context;common-sense-reasoning;language-reference;}
  }

@inproceedings{ musan:1996a,
  author = {Renate Musan},
  title = {\,`There'-Constructions Revisited},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VI}},
  publisher = {Cornell University},
  year = {1996},
  editor = {Teresa Galloway and Justin Spence},
  pages = {167--184},
  address = {Ithaca, New York},
  topic = {nl-semantics;existential-constructions;}
  }

@article{ musan:1997a,
  author = {Renate Musan},
  title = {Tense, Predicates, and Lifetime Effects},
  journal = {Natural Language Semantics},
  year = {1997},
  volume = {5},
  number = {3},
  pages = {271--301},
  topic = {nl-tense;}
  }

@article{ musan:1999a,
  author = {Renate Musan},
  title = {Temporal Interpretation and Information-Status of
  	Noun Phrases},
  journal = {Linguistics and Philosophy},
  year = {1999},
  volume = {22},
  number = {6},
  pages = {621--661},
  topic = {nl-semantics;nl-tense;noun-phrase-semantics;}
  }

@incollection{ muscettola-etal:1998a,
  author = {Nicola Muscettola and Paul Morris and
  	Ioannis Tsamardinos},
  title = {Reformulating Temporal Plans for Efficient Reasoning},
  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 = {444--452},
  address = {San Francisco, California},
  topic = {kr;planning;action-formalisms;plan-execution;kr-course;}
  }

@article{ muscettola-etal:1998b,
  author = {Nicola Muscettola and P. Pandurang Nayak and
  	Barney Pell and Brian C. Williams},
  title = {Remote Agent: to Go Boldly Where No {AI} System Has
  	Gone Before},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {103},
  number = {1--2},
  pages = {5--47},
  topic = {autonomous-agents;}
  }

@incollection{ mushim-etal:2000a,
  author = {Ilana Mushim and Lesley Stirling and Janet Fletcher and
     		Roger Wales},
  title = {Identifying Prosodic Indicators of
		Dialogue Structure: Some Methodological and
		Theoretical Considerations},
  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 = {36--45},
  address = {Somerset, New Jersey},
  topic = {computational-dialogue;prosody;discourse-structure;}
  }

@unpublished{ muskens:1980a,
  author = {Reinhard Muskens},
  title = {The Partial Theory of Types},
  year = {1980},
  note = {(Handout).},
  rtnote = {Date is a guess.},
  rtnote = {In RHT collection.},
  topic = {partial-logic;higher-order-logic;}
  }

@techreport{ muskens:1986a,
  author = {Reinhard Muskens},
  title = {A Relational Formulation of the Theory of Types},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {86--04},
  year = {1986},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland},
  rtnote = {In RHT collection. },
  topic = {higher-order-logic;}
  }

@techreport{ muskens:1988a,
  author = {Reinhard Muskens},
  title = {Going Partial in {M}ontague Grammar},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {LP--88--04},
  year = {1986},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland},
  rtnote = {In RHT collection.  Files.},
  topic = {truth-value-gaps;partial-logic;higher-order-logic;
		Montague-grammar;}
  }

@phdthesis{ muskens:1989a,
  author = {Reinhard Muskens},
  title = {Meaning and Partiality},
  school = {University of Amsterdam},
  year = {1989},
  type = {Ph.{D}. Dissertation},
  address = {Amsterdam},
  topic = {partial-logic;nl-semantics;}
 }

@article{ muskens:1989b,
  author = {Reinhard Muskens},
  title = {A Relational Formulation of the Theory of Types},
  journal = {Linguistics and Philosophy},
  year = {1989},
  volume = {12},
  number = {3},
  pages = {325--346},
  topic = {intensional-logic;higher-order-logic;}
 }

@article{ muskens:1991a,
  author = {Reihnard Muskens},
  title = {Hyperfine-Grained Meanings in Classical Logic},
  year = {1991},
  journal = {Logique et Analyse},
  volume = {133--134},
  pages = {159--176},
  note = {Also available at http://www.semantics-archive.net/Archive/GVkYmRm/hyperfine.pdf.},
  rtnote = {In RHT collection.},
  topic = {hyperintensionality;}
  }

@article{ muskens:1996a,
  author = {Reinhard Muskens},
  title = {Combining {M}ontague Semantics and Discourse
  	Representation},
  journal = {Linguistics and Philosophy},
  year = {1996},
  volume = {19},
  number = {2},
  pages = {143--186},
  topic = {Montague-grammar;discourse-representation-theory;pragmatics;}
  }

@book{ muskens:1996b,
  author = {Reinhard Muskens},
  title = {Meaning and Partiality},
  publisher = {Cambridge University Press},
  year = {1996},
  address = {Cambridge, England},
  xref = {Revision of muskens:1989a.},
  topic = {partial-logic;nl-semantics;}
 }

@incollection{ muskens:1996c,
  author = {Reinhard Muskens},
  title = {Dynamics},
  booktitle = {Handbook of Logic and Language},
  publisher = {Elsevier Science Publishers},
  year = {1996},
  editor = {Johan {van Benthem} and Alice {ter Meulen}},
  pages = {587--648},
  address = {Amsterdam},
  topic = {nl-semantics;dynamic-semantics;dynamic-logic;}
  }

@article{ muskens:2001a,
  author = {Reinhard Muskens},
  title = {Talking about Trees and Truth-Conditions},
  journal = {Journal of Logic, Language, and Information},
  year = {2001},
  volume = {10},
  number = {4},
  pages = {417--455},
  topic = {grammar-formalisms;underspecification-theory;}
  }

@inproceedings{ muskens:2002a,
  author = {Reinhard Muskens},
  title = {$\lambda$-Grammars and the Syntax-Semantics Interface},
  booktitle = {Proceedings of the 2001 {A}msterdam Colloquium
  	on Formal Semantics},
  publisher = {ILLC/Department of Philosophy, University of Amsterdam},
  year = {2002},
  editor = {Robert van Rooy and Martin Stokhof},
  address = {Amsterdam},
  pages = {150--155},
  rtnote = {In RHT collection.},
  topic = {lambda-calculus;syntax-semantics-interface;}
  }

@article{ muskens:2005a,
  author = {Reinhard Muskens},
  title = {Sense and the Computation of Reference},
  journal = {Linguistics and Philosophy},
  year = {2005},
  volume = {28},
  number = {4},
  pages = {473--504},
  topic = {hyperintensionality;procedural-semantics;}
  }

@incollection{ muskens:2006a,
  author = {Reinhard Muskens},
  title = {Higher Order Modal Logic},
  booktitle = {Handbook of Modal Logic},
  year = {2006},
  editor = {Patrick Blackburn and Johan van Benthem and Frank Wolter},
  pages = {621--653},
  address = {New York},
  rtnote = {In RHT collection.  File drawers.},
  topic = {modal-logic;higher-order-logic;type-theory;intensional-logic;}
  }

@article{ muskens:2007a,
  author = {Reinhard Muskens},
  title = {Intensional Models for the Theory of Types},
  journal = {Journal of Symbolic Logic},
  year = {2007},
  volume = {72},
  number = {1},
  pages = {98--118},
  topic = {hyperintensionality;type-theory;}
  }

@article{ muskens:2010a,
  author = {Reinhardt Muskens},
  title = {New Directions in Type-Theoretic Grammars},
  journal = {Journal of Logic, Language, and Information},
  year = {2010},
  volume = {19},
  number = {2},
  pages = {129--136},
  topic = {categorial-grammar;type-theory;Curry;}
  }

@article{ musliner-etal:1995a,
  author = {David J. Musliner and Edmund H. Durfee and Kang G. Shin},
  title = {World Modeling for the Dynamic Construction of Real-Time
  	Control Plans},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {74},
  number = {1},
  pages = {83--127},
  acontentnote = {Abstract:
     As intelligent, autonomous systems are embedded in critical
     real-world environments, it becomes increasingly important to
     rigorously characterize how these systems will perform.  Research
     in real-time computing and control has developed ways of proving
     that a given control system will meet the demands of an
     environment, but has not addressed the dynamic planning of
     control actions.  Building an agent that can flexibly achieve
     its goals in changing environments requires a blending of
     real-time computing and AI technologies.  The Cooperative
     Intelligent Real-time Control Architecture (CIRCA) implements
     this blending by executing complex AI methods and guaranteed
     real-time control plans on separate subsystems.  We describe the
     formal model of agent/environment interactions that CIRCA uses
     to build control plans, and we show how those control plans are
     guaranteed to meet domain requirements.  CIRCA's world model
     provides the information required to make real-time performance
     guarantees, but avoids unnecessary complexity.  },
  topic = {planning;procedural-control;}
  }

@article{ mutchler:1993a,
  author = {David Mutchler},
  title = {The Multi-Player Version of Minimax Displays Game-Tree
  	Pathology},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {64},
  number = {2},
  pages = {323--336},
  acontentnote = {Abstract:
     It is widely believed that by searching deeper in the game tree,
     the decision-maker is more likely to make a better decision.
     Dana Nau and others have discovered pathology theorems that show
     the opposite: searching deeper in the game tree causes the
     quality of the ultimate decision to become worse, not better.
     The models for these theorems assume that the search procedure
     is minimax and the games are two-player zero-sum. This report
     extends Nau's pathology theorem to multi-player game trees
     searched with maxn, the multi-player version of minimax. Thus
     two-player zero-sum game trees and multi-player game trees are
     shown to have an important feature in common.},
  topic = {search;AI-algorithms-analysis;game-trees;game-tree-pathology;}
  }

@article{ mycielski:1989a,
  author = {Jan Mycielski},
  title = {The Meaning of Pure Mathematics},
  journal = {Journal of Philosophical Logic},
  year = {1989},
  volume = {18},
  number = {3},
  pages = {315--320},
  topic = {philosophy-of-mathematics;}
  }

@article{ mycielski:1992a,
  author = {Jan Mycielski},
  title = {Quantifier-Free Versions of First-Order Logic and
		Their Psychological Significance},
  journal = {Journal of Philosophical Logic},
  year = {1992},
  volume = {21},
  number = {2},
  pages = {125--147},
  topic = {algebraic-logic;foundations-of-logic;
		nl-semantics-and-cognition;}
  }

@article{ mycroft-okeefe:1984a,
  author = {Alan Mycroft and Richard A. O'Keefe},
  title = {A Polymorphic Type System for {PROLOG}},
  journal = {Artificial Intelligence},
  year = {1984},
  volume = {23},
  number = {3},
  pages = {295--307},
  topic = {polymorphism;Prolog;}
  }

@article{ myers_d:2002a,
  author = {Dale Myers},
  title = {Review of \emph{{A}utomated Reasoning with {O}tter}, by
  	{J}ohn {A}rnold {K}alman},
  journal = {The Bulletin of Symbolic Logic},
  year = {2002},
  volume = {8},
  number = {3},
  pages = {428--429},
  xref = {Review of: kalman:2001a.},
  topic = {theorem-proving;computer-assisted-mathematics;}
  }

@incollection{ myers_kl:1991a,
  author = {Karen L. Myers},
  title = {Universal Attachment: An Integration Method for Logic Hybrids},
  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 = {405--416},
  address = {San Mateo, California},
  topic = {kr;hybrid-reasoning-architectures;combining-logics;}
  }

@article{ myers_kl:1994a,
  author = {Karen L. Myers},
  title = {Hybrid Reasoning Using Universal Attachment},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {67},
  number = {2},
  pages = {329--375},
  acontentnote = {Abstract:
     Hybrid representation frameworks provide a powerful basis for
     constructing intelligent systems.  Universal attachment is a
     domain-independent mechanism for integrating diverse
     representation and reasoning methods into hybrid frameworks that
     contain a subsystem based on deduction over logical formulas.
     Although based on the same principles as previous attachment
     methods, universal attachment provides a much broader range of
     connections between general-purpose deduction and specialized
     representation and reasoning techniques.  This paper defines a
     formal inference rule of universal attachment and discusses the
     properties of soundness, completeness and correctness for this
     rule.  The relationship between universal attachment and other
     integration techniques is explored.  Finally, policies based on
     experimentation with an implemented universal attachment system
     are presented that lend guidance in exploiting the expanded
     representational and inferential capabilities that hybrid
     systems provide.  },
  topic = {hybrid-kr-architectures;knowledge-integration;}
  }

@incollection{ myers_kl:1996a,
  author = {Karen L. Myers},
  title = {Strategic Advice for Hierarchical Planners},
  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 = {112--123},
  address = {San Francisco, California},
  topic = {planning;abstraction;}
  }

@article{ myers_kl:1999a,
  author = {Karen L. Myers},
  title = {{\sc Cpef}: A Continuous Planning and Execution Framework},
  journal = {The {AI} Magazine},
  year = {1999},
  volume = {20},
  number = {4},
  pages = {63--69},
  topic = {execution-monitoring;plan-execution;plan-maintenance;}
  }

@incollection{ myers_kl-konolige:1992a,
  author = {Karen L. Myers and Kurt Konolige},
  title = {Reasoning wirh Analogical Representations},
  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 = {189--200},
  address = {San Mateo, California},
  topic = {kr;analogy;}
  }

@incollection{ myers_kl-morley_dn:2002a,
  author = {Karen L. Myers and David N. Morley},
  title = {Resolving Conflicts in Agent Guidance},
  booktitle = {Preferences in {AI} and {CP}: Symbolic Approaches},
  publisher = {AAAI Press},
  year = {2002},
  editor = {Ulrich Junker},
  pages = {52--59},
  address = {Menlo Park, California},
  topic = {preferences;qualitative-utility;conflict-resolution;
  		moral-conflict;}
  }

@book{ myers_t-etal:1985a,
  editor = {Terry Myers and Keith Brown and Brendan McGonigle},
  title = {Reasoning and Discourse Processes},
  publisher = {Academic Press},
  year = {1985},
  address = {New York},
  ISBN = {012512321-3 (paperback)},
  contentnote = {TC:
     1. Terry Myers and Keith Brown and Brendan
     		McGonigle, "Introduction: Representation and
		Inference in Reasoning and Discourse", pp. 1--11
     2. Philip N. Johnson-Laird, "Reasoning without
     		Logic", pp. 13--49
     3. Terence Moore, "Reasoning and Inference in Logic and
     		Language", pp. 51--66
     4. Jens Allwood, "Logic and Spoken
     		Interaction", pp. 67--91
     5. G. Hagert and Y. Waern, "On Implicit Assumptions
     		in Reasoning", pp. 93--115
     6. J.A. Stedmon, "More Than 'All'?  Children's
     		Problems with Plural Judgements", pp. 117--139
     7. B. McGonigle and M. Chalmers, "Representations and
     		Strategies During Inference", pp. 141--164
     8. Keith Stenning, "On Making Models: A Study of
     		Constructive Memory", pp. 165--185
     9. Pieter A.M. Seuren, "Anaphora Resolution", pp. 187--207
    10. Ruth Kempson, "Definite {NP}s and Context-Dependence:
    		A Unified Theory of Anaphora", pp. 209--239
    11. Deirdre Wilson and Dan Sperber, "Inference and Implicature in
    		Utterance Interpretation ", pp. 241--263
    12. Yorick Wilks, "Relevance and Beliefs", pp. 265--289
  },
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {pragmatics;coherence;pragmatic-reasoning;}
 }

@incollection{ myers_t-etal:1985b,
  author = {Terry Myers and Keith Brown and Brendan McGonigle},
  title = {Introduction: Representation and
		Inference in Reasoning and Discourse},
  booktitle = {Reasoning and Discourse Processes},
  publisher = {Academic Press},
  year = {1985},
  editor = {Terry Myers and Keith Brown and Brendan McGonigle},
  pages = {1--11},
  address = {New York},
  topic = {discourse;pragmatics;coherence;anaphora;pragmatic-reasoning;}
  }

@inproceedings{ myerson:1988a,
  author = {Roger B. Myerson},
  title = {Incentive Constraints and Optimal Communications Systems},
  booktitle = {Proceedings of the Second Conference on Theoretical
  	Aspects of Reasoning about Knowledge},
  year = {1988},
  editor = {Moshe Y. Vardi},
  pages = {179--193},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  topic = {communication-protocols;game-theory;}
  }

@article{ myhill:1958a,
  author = {John Myhill},
  title = {Problems Arising in the Formalization of Intensional Logic},
  journal = {Logique et Analyse},
  year = {1958},
  volume = {1},
  pages = {78--83},
  topic = {logic-of-sense-and-denotation;semantic-paradoxes;
  	intensional-paradoxes;Frege;intensional-logic;}
  }

@article{ myhill:1960a,
  author = {John Myhill},
  title = {Remarks on the Notion of Proof},
  journal = {The Journal of Philosophy},
  year = {1960},
  volume = {57},
  number = {14},
  pages = {461--471},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-mathematics;goedels-first-theorem;}
  }

@incollection{ myhill:1974a,
  author = {John Myhill},
  title = {The Undefinability of the Set of Natural Numbers in the
  		Ramified {P}rincipia},
  booktitle = {Bertrand {R}ussell's Philosophy},
  publisher = {Barnes and Noble},
  year = {1974},
  editor = {George Nakhnikian},
  pages = {19--27},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {ramified-type-theory;}
  }

@incollection{ myhill:1979a,
  author = {John Myhill},
  title = {A Refutation of an Unjustified Attack on the Axiom of
  		Reducibility},
  booktitle = {Bertrand {R}ussell Memorial Volume},
  publisher = {George Allen \&{} Unwin},
  year = {1979},
  editor = {George W. Roberts},
  pages = {81--90},
  address = {London},
  rtnote = {In RHT collection.},
  topic = {principia-mathematica;intensional-paradoxes;semantic-paradoxes;}
  }

@article{ myhill_j:1958a,
  author = {John Myhill},
  title = {Problems Arising in the Formalization of Intensional Logic},
  journal = {Logique et Analyse},
  year = {1958},
  volume = {1},
  pages = {78--83},
  topic = {intensional-paradoxes;}
}

@article{ mylonas-renear:1999a,
  author = {Elli Mylonas and Allen Renear},
  title = {The Text Encoding Initiative at 10: Not Just an
		Interchange Format Anymore, But a New Research Community},
  journal = {Computers and the Humanities},
  year = {1999},
  volume = {33},
  number = {1--2},
  pages = {1--9},
  topic = {Text-Encoding-Initiative;corpus-linguistics;}
  }

@incollection{ mylopoulos:1992a,
  author = {John Mylopoulos},
  title = {The {PSN} Tribe},
  booktitle = {Semantic Networks in Artificial Intelligence},
  publisher = {Pergamon Press},
  year = {1992},
  editor = {Fritz Lehmann},
  pages = {223--241},
  address = {Oxford},
  rtnote = {PSN appears to be a frame-like system with special attn
  	to representing procedures. My guess is that it is a dead
	family.},
  topic = {kr;semantic-networks;kr-course;}
  }

@incollection{ mylopoulos-levesque:1984a,
  author = {John Mylopoulos and Hector J. Levesque},
  title = {An Overview of Knowledge Representation},
  booktitle = {On Conceptual Modelling:  Perspectives from Artificial
  	Intelligence, Databases and Programming Languages},
  publisher = {Springer-Verlag},
  year = {1984},
  editor = {Michael L. Brodie and John Mylopoulos and Joachim W. Schmidt},
  pages = {3--17},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {kr;kr-course;}
  }

@incollection{ myro:1986a,
  author = {George Myro},
  title = {Identity and Time},
  booktitle = {Philosophical Grounds of Rationality},
  publisher = {Oxford University Press},
  year = {1986},
  editor = {Richard E. Grandy and Richard Warner},
  pages = {383--409},
  address = {Oxford},
  topic = {individuation;identity;}
  }

@article{ myrvold:2002a,
  author = {Wayne Myrvold},
  title = {Review of \emph{{T}he Quantum Mechanics of Minds and Worlds},
  	by {J}effrey {A}lan {B}arrett},
  journal = {Philosophy of Science},
  year = {2002},
  volume = {69},
  number = {3},
  pages = {474--496},
  xref = {Review of: barrett_ja:1999a.},
  topic = {foundations-of-quantum-mechanics;branching-time;}
  }

@article{ na-huck:1993a,
  author = {YoungHee Na and G.J. Huck},
  title = {On the Status of Certain Island Violations in
  	{K}orean},
  journal = {Linguistics and Philosophy},
  year = {1993},
  volume = {16},
  number = {2},
  pages = {181--229},
  topic = {syntactic-islands;Korean-language;}
  }

@book{ nadel:1989a,
  editor = {Lynn Nadel},
  title = {Neural Connections, Mental Computation},
  publisher = {The {MIT} Press},
  year = {1989},
  address = {Cambridge, Massachusetts},
  ISBN = {026214042X},
  rtnote = {UMich Graduate Library, QP 395 .N481 1989.},
  topic = {neurocognition;}
 }

@inproceedings{ nado-fikes:1990a,
  author = {Robert A. Nado and Richard E. Fikes},
  title = {Semantically Sound Inheritance for a Formally Defined
  	Frame Language With Defaults},
  booktitle = {Proceedings of the Sixth National Conference on
              Artificial Intelligence},
  year = {1987},
  pages = {443--448},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  missinginfo = {editor, checkpublisher},
  topic = {nonmonotonic-reasoning;extensions-of-kl1;description-logics;}
  }

@incollection{ nado-fikes:1992a,
  author = {Robert Nado and Richard Fikes},
  title = {Saying More with Frames},
  booktitle = {Semantic Networks in Artificial Intelligence},
  publisher = {Pergamon Press},
  year = {1992},
  editor = {Fritz Lehmann},
  pages = {719--731},
  address = {Oxford},
  topic = {kr;frames;semantic-networks;kr-course;}
  }

@incollection{ naess:1950a2,
  author = {Arne Naess},
  title = {Towards a Theory of Interpretation and Preciseness},
  booktitle = {Semantics and the Philosophy of Language},
  publisher = {University of Illinois Press},
  year = {1952},
  editor = {Leonard Linsky},
  pages = {248--269},
  address = {Urbana, Illinois},
  xref = {Republication of: naess:1950a1.},
  topic = {vagueness;synonymy;}
  }

@inproceedings{ nagao_k:1989a,
  author = {Katashi Nagao},
  title = {Semantic Interpretation Based on the Multi-World Model},
  booktitle = {Proceedings of the Eleventh International Joint
  	Conference on Artificial Intelligence},
  year = {1989},
  editor = {N.S. Sridharan},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  missinginfo = {pages},
  topic = {nl-interpretation;}
  }

@inproceedings{ nagao_k:1993a,
  author = {Katashi Nagao},
  title = {Abduction and Dynamic Preference in Plan-Based
		Dialogue Understanding},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {1186--1192},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  rtnote = {In RHT collection.},
  topic = {abduction;plan-recognition;discourse;pragmatics;}
  }

@inproceedings{ nagao_k-takeuchi:1994a,
  author = {Katashi Nagao and Akikazu Takeuchi},
  title = {Speech Dialogue with Facial Displays: Multimodal
  	Human-Computer Conversation},
  year = {1994},
  booktitle = {Proceedings of ACL 32},
  pages = {102--109},
  topic = {facial-expression;computational-discourse;
  	multimodal-communication;}
  }

@incollection{ nagao_m:1994a,
  author = {Makoto Nagao},
  title = {Varieties of Heuristics in Sentence Parsing},
  booktitle = {Current Issues in Computational Linguistics: Essays in
  	Honour of {D}on {W}alker},
  publisher = {Giardini Editori e Stampatori and Kluwer Academic
  	Publishers},
  year = {1994},
  editor = {Antonio Zampolli and Nicoletta Calzolari and Martha Palmer},
  pages = {513--523},
  address = {Pisa and Dordrecht},
  topic = {parsing-algorithms;}
  }

@incollection{ nagata:1996a,
  author = {Mesaaki Nagata},
  title = {Automatic Extraction of New Words from {J}apanese
			Texts Using Generalized Forward-Backward Search},
  booktitle = {Proceedings of the Conference on Empirical
		Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1996},
  editor = {Eric Brill and Kenneth Church},
  pages = {48--59},
  address = {Somerset, New Jersey},
  topic = {Japanese-language;corpus-statistics;dictionary-construction;}
  }

@incollection{ nagel_e:1944a,
  author = {Ernest Nagel},
  title = {Logic without Ontology},
  booktitle = {Naturalism and the Human Spirit},
  publisher = {Columbia University Press},
  year = {1944},
  editor = {Yervant H. Krikorian},
  pages = {210--241},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-logic;}
  }

@incollection{ nagel_e:1949a,
  author = {Ernest Nagel},
  title = {The Meaning of Reduction in the Natural Sciences},
  booktitle = {Science and Civilization},
  publisher = {University of Wisconsin Press},
  year = {1949},
  editor = {Robert C. Stauffer},
  pages = {99--135},
  address = {Madison, Wisconsin},
  rtnote = {In RHT collection.},
  topic = {reduction;}
  }

@book{ nagel_e-etal:1962a,
  editor = {Ernest Nagel and Patrick Suppes and Alfred Tarski},
  title = {Logic, Methodology, and Philosophy of Science: Proceedings
  		of the 1960 International Congress},
  publisher = {Stanford University Press},
  year = {1962},
  address = {Stanford, California},
  rtnote = {In RHT collection.  Philsci Shelves.},
  topic = {philosophy-of-science;mathematical-logic;}
 }

@article{ nagel_t:1965a,
  author = {Thomas Nagel},
  title = {Physicalism},
  journal = {The Philosophical Review},
  year = {1965},
  volume = {74},
  number = {3},
  pages = {339--356},
  rtnote = {In RHT collection.},
  topic = {mind-body-problem;}
  }

@article{ nagel_t:1974a,
  author = {Thomas Nagel},
  title = {What Is it Like to Be a Bat?},
  journal = {The Philosophical Review},
  year = {1974},
  volume = {83},
  pages = {435--450},
  missinginfo = {number},
  xref = {Reprinted in The Minds {I}},
  topic = {philosophy-of-mind;other-modeling;animal-cognition;}
  }

@incollection{ nagel_t:1978a,
  author = {Thomas Nagel},
  title = {Desires, Prudential Motives, and the Present},
  booktitle = {Practical Reasoning},
  publisher = {Oxford University Press},
  year = {1978},
  editor = {Joseph Raz},
  pages = {153--152},
  address = {Oxford},
  topic = {desires;}
  }

@incollection{ nagy-etal:2005a,
  author = {Naomi Nagy and Xiaoli Zhang and George Nagy and
  	Edgar W. Schneider},
  title = {A Quantitative Categorization of Phonemic Dialect Features
  	in Context},
  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 = {326--338},
  address = {Berlin},
  topic = {context;dialectology;}
  }

@incollection{ nair-etal:2003a,
  author = {Ranjit Nair and Miland Tambe and Stacy Marsella},
  title = {Integrating Belief-Desire-Intention Approaches with
  	{POMDPS}: The Case of Team-Oriented Programs},
  booktitle = {Working Papers of the 2003 {AAAI} Spring Symposium on
  	Logical Formalization of Commonsense Reasoning},
  publisher = {AAAI Press},
  year = {2003},
  editor = {Patrick Doherty and John McCarthy and Mary-Anne Williams},
  pages = {107--115},
  address = {Menlo Park, California},
  contentnote = {A "POMDS" is a partially observable Markov decision
  	process.},
  topic = {agent-architectures;Markov-decision-processes;
  	distributed-processing;}
  }

@incollection{ nakamura:1991a,
  author = {Akira Nakamura},
  title = {A Logic of Imprecise Monadic Predicates and its Relation to
  	the {S5}-Modal Fuzzy 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 = {254--261},
  address = {Berlin},
  topic = {fuzzy-logic;modal-logic;}
  }

@inproceedings{ nakanishi:1991a,
  author = {Kimiko Nakanshi},
  title = {Even, only, and Negative Polarity in Japanese},
  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/2006.salt16.nakanishi.pdf},
  topic = {polarity;Japanese-language;}
  }

@article{ nakanishi:2007a,
  author = {Kimiko Nakanishi},
  title = {Measurement in the Nominal and Verbal Domains},
  journal = {Linguistics and Philosophy},
  year = {2007},
  volume = {30},
  number = {2},
  pages = {235--276},
  topic = {nl-semantics;measures;plural;Japanese-language;}
  }

@incollection{ nakano-kato_t:1998a,
  author = {Yukiko I. Nakano and Tsuneaki Kato},
  title = {Cue Phrase Selection in Instruction Dialogue Using Machine
  	Learning},
  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 = {100--106},
  address = {Somerset, New Jersey},
  topic = {discourse-cue-words;discourse-structure;machine-learning;
  	nl-generation;}
  }

@article{ nakashima-etal:1997a,
  author = {Hideyuki Nakashima and Hitoshi Matsubara and Ichiro Osawa},
  title = {Causality as a Key to the Frame Problem},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {91},
  number = {1},
  pages = {37--50},
  topic = {frame-problem;causality;krcourse;}
  }

@inproceedings{ nakatani-chucarroll:2000a,
  author = {Christine H. Nakatani and Jennifer Chu-Carroll},
  title = {Using Dialogue Representations for Concept-to-Speech
		Generation},
  booktitle = {Conversational Systems},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Candace Sidner and James Allen and Phil Cohen and
  	Justine Cassell and Laila Dybkjaer and X.D. Huang and
	Masato Ishizaki and Candace Kamm and Lin-Shan Lee and
	Susann Luperfoy and Patti Price and Owen Rambow and
	Norbert Reithinger and Alex Rudnicky and Stephanie
	Seneff and Dave Stallard and David R. Traum and Marilyn
	Walker and Wayne Ward},
  pages = {48--53 },
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;nl-generation;}
  }

@incollection{ nakazoto:2000a,
  author = {Shu Nakazoto},
  title = {Japanese Dialogue Corpus of Multi-Level Annotation},
  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 = {1--8},
  address = {Somerset, New Jersey},
  topic = {computational-dialogue;corpus-linguistics-Japanese-language;}
  }

@unpublished{ nakhamovsky:1988a,
  author = {Alexander Nakhamovsky},
  title = {Aspect, Aspectual Class, and the Temporal Structure of
  	Discourse},
  year = {1988},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Department of Computer Science,
  	Colgate University.},
  topic = {Aktionsarten;tense-aspect;discourse-structure;pragmatics;}
  }

@incollection{ nakisa-plunkett:1998a,
  author = {Ramin Charles Nakisa and Kim Plunkett},
  title = {Evolution of a Rapidly Learned Representation for Speech},
  booktitle = {{CoNLL97}: Computational Natural Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {T. Mark Ellison},
  pages = {70--79},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;speech-recognition;}
  }

@inproceedings{ napoli_a:1992a,
  author = {Amedeo Napoli},
  title = {Representation of Partial Order Relations and Procedures in
  	Object-Based Representations Systems},
  booktitle = {Working Notes, {AAAI} Fall Symposium on Issues in Description
  	Logics: Users Meet Developers},
  year = {1992},
  editor = {Robert MacGregor},
  pages = {61--63},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {kr;krcourse;extensions-of-KL1-description-logics;}
  }

@article{ napoli_dj:1988a,
  author = {Donna Jo Napoli},
  title = {Subjects and External Arguments: Clauses and Non-Clauses},
  journal = {Linguistics and Philosophy},
  year = {1988},
  volume = {11},
  number = {3},
  pages = {323--354},
  topic = {government-binding-theory;grammatical-relations;}
  }

@article{ napoli_e:1995a,
  author = {Ernesto Napoli},
  title = {Direct Reference},
  journal = {Journal of Philosophical Logic},
  year = {1995},
  volume = {24},
  number = {3},
  pages = {321--329},
  topic = {reference;}
  }

@incollection{ narayanan_a:1984a,
  author = {Ajit Narayanan},
  title = {What is it Like to be a Machine?},
  booktitle = {The Mind and the Machine: Philosophical Aspects
  	of Artificial Intelligence},
  publisher = {Ellis Horwood, Ltd.},
  year = {1984},
  editor = {Steve B. Torrance},
  pages = {79--87},
  address = {Chichester},
  topic = {philosophy-of-AI;other-modeling;consciousness;}
  }

@incollection{ narayanan_a:1996a,
  author = {Ajit Narayanan},
  title = {The Intentional Stance and the Imitation Game},
  booktitle = {Machines and Thought: The Legacy of {A}lan {T}uring:
  	Volume {I}},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Peter J.R. Millican and A. Clark},
  pages = {63--79},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {Turing-test;philosophy-AI;philosophy-of-mind;}
  }

@incollection{ narayanan_nh-etal:1995a,
  author = {N. Hari Narayanan and Masaki Suwa and Hiroshi Motoda},
  title = {Behavior Hypothesis from Schematic Diagrams},
  booktitle = {Diagrammatic Reasoning},
  publisher = {The {MIT} Press},
  year = {1995},
  editor =  {Janice Glasgow and N. Hari Narayanan and B.
		Chandrasekaran},
  pages = {501--534},
  address = {Cambridge, Massachusetts},
  topic = {diagrams;cognitive-psychology;visual-reasoning;}
  }

@book{ nardi:1996a,
  editor = {Bonnie A. Nardi},
  title = {Context and Consciousness: Activity Theory And
  	Human-Computer Interaction},
  publisher = {The {MIT} Press},
  year = {1996},
  address = {Cambridge, Massachusetts},
  ISBN = {0262140586 (paper)},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 C681 1996.},
  topic = {HCI;context;}
 }

@incollection{ nardi-brachman:2003a,
  author = {Daniele Nardi and Ronald J. Brachman},
  title = {An Introduction to Description Logics},
  booktitle = {The Description Logic Handbook:  Theory, Implementation
  		and Applications},
  publisher = {Cambridge University Press},
  year = {2003},
  editor = {Franz Baader and Diego Calvanese and Deborah L. McGuinness
  		and Daniele Nardi and Peter Patel-Schneider},
  pages = {1--40},
  address = {Cambridge, England},
  topic = {description-logics;kr;}
  }

@techreport{ narens:1972a,
  author = {Louis Narens},
  title = {Why Tall Pygmies are Short},
  institution = {School of Social Sciences, University of California
  	at Irvine},
  number = {W13},
  year = {1972},
  address = {Irvine, California},
  rtnote = {In RHT collection.},
  topic = {semantics-of-adjectives;vagueness;}
  }

@article{ narens:1974a,
  author = {Louis Narens},
  title = {Minimal Conditions for Additive Conjoint Measurement
  	and Qualitative Probability},
  journal = {Journal of Mathematical Psychology},
  year = {1974},
  volume = {11},
  pages = {404--430},
  missinginfo = {number},
  topic = {qualitative-probability;measurement-theory;}
  }

@article{ narens:1974b,
  author = {Louis Narens},
  title = {Measurement without {A}rchimedian Axioms},
  journal = {Philosophy of Science},
  year = {1974},
  volume = {9},
  number = {2},
  pages = {374--393},
  topic = {qualitative-probability;measurement-theory;}
  }

@article{ narens:1980a,
  author = {Louis Narens},
  title = {On Qualitative Axiomatizations for Probability Theory},
  journal = {Journal of Philosophical Logic},
  year = {1980},
  volume = {9},
  number = {2},
  pages = {143--151},
  contentnote = {Considers axiomatizability of qualitative probability.
  	The results are negative.},
  topic = {qualitative-probability;measurement-theory;}
  }

@book{ narens:1988a,
  author = {Louis Narens},
  title = {Abstract Measurement Theory},
  publisher = {The {MIT} Press},
  year = {1988},
  address = {Cambridge, Massachusetts},
  xref = {Review: kyburg:1988a},
  topic = {measurement-in-behavioral-science;measurement-theory;}
 }

@article{ narveson:1976a,
  author = {Jan Narveson},
  title = {Utilitarianism, Group Actions, and Coordination},
  journal = {No\^us},
  volume = {10},
  year = {1976},
  pages = {173--194},
  topic = {utilitarianism;}
    }

@article{ narveson:1977a,
  author = {Jan Narveson},
  title = {Compatibilism Defended},
  journal = {Philosophical Studies},
  volume = {32},
  year = {1977},
  pages = {83--87},
  topic = {freedom;volition;}
    }

@inproceedings{ nashukawa-uramoto:1995a,
  author = {Tetsuya Nasukawa and Naohiko Uramoto},
  title = {Discourse as a Knowledge Resource for Sentence
  	Disambiguation},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {1360--1365},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {discourse;nl-interpretation;pragmatics;}
  }

@article{ nason:1946a,
  author = {John W. Nason},
  title = {Leibniz's Attack on the {C}artesian Doctrine of
  	Extension},
  journal = {Journal of the History of Ideas},
  year = {1946},
  volume = {7},
  number = {4},
  pages = {447--483},
  rtnote = {In RHT collection.},
  topic = {Leibniz;}
  }

@article{ nathan:1984a,
  author = {Amos Nathan},
  title = {False Expectations},
  journal = {Philosophy of Science},
  year = {1984},
  volume = {51},
  number = {1},
  pages = {128--136},
  topic = {foundations-of-probability;}
  }

@article{ nau:1982a,
  author = {Dana S. Nau},
  title = {The Last Player Theorem},
  journal = {Artificial Intelligence},
  year = {1982},
  volume = {18},
  number = {1},
  pages = {53--65},
  acontentnote = {Abstract:
     Game trees are an important model of decision-making situations,
     both in artificial intelligence and decision analysis, but many
     of the properties of game trees are not well understood.  One of
     these properties is known as biasing: when a minimax search is
     done to an odd search depth, all moves tend to look good, and
     when it is done to an even search depth, all modes tend to look
     bad.
      One explanation sometimes proposed for biasing is that whenever
     a player makes a move his position is `strengthened', and that
     the evaluation function used in the minimax search reflects
     this.  However, the mathematical results in this paper suggest
     that biasing may instead be due to the errors made by the
     evaluation function. },
  topic = {search;game-trees;minimaxing;}
  }

@article{ nau:1982b,
  author = {Dana S. Nau},
  title = {An Investigation of the Causes of Pathology in Games},
  journal = {Artificial Intelligence},
  year = {1982},
  volume = {19},
  number = {3},
  pages = {257--278},
  acontentnote = {Abstract:
     Game trees are a useful model of many kinds of decision-making
     situations, and have been the subject of considerable
     investigation by researchers in both artificial intelligence and
     decision analysis.
      Until recently it was almost universally believed that searching
     deeper on a game tree would in general improve the quality of a
     decision.  However, recent theoretical investigations [8-10] by
     this author have demonstrated the existence of an infinite class
     of game trees for which searching deeper consistently degrades
     the quality of a decision.
      This paper extends the previous work in two ways.  First, the
     existence of pathology is demonstrated in a real game (Pearl's
     Game) using a real evaluation function.  This pathological
     behavior occurs despite the fact that the evaluation function
     increases dramatically in accuracy toward the end of the game.
     Second, the similarities and differences between this game and a
     related nonpathological game are used as grounds for speculation
     on why pathology occurs in some games and not in others.  },
  topic = {game-tree-pathology;decision-analysis;}
  }

@article{ nau:1983a,
  author = {Dana S. Nau},
  title = {Pathology on Game Trees Revisited, and an Alternative to
  	Minimaxing},
  journal = {Artificial Intelligence},
  year = {1983},
  volume = {21},
  number = {1--2},
  pages = {221--224},
  acontentnote = {Abstract:
     Almost all game tree search procedures used in artificial
     intelligence are variants on minimaxing.  Until recently, it was
     almost universally believed that searching deeper on the game
     tree with such procedures would in general yield a better
     decision.  However, recent investigations have revealed the
     existence of many game trees and evaluation functions which are
     `pathological' in the sense that searching deeper consistently
     degrades the decision.
      This paper extends these investigations in two ways.  First, it
     is shown that whenever the evaluation function satisfies certain
     properties, pathology will occur on any game tree of high enough
     constant branching factor.  This result, together with Monte
     Carlo studies on actual games, gives insight into the causes of
     pathology.  Second, an investigation is made of a possible cure
     for pathology: a probabilistic decision procedure which does not
     use minimaxing.  Under some conditions, this procedure gives
     results superior to minimaxing.  },
  topic = {search;game-trees;game-tree-pathology;}
  }

@article{ nau:2007a,
  author = {Dana S. Nau},
  title = {Current Trends in Automated Planning},
  journal = {The {AI} Magazine},
  year = {2007},
  volume = {28},
  number = {4},
  pages = {43--58},
  topic = {planning;planning-algorithms;}
  }

@article{ nau-etal:2001a,
  author = {Dana Nau and Yue Cao and Amnon Lotem and Hector
  	Mu\~noz-Avila},
  title = {The {S}hop Planning System},
  journal = {The {AI} Magazine},
  year = {2001},
  volume = {22},
  number = {1},
  pages = {91--94},
  topic = {planning;planning-algorithms;planning-systems;}
  }

@article{ naumann:1998a,
  author = {Ralf Naumann},
  title = {A Dynamic Approach to the Present Perfect in {E}nglish},
  journal = {Theoretical Linguistics},
  year = {1998},
  volume = {24},
  number = {2/3},
  pages = {185--217},
  topic = {perfective-aspect;dynamic-semantics;}
  }

@incollection{ naumann:1998b,
  author = {Ralf Naumann},
  title = {A Dynamic Temporal Logic of Events, Interval and States
  	for Nominalization in Natural Language},
  booktitle = {The Computational Treatment of Nominals: Proceedings
  	of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Federica Busa and Inderjeet Mani and Patrick Saint-Dizier},
  pages = {10--19},
  address = {New Brunswick, New Jersey},
  topic = {nominal-constructions;eventualities;temporal-logic;}
  }

@incollection{ naumann-pinon:1997a,
  author = {Ralf Naumann and Christopher Pi\~non},
  title = {Decomposing the Progressive},
  booktitle = {Proceedings of the Eleventh {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
		of Amsterdam},
  editor = {Paul Dekker and Martin Stokhof and Yde Venema},
  year = {1997},
  address = {Amsterdam},
  missinginfo = {pages},
  topic = {tense-aspect;progressive-aspect;}
  }

@incollection{ navaretta:2000a,
  author = {Costanza Navaretta},
  title = {Abstract Anaphora Resolution in {D}anish},
  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 = {56--65},
  address = {Somerset, New Jersey},
  topic = {computational-dialogue;anaphora-resolution;Danish-language;}
  }

@article{ navarrete-etal:2002a,
  author = {I. Navarrete and A. Sattar and R. Wetprasit and R. Martin},
  title = {On Point-Duration Networks for Temporal Reasoning},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {140},
  number = {1--2},
  pages = {39--70},
  topic = {qualitative-reasoning;temporal-reasoning;
  	graph-based-representations;}
  }

@book{ navarro-khan:1998a,
  author = {Ann Navarro and Tabinda Khan},
  title = {Effective Web Site Design: Mastering the Essentials},
  publisher = {Alameda, California},
  year = {1998},
  address = {Sybex, Inc.},
  ISBN = {0-7821-2278-7},
  rtnote = {In RHT collection.  Computer Manuals Shelf.},
  topic = {internet-technology;html;}
 }

@article{ navigli:2006a,
  author = {Robert Navigli},
  title = {Consistent Validation of Manual and Automatic Sense
  		Annotations with the Aid of Semantic Graphs},
  journal = {Computational Linguistics},
  year = {2006},
  volume = {32},
  number = {2},
  pages = {273--281},
  topic = {lexical-disambiguation;WordNet;}
  }

@article{ navigli-velardi:2004a,
  author = {Roberto Navigli and Paola Velardi},
  title = {Learning Domain Ontologies from Document Warehouses and
  	Dedicated Web Sites},
  journal = {Computational Linguistics},
  year = {2004},
  volume = {30},
  number = {2},
  pages = {151--179},
  topic = {machine-learning;computational-ontology;}
  }

@article{ nayak_ac:1994a,
  author = {Abhaya C. Nayak},
  title = {Foundational Belief Change},
  journal = {Journal of Philosophical Logic},
  year = {1994},
  volume = {23},
  number = {5},
  pages = {495--533},
  topic = {belief-revision;}
  }

@incollection{ nayak_ac-etal:1996a,
  author = {Abhaya C. Nayak and Norman Y. Foo and Maurice Pagnucco
  	and Abdul Sattar},
  title = {Changing Conditional Beliefs Unconditionally},
  booktitle = {Theoretical Aspects of Rationality and Knowledge:
  	Proceedings of the Sixth Conference ({TARK} 1996)},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Yoav Shoham},
  pages = {119--135},
  address = {San Francisco},
  topic = {belief-revision;}
  }

@article{ nayak_ac-etal:2003a,
  author = {Abhaya C. Nayak and Maurice Pagnucco and Pavlos Peppas},
  title = {Dynamic Belief Revision Operatos},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {146},
  number = {2},
  pages = {193--228},
  topic = {belief-revision;}
  }

@incollection{ nayak_pp:1992a,
  author = {P. Pandurang Nayak},
  title = {Order of Magnitude Reasoning Using Logarithms},
  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 = {201--210},
  address = {San Mateo, California},
  topic = {approximation;order-of-magnitude-reasoning;}
  }

@inproceedings{ nayak_pp:1994a,
  author = {P. Pandurang Nayak},
  title = {Representing Multiple Theories},
  booktitle = {Proceedings of the Twelfth National Conference on
              Artificial Intelligence},
  year = {1994},
  editor = {Barbara Hayes-Roth and Richard Korf},
  pages = {1154--1160},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  topic = {context;modal-logic;}
  }

@article{ nayak_pp:1994b,
  author = {P. Pandurang Nayak},
  title = {Causal Approximations},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {70},
  number = {1--2},
  pages = {277--334},
  acontentnote = {Abstract:
     Adequate models require the identification of abstractions and
     approximations that are well suited to the task at hand. In this
     paper we analyze the problem of automatically selecting adequate
     models for the task of generating parsimonious causal
     explanations.  We make three important contributions. First, we
     develop a precise formalization of this problem.  In this
     formalization, models are defined as sets of model fragments,
     causal explanations are generated using causal ordering, and
     model simplicity is based on the intuition that using more
     approximate descriptions of fewer phenomena leads to simpler
     models.  Second, we use this formalization to show that the
     problem is intractable (NP-hard) and identify three sources of
     intractability: (a) deciding what phenomena to model; (b)
     deciding how to model the chosen phenomena; and (c) satisfying
     domain-dependent constraints.  Third, we introduce a new class
     of approximations called causal approximations that are commonly
     found in modeling the physical world. Causal approximations are
     based on the idea that more approximate descriptions usually
     explain less about a phenomenon than more accurate descriptions.
     Hence, when all approximations are causal approximations, the
     causal relations entailed by a model decrease monotonically as
     models become simpler, leading to an efficient, polynomial-time
     algorithm for finding adequate models.
  },
  topic = {causality;explanation;model-based-reasoning;abstraction;
  	polynomial-algorithms;}
  }

@article{ nayak_pp-joskowicz:1996a,
  author = {P. Pandurang Nayak and Leo Joskowicz},
  title = {Efficient Compositional Modeling for Generating Causal
  	Explanations},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {83},
  number = {2},
  pages = {193--227},
  acontentnote = {Abstract:
     Effective problem solving requires building adequate models that
     embody the simplifications, abstractions, and approximations
     that parsimoniously describe the relevant system phenomena for
     the task at hand.  Compositional modeling is a framework for
     constructing adequate device models by composing model fragments
     selected from a model fragment library.  While model selection
     using compositional modeling has been shown to be intractable,
     it is tractable when all model fragment approximations are
     causal approximations.
      This paper addresses the reasoning and knowledge representation
     issues that arise in building practical systems for constructing
     adequate device models that provide parsimonious causal
     explanations of how a device functions.  We make four important
     contributions.  First, we present a representation of class
     level descriptions of model fragments and their relationships.
     The representation yields a practical model fragment library
     organization that facilitates knowledge base construction and
     supports focused generation of device models.  Second, we show
     how the structural, behavioral, and functional contexts of the
     device define model adequacy and provide the task focus and
     additional constraints to guide the search for adequate models.
     Third, we describe a novel model selection algorithm that
     incorporates device behavior with order of magnitude reasoning
     and focuses model selection with component interaction
     heuristics.  Fourth, we present the results of our
     implementation that produces adequate models and causal
     explanations of a variety of electromechanical devices drawn
     from a library of 20 components and 150 model fragments.
  },
  topic = {causal-explanations;device-modeling;problem-solving;
  	order-of-magnitude-reasoning;}
  }

@inproceedings{ nayak_pp-levy_a:1995a,
  author = {P. Pandurang Nayak and Alan Levy},
  title = {A Semantic Theory of Abstractions},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {196--203},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {Model theoretic work on abstractions.  I need to find out more
  	about this topic.   	Cf. Fausto Giunchiglia's work.},
  rtnote = {In RHT collection.},
  topic = {abstractions;}
 }

@inproceedings{ nayak_pp-williams_bc:1998a,
  author = {P. Panduarng Nayak and Brian C. Williams},
  title = {Fast Context Switching in Real-Time Propositional
  	Reasoning},
  booktitle = {Proceedings of the Fourteenth National Conference on
              Artificial Intelligence and the Ninth Innovative
	      Applications of Artificial Intelligence  Conference},
  year = {1998},
  editor = {Benjamin J. Kuipers and Bonnie Webber},
  pages = {50--56},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {theorem-proving;truth-maintenance;context;}
  }

@article{ ncroy:2004a,
  author = {Susan NcRoy},
  title = {Review of \emph{{W}ord Sense Disambiguation: The Case for
  		Combinations of Knowledge Sources}, by {M}ark {S}tevenson},
  journal = {Computational Linguistics},
  year = {2004},
  volume = {30},
  number = {2},
  pages = {247--249},
  xref = {Review of: stevenson_m:2003a.},
  topic = {lexical-disambiguation;}
  }

@article{ neal:1992a,
  author = {Radford M.  Neal},
  title = {Connectionist Learning of Belief Networks},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {56},
  number = {1},
  pages = {71--113},
  topic = {machine-learning;Bayesian-networks;connectionist-learning;}
  }

@article{ neale:1988a,
  author = {Stephen Neale},
  title = {Events and `Logical Form'\, },
  journal = {Linguistics and Philosophy},
  year = {1988},
  volume = {11},
  number = {3},
  pages = {303--321},
  topic = {nl-semantics;logic-of-perception;}
  }

@book{ neale:1990a,
  author = {Stephen Neale},
  title = {Descriptions},
  publisher = {The {MIT} Press},
  year = {1990},
  address = {Cambridge, Massachusetts},
  ISBN = {0262140454},
  rtnote = {UMich Graduate Library, P 106 .N361 1990},
  topic = {philosophy-of-language;reference;definite-descriptions;
  	context;}
 }

@article{ neale:1992a,
  author = {Stephen Neale},
  title = {Paul {G}rice and the Philosophy of Language},
  journal = {Linguistics and Philosophy},
  year = {1992},
  volume = {15},
  number = {5},
  pages = {509--559},
  note = {Review of \emph{{S}tudies in the Way of Words}, by
  	{H}. {P}aul {G}rice},
  xref = {Review of grice_hp:1989a.},
  xref = {See erratum: neale:1992b.},
  topic = {Grice;philosophy-of-language;speaker-meaning;implicature;}
  }

@article{ neale:1992b,
  author = {Stephen Neale},
  title = {Erratum},
  journal = {Linguistics and Philosophy},
  year = {1992},
  volume = {15},
  number = {6},
  pages = {677},
  note = {To `Paul {G}rice and the Philosophy of Language'.},
  xref = {Erratum to neale:1992a.},
  topic = {Grice;philosophy-of-language;speaker-meaning;
  	implicature;}
  }

@incollection{ neale:1993a,
  author = {Stephen Neale},
  title = {Term Limits},
  booktitle = {Philosophical Perspectives, Volume 7:
  	Language and Logic},
  publisher = {Blackwell Publishers},
  year = {1993},
  editor = {James E. Tomberlin},
  pages = {89--123},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {reference;logical-form;nl-semantics;}
  }

@article{ neale:1994a,
  author = {Stephen Neale},
  title = {The Place of Language},
  journal = {Proceedings of the {A}ristotelian Society},
  year = {1994},
  volume = {94},
  note = {Supplementary Series.},
  pages = {215--227},
  topic = {philosophy-of-language;}
 }

@incollection{ neale:2008a,
  author = {Stephen Neale},
  title = {Term Limits Revisited},
  booktitle = {Philosophical Perspectives 22, 2008: Philosophy of
  		Language},
  publisher = {Blackwell Publishers},
  year = {2008},
  editor = {John Hawthorne},
  pages = {375--442},
  address = {Oxford},
  topic = {nl-semantics;referring-expressions;}
  }

@article{ neale-dever:1996a,
  author = {Stephen Neale and Josh Dever},
  title = {Slingshots and Boomerangs},
  journal = {Mind},
  year = {1997},
  volume = {106},
  number = {421},
  pages = {143--168},
  rtnote = {In RHT collection.},
  topic = {descriptions;facts;}
  }

@incollection{ neander:1998a,
  author = {Karen Neander},
  title = {The Division of Phenomenal Labor: A
    		Problem for Representational Theories of
		Consciousness},
  booktitle = {Philosophical Perspectives 12: Language, Mind,
  	and Ontology},
  publisher = {Blackwell Publishers},
  year = {1998},
  editor = {James E. Tomberlin},
  pages = {411--434},
  address = {Oxford},
  topic = {philosophy-of-mind;consciousness;}
  }

@book{ neapolitan:1990a,
  author = {Richard E. Neapolitan},
  title = {Probabilistic Reasoning in Expert Systems: Theory and
  	Algorithms},
  publisher = {John Wiley and Sons},
  year = {1990},
  address = {New York},
  topic = {probabilistic-reasoning;Bayesian-networks;expert-systems;}
}

@article{ nease-owens_dk:1997a,
  author = {Robert F. {Nease, Jr.} and Douglas K. Owens},
  title = {Use of Influence Diagrams to Structure Medical Decisions},
  journal = {Medical Decision Making},
  year = {1997},
  volume = {17},
  pages = {263--275},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {causal-networks;decision-analysis;influence-diagrams;
  		reasoning-with-diagrams;}
  }

@article{ nebel:1988a,
  author = {Bernhard Nebel},
  title = {Computational Complexity of Terminological Reasoning
  	in {BACK}},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {34},
  number = {3},
  pages = {371--383},
  topic = {complexity-in-AI;description-logics;}
}

@inproceedings{ nebel:1989a,
 author = {Bernhard Nebel},
 title = {A Knowledge Level Analysis of Belief Revision},
 booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning},
 year = {1989},
 editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter},
 pages = {301--311},
 publisher = {Morgan Kaufmann},
 address = {San Mateo, California},
 month = {May},
 topic = {belief-revision;}
 }

@book{ nebel:1990a,
  author = {Bernhard Nebel},
  title = {Reasoning and Revision in Hybrid Representation Systems},
  publisher = {Springer-Verlag},
  year = {1990},
  number = {422},
  series = {Lecture Notes in Artificial Intelligence},
  address = {Berlin},
  ISBN = {0387524436 (U.S.)},
  rtnote = {UMich Media Union Library, Q 335 .N431 1990.},
  topic = {kr;description-logics;kr-course;}
 }

@article{ nebel:1990b,
  author = {Bernhard Nebel},
  title = {Terminological Reasoning is Inherently Intractable},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {43},
  number = {2},
  pages = {235--249},
  acontentnote = {Abstract:
     Computational tractability has been a major concern in the area
     of terminological knowledge representation and reasoning.
     However, all analyses of the computational complexity of
     terminological reasoning are based on the hidden assumption that
     subsumption in terminologies reduces to subsumption of concept
     descriptions without a significant increase in computational
     complexity. In this paper it will be shown that this assumption,
     which seems to work in the "normal case", is nevertheless
     wrong.  Subsumption in terminologies turns out to be
     co-NP-complete for a minimal terminological
     representation language that is a subset of every useful
     terminological language.
  },
  topic = {kr;description-logics;kr-complexity-analysis;kr-course;}
 }

@incollection{ nebel:1991a,
  author = {Bernhard Nebel},
  title = {Belief Revision and Default Reasoning: Syntax-Based Approaches},
  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 = {417--428},
  address = {San Mateo, California},
  topic = {kr;belief-revision;nonmonotonic-logic;default-logic;kr-course;
		nonmonotonic-reasoning;complexity-in-AI;}
  }

@incollection{ nebel:1992a,
  author = {Bernhard Nebel},
  title = {Syntax Based Approaches to Belief Revision},
  booktitle = {Belief revision},
  publisher = {Cambridge University Press},
  year = {1992},
  editor = {Peter G\"ardenfors},
  pages = {52--88},
  address = {Cambridge},
  topic = {belief-revision;}
  }

@incollection{ nebel:1996a,
  author = {Bernhard Nebel},
  title = {Artificial Intelligence: A Computational Perspective},
  booktitle = {Principles of Knowledge Representation},
  publisher = {{CSLI} Publications},
  year = {1996},
  editor = {Gerhard Brewka},
  pages = {237--266},
  address = {Stanford, California},
  topic = {complexity-in-AI;}
  }

@incollection{ nebel:1998a,
  author = {Bernhard Nebel},
  title = {How Hard is it to Revise a Belief Base?},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 3:  Belief Change},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Didier Dubois and Henri Prade},
  pages = {77--145},
  address = {Dordrecht},
  topic = {belief-revision;complexity;complexity-in-AI;}
  }

@inproceedings{ nebel:1999a,
  author = {Bernhard Nebel},
  title = {What is the Expressive Power of Disjunctive Preconditions?},
  booktitle = {Workshop on Logic-Based Artificial Intelligence,
	       Washington, DC, June 14--16, 1999},
  year = {1999},
  editor = {Jack Minker},
  publisher = {Computer Science Department, University of Maryland},
  address = {College Park, Maryland},
  topic = {planning-formalisms;disjunction;}
  }

@incollection{ nebel:2000a,
  author = {Bernhard Nebel},
  title = {On the Expressive Power of Planning Formalisms},
  booktitle = {Logic-Based Artificial Intelligence},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Jack Minker},
  pages = {469--488},
  address = {Dordrecht},
  topic = {logic-in-AI;STRIPS;planning-formalisms;expressive-power;}
  }

@incollection{ nebel:2002a,
  author = {Bernhard Nebel},
  title = {The Philosophical Soccer Player},
  booktitle = {{KR2002}: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {2002},
  editor = {Dieter Fensel and Fausto Giunchiglia and Deborah
  	L. McGuinness and Mary-Anne Williams},
  pages = {631},
  address = {San Francisco, California},
  topic = {kr;cognitive-robotics;philosophy-and-AI;}
  }

@article{ nebel-backstrom:1994a,
  author = {Bernhard Nebel and Christer  B\"ackstr\"om},
  title = {On the Computational Complexity of Temporal Projection,
  	Planning, and Plan Validation},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {66},
  number = {1},
  pages = {125--160},
  topic = {complexity-in-AI;planning;temporal-reasoning;}
  }

@book{ nebel-etal:1992a,
  editor = {Bernhard Nebel and Charles Rich and William Swartout},
  title = {{KR}'92: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1992},
  address = {San Francisco},
  topic = {kr;}
 }

@article{ nebel-koehler_j:1995a,
  author = {Bernhard Nebel and Jana Koehler},
  title = {Plan Reuse Versus Plan Generation: a Theoretical and Empirical
  	Analysis},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {76},
  number = {1--2},
  pages = {427--454},
  rtnote = {Revised and extended version of IJCAI-93 paper.},
  rtnote = {In RHT collection.},
  topic = {planning;plan

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit