text:
{562--565},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {abduction;nl-interpretation;}
  }

@book{ norvig:1992a,
  author = {Peter Norvig},
  title = {Paradigms of Artificial Intelligence Programming: Case Studies
    in Common {LISP}},
  publisher = {Morgan Kaufman Publishers},
  year = {1992},
  address = {San Mateo, California},
  ISBN = {1558601910},
  rtnote = {UMich Media Union Library, QA 76.6 .N6871 1992.},
  xref = {Reviews: martin_jh:1993a, wong_jf:1993a.},
  topic = {AI-programming;AI-intro;AI-text;}
 }

@article{ norvig:1994a,
  author = {Peter Norvig},
  title = {Review of \emph{{T}ext-Based Intelligent Systems},
  	edited by {P}aul {J}acobs},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {66},
  number = {1},
  pages = {181--188},
  xref = {Review of jacobs_p:1992a.},
  topic = {nl-kr;}
  }

@inproceedings{ norvig-wilensky:1990a,
  author = {Peter Norvig and Robert Wilensky},
  title = {A Critical Evaluation of Commensurable Abduction Models
  	for Semantic Interpretation},
  booktitle = {Thirteenth International Conference on Computational
  	Linguistics, Volume 3},
  year = {1990},
  editor = {H. Karlgren},
  pages = {225--230},
  missinginfo = {organization, publisher,  address},
  topic = {abduction;nl-interpretation;}
  }

@inproceedings{ nossum:1997a,
  author = {Rolf T. Nossum},
  title = {A Decidable Multi-Modal Logic of Context},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Context in Knowledge Representation and Natural Language},
  year = {1997},
  editor = {Sa\v{s}a Buva\v{c} and {\L}ucia Iwa\'nska},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  missinginfo = {pages   pages = {146--}},
  topic = {context;}
  }

@inproceedings{ nossum:2003a,
  author = {Rolf Nossum},
  title = {A Contextual Approach to the Logic of Fiction},
  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 = {233--244},
  address = {Berlin},
  topic = {context;fiction;}
  }

@incollection{ nossum-thielscher:1999a,
  author = {Rolf Nossum and Michael Thielscher},
  title = {Counterfactual Reasoning by Means of a Calculus of
		Narrative Context},
  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 = {495--501},
  address = {Berlin},
  topic = {context;conditionals;action-formalisms;}
  }

@incollection{ not-etal:1999a,
  author = {Elena Not and Lucia M. Tovena and <asso,p Zancanaro},
  title = {Positing and Resolving Bridging Anaphora in Deverbal {NP}s},
  booktitle = {The Relation of Discourse/Dialogue Structure and
  	Reference},
  publisher = {Association for Computational Linguistics},
  year = {1999},
  editor = {Dan Cristea and Nancy Ide and Daniel Marcu},
  pages = {39--45},
  address = {New Brunswick, New Jersey},
  contentnote = {_Bridging_anaphora_ involves recovering an implicit
      relation.  E.g., "A new bond loan will be issued tomorrow by
      Babco Ambroveneto.  ... The requests will be accepted from
      the 2nd to the 14th of October."},
  topic = {anaphora;argument-structure;bridging-anaphora;}
  }

@article{ nourbakhsh-etal:1999a,
  author = {Illah Nourbakhsh and Judith Bobenage and Sebastian Grange
  	and Ron Lutz and Roland Meyer and Alvaro Soto},
  title = {An Affective Mobile Robot Educator with a Full-Time Job},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {114},
  number = {1--2},
  pages = {95--124},
  topic = {robotics;robot-human-interaction;}
  }

@article{ noussia:1997a,
  author = {Theodora I. Noussia},
  title = {A Rule-Based Hyphenator for Modern {G}reek},
  journal = {Computational Linguistics},
  year = {1997},
  volume = {23},
  number = {3},
  pages = {361--376},
  topic = {hyphenization;modern-Greek-language;}
  }

@article{ nouven:2008a,
  author = {Rick Nouven},
  title = {Upper-Bounded \emph{No More}: The Exhaustive Interpretation
  		of Non-Strict Comparison},
  journal = {Natural Language Semantics},
  year = {2008},
  volume = {16},
  number = {4},
  pages = {271--295},
  topic = {nl-semantics;comparative-constructions;}
  }

@incollection{ nouwen:1999a,
  author = {Rick W.F. Nouwen},
  title = {{DPL} with Control Elements},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
		of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {193--198},
  address = {Amsterdam},
  topic = {dynamic-predicate-logic;focus;}
  }

@article{ nouwen:2007a,
  author = {Rick Nouwen},
  title = {On Dependent Pronouns and Dynamic Semantics},
  journal = {Journal of Philosophical Logic},
  year = {2007},
  volume = {36},
  number = {1},
  pages = {123--154},
  topic = {anaphora;dynamic-sematics;}
  }

@incollection{ novak_g:1995a,
  author = {Gordon Novak},
  title = {Diagrams for Solving Physical Problems},
  booktitle = {Diagrammatic Reasoning},
  publisher = {The {MIT} Press},
  year = {1995},
  editor =  {Janice Glasgow and N. Hari Narayanan and B.
		Chandrasekaran},
  pages = {753--774},
  address = {Cambridge, Massachusetts},
  topic = {diagrams;reasoning-with-diagrams;
  	physical-reasoning;visual-reasoning;}
  }

@book{ novak_p:1997a,
  author = {Peter Novak},
  title = {Mental Symbols: A Defence of the Classical Theory of Mind},
  publisher = {Kluwer Academic Publishers},
  year = {1997},
  address = {Dordrecht},
  topic = {philosophy-of-mind;}
 }

@article{ novak_p:1998a,
  author = {Peter Novak},
  title = {Logic and the Classical Theory of Mind},
  journal = {Journal of Philosophical Logic},
  year = {1998},
  volume = {27},
  number = {4},
  pages = {389--434},
  topic = {foundations-of-modal-logic;formalizations-of-philosophy;
  	philosophy-of-mind;}
  }

@incollection{ novak_v:1998a,
  author = {Vil\'em Nov\'ak},
  title = {Fuzzy Logic},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 1},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Dov M. Gabbay and Philippe Smets},
  pages = {75--109},
  address = {Dordrecht},
  topic = {fuzzy-logic;}
  }

@inproceedings{ novick-ward_k:1993a,
  author = {David G. Novick and Karen Ward},
  title = {Mutual Beliefs of Multiple Conversants: a Computational
  	Model of Collaboration in Air Traffic Control},
  booktitle = {Proceedings of the Eleventh National Conference on
              Artificial Intelligence},
  year = {1993},
  editor = {Richard Fikes and Wendy Lehnert},
  pages = {196--201},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {mutual-belief;coord-in-conversation;}
 }

@article{ nowak:2005a,
  author = {Antje Nowak},
  title = {A Guarded Fragment for Abstract State Machines},
  journal = {Journal of Logic, Language, and Information},
  year = {2005},
  volume = {14},
  number = {3},
  pages = {345--368},
  topic = {guarded-fragments;decidability;subtheories-of-FOL;}
  }

@article{ nowellsmith:1960a1,
  author = {P.H. Nowell-Smith},
  title = {Ifs and Cans},
  journal = {Theoria},
  year = {1960},
  missinginfo = {A's 1st name, number},
  volume = {26},
  pages = {85--101},
  xref = {Reprinted in fann:1969a; see nowellsmith:1960a2.},
  rtnote = {In RHT collection.},
  topic = {ability;conditionals;}
  }

@incollection{ nowellsmith:1960a2,
  author = {P. Nowell-Smith},
  title = {Ifs and Cans},
  booktitle = {Symposium on J.L. Austin},
  publisher = {Routledge and Kegan Paul},
  year = {1969},
  editor = {K.T. Fann},
  pages = {166--181},
  address = {London},
  missinginfo = {E's 1st name.},
  xref = {Reprinted from Theoria; see nowell-smith:1960a1.},
  topic = {JL-Austin;ordinary-language-philosophy;}
  }

@incollection{ nowellsmith:1967a,
  author = {P. Nowell-Smith},
  title = {Acts and Locutions},
  booktitle = {Art, Mind, and Religion},
  publisher = {University of Pittsburgh Press},
  year = {1967},
  editor = {W.H. Capitan and D.D. Merrill},
  pages = {11--28},
  address = {Pittsburgh},
  missinginfo = {E's 1st name.},
  xref = {Reprinted; see nowellsmith:1960a2.},
  topic = {JL-Austin;speech-acts;pragmatics;}
  }

@article{ noy-etal:2005a,
  author = {Natalya F. Noy and AnHai Doan and Alon Y Halevy},
  title = {Semantic Integration},
  journal = {The {AI} Magazine},
  year = {2005},
  volume = {26},
  number = {1},
  pages = {7--9},
  topic = {knowledge-integration;computational-ontology;}
  }

@article{ noy-hafner:1997a,
  author = {Natalya Fridman Noy and Carole D. Hafner},
  title = {The State of the Art in Ontology Design: A Survey and
  	Comparative Review},
  journal = {{AI} Magazine},
  year = {1997},
  volume = {18},
  number = {3},
  pages = {53--74},
  rtnote = {In RHT collection.  Copy in Files.},
  topic = {computational-ontology;}
  }

@book{ nozick:1993a,
  author = {Robert Nozick},
  title = {The Nature of Rationality},
  publisher = {Princeton University Press},
  year = {1993},
  address = {Princeton, New Jersey},
  rtnote = {HILLMAN BC177 N69 1993},
  topic = {rationality;}
 }

@book{ nozick:1995a,
  author = {Robert Nozick},
  title = {The Nature of Rationality},
  publisher = {Princeton University Press},
  year = {1995},
  address = {Princeton},
  rtnote = {HILLMAN BC177 N69 1993},
  topic = {rationality;}
 }

@book{ ntuen-park_eh:1996a,
  author = {Celestine A. Ntuen and Eui H. Park},
  title = {Human Interaction with Complex Systems: Conceptual
  	Principles and Design Practice},
  publisher = {Kluwer Academic Publishers},
  year = {1996},
  address = {Boston},
  ISBN = {0792397797},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 N781 1996.},
  topic = {HCI;}
 }

@incollection{ nuchelmans:1953a,
  author = {Gabriel Nuchelmans},
  title = {\,`Counterfactual Conditionals' and Singular Causal
  		Statements},
  booktitle = {Actes du {XI}\`eme Congr\`es International de
  		Philosophie, Volume {VIII}, Philosophie de
		l'Historie},
  publisher = {North-Holland Publishing Co.},
  year = {1953},
  pages = {16--19},
  address = {Amsterdam},
  missinginfo = {Editor},
  xref = {Review: watling:1957g.},
  topic = {natural-laws;conditionals;}
  }

@article{ nuchelmans:1956a,
  author = {Gabriel Nuchelmans},
  title = {An Analysis of Subjunctive Conditionals},
  journal = {Synth\'ese},
  year = {1956},
  volume = {9},
  number = {1},
  pages = {48--63},
  xref = {Review: watling:1957e},
  contentnote = {Counterfactuals do not state that their antecedents
  		are false, though they may in some sense imply this.
		Discussion of the role of counterfactuals in ordinary
		language.},
  topic = {conditionals;}
  }

@article{ nuchelmans:1961a,
  author = {Gabriel Nuchelmans},
  title = {Austin's Term `Performative'\, },
  journal = {Algemmed Nederlands Tijdschrift voor Wijsbegeerte en
  	Psychologie},
  year = {1961},
  volume = {54},
  pages = {154--172},
  missinginfo = {number},
  topic = {JL-Austin;speech-acts;pragmatics;}
  }

@article{ nudel:1983a,
  author = {Bernard Nudel},
  title = {Consistent-Labeling Problems and Their Algorithms:
  	Expected-Complexities and Theory-Based Heuristics},
  journal = {Artificial Intelligence},
  year = {1983},
  volume = {21},
  number = {1--2},
  pages = {135--178},
  acontentnote = {Abstract:
     A new parameter is introduced to characterize a type of search
     problem of broad relevance in artificial intelligence,
     operations research and symbolic logic.  This parameter, which we
     call inter-variable compatibility, is particularly important in
     that complexity analyses incorporating it are able to capture
     the dependence of problem complexity on search order used by an
     algorithm.  Thus compatibility-based theories can provide a
     theoretical basis for the extraction of heuristics for choosing
     good search orderings -- a long-sought goal for such problems,
     since it can lead to significant savings during search.  We carry
     out expected-complexity analyses for the traditional backtrack
     algorithm as well as for two more recent algorithms that have
     been found empirically to be significant improvements: forward
     checking and word-wise forward checking.  We extract
     compatibility-based ordering-heuristics from the theory for
     forward checking.  Preliminary experimental results are presented
     showing the large savings that result from their use.  Similar
     savings can be expected for other algorithms when heuristics
     taking account of inter-variable compatibilities are used.  Our
     compatibility-based theories also provide a more precise way of
     predicting which algorithm is best for a given problem.  },
  topic = {AI-algorithms-analysis;complexity-in-AI;search;}
  }

@article{ nugayev:2003a,
  author = {Rinat Nugayev},
  title = {Review of \emph{{T}he Applicability of Mathematics as a
  	Philosophical Problem}, by {M}ark {S}teiner},
  journal = {Philosophy of Science},
  year = {2003},
  volume = {70},
  number = {3},
  pages = {628--631},
  xref = {Review of: steiner_m:2000a},
  topic = {philosophy-of-mathematics;philosophy-of-science;}
  }

@incollection{ nunberg:1975a,
  author = {Geoffrey Nunberg},
  title = {Validating Pragmatic Explanations},
  booktitle = {Formal Semantics of Natural Language},
  publisher = {Cambridge University Press},
  year = {1975},
  editor = {Edward L. Keenan},
  pages = {199--222},
  address = {Cambridge, England},
  rtnote = {Read early in pragmatics course?},
  rtnote = {In RHT collection.},
  rtnote = {pragmatics-course;},
  topic = {foundations-of-pragmatics;}
  }

@phdthesis{ nunberg:1978a,
  author = {Geoffrey Nunberg},
  title = {The Pragmatics of Reference},
  school = {City University of New York},
  year = {1978},
  type = {Ph.{D}. Dissertation},
  address = {New York, New York},
  rtnote = {In RHT collection.  See shelf.},
  topic = {reference;pragmatics;}
 }

@article{ nunberg:1980a,
  author = {Geoffrey Nunberg},
  title = {The Non-Uniqueness of Semantic Solutions: Polysemy},
  journal = {Linguistics and Philosophy},
  year = {1979},
  volume = {3},
  number = {2},
  pages = {143--184},
  topic = {ambiguity;nl-polysemy;}
  }

@incollection{ nunberg:1981a,
  author = {Geoffrey Nunberg},
  title = {Validating Pragmatic Explanations},
  booktitle = {Radical Pragmatics},
  publisher = {Academic Press},
  year = {1981},
  editor = {Peter Cole},
  pages = {199--222},
  address = {New York},
  rtnote = {pragmatics-course;},
  topic = {pragmatics;foundations-of-pragmatics;}
  }

@book{ nunberg:1990a,
  author = {Geoffrey Nunberg},
  title = {The Linguistics of Punctuation},
  publisher = {Stanford University Press},
  year = {1990},
  number = {18},
  adress = {Stanford, California},
  series = {CSLI Lecture Notes},
  topic = {punctuation;}
 }

@article{ nunberg:1993a,
  author = {Geoffrey Nunberg},
  title = {Indexicals and Deixis},
  journal = {Linguistics and Philosophy},
  year = {1993},
  volume = {16},
  number = {1},
  pages = {1--43},
  topic = {demonstratives;indexicals;}
  }

@article{ nunberg:1995a1,
  author = {Geoffrey Nunberg},
  title = {Transfers of Meaning},
  journal = {Journal of Semantics},
  year = {1995},
  volume = {12},
  pages = {109--132},
  xref = {Republication: nunberg:1995a2.},
  topic = {lexical-semantics;metonymy;semantic-coercion;}
  }

@incollection{ nunberg:1995a2,
  author = {Geoffrey Nunberg},
  title = {Transfers of Meaning},
  booktitle = {Lexical Semantics: The Problem of Polysemy},
  publisher = {Oxford University Press},
  year = {1997},
  editor = {James Pustejovsky and Brian Boguraev},
  pages = {109--132},
  address = {Oxford},
  xref = {Republication of nunberg:1995a1.},
  topic = {lexical-semantics;metonymy;semantic-coercion;}
  }

@incollection{ nunberg:1998a,
  author = {Geoffrey Nunberg},
  title = {Indexicality and Reference},
  booktitle = {Pragmatics: Critical Concepts.  Volume {III}:
		Indexicals and Reference},
  publisher = {Routledge},
  year = {1998},
  editor = {Asa Kasher},
  pages = {145--184},
  address = {london},
  rtnote = {In RHT collection.},
  topic = {reference;indexicals;}
  }

@article{ nunberg:2002a,
  author = {Geoffrey Nunberg},
  title = {Do You Know What it Means to Miss {N}ew {O}rleans?},
  journal = {Linguistics and Philosophy},
  year = {2002},
  volume = {25},
  number = {5--6},
  pages = {671--680},
  topic = {philosophy-of-language;semantics-editorial;}
  }

@article{ nunberg-etal:1994a,
  author = {Geoffrey Nunberg and Ivan A. Sag and Thomas Wasow},
  title = {Idioms},
  journal = {Language},
  year = {1993},
  volume = {70},
  pages = {491--538},
  missinginfo = {number},
  topic = {idioms;}
  }

@unpublished{ nunberg-zaenan:1997a,
  author = {Geoffrey Nunberg and Annie Zaenan},
  title = {Systematic Polysemy in Lexicology and Lexicography {I}},
  note = {Unpublished manuscript, Xerox Palo Alto Research Center,
  	1997.  Available at
	http://www.parc.xerox.com/istl/members/nunberg/.},
  rtnote = {Reading notes on file.},
  topic = {polysemy;lexical-semantics;}
  }

@unpublished{ nute:1978a,
  author = {Donald Nute},
  title = {Moderate Permission},
  year = {1978},
  note = {Unpublished manuscript, Philosophy Department, University
  	of Georgia.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {deontic-logic;}
  }

@article{ nute:1978b,
  author = {Donald Nute},
  title = {Do Proper Names Always Rigidly Designate?},
  journal = {Canadian Journal of Philosophy},
  year = {1978},
  volume = {8},
  number = {3},
  pages = {475--484},
  rtnote = {In RHT collection.},
  topic = {semantics-of-proper-names;rigid-designators;}
  }

@article{ nute:1979a,
  author = {Donald Nute},
  title = {Extensional Equivalence of Simple and General Utilitarian Principles},
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1979},
  volume = {20},
  number = {1},
  pages = {32--36},
  rtnote = {In RHT collection.},
  topic = {utilitarianism;}
  }

@article{ nute:1980a,
  author = {Donald Nute},
  title = {Conversational Scorekeeping and Conditionals},
  journal = {Journal of Philosophical Logic},
  year = {1980},
  volume = {9},
  pages = {153--166},
  missinginfo = {number},
  topic = {conditionals;}
  }

@book{ nute:1980b,
  editor = {Donald Nute},
  title = {Topics in Conditional Logic},
  publisher = {Reidel},
  year = {1980},
  address = {Dordrecht},
  topic = {conditionals;}
 }

@incollection{ nute:1980c,
  author = {Donald Nute},
  title = {Introduction (to {\it Topics in Conditional Logic})},
  booktitle = {Topics in Conditional Logic},
  publisher = {Reidel},
  year = {1980},
  editor = {Donald Nute},
  pages = {127--147},
  address = {Dordrecht},
  topic = {conditionals;}
  }

@article{ nute:1981a,
  author = {Donald Nute},
  title = {Causes, Laws, and Law Statements},
  journal = {Synth\'ese},
  year = {1981},
  volume = {48},
  pages = {347--369},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {causality;conditionals;}
  }

@unpublished{ nute:1981b,
  author = {Donald Nute},
  title = {Strong Permission},
  year = {1981},
  note = {Unpublished manuscript, Philosophy Department, University
  	of Georgia.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {deontic-logic;}
  }

@article{ nute:1981c,
  author = {Donald Nute},
  title = {Introduction},
  journal = {Journal of Philosophical Logic},
  year = {1981},
  volume = {10},
  note = {Introduction to a special issue on conditionals.},
  pages = {127--147},
  topic = {conditionals;}
  }

@unpublished{ nute:1983a,
  author = {Donald Nute},
  title = {Tense and Conditionals},
  year = {1983},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, University of Georgia.},
  rtnote = {tmix-project;},
  topic = {temporal-logic;conditionals;}
  }

@incollection{ nute:1984a,
  author = {Donald Nute},
  title = {Conditional Logic},
  booktitle = {Handbook of Philosophical Logic, Volume {II}:
  	Extensions of Classical Logic},
  publisher = {D. Reidel Publishing Company},
  year = {1984},
  editor = {Dov Gabbay and Franz G\"unthner},
  pages = {387--439},
  address = {Dordrecht},
  topic = {conditionals;}
  }

@article{ nute:1985a,
  author = {Donald Nute},
  title = {Permission},
  journal = {Journal of Philosophical Logic},
  year = {1985},
  volume = {14},
  number = {2},
  pages = {169--190},
  topic = {deontic-logic;permission;}
  }

@techreport{ nute:1985b,
  author = {Donald Nute},
  title = {A Non-Monotonic Logic Based on Conditional Logic},
  institution = {Advanced Computational Methods Center,
  	University of Georgia},
  number = {ACMC Research Report 01--0007},
  year = {1985},
  address = {Athens, Georgia},
  missinginfo = {Date is a guess.},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-logic;conditional-logic;}
  }

@incollection{ nute:1988a,
  author = {Donald Nute},
  title = {Defeasible Reasoning: A Philosophical Analysis in Prolog},
  booktitle = {Aspects of Artificial Intelligence},
  editor = {J. Fetzer},
  publisher = {Kluwer Academic Publishers},
  year = {1988},
  pages = {251--288},
  topic = {nonmonotonic-reasoning;}
    }

@book{ nute:1990a,
  author = {Donald Nute},
  title = {Topics in Conditional Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1990},
  address = {Dordrecht},
  rtnote = {In RHT collection.  Shelf.},
  topic = {conditionals;}
 }

@incollection{ nute:1990b,
  author = {Donald Nute},
  title = {Defeasible Logic and the Frame Problem},
  booktitle = {Knowledge Representation and Defeasible Reasoning},
  publisher = {Kluwer Academic Publishers},
  year = {1990},
  editor = {Henry Kyburg and Ronald Loui and Greg Carlson},
  pages = {3--21},
  address = {Dordrecht},
  topic = {frame-problem;Yale-shooting-problem;}
  }

@incollection{ nute:1994a,
  author = {Donald Nute},
  title = {Defeasible Logic},
  booktitle = {Handbook of Logic in Artificial Intelligence
   	         and Logic Programming, Volume 3: Nonmonotonic
		 Reasoning and Uncertain Reasoning},
  publisher = {Oxford University Press},
  year = {1994},
  editor = {Dov Gabbay and Christopher J. Hogger and J. A. Robinson},
  pages = {353--395},
  address = {Oxford},
  topic = {nonmonotonic-logic;}
  }

@book{ nute:1997a,
  editor = {Donald Nute},
  title = {Defeasible Deontic Logic},
  publisher = {Kluwer Academic Publishers},
  year = {1997},
  address = {Dordrecht},
  ISBN = {0792346300},
  xref = {Reviews: vanderhoek:2000a, arlocosta:2001b.},
  rtnote = {UMich Graduate Library, BC 145 .D441 1997.},
  topic = {deontic-logic;nonmonotonic-logic;}
 }

@incollection{ nute:1998a,
  author = {Donald Nute},
  title = {Norms, Priorities, and Defeasibility},
  booktitle = {Norms, Logics and Information Systems.  New Studies in
		Deontic Logic and Computer Science},
  publisher = {IOS Press},
  year = {1998},
  editor = {Henry Prakken and Paul McNamara},
  pages = {201--218},
  address = {Amsterdam},
  topic = {deontic-logic;nonmonotonic-reasoning;nonmonotonic-logic;}
  }

@unpublished{ nute-etal:1989a,
  author = {Donald Nute and David Billington and Koen de Coster},
  title = {Defeasible Logic and Inheritance Hierarchies with
  	Exceptions},
  year = {1989},
  rtnote = {In RHT collection.  May be published somewhere.  IJCAI-89?},
  note = {Unpublished manuscript, University of Georgia.},
  topic = {inheritance-theory;}
  }

@book{ nuyts:1992a,
  author = {Jan Nuyts},
  title = {Aspects of a Cognitive-Pragmatic Theory of Language: On
    Cognition, Functionalism, and Grammar},
  publisher = {J. Benjamins},
  year = {1992},
  address = {Amsterdam},
  ISBN = {1556192886},
  rtnote = {UMich Undergraduate, P 37 .N891 1992.},
  topic = {pragmatics;}
}

@book{ nuyts-deschutter:1987a,
  editor = {Jan Nuyts and Georges de Schutter},
  title = {Getting One's Words into Line: On Word Order and Functional
    Grammar},
  publisher = {Foris Publications},
  year = {1987},
  address = {Dordrecht},
  ISBN = {9067653497},
  rtnote = {UMich Graduate Library, P 147 .G4511 1987.},
  topic = {word-order;functional-grammar;}
}

@book{ nuyts-etal:1990a,
  editor = {Jan Nuyts and A. Machtelt Bolkestein and Co Vet},
  title = {Layers and Levels of Representation in Language Theory: A
    Functional View},
  publisher = {J. Benjamins Publishing Co.},
  year = {1990},
  address = {Amsterdam},
  ISBN = {1556192797},
  rtnote = {UMich Graduate Library, P 128 .H53 L381 1990.},
  topic = {functional-grammar;}
}

@book{ nuyts-pederson:1997a,
  editor = {Jan Nuyts and Eric Pederson},
  title = {Language and Conceptualization},
  publisher = {Cambridge University Press},
  year = {1997},
  address = {Cambridge},
  ISBN = {0521553032},
  rtnote = {UMich Graduate Library, P 37 .L3541 1997.},
  topic = {psycholinguistics;}
}

@book{ nuyts-verschueren:1987a,
  author = {Jan Nuyts and Jef Verschueren},
  title = {A Comprehensive Bibliography of Pragmatics},
  publisher = {J. Benjamins Pub. Co.},
  year = {1987},
  address = {Amsterdam},
  ISBN = {902722031X},
  rtnote = {UMich Graduate Library, Z 7004 .P73 N891 1987.},
  topic = {pragmatics;bibliography;}
}

@book{ nye:1998a,
  editor = {Andrea Nye},
  title = {Philosophy of Language: The Big Questions},
  publisher = {Blackwell Publishers},
  year = {1998},
  address = {Oxford},
  topic = {philosophy-of-language;}
 }

@article{ nykanen:2004a,
  author = {Matti Nyk\"anen},
  title = {An Incremental Algorithm for {DLO} Quantifier Elimination
  		Via Constraint Propagation},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {160},
  number = {1--2},
  pages = {173--190},
  topic = {quantifier-elimination;}
  }

@article{ oakes_c:1999a,
  author = {Colin Oakes},
  title = {Interpretations of Intuitionist Logic in Non-Normal
  	Modal Logics},
  journal = {Journal of Philosophical Logic},
  year = {1999},
  volume = {28},
  number = {1},
  pages = {47--60},
  topic = {intuitionistic-logic;modal-logic;}
  }

@book{ oakes_mp:1998a,
  author = {Michael P. Oakes},
  title = {Statistics for Corpus Linguistics},
  publisher = {Edinburgh University Press},
  year = {1998},
  address = {Edinburgh},
  topic = {corpus-linguistics;statistics;}
 }

@book{ oakhill-garnham:1992a,
  editor = {Jane Oakhill and Alan Garnham},
  title = {Discourse Representation and Text Processing},
  publisher = {Lawrence Erlbaum},
  year = {1992},
  address = {Mahwah, New Jersey},
  ISBN = {086377900X},
  rtnote = {UMich Graduate Library, P 302 .D5711 1992},
  topic = {discourse-analysis;nl-processing;}
 }

@book{ oakhill-garnham:1996a,
  editor = {Jane Oakhill and Alan Garnham},
  title = {Mental Models in Cognitive Science:  Essays in Honor
  	of Phil Johnson-Laird},
  publisher = {Psychology Press},
  year = {1996},
  address = {Hove, England},
  rtnote = {Langley P37 M35 1996},
  ISBN = {0863774482},
  rtnote = {Graduate Library, Call No: P 37 .M47 1996},
  topic = {cognitive-psychology;}
 }

@incollection{ oaksford-chater:2002a,
  author = {Mike Oaksford and Nick Chater},
  title = {Commonsense Reasoning, Logic, and Human Rationality},
  booktitle = {Common Sense, Reasoning, and Rationality},
  publisher = {Oxford University Press},
  year = {2002},
  editor = {Ren\'ee Elio},
  pages = {174--214},
  address = {Oxford},
  url = {http://books.google.com/books?id=qsBehThigR0C&pg=PA174&lpg=PA174&dq=%22Nick+Chater%22+%22common+sense&source=bl&ots=qHsq6DExGL&sig=rfpe-B1mSO0tMqP_Odz06O-IRoc&hl=en&ei=xMP7S4GaC5KQNsCuyL8B&sa=X&oi=book_result&ct=result&resnum=3&ved=0CBwQ6AEwAg#v=onepage&q&f=false},
  abstract = {This chapter argues that the most important issue for
    the cognitive science of reasoning is whether deduction provides
    a computational-level theory of a substantial amount of everyday,
    commonsense thought. The chapter is organized as follows. It
    begins by outlining what deduction is, in abstract terms, and
    then considers various ways in which it can be related to human
    reasoning, using the framework of D. Marr's levels of
    explanation.  Three sophisticated lines of arguments are
    developed from epistemology, AI, and the psychology of reasoning.
    Each argument supports the conclusion that deduction has no
    significant role in commonsense reasoning. The implications of
    rejecting deduction for the cognitive science of human reasoning
    are considered.},
  topic = {common-sense-reasoning;psychology-of-reasoning;
  	cognitive-psychology;}
  }

@article{ oates:2005a,
  author = {Tim Oates},
  title = {Review of \emph{{I}ntroduction to Autonomous Mobile
  		Robots}, by {R}oland {S}iegwart
		and {I}llah {R}eza {N}ourbakhsh},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {169},
  number = {2},
  pages = {146--149},
  xref = {Review of: siegwart-nourbakhsh:2004a},
  topic = {robotics;}
  }

@article{ oates-chong_ww:2006a,
  author = {Tim Oates and Waiwan Chang},
  title = {Review of \emph{{U}niversal Artificial Intelligence}, by
  		{M}arcus {H}utter},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {18},
  pages = {1222--1226},
  xref = {Review of: hutter:2004a.},
  topic = {foundations-of-AI;machine-learning;}
  }

@inproceedings{ oates-cohen_pr:1996a,
  author = {Tim Oates and Paul R. Cohen},
  title = {Searching for Planning Operators with Context-Dependent
	and Probabilistic Effects},
  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 = {865--868},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {planning;nondeterministic-action;}
  }

@article{ oatley-johnsonlaird:1987a,
  author = {Keith Oatley and P. N. Johnson-Laird},
  title = {Towards a Cognitive Theory of Emotions},
  journal = {Cognition and Emotion},
  volume = {1},
  number = {1},
  pages = {29--50},
  year = {1987},
  topic = {emotion;cognitive-psychology;}
  }

@article{ obdrzalek:2005a,
  author = {Jan Obdr\u{z}\'alek},
  title = {Review of \emph{{T}he Essential {T}uring}, edited by
  		{B}. {J}\ack {C}opeland},
  journal = {The Bulletin of Symbolic Logic},
  year = {2005},
  volume = {11},
  number = {4},
  pages = {541--542},
  xref = {Review of: copeland:2004a.},
  topic = {Turing;Turing-test;history-of-logic;}
  }

@article{ oberlander:1993a,
  author = {Jon Oberlander},
  title = {Review of \emph{{I}ntentions in Communication}, edited by
  	{P}hilip {R}. {C}ohen, {J}erry {M}organ and {M}artha {E}.
	{P}ollack},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {63},
  number = {1--2},
  pages = {511--520},
  xref = {Review of cohen_pr1-etal:1990a.},
  topic = {pragmatics;nl-understanding;}
  }

@article{ oberlander:1998a,
  author = {Jon Oberlander},
  title = {Do the Right Thing $\ldots$ but Expect the Unexpected},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {3},
  pages = {501--509},
  topic = {nl-generation;referring-expressions;}
  }

@inproceedings{ oberlander-dale_r:1991a,
  author = {Jon Oberlander and Robert Dale},
  title = {Generating Expressions Referring to Eventualities},
  year = {1991},
  booktitle = {Proceedings of the Conference on Cognitive Science},
  topic = {nl-generation;referring-expressions;}
}

@incollection{ oberlander-dayan:1996a,
  author = {Jon Oberlander and Peter Dayan},
  title = {Altered States and Virtual Beliefs},
  booktitle = {Connectionism, Concepts, and Folk Psychology: The Legacy
  		of {A}lan {T}uring: Volume {II}},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Peter J.R. Millican and Andy Clark},
  pages = {115--138},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {foundations-of-cognitive-science;competence;belief;
  	philosophy-of-mind;}
  }

@article{ oberlander-etal:1999a,
  author = {Jon Oberlander and P. Monaghan and R. Cox and
  	Keith Stenning and R. Tobin},
  title = {Unnatural Language Processing},
  journal = {Journal of Logic, Language, and Information},
  year = {1999},
  volume = {8},
  number = {3},
  pages = {363--384},
  topic = {reasoning-with-diagrams;}
  }

@inproceedings{ oberlander-lascarides:1991a,
  author = {Jon Oberlander and Alex Lascarides},
  title = {Discourse Generation, Temporal Constraints and
		Defeasible Reasoning},
  booktitle = {Proceedings of the
     {AAAI} Fall Symposium on Discourse Structure in Interpretation and
     Generation},
  year = {1991},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  missinginfo = {pages},
  rtnote = {In RHT collection.},
  topic = {nl-generation;discourse-relations;nm-ling;pragmatics;}
  }

@inproceedings{ oberlander-lascarides:1992a,
  author = {Jon Oberlander and Alex Lascarides},
  title = {Preventing False Temporal Implicatures: Interactive
	Defaults for Text Generation},
  booktitle = {Proceedings of {COLING92}},
  year = {1991},
  pages = {721--727},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {nl-generation;implicature;pragmatics;temporal-reasoning;nm-ling;}
  }

@article{ obojska:2007a,
  author = {Lidia Obojska},
  title = {`Primary Relations' in a New Foundational Axiomatic Framework},
  journal = {Journal of Philosophical Logic},
  year = {2007},
  volume = {36},
  number = {6},
  pages = {641--657},
  topic = {mereology;}
  }

@incollection{ obrst-jha:1997a,
  author = {Leo Obrst and Krishna Jha},
  title = {{NLP} and Industry: Transfer and
     		Reuse of Technologies},
  booktitle = {From Research to Commercial Applications: Making
  	{NLP} Work in Practice},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Jill C. Burstein and Claudia Leacock},
  pages = {57--63},
  address = {Somerset, New Jersey},
  topic = {nlp-technology;software-engineering;}
  }

@article{ occonnell-etal:1990a,
  author = {Daniel C. O'Connell and Sabine Kowal and and Erika
        Kaltenbacher},
  title = {Turn-Taking: A Critical Analysis of the Research
	Tradition},
  journal = {Journal of Psycholinguistic Research},
  volume = {19},
  number = {6},
  pages = {345--373},
  year = {1990},
  topic = {sociolinguistics;conversation-analysis;turn-taking;}
  }

@article{ och-ney:2003a,
  author = {Franz Josef Och and Hermann Ney},
  title = {A Systematic Comparison of Various Statistical Alignment
  	Models},
  journal = {Computational Linguistics},
  year = {2003},
  volume = {29},
  number = {1},
  pages = {19--51},
  topic = {text-alignment;statistical-nlp;}
  }

@article{ ochs_e:1976a,
  author = {Eleanor Ochs Keenan},
  title = {The Universality of Conversational Implicature},
  journal = {Language in Society},
  year = {1976},
  volume = {5},
  pages = {67--80},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  rtnote = {pragmatics-course;},
  topic = {implicature;pragmatics;cooperative-principle;}
  }

@incollection{ ochs_e:1979a,
  author = {Eleanor Ochs},
  title = {Transcription as Theory},
  booktitle = {Developmental Pragmatics},
  publisher = {Academic Press},
  year = {1979},
  editor = {Eleanor Ochs and B.B. Schieffelin},
  pages = {43--72},
  address = {New York},
  topic = {discourse;transcription-methodology;pragmatics;}
  }

@incollection{ ochs_e-schieffelin:1976a,
  author = {Eleanor Ochs Keenan and Bambi B. Schieffelin},
  title = {Topic as a Discourse Notion},
  booktitle = {Subject and Topic},
  publisher = {Academic Press},
  year = {1976},
  editor = {C.N. Li},
  address = {New York},
  pages = {337--384},
  rtnote = {In RHT collection.},
  topic = {d-topic;discourse;pragmatics;}
  }

@book{ ochs_e-schieffelin:1979a,
  editor = {Eleanor Ochs and B.B. Schieffelin},
  title = {Developmental Pragmatics},
  publisher = {Academic Press},
  year = {1979},
  address = {New York},
  missinginfo = {A's 1st name},
  topic = {pragmatics;psycholinguistics;L1-acquisition;}
 }

@article{ ochs_w:1977a,
  author = {W. Ochs},
  title = {On the Strong Law of Large Numbers in Quantum Probability
  	Theory},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {6},
  number = {4},
  pages = {473--480},
  topic = {quantum-logic;probability;}
  }

@article{ ockenfels-roth_ae:2002a,
  author = {Axel Ockenfels and Alvin E. Roth},
  title = {The Timing of Bids in Internet Auctions: Market Design,
  	Bidder Behavior, and Artificial Agents},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {23},
  number = {3},
  pages = {79--87},
  topic = {auction-protocols;behavioral-economics;}
  }

@article{ oconnell-kowal:1986a,
  author = {Daniel C. O'Connell and Sabine H. Kowal},
  title = {Use of Punctuation for Pausing---Oral Readings by
		  {G}erman Radio Homilists},
  journal = {Psychological Research},
  year = {1986},
  volume = {48},
  number = {2},
  pages = {93--98},
  topic = {punctuation;German-language;}
 }

@article{ oconnor_dj:1951a,
  author = {D.J. O'Connor},
  title = {The Analysis of Conditional Sentences},
  journal = {Mind, New Series},
  year = {1951},
  volume = {60},
  pages = {351--362},
  missinginfo = {number},
  xref = {Review: baylis:1951a.},
  rtnote = {In RHT collection.},
  topic = {conditionals;}
  }

@article{ oconnor_dj:1960a,
  author = {D.J. O'Connor},
  title = {Possibility and Choice},
  journal = {Proceedings of the {A}ristotelian Society, Supplementary Volume},
  year = {1960},
  volume = {34},
  pages = {1--24},
  missinginfo = {A's 1st name},
  topic = {action;freedom;ability;}
  }

@incollection{ oconnor_t:2000a,
  author = {Timothy O'Connor},
  title = {Causality, Mind, and Free Will},
  booktitle = {Philosophical Perspectives 14: Action and Freedom},
  publisher = {Blackwell Publishers},
  year = {2000},
  editor = {James E. Tomberlin},
  pages = {105--117},
  address = {Oxford},
  topic = {freedom;volition;}
  }

@incollection{ oconnor_t:2006a,
  author = {Timothy O'Connor},
  title = {Free Will},
  bookbooktitle = {The {S}tanford Encyclopedia of Philosophy},
  publisher = {Stanford University},  publisher = {Stanford University},  publisher = {Stanford University},
  editor = {Edward N. Zalta},
  url = {http://plato.stanford.edu/archives/spr2006/entries/freewill/},
  year = {2006},
  quarter = {Spring 2006},
  rtnote = {In RHT collection.},
  rtnote = {Reading notes on file.},
  topic = {freedom;volition;}
  }

@article{ oconnor_t-wang_hy:2005a,
  author = {Timothy O'Connor and Hong Yu Wang},
  title = {The Metaphysics of Emergence},
  journal = {No\^us},
  year = {2005},
  volume = {39},
  number = {4},
  pages = {658--},
  topic = {emergence;}
  }

@incollection{ oddie:1996a,
  author = {Graham Oddie},
  title = {The Consequences of Action},
  booktitle = {Logic and Reality: Essays on the Legacy of {A}rthur
  	{P}rior},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Jack Copeland},
  pages = {273--299},
  address = {Oxford},
  topic = {action;consequentialism;branching-time;}
  }

@article{ odegard:1965a,
  author = {Douglas Odegard},
  title = {Excluding the Middle from Loose Concepts},
  journal = {Theoria},
  year = {1965},
  volume = {31},
  number = {2},
  pages = {139--145},
  topic = {vagueness;excluded-middle;}
  }

@book{ odifreddi:1989a,
  author = {Piergiorgio Odifreddi},
  title = {Classical Recursion Theory: the Theory of Functions and
  	Sets of Natural Numbers},
  publisher = {North-Holland},
  year = {1989},
  address = {Amsterdam},
  topic = {computability;}
 }

@book{ odifreddi:1990a,
  editor = {Piergiorgio Odifreddi},
  title = {Logic and Computer Science},
  publisher = {Academic Press},
  year = {1990},
  address = {London},
  ISBN = {0125242204},
  rtnote = {UMich Media Union Library, QA 9 .L82 1990.},
  topic = {logic-in-cs;logic-in-cs-intro;}
 }

@article{ odifreddi:1997a,
  author = {Piergiorgio Odifreddi},
  title = {Review of `Shadows of the Mind:  A Search for the Missing
  	Science of Consciousness', by {R}oger {P}enrose},
  journal = {The Journal of Symbolic Logic},
  year = {1997},
  volume = {62},
  number = {2},
  pages = {673--675},
  topic = {foundations-of-cognition;goedels-first-theorem;
  	goedels-second-theorem;}
  }

@book{ odifreddi:1999a,
  author = {Piergiorgio Odifreddi},
  title = {Classical Recursion Theory},
  publisher = {Elsevier},
  year = {1999},
  address = {Amsterdam},
  ISBN = {044450205X},
  topic = {recursion-theory;}
 }

@book{ odifreddi:1999b,
  author = {Piergiorgio Odifreddi},
  title = {Classical Recursion Theory. Volume 2},
  publisher = {Elsevier},
  year = {1999},
  address = {Amsterdam},
  ISBN = {044450205X},
  topic = {recursion-theory;}
 }

@book{ odifreddi:2004a,
  author = {Piergiorgio Odifreddi},
  title = {The Mathematical Century},
  publisher = {Princeton University Press},
  year = {2004},
  address = {Princeton, New Jersey},
  ISBN = {0-691-09294-X (hbk)},
  topic = {history-of-mathematics;}
 }

@article{ odintsov:2004a,
  author = {Sergei P. Odintsov},
  title = {Negative Equivalence of Extensions of Minimal Logic},
  journal = {Studia Logica},
  year = {2004},
  volume = {78},
  number = {3},
  pages = {417--442},
  topic = {minimal-logic;relevance-logic;}
  }

@incollection{ odonnell-etal:1998a,
  author = {Michael O'Donnell and Hua Cheng and Janet Hitzeman},
  title = {Integrating Referring and Informing in {NP} Planning},
  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 = {46--55},
  address = {New Brunswick, New Jersey},
  topic = {nominal-constructions;nl-generation;}
  }

@article{ odonnovan-etal:2005a,
  author = {Ruth O'Donnovan and Michael Burke and Aiofe Cahill
  		and Josef van Genabith and Andy Way},
  title = {Large-Scale Induction and Evaluation of Lexical Resources
  		from the {P}enn-{II} and {P}enn-{II} Treebanks},
  journal = {Computational Linguistics},
  year = {2005},
  volume = {31},
  number = {3},
  pages = {329--365},
  topic = {LFG;argument-structure;corpus-linguistics;
  	computational-lexicography;}
  }

@inproceedings{ oehrle:1985a,
  author = {Richard T. Oehrle},
  title = {Lecture Notes: Prosody, Information and Grammatical
	  Architecture},
  year = {1995},
  organization = {7th European Summer School in Logic, Language and
	  Information, Barcelona, Spain},
  topic = {punctuation;prosody;}
 }

@article{ oehrle:1994a,
  author = {Richard T. Oehrle},
  title = {Term-Labeled Categorial Type Systems},
  journal = {Linguistics and Philosophy},
  year = {1994},
  volume = {17},
  number = {6},
  pages = {633--678},
  topic = {categorial-grammar;higher-order-logic;}
  }

@book{ oehrle-etal:1988a,
  editor = {Richard T. Oehrle and Emmon Bach and Deirdre Wheeler},
  title = {Categorial Grammars and Natural Language Structures},
  publisher = {D. Reidel Publishing Company},
  year = {1988},
  address = {Dordrecht},
  ISBN = {1556080301},
  rtnote = {UMich Graduate Library, P 161 .C391 1988.},
  topic = {categorial-grammar;}
 }

@incollection{ oepen-etal:1997a,
  author = {Stephen Oepen and Klaus Netter and Judith Klein},
  title = {Test Suites for Natural Language Processing},
  booktitle = {Linguistic Databases},
  publisher = {{CSLI} Publications},
  year = {1997},
  editor = {John Nerbonne},
  pages = {13--36},
  address = {Stanford, California},
  topic = {corpus-linguistics;nlp-evaluation;}
  }

@techreport{ oettinger:1965a,
  author = {Anthony G. Oettinger},
  title = {Mathematical Linguistics and Automatic Translation},
  institution = {The Computation Laboratory of Harvard University},
  number = {NSF--16},
  year = {1965},
  address = {Cambridge, Massachusetts},
  missinginfo = {A's 1st name},
  rtnote = {In RHT Collection.  CS MS shelves.},
  topic = {machine-translation;}
  }

@article{ oflazer:1996a,
  author = {Kemal Oflazer},
  title = {Error-Tolerant Finite-State Recognition with Applications
  	to Morphological Analysis and Spelling Correction},
  journal = {Computational Linguistics},
  year = {1996},
  volume = {22},
  number = {1},
  pages = {73--89},
  topic = {finite-state-morpology;}
  }

@article{ oflazer:2003a,
  author = {Kemal Oflazer},
  title = {Dependency Parsing with an Extended Finite-State Approach},
  journal = {Computational Linguistics},
  year = {2003},
  volume = {29},
  number = {4},
  pages = {515--544},
  topic = {parsing-algorithms;finite-state-parsing;Turkish-language;}
  }

@article{ oflazer-etal:2001a,
  author = {Kemal Oflazer and Sergei Nirenberg andd Marjorie McShane},
  title = {Bootstrapping Morphological Analyzers by Combining Human
  	Elicitation and Maching Learning},
  journal = {Computational Linguistics},
  year = {2001},
  volume = {27},
  number = {1},
  pages = {59--84},
  topic = {finite-state-morpology;machine-learning;}
  }

@incollection{ oflazer-tur:1996a,
  author = {Kemal Oflazer and Gokhan Tur},
  title = {Combining Hand-Crafted Rules and
			Unsupervised Learning in Constraint-Based Morphological
			Disambiguation},
  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 = {69--81},
  address = {Somerset, New Jersey},
  topic = {disambiguation;morphology;}
  }

@inproceedings{ oflazer-tur:1997a,
  author = {Kemal Oflazer and G\"okhan T\"ur},
  title = {Morphological Disambiguation by Voting Constraints},
  booktitle = {Proceedings of the Thirty-Fifth Annual Meeting of the
		{A}ssociation for {C}omputational {L}inguistics and Eighth
		Conference of the {E}uropean Chapter of the {A}ssociation
		for {C}omputational {L}inguistics},
  year = {1997},
  editor = {Philip R. Cohen and Wolfgang Wahlster},
  pages = {222--229},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {morphological-disambiguation;Turkish-language;}
 }

@incollection{ oflazer-tur:1998a,
  author = {Kemal Oflazer and G\"okhan T\"ur},
  title = {Implementing Voting Constraints with Finite State
  	Transducers},
  booktitle = {{FSMNLP'98}: International Workshop on Finite State
  	Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Lauri Karttunen},
  pages = {91--100},
  address = {Somerset, New Jersey},
  topic = {nl-processing;finite-state-nlp;finite-state-automata;}
  }

@book{ ofstad:1961a,
  author = {Harald Ofstad},
  title = {The Functions of Moral Philosophy: A Plea For an
  	Integration of Philosophical Analysis and Empirical
	Research},
  publisher = {Oslo University Press},
  year = {1961},
  address = {Oslo},
  ISBN = {9122012982 (pbk.)},
  rtnote = {UMich Graduate Library, DD 256.5 .O373 1989.},
  topic = {ethics;ethics-and-sociology;}
 }

@article{ ofstad:1967a,
  author = {Harold Ofstad},
  title = {Recent Work on the Free Will Problem},
  journal = {American Philosophy Quarterly},
  year = {1967},
  volume = {4},
  pages = {179--202},
  contentnote = {Contains an extensive bibliography},
  missinginfo = {number},
  topic = {freedon;(in)determinism;}
  }

@book{ ofstad:1989a,
  author = {Harald Ofstad},
  title = {Our Contempt For Weakness {N}azi Norms and Values--And
  	Our Own},
  publisher = {Almqvist and Wiksell},
  year = {1989},
  address = {Gothenburg},
  ISBN = {9122012982 (pbk.)},
  rtnote = {UMich Graduate Library, DD 256.5 .O373 1989.},
  topic = {ethics-and-sociology;}
 }

@book{ ofsted:1961b,
  author = {Harald Ofsted},
  title = {An Inquiry into the Freedom of Decision},
  publisher = {G. Allen Unwin},
  year = {1961},
  address = {Oslo},
  ISBN = {9122012982 (pbk.)},
  rtnote = {UMich Graduate Library, DD 256.5 .O373 1989.},
  topic = {freedom;ethics-and-sociology;}
 }

@book{ ogden-richards_ia:1923a1,
  author = {C.K. Ogden and I.A. Richards},
  title = {The Meaning of Meaning},
  edition = {1},
  publisher = {Routledge \& Kegan Paul},
  year = {1923},
  address = {London},
  topic = {semiotics;cultural-anthropology;context;}
 }

@book{ ogden-richards_ia:1923a2,
  author = {C.K. Ogden and I.A. Richards},
  title = {The Meaning of Meaning},
  edition = {10},
  publisher = {Routledge \& Kegan Paul},
  year = {1966},
  address = {London},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {semiotics;cultural-anthropology;context;}
 }

@inproceedings{ ogihara:1991a,
  author = {Toshiyuki Ogihara},
  title = {Attitudes without Monsters: A Japanese Perspective	Ogih},
  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/ogihara_salt16_corrected.pdf},
  topic = {intensionality;context;Japanese-language;}
  }

@inproceedings{ ogihara:1994a,
  author = {Toshiyuki Ogihara},
  title = {Adverbs of Quantification and Sequence-of-Tense
		Phenomena},
  booktitle = {Proceedings from Semantics and Linguistic Theory {IV}},
  year = {1994},
  editor = {Mandy Harvey and Lynn Santelmann},
  pages = {251--267},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {nl-semantics;nl-tense;adverbs;nl-quantifiers;}
  }

@article{ ogihara:1995a,
  author = {Toshiyuki Ogihara},
  title = {Double-Access Sentences and Reference to States},
  journal = {Natural Language Semantics},
  year = {1995},
  volume = {3},
  number = {2},
  pages = {177--210},
  topic = {nl-semantics;tense-aspect;}
  }

@inproceedings{ ogihara:1995b,
  author = {Toshiyuki Ogihara},
  title = {Non-Factual {\em Before} and Adverbs of Quantification},
  booktitle = {Proceedings from Semantics and Linguistic Theory {V}},
  year = {1995},
  editor = {Mandy Simons and Teresa Galloway},
  pages = {273--291},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {nl-semantics;nl-quantifiers;adverbs;}
  }

@article{ ogihara:1995c,
  author = {Toshiyuki Ogihara},
  title = {The Semantics of Tense in Embedded Clauses},
  journal = {Linguistic Inquiry},
  year = {1995},
  volume = {26},
  number = {4},
  pages = {663--662},
  topic = {nl-semantics;tense-aspect;}
  }

@inproceedings{ ogihara:1998a,
  author = {Toshiyuki Ogihara},
  title = {Tense, Aspect, and Argument Structure},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VIII}},
  publisher = {Cornell University},
  year = {1998},
  editor = {Devon Strolovitch and Aaron Lawson},
  pages = {169--184},
  address = {Ithaca, New York},
  topic = {nl-semantics;Aktionsarten;Japanese-language;}
  }

@inproceedings{ ogihara:1999a,
  author = {Toshiyuki Ogihara},
  title = {Double-Access Sentences Generalized},
  booktitle = {Proceedings from Semantics and Linguistic Theory {IX}},
  publisher = {Cornell University},
  year = {1999},
  editor = {Tanya Matthews and Devon Strolovitch},
  pages = {224--236},
  address = {Ithaca, New York},
  topic = {nl-semantics;nl-tense;}
  }

@inproceedings{ ogihara:2000a,
  author = {Toshiyuki Ogihara},
  title = {Counterfactuals, Temporal Adverbs, and Association with
  		Focus},
  booktitle = {Proceedings from Semantics and Linguistic Theory {X}},
  publisher = {Cornell University},
  year = {2000},
  editor = {Brendan Jackson and Tanya Matthews},
  pages = {115--131},
  address = {Ithaca, New York},
  topic = {nl-semantics;conditionals;adverbs;sentence-focus;}
  }

@article{ ogihara:2004a,
  author = {Toshiyuki Ogihara},
  title = {Adjectival Relations},
  journal = {Linguistics and Philosophy},
  year = {2004},
  volume = {27},
  number = {5},
  pages = {557--608},
  topic = {adjectives;nl-semantics;Japanese-language;}
  }

@article{ oglietti:2005a,
  author = {Marcelo Oglietti},
  title = {Understanding Planning with Incomplete Information
  		and Sensing},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {164},
  number = {1--2},
  pages = {171--208},
  topic = {planning;sensing-actions;reasoning-about-uncertainty;}
  }

@article{ ogorman:1978a,
  author = {Frank O'Gorman},
  title = {Edge Detection Using {W}alsh Functions},
  journal = {Artificial Intelligence},
  year = {1978},
  volume = {10},
  number = {2},
  pages = {215--223},
  topic = {edge-detection;}
  }

@inproceedings{ oh_ah-rudnicky:2000a,
  author = {Alice H. Oh and Alexander J. Rudnicky},
  title = {Stochastic Language Generation for Spoken Langyage
		Systems},
  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 = {27--32},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;nl-generation;}
  }

@article{ oh_ck:1977a,
  author = {ChoonKyo Oh},
  title = {The So-Called Bach-Peters Paradox Explained Away},
  journal = {Theoretical Linguistics},
  year = {1977},
  volume = {4},
  number = {3},
  pages = {197--207},
  topic = {Bach-Peters-sentences;}
  }

@book{ oh_ck-dineen:1979a,
  editor = {ChoonKyo Oh and David A. Dineen},
  title = {Syntax and Semantics 11: Presupposition},
  publisher = {Academic Press},
  year = {1979},
  address = {New York},
  topic = {presupposition;pragmatics;}
 }

@inproceedings{ oh_sr:2001a,
  author = {Sei-Rang Oh},
  title = {Distributivity in an Event Semantics},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XI}},
  publisher = {Cornell University},
  year = {2001},
  editor = {Rachel Hastings and Brendan Jackson and Zsofia Zvolenszky},
  pages = {326--345},
  address = {Ithaca, New York},
  topic = {nl-semantics;event-semantics;distributive/collective-readings;
  		Korean-language;}
  }

@article{ ohair:1967a,
  author = {S.G. O'Hair},
  title = {Performatives and Sentences Verifiable by Their Use},
  journal = {Synthese},
  year = {1967},
  volume = {17},
  missinginfo = {A's 1st name, number, pages},
  topic = {speech-acts;pragmatics;}
  }

@incollection{ ohara-etal:1998a,
  author = {Tom O'Hara and Kavi Mahesh and Sergei Nirenburg},
  title = {Lexical Acquisition with {W}ord{N}et and the Mikrokosmos
  	Ontology},
  booktitle = {Use of {W}ord{N}et in Natural Language Processing
  	Systems:  Proceedings of the Conference},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Sanda Harabagiu},
  pages = {94--101},
  address = {Somerset, New Jersey},
  url =
    {http://www.ai.sri.com/\user{}harabagi/coling-acl98/acl_work/ohara.ps.gz},
  topic = {nl-processing;WordNet;word-acquisition;
  	computational-ontology;}
  }

@article{ ohlbach-koehler_j:1999a,
  author = {Hans J\"urgen Ohlbach and Jana Koehler},
  title = {Modal Logics, Description Logics and Arithmetic
  	Reasoning},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {109},
  number = {1--2},
  pages = {1--31},
  acontentnote = {Abstract:
     We introduce mathematical programming and atomic decomposition
     as the basic modal (T-Box) inference techniques for a large
     class of modal and description logics.  The class of description
     logics suitable for the proposed methods is strong on the
     arithmetical side.  In particular there may be complex
     arithmetical conditions on sets of accessible worlds (role
     fillers).
      The atomic decomposition technique can deal with set
     constructors for modal parameters (role terms) and parameter
     (role) hierarchies specified in full propositional logic.
     Besides the standard modal operators, a number of other
     constructors can be added in a relatively straightforward way.
     Examples are graded modalities (qualified number restrictions)
     and also generalized quantifiers like ``most'', ``n%'', ``more'' and
     ``many''.
 },
  topic = {modal-logic;description-logics;}
  }

@article{ ohlsson:1973a,
  author = {Ragnar Ohlsson},
  title = {Who Can Accept Moral Dilemmas?},
  journal = {The Journal of Philosophy},
  year = {1973},
  volume = {70},
  number = {8},
  pages = {405--415},
  topic = {moral-conflict;}
  }

@incollection{ ohrstrom-flo:1996a,
  author = {Peter {\O}hrstrom and Olav Flo},
  title = {Bibliography of {P}rior's
       		Philosophical Writings},
  booktitle = {Logic and Reality: Essays on the Legacy of {A}rthur
  	{P}rior},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Jack Copeland},
  pages = {519--532},
  address = {Oxford},
  topic = {Prior;}
  }

@book{ ohrstrom-hasle:1995a,
  author = {Peter {\O}hrstr{\o}m and Per F.V. Hasle},
  title = {Temporal Logic: From Ancient Ideas To Artificial Intelligence},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  address = {Dordrecht},
  ISBN = {0792335864 (hb)},
  rtnote = {UMich Graduate Library, BC 199 .T4 O371 1995.},
  topic = {temporal-logic;logic-in-AI;}
 }

@article{ ohsawa-ishizuka:1997a,
  author = {Yukio Ohsawa and Mitsuru Ishizuka},
  title = {Networked Bubble Propagation: A Polynomial-Time
  	Hypothetical Reasoning Method for Computing Near-Optimal
	Solutions},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {91},
  number = {1},
  pages = {131--154},
  acontentnote = {Abstract:
     Hypothetical reasoning (abduction) is an important knowledge
     processing framework because of its theoretical basis and its
     usefulness for solving practical problems including diagnosis,
     design, etc.  In many cases, the most probable hypotheses set for
     diagnosis or the least expensive one for design is desirable.
     Cost-based abduction, where a numerical weight is assigned to
     each hypothesis and an optimal solution hypotheses set with
     minimal sum of element hypotheses' weights is searched, deals
     with such problems.  However, slow inference speed is its
     crucial problem: cost-based abduction is NP-complete.  In order
     to achieve a tractable inference of cost-based abduction, we aim
     at obtaining a nearly, rather than exactly, optimal solution.
     For this approach, an approximate solution method exploited in
     mathematical programming is quite beneficial.  On the other hand,
     from the standpoint of knowledge processing, it is also
     important to realize inference on a network which reflects
     knowledge structure.  Knowledge structure is a fruitful
     information for an efficient inference.  In this paper, we
     propose an inference method which works on a knowledge network,
     based on a mechanism similar to the pivot and complement method,
     an efficient approximate 0-1 integer programming method to find
     a near-optimal solution within a polynomial time of O(N4), where
     N is the number of variables or hypotheses.  We reformalize this
     method by a new type of network on which inference is executed
     by propagating bubbles.  This method achieves an inference time
     of O(N2) by executing each bubble propagation within a small
     sub-network, i.e., by taking advantage of the knowledge
     structure.
  },
  topic = {abduction;hypothetical-reasoning;graph-based-reasoning;}
  }

@inproceedings{ oishi-matsumoto_y2:1997a,
  author = {Akira Oishi and Yuji Matsumoto},
  title = {Automatic Extraction of Aspectual Information
  	from a Monolingual Corpus},
  booktitle = {Proceedings of the Thirty-Fifth Annual Meeting of the
		{A}ssociation for {C}omputational {L}inguistics and Eighth
		Conference of the {E}uropean Chapter of the {A}ssociation
		for {C}omputational {L}inguistics},
  year = {1997},
  editor = {Philip R. Cohen and Wolfgang Wahlster},
  pages = {352--359},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {nl-interpretation;tense-aspect;}
 }

@article{ ojeda:1988a,
  author = {Almerindo E. Ojeda},
  title = {A Linear Precedence Account of Cross-Serial
  		Dependencies},
  journal = {Linguistics and Philosophy},
  year = {1988},
  volume = {11},
  number = {4},
  pages = {457--492},
  topic = {nl-syntax;context-free-grammars;}
  }

@article{ ojeda:1991a,
  author = {Almerindo E. Ojeda},
  title = {Definite Descriptions and Definite Generics},
  journal = {Linguistics and Philosophy},
  year = {1991},
  volume = {14},
  number = {4},
  pages = {367--397},
  topic = {definite-descriptions;generics;}
  }

@article{ ojeda:1998a,
  author = {Almerindo Ojeda},
  title = {The Semantics of Collectives and Distributives in
  	{P}apago},
  journal = {Natural Language Semantics},
  year = {1998},
  volume = {6},
  number = {3},
  pages = {245--270},
  topic = {distributive/collective-readings;plural;Uto-Aztecan-language;}
  }

@book{ ojedaaciego-etal:2000a,
  editor = {M. Ojeda-Aciego and I.P.de Guzman and Gerhardt Brewka and
  	Lu\'is Moniz Pereira},
  title = {Proceedings of {JELIA} 2000: Logics in {AI}},
  publisher = {Springer-Verlag},
  year = {2000},
  address = {Berlin},
  ISBN = {3-540-41131-3},
  contentnote = {Blurb:
     This book constitutes the refereed proceedings of the European
     Workshop on Logics in Artificial Intelligence, JELIA 2000, held
     in Malaga, Spain in September/October 2000. The 24 revised full
     papers presented together with three invited papers were
     carefully reviewed and selected out of 60 submissions. The
     papers are organized in topical sections on knowledge
     representation, reasoning about actions, belief revision,
     theorem proving, argumentation, agents, decidability and
     complexity, updates, and preferences.
  },
  topic = {logic-in-AI;}
 }

@article{ okada-terui:1999a,
  author = {Mitsuhiro Okada and Kazushige Terui},
  title = {The Finite Model Property for Various Fragments
  	of Intuitionistic Linear Logic},
  journal = {Journal of Symbolic Logic},
  year = {1999},
  volume = {64},
  number = {2},
  pages = {790--802},
  topic = {finite-model-property;intuitionistic-logic;
  	linear-logic;}
  }

@article{ okashawa:2002a,
  author = {Samir Okashawa},
  title = {Genetic Relatedness and the Evolution of Altruism},
  journal = {Philosophy of Science},
  year = {2002},
  volume = {69},
  number = {1},
  pages = {138--137},
  topic = {philosophy-of-biology;evolution;}
  }

@techreport{ olawsky:1989a,
  author = {Duane E. Olawsky},
  title = {The Lexical Semantics of Comparative Expressions in a
  	Multi-Level Semantic Processor},
  institution = {University of Minnesota, Institute of
    Technology, Computer Science Dept.},
  number = {TR-89-19},
  year = {1989},
  address = {Minneapolis},
  acontentnote = {Abstract:
    Comparative expressions (CEs) such as
    ``bigger than'' and ``more oranges than'' are highly
    ambiguous, and their meaning is context dependent.  Thus, they pose
    problems for the semantic interpretation algorithms typically used
    in natural language database interfaces.  We focus on the comparison
    attribute ambiguities that occur with CEs.  To resolve these
    ambiguitites our natural language interface interacts with the user,
    finding out which of the possible interpretations was intended.  Our
    multi-level semantic processor facilitates this interaction by
    recognizing the occurrence of comparison attribute ambiguity and by
    calculating and presenting a list of candidate comparison attributes
    from which the user may choose.  The effects of simple standing
    orders on this attribute selection process are also
    considered.   },
  topic = {comparative-constructions;ellipsis;nl-interpretation;}
 }

@article{ olbach:1998a,
  author = {Hans J\"urgen Olbach},
  title = {Review of \emph{Extensions of First-Order Logic},
	by {M}aria {M}anzano},
  journal = {Journal of Logic, Language, and Information},
  year = {1998},
  volume = {7},
  number = {3},
  pages = {389--391},
  xref = {Review of manzano:1995a.},
  topic = {higher-order-logic;modal-logic;temporal-logic;
  	dynamic-logic;}
  }

@incollection{ olbach-koehler_j:1998a,
  author = {Hans J\"urgen Olbach and Jana Koehler},
  title = {How to Augment a Formal
	System with a {B}oolean Algebra Component},
  booktitle = {Automated Deduction: A Basis for Applications.
  	Volume {III}, Applications},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Wolfgang Bibel and Peter H. Schmidt},
  address = {Dordrecht},
  missinginfo = {A's 1st name, pages},
  topic = {theorem-proving;applied-logic;}
  }

@article{ olbach-koehler_j:1999a,
  author = {Hans J\"urgen Olbach and Jana Koehler},
  title = {Modal Logics, Description Logics and Arithmetic
		Reasoning},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {109},
  number = {1--2},
  pages = {1--31},
  topic = {description-logics;modal-logic;}
  }

@incollection{ olearyhawthorne-mcdonough:1998a,
  author = {John O'Leary-Hawthorne and Jeffrey K. McDonough},
  title = {Numbers, Minds, and Bodies: A Fresh Look at Mind-Body
		Dualism},
  booktitle = {Philosophical Perspectives 12: Language, Mind,
  	and Ontology},
  publisher = {Blackwell Publishers},
  year = {1998},
  editor = {James E. Tomberlin},
  pages = {349--371},
  address = {Oxford},
  topic = {mind-body-problem;selectional-restrictions;}
  }

@article{ olearyhawthorne-oppy:1997a,
  author = {John O'Leary-Hawthorne and Graham Oppy},
  title = {Minimalism and Truth},
  journal = {No\^us},
  year = {1997},
  volume = {31},
  number = {2},
  pages = {170--196},
  contentnote = {Minimalist theories of truth are reductionist theories.},
  topic = {truth;}
  }

@article{ olin:1978a,
  author = {Philip Olin},
  title = {Urn Models and Categoricity},
  journal = {Journal of Philosophical Logic},
  year = {1978},
  volume = {7},
  number = {3},
  pages = {331--345},
  topic = {urn-models;model-theory;}
  }

@article{ oliver_a:1998a,
  author = {Alex Oliver},
  title = {Review of \emph{{A} World of States of Affairs}, by {D}.{M}.
  	{A}rmstrong},
  journal = {The Journal of Philosophy},
  year = {1998},
  volume = {95},
  number = {10},
  pages = {535--539},
  xref = {Review of: armstrong_dm:1997a.},
  topic = {metaphysics;philosophical-realism;property-theory;}
  }

@article{ oliver_a-smiley:2006a,
  author = {Alex Oliver and Timothy Smiley},
  title = {A Modest Logic of Plurals},
  journal = {Journal of Philosophical Logic},
  year = {2006},
  volume = {35},
  number = {3},
  pages = {317--348},
  topic = {plural;}
  }

@book{ oliver_rm-smith_jq:1990a,
  editor = {Robert M. Oliver and J.Q. Smith},
  title = {Influence Diagrams, Belief Nets, and Decision Analysis},
  publisher = {John Wiley and Sons, Inc.},
  year = {1990},
  address = {New York},
  ISBN = {0471923818},
  rtnote = {UMich Science, QA 279.4 .I531 1990.},
  missinginfo = {E's 1st name.},
  topic = {Bayesian-networks;probabilistic-reasoning;decision-analysis;
		decision-theoretic-reasoning;influence-diagrams;}
 }

@article{ olivetti-terracini:1992a,
  author = {Nicola Olivetti and Lea Terracini},
  title = {{N}-Prolog and Equivalence of Logic Programs: Part {I}},
  journal = {Journal of Logic, Language, and Information},
  year = {1992},
  volume = {1},
  number = {4},
  pages = {253--340},
  topic = {logic-programming;}
  }

@article{ olsen_c:1967a,
  author = {Christopher Olsen},
  title = {Austin's Worries about `I State That $\ldots$'\, },
  journal = {Mind, New Series},
  year = {1967},
  volume = {76},
  pages = {111--114},
  missinginfo = {number},
  topic = {JL-Austin;speech-acts;pragmatics;}
  }

@article{ olsen_e:1997a,
  author = {Eric T. Olsen},
  title = {Dion's Foot},
  journal = {The Journal of Philosophy},
  year = {1997},
  volume = {94},
  number = {9},
  pages = {260--265},
  topic = {individuation;personal-identity;}
  }

@article{ olsen_mm-etal:2008a,
  author = {Megan M. Olsen and Nava Siegelmann-Danieli
  	and Hava T. Siegelmann},
  title = {Robust Artificial Life via Artificial Programmed Death},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {6--7},
  pages = {884--898},
  topic = {multiagent-sytems;artificial-life;}
  }

@book{ olson_m:1971a,
  author = {Mancur Olson},
  title = {The Logic of Collective Action: Public Goods and the
  	Theory of Groups},
  publisher = {Harvard University Press},
  year = {1971},
  address = {Cambridge, Massachusetts},
  ISBN = {0674537505},
  rtnote = {UMich Graduate Library, H31 H34 v.124 1971.},
  topic = {group-action;macroeconomics;group-psychology;}
 }

@book{ olson_m:1982a,
  author = {Mancur Olson},
  title = {The Rise and Decline of Nations: Economic Growth,
  	Stagflation, and Social Rigidities},
  publisher = {Yale University Press},
  year = {1982},
  address = {New Haven},
  ISBN = {0300023073},
  rtnote = {UMich Graduate Library, HD82 .O54.},
  topic = {political-economy;civilization;}
 }

@article{ olsson_ej:1998a,
  author = {Erik J. Olsson},
  title = {Making Beliefs Coherent: The Subtraction
		and Addition Strategies},
  journal = {Journal of Logic, Language, and Information},
  year = {1998},
  volume = {7},
  number = {2},
  pages = {143--163},
  topic = {belief-revision;coherence;}
  }

@article{ olsson_ej:2003a,
  author = {Erik J. Olsson},
  title = {Belief Revision, Rational Choice and the Unity of Reason},
  journal = {Studia Logica},
  year = {2003},
  volume = {75},
  number = {2},
  pages = {219--240},
  xref = {Critical comment on: rott:2002a.},
  topic = {belief-revision;nonmonotonic-logic;practical-reasoning;}
  }

@article{ olsson_r:1995a,
  author = {Roland Olsson},
  title = {Inductive Functional Programming Using Incremental Program
  	Transformation},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {74},
  number = {1},
  pages = {55--81},
  acontentnote = {Abstract:
     The paper presents a system, ADATE, for automatic functional
     programming.  ADATE uses specifications that contain few
     constraints on the programs to be synthesized and that allow a
     wide range of correct programs.  ADATE can generate novel and
     unexpected recursive programs with automatic invention of
     recursive auxiliary functions.  Successively better programs are
     developed using incremental program transformations.  A key to
     the success of ADATE is the exact design of these
     transformations and how to systematically search for appropriate
     transformation sequences.  },
  topic = {automatic-programming;}
  }

@inproceedings{ oneill-johnson_p:1999a,
  author = {Eamonn O'Neill and Peter Johnson},
  title = {Task Knowledge Structures and the Design of Collaborative
  	Systems},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Psychological Models of Communication in Collaborative
	Systems},
  year = {1999},
  editor = {Susan E. Brennan and Alain Giboin and David R. Traum},
  pages = {81--84},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {discourse;}
  }

@incollection{ oneill-mctear:1997b,
  author = {Ian M. O'Neill and Michael F. McTear},
  title = {An Object-Oriented
		Model for the Design of Cross-Domain Dialogue
		Systems},
  booktitle = {Interactive Spoken Dialog Systems:  Bridging
  	Speech and {NLP} Together in Real Applications},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Julia Hirschberg and Candace Kamm and Marilyn Walker},
  pages = {25--28 },
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;nlp-evaluation;}
  }

@article{ onn-tennenholtz:1997a,
  author = {Shmuel Onn and Moshe Tennenholtz},
  title = {Determination of Social Laws for Multi-Agent Mobilization},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {95},
  number = {1},
  pages = {155--167},
  topic = {distributed-systems;artificial-societies;artificial-societies;}
  }

@incollection{ onologi-etal:1998a,
  author = {Maurizio Onologi and Piergiorgio Svaizer and Renato de
		Mori},
  title = {Acoustic Transduction},
  booktitle = {Spoken Dialogues with Computers},
  publisher = {Academic Press},
  year = {1998},
  editor = {Renato de Mori},
  pages = {23--67},
  address = {New York},
  topic = {speech-recognition;acoustic-transducers;}
  }

@incollection{ onyshkevich:1998a,
  author = {Boyan Onyshkevich},
  title = {Nominal Metonymy Processing},
  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 = {94--102},
  address = {New Brunswick, New Jersey},
  topic = {metonymy;machine-translation;}
  }

@book{ ooi:1998a,
  author = {Vincent B.Y. Ooi},
  title = {Computer Corpus Lexicography},
  publisher = {Edinburgh University Press},
  year = {1998},
  address = {Edinburgh},
  ISBN = {0748609962},
  rtnote = {UMich Graduate Library, P 326.5 .D38 O55 1998.},
  topic = {computer-assisted-lexicography;computer-assisted-linguistics;
  	corpus-linguistics;}
 }

@article{ ooi:1999a,
  author = {Vincent B.Y. Ooi},
  title = {Review of \emph{An Introduction to Corpus
		Linguistics}, by {G}raeme {K}ennedy},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {25},
  number = {2},
  pages = {299--301},
  xref = {Review of: kennedy_g:1998a.},
  topic = {corpus-linguistics;}
  }

@article{ oommen-rueda:2005a,
  author = {B. John Oommen and Luis G. Rueda},
  title = {A Formal Analysis of Why Heuristic Functions Work},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {164},
  number = {1--2},
  pages = {1--22},
  topic = {heuristics;optimization;}
  }

@incollection{ oppel:1991a,
  author = {Ulrich G. Oppel},
  title = {Every Complex System Can be Determined by a Causal Probabilistic
  	Network without Cycles and Every such Network Determines a {M}arkov
	Field},
  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 = {262--266},
  address = {Berlin},
  topic = {causal-graphs;}
  }

@book{ ordine:1996a,
  author = {Nuccio Ordine},
  title = {Giordano {B}runo and the Philosophy of the Ass},
  publisher = {Yale University Press},
  year = {1996},
  address = {New Haven, Connecticut},
  rtnote = {Might be useful for tracing donkey metaphor.},
  topic = {renaissance-philosophy;}
 }

@article{ oren-etal:2007a,
  author = {Nir Oren and Timothy J. Norman and Alun Preece},
  title = {Subjective Logic and Arguing with Evidence},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {10--15},
  pages = {838--854},
  topic = {argumentation;argumentation-theory;dialogue-games;}
  }

@book{ orenstein-kotatko:2000a,
  editor = {Alex Orenstein and Petr Kotatko},
  title = {Knowledge, Language and Logic: Questions for {Q}uine},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  address = {Dordrecht},
  ISBN = {0-7923-5986-0},
  topic = {Quine;analytic-philosophy;}
 }

@article{ orey:1956a,
  author = {Stephen Orey},
  title = {On $\omega$-Consistency and Related Properties},
  journal = {The Journal of Symbolic Logic},
  year = {1956},
  volume = {21},
  number = {3},
  pages = {246--252},
  rtnote = {Reading notes on file.},
  topic = {omega-consistency|completeness;}
  }

@article{ orilia:2000a,
  author = {Francesco Orilia},
  title = {Property Theory and the Revision Theory of Definition},
  journal = {Journal of Symbolic Logic},
  year = {2000},
  volume = {65},
  number = {1},
  pages = {212--246},
  topic = {untyped-lambda-calculus;property-theory;}
  }

@article{ orilia:2000b,
  author = {Francesco Orilia},
  title = {Meaning and Circular Definitions},
  journal = {Journal of Philosophical Logic},
  year = {2000},
  volume = {29},
  number = {2},
  pages = {155--169},
  topic = {definitions;}
  }

@article{ orlowska:1989a,
  author = {Ewa Orlawska},
  title = {Logic for Reasoning about Knowledge},
  journal = {Zeitschrift f\"{u}r Mathematische Logik und Grundlagen der
 	Mathematik},
  year = {1989},
  volume = {35},
  pages = {559--572},
  missinginfo = {number},
  topic = {epistemic-logic;}
  }

@incollection{ orlowska:1996a,
  author = {Ewa Orlowska},
  title = {Relational Environment for Semigroup Logics},
  booktitle = {Logic, Action, and Information: Essays on Logic in
  	Philosophy and Artificial Intelligence},
  year = {1996},
  publisher = {Walter de Gruyter},
  editor = {Andr\'e Fuhrmann and Hans Rott},
  pages = {351--391},
  address = {Berlin},
  topic = {model-theory;semigroups;proof-theory;}
  }

@article{ orourke:2003a,
  author = {Michael O'Rourke},
  title = {The Scope Argument},
  journal = {The Journal of Philosophy},
  year = {2003},
  volume = {100},
  number = {3},
  pages = {136--157},
  topic = {implicature;pragmatics;foundations-of-pragmatics;}
  }

@unpublished{ ortiz:1997b,
  author = {Charles L. {Ortiz, Jr.}},
  title = {Causal Pathways of Rational Action},
  year = {1997},
  note = {Unpublished manuscript, Division of Engineering and
		Applied Sciences, Harvard University},
  rtnote = {In RHT collection.   This is probably published in an
		AAAI or IJCAI proceedings.},
  url = {http://www.eecs.harvard.edu/\user{}ortiz/papers.html},
  topic = {causality;action;action-explanation;conditionals;agent-modeling;}
  }

@unpublished{ ortiz:1997c,
  author = {Charles L. {Ortiz, Jr.}},
  title = {The Semantics of Event Prevention},
  year = {1997},
  note = {Unpublished manuscript, Division of Engineering and
		Applied Sciences, Harvard University},
  rtnote = {In RHT collection.},
  url = {http://www.eecs.harvard.edu/\user{}ortiz/papers.html},
  topic = {foundations-of-planning;events;action;prevention;}
  }

@unpublished{ ortiz:1998a,
  author = {Charles L. {Ortiz, Jr.}},
  title = {Introspective and Elaborative Processes in Rational
		Agents},
  year = {1998},
  note = {Unpublished manuscript, Division of Engineering and
		Applied Sciences, Harvard University.},
  rtnote = {In RHT collection.  This is a good introduction and critical
		extension of BDI frameworks.  The extension is to
		mental actions.},
  url = {http://www.eecs.harvard.edu/\user{}ortiz/papers.html},
  topic = {agent-architectures;agent-attitudes;}
  }

@book{ ortiz:1998b,
  editor = {Charles L. {Ortiz, Jr.}},
  title = {Working Notes of the {AAAI} Spring Symposium on
 	Prospects for a Commonsense Theory of Causation},
  publisher = {American Association for Artificial Intelligence},
  year = {1998},
  address = {Menlo Park, CA},
  rtnote = {In RHT Collection.  Shelf.},
  topic = {causality;temporal-reasoning;planning-formalisms;
	nonmonotonic-reasoning;}
 }

@book{ ortiz:1998c,
  editor = {Charles L. {Ortiz, Jr.}},
  title = {Working Notes of the {AAAI} Spring Symposium on
 	Prospects for a Commonsense Theory of Causation},
  publisher = {American Association for Artificial Intelligence},
  year = {1998},
  address = {Menlo Park, CA},
  rtnote = {In RHT Collection.  CS Proceedings Shelf.},
  contentnote = {TC:
     1. John Bell, "Causation, Conditionals and Common
     		Sense",  pp. 1--11
     2. Kenneth D. Forbus, "Causal Reasoning in Common Sense
     		Physics---Global Theories or Local
		Bootstraps?", pp. 12
     3. Antonis Kakas and Rob Miller, "Reasoning about Actions,
     		Events, and Causality", pp. 13--23
     4. Han van Leijen and Marek J. Druzdel, "Reversible
     		Causal Mechanisms in {B}ayesian Networks", pp. 24--30
     5. Vladimir Lifschitz, "Situation Calculus and Causal
     		Logic", pp. 31--37
     6. Fangzhen Lin, "On the Relationships between Static and
     		Dynamic Causal Rules in the Situation
		Calculus", pp. 38--43
     7. John McCarthy and Tom Costello, "Useful Counterfactuals and
     		Approximate Theories", pp. 44--51
     8. John McCarthy, "Approximate Theories Involving
     		Causality",  p. 52
     9. Leora Morgenstern, "Hypothetical Reasoning, Prediction, and
     		Planning in a Relativized-Branching-Time
		Ontology", p. 53
    10. Charles L. {Ortiz, Jr.}, "Applications of Counterfactuals to
    		Causal Reasoning", pp. 54
    11. Judea Pearl, "Actions, Causes, and Counterfactuals: Lessons
    		from Mechanism-Based Theories", pp. 55
    12. Sanjay Poria and Roberto Garigliano, "Factors in Causal
    		Explanation", pp. 56--64
    13. James M. Robins, "Marginal Structural Models versus
    		Structural Nested Models as Tools for Causal
		Inference", pp. 65--83
    14. Richard B. Scherl and Glenn Shafer, "A Logic for
    		Causality",  pp. 84--93
    15. Eugenia Ternovskaia, "Causality via Inductive
    		Definition", pp. 94--100
    16. Michael Thielscher, "Towards a Logic for Causal
    		Reasoning", pp. 101--106
    17. Richmond H. Thomason, "Conditionals, Time, and Causal
    		Independence", pp. 107--113
  },
  topic = {causality;temporal-reasoning;planning-formalisms;
	nonmonotonic-reasoning;}
 }

@inproceedings{ ortiz:1998d,
  author = {Charles L. {Ortiz, Jr.}},
  title = {Applications of Counterfactuals to
    	Causal Reasoning},
  booktitle = {Working Notes of the {AAAI} Spring Symposium on
 	Prospects for a Commonsense Theory of Causation},
  year = {1998},
  organization = {American Association for Artificial Intelligence},
  publication = {American Association for Artificial Intelligence},
  address = {Menlo Park, CA},
  editor = {Charles L. {Ortiz, Jr.}},
  pages = {54},
  note = {Abstract.},
  rtnote = {In RHT Collection.  Shelf.},
  topic = {causality;conditionals;}
 }

@article{ ortiz:1999a,
  author = {Charles L. {Ortiz, Jr.}},
  title = {Explanatory Update Theory: Applications of
  	Counterfactual Reasoning to Causation},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {108},
  number = {1--2},
  pages = {125--178},
  topic = {counterfactuals;causality;}
  }

@article{ ortiz:1999b,
  author = {Charles L. {Ortiz, Jr.}},
  title = {A Commonsense Language for Reasoning about Causation and
		Rational Action},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {111},
  number = {1--2},
  pages = {73--169},
  topic = {causality;action-formalisms;}
  }

@book{ ortony:1979a,
  editor = {Andrew Ortony},
  title = {Metaphor and Thought},
  publisher = {Cambridge University Press},
  year = {1979},
  address = {Cambridge},
  ISBN = {0521227275, 0521296269 (pbk.)},
  rtnote = {UMich Undergraduate Call No: BF455 .M471},
  topic = {metaphor;pragmatics;}
 }

@book{ ortony:1993a,
  editor = {Andrew Ortony},
  title = {Metaphor and Thought},
  edition = {2},
  publisher = {Cambridge University Press},
  year = {1993},
  address = {Cambridge},
  rtnote = {LANGLEY LIBRARY BF455 M47 1993},
  topic = {metaphor;pragmatics;}
 }

@article{ ortony-anderson_rc:1977a,
  author = {Andrew Ortony and Richard C. Anderson},
  title = {Definite Descriptions and Semantic Memory},
  journal = {Cognitive Science},
  volume = {1},
  number = {1},
  pages = {74--83},
  year = {1977},
  rtnote = {In RHT collection.},
  topic = {definite-descriptions;memory-models;}
  }

@book{ ortony-etal:1985a,
  author = {Andrew Ortony and Terence J. Turner and Nancy
  	Larson-Shapiro},
  title = {Cultural and Instructional Influences on Figurative Language
  	Comprehension by Inner City Children},
  publisher = {Bolt Beranek and Newman Inc.},
  year = {1985},
  address = {Cambridge, Massachusetts},
  topic = {metaphor;sociolinguistics;pragmatics;}
 }

@book{ ortony-etal:1988a,
  author = {Andrew Ortony and Gerald L. Clore and Allan Collins},
  title = {The Cognitive Structure of Emotions},
  publisher = {Cambridge University Press},
  year = {1988},
  address = {Cambridge, England},
  ISBN = {0521353645},
  xref = {Review: arbib:1992a.},
  rtnote = {UMich Graduate Library, BF 531 .O751 1988.},
  topic = {emotion;cognitive-psychology;}
 }

@article{ ortony-turner_tj:1990a,
  author = {Andrew Ortony and Terence J. Turner},
  title = {What's Basic about Basic Emotions?},
  journal = {Psychological Review},
  volume = {97},
  number = {3},
  pages = {315--331},
  year = {1990},
  topic = {emotion;}
  }

@article{ osborn:1965a,
  author = {Jane M. Osborn},
  title = {Austin's Non-Conditional Ifs},
  journal = {Journal of Philosophy},
  year = {1962},
  volume = {63},
  pages = {711--715},
  missinginfo = {number},
  topic = {JL-Austin;conditionals;}
  }

@incollection{ osborne_m:2000a,
  author = {Miles Osborne},
  title = {Shallow Parsing as Part-of-Speech Tagging},
  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 = {145--147},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;text-chunking;information-extraction;
  	part-of-speech-tagging;}
  }

@incollection{ osborne_m-briscoe:1998a,
  author = {Miles Osborne and Ted Briscoe},
  title = {Learning Stochastic Categorial Grammars},
  booktitle = {{CoNLL97}: Computational Natural Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {T. Mark Ellison},
  pages = {80--87},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;grammar-learning;}
  }

@book{ osborne_mj-rubenstein:1994a,
  author = {Martin J. Osborne and Ariel Rubenstein},
  title = {A Course in Game Theory},
  publisher = {The {MIT} Press},
  year = {1994},
  address = {Cambridge, Massachusetts},
  rtnote = {Econ HB144 0733 1994.  This book is highly recommended.},
  contentnote = {Chapter 5 contains an account of knowledge and
  	common knowledge in game theory.},
  topic = {game-theory;}
 }

@article{ osbourn:1965a,
  author = {Jane M. Osbourn},
  title = {Austin's Non-Conditional},
  journal = {The Journal of Philosophy},
  year = {1965},
  volume = {62},
  number = {23},
  pages = {711--715},
  topic = {ability;conditionals;freedom;}
  }

@article{ osgood:1952a,
  author = {Charles E. Osgood},
  title = {The Nature and Measurement of Meaning},
  journal = {THe Pyschological Bulletin},
  year = {1952},
  volume = {49},
  pages = {197--237},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;psycholinguistics;psychometrics;}
  }

@incollection{ osgood:1971a,
  author = {Charles E. Osgood},
  title = {Where Do Sentences Come From?},
  booktitle = {Semantics: An Interdisciplinary Reader in Philosophy,
  	Linguistics, and Psychology},
  publisher = {Cambridge University Press},
  year = {1971},
  editor = {Danny D. Steinberg and Leon A. Jacobovits},
  pages = {497--529},
  address = {Cambridge, England},
  topic = {presupposition;nl-production;}
  }

@article{ oshaughnessy:1973a,
  author = {Brian O'Shaughnessy},
  title = {Trying (as the mental `pineal gland')},
  journal = {The Journal of Philosophy},
  year = {1973},
  volume = {70},
  number = {24},
  pages = {365--386},
  topic = {attempting;philosophy-of-action;}
  }

@incollection{ oshaughnessy:1986a,
  author = {Brian O'Shaughnessy},
  title = {Consciousness},
  booktitle = {Midwest Studies in Philosophy Volume {X}:
  	Studies in the Philosophy of Mind},
  publisher = {University of Minnesota Press},
  year = {1986},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {49--62},
  address = {Minneapolis},
  topic = {consciousness;philosophy-of-mind;}
  }

@book{ oshaughnessy:1987a,
  author = {Douglas O'Shaughnessy},
  title = {Speech Communication: Human and Machine},
  publisher = {Addison-Wesley Publishing Co.},
  year = {1987},
  address = {Reading, Massachusetts},
  ISBN = {0201165201},
  rtnote = {UMich Graduate Library, P95 .O741 1987},
  topic = {speech-generation;speech-recognition;}
 }

@article{ oshaughnessy:1998a,
  author = {Douglas O'Shaughnessy},
  title = {Review of \emph{{M}ultilingual Text-to-Speech
		Synthesis: The {B}ell Labs Approach}, edited by
		{R}ichard {S}proat},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {4},
  pages = {656--662},
  topic = {speech-generation;}
  }

@incollection{ osherson-etal:1996a,
  author = {Daniel Osherson and Dick de Jongh and Eric Martin and Scott
    		Weinstein},
  title = {Formal Learning Theory},
  booktitle = {Handbook of Logic and Language},
  publisher = {Elsevier Science Publishers},
  year = {1996},
  editor = {Johan {van Benthem} and Alice {ter Meulen}},
  pages = {737--775},
  address = {Amsterdam},
  topic = {nl-semantics;learning-theory;}
  }

@book{ osherson-lasnik:1990a,
 editor = {Daniel N. Osherson and Howard Lasnik},
 title = {An Invitation to Cognitive Science.  Volume 1: Language},
 publisher = {The {MIT} Press},
 year = {1990},
 address = {Cambridge, Massachusetts},
 rtnote = {Langley Library BF311 I68 1990
            Information Sciences BF311 I68 1990 Evidently this is
	    superseded by a 2nd edition published
	    in 1995 and edited by Lila R.  Gleitman and Mark
	    Liberman.},
 topic = {psycholinguistics;nl-semantics;parsing-psychology;
    syntax;phonology;}
 }

@book{ osherson-lasnik:1990b,
  editor = {Daniel N. Osherson and Howard Lasnik},
  title = {An Invitation to Cognitive Science.  Volume
  	2: Visual Cognition and Action},
  publisher = {The {MIT} Press},
  year = {1990},
  address = {Cambridge, Massachusetts},
  contentnote = {TC:
  	S. Kosslyn, Visual Cognition: Introduction.
  	A. Yuille and S. Ullman, Computational Theories of Low-Level Vision.
	I. Biederman, Higher-Level Vision.
	S. Kosslyn, Mental Imagery.
	E. Spelke,  Origins of Visual Knowledge.
	F. Dretske, Seeing, Believing, and Knowing.
	J. Hollerbach, Action: Introduction.
	J. Hollerbach, Fundamentals of Motor Behavior.
	J. Hollerbach, Planning of Arm Movements.
	E. Bizzi and F.A. Mussa-Ivaldi, Muscle Properties and the Control of Arm Movements.
	H. Galiana, Oculomotor Control.
	C. Wright, Controlling Sequential Motor Activity.
	Alvin Goldman, Action and Free Will.
  },
  rtnote = {Langley Library (217   BF311 I68 1990
  		Information Sciences   BF311 I68 1990},
  topic = {cognitive-psychology;human-vision;motor-skills;}
 }

@article{ osherson-weinstein_s1:1975a,
  author = {Daniel Osherson and Scott Weinstein},
  title = {On the Danger of Half-Truths},
  journal = {Journal of Philosophical Logic},
  year = {1975},
  volume = {24},
  number = {1},
  pages = {85--115},
  topic = {philosophy-of-science;approximate-truth;}
  }

@article{ osherson-weinstein_s1:1986a,
  author = {Daniel N. Osherson and Scott Weinstein},
  title = {Identification in the Limit of First Order Structures},
  journal = {Journal of Philosophical Logic},
  year = {1986},
  volume = {15},
  number = {1},
  pages = {55--81},
  topic = {learning-theory;}
  }

@article{ osherson-weinstein_s1:1989a,
  author = {Daniel M. Osherson and Scott Weinstein},
  title = {Paradigms of Truth Detection},
  journal = {Journal of Philosophical Logic},
  year = {1989},
  volume = {18},
  number = {1},
  pages = {1--42},
  topic = {induction;scientific-discovery;}
  }

@article{ osherson-weinstein_s1:1993a,
  author = {Daniel N. Osherson and Scott Weinstein},
  title = {Relevant Consequence and Empirical Inquiry},
  journal = {Journal of Philosophical Logic},
  year = {1993},
  volume = {22},
  number = {4},
  pages = {437--448},
  contentnote = {Argues that relevance logic is flawed as a foundation
		for inquiry.},
  topic = {relevance-logic;}
  }

@article{ osherson-weinstein_s1:1996a,
  author = {Daniel Osherson and Scott Weinstein},
  title = {On the Danger of Half Truths},
  journal = {Journal of Philosophical Logic},
  year = {1996},
  volume = {24},
  number = {1},
  pages = {85--115},
  topic = {approximate-truth;}
  }

@article{ osherson-weinstein_s1:2008a,
  author = {Daniel Osherson and Scott Weinstein},
  title = {Recognizing Strong Random Reals},
  journal = {The Review of Symbolic Logic},
  year = {2008},
  volume = {1},
  number = {1},
  pages = {56--63},
  topic = {randomness;}
  }

@inproceedings{ oshima:1991a,
  author = {David Y. Oshima},
  title = {Motion Deixis, Indexicality, and Presupposition},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XVI}},
  year = {1991},
  editor = {Masayuki Gibson and Jonathan Howell},
  publisher = {CLC Publications},
  address =

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit