text:
= {Situations, Sets and the Axiom of Foundation},
  booktitle = {The Situation in Logic},
  publisher = {CSLI Publications},
  year = {1989},
  editor = {K. Jon Barwise},
  pages = {177--200},
  address = {Stanford, California},
  topic = {situation-theory;nonwellfounded-sets;}
  }

@incollection{ barwise:1989g,
  author = {K. Jon Barwise},
  title = {On the Model Theory of Common Knowledge},
  booktitle = {The Situation in Logic},
  publisher = {CSLI Publications},
  year = {1989},
  editor = {K. Jon Barwise},
  pages = {201--220},
  address = {Stanford, California},
  topic = {situation-theory;mutual-belief;}
  }

@incollection{ barwise:1989h,
  author = {K. Jon Barwise},
  title = {Situations, Facts, and True Propositions},
  booktitle = {The Situation in Logic},
  publisher = {CSLI Publications},
  year = {1989},
  editor = {K. Jon Barwise},
  pages = {221--254},
  address = {Stanford, California},
  topic = {situation-theory;facts;propositions;philosophical-ontology;}
  }

@incollection{ barwise:1989i,
  author = {K. Jon Barwise},
  title = {Notes on the Branch Points in Situation Theory},
  booktitle = {The Situation in Logic},
  publisher = {CSLI Publications},
  year = {1989},
  editor = {K. Jon Barwise},
  pages = {255--276},
  address = {Stanford, California},
  topic = {situation-theory;}
  }

@incollection{ barwise:1989j,
  author = {K. Jon Barwise},
  title = {{AFA} and the Unification of Information},
  booktitle = {The Situation in Logic},
  publisher = {CSLI Publications},
  year = {1989},
  editor = {K. Jon Barwise},
  pages = {277--283},
  address = {Stanford, California},
  topic = {situation-theory;nonwellfounded-sets;}
  }

@incollection{ barwise:1989k,
  author = {K. Jon Barwise},
  title = {Mixed Fixed Points},
  booktitle = {The Situation in Logic},
  publisher = {CSLI Publications},
  year = {1989},
  editor = {K. Jon Barwise},
  pages = {285--287},
  address = {Stanford, California},
  topic = {situation-theory;nonwellfounded-sets;}
  }

@incollection{ barwise:1989l,
  author = {K. Jon Barwise},
  title = {Situated Set Theory},
  booktitle = {The Situation in Logic},
  publisher = {CSLI Publications},
  year = {1989},
  editor = {K. Jon Barwise},
  pages = {289--292},
  address = {Stanford, California},
  topic = {situation-theory;}
  }

@incollection{ barwise:1989m,
  author = {K. Jon Barwise},
  title = {Epilogue: Toward a Mathematical Theory of Meaning},
  booktitle = {The Situation in Logic},
  publisher = {CSLI Publications},
  year = {1989},
  editor = {K. Jon Barwise},
  pages = {293--297},
  address = {Stanford, California},
  topic = {situation-theory;philosophy-of-logic;philosophy-of-mathematics;}
  }

@article{ barwise:1997a,
  author = {Jon Barwise},
  title = {Guest Editorial: The New Sciences},
  journal = {Journal of Logic, Language, and Information},
  year = {1997},
  volume = {6},
  number = {3},
  pages = {217},
  topic = {cognitive-science;}
  }

@article{ barwise-cooper_r:1981a,
  author = {K. Jon Barwise and Robin Cooper},
  title = {Generalized Quantifiers and Natural Language},
  journal = {Linguistics and Philosophy},
  year = {1981},
  volume = {4},
  number = {1},
  pages = {159--219},
  topic = {generalized-quantifiers;nl-quantifiers;nl-semantics;}
  }

@book{ barwise-etal:1990a,
  editor = {K. Jon Barwise and Jean Mark Gawron and Gordon Plotkin
  	and Syun Tutiya},
  title = {Situation Theory and Its Applications, Volume 1},
  publisher = {Center for the Study of Language and Information
   	({CSLI})},
  year = {1990},
  address = {Stanford, California},
  ISBN = {0937073555 (v. 1)},
  rtnote = {UMich RESEARCH COLLECTIONS Call No: BC5 .S57 1990},
  topic = {situation-theory;}
 }

@book{ barwise-etal:1991a,
  editor = {K. Jon Barwise and Jean Mark Gawron and Gordon Plotkin
  	and Syun Tutiya},
  title = {Situation Theory and Its Applications, Volume 2},
  publisher = {Center for the Study of Language and Information
   	({CSLI})},
  year = {1991},
  address = {Stanford, California},
  ISBN = {0937073555 (v. 2)},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {situation-theory;}
 }

@book{ barwise-etchemendy:1987a,
  author = {Jon Barwise and John Etchemendy},
  title = {The Liar},
  publisher = {Oxford University Press},
  year = {1987},
  address = {Oxford},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {semantic-paradoxes;propositional-attitudes;}
 }

@incollection{ barwise-etchemendy:1989a,
  author = {Jon Barwise and John Etchemendy},
  title = {Model-Theoretic Semantics},
  booktitle = {Foundations of Cognitive Science},
  publisher = {The {MIT} Press},
  year = {1989},
  editor = {Michael I. Posner},
  chapter = {6},
  missinginfo = {pages},
  address = {Cambridge, Massachusetts},
  topic = {nl-semantics;situation-semantics;situation-theory;
  	theories-of-information;}
  }

@book{ barwise-etchemendy:1990a,
  author = {Jon Barwise and John Etchemendy},
  title = {The Language of First-Order Logic},
  publisher = {CSLI Publications},
  year = {1990},
  address = {Stanford, California},
  topic = {logic-intro;logic-courseware;kr-course;micro-formalization;}
 }

@unpublished{ barwise-etchemendy:1991a,
  author = {Jon Barwise and John Etchemendy},
  title = {Hyperproof: The Beta Manual},
  year = {1991},
  note = {Unpublished manuscript, CSLI, Stanford University,
		Stanford, California.},
  rtnote = {In RHT collection.},
  topic = {logic-intro;logic-courseware;}
  }

@book{ barwise-etchemendy:1995a,
  author = {K. Jon Barwise and John Etchemendy},
  title = {Hyperproof},
  publisher = {Cambridge University Press},
  year = {1995},
  address = {Cambridge, England},
  topic = {logic-intro;human-theorem-proving;}
 }

@book{ barwise-etchemendy:1995b,
  author = {K. Jon Barwise and John Etchemendy},
  title = {Turing's World 3.0 (Windows Version)},
  publisher = {Cambridge University Press},
  year = {1995},
  address = {Cambridge, England},
  topic = {mathematics-intro;computability;}
 }

@incollection{ barwise-etchemendy:1995c,
  author = {Jon Barwise and John Etchemendy},
  title = {Heterogeneous Logic},
  booktitle = {Diagrammatic Reasoning},
  publisher = {The {MIT} Press},
  year = {1995},
  editor =  {Janice Glasgow and N. Hari Narayanan and B.
		Chandrasekaran},
  pages = {211--234},
  address = {Cambridge, Massachusetts},
  topic = {diagrams;foundations-of-logic;reasoning-with-diagrams;}
  }

@inproceedings{ barwise-etchemendy:1998a,
  author = {Jon Barwise and Jon Etchemendy},
  title = {A Computational Architecture for Heterogeneous
		Reasoning},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Seventh Conference ({TARK} 1998)},
  year = {1998},
  editor = {Itzhak Gilboa},
  pages = {1--14},
  publisher = {Morgan Kaufmann},
  address = {San Francisco, California},
  topic = {diagrams;reasoning-with-diagrams;logic-courseware;}
  }

@book{ barwise-etchemendy:1999a,
  author = {Jon Barwise and John Etchemendy},
  title = {Language, Proof, and Logic},
  publisher = {{CSLI} Publications},
  year = {1999},
  address = {Stanford, California},
  xref = {Review: grim:1999a.},
  xref = {Accompanied by software and manual: allein-etal:1999a.},
  topic = {logic-intro;logic-courseware;kr-course;}
 }

@book{ barwise-feferman_s:1985a,
  editor = {Jon Barwise and Solomon Feferman},
  title = {Model-Theoretic Logics},
  publisher = {Springer-Verlag},
  year = {1985},
  address = {Berlin},
  ISBN = {1575860090},
  rtnote = {UMich Science, QA 248 .B3761 1996},
  topic = {model-theory;}
 }

@book{ barwise-moss_ls:1996a,
  author = {Jon Barwise and Lawrence Moss},
  title = {Vicious Circles: On the Mathematics of Non-Wellfounded
    Phenomena},
  publisher = {CSLI Publications},
  year = {1996},
  address = {Stanford, California},
  ISBN = {1575860090 (alk. paper)},
  rtnote = {UMich Science, QA 248 .B3761 1996.},
  topic = {nonwellfounded-sets;}
 }

@article{ barwise-moss_ls:1998a,
  author = {Jon Barwise and Lawrence Moss},
  title = {Modal Correspondence for Models},
  journal = {Journal of Philosophical Logic},
  year = {1998},
  volume = {27},
  number = {3},
  pages = {275--294},
  topic = {modal-logic;modal-correspondence-theory;}
  }

@book{ barwise-perry_j:1983a,
  author = {Jon Barwise and John Perry},
  title = {Situations and Attitudes},
  publisher = {The {MIT} Press},
  year = {1983},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {situation-theory;}
 }

@techreport{ barwise-perry_j:1984a,
  author = {Jon Barwise and John Perry},
  title = {Shifting Situations and Shaken Attitudes},
  institution = {Center for the Study of Language and Information,
  	Stanford University},
  number = {CSLI--84--13},
  year = {1984},
  address = {Stanford, California},
  rtnote = {In RHT collection.},
  topic = {propositional-attitudes;situation-theory;}
  }

@article{ barwise-perry_j:1985b,
  author = {Jon Barwise and John Perry},
  title = {Shifting Situations and Shaken Attitudes},
  journal = {Linguistics and Philosophy},
  year = {1985},
  volume = {8},
  number = {1},
  pages = {105--161},
  topic = {situation-semantics;}
  }

@book{ barwise-sag:1980a,
  editor = {K. Jon Barwise and Ivan Sag},
  title = {Stanford Working Papers in Semantics, Volume 1},
  publisher = {Stanford Cognitive Science Group},
  year = {1980},
  address = {Stanford, California},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {nl-semantics;}
 }

@incollection{ barwise-seligman_j:1994a,
  author = {Jon Barwise and Jerry Seligman},
  title = {The Rights and Wrongs of Natural Regularity},
  booktitle = {Philosophical Perspectives, Volume 8:
  	Logic and Language},
  publisher = {Blackwell Publishers},
  year = {1994},
  editor = {James E. Tomberlin},
  pages = {331--364},
  address = {Oxford},
  rtnote = {This is worth reading re foundations of NM logic
  	and applications thereof to philosophy.},
  rtnote = {In RHT collection.  Zip Drive.  bar-sel.pdf},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {philosophy-of-mind;intentionality;natural-laws;
  	natural-regularities;information-flow-theory;conditionals;
		theories-of-information;}
  }

@book{ barwise-seligman_j:1997a,
  author = {Jon Barwise and Jerry Seligman},
  title = {Information Flow: The Logic of Distributed Systems},
  publisher = {Cambridge University Press},
  year = {1997},
  address = {Cambridge, England},
  xref = {Reviews: vanbenthen-israel_dj:1999a, derijke:1999b.},
  topic = {information-flow-theory;distributed-systems;
  	theories-of-information;}
 }

@article{ barwise-shimojima:1995a,
  author = {Jon Barwise and Atsushi Shimojima},
  title = {Surrogate Reasoning},
  journal = {Cognitive Studies: Journal of {J}apanese
  		Cognitive Science Society},
  year = {1995},
  volume = {4},
  number = {2},
  pages = {7--27},
  topic = {reasoning-with-diagrams;}
  }

@incollection{ barzilay-etal:1998a,
  author = {Regina Barzilay and Daryl McCullough and Owen Rambow
	and Jonathan DeChristofaro and Tanya Korelsky and Benoit
	Lavoie},
  title = {A New Approach to Expert System Explanations},
  booktitle = {Proceedings of the Ninth International Workshop
  	on Natural Language Generation},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Eduard Hovy},
  pages = {78--87},
  address = {New Brunswick, New Jersey},
  topic = {nl-generation;explanation;expert-systems;}
  }

@inproceedings{ barzilay-lapata:2005a,
  author = {Regina Barzilay and Mirella Lapata},
  title = {Modeling Local Coherence: An Entity-Based Approach},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {141--148},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1018},
  topic = {discourse-coherence;}
  }

@incollection{ barzilay-lee_l:2003a,
  author = {Regina Barzilay and Lillian Lee},
  title = {Learning to Paraphrase: An Unsupervised Approach
  	Using Multiple-Sequence Alignment},
  booktitle = {Human Language Technology Conference of the {N}orth
  	{A}merican {C}hapter of the
  	{A}ssociation for {C}omputational {L}inguistics},
  publisher = {Association for Computational Linguistics},
  year = {2003},
  editor = {Marti Hearst and Mari Ostendorf},
  pages = {16--23},
  address = {East Stroudsberg, Pennsylvania},
  rtnote = {In RHT collection.},
  topic = {paraphrasing;machine-learning;}
  }

@article{ barzilay-mckeown:2005a,
  author = {Regina Barzilay and Kathleen R. Mckeown},
  title = {Sentence Fusion for Multidocument News Summarization},
  journal = {Computational Linguistics},
  year = {2005},
  volume = {31},
  number = {3},
  pages = {297--327},
  topic = {text-summary;text-integration;}
  }

@article{ basili:2003a,
  author = {Roberto Basili},
  title = {Review of \emph{{L}earning to Classify Text Using Support
  	Vector Machines: Methods, Theory, and Algorithms}, by
	{T}horsten {J}oachims},
  journal = {Computational Linguistics},
  year = {2003},
  volume = {29},
  number = {4},
  pages = {655--661},
  xref = {Review of: joachims:2002a},
  topic = {document-classification;statistical-nlp;machine-learning;}
  }

@article{ basili-etal:1996a,
  author = {Roberto Basili and Maria Teresa Pazienza and Paolo Velardi},
  title = {An Empirical Symbolic Approach to Natural Language Processing},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {85},
  number = {1--2},
  pages = {59--99},
  topic = {probabilistic-parsing;knowledge-representation;nl-processing;}
  }

@incollection{ basili-etal:1996b,
  author = {Roberto Basili and A. Marziali and Maria T. Pazienza and
  	P. Velardi},
  title = {Modeling Conversational Speech for Speech Recognition},
  booktitle = {Proceedings of the Conference on Empirical
		Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1996},
  editor = {Eric Brill and Kenneth Church},
  pages = {23--32},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;}
  }

@incollection{ basili-etal:1997a,
  author = {Roberto Basili and Gianluca de Rossi and Maria Teresa
				Pazienza},
  title = {Inducing Terminology for Lexical Acquisition},
  booktitle = {Proceedings of the Second Conference on Empirical
		Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Claire Cardie and Ralph Weischedel},
  pages = {125--133},
  address = {Somerset, New Jersey},
  topic = {empirical-methods-in-nlp;dictionary-construction;
		word-acquisition;machine-learning;}
  }

@article{ basili-etal:1997b,
  author = {Roberto Basili and M. DellaRocca and Maria Teresa Pazienza},
  title = {Contextual Word Sense Tuning and Disambiguation},
  journal = {Applied Artificial Intelligence},
  year = {1997},
  volume = {11},
  number = {3},
  pages = {235--262},
  topic = {wordnet;lexical-disambiguation;}
  }

@incollection{ basili-etal:1998a,
  author = {Roberto Basili and Alessandro Cucchiarelli and Carlo
		Consoli and Maria Teresa Pazienza and Paola Velardi},
  title = {Automatic Adaptation of {W}ord{N}et to Sublanguages
		 and to Computational Tasks},
  booktitle = {Use of {W}ord{N}et in Natural Language Processing
  	Systems:  Proceedings of the Conference},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Sanda Harabagiu},
  pages = {80--86},
  address = {Somerset, New Jersey},
  topic = {nl-processing;WordNet;sublanguages;}
  }

@article{ basilico:2003a,
  author = {David Basilico},
  title = {The Topic of Small Clauses},
  journal = {Linguistic Inquiry},
  year = {2003},
  volume = {34},
  number = {1},
  pages = {1--36},
  topic = {small-clauses;s-topic;}
  }

@incollection{ basin:1994a,
  author = {David A. Basin},
  title = {Logic Frameworks for Logic Programs},
  booktitle = {Logic Programming Synthesis and Transformation,
  	Meta-Programming in Logic: Fourth International Workshops,
	{LOBSTR}'94 and	{META}'94, Pisa, Italy},
  publisher = {Springer-Verlag},
  year = {1994},
  editor = {Laurent Fribourg and Franco Turini},
  pages = {1--16},
  address = {Berlin},
  topic = {logic-programming;}
  }

@incollection{ basin-etal:1996a,
  author = {David A. Basin and Se\'an Matthews and Luca Vigan\`a},
  title = {Implementing Modal and Relevance Logics in a Logical
  	Framework},
  booktitle = {{KR}'96: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro},
  pages = {386--397},
  address = {San Francisco, California},
  topic = {theorem-proving;}
  }

@book{ basin-etal:1996b,
  author = {David Basin and Se\'an Matthews and Luca Vigan},
  title = {Labelled Propositional Modal Logics: Theory and Practice},
  publisher = {Max-Planck-Institut f\"ur Informatik},
  year = {1996},
  address = {Saarbr\"ucken},
  acontentnote = {Abstract:
    We show how labelled deductive systems can be
    combined  with a logical framework to provide a natural deduction
    implementation of a large and well-known class of propositional
    modal logics (including K, D,  T, B, S4, S4.2, K D45, S5).  Our
    approach is modular and based on a separation between a base logic
    and a labelling algebra, which interact through a fixed interface.
    While the base logic stays fixed, different modal logics are
    generated by plugging in appropriate algebras.  This leads  to a
    hierarchical structuring of modal logics with inheritance of
    theorems.  Moreover, it allows modular correctness proofs, both with
    respect to soundness and completeness for semantics, and
    faithfulness and adequacy of the implementation.  We also
    investigate the tradeoffs in possible labelled presentations:  We
    show that a narrow interface between the base logic and the
    labelling algebra supports modularity and provides an attractive
    proof-theory (in comparison to, e.g., semantic embedding) but
    limits the degree to which we can make use of extensions to the
    labelling algebra.  },
  topic = {labeled-deductive-systems;}
 }

@article{ basin-etal:1998a,
  author = {David Basin and Se\'an Matthews and Luca Vigano},
  title = {Labelled Modal Logics: Quantifiers},
  journal = {Journal of Logic, Language, and Information},
  year = {1998},
  volume = {7},
  number = {3},
  pages = {237--263},
  topic = {modal-logic;labeled-deductive-systems;
  	quantifying-in-modality;first-order-modal-logic;}
  }

@article{ basri-rivlin:1995a,
  author = {Ronen Basri and Ehud Rivlin},
  title = {Localization and Homing Using Combinations of Model
  	Views},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {78},
  number = {1--2},
  pages = {327--354},
  acontentnote = {Abstract:
     Navigation involves recognizing the environment, identifying the
     current position within the environment, and reaching particular
     positions. We present a method for localization (the act of
     recognizing the environment), positioning (the act of computing
     the exact coordinates of a robot in the environment), and homing
     (the act of returning to a previously visited position) from
     visual input.  The method is based on representing the scene as
     a set of 2D views and predicting the appearances of novel views
     by linear combinations of the model views. The method accurately
     approximates the appearance of scenes under weak-perspective
     projection. Analysis of this projection as well as experimental
     results demonstrate that in many cases this approximation is
     sufficient to accurately describe the scene.  When
     weak-perspective approximation is invalid, either a larger
     number of models can be acquired or an iterative solution to
     account for the perspective distortions can be employed.
       The method has several advantages over other approaches. It uses
     relatively rich representations; the representations are 2D
     rather than 3D; and localization can be done from only a single
     2D view without calibration.  The same principal method is
     applied for both the localization and positioning problems, and
     a simple ``qualitative'' algorithm for homing is derived from this
     method.},
  topic = {robot-navigation;spatial-reasoning;reasoning-about-perspective;}
  }

@book{ bass-coutaz:1991a,
  author = {Len Bass and Jo\"elle Coutaz},
  title = {A Discipline For Software Engineering},
  publisher = {Addison-Wesley},
  year = {1995},
  address = {Reading, Massachusetts},
  ISBN = {0201546108},
  rtnote = {UMich Media Union Library, QA 76.758 .H8571 1995.},
  topic = {software-engineering;}
 }

@article{ bassac-etal:2010a,
  author = {Christian Bassac and Bruno Mery and Christian Retor\'e},
  title = {Towards a Type-Theoretical Account of Lexical Semantics},
  journal = {Journal of Logic, Language, and Information},
  year = {2010},
  volume = {19},
  number = {2},
  pages = {229--345},
  topic = {categorial-grammar;lexical-semantics;}
  }

@book{ basso-selby:1976a,
  editor = {K.H. Basso and H.A. Selby},
  title = {Meaning in Anthropology},
  publisher = {University of New Mexico Press},
  year = {1976},
  address = {Alburqueque},
  missinginfo = {A's 1st name.},
  topic = {meaning-and-culture;}
 }

@incollection{ bastien-cordier:1998a,
  author = {V\'eronique Bastien and Denis Cordier},
  title = {Methods and Tricks Used in an Attempt to Pass the {T}uring
  		Test},
  booktitle = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {David M.W. Powers},
  pages = {275--277},
  address = {Somerset, New Jersey},
  topic = {Turing-test;}
  }

@incollection{ basu:1995a,
  author = {Kalyan Shankar Basu},
  title = {Android Epistemology: An Essay on Interpretation and
  		Intentionality},
  booktitle = {Android Epistemology},
  publisher = {Cambridge University Press},
  year = {1995},
  editor = {Kenneth M. Ford and Clark Glymour and Patrick J. Hayes},
  pages = {123--140},
  address = {Cambridge, England},
  topic = {philosophy-AI;intentionality;}
  }

@article{ basye-etal:1995a,
  author = {Kenneth Basye and Thomas Dean and Leslie Pack Kaelbling},
  title = {Learning Dynamics: System Identification for
  	Perceptually Challenged Agents},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {72},
  number = {1--2},
  pages = {139--171},
  acontentnote = {Abstract:
     From the perspective of an agent, the input/output behavior of
     the environment in which it is embedded can be described as a
     dynamical system.  Inputs correspond to the actions executable
     by the agent in making transitions between states of the
     environment.  Outputs correspond to the perceptual information
     available to the agent in particular states of the environment.
     We view dynamical system identification as inference of
     deterministic finite-state automata from sequences of
     input/output pairs.  The agent can influence the sequence of
     input/output pairs it is presented by pursuing a strategy for
     exploring the environment. We identify two sorts of perceptual
     errors: errors in perceiving the output of a state and errors in
     perceiving the inputs actually carried out in making a
     transition from one state to another. We present efficient,
     high-probability learning algorithms for a number of system
     identification problems involving such errors. We also present
     the results of empirical investigations applying these
     algorithms to learning spatial representations.},
  topic = {machine-learning;spatial-representation;
  	agent-environment-interaction;}
  }

@article{ batali:1995a,
  author = {John Batali},
  title = {Review of \emph{{T}he Rediscovery of the Mind}, by John R.
  	Searle},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {77},
  number = {1},
  pages = {177--193},
  xref = {Review of searle:1992a.},
  topic = {philosophy-of-mind;philosophy-of-AI;}
  }

@incollection{ bateman_j-etal:1997a,
  author = {Jeremy Bateman and Jean Forrest and Tim Willis},
  title = {The Use of Syntactic Annotation Tools: Partial and Full
		Parsing},
  booktitle = {Corpus Annotation},
  publisher = {Longman},
  year = {1997},
  editor = {Roger Garside and Geoffrey Leech and Tony McEnery},
  pages = {166--178},
  address = {London},
  topic = {corpus-linguistics;corpus-annotation;}
  }

@incollection{ bateman_ja:1991a,
  author = {John A. Bateman},
  title = {Uncovering Textual Meanings: A Case Study
     		Involving Systemic-Functional Resources for the
		Generation of {J}apanese Texts},
  booktitle = {Natural Language Generation in Artificial Intelligence and
  	Computational Linguistics},
  publisher = {Kluwer Academic Publishers},
  address = {Dordrecht},
  year = {1991},
  editor = {C\'{e}cile L. Paris and William R. Swartout
  	and William C. Mann},
  pages = {125--153},
  topic = {functional-grammar;nl-generation;Japanese-language;}
  }

@inproceedings{ bateman_ja:1997a,
  author = {John A. Bateman},
  title = {The Theoretical Status of Ontologies in Natural Language
  	Processing},
  booktitle = {Proceedings of the workshop on Text Representation
  	and Domain Modelling---Ideas from Linguistics and {AI}},
  year = {1997},
  editor = {Susanne Preusz and Birte Schmitz},
  organization = {Technical University Berlin},
  publisher = {Technical University Berlin},
  address = {Berlin},
  topic = {computational-ontology;}
  }

@inproceedings{ bateman_ja-etal:1994a,
  author = {John A. Bateman and Bernardo Magnini and F. Rinaldi},
  title = {The Generalized {I}talian, {G}erman, {E}nglish Upper Model},
  booktitle = {{ECAI}94, Ninth European Conference on
  	Artificial Intelligence},
  year = {1994},
  missinginfo = {A's 1st name, editor, publisher, address, pages},
  topic = {computational-semantics;computational-ontology;}
  }

@incollection{ bateman_ja-etal:1998a,
  author = {John A. Bateman and Thomas Kamps and J\"org Kleinz and
		Klaus Reichenberger},
  title = {Communicative Goal-Driven {NL} Generation and Data-Driven
  	Graphics Generation: An Architectural Synthesis for
	Multimedia Page Generation},
  booktitle = {Proceedings of the Ninth International Workshop
  	on Natural Language Generation},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Eduard Hovy},
  pages = {8--17},
  address = {New Brunswick, New Jersey},
  topic = {nl-generation;graphics-generation;multimedia-generation;}
  }

@article{ bateman_ja-etal:2001a,
  author = {John A. Bateman and Thomas Kamps and J\"org Kleinz and Klaus
  	Reichenberger},
  title = {Towards Constructive Text, Diagram, and Layout Generation
  	for Information Presentation},
  journal = {Computational Linguistics},
  year = {2001},
  volume = {27},
  number = {3},
  pages = {409--449},
  topic = {diagram-generation;document-design;}
  }

@techreport{ bateman_ja-rondhuis:1994a,
  author = {John A. Bateman and Klaas Jon Rondhuis},
  title = {Coherence Relations: Analysis and Specification},
  institution = {Dandelion Consortium, CEC},
  year = {1994},
  note = {Deliverable R.1.1.2},
  topic = {punctuation;}
}

@article{ batens:2001a,
  author = {Diderik Batens},
  title = {A Dynamic Characterization of the Pure Logic of Relevant
  	Implication},
  journal = {Journal of Philosophical Logic},
  year = {2001},
  volume = {30},
  number = {3},
  pages = {267--280},
  topic = {relevance-logic;dynamic-logic;}
  }

@article{ batens-meheus:2000a,
  author = {Diderick Batens and Joke Meheus},
  title = {The Adaptive Logic of Compatibility},
  journal = {Studia Logica},
  year = {2000},
  volume = {66},
  number = {3},
  pages = {327--348},
  topic = {belief-revision;modal-logic;adaptive-logic;}
  }

@inproceedings{ bates_j-etal:1994a,
  author = {Joseph Bates and A. Bryan Loyall and W. Scott Reilly},
  title = {An Architecture for Action, Emotion, and Social Behavior},
   booktitle = {Artificial Social Systems Selected Papers from the
   	Fourth {E}uropean Workshop on Modelling Autonomous Agents in a
	Multi-Agent World, {MAAMAW}-92 ({LNAI} Volume 830)},
  publisher = {Springer-Verlag},
  address = {Berlin},
  editor = {C. Castelfranchi and E. Wemer},
  pages = {55--68},
  year = {1994},
  url = {citeseer.ist.psu.edu/bates94architecture.html},
  rtnote = {In RHT collection.},
  topic = {emotion;interactive-fiction;}
  }

@article{ bates_j1:1992a,
  author = {Joseph Bates},
  title = {Virtual Reality, Art and Entertainment},
  journal = {PRESENCE: Teleoperators and Virtual Environments},
  year = {1992},
  volume = {1},
  number = {1},
  pages = {133--138},
  topic = {virtual-reality;}
  }

@article{ bates_j1-etal:1991a,
  author = {Joseph Bates and A. Bryan Loyall and W. Scott Reilly},
  title = {Broad Agents},
  journal = {Sigart Bulletin},
  year = {1991},
  volume = {2},
  number = {4},
  pages = {38--40},
  url = {citeseer.ist.psu.edu/bates91broad.html},
  rtnote = {In RHT collection.},
  topic = {philosophy-AI;interactive-fiction;}
  }

@article{ bates_j2:1994a,
  author = {Joseph Bates},
  title = {The Role of Emotion in Believable Agents},
  journal = {Communications of the {ACM}},
  year = {1994},
  volume = {37},
  number = {7},
  pages = {122--125},
  topic = {emotion;interactive-fiction;}
  }

@incollection{ bates_m-etal:1993b,
  author = {Madeline Bates and Robert Bobrow and Ralph Weischedel},
  title = {Critical Challenges for Natural Language Processing.},
  booktitle = {Challenges in Natural Language Processing},
  publisher = {Cambridge University Press},
  year = {1993},
  editor = {Madeleine Bates and Ralph Weischedel},
  pages = {3--34},
  address = {Cambridge, England},
  contentnote = {Thesis is that NLP hasn't had big impact on tech because
  	some critical issues haven't been addressed.},
  topic = {nl-processing;}
  }

@book{ bates_m-weischedel:1993a,
  editor = {Madeleine Bates and Ralph M. Weischedel},
  title = {Challenges in Natural Language Processing},
  publisher = {Cambridge University Press},
  year = {1993},
  address = {Cambridge, England},
  contentnote = {TC: Bates etal, Critical Challenges for Natural
  			Language Processing.
		  Atkins, The Contribution of Lexicography.
		  Levin, The Contribution of Linguistics.
		  Boguraev, The Contribution of Computational Lexicography.
		  Moore, Events, Situations, and Adverbs.
		  Allen, Natural Language, Knowledge Representation, and
		  	Logical Form.
		  Passonneau, Getting and Keeping the Center of Attention
		  Steedman, Surface Structure, Intonation, and Discourse
		  	Meaning.
		  Pierrehumbert, Prosody, Intonation, and Speech Technology.
		  Bates-Weischedel, The Future of Computational Linguistics.
			},
  ISBN = {0521410150 (hardback)},
  rtnote = {UMich Graduate Library, P 98 .C451 1993.},
  topic = {nl-processing;pragmatics;}
 }

@book{ batori-etal:1989a,
  editor = {Istv\'an Batori and Winfried Lenders and Wolfgang Putscke},
  title = {Computational Linguistics},
  publisher = {Walter de Gruyter},
  year = {1989},
  address = {Berlin},
  rtnote = {This book is written partly in German.},
  topic = {nlp-survey;}
 }

@incollection{ batsell-etal:2002a,
  author = {Randy Batsell and Lyle Brenner and Daniel Osherson and
  	Moshe Y. Vardi and Spyros Tsavachidis},
  title = {Eliminating Incoherence from Subjective Estimates of Chance},
  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 = {353--364},
  address = {San Francisco, California},
  topic = {kr;probabilistic-reasoning;probability-judgments;}
  }

@book{ battistella:1996a,
  author = {Edwin L. Battistella},
  title = {The Logic of Markedness},
  publisher = {Oxford University Press},
  year = {1996},
  address = {Oxford},
  topic = {markedness;}
 }

@article{ baudet:1978a,
  author = {G\'erard M. Baudet},
  title = {On the Branching Factor of the Alpha-Beta Pruning
  	Algorithm},
  journal = {Artificial Intelligence},
  year = {1978},
  volume = {10},
  number = {2},
  pages = {173--199},
  topic = {search;}
  }

@book{ bauer_l:1983a,
  author = {Laurie Bauer},
  title = {English Word-Formation},
  publisher = {Cambridge University Press},
  year = {1983},
  address = {Cambridge, England},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  ISBN = {0521241677,  0521284929 (pbk.)},
  rtnote = {UMich Undergraduate Pe1175 .B381 1983},
  topic = {derivational-morphology;English-language;}
 }

@book{ bauer_l:1988a,
  author = {Laurie Bauer},
  title = {Introducing Linguistic Morphology},
  publisher = {Edinburgh University Press},
  year = {1988},
  address = {Edinburgh},
  ISBN = {0852245610},
  rtnote = {UMich Graduate Library, P 241 .B34 1988.},
  topic = {morphology;}
 }

@article{ bauer_l-boagey:1977a,
  author = {Laurie Bauer and Winifred Boagley},
  title = {On `The Grammar of Case'},
  journal = {Linguistics and Philosophy},
  year = {1977},
  volume = {1},
  number = {1},
  pages = {119--152},
  topic = {case-grammar;thematic-roles;}
  }

@article{ bauer_ma:1979a,
  author = {Michael A. Bauer},
  title = {Programming by Examples},
  journal = {Artificial Intelligence},
  year = {1979},
  volume = {12},
  number = {1},
  pages = {1--21},
  acontentnote = {Abstract:
     In this paper, examples of how an algorithm behaves on
     particular input are considered as possible means of describing
     the algorithm. In particular, a simple language for examples (a
     Computational Description Language) is presented and an
     algorithm for the synthesis of a procedure from a set of such
     example computations is described. The algorithm makes use of
     knowledge about variables, inputs, instructions and procedures
     during the synthesis process to guide the formation of a
     procedure.  Several examples of procedures actually synthesized
     are discussed.
  },
  topic = {automatic-programming;}
  }

@inproceedings{ bauer_t-leake:2001a,
  author = {Travis Bauer and David B. Leake},
  title = {{W}ord{S}eive: A Method for Real-Time Context Extraction},
  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 = {30--44},
  address = {Berlin},
  topic = {context;document-classification;statistical-nlp;}
  }

@incollection{ bauer_v-wegener:1977a,
  author = {Volker Bauer and Michael Wegener},
  title = {A Community Information Feedback System with
  	Multiattribute Utilities},
  booktitle = {Conflicting Objectives in Decisions},
  publisher = {John Wiley and Sons},
  year = {1977},
  editor = {David E. Bell and Ralph L. Keeney and Howard Raiffa},
  pages = {323--357},
  address = {New York},
  rtnote = {An applied paper.},
  topic = {decision-analysis;multiattribute-utility;}
  }

@incollection{ bauerle:1979a,
  author = {Rainer B\"auerle},
  title = {Questions and Answers},
  booktitle = {Semantics from Different Points of View},
  year = {1979},
  editor = {Rainer B\"auerle and Urs Egli and Arnim {von Stechow}},
  publisher = {Springer-Verlag},
  address = {Berlin},
  pages = {61--74},
  topic = {nl-semantics;interrogatives;}
  }

@book{ bauerle-etal:1979a,
  editor = {Rainer B\"auerle and Urs Egli and Arnim {von Stechow}},
  title = {Semantics from Different Points of View},
  publisher = {Springer-Verlag},
  year = {1979},
  address = {Berlin},
  contentnote = {TC:
  	1. Barbara Partee, "Semantics---Mathematics or Psychology?"
  	2. Dov Gabbay and Christian Rohrer, "Do We Really Need Tenses
		Other Than Future and Past?"
  	3. Thomas T. Ballmer, "Context Change, Truth, and Competence"
  	4. Manfred Pinkal, "How to Refer with Vague Descriptions"
  	5. Irene Heim, "Concealed Questions"
  	6. Rainer B\"auerle, "Questions and Answers"
  	7. Joachim Ballweg and Helmuth Frosch, "Comparison and
		Gradual Change"
  	8. Max J. Cresswell, "Interval Semantics for Some Event
		Expressions"
  	9. Angelika Kratzer, "Conditional Necessity and Possibility"
       10. Ekkehard K\"onig, "A Semantic Analysis of German `Erst'\,"
       11. Dieter Wunderlich, "Meaning and Context-Dependence"
       12. David Lewis, "Scorekeeping in a Language Game"
       13. Asa Kasher, "On Pragmatic Demarcation of a Language"
       14. Friedrich Kambertel, "Constructive Pragmatics and Semantics"
       15. Hans J. Schneider, "Explanation and Understanding in the Theory
       		of Language"
       16. Klaus-J\"urgen Engelberg, "A New Approach to Formal Syntax"
       17. Arnim von Stechow, "Visiting {G}erman Relatives"
       18. Urs Egli, "The {S}toic Concept of Anaphora"
       19. Karlheinz H\"ulser, "Expression and Content in {S}toic
       		Linguistic Theory"
       20. Christoph Schwarze, "Reparer--Reparieren.  A Contrastive
       		Study"
       21. Christa Hauenschild and Edgar Huckert and Robert Maier,
       		"{SALAT}: Machine Translation Via Semantic Representation"
       22. Rudolf Cohen and Stephanie Kelter and Gerhild Woll,
       		"Conceptual Impairment in Aphasia"
       23. Claus Heeschen, "On the Representation of Classificatory
       		and Propositional Lexical Relations in the Human Brain"
       24. Hans Kamp, "Events, Instants, and Temporal Reference"
  },
  topic = {nl-semantics;}
 }

@book{ bauerle-etal:1983a,
  editor = {Rainer B\"auerle and Christoph Schwarze and Arnim von
  	Stechow},
  title = {Meaning, Use, and Interpretation of Language},
  publisher = {Walter de Gruyter},
  year = {1983},
  address = {Berlin},
  ISBN = {3110089017},
  rtnote = {UMich Graduate Library, P23 .M361 1983.},
  topic = {nl-semantics;pragmatics;}
 }

@book{ baum:2005a,
  author = {Eric B. Baum},
  title = {What is Thought?},
  publisher = {The {MIT} Press},
  year = {2005},
  address = {Cambridge, Massachusetts},
  ISBN = {9780-262-52457-5 (pbk)},
  contentnote = {Argues for a computational theory of mind},
  topic = {philosophy-of-mind;foundaitons-of-cognition;}
 }

@article{ baum-smith_wd:1997a,
  author = {Eric B. Baum and Warren D. Smith},
  title = {A {B}ayesian Approach to Relevance in Game Playing},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {97},
  number = {1--2},
  pages = {195--242},
  topic = {relevance;game-playing;}
  }

@book{ bauman-sherzer:1974a,
  editor = {R. Bauman and J. Sherzer},
  title = {Explorations in the Ethnography of Speaking},
  publisher = {Cambridge University Press},
  year = {1974},
  address = {Cambridge, England},
  missinginfo = {A's 1st name.},
  topic = {conversation-analysis;}
 }

@article{ baumgartner-etal:1997a,
  author = {Peter Baumgartner and Ulrich Furbach and Frieder
  	Stolzenburg},
  title = {Computing Answers with Model Elimination},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {90},
  number = {1--2},
  pages = {135--176},
  topic = {theorem-proving;}
  }

@incollection{ baumgartner-furbach:1998a,
  author = {Peter Baumgartner and Ulrich Furbach},
  title = {Variants of Clausal Tableaux},
  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, pages},
  topic = {theorem-proving;applied-logic;proof-theory;}
  }

@article{ baumgartner-kuhn_m:2000a,
  author = {Peter Baumgartner and Michael {K\"uhn}},
  title = {Abducing Coreference by Model Construction},
  journal = {Journal of Language and Computation},
  year = {2000},
  volume = {2},
  number = {1},
  pages = {175--190},
  xref = {Also available at
  	http://www.uni-koblenz.de/\user{}kuehn/Publications/paper-icos1.pdf},
  rtnote = {In RHT collection.},
  topic = {model-checking;abduction;anaphora;}
  }

@incollection{ baumgartner-peterman:1998a,
  author = {Peter Baumgartner and U. Peterman},
  title = {Theory Reasoning},
  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, pages},
  topic = {theorem-proving;applied-logic;}
  }

@article{ baumgartner-tinelli:2008a,
  author = {Peter Baumgartner and Cesare Tinelli},
  title = {The Model Evolution Calculus as a First-Order {DPLL} Method},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {4--5},
  pages = {591--632},
  topic = {model-checking;}
  }

@article{ baumrin:1965a,
  author = {Bernard M. Baumrin},
  title = {Prima Facie Duties},
  journal = {The Journal of Philosophy},
  year = {1965},
  volume = {62},
  number = {20},
  pages = {736--739},
  xref = {Commentary on: shope:1965a.},
  topic = {prima-facie-obligation;}
  }

@article{ bavelas-etal:forthcominga,
  author = {Janet Beavin Bavelas and Nicole Chovil and Linda
  	Coates and Lori Roe},
  title = {Gestures Specialized for Dialogue},
  journal = {Personality and Social Psychology Bulletin},
  year = {to appear},
  topic = {gestures;}
  }

@article{ baxter:2001a,
  author = {David M. Baxter},
  title = {Loose Identity and Becoming Something Else},
  journal = {No\^us},
  year = {2001},
  volume = {35},
  number = {4},
  pages = {592--601},
  topic = {individuation;identity;}
  }

@article{ bayardo-miranker:1994a,
  author = {Roberto J. {Bayardo Jr.} and Daniel P. Miranker},
  title = {An Optimal Backtrack Algorithm for Tree-Structured
  	Constraint Satisfaction Problems},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {71},
  number = {1},
  pages = {159--181},
  acontentnote = {Abstract:
     This paper presents and evaluates an optimal backtrack algorithm
     for solving tree-structured constraint satisfaction problems-a
     subset of constraint satisfaction problems which can be solved
     in linear time.  Previous algorithms which solve these problems
     in linear time perform expensive preprocessing steps before
     attempting solution. The work presented here resolves the open
     problem posed by Dechter (1990) on the development of an
     algorithm which avoids this preprocessing.  We demonstrate
     significant improvements in average-case performance over the
     previous state of the art, and show the benefits provided to
     backtrack enhancement schemes exploiting the easiness of
     tree-structured problems such as the cycle-cutset method
     (Dechter and Pearl, 1987).  },
  topic = {backtracking;constraint-satisfaction;}
  }

@article{ bayart:1966a,
  author = {Arnould Bayart},
  title = {Review of `The Undecidability of Monadic Modal
  	Quantification Theory', by {S}aul {A}. {K}ripke,},
  journal = {Journal of Symbolic Logic},
  year = {1966},
  volume = {31},
  number = {2},
  pages = {277--278},
  xref = {Review of: kripke:1962a.},
  topic = {modal-logic;(un)decidability;}
  }

@inproceedings{ bayer:1996a,
  author = {Samuel Bayer},
  title = {The Size of Events},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VI}},
  publisher = {Cornell University},
  year = {1996},
  editor = {Teresa Galloway and Justin Spence},
  pages = {1--16},
  address = {Ithaca, New York},
  topic = {nl-semantics;event-semantics;}
  }

@incollection{ bayer-etal:1998a,
  author = {Samuel Bayer and John Aberdeen and John Burger and Lynette
		Hirschman and David Palmer and Marc Vilain},
  title = {Theoretical and Computational Linguistics: Toward a Mutual
		Understanding},
  booktitle = {Using Computers in Linguistics: A Practical Guide},
  publisher = {Routledge},
  year = {1998},
  editor = {John Lawler and Aristar Dry},
  pages = {231--255},
  address = {London},
  rtnote = {In RHT collection.},
  topic = {nlp-and-linguistics;}
  }

@article{ baylis:1947b,
  author = {Charles A. Baylis},
  title = {Review of `The Contrary-to-Fact Conditional', by
  	{F}.{L}. Will},
  journal = {Journal of Symbolic Logic},
  year = {1947},
  volume = {13},
  number = {1},
  pages = {57--58},
  xref = {Review of: will:1947a.},
  topic = {conditionals;}
  }

@article{ baylis:1949a,
  author = {Charles Baylis},
  title = {Review of `Subjunctive Conditionals', by
  	{S}tuart {H}ampshire},
  journal = {Journal of Symbolic Logic},
  year = {1949},
  volume = {14},
  number = {3},
  pages = {203},
  xref = {Review of: hampshire:1948a.},
  topic = {conditionals;}
  }

@article{ baylis:1951a,
  author = {Charles A. Baylis},
  title = {Review of `The Analysis of Conditional Sentences',
  	by {D}.{J}. {O}'{C}onner},
  journal = {Journal of Symbolic Logic},
  year = {19},
  volume = {16},
  number = {4},
  pages = {301--302},
  xref = {Review of: oconnor:1951a.},
  topic = {natural-laws;conditionals;}
  }

@article{ baylis:1956a,
  author = {Charles A. Baylis},
  title = {Review of `{L}aw Statements and Counterfactual Inference',
  	by {{R}oderick {M}. {C}hisholm}},
  journal = {Journal of Symbolic Logic},
  year = {1956},
  volume = {21},
  number = {1},
  pages = {86--87},
  xref = {Review of: chisholm:1955a.},
  topic = {natural-laws;conditionals;}
  }

@incollection{ bayne:2007a,
  author = {Tim Bayne},
  title = {Conscious States and Conscious Creatures:
     		Explanation in the Scientific Study of
		Consciousness},
  booktitle = {Philosophy of Mind},
  publisher = {Blackwell Publishers},
  year = {2007},
  editor = {John Hawthorne},
  pages = {1--22},
  address = {Oxford},
  topic = {consciousness;philosophy-of-mind;}
  }

@mastersthesis{ bayraktar:1996a,
  author = {Murat Bayraktar},
  title = {Computer-Aided Analysis of {E}nglish Punctuation on a
		  Parsed Corpus: The Special Case of Comma},
  school = {Department of Computer Engineering and Information
		  Science, Bilkent University, Turkey},
  year = {1996},
  note = {Forthcoming},
  topic = {punctuation;}
}

@article{ bays:2001a,
  author = {Timothy Bays},
  title = {On {P}utnam and His Models},
  journal = {The Journal of Philosophy},
  year = {2001},
  volume = {98},
  number = {7},
  pages = {331--350},
  xref = {Discussion of: putnam_h:1983c.},
  topic = {philosophical-realism;lowenheim-skolem-theorem;}
  }

@article{ bays:2001b,
  author = {Timothy Bays},
  title = {On {T}arski on Models},
  journal = {Journal of Symbolic Logic},
  year = {2001},
  volume = {66},
  number = {4},
  pages = {1701--1726},
  topic = {Tarski;history-of-logic;model-theory;}
  }

@incollection{ bazire-brezillon:2005a,
  author = {Mary Bazire and Patrick Br\'ezillon},
  title = {Understanding Context before Using It},
  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 = {29--40},
  address = {Berlin},
  contentnote = {Studies the use of "context" in a cognitive science
            corpus.},
  topic = {context;cognitive-science;}
  }

@inproceedings{ bazzi-neiger:1992a,
  author = {R. Bazzi and G. Neiger},
  title = {The Complexity and Impossibility of Achieving
  	Fault-Tolerant Coordination},
  booktitle = {Proceedings of the Eleventh {ACM} Symposium on
  	Principles of Distributed Computing},
  year = {1992},
  pages = {203--214},
  organization = {ACM},
  missinginfo = {A's 1st name},
  topic = {communication-protocols;}
  }

@incollection{ beach:1983a,
  author = {Wayne A. Beach},
  title = {Background Understandings and the Situated Accomplishment of
  	Conversational Telling-Expressions},
  booktitle = {Conversational Coherence:  Form, Structure and Strategy},
  publisher = {Sage Publications},
  year = {1983},
  editor = {Robert T. Craig and Karen Tracey},
  pages = {196--221},
  address = {London},
  topic = {coord-in-conversation;discourse-analysis;pragmatics;}
  }

@article{ beal_df:1990a,
  author = {Don F. Beal},
  title = {A Generalised Quiescence Search Algorithm},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {43},
  number = {1},
  pages = {85--98},
  topic = {game-playing;search;}
  }

@book{ beal_jc-vanfraassen:2003a,
  author = {J.C. Beal and Bas C. {Van Fraassen}},
  title = {Possibilities and Paradox: An Introduction to Modal
  		and Many-Valued Logics},
  publisher = {Oxford University Press},
  year = {2003},
  address = {Oxford},
  ISBN = {0-19-925987-9},
  topic = {logic-intro;multivalued-logic;modal-logic;semantic-paradoxes;
  		vagueness;sorites-paradox;}
 }

@incollection{ beale_s-etal:1998a,
  author = {Stephen Beale and Sergei Nirenburg and Evelyne Viegas
		and Leo Wanner},
  title = {De-Constraining Text Generation},
  booktitle = {Proceedings of the Ninth International Workshop
  	on Natural Language Generation},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Eduard Hovy},
  pages = {48--57},
  address = {New Brunswick, New Jersey},
  topic = {nl-generation;nl-generation-algorithms;}
  }

@book{ beale_wh:1987a,
  author = {Walter H. Beale},
  title = {A Pragmatic Theory of Rhetoric},
  publisher = {Southern Illinois University Press},
  year = {1967},
  address = {Carbondale, Illinois},
  ISBN = {0809031300-6},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {pragmatics;rhetoric;}
 }

@article{ bealer:1979a,
  author = {George Bealer},
  title = {Theories of Properties, Relations, and Propositions},
  journal = {The Journal of Philosophy},
  year = {1979},
  volume = {76},
  pages = {634--648},
  topic = {intensionality;property-theory;}
  }

@book{ bealer:1982a,
  author = {George Bealer},
  title = {Quality and Concept},
  publisher = {Oxford University Press},
  year = {1982},
  address = {Oxford},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {intensionality;property-theory;}
 }

@article{ bealer:1983a,
  author = {George Bealer},
  title = {Completeness in the Theory of Properties, Relations, and
  	Propositions},
  journal = {The Journal of Symbolic Logic},
  year = {1983},
  volume = {44},
  number = {2},
  pages = {415--426},
  topic = {property-theory;}
  }

@incollection{ bealer:1984a,
  author = {George Bealer},
  title = {Mind and Anti-Mind: Why Thinking Has No Functional
  	Definition},
  booktitle = {Causation and Causal Theories},
  publisher = {University of Minnesota Press},
  year = {1984},
  editor = {Peter A. French and Theodore E. Uehling, Jr. and Howard
  	K. Wettstein},
  pages = {283--328},
  address = {Minneapolis},
  topic = {mind-body-problem;functionalism;philosophy-of-mind;}
  }

@incollection{ bealer:1986a,
  author = {George Bealer},
  title = {The Logical Status of Mind},
  booktitle = {Midwest Studies in Philosophy Volume {X}:
  	Studies in the Philosophy of Mind},
  publisher = {University of Minnesota Press},
  year = {1986},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {231--274},
  address = {Minneapolis},
  topic = {intentionality;philosophy-of-mind;}
  }

@article{ bealer:1989a,
  author = {George Bealer},
  title = {On the Identification of Properties and Propositional
  	Functions},
  journal = {Linguistics and Philosophy},
  year = {1989},
  volume = {12},
  number = {1},
  pages = {1--14},
  topic = {property-theory;intensional-logic;propositional-functions;}
  }

@incollection{ bealer:1993a,
  author = {George Bealer},
  title = {A Solution to {F}rege's Puzzle},
  booktitle = {Philosophical Perspectives, Volume 7:
  	Language and Logic},
  publisher = {Blackwell Publishers},
  year = {1993},
  editor = {James E. Tomberlin},
  pages = {17--60},
  address = {Oxford},
  rtnote = {In RHT collection. Zip drive.  bealer.zip},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {propositions;identity;}
  }

@article{ bealer:1994a,
  author = {George Bealer},
  title = {Mental Properties},
  journal = {The Journal of Philosophy},
  year = {1994},
  volume = {91},
  number = {4},
  pages = {185--208},
  topic = {philosophy-of-mind;property-theory;}
  }

@article{ bealer:1997b,
  author = {George Bealer},
  title = {Self-Consciousness},
  journal = {The Philosophical Review},
  year = {1997},
  volume = {106},
  number = {1},
  pages = {69--117},
  topic = {philosophy-of-mind;}
  }

@article{ bealer:1998a,
  author = {George Bealer},
  title = {Propositions},
  journal = {Mind, New Series},
  year = {1998},
  volume = {107},
  number = {425},
  pages = {1--32},
  topic = {propositions;}
  }

@article{ bealer:2004a,
  author = {George Bealer},
  title = {An Inconsistency in Direct Reference Theory},
  journal = {The Journal of Philosophy},
  year = {2004},
  volume = {101},
  number = {11},
  pages = {574--593},
  topic = {reference;identity;}
  }

@article{ bealer_g:1994b,
  author = {George Bealer},
  title = {Property Theory: the Type-Free Approach v. the {C}hurch Approach},
  journal = {Journal of Philosophical Logic},
  year = {1994},
  volume = {23},
  pages = {139--171},
  topic = {intensionality;hyperintensionality;epistemic-logic;
  		property-theory;propositional-attitudes;},
  }

@article{ beall:2007a,
  author = {J.C. Beall},
  title = {Review of \emph{{T}ruth and Paradox: Solving the Riddles},
  	by {T}im {M}audlin},
  journal = {The Philosophical Review},
  year = {2007},
  volume = {116},
  number = {3},
  pages = {478--481},
  xref = {Review of: maudlin:2004a},
  topic = {semantic-paradoxes;}
  }

@article{ beall-etal:2006a,
  author = {J.C. Beall and Ross T. Brady and Allen P. Hazen and Graham
  		Priest},
  title = {Relevant Restricted Quantification},
  journal = {Journal of Philosophical Logic},
  year = {2006},
  volume = {35},
  number = {6},
  pages = {587--598},
  topic = {relevance-logic;restricted-quantifiers;}
  }

@book{ beall-vanfraassen:2003a,
  author = {J.C. Beall and Bas C. van Fraassen},
  title = {Possibilities and Paradox:  An Introduction to
  		Modal and Many-Valued Logic},
  publisher = {Oxford University Press},
  year = {2003},
  address = {Oxford},
  rtnote = {In RHT Collection.  Logic shelves.},
  topic = {modal-logic;multivalued-logic;}
 }

@article{ beall_jc:2006a,
  author = {J.C. Beall},
  title = {True, False, and Paranormal},
  journal = {Analysis},
  year = {2006},
  volume = {66},
  pages = {102--114},
  url = {http://homepages.uconn.edu/~jcb02005/papers/paranormal.pdf},
  topic = {semantic-paradoxes;paraconsistency;}
  }

@book{ bear:1992a,
  author = {John Bear},
  title = {Gaps as Syntactic Features},
  publisher = {Indiana Linguistics Club},
  year = {1982},
  address = {Department of Linguistics, University of Indiana,
 	Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {nl-syntax;GPSG;}
 }

@inproceedings{ bear-hobbs_jr:1988a,
  author = {John Bear and Jerry R. Hobbs},
  title = {Localizing the Expression of Ambiguity},
  booktitle = {Proceedings Second Conference on Applied Natural
  	Language Processing},
  year = {1988},
  month = {February},
  missinginfo = {publisher, pages},
  topic = {ambiguity;nl-interpretation;}
  }

@article{ beardman:2004a,
  author = {Stephanie Beardman},
  title = {Review of {\it {A}lchemies of the Mind: Rationality and
  		the Emotions}, by {J}ohn  {E}lster},
  journal = {The Journal of Philosophy},
  year = {2004},
  volume = {101},
  number = {9},
  pages = {484--491},
  xref = {Review of: elster:1999a.},
  topic = {emotion;rationality;}
  }

@techreport{ beardon-turner_k:1993a,
  author = {Colin Beardon and Ken Turner},
  title = {An Analysis of the Problems Involved in Understanding
  	Complex Nominals},
  institution = {Rediffusion Simulation Research Centre, University
  	of Brighton},
  number = {RSRC-93001},
  year = {1993},
  address = {Brighton},
  rtnote = {In RHT collection.},
  topic = {compound-nominasl;}
  }

@article{ beardsley:1949a,
  author = {Elizabeth Lane Beardsley},
  title = {\,`Non-Accidental' and Counterfactual Sentences},
  journal = {The Journal of Philosophy},
  year = {1964},
  volume = {46},
  pages = {573--591},
  missinginfo = {number},
  xref = {Review: chisholm:1951a.},
  topic = {conditionals;(non)accidental-generalizations;}
  }

@article{ beattie:1979a,
  author = {Geoffrey W. Beattie},
  title = {Planning Units in Spontaneous Speech: Some Evidence From
  	Hesitation in Speech and Speaker Gaze Direction in Conversation},
  journal = {Linguistics},
  year = {1979},
  volume = {17},
  pages = {61--78},
  missinginfo = {number},
  rtnote = {pragmatics-course;},
  topic = {discourse;pragmatics;}
  }

@incollection{ beaver:1981a,
  author = {David Beaver},
  title = {The Kinematics of Presupposition},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
		of Amsterdam},
  year = {1991},
  editor = {Paul Dekker and Martin Stokhof},
  pages = {17--36},
  address = {Amsterdam},
  topic = {nl-semantics;presupposition;pragmatics;
  	dynamic-semantics;}
  }

@techreport{ beaver:1992a,
  author = {David Beaver},
  title = {The Kinematics of Presupposition},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {LP--92--05},
  year = {1992},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland },
  rtnote = {In RHT collection.},
  rtnote = {pragmatics-course;semantics-course;},
  topic = {nl-semantics;presupposition;pragmatics;dynamic-semantics;
  	accommodation;}
  }

@techreport{ beaver:1993a,
  author = {David Beaver},
  title = {What Comes First in Dynamic Semantics},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {LP--93--15},
  year = {1993},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland },
  rtnote = {In RHT collection.},
  rtnote = {pragmatics-course;semantics-course;},
  topic = {nl-semantics;presupposition;pragmatics;dynamic-semantics;}
  }

@inproceedings{ beaver:1994a,
  author = {David Beaver},
  title = {When Variables Don't Vary Enough},
  booktitle = {Proceedings from Semantics and Linguistic Theory {IV}},
  year = {1994},
  editor = {Mandy Harvey and Lynn Santelmann},
  pages = {35--60},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {nl-semantics;nl-quantifiers;presupposition;pragmatics;
		dynamic-semantics;}
  }

@phdthesis{ beaver:1995a1,
  author = {David Beaver},
  title = {Presupposition and Assertion in Dynamic Semantics},
  school = {Centre for Cognitive Science, University of Edinburgh},
  year = {1995},
  type = {Ph.D. Dissertation},
  address = {Edinburgh},
  xref = {Book Publication: beaver:1995a2.},
  topic = {nl-semantics;presupposition;dynamic-semantics;}
 }

@book{ beaver:1995a2,
  author = {David Beaver},
  title = {Presupposition and Assertion in Dynamic Semantics},
  publisher = {{CSLI} Publications},
  year = {2001},
  address = {Stanford, California},
  ISBN = {1575861208 (pbk), 1575861208 (cloth)},
  xref = {Publication of dissertation: beaver:1995a1.},
  topic = {nl-semantics;presupposition;dynamic-semantics;}
 }

@incollection{ beaver:1996a,
  author = {David Beaver},
  title = {Presupposition},
  booktitle = {Handbook of Logic and Language},
  publisher = {Elsevier},
  year = {1996},
  editor = {Johan {van Benthem} and Alice {ter Meulen}},
  address = {Amsterdam},
  pages = {939--1008},
  topic = {presupposition;}
  }

@incollection{ beaver:1999a,
  author = {David Beaver},
  title = {The Logic of Anaphora Resolution},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
		of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {61--66},
  address = {Amsterdam},
  topic = {anaphora-resolution;}
  }

@incollection{ beaver:1999b,
  author = {David I. Beaver},
  title = {Presupposition Accommodation:  A Plea for Common Sense},
  booktitle = {Logic, Language and Computation, Volume 2},
  publisher = {{CSLI} Publications},
  year = {1999},
  editor = {Lawrence S. Moss and Jonathan Ginzburg and Maarten de Rijke},
  pages = {21--44},
  address = {Stanford, California},
  URL = {http://montague.stanford.edu/~dib/Publications/italic.pdf},
  rtnote = {In RHT collection.},
  topic = {presupposition;accommodation;}
  }

@incollection{ beaver:1999c,
  author = {David I. Beaver},
  title = {Pragmatics to a First Approximation},
  booktitle = {{JFAK}: Essays Dedicated to Johan van Benthem on the
  	Occasion of his 50th Birthday},
  publisher = {Vossiuspers, Amsterdam University Press},
  year = {1999},
  editor = {Jelle Gerbrandy and Maarten Marx and Maarten de Rijke and
  		Yde Venema},
  address = {Amsterdam},
  url = {ftp://ftp-csli.stanford.edu/linguistics/Papers/pragmatics.ps.gz},
  topic = {pragmatics;dynamic-semantics;}
  }

@unpublished{ beaver:2002a,
  author = {David Beaver},
  title = {Have You Noticed that your Belly Button Lint Colour is
  	Related to the Colour of your Clothing?},
  year = {2003},
  note = {Unpublished manuscript, Linguistics Department,
  	Stanford University},
  rtnote = {In RHT collection.},
  topic = {presupposition;implicature;}
  }

@article{ beaver:2004a,
  author = {David I. Beaver},
  title = {The Optimization of Discourse Anaphora},
  journal = {Linguistics and Philosophy},
  year = {2004},
  volume = {27},
  number = {1},
  pages = {3--56},
  rtnote = {In RHT collection.},
  topic = {anaphora-resolution;optimality-theory;centering;}
  }

@inproceedings{ beaver-clark_bz:2002a,
  author = {David I. Beaver and Brady Z. Clark},
  title = {Monotonicity and Focus Sensitivity},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XII}},
  publisher = {Cornell University},
  year = {2002},
  editor = {Brendan Jackson},
  pages = {40--58},
  address = {Ithaca, New York},
  topic = {nl-semantics;s-focus;nl-quantifiers;event-semantics;}
  }

@article{ beaver-clark_bz:2003a,
  author = {David Beaver and Brady Clark},
  title = {Always and Only: Why Not All Focus-Sensitive Operators Are
  	Alike},
  journal = {Natural Language Semantics},
  year = {2003},
  volume = {11},
  number = {4},
  pages = {323--362},
  topic = {`only';sentence-focus;}
  }

@incollection{ beaver-condoravdi:2003a,
  author = {David I. Beaver and Cleo Condoravdi},
  title = {A Uniform Analysis of Before and After},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XIII}},
  publisher = {Cornell University},
  year = {2003},
  editor = {Robert B. Young and Yuping Zhou},
  pages = {37--54},
  address = {Ithaca, New York},
  topic = {nl-semantics;temporal-adverbials;}
  }

@book{ beaver-etal:2002a,
  editor = {David I. Beaver and Luis D. Casillas Mart\'inez and Brady Z.
  	Clark and Stefan Kaufmann},
  title = {The Construction of Meaning},
  publisher = {{CSLI} Publications},
  year = {2002},
  address = {Stanford, California},
  ISBN = {1575863766 (pbk)},
  contentnote = {TC:
     1. Ash Asudeh, "A Resource-Sensitive Semantics for Equi and
     		Raising", pp. 1--22
     2. David I. Beaver, "Presupposition Projection in
     		DRT", pp.  23--44
     3. Eve V. Clark, "Making Use of Pragmatic Inferences in the
     		Acquisition of Meaning", pp. 45--58
     4. Cleo Condoravdi, "Temporal Interpretation of
     		Modals", pp.  59--88
     5. Martina Faller, "Remarks on Evidential
     		Hierarchies", pp.  89--112
     6. Paul Kiparsky, "Event Structure and the
     		Perfect", pp.  113--136
     7. David A. McKercher, "Subject-Oriented \emph{with}-Phrases in
     		Event Semantics", pp. 137--162
     8. Kyonghee Paik and Francis Bond, "Spatial Representation and
     		Shape Classifiers in {J}apanese and
		{K}orean, pp.  163--180
     9. Stanley Peters and Dag Westerst{\aa}hl, "Does {E}nglish
     		Really Have Resumptive Quantification?", pp. 181--196
    10. Shiao Wei Tham, "Extended Postposing and Focus S {M}andarin
    		Locatives", pp. 197--218
    11. Arnold Zwicky, "I Wonder What Kind of Construction this
    		Example Illustrates", pp. 219-248
          },
  topic = {nl-semantics;pragmatics;}
 }

@article{ beaver-krahmer:2000a,
  author = {David Beaver and Emiel Krahmer},
  title = {A Partial Account of Presupposition Projection},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {10},
  number = {2},
  pages = {147--182},
  topic = {presupposition;}
  }

@unpublished{ beaver-zeevat:2004a,
  author = {David I. Beaver and Henk Zeevat},
  title = {Accommodation},
  year = {2004},
  note = {Unpublished manuscript.  Available at
  	http://montague.stanford.edu/~dib/Publications/accommodation.pdf.},
  rtnote = {In RHT collection.},
  rtnote = {To appear in Ramchand, G. and C. Reiss (eds.), Oxford
  		Handbook of Linguistic Interfaces, Oxford University
		Press.},
  topic = {accommodation;pragmatics;}
  }

@incollection{ becher-etal:1998a,
  author = {Ver\'onica Becher and E. Ferm\'e and R. Rodriguez and S. Lazzer
  	C. Oller and G. Palua},
  title = {Some Observations on {C}arlos {A}lchourron's Theory of
  	Defeasible Conditionals},
  booktitle = {Norms, Logics and Information Systems.  New Studies in
		Deontic Logic and Computer Science},
  publisher = {IOS Press},
  year = {1998},
  editor = {Henry Prakken and Paul McNamara},
  pages = {219--230},
  address = {Amsterdam},
  topic = {deontic-logic;nonmonotonic-conditionals;}
  }

@article{ becher-etal:2006a,
  author = {Ver\'onica Becher and Santiago Figueira and Serge
  		Grigorieff and Joseph S. Miller},
  title = {Randomness and Halting Probabilities},
  journal = {Journal of Symbolic Logic},
  year = {2006},
  volume = {71},
  number = {4},
  pages = {1411--1430},
  topic = {randomness;}
  }

@article{ bechet_d:2007a,
  author = {Denis B\'echet},
  title = {Parsing Pregroup Grammars and {L}ambek Calculus Using
  		Partial Composition},
  journal = {Studia Logica},
  year = {2007},
  volume = {87},
  number = {2--3},
  pages = {199--224},
  topic = {pregroups;Lambek-calculus;context-free-grammars;}
  }

@incollection{ bechet_d-degroote:1997a,
  author = {Denis B\'echet and Philippe de Groote},
  title = {Constructing Different Phonological Bracketings from a
           Proof Net},
  booktitle = {{LACL}'96: First International Conference on
      Logical Aspects of Computational Linguistics},
  publisher = {Springer-Verlag},
  year = {1997},
  editor = {Christian Retor/'e},
  pages = {118--133},
  address = {Berlin},
  topic = {logic-and-computational-linguistics;
		computational-phonology;}
  }

@article{ bechet_d-etal:2007a,
  author = {Denis B\'echet and Annie Foret and Isabelle Tellier},
  title = {Learnability of Pregroup Grammars},
  journal = {Studia Logica},
  year = {2007},
  volume = {87},
  number = {2--3},
  pages = {225--252},
  topic = {pregroups;categorial-grammar;machine-language-learning;}
  }

@incollection{ bechet_f-etal:1997a,
  author = {Fr\'ed\'eric B\'echet and Thierry Spriet and Marc
		El-B\`eze},
  title = {Automatic Lexicon Enhancement by Means
		of Corpus Tagging},
  booktitle = {Interactive Spoken Dialog Systems:  Bridging
  	Speech and {NLP} Together in Real Applications},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Julia Hirschberg and Candace Kamm and Marilyn Walker},
  pages = {29--32},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;computational-lexicography;
  	corpus-tagging;}
  }

@book{ bechtel-graham_g:1997a,
  author = {William Bechtel and George Graham},
  title = {A Companion to Cognitive Science},
  publisher = {Blackwell Publishers},
  year = {1997},
  address = {Oxford},
  topic = {cognitive-science-survey;}
 }

@article{ bechtel-mundale:1999a,
  author = {William Bechtel and Jennifer Mundale},
  title = {Multiple Realizability Revisited:  Linking
		Cognitive and Neural States},
  journal = {Philosophy of Science},
  year = {1999},
  volume = {66},
  number = {2},
  pages = {175--207},
  topic = {philosophy-of-cogscifoundations-of-psychology;
		neurocognition;}
  }

@unpublished{ bechtel-shapiro_sc:1976a,
  author = {Robert Bechtel and Stuart Shapiro},
  title = {A Logic for Semantic Networks},
  year = {1976},
  note = {Unpublished manuscript, Indiana University.},
  rtnote = {In RHT collection.},
  topic = {semantic-networks;kr;kr-course;}
  }

@article{ beck_jc-fox_ms:2000a,
  author = {J. Christopher Beck and Mark S. Fox},
  title = {Dynamic Problem Structure Analysis as a Basis for
  	Constraint-Directed Scheduling Heuristics},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {117},
  number = {1},
  pages = {31--81},
  acontentnote = {Abstract:
     While the exploitation of problem structure by heuristic search
     techniques has a long history in AI (Simon, 1973), many of the
     advances in constraint-directed scheduling technology in the
     1990s have resulted from the creation of powerful propagation
     techniques.  In this paper, we return to the hypothesis that
     understanding of problem structure plays a critical role in
     successful heuristic search even in the presence of powerful
     propagators. In particular, we examine three heuristic
     commitment techniques and show that the two techniques based on
     dynamic problem structure analysis achieve superior performance
     across all experiments.  More interestingly, we demonstrate that
     the heuristic commitment technique that exploits dynamic
     resource-level non-uniformities achieves superior overall
     performance when those non-uniformities are present in the
     problem instances.
  },
  topic = {scheduling;constraint-based-reasoning;heuristics;search;}
  }

@article{ beck_jc-fox_ms:2000b,
  author = {J. Christopher Beck and Mark S. Fox},
  title = {Constraint-Directed Techniques for Scheduling Alternative
  	Activities},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {121},
  number = {1--2},
  pages = {211--250},
  topic = {constraint-based-reasoning;scheduling;}
  }

@article{ beck_s:1996a,
  author = {Sigrid Beck},
  title = {Quantified Structures as Barriers for {LF} Movement},
  journal = {Natural Language Semantics},
  year = {1996},
  volume = {4},
  number = {1},
  pages = {1--56},
  topic = {nl-quantifiers;LF;}
  }

@article{ beck_s:1997a,
  author = {Sigrid Beck},
  title = {On the Semantics of Comparative Conditionals},
  journal = {Linguistics and Philosophy},
  year = {1997},
  volume = {20},
  number = {3},
  pages = {229--271},
  topic = {nl-semantics;comparative-constructions;}
  }

@inproceedings{ beck_s:1998a,
  author = {Sigrid Beck},
  title = {{NP} Dependent Readings of `Different'},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VIII}},
  publisher = {Cornell University},
  year = {1998},
  editor = {Devon Strolovitch and Aaron Lawson},
  pages = {19--35},
  address = {Ithaca, New York},
  topic = {nl-semantics;`different';}
  }

@incollection{ beck_s:1999a,
  author = {Sigrid Beck},
  title = {Plural Predication and Partitional Discourses},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
		of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {67--72},
  address = {Amsterdam},
  topic = {nl-semantics;plural;nl-quantifiers;}
  }

@inproceedings{ beck_s:1999b,
  author = {Sigrid Beck},
  title = {Reciprocals and Cumulation},
  booktitle = {Proceedings from Semantics and Linguistic Theory {IX}},
  publisher = {Cornell University},
  year = {1999},
  editor = {Tanya Matthews and Devon Strolovitch},
  pages = {16--33},
  address = {Ithaca, New York},
  topic = {nl-semantics;reciprocal-constructions;}
  }

@article{ beck_s:2000a,
  author = {Sigrid Beck},
  title = {The Semantics of `Different': Comparison Operator and Relational
  	Adjective},
  journal = {Linguistics and Philosophy},
  year = {2000},
  volume = {23},
  number = {2},
  pages = {101--139},
  topic = {identity;sameness/difference;comparative-constructions;}
  }

@inproceedings{ beck_s:2000b,
  author = {Sigrid Beck},
  title = {Exception in Relational Plurals},
  booktitle = {Proceedings from Semantics and Linguistic Theory {X}},
  publisher = {Cornell University},
  year = {2000},
  editor = {Brendan Jackson and Tanya Matthews},
  pages = {1--16},
  address = {Ithaca, New York},
  topic = {nl-semantics;plural;exception-constructions;}
  }

@article{ beck_s:2001a,
  author = {Sigrid Beck},
  title = {Reciprocals are Definites},
  journal = {Natural Language Semantics},
  year = {2001},
  volume = {9},
  number = {1},
  pages = {69--138},
  topic = {reciprocal-constructions;}
  }

@article{ beck_s:2006a,
  author = {Sigrid Beck},
  title = {Focus on \emph{Again}},
  journal = {Linguistics and Philosophy},
  year = {2006},
  volume = {29},
  number = {3},
  pages = {277--314},
  topic = {focus;presupposition;`again';}
  }

@article{ beck_s:2007a,
  author = {Sigrid Beck},
  title = {Intervention Effects follow from Focus Intervention},
  journal = {Natural Language Semantics},
  year = {2006},
  volume = {14},
  number = {1},
  pages = {1--56},
  topic = {nl-syntax;nl-semantics;sentence-focus;}
  }

@article{ beck_s-etal:2008a,
  author = {Sigrid Beck and Luka Crnic and Thilo G\"otz},
  title = {Ruin and Restitution},
  journal = {Natural Language Semantics},
  year = {2008},
  volume = {16},
  number = {2},
  pages = {111-114-},
  topic = {nl-semantics;ability;}
  }

@article{ beck_s-rullmann:1999a,
  author = {Sigrid Beck and Hotze Rullmann},
  title = {A Flexible Approach to Exhaustivity in Questions},
  journal = {Natural Language Semantics},
  year = {1999},
  volume = {7},
  number = {3},
  pages = {249--298},
  topic = {interrogatives;}
  }

@article{ beck_s-sutherland:2000a,
  author = {Sigrid Beck and Uli Sutherland},
  title = {Cumulation is Needed: A Reply to {W}inter (2000)},
  journal = {Natural Language Semantics},
  year = {2000},
  volume = {8},
  number = {4},
  pages = {349--371},
  xref = {Discussion of winter:2000a.},
  topic = {nl-semantics;plural;distributive/collective-readings;}
  }

@article{ becker_a-geiger:1996a,
  author = {Ann Becker and Dan Geiger},
  title = {Optimization of {P}earl's Method of Conditioning and
  	Greedy-Like Approximation Algorithms for the Vertex
	Feedback Set Problem},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {83},
  number = {1},
  pages = {167--188},
  topic = {Bayesian-networks;conditioning-methods;}
  }

@article{ becker_a-geiger:2001a,
  author = {Ann Becker and Dan Geiger},
  title = {A Sufficiently Fast Algorithm for Finding Close to
  	Optimal Clique Trees},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {125},
  number = {1--2},
  pages = {3--17},
  topic = {AI-algorithms;optimization;}
  }

@book{ becker_gs:1971a,
  author = {Gary S. Becker},
  title = {The Economics of Discrimination},
  edition = {2},
  publisher = {Chicago, University of Chicago Press [},
  year = {1971},
  address = {Chicago},
  ISBN = {0226041158},
  rtnote = {UMich Undergraduate, Hd 4903.5 .U5 B39 1971.},
  topic = {discrimination;behavioral-economics;}
 }

@book{ becker_gs:1976a,
  author = {Gary S. Becker},
  title = {The Economic Approach to Human Behavior},
  publisher = {Chicago University of Chicago Press},
  year = {1976},
  address = {Chicago},
  ISBN = {0226041115},
  rtnote = {UMich Graduate Library, HB 71 .B431.},
  topic = {behavioral-economics;}
 }

@book{ becker_gs:1996a,
  author = {Gary S. Becker},
  title = {Accounting For Tastes},
  publisher = {Harvard University Press},
  year = {1996},
  address = {Cambridge, Massachusetts},
  ISBN = {0674543564 (alk. paper)},
  rtnote = {UMich Undergraduate, Hf 5415.32 .B431 1996.},
  topic = {market-research;preferences;consumer-behavior;}
 }

@article{ becker_l1:1972a,
  author = {L. Becker},
  title = {Foreknowledge and Predestination},
  journal = {Mind, New Series},
  year = {1972},
  volume = {81},
  number = {321},
  pages = {138--141},
  topic = {(in)determinism;foreknowledge;}
  }

@article{ becker_l2:2001a,
  author = {Lon Becker},
  title = {Review of \emph{{T}he Quantum Mechanics of Minds and Worlds},
  	by {J}effrey {A}lan {B}arrett},
  journal = {The Philosophical Review},
  year = {2001},
  volume = {110},
  number = {3},
  pages = {482--484},
  xref = {Review of: barrett_ja:1999a.},
  topic = {foundations-of-quantum-mechanics;branching-time;}
  }

@article{ becker_s:1993a,
  author = {Sue Becker},
  title = {Review of \emph{{I}ntroduction to Neural and Cognitive
  	Modeling}, by {D}aniel {S}. {L}evine},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {62},
  number = {1},
  pages = {113--116},
  xref = {Review of levine_ds:1991a.},
  topic = {cognitive-modeling;neurocognition;}
  }

@incollection{ becker_t:1998a,
  author = {Tilman Becker},
  title = {Fully Lexicalized Head-Driven Syntactic Generation},
  booktitle = {Proceedings of the Ninth International Workshop
  	on Natural Language Generation},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Eduard Hovy},
  pages = {208--217},
  address = {New Brunswick, New Jersey},
  topic = {nl-generation;HPSG;}
  }

@inproceedings{ becker_t-etal:1998a,
  author = {Tilman Becker and Wolfgang Finkler and Anne Kilger and
  	Peter Poller},
  title = {An Efficient Kernel for Multilingual Generation in
  	Speech-to-Speech Dialogue Translation },
  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 = {110--116},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {speech-to-speech-machine-translation;}
 }

@incollection{ beckert:1998a,
  author = {Bernhard Beckert},
  title = {Rigid {E}-Unification},
  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, pages},
  topic = {theorem-proving;applied-logic;unification-of-FSs;}
  }

@article{ beckert-gore:2001a,
  author = {Bernhard Beckert and Rajeev Gor\'e},
  title = {Free-Variable Tableaux for Propositional Modal Logics},
  journal = {Studia Logica},
  year = {2001},
  volume = {69},
  number = {1},
  pages = {59--96},
  topic = {proof-theory;semantic-tableaux;modal-logic;autoepistemic-logic;}
  }

@incollection{ beckert-hanle:1998a,
  author = {Bernhard Beckert and R. H\"anle},
  title = {Analytic Tableaux},
  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, pages},
  topic = {theorem-proving;applied-logic;proof-theory;}
  }

@article{ beckman_a:2002a,
  author = {Arnold Beckman},
  title = {Review of `Incompleteness Theorems and $S^i_2$ Versus
  	$S^{i+1}_2$' and `{G}\"odel Sentences of Unbounded Arithmetic',
	by {G}aisi {T}akeuti},
  journal = {The Bulletin of Symbolic Logic},
  year = {2002},
  volume = {8},
  number = {3},
  pages = {433--435},
  xref = {Review of: takeuti:1998a, takeuti:2000a.},
  topic = {bounded-arithmetic;P=NP-problem;}
  }

@article{ beckman_f:1994a,
  author = {Frank Beckman},
  title = {Review of \emph{{A}rgument Structure}, by {J}ane {G}rimshaw},
  journal = {Journal of Semantics},
  year = {1994},
  volume = {11},
  number = {1},
  pages = {103--131},
  xref = {Review of: grimshaw:1990a.},
  topic = {argument-structure;}
  }

@article{ beckman_l-etal:1976a,
  author = {Lennart Beckman and Anders Haraldson, \"Osten Oskarsson and
  	Erik Sandewall},
  title = {A Partial Evaluator, and Its Use as a Programming Tool},
  journal = {Artificial Intelligence},
  year = {1976},
  volume = {7},
  number = {4},
  pages = {319--357},
  acontentnote = {Abstract:
     Programs which perform partial evaluation, beta-expansion, and
     certain optimizations on programs, are studied with respect to
     implementation and application. Two implementations are
     described, one ``interpretive'' partial evaluator, which
     operates directly on the program to be partially evaluated, and
     a ``compiling'' system, where the program to be partially
     evaluated is used to generate a specialized program, which in
     its turn is executed to do the partial evaluation. Three
     applications with different requirements on these programs are
     described. Proofs are given for the equivalence of the use of
     the interpretive system and the compiling system in two of the
     three cases. The general use of the partial evaluator as a tool
     for the programmer in conjunction with certain programming
     techniques is discussed.
 },
  topic = {partial-evaluation;optimization;}
  }

@incollection{ bedau:1986a,
  author = {Mark Bedau},
  title = {Cartesian Interaction},
  booktitle = {Midwest Studies in Philosophy Volume {X}:
  	Studies in the Philosophy of Mind},
  publisher = {University of Minnesota Press},
  year = {1986},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {483--502},
  address = {Minneapolis},
  topic = {mind-body-problem;}
  }

@incollection{ bedau:1997a,
  author = {Mark A. Bedau},
  title = {Weak Emergence},
  booktitle = {Philosophical Perspectives 11: Mind, Causation, and World},
  publisher = {Blackwell Publishers},
  year = {1997},
  editor = {James E. Tomberlin},
  pages = {375--399},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {emergence;}
  }

@article{ beebee:2002a,
  author = {Helen Beebee},
  title = {Reply to {H}uemer on the Consequence Argument},
  journal = {The Philosophical Review},
  year = {2002},
  volume = {111},
  number = {2},
  pages = {235--241},
  topic = {(in)determinism;}
  }

@article{ beebee-papineau:1997a,
  author = {Helen Beebee and David Papineau},
  title = {Probability as a Guide to Life},
  journal = {The Journal of Philosophy},
  year = {1997},
  volume = {94},
  number = {5},
  pages = {217--243},
  topic = {probability;foundations-of-utility;}
  }

@incollection{ beeferman_d:1998a,
  author = {Doug Beeferman},
  title = {Lexical Discovery with an Enriched Semantic Network},
  booktitle = {Use of {W}ord{N}et in Natural Language Processing
  	Systems:  Proceedings of the Conference},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Sanda Harabagiu},
  pages = {135--141},
  address = {Somerset, New Jersey},
  url =
  {http://www.ai.sri.com/\user{}harabagi/coling-acl98/acl_work/beeferman.ps.gz},
  topic = {nl-processing;WordNet;word-acquisition;}
  }

@incollection{ beeferman_d-etal:1997a,
  author = {Doug Beeferman and Adam Berger and John Lafferty},
  title = {Text Segmentation Using Exponential Models},
  booktitle = {Proceedings of the Second Conference on Empirical
		Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Claire Cardie and Ralph Weischedel},
  pages = {35--46},
  address = {Somerset, New Jersey},
  topic = {empirical-methods-in-nlp;statstical-nlp;corpus-tagging;
		topic-extraction;}
  }

@inproceedings{ beeferman_d-etal:1997b,
  author = {Doug Beeferman and Adam Berger and John Lafferty},
  title = {A Model of Lexical Attraction and Repulsion},
  booktitle = {Proceedings of the Thirty-Fifth Annual Meeting of the
		{A}ssociation for {C}omputational {L}inguistics and Eighth
		Conference of the {E}uropean Chapter of the {A}ssociation
		for {C}omputational {L}inguistics},
  year = {1997},
  editor = {Philip R. Cohen and Wolfgang Wahlster},
  pages = {373--380},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {speech-recognition;statistical-nlp;}
 }

@inproceedings{ beeferman_s:1996a,
  author = {Scott Beeferman},
  title = {The Rhythm of lexical Stress in Prose},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {302--309},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {prosody;discourse;pragmatics;}
 }

@article{ beer:1995a,
  author = {Randall D. Beer},
  title = {A Dynamical Systems Perspective on Agent-Environment
  	Interaction},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {72},
  number = {1--2},
  pages = {173--215},
  acontentnote = {Abstract:
     Using the language of dynamical systems theory, a general
     theoretical framework for the synthesis and analysis of
     autonomous agents is sketched.  In this framework, an agent and
     its environment are modeled as two coupled dynamical systems
     whose mutual interaction is in general jointly responsible for
     the agent's behavior. In addition, the adaptive fit between an
     agent and its environment is characterized in terms of the
     satisfaction of a given constraint on the trajectories of the
     coupled agent-environment system. The utility of this framework
     is demonstrated by using it to first synthesize and then analyze
     a walking behavior for a legged agent.
  },
  topic = {agent-environment-interaction;legged-motion;robotics;
  	dynamic-systems;}
  }

@article{ beeri-etal:1984a,
  author = {C. Beeri and M. Dowd and Ronald Fagin and Richard
  	Statman},
  title = {On the Structure of {A}rmstrong Relations for
  	Functional Dependencies},
  journal = {Journal of the {ACM}},
  year = {1984},
  volume = {31},
  number = {1},
  pages = {30--46},
  missinginfo = {A's 1st name},
  topic = {functional-dependencies;}
  }

@incollection{ beesley:1998a,
  author = {Kenneth R. Beesley},
  title = {Constraining Separated Morphotactic Dependencies in Finite
  	State Grammars},
  booktitle = {{FSMNLP'98}: International Workshop on Finite State
  	Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Lauri Karttunen},
  pages = {118--127},
  address = {Somerset, New Jersey},
  topic = {nl-processing;finite-state-nlp;finite-state-morpology;}
  }

@inproceedings{ beesley:1998b,
  author = {Kenneth R. Beesley},
  title = {Consonant Spreading in {A}rabic Stems},
  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 = {117--123},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {Arabic-language;computational-phonology;}
 }

@article{ beesley:2001a,
  author = {Kenneth R. Beesley},
  title = {Review of \emph{{A} Computational Theory of Writing Systems},
  	by {R}ichard {S}proat},
  journal = {Computational Linguistics},
  year = {2001},
  volume = {27},
  number = {3},
  pages = {464--467},
  xref = {Review of: sproat:2000a},
  topic = {writing-systems;nl-processing;}
  }

@book{ beesley-karttunen_l:2003a,
  author = {Kenneth R. Beesley and Lauri Karttunen},
  title = {Finite State Morphology},
  publisher = {{CSLI} Publications},
  year = {2003},
  address = {Stanford, California},
  ISBN = {1575864339},
  xref = {Review: wintner:2004a.},
  topic = {finite-state-morphology;finite-state-nlp;finite-state-phonology;}
 }

@incollection{ beeson:1988a,
  author = {Michael J. Beeson},
  title = {Computerizing Mathematics: Logic and
		Computation},
  booktitle = {The Universal {T}uring Machine: A Half-Century
  	Survey},
  publisher = {Oxford University Press},
  year = {1988},
  editor = {Rolf Herkin},
  pages = {191--225},
  address = {Oxford},
  topic = {computer-assisted-science;computer-assisted-mathematics;}
  }

@inproceedings{ beeson:1998a,
  author = {Michael Beeson},
  title = {Automatic Generation of Epsilon-Delta Proofs of
  	Continuity},
  booktitle = {Artificial Intelligence and Symbolic Computation:
	Proceedings of {AISC'98}},
  year = {1998},
  editor = {Jacques Calmet and Jan Plaza},
  pages = {67--83},
  publisher = {Springer Verlag},
  address = {Berlin},
  topic = {theorem-proving;limit-proofs;}
  }

@inproceedings{ beetz-mcdermott_d:1992a,
  author = {Michael Beetz and Drew McDermott},
  title = {Declarative Goals in Reactive Plans},
  booktitle = {Artificial Intelligence Systems: Proceedings of the First
  	International Conference},
  year = {1992},
  pages = {3--12},
  missinginfo = {publisher},
  topic = {planning;plan-monitoring;}
  }

@phdthesis{ beghelli:1995a,
  author = {F. Beghelli},
  title = {The Phrase Structure of Quantifier Scope},
  school = {Linguistics Department, UCLA},
  year = {1995},
  type = {Ph.{D}. Dissertation},
  address = {Los Angeles, California},
  missinginfo = {A's 1st name},
  topic = {nl-quantifier-scope;}
 }

@incollection{ beghelli:1997a,
  author = {Filippo Beghelli},
  title = {The Syntax of Distributivity and Pair-List Readings},
  booktitle = {Ways of Scope Taking},
  publisher = {Kluwer Academic Publishers},
  year = {1997},
  editor = {Anna Szabolcsi},
  pages = {349--408},
  address = {Dordrecht},
  topic = {nl-quantifier-scope;distributivity-of-quantifiers;nl-quantifiers;}
  }

@incollection{ beghelli-etal:1997a,
  author = {Fillipo Beghelli and Dorit Ben-Shalom and Anna Szabolski},
  title = {Variation, Distributivity, and the Illusion of Branching},
  booktitle = {Ways of Scope Taking},
  publisher = {Kluwer Academic Publishers},
  year = {1997},
  editor = {Anna Szabolcsi},
  pages = {29--69},
  address = {Dordrecht},
  topic = {nl-quantifiers;distributivity-of-quantifiers;
  	branching-quantifiers;}
  }

@incollection{ beghelli-stowell:1997a,
  author = {Fillipo Beghelli and Tim Stowell},
  title = {Distributivity and Negation: The Syntax of {\it Each} and
  	{\it Every}},
  booktitle = {Ways of Scope Taking},
  publisher = {Kluwer Academic Publishers},
  year = {1997},
  editor = {Anna Szabolcsi},
  pages = {71--107},
  address = {Dordrecht},
  topic = {nl-quantifier-scope;nl-quantifiers;distributivity-of-quantifiers;}
  }

@book{ behforooz-hudson_fj:1996a,
  author = {Ali Behforooz and Frederick J. Hudson},
  title = {Software Engineering Fundamentals},
  publisher = {Oxford University Press},
  year = {1996},
  address = {New York},
  ISBN = {0195105397 (cloth)},
  rtnote = {UMich Media Union Library, QA 76.758 .B441 1996.},
  topic = {software-engineering-text;}
 }

@article{ behre:1965a,
  author = {F. Behre},
  title = {J.L. Austin's `If'},
  journal = {English Studies},
  year = {1965},
  volume = {46},
  pages = {85--92},
  missinginfo = {A's 1st name, number},
  topic = {JL-Austin;conditionals;}
  }

@inproceedings{ beil:1997a,
  author = {Franz Beil},
  title = {The Definiteness Effect in Attributive Comparatives},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VII}},
  publisher = {Cornell University},
  year = {1997},
  editor = {Aaron Lawson},
  pages = {37--54},
  address = {Ithaca, New York},
  topic = {nl-semantics;indefiniteness;comparative-constructions;}
  }

@article{ bejar-etal:2005a,
  author = {Ram\'on B\'ejar and Carmal Domschlak and C\`esar
  		Fern\'andez and Carla Gomes and Bhaskar Krishnamachari
		andd Bart Selman and Magda Valls},
  title = {Sensor Networks and Distributed {CSP}: Communication,
  		Computation and Complexity},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {161},
  number = {1--2},
  pages = {117--147},
  topic = {constraint-satisfaction;distributed-processing;}
  }

@book{ bekey-etal:2008a,
  author = {George Bekey and Robert Ambrose and Vijay Kumar and David
  		Lavery and Arthur Sanderson and Brian Wilcox and
		Junku Yuh and Yuan Zheng},
  title = {Robotics:  State of the Art and Future Challenges},
  publisher = {Imperial College Press},
  year = {2008},
  address = {London},
  ISBN = {978-1-84816-006-4},
  xref = {Review: stanton_s-williams_ma:2008a.},
  topic = {robotics;}
 }

@article{ beklemishev:1996a,
  author = {Lev D. Beklemishev},
  title = {Bimodal Logics for Extensions of Arithmetical Theories},
  journal = {The Journal of Symbolic Logic},
  year = {1996},
  volume = {61},
  number = {1},
  pages = {91--124},
  topic = {provability-logic;}
  }

@article{ beklemishev:2007a,
  author = {Lev D. Beklemishev},
  title = {Review of \emph{{G}\"odel's Theorem: An Incomplete Guide to
  		its Use and Abuse}, by {T}orkel {F}ranz\'en},
  journal = {The Bulletin of Symbolic Logic},
  year = {2007},
  volume = {13},
  number = {2},
  pages = {241--243},
  xref = {Review of: franzen:2005a},
  topic = {(in)completeness;goedels-first-theorem;
  	philosophy-of-computation;}
  }

@book{ bekoff-jamieson:1997a,
  editor = {Marc Bekoff and Dale Jamieson},
  title = {Readings in Animal Cognition},
  publisher = {The {MIT} Press},
  year = {1997},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-52208-X},
  topic = {animal-cognition;}
 }

@article{ belardinelli-lomuscio:2009a,
  author = {Francesco Belardinelli and Alessio R. Lomuscio},
  title = {Quantified Epistemic Logics for Reasoning about Knowledge
         in Multi-Agent Systems},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {9--10},
  pages = {982--1013},
  topic = {epistemic-logic;multiagent-systems;}
  }

@article{ belew:1993a,
  author = {Richard K. Belew},
  title = {Review of \emph{{N}euroscience and Connectionist Theory:
  	Something Old, Something New, Something Borrowed, $\ldots$},
	edited by {M}ark {A}. {G}luck and {D}avid {E}. {R}umelhart},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {62},
  number = {1},
  pages = {153--161},
  topic = {connectionism;neurocognition;}
  }

@incollection{ belkin:1994a,
  author = {Nicholas J. Belkin},
  title = {Design Principles for Electronic Textual Resources:
  	Investigating Uses of Scholarly Information},
  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 = {479--488},
  address = {Pisa and Dordrecht},
  topic = {computer-assisted-scholarship;computers-in-the-humanities;}
  }

@book{ bell_cg-newell:1971a,
  author = {C. Gordon Bell and Allen Newell},
  title = {Computer Structures: Readings and Examples},
  publisher = {McGraw-Hill},
  year = {1971},
  address = {New York},
  ISBN = {0-004357-4},
  contentnote = {TC:
    Part 1: The Structure of Computers
    Part 2: The Instruction-set Processor: Main-line Computers
    Part 3: The Instruction-set Processor Level: Variations in the Processor
    Part 4: The Instruction-set Processor Level: Special-function Processors
    Part 5: The PMS Level
    Part 6: Computer Families },
  topic = {computer-architectures;}
 }

@incollection{ bell_de:1977a,
  author = {David E. Bell},
  title = {A Decision Analysis of Objectives for a Forest Pest
  	Problem},
  booktitle = {Conflicting Objectives in Decisions},
  publisher = {John Wiley and Sons},
  year = {1977},
  editor = {David E. Bell and Ralph L. Keeney and Howard Raiffa},
  pages = {389--421},
  address = {New York},
  rtnote = {An applied paper.},
  topic = {decision-analysis;multiattribute-utility;}
  }

@book{ bell_de-etal:1977a,
  editor = {David E. Bell and Ralph L. Keeney and Howard Raiffa},
  title = {Conflicting Objectives in Decisions},
  publisher = {John Wiley and Sons},
  year = {1977},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {decision-analysis;multiattribute-utility;foundations-of-utility;}
 }

@incollection{ bell_de-etal:1977b,
  author = {David E. Bell and Ralph L. Keeney and Howard Raiffa},
  title = {Introduction and Overview},
  booktitle = {Conflicting Objectives in Dec

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit