text:
acid-free paper)},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 B471 1998.},
  topic = {computational-dialogue;}
 }

@incollection{ bernstein-wattenberg:1969a,
  author = {A. Bernstein and F. Wattenberg},
  title = {Non-Standard Measure Theory},
  booktitle = {Applications of Model Theory of Algebra, Analysis and
  	Probability},
  publisher = {Holt, Rinehart and Winston},
  year = {1968},
  editor = {W.A.J. Luxemburg},
  pages = {171--185},
  address = {New York},
  missinginfo = {A's 1st name.},
  topic = {nonstandard-probability;}
  }

@incollection{ bernth:1987a,
  author = {Arendse Bernth},
  title = {Treatment of Anaphoric Pronouns in Referentially
     		Opaque Contexts},
  booktitle = {Natural Language and Logic},
  publisher = {Springer-Verlag},
  year = {1987},
  editor = {Rudi Studer},
  pages = {1--25},
  address = {Berlin},
  topic = {anaphora;referential-opacity;computational-semantics;}
  }

@article{ berovsky:1973a,
  author = {Bernard Berovsky},
  title = {The Counterfactual Analysis of Causation},
  journal = {The Journal of Philosophy},
  year = {1973},
  volume = {70},
  number = {17},
  pages = {568--569},
  topic = {causality;conditionals;}
  }

@book{ bert-etal:1999a,
  editor = {D. Bert and C. Choppy and P. Mosses},
  title = {Recent Trends in Algebraic Development Techniques: 14th
  	International Workshop, {WADT}'99, Chateau de Bonas},
  publisher = {Springer-Verlag},
  year = {1999},
  address = {Berlin},
  ISBN = {3-540-67898-0},
  topic = {abstract-data-types;}
 }

@unpublished{ berthiaume:1999a,
  author = {Andr\'e Berthiaume},
  title = {Quantum Computation},
  year = {1999},
  note = {Unpublished manuscript, Centrum voor Wiskunde en
  	Informatica, Amsterdam.},
  rtnote = {In RHT collection.},
  topic = {quantum-computating;}
  }

@incollection{ berthouzoz:1999a,
  author = {Cathy Berthouzoz},
  title = {A Model of Context Adapted to
			Domain-Independent Machine Translation},
  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 = {54--66},
  address = {Berlin},
  topic = {context;machine-translation;}
  }

@book{ bertilsson:1978a,
  author = {Margareta Bertilsson},
  title = {Towards a Social Reconstruction of Science Theory:
  	{P}eirce's Theory of Inquiry and Beyond},
  publisher = {Bokcafeet},
  year = {1978},
  address = {Lund},
  topic = {Peirce;sociology-of-science;}
 }

@book{ bertinetto-etal:1995a,
  editor = {Pier M. Bertinetto and V. Bianchi and \"Osten Dahl and
  	M. Squartini},
  title = {Temporal Reference, Aspect, and Actuality},
  publisher = {Rosenberg and Sellier},
  year = {1995},
  address = {Torino},
  ISBN = {8870116379},
  missinginfo = {E's 1st names},
  contentnote = {Proceedings of a conference held in October 1993 in
     Cortona.},
  rtnote = {UMich Graduate Library, P 281 .T46 1995},
  topic = {tense-aspect;}
 }

@article{ bertolet:1983a,
  author = {Rod Bertolet},
  title = {Where Do Implicatures Come From?},
  journal = {Canadian Journal of Philosophy},
  year = {1983},
  volume = {13},
  pages = {181--192},
  missinginfo = {number},
  topic = {implicature;}
  }

@article{ bertolet:1984a,
  author = {Rod Bertolet},
  title = {Inferences, Names, and Fictions},
  journal = {Synth\'ese},
  year = {1984},
  volume = {58},
  number = {2},
  pages = {203--218},
  topic = {fiction;fictional-characters;}
  }

@inproceedings{ bertoli-etal:1998a,
  author = {P.G. Bertoli and J. Calmet and Fausto Giunchiglia and
		K. Homann},
  title = {Specification and Integration of
		Theorem Provers and Computer Algebra Systems},
  booktitle = {Artificial Intelligence and Symbolic Computation:
	Proceedings of {AISC'98}},
  year = {1998},
  editor = {Jacques Calmet and Jan Plaza},
  pages = {94--106},
  publisher = {Springer Verlag},
  address = {Berlin},
  topic = {combining-systems;automated-algebra;theorem-proving;}
  }

@article{ bertoli-etal:2006a,
  author = {Piergiorgio Bertoli	and Alessandro Cimatti and Marco Roveri
  	and Paolo Traverso},
  title = {Strong Planning under Partial Uncertainty},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {4--5},
  pages = {337--384},
  topic = {planning;reasoning-about-uncertainty;search;}
  }

@article{ bertoli-etal:2009a,
  author = {Piergiorgio Bertoli and Marco Pistore and Paolo Traverso},
  title = {Automated Composition of Web Services Via Planning in
  		Asynchronous Domains},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {174},
  number = {3--4},
  pages = {316--361},
  topic = {planning;program-synthesis;world-wide-web;}
  }

@article{ bertoni-dorigo:1993a,
  author = {A. Bertoni and M. Dorigo},
  title = {Implicit Parallelism in Genetic Algorithms},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {61},
  number = {2},
  pages = {307--314},
  acontentnote = {Abstract:
     This paper is related to Holland's result on implicit
     parallelism. Roughly speaking, Holland showed a lower bound of
     the order of a n3/c13l to the number of schemata usefully
     processed by the genetic algorithm in a population of n = c1 .
     2l binary strings, with c1 a small integer. We ananlyze the case
     of a population of n = 2[beta]l binary strings where [beta] is a
     positive parameter (Holland's result is related to the case
     [beta] = 1). In the main result, we state a lower bound on the
     expected number of processed schemata for all [beta] < 0;
     moreover, we prove that this bound is tight up to a constant for
     all [beta] >= 1 and, in this case, we strengthen in probability
     the previous result.
  },
  topic = {genetic-algorithms;}
  }

@incollection{ bertossi-reiter_r:1994a,
  author = {Leopolo E. Bertossi and Raymond Reiter},
  title = {On the Concept of a Generic Object: A Nonmonotonic
  	Reasoning Approach and Examples},
  booktitle = {Logics in Artificial Intelligence},
  publisher = {Springer-Verlag},
  year = {1994},
  editor = {Craig Mac{N}ish and Lu\'is Moniz Pereira and David Pearce},
  pages = {346--363},
  address = {Berlin},
  topic = {generics;nonmonotonic-reasoning;}
  }

@article{ berwanger:2003a,
  author = {Dietmar Berwanger},
  title = {Game Logic is Strong Enough for Parity Games},
  journal = {Studia Logica},
  year = {2003},
  volume = {75},
  number = {2},
  pages = {205--219},
  topic = {game-logic;game-theory;}
  }

@book{ berwick:1989a,
  author = {Robert C. Berwick},
  title = {Computational Linguistics},
  publisher = {The {MIT} Press},
  year = {1989},
  address = {Cambridge, Massachusetts},
  ISBN = {0262-02266-4},
  topic = {nlp-intro;}
 }

@inproceedings{ berwick-epstein_sd:1995a,
  author = {Robert C. Berwick and Samuel D. Epstein},
  title = {On the Convergence of `Minimalist' Syntax with
  	Categorial Grammar},
  booktitle = {{TWLT} 10: Algebraic Methods in Language
  	Processing},
  year = {1995},
  editor = {A. Nijholt and G. Scollo and R. Steetskamp},
  pages = {143--148},
  publisher = {Universiteit Twente},
  address = {Entschede},
  topic = {minimalist-syntax;categorial-grammar;}
  }

@article{ berzins:2001a,
  author = {Martin Berzins},
  title = {Review of \emph{{T}he Computational Beauty of Nature} by {G}ary
  	{W}illiam {F}lake},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {128},
  number = {1--2},
  pages = {237--238},
  xref = {Review of: flake:1998a.},
  topic = {fractals;chaos-theory;computational-aesthetics;}
  }

@incollection{ berztiss:1999a,
  author = {Alfs Berztiss},
  title = {Contexts, Domains, and Software},
  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 = {443--446},
  address = {Berlin},
  topic = {context;software-engineering;}
  }

@incollection{ bes-lecomte:1995a,
  author = {Gabriel G. Bes and Alain Lecomte},
  title = {Semantic Features in a Generic Lexicon},
  booktitle = {Computational Lexical Semantics},
  publisher = {Cambridge University Press},
  year = {1995},
  editor = {Patrick Saint-Dizier and Evelyne Viegas},
  pages = {141--162},
  address = {Cambridge, England},
  topic = {computational-lexical-semantics;thematic-roles;
  	argument-structure;}
  }

@incollection{ besnard:1991a,
  author = {Philippe Besnard},
  title = {Default Logics},
  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 = {38--41},
  address = {Berlin},
  topic = {default-logic;inheritance-theory;}
  }

@book{ besnard:1992a,
  author = {Philippe Besnard},
  title = {Default Logic},
  publisher = {Springer-Verlag},
  year = {1992},
  address = {Berlin},
  rtnote = {In RHT collection.  AI Shelves.},
  topic = {nonmonotonic-logic;default-logic;kr-course;}
 }

@incollection{ besnard-doutre:2004a,
  author = {Philippe Besnard and Sylvie Doutre},
  title = {Characterization of Semantics for Argument Systems},
  booktitle = {{KR}2004: Principles of Knowledge Representation and
  		Reasoning},
  publisher = {AAAI Press},
  year = {2004},
  editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams},
  pages = {183--193},
  address = {Menlo Park, California},
  topic = {argument-based-defeasible-reasoning;}
  }

@article{ besnard-etal:1989a,
  author = {Philippe Besnard and Yves Moinard and Robert E. Mercer},
  title = {The Importance of Open and Recursive Circumscription},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {39},
  number = {2},
  pages = {251--262},
  acontentnote = {Abstract:
     Circumscription is known to result in an inconsistency when
     applied to certain consistent theories. To counter this problem,
     closed nonrecursive circumscription, a restricted form of
     circumscription that has been proved not to affect the
     consistency of the theory over which circumscription is applied,
     has been proposed.  We show that closed nonrecursive
     circumscription involves an excessive weakening of standard
     circumscription by establishing that closed nonrecursive
     circumscription is incomplete for some crucial theories over
     which standard circumscription is consistent and complete.
     First, we prove that closed circumscription cannot yield the
     desired uniqueness formula for the simplest of existential
     theories.  Second, we prove that nonrecursive circumscription
     fails to be as strong as predicate completion for Horn clause
     theories.  Third, we prove that the natural way to strengthen
     circumscription, that is, adding more variable predicates, may
     weaken nonrecursive circumscription.  },
  topic = {circumscription;nonmonotonic-logic;}
  }

@article{ besnard-etal:2003a,
  author = {Philippe Besnard and G. Fanselow and Torsten Schaub},
  title = {Optimality Theory as a Family of Cumulative Logics},
  journal = {Journal of Logic, Language, and Information},
  year = {2003},
  volume = {12},
  number = {2},
  pages = {153--182},
  topic = {optimality-theory;cumulative-logics;}
  }

@article{ besnard-etal:2009a,
  author = {Philippe Besnard and Anthony Hunter and Stefan Woltran},
  title = {Encoding Deductive Argumentation in Quantified Boolean
  		Formulae},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {15},
  pages = {1406--1423},
  topic = {argumentation-theory;propositional-quantifiers;}
  }

@book{ besnard-hanks_s:1995a,
  editor = {Phillipe Besnard and Steve Hanks},
  title = {Uncertainty in Artificial Intelligence.  Proceedings of
  	the Eleventh Conference (1995)},
  publisher = {Morgan Kaufmann Publishers},
  year = {1995},
  address = {San Francisco},
  topic = {reasoning-about-uncertainty;}
 }

@book{ besnard-hunter_a:1998a,
  editor = {Philippe Besnard and Anthony Hunter},
  title = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems:  Reasoning with
                Actual and Potential Contradictions},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  volume = {2},
  address = {Dordrecht},
  contentsnote = {TC:
    1. Philippe Besnard and Anthony Hunter, "Introduction to
              Actual and Potential Contradictions", pp. 1--9
    2. Anthony Hunter, "Paraconsistent Logics", pp. 11--36
    3. John-Jules Ch. Meyer and Wiebe van der Hoek, "Modal Logics
              for Representing Incoherent Knowledge", pp. 37--75
    4. Torsten Schaub, "The Family of Default Logics", pp. 77--133
    5. James P. Delgrande, "Conditional Logics for Defeasible
              Logics", pp. 135--173
    6. P. Geerts and E. Laenens and D. Vermeir, "Defeasible
              Logics", pp. 175--210
    7. Wolfgang Lenzen, "Necessary Conditions for
              Negation-Operators (with Particular Applications
              to Paraconsistent Negation)", pp. 211--239
    8. Carlos Viegas Dam\'asio and Lu\'is Moniz Pereira, "A Survey
              of Paraconsistent Semantics for Logic
              Programs", pp. 241--320},
  topic = {reasoning-about-uncertainty;relevance-logic;paraconsistency;
  	nonmonotonic-logic;}
 }

@incollection{ besnard-hunter_a:1998b,
  author = {Philippe Besnard and Anthony Hunter},
  title = {Introduction to Actual and Potential Contradictions},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 2: Reasoning with
                Actual and Potential Contradictions},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Dov M. Gabbay and Philippe Smets},
  pages = {1--9},
  address = {Dordrecht},
  topic = {reasoning-about-uncertainty;relevance-logic;paraconsistency;}
  }

@article{ besnard-hunter_a:2001a,
  author = {Philippe Besnard and Anthony Hunter},
  title = {A Logic-Based Theory of Deductive Arguments},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {128},
  number = {1--2},
  pages = {203--235},
  topic = {argumentation-theory;reasoning-about-consistency;}
  }

@incollection{ besnard-hunter_a:2006a,
  author = {Philippe Besnard and Anthony Hunter},
  title = {Knowledebase Compilation for Efficient Logical Argumentation},
  booktitle = {{KR}2006: Proceedings, Tenth International Conference on
      Principles of  Knowledge Representation and Reasoning},
  publisher = {AAAI Press},
  year = {2006},
  editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty},
  pages = {123--132},
  address = {Menlo Park, California},
  topic = {argumentation;(in)consistency;}
  }

@book{ besnard-hunter_a:2008a,
  author = {Philippe Besnard and Anthony Hunter},
  title = {Elements of Argumentation},
  publisher = {The {MIT} Press},
  year = {2008},
  address = {Cambridge, Massachusetts},
  ISBN-10 = {0-262-02643-0},
  ISBN-13 = {978-0-262-02643-7},
  xref = {Review: benferhat:2009a},
  topic = {argumentation-theory;}
 }

@incollection{ besnard-schaub:1996a,
  author = {Philippe Besnard and Torsten Schaub},
  title = {A Simple Signed System for Paraconsistent Reasoning},
  booktitle = {Logics in Artificial Intelligence: European Workshop,
  	{Jelia}'96, Ivora, Portugal, September 30 - October 3,
	1996.},
  publisher = {Springer-Verlag},
  year = {1996},
  editor = {Jos\'e J\'ulio Alferes and Lu\'is Moniz Pereira and Ewa Orlowska},
  pages = {404--416},
  address = {Berlin},
  topic = {paraconsistent-reasoning;}
  }

@inproceedings{ besnard-schwab:1993a,
  author = {Phillipe Besnard and Torstein Schwab},
  title = {A Context-Based Framework for Default Logics},
  booktitle = {Proceedings of the Eleventh National Conference on
              Artificial Intelligence},
  year = {1993},
  editor = {Richard Fikes and Wendy Lehnert},
  pages = {406--411},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {kr;context;kr-course;}
  }

@inproceedings{ besnard-shaub:2000a,
  author = {Phillipe Besnard and Torsten Shaub},
  title = {Significant Inferences: Preliminary Report},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {401--410},
  topic = {significant-inferences;relevance-logic;}
  }

@inproceedings{ besnard-tan_yh:1995a,
  author = {Phillipe Besnard and Yao-Hua Tan},
  title = {A Modal Logic with Context-Dependent Inference for
  	Non-Monotonic Reasoning},
  booktitle = {Formalizing Context},
  year = {1995},
  editor = {Sa\v{s}a Buva\v{c}},
  pages = {31--38},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {context;modal-logic;nonmonotonic-reasoning;}
  }

@article{ bessiere:1994a,
  author = {Christian Bessi\'ere},
  title = {Arc-consistency and Arc-Consistency Again},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {65},
  number = {1},
  pages = {179--190},
  acontentnote = {Abstract:
     There is no need to show the importance of arc-consistency in
     constraint networks. Mohr and Henderson [9] have proposed AC-4,
     an algorithm with optimal worst-case time complexity. But it has
     two drawbacks: its space complexity and average time complexity.
     In problems with many solutions, where constraints are large,
     these drawbacks become so important that users often replace
     AC-4 by AC-3 [8], a non-optimal algorithm. In this paper, we
     propose a new algorithm, AC-6, which keeps the optimal
     worst-case time complexity of AC-4 while working out the
     drawback of space complexity.  Moreover, the average time
     complexity of AC-6 is optimal for constraint networks where
     nothing is known about the constraint semantics.
  },
  topic = {arc-(in)consistency;constraint-networks;complexity-in-AI;
  	constraint-satisfaction;}
  }

@article{ bessiere-debruyne:2008a,
  author = {Christian Bessiere and Romuald Debruyne},
  title = {Theoretical Analysis of Singleton Arc Consistency and Its
  		Extensions},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {1},
  pages = {29--41},
  topic = {arc-(in)consistency;}
  }

@article{ bessiere-etal:1999a,
  author = {Christian Bessi\'ere and Eugene C. Freuder
  	and Jean-Charles R/'egin},
  title = {Using Constraint Metaknowledge to Reduce Arc
  	Consistency Computation},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {107},
  number = {1},
  pages = {125--148},
  topic = {constraint-satisfaction;}
  }

@article{ bessiere-etal:2002a,
  author = {Christian Bessi\`ere and Pedro Meseguer and Eugene C.
  	Freuder and Javier Larrosa},
  title = {On Forward Checking for Non-Binary Constraint
  	Satisfaction},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {141},
  number = {1--2},
  pages = {205--224},
  topic = {constraint-satisfaction;}
  }

@article{ bessiere-etal:2005a,
  author = {Christian Bessi\`ere and Arnold Maestre and Ismel Brito and
  	Pedro Meseguer},
  title = {Asynchronous Backtracking without Adding Links:  A New
  		Member in the {ABT} Family},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {161},
  number = {1--2},
  pages = {7--24},
  topic = {constraint-satisfaction;distributed-processing;}
  }

@article{ bessiere-etal:2005b,
  author = {Christian Bessi\'ere and Jean-Charles R\'egin and
  	Roland H.C. Yap and Yuanlin Zhang},
  title = {An Optimal Coarse-Grained Arc Consistency Problem},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {165},
  number = {2},
  pages = {165--185},
  topic = {arc-(in)consistency;constraint-propagation;}
  }

@article{ bessiere-etal:2008a,
  author = {Christian Bessiere and Kostas Stergiou and Toby Walsh},
  title = {Domain Filtering Consistencies for Non-Binary Constraints},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {6--7},
  pages = {800--822},
  topic = {constraint-programming;constraint-satisfaction;}
  }

@article{ bessiere-etal:2009a,
  author = {Christian Bessiere and Emmanuel Hebrard and Brahim Hnich and
  		Zeynep Kiziltan and Toby Walsh},
  title = {Range and Roots: Two Common Patterns for Specifying and
  		Propagating Counting and Occurrence Constraints},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {11},
  pages = {1054--1078},
  topic = {constraint-programming;constraint-satisfaction;}
  }

@article{ betegh:2009a,
  author = {Gabor Betegh},
  title = {Review of \emph{{A}ristotle}, by {C}hristopher {S}hields},
  journal = {The Philosophical Review},
  year = {2009},
  volume = {118},
  number = {2},
  pages = {375--377},
  xref = {Review of: shields:2007a},
  topic = {ancient-philosophy;Aristotle;}
  }

@book{ beth:1959a,
  author = {Evert W. Beth},
  title = {The Foundations of Mathematics},
  publisher = {North-Holland Publishing Company},
  year = {1959},
  address = {Amsterdam},
  rtnote = {In RHT collection.},
  topic = {logic-general;}
 }

@incollection{ beth:1963a,
  author = {Evert W. Beth},
  title = {Carnap's Views on the Advantages of Constructed Systems
  	over Natural Languages in the Philosophy of Science},
  booktitle = {The Philosophy of {R}udolph {C}arnap},
  publisher = {Open Court},
  year = {1963},
  editor = {Paul A. Schilpp},
  pages = {469--502},
  address = {LaSalle, Illinois},
  rtnote = {In RHT collection.},
  topic = {Carnap;philosophy-of-science;}
  }

@article{ bett:2003a,
  author = {Richard Bett},
  title = {Review of \emph{{S}extus {E}mpiricus and {P}yrrhonean
  	Skepticism}, by {A}lan {B}ailey},
  journal = {The Philosophical Review},
  year = {2003},
  volume = {112},
  number = {1},
  pages = {100--102},
  xref = {Review of: bailey_a:2002a.},
  topic = {Hellenistic-philosophy;skepticism;Sextus-Empiricus;}
  }

@article{ bettini-etal:2002a,
  author = {Claudio Bettini and X. Sean Wang and Sushil Jajodia},
  title = {Solving Multi-Granularity Temporal Constraint Networks},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {140},
  number = {1--2},
  pages = {107--152},
  topic = {constraint-satisfaction;arc-(in)consistency;temporal-reasoning;}
  }

@article{ beuchcapon:2000a,
  author = {Trevor Beuch Capon},
  title = {Review of \emph{{L}ogical Tools for Modeling Legal Argument:
  	A Study of Defeasible Reasoning in Law}, by {H}enry {P}rakken},
  journal = {Studia Logica},
  year = {2000},
  volume = {64},
  number = {1},
  pages = {143--146},
  xref = {Review of prakken:1997c.},
  topic = {logic-and-law;nonmonotonic-reasoning;}
  }

@phdthesis{ beun:1989a,
  author = {Robert-Jan Beun},
  title = {The Recognition of Declarative Questions in Information
  	Dialogues},
  school = {Tilburg University},
  year = {1989},
  type = {Ph.{D}. Dissertation},
  address = {Tilburg},
  missinginfo = {A's 1st name},
  topic = {speech-act-recognition;computational-dialogue;interrogatives;}
 }

@inproceedings{ beun:1996a,
  author = {Robert-Jan Beun},
  title = {Speech Act Generation in Cooperative Dialogue},
  booktitle = {Proceedings of the 11th {T}wente Workshop on Language
  	Technology},
  year = {1996},
  pages = {71--79},
  organization = {University of Twente},
  address = {Entschede},
  missinginfo = {A's 1st name, editor, publisher},
  topic = {speech-acts;nl-generation;computational-dialogue;}
  }

@article{ beun-vaneijk_rm:2007a,
  author = {Robert-Jan Beun and Roger M. van Eijk},
  title = {Dialogue Coherence:  A Generation Framework},
  journal = {Journal of Logic, Language, and Information},
  year = {2007},
  volume = {16},
  number = {4},
  pages = {365--385},
  topic = {coherence;computational-dialogue;}
  }

@incollection{ bever:1970a,
  author = {Thomas G. Bever},
  title = {The Cognitive Basis for Linguistic Structures},
  booktitle = {Cognition and the Development of Language},
  publisher = {John Wiley and Sons},
  year = {1970},
  editor = {J. Hayes},
  pages = {279--352},
  address = {New York},
  missinginfo = {E's 1st name.},
  topic = {psycholinguistics;}
  }

@incollection{ bever:1974a,
  author = {Thomas G. Bever},
  title = {The Ascent of the Specious, or, There's
		a Lot We Don't Know about Mirrors},
  booktitle = {Explaining Linguistic Phenomena},
  publisher = {Hemisphere Publishing Corp.},
  year = {1974},
  editor = {David Cohen},
  pages = {173--200},
  address = {Washington, DC},
  topic = {philosophy-of-linguistics;linguistics-methodology;}
  }

@incollection{ bever:1976a,
  author = {Thomas G. Bever},
  title = {The Influence of Speech Performance on
     		Linguistic Structure},
  booktitle = {An Integrated Theory of Linguistic Ability},
  publisher = {Thomas Y. Crowell Co.},
  year = {1976},
  editor = {Thomas G. Bever and Jerrold J. Katz and D. Terence Langendoen},
  pages = {65--88},
  address = {New York},
  topic = {linguistics-methodology;foundations-of-linguistics;
  	competence;}
  }

@book{ bever-etal:1976a,
  editor = {Thomas G. Bever and Jerrold J. Katz and D. Terence Langendoen},
  title = {An Integrated Theory of Linguistic Ability},
  publisher = {Thomas Y. Crowell Co.},
  year = {1976},
  address = {New York},
  contentnote = {TC:
     1. Thomas G. Bever and Jerrold J. Katz and D. Terence
     		Langendoen, "Introduction", pp. 1--9
     2. Jerrold J. Katz and Thomas G. Bever, "The Fall and Rise
     		of Empiricism", pp. 11--64
     3. Thomas G. Bever, "The Influence of Speech Performance on
     		Linguistic Structure", pp. 65--88
     4. D. Terence Langendoen, "Finite-State Parsing of
     		Phrase-Structure Languages and the Status
		of Readjustment Rules in Grammar", pp. 89--113
     5. Thomas G. Bever and D. Terence Langendoen, "A Dynamic Model
     		of the Evolution of Language", pp. 115--147
     6. Thomas G. Bever and John M. Carroll, Jr. and Richard
     		Hurtig, "Analogy or Ungrammatical Sequences That
		Are Utterable and Comprehensible Are the Origins
		of New Grammars in Language", pp. 149--182
     7. D. Terence Langendoen, "A Case of Apparent
     		Ungrammaticality", pp. 183--193
     8. D. Terence Langendoen and Nancy Kalish-Landon and John
     		Dore, "Dative Questions: A Study in the Relation of
		Accessibility to Grammaticality of an English
		Sentence Type", pp. 195--223
     9. D. Terence Langendoen, "Acceptable Conclusions from Unacceptable
     		Ambiguity", pp. 225--238
    10. D. Terence Langendoen and Thomas G. Bever, "Can a Not Unhappy
    		Person be Called a Not Sad One?", pp. 239--260
    11. Robert M. Harnish, "The Argument from {\em Lurk}", pp. 261--270
    12. Manfred Bierwisch, "Social Differentiation of Language
    		Structures", pp. 271--312
    13. Robert M. Harnish, "Logical Form and Implicature", pp. 313--391
    14. Jerrold J. Katz and D. Terence Langendoen, "Pragmatics and
    		Presupposition", pp. 393--413
    15. Jerrold J. Katz, "Global Rules and Surface Structure
    		Interpretation", pp. 415--425
  },
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {linguistics-methodology;foundations-of-linguistics;}
 }

@incollection{ bever-etal:1976b,
  author = {Thomas G. Bever and Jerrold J. Katz and D. Terence
     		Langendoen},
  title = {Introduction},
  booktitle = {An Integrated Theory of Linguistic Ability},
  publisher = {Thomas Y. Crowell Co.},
  year = {1976},
  editor = {Thomas G. Bever and Jerrold J. Katz and D. Terence Langendoen},
  pages = {1--9},
  address = {New York},
  topic = {linguistics-methodology;foundations-of-linguistics;}
  }

@incollection{ bever-etal:1976c,
  author = {Thomas G. Bever and John M. Carroll, Jr. and Richard
     		Hurtig},
  title = {Analogy or Ungrammatical Sequences that
		Are Utterable and Comprehensible Are the Origins
		of New Grammars in Language},
  booktitle = {An Integrated Theory of Linguistic Ability},
  publisher = {Thomas Y. Crowell Co.},
  year = {1976},
  editor = {Thomas G. Bever and Jerrold J. Katz and D. Terence Langendoen},
  pages = {149--182},
  address = {New York},
  topic = {analogy;language-change;}
  }

@incollection{ bever-langendoen:1976a,
  author = {Thomas G. Bever and D. Terence Langendoen},
  title = {A Dynamic Model of the Evolution of Language},
  booktitle = {An Integrated Theory of Linguistic Ability},
  publisher = {Thomas Y. Crowell Co.},
  year = {1976},
  editor = {Thomas G. Bever and Jerrold J. Katz and D. Terence Langendoen},
  pages = {115--147},
  address = {New York},
  topic = {language-change;}
  }

@incollection{ bever-rosenbaum:1971a,
  author = {Thomas A. Bever and Peter S. Rosenbaum},
  title = {Some Lexical Structures and Their Empirical Validity},
  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 = {586--599},
  address = {Cambridge, England},
  topic = {psycholinguistics;transformational-grammar;}
  }

@incollection{ beygelzimer-rish:2002a,
  author = {Alina Beygelzimer and Irina Rish},
  title = {Inference Complexity as a Model-Selection Criterion for
  	Learning {B}ayesian Networks},
  booktitle = {{KR2002}: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {2002},
  editor = {Dieter Fensel and Fausto Giunchiglia and Deborah
  	L. McGuinness and Mary-Anne Williams},
  pages = {558--567},
  address = {San Francisco, California},
  topic = {kr;Bayesian-networks;machine-learning;}
  }

@article{ bezem:2006a,
  author = {Marc Bezem},
  title = {Review of \emph{{A} Modern Perspective on Type Theory---{F}rom
  		its Origins until Today}, by {F}arouz {K}amareddine and
		{T}wan {L}aan and {R}ob {N}ederfelt},
  journal = {The Bulletin of Symbolic Logic},
  year = {2006},
  volume = {12},
  number = {1},
  pages = {296--297},
  xref = {Review of: kamareddine-etal:2004a.},
  topic = {type-theory;}
  }

@article{ bezhanishvili:2001a,
  author = {Guram Bezhanishvili},
  title = {Review of \emph{{T}ools and Techniques in Modal Logic}, by
  	{M}arcus {K}racht},
  journal = {The Bulletin of Symbolic Logic},
  year = {2001},
  volume = {7},
  number = {2},
  pages = {278--279},
  xref = {Review of: kracht:1999a},
  topic = {modal-logic;}
  }

@article{ bezhanishvili-hodkinson:2004a,
  author = {Nick Bezhanishvili and Ian Hodkinson},
  title = {All Normal Extensions of $S5$-Squared are Finitely
  		Axiomatizable},
  journal = {Studia Logica},
  year = {2004},
  volume = {78},
  number = {3},
  pages = {443--457},
  topic = {modal-logic;finitely-axiomatizable-logics;}
  }

@article{ bezuidenhout:1997a,
  author = {Anne L. Bezuidenhout},
  title = {The Communication of De Re Thoughts},
  journal = {No\^us},
  year = {1997},
  volume = {31},
  number = {2},
  pages = {197--223},
  topic = {reference;singular-propositions;}
  }

@article{ bezuidenhout:1998a,
  author = {Anne Bezuidenhout},
  title = {Is Verbal Communication a Purely Preservative
  	Process?},
  journal = {The Philosophical Review},
  year = {1998},
  volume = {107},
  number = {2},
  pages = {261--288},
  topic = {philosophy-of-language;}
  }

@article{ bezuidenhout:2001a,
  author = {Anne L. Bezuidenhout},
  title = {Review of \emph{{T}he Philosophy of {P}.{F}. {S}trawson},
  	edited by {L}.{E.} {H}ahn},
  journal = {The Philosophical Review},
  year = {2001},
  volume = {110},
  number = {3},
  pages = {460--465},
  xref = {Review of: hahn_le:1998a},
  topic = {Strawson;analytic-philosophy;philosophy-of-language;}
  }

@incollection{ bezuidenhout:2002a,
  author = {Anne L. Bezuidenhout},
  title = {Truth-Conditional Pragmatics},
  booktitle = {Philosophical Perspectives 16: Language and Mind, 2002},
  publisher = {Blackwell Publishers},
  year = {2002},
  editor = {James E. Tomberlin},
  pages = {105--134},
  address = {Oxford},
  topic = {philosophy-of-language;pragmatics;foundations-of-semantics;}
  }

@book{ bharuchareid:1978a,
  editor = {A. T.  Bharucha-Reid},
  title = {Probabilistic Analysis and Related Topics},
  publisher = {Academic Press},
  year = {1978},
  address = {New York},
  ISBN = {0120956012 (v. 1)},
  rtnote = {UMich Media Union Library, QA274.2 .P761.},
  topic = {probability-theory;stochastic-analysis;}
 }

@article{ bhaskar-nigam:1990a,
  author = {R. Bhaskar and Anil Nigam},
  title = {Qualitative Physics Using Dimensional Analysis},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {45},
  number = {1--2},
  pages = {73--111},
  topic = {qualitative-physics;}
  }

@inproceedings{ bhatnagar:1995a,
  author = {Raj Bhatnagar},
  title = {Probabilistic Contexts for Reasoning},
  booktitle = {Formalizing Context},
  year = {1995},
  editor = {Sa\v{s}a Buva\v{c}},
  pages = {39--46},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {context;probabilistic-reasoning;}
  }

@article{ bhatt:2002a,
  author = {Rajesh Bhatt},
  title = {Review of \emph{{E}conomy and Semantic Interpretation}, by
  	{D}anny {F}ox},
  journal = {Linguistics and Philosophy},
  year = {2002},
  volume = {25},
  number = {2},
  pages = {233--259},
  xref = {Review of fox_d:2000a.},
  topic = {syntax-semantics-interface;nl-quantifier-scope;}
  }

@article{ bhatt:2002b,
  author = {Rajesh Bhatt},
  title = {The Raising Analysis of Relative Clauses: Evidence from
  	Adjectival Modification},
  journal = {Natural Language Semantics},
  year = {2001},
  volume = {10},
  number = {1},
  pages = {43--90},
  topic = {relative-clauses;nl-semantics;}
  }

@incollection{ bhattacharyya:2009a,
  author = {Sibajiban Bhattacharyya},
  title = {Indian Logic},
  booktitle = {The Development of Modern Logic},
  publisher = {Oxford University Press},
  year = {2009},
  editor = {Leila Haaparanta},
  pages = {903--961},
  address = {Oxford},
  topic = {history-of-logic;Indian-logic;}
  }

@article{ bi_yx-etal:2008a,
  author = {Yaxin Bi and Jiwen Guan and David Bell},
  title = {The Combination of Multiple Classifiers Using an
  		Evidential Reasoning Approach},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {15},
  pages = {1731--1751},
  topic = {evidential-reasoning;machine-learning;}
  }

@incollection{ bianchi:1999a,
  author = {Claudia Bianchi},
  title = {Three Forms of Contextual Dependence},
  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 = {67--76},
  address = {Berlin},
  topic = {context;philosophy-of-language;foundations-of-semantics;}
  }

@inproceedings{ bianchi:2001a,
  author = {Claudia Bianchi},
  title = {Context of Utterance and Intended Context},
  booktitle = {Modeling and Using Context: Third International and
  	Interdisciplinary Conference, Context 2001},
  publisher = {Springer-Verlag},
  year = {2001},
  editor = {Varol Akman and Paolo Bouquet and Richmond Thomason
  	and Roger A. Young},
  pages = {73--66},
  address = {Berlin},
  topic = {context;indexicals;demonstratives;}
  }

@inproceedings{ bianchi:2003a,
  author = {Claudia Bianchi},
  title = {How to Refer: Objective Context vs. Intentional Context},
  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 = {66--79},
  address = {Berlin},
  topic = {context;}
  }

@incollection{ bianchi-vassallo:2005a,
  author = {Claudia Bianchi and Nicla Vassallo},
  title = {Epistemological Contextualization:  A Semantic Perspective},
  booktitle = {Modeling and Using Context: 5th International and
  	Interdisciplinary Conference},
  publisher = {Springer-Verlag},
  year = {2005},
  editor = {Anind Dey and Boicho Kokinov and David Leake and Roy Turner},
  pages = {41--54},
  address = {Berlin},
  topic = {context;knowledge;philosophy-of-language;}
  }

@incollection{ biatov:2000a,
  author = {Konstantin Biatov},
  title = {Experiments on Unsupervised Learning for Extracting
  	Relevant Fragments from Spoken Dialog Corpus},
  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 = {83--86},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;spoken-language-corpora;}
  }

@article{ bibel:1980a,
  author = {Wolfgang Bibel},
  title = {Syntax-Directed, Semantics-Supported Program Synthesis},
  journal = {Artificial Intelligence},
  year = {1980},
  volume = {14},
  number = {3},
  pages = {243--261},
  topic = {program-synthesis;}
  }

@book{ bibel:1982a,
  author = {Wolfgang Bibel},
  title = {Automated Theorem Proving},
  publisher = {Friedr. Vieweg \& Sohn},
  year = {1982},
  address = {Braunschweig, Germany},
  ISBN = {3528085207},
  rtnote = {UMich Media Union Library, QA76.9.A96 B51 1982.},
  topic = {theorem-proving;kr-course;}
 }

@article{ bibel:1982b,
  author = {Wolfgang Bibel},
  title = {A Comparative Study of Several Proof Procedures},
  journal = {Artificial Intelligence},
  year = {1982},
  volume = {18},
  number = {3},
  pages = {269--293},
  topic = {theorem-proving;}
  }

@article{ bibel:1988a,
  author = {Wolfgang Bibel},
  title = {Constraint Satisfaction from a Deductive Viewpoint},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {35},
  number = {3},
  pages = {401--413},
  topic = {constraint-satisfaction;theorem-proving;}
  }

@article{ bibel:1998a,
  author = {Wolfgang Bibel},
  title = {Let's Plan it Deductively!},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {103},
  number = {1--2},
  pages = {183--208},
  topic = {planning-algorithms;theorem-proving;}
  }

@incollection{ bibel-eder:1993a,
  author = {Wolfgang Bibel and Elmar Eder},
  title = {Methods and Calculi for Deduction},
  booktitle = {The Handbook of Logic in Artificial Intelligence and
  	Logic Programming, Volume 1: Deductive
		 Methodologies},
    editor = {Dov Gabbay and Christopher Hogger and J.A. Robinson},
  publisher = {Oxford University Press},
  pages = {68--367},
  address = {Oxford},
  year = {1993},
  missinginfo = {ed's 1st name},
  topic = {kr;logic-survey;theorem-proving;kr-course;}
}

@book{ bibel-etal:1993a,
  author = {Wolfgang Bibel and Steffen H\"olldobler and Gerd
  	Neugebauer},
  title = {Deduction: Automated Logic},
  publisher = {Academic Press},
  year = {1993},
  address = {London},
  ISBN = {012095835X},
  rtnote = {UMich Media Union Library, DA 76.9 .A96 B5311 1993.},
  note = {Translated by Monika Lekuse with the assistance of Donald
  	Sannella.},
  topic = {theorem-proving;}
 }

@incollection{ bibel-etal:1998a,
  author = {Wolfgang Bibel et al.},
  title = {Compressions and Extensions},
  booktitle = {Automated Deduction: A Basis for Applications.
  	Volume {I}, Foundations: Calculi and Methods},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Wolfgang Bibel and Peter H. Schmidt},
  address = {Dordrecht},
  missinginfo = {A's 1st name, other authors, pages},
  topic = {theorem-proving;applied-logic;proof-theory;}
  }

@book{ bibel-jorrand:1986a,
  editor = {W. Bibel and Ph. Jorrand},
  title = {Fundamentals of Artificial Intelligence: An Advanced Course},
  publisher = {Springer-Verlag},
  year = {1986},
  address = {Berlin},
  ISBN = {354016782X},
  rtnote = {UMich Media Union Library, Q335 .F861 1986.},
  topic = {AI-intro;AI-text;}
 }

@book{ bibel-schmidt_ph:1998a,
  editor = {Wolfgang Bibel and Peter H. Schmidt},
  title = {Automated Deduction: A Basis for Applications.
  	Volume {I}, Foundations: Calculi and Methods},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  volume = {1},
  address = {Dordrecht},
  contentnote = {TC:
  	0. Ulrich Furbach, "Introduction (to Part I: Tableau and Connection
		Calculi)"
  	1. B. Beckert and R. H\"anle, "Analytic Tableaux"
	2. R. Letz, "Clausal Tableaux"
	3. P. Baumgartner and Ulrich Furbach, "Variants of Clausal Tableaux"
	4. U. Egly, "Cuts in Tableaux"
	5. W. Bibel et al., "Compressions and Extensions"
   0'. U. Petermann, "Introduction (to Part II: Special Calculi and
			Refinements"
	6. P. Baumgartner and U. Peterman, "Theory Reasoning"
	7. F. Baader and K.U. Schulz, "Unification THeory"
	8. P. Beckert, "Rigid E-Unification"
	9. C. Weidenbach, "Sorted Unification and Tree Automata"
   10. G. Meyer and C. Beierle, "Dimensions of Types in Logic Programming"
   11. L. Bachmair and H. Ganzinger, "Equational Reasoning in
			Saturation-Based Theorem Proving"
   12. T. Nipkow and C. Prehofer, "Higher-Order Rewriting and
			Equational Reasoning"
   13. M. Kohlhase, "Higher-Order Automated Theorem Proving"
   },
  topic = {theorem-proving;applied-logic;}
 }

@book{ bibel-schmidt_ph:1998b,
  editor = {Wolfgang Bibel and Peter H.  Schmidt},
  title = {Automated Deduction: A Basis for Applications.
  	Volume {II}, Systems and Implementation Techniques},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  volume = {1},
  address = {Dordrecht},
  contentnote = {TC:
  	0. T. Nipkow and W. Reif, "Introduction (to Part I: Interactive
			Theorem Proving)"
  	1. W. Reif et al., "Structured Specifications and Interactive
			Proofs with {KIV}"
	2. H. Benl et al., "Proof Theory at Work: Program Development
			in the {M}inlog System"
	3. M. Strecker et al., "Interactive and Automated Construction
			in Type Theory"
	4. W. Ahrendt et al., "Integrating Automated and Interactive
			Theorem Proving"
   0'. J. Siekman and D. Fehrer, "Introduction (to Part II:
		Representation)"
	5. P. Graf and D. Fehrer, "Term Indexing"
	6. D. Fehrer, "Developing Deductive Systems: The]
			Toolbox Style"
	7. G. Neugebauer and U. Petermann, "Specifications of
			Inference Rules: Extensions of the {PTTP} Technique"
	8. T. Kolbe and C. Walther, "Proof Analysis, Generalization,
			and Reuse"
  0''. W. K\"uchlin, "Introduction (To Part III: Parallel Inference
			Systems)"
    9. R. B\"undgen et al., "Parallel Term Rewriting with
			{P}a{R}e{D}u{X}"
   10. J. Schulmann et al., "Parallel Theorem Provers Based on {SETHO}"
   11. S.-E. Bornscheuer et al., "Massively Parallel Reasoning"
 0'''. J. Avenhaus, "Introduction (To Part IV: Comparison and
		Cooperation of Theorem Provers)"
   12. M. Baaz et al., "Extension Methods in Automated Deduction"
   13. J. Denzinger and M. Fuchs, "A Comparison of Equality
   	Reasoning Heuristics"
   14. J. Denzinger and I. Dahn, "Cooperating Theorem Provers"
   },
  topic = {theorem-proving;applied-logic;AI-implementations;}
 }

@book{ bibel-schmidt_ph:1998c,
  editor = {Wolfgang Bibel and Peter H.  Schmidt},
  title = {Automated Deduction: A Basis for Applications.
  	Volume {III}, Applications},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  volume = {1},
  address = {Dordrecht},
  contentnote = {TC:
  	0. M. Kohlhase, "Introduction (to Part I: Automated
		Theorem Proving in Mathematics)"
  	1. I. Dahn, "Lattice-Ordered Groups in Deduction"
	2. J. Stuber, "Superposition Theorem Proving for Commutsative
			Rings"
	3. H.J. Olbach and J. K\"ohler, "How to Augment a Formal
			System with a {B}oolean Algebra Component"
	4. M. Kerber, "Proof Planning: A Practical Approach to
			Mechanized Reasoning in Mathematics"
   0'. J. Schumann, "Introduction (to Part II: Automated Deduction
			in Software Engineering and Hardware Design )"
	5. C. Kreitz, "Program Synthesis"
	6. J. Geisl et al., "Termination Analysis for Functional
			Programs"
	7. G. Schellhorn and W. Ahrendt, "The {WAM} Case Study: Verifying
			Compiler Correctness for {P}rolog with {KIV}"
	8. I. Dahn and J. Schumann, "Using Automated Theorem Provers
			in Verification of Protocols"
	9. W. Reif and G. Schellhorn, "Theorem Proving in Large Theories"
   10. F. Stolzenburg and B. Thomas, "Analyzing Rule Sets for the
			Calculation of Banking Fees by a Theorem Prover with
			Constraints"
   11. B. Fischer et al., "Deduction-Based Software Component
			Retrieval"
   12. R. B\"undgen, "Rewrite Based Hardware Verification with
			{R}e{D}u{X}"
   },
  topic = {theorem-proving;applied-logic;}
 }

@incollection{ biber:1994a,
  author = {Douglas Biber},
  title = {Representativeness in Corpus Design},
  booktitle = {Current Issues in Computational Linguistics: Essays in
  	Honour of {D}on {W}alker},
  publisher = {Giardini Editori e Stampatori and Kluwer Academic
  	Publishers},
  year = {1994},
  editor = {Antonio Zampolli and Nicoletta Calzolari and Martha Palmer},
  pages = {377--407},
  address = {Pisa and Dordrecht},
  topic = {corpus-linguistics;}
  }

@article{ biber:1999a,
  author = {Douglas Biber},
  title = {Review of \emph{{E}xploring Textual Data}, by {L}udvic
  	{L}ebart and {A}ndr\'e {S}alem and {L}isette {B}arry},
  journal = {Computational Linguistics},
  year = {1999},
  volume = {25},
  number = {1},
  pages = {165--166},
  xref = {Review of lebart-etal:1998a.},
  topic = {corpus-statistics;multivariate-statistics;cluster-analysis;}
  }

@book{ biber-etal:1998a,
  author = {Douglas Biber and Susan Conrad and Randi Reppen},
  title = {Corpus Linguistics},
  publisher = {Cambridge University Press},
  year = {1998},
  address = {Cambridge, England},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  ISBN = {052149957-7},
  topic = {corpus-annotation;corpus-linguistics;corpus-tagging;}
 }

@book{ biber-etal:1999a,
  author = {Douglas Biber and Stig Johansson and Susan Conrad and
  	Edward Finnegan},
  title = {Longman Grammar of Spoken and Written {E}nglish},
  publisher = {Pearson Education, Ltd.},
  year = {1999},
  address = {Harlow, England},
  ISBN = {058223725-4},
  xref = {Review: hirst_g:2001a.},
  topic = {descriptive-grammar;Engliah-language;}
 }

@article{ bic:1985a,
  author = {Lubomir Bic},
  title = {Processing of Semantic Nets on Dataflow Architectures},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {27},
  number = {2},
  pages = {219--227},
  acontentnote = {Abstract:
     Extracting knowledge from a semantic network may be viewed as a
     process of finding given patterns in the network. On a von
     Neumann computer architecture the semantic net is a passive data
     structure stored in memory and manipulated by a program.  This
     paper demonstrates that by adopting a data-driven model of
     computation the necessary pattern-matching process may be
     carried out on a highly-parallel dataflow architecture. The
     model is based on the idea of representing the semantic network
     as a dataflow graph in which each node is an active element
     capable of accepting, processing, and emitting data tokens
     traveling asynchronously along the network arcs.  These tokens
     are used to perform a parallel search for the given patterns.
     Since no centralized control is required to guide and supervise
     the token flow, the model is capable of exploiting a computer
     architecture consisting of large numbers of independent
     processing elements.},
  topic = {semantic-nets;parallel-processing;}
  }

@inproceedings{ bicchieri:1988a,
  author = {Cristina Bicchieri},
  title = {Common Knowledge and Backward Induction: A Solution to
  	the Paradox},
  booktitle = {Proceedings of the Second Conference on Theoretical
  	Aspects of Reasoning about Knowledge},
  year = {1988},
  editor = {Moshe Y. Vardi},
  pages = {381--393},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  topic = {game-theory;mutual-belief;backward-induction;}
  }

@article{ bicchieri:1988b,
  author = {Cristina Bicchieri},
  title = {Strategic Behavior and Counterfactuals},
  journal = {Synth\'ese},
  year = {1988},
  volume = {76},
  number = {1},
  pages = {135--169},
  topic = {conditionals;game-theory;}
  }

@inproceedings{ bicchieri:1989a,
  author = {Cristina Bicchieri},
  title = {Backward Induction Without Common Knowledge},
  booktitle = {{PSA} 1988: Proceedings of the Biennial Meeting of the
	Philosophy of Science Association, Volume 2},
  year = {1989},
  editor = {Arthur Fine and Janet Leplin},
  pages = {329--343},
  organization = {Philosophy of Science Association},
  publisher = {Philosophy of Science Association},
  address = {East Lansing, Michigan},
  rtnote = {In RHT collection.},
  topic = {game-theory;mutual-belief;backward-induction;}
  }

@book{ bicchieri:1993a,
  author = {Cristina Bicchieri},
  title = {Rationality and Coordination},
  publisher = {Cambridge University Press},
  year = {1993},
  address = {Cambridge, England},
  xref = {Review: gilbert:1998a.},
  topic = {foundations-of-game-theory;game-theoretic-coordination;
  	rationality;}
 }

@article{ bicchieri:1994a,
  author = {Cristina Bicchieri},
  title = {Counterfactuals, Belief Changes, and Equilibrium Refinements},
  journal = {Philosophical Topics},
  year = {1994},
  volume = {21},
  number = {1},
  pages = {21--52},
  topic = {game-theory; counterfactuals;Nash-equilibria;}
  }

@article{ bicchieri-antonelli:1995a,
  author = {Cristina Bicchieri and Aldo Antonelli},
  title = {Game-Theoretic Axioms for Local Rationality and Bounded
  	Knowledge},
  journal = {Journal of Logic, Language, and Information},
  year = {1995},
  volume = {4},
  number = {2},
  pages = {145--167},
  topic = {game-theory;rationality;}
  }

@incollection{ bicchieri-antonelli:1996a,
  author = {Cristina Bicchieri and Aldo Antonelli},
  title = {Games Servers Play: A Procedural Approach},
  booktitle = {Intelligent Agents {II}: Agent Theories, Architectures,
  	and Languages},
  publisher = {Springer Verlag},
  year = {1996},
  editor = {Michael J. Wooldridge and J.P. M\"uller and Milind Tambe},
  pages = {127--142},
  address = {Berlin},
  missinginfo = {E's 1st name.},
  topic = {game-theory;distributed-systems;}
  }

@book{ bicchieri-chiara:1993a,
  editor = {Cristina Bicchieri and M.L.D. Chiara},
  title = {Knowledge, Belief, and Strategic Interaction},
  publisher = {Cambridge University Press},
  year = {1993},
  address = {Cambridge, England},
  rtnote = {Look at this.},
  missinginfo = {E's 1st name},
  topic = {game-theory;}
 }

@book{ bicchieri-etal:1992a,
  editor = {Cristina Bicchieri and Maria Luisa {Dalla Chiara}},
  title = {Knowledge, belief, and Strategic Interaction},
  publisher = {Cambridge University Press},
  year = {1992},
  address = {Cambridge, England},
  rtnote = {Check topic.},
  rtnote = {Hillman BC177 K58 1992},
  topic = {deontic-logic;}
 }

@book{ bicchieri-etal:1997a,
  editor = {Cristina Bicchieri and Richard Jeffrey and Brian Skyrms},
  title = {The Dynamics of Norms},
  publisher = {Cambridge University Press},
  year = {1997},
  address = {Cambridge, England},
  rtnote = {Check topic.},
  ISBN = {0521560624},
  rtnote = {UMich Graduate Library, GN 493.3 .D961 1997},
  ISBN = {0521560624},
  rtnote = {UMich Graduate Library, GN 493.3 .D961 1997.},
  topic = {conditional-obligation;obligation-update;}
 }

@book{ bicchieri-etal:1999a,
  editor = {Cristina Bicchieri and Richard Jeffrey and Brian Skyrms},
  title = {The Logic of Strategy},
  publisher = {Oxford University Press},
  year = {1999},
  address = {Oxford},
  ISBN = {0195117158},
  rtnote = {UMich Undergraduate, B 105 .S68 L641 1999.},
  topic = {decision-theory;foundations-of-decision-theory;}
 }

@unpublished{ bickard-campbell_rl:1991a,
  author = {Mark H. Bickard and Robert L. campbell},
  title = {Some Foundational Questions Concerning Language Studies:
		with a Focus on Categorial Grammars and Model Theoretic
		Possible Worlds Semantics},
  year = {1991},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  contentnote = {This is an attempt at a foundational criticism of
		logical semantics.},
  rtnote = {I didn't look at it that carefully,
		it didn't seem to have anything very powerful or profound
		to say.  I don't know where these people are.},
  topic = {foundations-of-semantics;}
  }

@incollection{ bickerton:1979a,
  author = {Derek Bickerton},
  title = {Where Do Presuppositions Come From},
  booktitle = {Syntax and Semantics 11: Presupposition},
  publisher = {Academic Press},
  year = {1979},
  editor = {ChoonKyo Oh and David A. Dineen},
  pages = {235--248},
  address = {New York},
  topic = {presupposition;pragmatics;}
  }

@article{ bidlock-wellman_ml:2010a,
  author = {Clint Bidlock and Michael P. Wellman},
  title = {Exceptional Data Quality Using Intelligent Matching and
  		Retrieval},
  journal = {The {AI} Magazine},
  year = {2010},
  volume = {31},
  number = {1},
  pages = {65--73},
  topic = {data-mining;}
  }

@article{ bidoit-froidevaux:1991a,
  author = {N. Bidoit and Christine Froidevaux},
  title = {General Logical Databases and Programs: Default
  	Logic Semantics and Stratefication},
  journal = {Information and Computation},
  year = {1991},
  volume = {91},
  pages = {15--54},
  missinginfo = {A's 1st name, number},
  topic = {default-logic;stratified-logic-programs;}
  }

@incollection{ biederman:1990a,
  author = {Irving Biederman},
  title = {Higher-Level Vision},
  booktitle = {An Invitation to Cognitive Science.  Volume
  	2: Visual Cognition and Action},
  publisher = {The {MIT} Press},
  year = {1990},
  editor = {Daniel N. Osherson and Howard Lasnik},
  pages = {41--72},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.},
  topic = {cognitive-psychology;human-vision;visual-reasoning;}
  }

@book{ bielec:1998a,
  author = {Dana Bielec},
  title = {Polish--An Essential Grammar},
  publisher = {Routledge},
  year = {1998},
  address = {London},
  ISBN = {0415164052 (alk. paper), 0415164060 (pbk)},
  rtnote = {UMich Graduate Library, 891.855 B587pL.},
  topic = {Polish-language;reference-grammars;}
 }

@incollection{ bienvenu-etal:2006a,
  author = {Meghyn Bienvenu and Christian Fritz and Sheila McIlraith},
  title = {Planning with Qualitative Temporal Preferences},
  booktitle = {{KR}2006: Proceedings, Tenth International Conference on
      Principles of  Knowledge Representation and Reasoning},
  publisher = {AAAI Press},
  year = {2006},
  editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty},
  pages = {134--144},
  address = {Menlo Park, California},
  topic = {planning;preferences;qualitative-utility;temporal-reasoning;}
  }

@article{ biermann:1972a,
  author = {A.W.  Biermann},
  title = {On the Inference of {T}uring Machines from Sample
  	Computations},
  journal = {Artificial Intelligence},
  year = {1972},
  volume = {3},
  number = {1--3},
  pages = {181--198},
  topic = {learning-theory;}
  }

@book{ biermann:1997a,
  author = {Alan W. Biermann},
  title = {Great Ideas in Computer Science},
  publisher = {The {MIT} Press},
  year = {1997},
  edition = {2nd},
  address = {Cambridge, Massachusetts},
  topic = {cs-intro;}
 }

@article{ bierwisch:1967a,
  author = {Manfred Bierwisch},
  title = {Some Semantic Universals of {G}erman Adjectivals},
  journal = {Foundations of Language},
  year = {1967},
  volume = {3},
  pages = {1--36},
  missinginfo = {A's 1st name, number},
  topic = {nl-semantics;semantic-primitives;German-language;
  	semantics-of-adjectives;}
  }

@incollection{ bierwisch:1971a,
  author = {Manfred Bierwisch},
  title = {On Classifying Semantic Features},
  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 = {410--435},
  address = {Cambridge, England},
  rtnote = {In RHT collection.},
  topic = {componential-semantics;}
  }

@book{ bierwisch:1971b,
  author = {Manfred Bierwisch},
  title = {Modern Linguistics; Its Development, Methods and Problems},
  publisher = {Mouton},
  year = {1971},
  address = {The Hague},
  rtnote = {UMich Graduate Library Call No: 805 J35 no.110},
  topic = {linguistics-intro;linguistics-history;}
 }

@incollection{ bierwisch:1976a1,
  author = {Manfred Bierwisch},
  title = {Social Differentiation of Language Structure},
  booktitle = {Language in Focus},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  editor = {Asa Kasher},
  pages = {407--456},
  address = {Dordrecht},
  xref = {Alternate publication: bierwisch:1976a2.},
  topic = {linguistic-variation;foundations-of-linguistics;}
  }

@incollection{ bierwisch:1976a2,
  author = {Manfred Bierwisch},
  title = {Social Differentiation of Language Structures},
  booktitle = {An Integrated Theory of Linguistic Ability},
  publisher = {Thomas Y. Crowell Co.},
  year = {1976},
  editor = {Thomas G. Bever and Jerrold J. Katz and D. Terence Langendoen},
  pages = {271--312},
  address = {New York},
  xref = {Alternate publication: bierwisch:1976a1.},
  topic = {linguistic-variation;foundations-of-linguistics;}
  }

@unpublished{ bierwisch:1982a,
  author = {Manfred Bierwisch},
  title = {Formal and Lexical Semantics},
  year = {1982},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;lexical-semantics;}
  }

@article{ bierwisch:1996a,
  author = {Manfred Bierwisch},
  title = {Tools and Explanations of Comparison:  Part {I}},
  journal = {Journal of Semantics},
  year = {1996},
  volume = {6},
  number = {1},
  pages = {57--93},
  missinginfo = {Date is a guess.},
  rtnote = {In RHT collection.},
  topic = {comparative-constructions;adjectives;measurement-theory;}
  }

@book{ bierwisch-heidolph:1970a,
  editor = {Manfred Bierwisch and Karl Erich Heidolph},
  title = {Progress In Linguistics:  A Collection of Papers},
  publisher = {Mouton},
  year = {1970},
  address = {The Hague},
  rtnote = {Graduate Library Call No: 805 J36 v.43},
  topic = {linguistics-misc-collection;}
 }

@book{ bierwisch-lang_e:1989a,
  author = {Manfred Bierwisch and Ewald Lang},
  title = {Dimensional Adjectives: Grammatical Structure and
  	Conceptual Interpretation},
  publisher = {Springer-Verlag},
  year = {1989},
  address = {Berlin},
  ISBN = {3540506330 (Germany) 0387506330 (U.S.A.)},
  rtnote = {UMich Graduate Library Call No: 830.5 D582},
  topic = {adjectives;nl-semantics;spatial-reasoning;}
 }

@article{ bigaj:2001a,
  author = {Thomas Bigaj},
  title = {Three-Valued Logic, Indeterminacy and Quantum Mechanics},
  journal = {Journal of Philosophical Logic},
  year = {2001},
  volume = {30},
  number = {2},
  pages = {97--119},
  topic = {quantum-logic;multivalued-logic;}
  }

@article{ bigelow:1975a,
  author = {John C. Bigelow},
  title = {Contexts and Quotation {I}},
  journal = {Linguistische {B}erichte},
  year = {1975},
  volume = {38},
  number = {1975},
  pages = {1--22},
  rtnote = {In RHT collection.},
  topic = {direct-discourse;context;indexicals;}
  }

@article{ bigelow:1975b,
  author = {John C. Bigelow},
  title = {Contexts and Quotation {II}},
  journal = {Linguistische {B}erichte},
  year = {1975},
  volume = {39},
  number = {1975},
  pages = {1--22},
  rtnote = {In RHT collection.},
  topic = {direct-discourse;context;indexicals;}
  }

@article{ bigelow:1976a,
  author = {John C. Bigelow},
  title = {Possible Worlds Foundations for Probability},
  journal = {Journal of Philosophical Logic},
  year = {1976},
  volume = {5},
  number = {3},
  pages = {299--320},
  rtnote = {UMich Reading notes on file.},
  topic = {foundations-of-probability;possible-worlds-semantics;}
  }

@article{ bigelow:1977a,
  author = {John C. Bigelow},
  title = {Review of \emph{{L}anguage, Mind, and Knowledge}, edited by
  	{K}eith {G}underson},
  journal = {Linguistics and Philosophy},
  year = {1977},
  volume = {1},
  number = {2},
  pages = {301--304},
  xref = {Review of gunderson:1975a.},
  topic = {philosophy-of-language;}
  }

@incollection{ bigelow:1978a,
  author = {John C. Bigelow},
  title = {Semantics of Thinking, Speaking and Translation},
  booktitle = {Meaning and Translation: Philosophical and Logical
  	Approaches},
  publisher = {New York University Press},
  year = {1978},
  editor = {Franz Guenthner and Monica Guenthner-Reutter},
  pages = {109--135},
  address = {New York},
  topic = {propositional-attitudes;intensionality;}
  }

@article{ bigelow:1978b,
  author = {John C. Bigelow},
  title = {Review of \emph{{I}ssues in the Philosophy of Language},
  	edited by {A}lfred {F}. {M}ackay and {D}.{D}. {M}errill},
  journal = {Linguistics and Philosophy},
  year = {1978},
  volume = {2},
  number = {3},
  pages = {447--454},
  xref = {Review of mackay_af-merrill_dd:1976a.},
  topic = {philosophy-of-language;}
  }

@article{ bigelow:1980a,
  author = {John C. Bigelow},
  title = {Believing in Semantics},
  journal = {Linguistics and Philosophy},
  year = {1977},
  volume = {2},
  number = {1},
  pages = {101--144},
  rtnote = {In RHT collection.},
  rtnote = {Reading notes on file.},
  rtnote = {semantics-course;},
  topic = {nl-semantics;syntactic-attitudes;propositional-attitudes;}
  }

@article{ bigelow:1980b,
  author = {John C. Bigelow},
  title = {Review of \emph{{S}ubjunctive Reasoning}, by {J}ohn {P}ollock},
  journal = {Linguistics and Philosophy},
  year = {1980},
  volume = {4},
  number = {1},
  pages = {129--139},
  xref = {Review of pollock_jl:1976a.},
  topic = {conditionals;}
  }

@incollection{ bigelow:1981a,
  author = {John C. Bigelow},
  title = {Truth and Universals},
  booktitle = {Words, Worlds, and Contexts: New Approaches to Word
  	Semantics},
  publisher = {Walter de Gruyter},
  year = {1981},
  editor = {Hans-J\"urgen Eikmeyer and Hannes Rieser},
  pages = {168--189},
  address = {Berlin},
  topic = {propositions;possible-worlds;}
 }

@incollection{ bikel:2000a,
  author = {Daniel M. Bikel},
  title = {A Statistical Model for Parsing and Word-Sense
  	Disambiguation},
  booktitle = {Proceedings of the 2000 Joint {SIGDAT} Conference
  	on Empirical Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Hinrich Sch\"utze and Keh-Yih Su},
  pages = {155--163},
  address = {Somerset, New Jersey},
  topic = {statistical-nlp;lexical-disambiguation;}
  }

@article{ bikel:2004a,
  author = {Daniel M. Bikel},
  title = {Intricaciess of {C}ollins' Parsing Model},
  journal = {Computational Linguistics},
  year = {2004},
  volume = {30},
  number = {4},
  pages = {479--511},
  topic = {parsing-algorithms;statistical-nlp;}
  }

@article{ bilankova:2007a,
  author = {Marta B\'ilkov\'a},
  title = {Uniform Interpolation and Propositional Quantifiers in
  		Modal Logics},
  journal = {Studia Logica},
  year = {2007},
  volume = {85},
  number = {1},
  pages = {1--31},
  topic = {modal-logic;propositional-quantifiers;proof-theory;}
  }

@incollection{ bilgrami:1998a,
  author = {Akeel Bilgrami},
  title = {Why Holism is Harmless and Necessary},
  booktitle = {Philosophical Perspectives 12: Language, Mind,
  	and Ontology},
  publisher = {Blackwell Publishers},
  year = {1998},
  editor = {James E. Tomberlin},
  pages = {105--126},
  address = {Oxford},
  topic = {holism;philosophy-of-mind;philosophy-of-language;}
  }

@article{ billinge:1997a,
  author = {Helen Billinge},
  title = {A Constructive Formulation of {G}leason's Theorem},
  journal = {Journal of Philosophical Logic},
  year = {1997},
  volume = {26},
  number = {6},
  pages = {661--670},
  contentnote = {Gleason's theorem is important in QM, it says that
  	all probability measures over the projection lattice of
	Hilbert space can be represented as density operators.
	G. Hellman argued that this theorem is not constructively
	provable.  See hellman_g:1993a.},
  topic = {quantum-logic;foundations-of-quantum-mechanics;
  	constructive-mathematics;}
  }

@article{ billings-etal:2002a,
  author = {Darse Billings and Aaron Davidson and Jonathan Schaeffer
  	and Duane Szafron},
  title = {The Challenge of Poker},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {134},
  number = {1--2},
  pages = {201--240},
  topic = {computer-games;agent-modeling;connectionist-models;}
  }

@article{ billington-etal:1990a,
  author = {David Billington and Koen De Coster and Donald Nute},
  title = {A Modular Translation from Defeasible Nets to
  		Defeasible Logics},
  journal = {Journal of Experimental and Theoretical Artificial
  		Intelligence},
  year = {1990},
  volume = {2},
  pages = {151-177},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-logic;inheritance-theory;}
  }

@article{ billington-rock_a:2001a,
  author = {David Billington and Andrew Rock},
  title = {Proposiitonal Plausible Logic: Introduction and
        Implementation},
  journal = {Studia Logica},
  year = {2001},
  volume = {67},
  number = {2},
  pages = {243--269},
  topic = {common-sense-reasoning;nonmonotonic-reasoning;
  	nonmonotonic-logic;}
  }

@article{ bimbo:2004a,
  author = {Katalin Bimb\'o},
  title = {Semantics for Dual and Symmetric Combinatory Calculi},
  journal = {Journal of Philosophical Logic},
  year = {2004},
  volume = {33},
  number = {2},
  pages = {125--153},
  topic = {algebraic-semantics;combinatory-logic;}
  }

@article{ bimbo:2005a,
  author = {Katalin Bimb\'o},
  title = {Types of l-Free Hereditary Right Maximal Terms},
  journal = {Journal of Philosophical Logic},
  year = {2005},
  volume = {34},
  number = {5--6},
  pages = {607--620},
  topic = {combinatory-logic;relevance-logic;}
  }

@article{ bimbo:2007a,
  author = {Katalin Bimb\'o},
  title = {$LE^t_{\rightarrow}$, $LR^{\circ}_{\stackrel{\wedge}{\sim}}$,
  	$LK$, and Cutfree Proofs},
  journal = {Journal of Philosophical Logic},
  year = {2007},
  volume = {36},
  number = {5},
  pages = {557--570},
  topic = {proof-theory;relevance-logic;}
  }

@incollection{ binaghi:1991a,
  author = {Elisabetta Binaghi},
  title = {Learning of Uncertain Classification Rules in Medical
  	Diagnosis},
  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 = {115--119},
  address = {Berlin},
  topic = {machine-learning;fuzzy-logics;}
  }

@article{ binkley:1965a,
  author = {Robert Binkley},
  title = {A Theory of Practical Reason},
  journal = {The Philosophical Review},
  pages = {423--440},
  volume = {74},
  year = {1965},
  rtnote = {In RHT collection \email\10\fe10},
  topic = {practical-reasoning;}
  }

@book{ binkley-marras:1971a,
  editor = {Robert Binkley and Richard Bronaugh and Ausonio Marras},
  title = {Agent, Action, and Reason},
  publisher = {Blackwell Publishers},
  year = {1971},
  address = {Oxford},
  ISBN = {0631139109},
  topic = {action;agency;}
 }

@article{ binmore:1987a,
  author = {Ken Binmore},
  title = {Modeling Rational Players {I}},
  journal = {Economics and Philosophy},
  year = {1987},
  volume = {3},
  pages = {179--214},
  missinginfo = {A's 1st name, number},
  topic = {game-theory;epistemic-logic;}
  }

@article{ binmore:1988a,
  author = {Ken Binmore},
  title = {Modeling Rational Players {II}},
  journal = {Economics and Philosophy},
  year = {1988},
  volume = {4},
  pages = {9--55},
  missinginfo = {A's 1st name, number},
  topic = {game-theory;epistemic-logic;}
  }

@book{ binmore:1990a,
  author = {Ken Binmore},
  title = {Essays on the Foundations of Game Theory},
  publisher = {Blackwell Publishers},
  year = {1990},
  address = {Oxford},
  ISBN = {0631168664},
  rtnote = {UMich Graduate Library, QA 269 .B461 1990.},
  topic = {foundations-of-game-theory;game-theory;ratonality;}
 }

@incollection{ binmore:1994a,
  author = {Ken Binmore},
  title = {Rationality in the Centipede},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fifth Conference ({TARK} 1994)},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Ronald Fagin},
  pages = {150--159},
  address = {San Francisco},
  rtnote = {There is an extra page, 145 1/2.},
  topic = {game-theory;backward-induction;}
  }

@incollection{ binmore-shin_hs:1993a,
  author = {Ken Binmore and H.S. Shin},
  title = {Algorithmic Knowledge and Game Theory},
  booktitle = {Knowledge, Belief, and Strategic Interaction},
  publisher = {Cambridge University Press},
  year = {1993},
  editor = {Cristina Bicchieri and M.L.D. Chiara},
  chapter = {9},
  address = {Cambridge, England},
  rtnote = {Look at this.},
  missinginfo = {A's 1st name, E's 1st name},
  topic = {game-theory;epistemic-logic;}
  }

@inproceedings{ binnick:1970a,
  author = {Robert I. Binnick},
  title = {Ambiguity and Vagueness},
  booktitle = {Proceedings From the Sixth Regional Meeting of the
  	{C}hicago {L}inguistic {S}ociety},
  year = {1970},
  pages = {147--153},
  organization = {Chicago Linguistic Society},
  publisher = {Chicago Linguistic Society},
  address = {Chicago, IL},
  topic = {ambiguity;vagueness;}
  }

@book{ binnick:1991a,
  author = {Robert I. Binnick},
  title = {Time and the Verb: A Guide to Tense and Aspect},
  publisher = {Oxford University Press},
  year = {1991},
  address = {Oxford},
  topic = {tense-aspect;}
 }

@book{ biocca-levy_mr:1995a,
  editor = {Frank Biocca and Mark R. Levy},
  title = {Communication in the Age of Virtual Reality},
  publisher = {Lawrence Erlbaum Associates},
  year = {1995},
  address = {Hillsdale, New Jersey},
  contentnote = {TC:
  	1. Frank Biocca and Taeyong Kim and Mark R. Levy, "The Vision
		of Virtual Reality"
	2. Frank Biocca and Mark R. Levy, "Virtual Reality as a
		Communication System"
	3. Jonathan Steuer, "Defining Virtual Reality: Dimensions
		Determining Telepresence"
	4. Frank Biocca and Ben Delaney, "Immersive Virtual Reality
		Technology"
	5. Frank Biocca and Mark R. Levy, "Communication Applications
		of Virtual Reality"
	6. Diana Gagnon Hawkins, "Virtual Reality and Passive
		Simulators: The Future of Fun"
	7. Carrie Heeter, "Communication Research on Consumer {VR}"
       10.Kenneth Meyer, "Dramatic narrative in virtual reality"
       11.Gregory Kramer, "Sound and Communication in Virtual
       		Reality"
       12. Mark T. Palmer, "Interpersonal Communication and Virtual
       		Reality: Mediating Interpersonal Relationships"
       13. Thomas W. Valente and Thierry Bardini, "Virtual Diffusion
       		or an Uncertain Reality: Networks, Policy, and Models
		for the Diffusion of {VR} Technology"
       14. Michael A. Shapiro and Daniel G. McDonald, "I'm Not a Real
       		Doctor, But I Play One in Virtual Reality:
		Implications of Virtual Realty for Judgements about
		Reality"
       15. Anne Balsamo, "Signal to Noise: On the Meaning of
       		Cyberpunk Subculture"
       16. Lisa St. Clair Harvey, "Communication Issues and Policy
       		Implications"
   },
  ISBN = {080581549X (c: alk. paper)},
  rtnote = {UMich Undergraduate, Qa 76.9 .H85 C6551 1995.},
  topic = {virtual-reality;}
 }

@article{ bird_a:1998a,
  author = {A. Bird},
  title = {Dispositions and Antidotes},
  journal = {The Philosophical Quarterly},
  year = {1998},
  volume = {48},
  number = {191},
  pages = {227--234},
  topic = {dispositions;}
  }

@article{ bird_g:1979a,
  author = {G. Bird},
  title = {Speech Acts and Conversation, Part {II}},
  journal = {Philosophical Quarterly},
  year = {1979},
  volume = {29},
  pages = {142--152},
  missinginfo = {A's 1st name, number},
  topic = {speech-acts;implicature;}
  }

@phdthesis{ bird_s:1990a,
  author = {Stephen Bird},
  title = {Constraint-Based Phonology},
  school = {University of Edinburgh},
  year = {1990},
  type = {Ph.{D}. Dissertation},
  address = {Edinburgh},
  rtnote = {In RHT collection.},
  topic = {computational-phonology;foundations-of-phonology;}
 }

@book{ bird_s:1995a,
  author = {Steven Bird},
  title = {Computational Phonology: A Constraint-Based Approach},
  publisher = {Cambridge University Press},
  year = {1995},
  address = {Cambridge, England},
  ISBN = {0-521-47496-5},
  xref = {Review: wheeler_dw-carpenter:1995a.},
  topic = {computational-phonology;}
 }

@incollection{ bird_s-calder:1991a,
  author = {Steven Bird and Jo Calder},
  title = {Defaults in Underspecification Phonology},
  booktitle = {Default Logics for Linguistic Analysis},
  publisher = {University of Stuttgart},
  year = {1991},
  editor = {Hans Kamp},
  pages = {129--139},
  address = {Stuttgart},
  note = {{DYANA} Deliverable R2.5.B},
  topic = {phonology;underspecification-theory;nm-ling;}
  }

@article{ bird_s-ellison:1994a,
  author = {Steven Bird and T. Mark Ellison},
  title = {One Level Phonology: Autosegmental Representations and
   Rules as Finite Automata},
  journal = {Computational Linguistics},
  volume = {20},
  year = {1994},
  pages = {55--90},
  topic = {computational-phonology;}
 }

@article{ bird_s-klein_e:1990a,
  author = {Stephen Bird and Ewan Klein},
  title = {Phonological Events},
  journal = {Journal of Linguistics},
  year = {1990},
  volume = {26},
  pages = {33--56},
  missinginfo = {number},
  topic = {foundations-of-phonology;nonlinear-phonology;}
  }

@article{ bird_s-klein_e:1994a,
  author = {Steven Bird and Ewan Klein},
  title = {Phonological Analyses in Typed Feature Structures},
  journal = {Computational Linguistics},
  volume = {20},
  year = {1994},
  pages = {455--491},
  topic = {computational-phonology;}
 }

@techreport{ bird_s-liberman:1999a,
  author = {Steven Bird and Mark Liberman},
  title = {A Formal Framework for Linguistic Annotation},
  institution = {Department of Computer and Information
  	Science, University of Pennsylvania},
  number = {MS-CIS-99-01},
  year = {1999},
  address = {Philadelphia, Pennsylvania},
  rtnote = {In RHT collection.},
  topic = {corpus-annotation;corpus-linguistics;}
  }

@incollection{ bird_s-liberman:1999b,
  author = {Steven Bird and Mark Liberman},
  title = {Annotation Graphs as a Framework for Multidimensional
  		Linguistic Data Analysis},
  booktitle = {Towards Standards and Tools for Discourse Tagging:
  	Proceedings of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {1999},
  editor = {Marilyn Walker},
  pages = {1--10},
  address = {Somerset, New Jersey},
  topic = {corpus-tagging;representation-of-ling-info;}
  }

@book{ bird_s-simons_gf:2000a,
  editor = {Stephen Bird and Gary F. Simons},
  title = {Linguistic Explorations: Workshop on Web-Based Language
  	Documentation and Description},
  publisher = {Institute for Research in Cognitive Science,
  	University of Pennsylvania},
  year = {2000},
  address = {Philadelphia, Pennsylvania},
  note = {See www.ldc.upenn.edu/exploration/expl2000},
  rtnote = {In RHT Collection.  ACL shelves.},
  topic = {internet-based-language-documentation;}
 }

@article{ bird_s-simons_gf:2003a,
  author = {Steven Bird and Gary F. Simons},
  title = {Seven Dimensions of Portability for Language Documentation
  		and Description},
  journal = {Language},
  year = {2003},
  volume = {79},
  number = {3},
  pages = {557--582},
  rtnote = {In RHT collection.},
  topic = {internet-based-language-documentation;}
  }

@book{ birkenmayer-folejewski:1978a,
  author = {Sigmund S. Birkenmayer and Zbigniew Folejewski},
  title = {Introduction to the {P}olish Language},
  publisher = {Kosciuszko Foundation},
  edition = {3},
  year = {1978},
  address = {New York},
  ISBN = {0917004116},
  rtnote = {UMich Graduate Library, 891.855 B62, 1978.},
  topic = {Polish-language;reference-grammars;}
 }

@book{ birkhoff:1967a,
 author = {Garrett Birkhoff},
 title = {Lattice Theory},
 publisher = {American Mathematical Society},
 year = {1967},
 address = {Providence, RI},
 topic = {lattice-theory;}
 }

@article{ birnbaum_l:1991a,
  author = {Lawrence Birnbaum},
  title = {Rigor Mortis: A Response to {N}ilsson's `{L}ogic and
  	Artificial Intelligence'},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {47},
  number = {1--3},
  pages = {57--77},
  contentnote = {Discusses the limits of the logicist approach.},
  topic = {logic-in-AI-survey;}
  }

@book{ birnbaum_mm:1998a,
  editor = {Michael H. Birnbaum},
  title = {Measurement, Judgment, and Decision Making},
  publisher = {Academic Press},
  year = {1998},
  address = {San Diego},
  ISBN = {0120999757 (alk. paper)},
  rtnote = {UMich Graduate Library, BF 39 .M375 1998.},
  topic = {psychometrics;}
 }

@incollection{ birner:1997a,
  author = {Betty J. Birner},
  title = {Recency Effects in {E}nglish Inversion},
  booktitle = {Centering Theory in Discourse},
  publisher = {Oxford University Press},
  year = {1997},
  editor = {Marilyn A. Walker and Arivind K. Joshi and Ellen Prince},
  pages = {309--323},
  address = {Oxford},
  topic = {discourse;pragmatics;given-new;centering;}
  }

@article{ biro:1979a,
  author = {John I. Biro},
  title = {Intentionalism in the Theory of Meaning},
  journal = {The Monist},
  year = {1979},
  volume = {62},
  pages = {238--258},
  missinginfo = {number},
  rtnote = {Look at this.},
  rtnote = {In RHT collection.},
  rtnote = {pragmatics-course;},
  topic = {speaker-meaning;intention;pragmatics;}
  }

@incollection{ biro:1995a,
  author = {John Biro},
  title = {The Neo-{F}regean Argument},
  booktitle = {Frege, Sense and Reference One Hundred Years Later},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {John I. Biro and Petr Kotatko},
  pages = {185--205},
  address = {Dordrecht},
  topic = {intensionality;reference;foundations-of-semantics;Frege;}
  }

@book{ biro-kotatko:1995a,
  editor = {John I. Biro and Petr Kotatko},
  title = {Frege, Sense and Reference One Hundred Years Later},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  address = {Dordrecht},
  rtnote = {HILLMAN B3245 F24F716 1995},
  contentnote = {TC:
	1. Thomas Baldwin, Three Puzzles in Frege's Theory of Truth, 1--15
	2. Gabriel Segal, Truth and Sense, 15--24
	3. Barry Smith, Frege and Chomsky: Sense and Psychologism, 25--46
	4. Petr Kotatko, Meaning and the Third Realm, 47--57
	5. David Wiggins, Putnam's Doctrine of Natural Kind Words and
		{F}rege's Doctrines of Sense, Reference, and Extension:
		Can They Cohere?, 59--74
	6. A.C. Grayling, Concept-Reference and Kinds, 75--93
	7. Francois Rencanati, The Communication of First Person Thoughts,
		95--102
	8. Tom Stoneham, Transparency, Sense and Self-Knowledge, 103--112
	9. Christine Tappolet, The Sense and Reference of Evaluative Terms,
		113--127
       10. Peter Simons, The Next Best Thing to Sense in the {B}egriffschrift,
       		129-140
       11. David Owens, Understanding Names, 141--149
       12. Emos Corazza and Jerome Dori\v{c}, Why is {F}rege's Puzzle
       		Still Puzzling?, 151--168
       13. Martin Hahn, The {F}rege Puzzle One More Time, 169-183
       14. John Biro, The Neo-{F}regean Argument, 185--205
  },
  topic = {Frege;}
 }

@book{ biro-shahan:1982a,
  editor = {John I. Biro and Robert W. Shahan},
  title = {Mind, Brain, and Function: Essays in the Philosophy of Mind},
  publisher = {University of Oklahoma Press},
  year = {1982},
  address = {Norman, Oklahoma},
  rtnote = {HILLMAN BF38 .M56 1982},
  topic = {philosophy-of-mind;}
 }

@article{ bishop_ma-stich:1998a,
  author = {Michael A. Bishop and Stephen P. Stich},
  title = {The Flight to Reference, or How Not to Make Progress
  	in the Philosophy of Science},
  journal = {Philosophy of Science},
  year = {1998},
  volume = {65},
  number = {1},
  pages = {33--49},
  topic = {metaphilosophy;reference;}
  }

@inproceedings{ biso-etal:2000a,
  author = {Alessandro Biso and Francesca Rossi and Alessandro
         Sperduti},
  title = {Experimental Results on Learning Soft Constraints},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {435--444},
  topic = {machine-learning;experimentai-AI;preference-learning;}
  }

@article{ bistarelli-etal:2002a,
  author = {Stefano Bistarelli and Philippe Codognet and Francesca
  	Rossi},
  title = {Abstracting Soft Constraints: Framework, Properties, Examples},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {139},
  number = {2},
  pages = {175--211},
  topic = {abstraction;constraint-propagation;constraint-satisfaction;}
  }

@incollection{ bittel:1992a,
  author = {Oliver Bittel},
  title = {Tableau-Based Theorem Proving and Synthesis of
  	  {$\lambda$}-Terms in the Intuitionistic Logic},
  booktitle = {Logics in {AI}},
  publisher = {Springer-Verlag},
  editor = {Samson Abramsky and Steven Vickers},
  year = {1992},
  volume = {633},
  series = {LNCS},
  pages = {262--278},
  address = {Berlin},
  topic = {theorem-proving;intuitionistic-logic;}
 }

@unpublished{ bittencourt:1989a,
  author = {Guilherme Bittencourt},
  title = {A Four-Valued Semantics for Inheritance with Exceptions},
  year = {1989},
  note = {Unpublished manuscript, Universit\"at Karlsruhe.},
  rtnote = {In RHT collection.},
  topic = {inheritance-theory;multivalued-logic;}
  }

@techreport{ bittencourt:1990a,
  author = {Guilherme Bittencourt},
  title = {The {MANTRA} Reference Manual},
  institution = {Institut f\"ur {A}lgorithmen und {K}ognitive {S}ysteme,
  	{F}akult\"at f\"ur {I}nformatik, {U}niversit\"at {K}arlsruhe},
  number = {2/90},
  year = {1990},
  address = {D--7500 Karlsruhe 1},
  rtnote = {In RHT collection.},
  topic = {kr;hybrid-kr-architectures;}
  }

@incollection{ bittner:1985a,
  author = {Maria Bittner},
  title = {Quantification in {E}skimo: A Challenge for Compositional
  	Semantics},
  booktitle = {Quantification in Natural Languages, Vol. 1},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {Emmon Bach and Eloise Jelinek and Angelika Kratzer and
   	Barbara Partee},
  pages = {59--80},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;nl-quantifiers;compositionality;Inuit-language;}
  }

@unpublished{ bittner:1992a,
  author = {Maria Bittner},
  title = {Ergativity, Binding and Scope},
  year = {1992},
  note = {Unpublished manuscript, Rutgers University},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {ergativity;binding-theory;nl-quantifier-scope;}
  }

@unpublished{ bittner:1993a,
  author = {Maria Bittner},
  title = {Cross-Linguistic Semantics},
  year = {1993},
  rtnote = {In RHT collection.  Published?  Look in L&P.},
  note = {Unpublished manuscript, Linguistics Department, Rutgers
  	University.},
  topic = {nl-semantics;universal-grammar;}
  }

@article{ bittner:1994a,
  author = {Maria Bittner},
  title = {Cross-Linguistic Semantics},
  journal = {Linguistics and Philosophy},
  year = {1994},
  volume = {17},
  number = {1},
  pages = {53--108},
  topic = {nl-semantics;universal-gramamr;}
  }

@article{ bittner:1998a,
  author = {Maria Bittner},
  title = {Cross-Linguistic Semantics for Questions},
  journal = {Linguistics and Philosophy},
  year = {1998},
  volume = {21},
  number = {1},
  pages = {1--82},
  topic = {interrogatives;nl-semantics;}
  }

@article{ bittner:1999a,
  author = {Maria Bittner},
  title = {Concealed Causatives},
  journal = {Natural Language Semantics},
  year = {1999},
  volume = {7},
  number = {1},
  pages = {1--78},
  topic = {causatives;nl-semantics;}
  }

@inproceedings{ bittner:2001a,
  author = {Maria Bittner},
  title = {Topical Referents for Individuals and Possibilities},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XI}},
  publisher = {Cornell University},
  year = {2001},
  editor = {Rachel Hastings and Brendan Jackson and Zsofia Zvolenszky},
  pages = {36--55},
  address = {Ithaca, New York},
  topic = {nl-semantics;anaphora;possibility;}
  }

@incollection{ bittner:2002a,
  author = {Thomas Bittner},
  title = {Judgments about Spatio-Temporal Relations},
  booktitle = {{KR2002}: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {2002},
  editor = {Dieter Fensel and Fausto Giunchiglia and Deborah
  	L. McGuinness and Mary-Anne Williams},
  pages = {521--532},
  address = {San Francisco, California},
  topic = {kr;spatial-reasoning;}
  }

@incollection{ bittner-hale_k:1985a,
  author = {Maria Bittner and Ken Hale},
  title = {Remarks on Definiteness in {W}alpiri},
  booktitle = {Quantification in Natural Languages, Vol. 1},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {Emmon Bach and Eloise Jelinek and Angelika Kratzer and
   	Barbara Partee},
  pages = {81--105},
  address = {Dordrecht},
  topic = {nl-semantics;nl-quantifiers;(in)definiteness;Australian-language;}
  }

@article{ bittner-hale_k:1996a,
  author = {Maria Bittner and Ken Hale},
  title = {Ergativity: Towards a Theory of a Heterogeneous Class},
  journal = {Linguistic Inquiry},
  year = {1996},
  volume = {27},
  number = {4},
  pages = {531--604},
  topic = {ergativity;}
  }

@incollection{ bizzi-mussaivaldi:1989a,
  author = {E. Bizzi and F.A. Mussa-Ivaldi},
  title = {Geometrical and Mechanical Issues in Movement Planning and
  	Control},
  booktitle = {Foundations of Cognitive Science},
  publisher = {The {MIT} Press},
  year = {1989},
  editor = {Michael I. Posner},
  address = {Cambridge, Massachusetts},
  missinginfo = {pages, A's First names.},
  topic = {motor-skills;motion-mechanics;}
  }

@incollection{ bizzi-mussaivaldi:1990a,
  author = {E. Bizzi and F.A. Mussa-Ivaldi},
  title = {Muscle Properties and the Control of Arm Movements},
  booktitle = {An Invitation to Cognitive Science.  Volume
  	2: Visual Cognition and Action},
  publisher = {The {MIT} Press},
  year = {1990},
  editor = {Daniel N. Osherson and Howard Lasnik},
  pages = {213--242},
  address = {Cambridge, Massachusetts},
  topic = {cognitive-psychology;motor-skills;}
  }

@book{ bjarkman-raskin:1986a,
  editor = {Peter C. Bjarkman and Victor Raskin},
  title = {The Real-World Linguist: Linguistic Applications in the
  	1980s},
  publisher = {Ablex Publishing},
  year = {1986},
  address = {Norwood, New Jersey},
  topic = {applications-of-linguistics;}
 }

@inproceedings{ blache:1998a,
  author = {Philippe Blache},
  title = {Parsing Ambiguous Structures using Controlled Disjunctions
  	and Unary Quasi-Trees},
  booktitle = {Proceedings of the Thirty-Sixth Annual Meeting of the
	{A}ssociation for {C}omputational {L}inguistics and
	Seventeenth International Conference on
	Computational Linguistics},
  year = {1998},
  editor = {Christian Boitet and Pete Whitelock},
  pages = {124--130},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {parsing-algorithms;disambiguation;}
 }

@article{ blachowicz:1997a,
  author = {James Blachowicz},
  title = {Analog Representation beyond Mental Imagery},
  journal = {The Journal of Philosophy},
  year = {1997},
  volume = {94},
  number = {2},
  pages = {55--84},
  topic = {analog-digital;representation;}
  }

@book{ black_d-newing:1998a,
  author = {Duncan Black and R.A. Newing},
  edition = {2},
  title = {The Theory of Committees and Elections},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  address = {Boston},
  ISBN = {0792381106},
  note = {Edited by Iain McLean, Alistair McMillan, and
    	Burt L. Monroe, with a foreword by Ronald H. Coase.},
  rtnote = {UMich Graduate Library, AS 6 .B63 1998.},
  topic = {voting-theory;}
 }

@inproceedings{ black_e-etal:1998a,
  author = {Ezra Black and Andrew Finch and Hideki Kashioka},
  title = {Trigger-Pair Predictors in Parsing and Tagging},
  booktitle = {Proceedings of the Thirty-Sixth Annual Meeting of the
	{A}ssociation for {C}omputational {L}inguistics and
	Seventeenth International Conference on
	Computational Linguistics},
  year = {1998},
  editor = {Christian Boitet and Pete Whitelock},
  pages = {131--137},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {trigger-pair-predictors;parsing-algorithms;
  	part-of-speech-tagging;}
}

@article{ black_m:1937a1,
   author = {Max Black},
   title = {Vagueness: an Exercise in Logical Analysis},
   journal = {Philosophy of Science},
   year = {1937},
   volume = {4},
   pages = {427--455},
   missinginfo = {Reprinted, with Reply to Hempel, in
   	black:1949a, pp. ???.},
   xref = {Republication of black_m:1937a1.},
   topic = {vagueness;}
  }

@incollection{ black_m:1937a2,
  author = {Max Black},
  title = {Vagueness: An Exercise in Philosophical Analysis},
  booktitle = {Vagueness: A Reader},
  publisher = {The {MIT} Press},
  year = {1997},
  editor = {Rosanna Keefe and Peter Smith},
  pages = {69--81},
  address = {Cambridge, Massachusetts},
  xref = {Republication: black_m:1937a2.},
  topic = {vagueness;}
  }

@book{ black_m:1949a,
  author = {Max Black},
  title = {Language and Philosophy},
  publisher = {Cornell University Press},
  year = {1949},
  address = {Ithaca, New York},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {philosophy-of-language;}
 }

@article{ black_m:1954a1,
  author = {Max Black},
  title = {Metaphor},
  journal = {Proceedings of the {A}ristotelian {S}ociety},
  year = {1954},
  volume = {55},
  pages = {273--294},
  xref = {Republication: black_m:1954a2.},
  topic = {metaphor;}
  }

@incollection{ black_m:1954a2,
  author = {Max Black},
  title = {Metaphor},
  booktitle = {Models and Metaphors},
  publisher = {Cornell University Press},
  year = {1962},
  editor = {Max Black},
  pages = {25--47},
  address = {Ithaca, New York},
  xref = {Original Publication: black_m:1954a1.},
  topic = {metaphor;}
  }

@article{ black_m:1955a1,
  author = {Max Black},
  title = {Why Cannot an Effect Precede Its Cause?},
  journal = {Analysis},
  year = {1955},
  volume = {16},
  pages = {49--58},
  xref = {Republication: black_m:1955a2},
  topic = {causality;temporal-direction;}
  }

@incollection{ black_m:1955a2,
  author = {Max Black},
  title = {Can the Effect Precede the Cause?},
  booktitle = {Models and Metaphors},
  publisher = {Cornell University Press},
  year = {1962},
  editor = {Max Black},
  pages = {170--181},
  address = {Ithaca, New York},
  xref = {Original Publication: black_m:1962a},
  topic = {causality;temporal-direction;}
  }

@article{ black_m:1958a1,
  author = {Max Black},
  title = {Language and Reality},
  journal = {Proceedings and Addresses of the {A}merican
  	{P}hilosophical {A}ssociation},
  year = {1958},
  volume = {32},
  pages = {5--17},
  xref = {Republication: black_m:1958a2},
  topic = {philosophy-of-language;philosophical-ontology;}
  }

@incollection{ black_m:1958a2,
  author = {Max Black},
  title = {Language and Reality},
  booktitle = {Models and Metaphors},
  publisher = {Cornell University Press},
  year = {1962},
  editor = {Max Black},
  pages = {1--16},
  address = {Ithaca, New York},
  xref = {Original Publication: black_m:1962a},
  topic = {philosophy-of-language;philosophical-ontology;}
  }

@article{ black_m:1958b1,
  author = {Max Black},
  title = {Necessary Statements and Rules},
  journal = {The Philosophical Review},
  year = {1958},
  volume = {67},
  pages = {313--341},
  xref = {Republication: black_m:1958b2},
  topic = {necessary-truth;philosophy-of-language;}
  }

@incollection{ black_m:1958b2,
  author = {Max Black},
  title = {Necessary Statements and Rules},
  booktitle = {Models and Metaphors},
  publisher = {Cornell University Press},
  year = {1962},
  editor = {Max Black},
  pages = {64--94},
  address = {Ithaca, New York},
  xref = {Original Publication: black_m:1958b1.},
  topic = {necessary-truth;philosophy-of-language;}
  }

@article{ black_m:1958c1,
  author = {Max Black},
  title = {The Analysis of Rules},
  journal = {Theoria},
  year = {1958},
  volume = {24},
  pages = {107--136},
  xref = {Republication: black_m:1958c2.},
  topic = {foundations-of-linguistics;rule-following;}
  }

@incollection{ black_m:1958c2,
  author = {Max Black},
  title = {The Analysis of Rules},
  booktitle = {Models and Metaphors},
  publisher = {Cornell University Press},
  year = {1962},
  editor = {Max Black},
  pages = {95--139},
  address = {Ithaca, New York},
  xref = {Original Publication: black_m:1958a1.},
  topic = {foundations-of-linguistics;rule-following;}
  }

@incollection{ black_m:1958d1,
  author = {Max Black},
  title = {Making Something Happen},
  booktitle = {Determinism and Freedom},
  publisher = {Cornell

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit