text:
{Proceedings of the Thirteenth International Joint
     Conference on Artificial Intelligence},
  year = {1993},
  pages = {9--15},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  rtnote = {In RHT collection.},
  topic = {kr;abduction;nonmonotonic-reasoning;kr-course;}
  }

@article{ brewka-peppas:2005a,
  author = {Gerhard Brewka and Pavlos Peppas},
  title = {Preface},
  journal = {Studia Logica},
  year = {2005},
  volume = {79},
  number = {1},
  note = {Introduction to a special issue on reasoning about action
  		and change.},
  pages = {3--5},
  topic = {action-formalisms;}
  }

@inproceedings{ brezillon:2003a,
  author = {Patrick Br\'ezillon},
  title = {Context Dynamic and Explanation in Contextual Graphs},
  booktitle = {Modeling and Using Context: Fourth International and
  	Interdisciplinary Conference, Context 2003},
  publisher = {Springer-Verlag},
  year = {2003},
  editor = {Patrick Blackburn and Chiara Ghidini and Roy M. Turner
  	and Fausto Giunchiglia},
  pages = {94--106},
  address = {Berlin},
  topic = {context;explanation;conceptual-graphs;}
  }

@incollection{ brezillon:2005a,
  author = {Patrick Br\'ezillon},
  title = {Task-Realization Models in Contextual Graphs},
  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 = {55--68},
  address = {Berlin},
  topic = {context;graph-based-representations;plan-execution;}
  }

@article{ brice-fennema:1970a,
  author = {Claude R. Brice and Claude L. Fennema},
  title = {Scene Analysis Using Regions},
  journal = {Artificial Intelligence},
  year = {1970},
  volume = {1},
  number = {3--4},
  pages = {205--226},
  topic = {computer-vision;}
  }

@inproceedings{ bridgeland-huhns:1990a,
 author = {David M. Bridgeland and Michael N. Huhns},
 title = {Distributed Truth Maintenance},
  booktitle = {Proceedings of the Eighth National Conference on
              Artificial Intelligence},
  year = {1990},
  editor = {Thomas Dietterich and William Swartout},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  missinginfo = {pages},
  topic = {truth-maintenance;distributed-systems;}
  }

@book{ bridgeman-etal:1965a,
  author = {Loraine I. Bridgeman and Dale Dillinger and Constance Higgins
		and P. David Seaman and Floyd A. Shank},
  title = {Further Classes of Adjectives},
  publisher = {Indiana University Linguistics Club},
  year = {1982},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {adjectives;}
 }

@article{ bridges:1995a,
  author = {Douglas S. Bridges},
  title = {Constructive Mathematics and Unbounded Operators---A Reply to
		Hellman},
  journal = {Journal of Philosophical Logic},
  year = {1995},
  volume = {24},
  number = {5},
  pages = {549--561},
  xref = {Comment on hellman:1993a.},
  topic = {quantum-logic;}
  }

@article{ bridges:1999a,
  author = {Douglas S. Bridges},
  title = {Can Constructive Mathematics Be Applied
  	in Physics?},
  journal = {Journal of Philosophical Logic},
  year = {1999},
  volume = {28},
  number = {5},
  pages = {439--453},
  topic = {constructive-mathematics;
  	foundations-of-quantum-mechanics;}
  }

@article{ bridges:2000a,
  author = {Douglas S. Bridges},
  title = {Can Constructive Mathematics Be Applied in Physics?},
  journal = {Journal of Philosophical Logic},
  year = {2000},
  volume = {29},
  number = {5},
  pages = {439--453},
  topic = {constructive-mathematics;mathematics-in-the-sciences;}
  }

@article{ bridges:2002a,
  author = {Douglas Bridges},
  title = {Review of \emph{{C}omputable Calculus}, by Oliver Aberth},
  journal = {The Bulletin of Symbolic Logic},
  year = {2002},
  volume = {8},
  number = {3},
  pages = {426--428},
  xref = {Review of: aberth:2001a.},
  topic = {constructive-mathematics;automated-algebra;}
  }

@article{ briggs_r:2008a,
  author = {Rachael Briggs},
  title = {Distorted Reflection},
  journal = {The Philosophical Review},
  year = {2008},
  volume = {118},
  number = {1},
  pages = {59--85},
  topic = {epistemic-kinematics;probability-kinematics;}
  }

@article{ briggs_r:2010a,
  author = {Rachael Briggs},
  title = {Decision Theoretic Paradoxes as Voting Paradoxes},
  journal = {The Philosophical Review},
  year = {2010},
  volume = {119},
  number = {2},
  pages = {1--30},
  topic = {decision-theory;Arrow's-theorem;}
  }

@inproceedings{ briggs_w-cook_d:1995a,
  author = {Will Briggs and Diane Cook},
  title = {Flexible Social Laws},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {688--693},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  contentnote = {Cost of communication.},
  topic = {multiagent-planning;distributed-AI;}
 }

@techreport{ brill_d:1993a,
  author = {David Brill},
  title = {{LOOM} Reference Manual Version 2.0},
  institution = {University of Southern California},
  year = {1993},
  address = {Los Angeles California},
  topic = {description-logics;},
  }

@inproceedings{ brill_e:1992a,
  author = {Eric Brill},
  title = {A Simple Rule-Based Part-of-Speech Tagger},
  booktitle = {Proceedings of {ANLP}-92, 3rd Conference on Applied
    	Natural Language Processing},
  address = {Trento},
  pages = {152--155},
  year = {1992},
  note = {URL: citeseer.nj.nec.com/brill92simple.html},
  rtnote = {In RHT collection.},
  topic = {part-of-speech-tagging;}
 }

@inproceedings{ brill_e:1994a,
  author = {Eric Brill},
  title = {A Report of Recent Progress in Transformation-Based
  		Error-Driven Learning.},
  booktitle = {Proceedings of the Twelfth National Conference on
              Artificial Intelligence},
  year = {1994},
  editor = {Barbara Hayes-Roth and Richard Korf},
  pages = {722--727},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  topic = {part-of-speech-tagging;machine-learning;}
  }

@inproceedings{ brill_e:1995a,
  author = {Eric Brill},
  title = {Unsupervised Learning of Disambiguation Rules for
	Part of Speech Tagging},
  booktitle = {Proceedings of the Third Workshop on Very
		Large Corpora},
  year = {1995},
  editor = {David Yarovsky and Kenneth Church},
  pages = {1--13},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  rtnote = {In RHT collection.},
  topic = {corpus-tagging;part-of-speech-tagging;machine-learning;
	corpus-linguistics;}
  }

@article{ brill_e:1995b,
  author = {Eric Brill},
  title = {Transformation-Based Error-Driven Learning and Natural
  	Language Processing: A Case Study in Part-of_Speech Tagging},
  journal = {Computational Linguistics},
  year = {1995},
  volume = {21},
  number = {4},
  pages = {543--565},
  rtnote = {In RHT collection.},
  topic = {part-of-speech-tagging;machine-learning;}
  }

@incollection{ brill_e:2000a,
  author = {Eric Brill},
  title = {Pattern-Based Disambiguation for Natural Language
  	Processing},
  booktitle = {Proceedings of the 2000 Joint {SIGDAT} Conference
  	on Empirical Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Hinrich Sch\"utze and Keh-Yih Su},
  pages = {1--8},
  address = {Somerset, New Jersey},
  topic = {disambiguation;}
  }

@book{ brill_e-church_kw:1996a,
  editor = {Eric Brill and Kenneth Church},
  title = {Proceedings of the Conference on Empirical
		Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1996},
  address = {Somerset, New Jersey},
  contentnote = {TC:
     1. I. Dan Melamed, "A Geometric Approach to Mapping Bitext
			Correspondence"
     2. Xuanyin Xia and Dekai Wu, "Parsing {C}hinese with
			Almost-Context-Free Grammar"
     3. R. Basili and A. Marziali and M.T. Pazienza and P. Velardi,
			"Unsupervised Learning of Syntactic Knowledge:  Methods
			and Measures"
     4. Marie Meteer and Rukmini Iyer, "Modeling Conversational Speech
			for Speech Recognition"
     5. Mesaaki Nagata, "Automatic Extraction of New Words from {J}apanese
			Texts Using Generalized Forward-Backward Search"
     6. Thorston Brants, "Better Language Models with Model Merging"
     7. Kemal Oflazer and Gokhan Tur, "Combining Hand-Crafted Rules and
			Unsupervised Learning in Constraint-Based Morphological
			Disambiguation"
     8. Raymond J. Mooney, "Comparative Experiments on Disambiguating
		Word Senses: An Illustration of the Role of Bias in Machine
		Learning"
     9. John Carroll and Ted Briscoe,  "Apportioning Development Effort
		in a Probabilistic {LR} Parsing System through Evaluation
    10. Rebecca Bruce and Janyce Wiebe and Ted Pedersen, "Automating
		Feature Set Selection for Case-Based Learning of Linguistic
			Knowledge"
    11. Claire Cardie, "Automating Feature Set Selection for Case-Based
			Learning of Linguistic Knowledge"
    12. Sharon A. Carabello and Eugene Charniak, "Figures of Merit for
			Best-First Probabilistic Chart Parsing"
    13. Adwait Ratnaparkhi, "A Maximum Entropy Model for Part-of-Speech
			Tagging"
    14. Joshua Goodman, "Efficient Algorithms for Parsing the {DOP} Model"
    },
  rtnote = {In RHT collection.  ACL Shelves.},
  topic = {empirical-methods-in-nlp;}
 }

@inproceedings{ brill_e-etal:1998a,
  author = {Eric Brill and Radu Florian and John C. Henderson and
  	Lidia Mangu},
  title = {Beyond N-Grams: Can Linguistic Sophistication Improve
  	Language Modeling?},
  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 = {186--190},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {part-of-speech-tagging;}
}

@article{ brill_e-mooney_rj:1998a,
  author = {Eric Brill and  Raymond J. Mooney},
  title = {An Overview of Empirical Natural Language Processing},
  journal = {The {AI} Magazine},
  year = {1998},
  volume = {18},
  number = {4},
  pages = {13--24},
  topic = {natural-language-processing;corpus-linguistics;corpus-statistics;}
  }

@inproceedings{ brill_e-wu_j:1998a,
  author = {Eric Brill and Jun Wu},
  title = {Classifier Combination for Improved Lexical
  	Disambiguation},
  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 = {191--195},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {lexical-disambiguation;}
}

@article{ bringsjord:1984a,
  author = {Selmer Bringsford},
  title = {Are There Set Theoretic Possible Worlds?},
  journal = {Analysis},
  year = {1984},
  missinginfo = {number, volume, pages},
  topic = {foundations-of-possible-worlds;intensional-paradoxes;}
  }

@incollection{ bringsjord:1995a,
  author = {Selmer Bringsjord},
  title = {Could, How Could We Tell if, and Why Should---Androids
             Have Inner Lives?},
  booktitle = {Android Epistemology},
  publisher = {Cambridge University Press},
  year = {1995},
  editor = {Kenneth M. Ford and Clark Glymour and Patrick J. Hayes},
  pages = {93--121},
  address = {Cambridge, England},
  topic = {philosophy-AI;}
  }

@article{ bringsjord-etal:2000a,
  author = {Selmer Bringsjord and Clarke Caporale and Ron Noel},
  title = {Animals, Zombanimals, and the Total {T}uring Test},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {9},
  number = {4},
  pages = {397--418},
  topic = {foundations-of-AI;Turing;}
  }

@book{ bringsjord-ferrucci:2000a,
  author = {Selmer Bringsford and David A. Ferrucci},
  title = {Artificial Intelligence and Literary Creativity:
  	Inside the Mind of {BRUTUS}, a Storytelling Machine},
  publisher = {Lawrence Erlbaum Associates},
  year = {2000},
  address = {Mahwah, New Jersey},
  ISBN = {0-8058-1987-8 (pbk)},
  xref = {Review: desousa:2000a.},
  topic = {automated-creative-writing;}
 }

@article{ brink_c:1997a,
  author = {Chris Brink},
  title = {Review of \emph{{L}ogic and Information Flow}, by {J}an van
   {E}ijk and {A}lbert {V}isser},
  journal = {Journal of Logic, Language, and Information},
  year = {1997},
  volume = {6},
  number = {3},
  pages = {337--338},
  xref = {Review of vaneijk_j-visser_a:1994a.},
  topic = {theory-of-computation;dynamic-logic;information-processing;
  	information-flow-theory;theories-of-information;}
  }

@article{ brink_c-rewitzky:2002a,
  author = {Chris Brink and Ingrid Rewitzky},
  title = {Three Dual Ontologies},
  journal = {Journal of Philosophical Logic},
  year = {2002},
  volume = {31},
  number = {6},
  pages = {569--590},
  contentnote = {Proves that formalizations of various approaches
  	to ontology -- nominalistic, realistic, and factualistic --
	are intertranslateable.},
  topic = {ontology;metaphysics;logic-and-ontology;logic-and-philosophy;}
  }

@incollection{ brink_c-schmidt_ph:1992a,
  author = {Chris Brink and Renate A. Schmidt},
  title = {Subsumption Computed Algbraically},
  booktitle = {Semantic Networks in Artificial Intelligence},
  publisher = {Pergamon Press},
  year = {1992},
  editor = {Fritz Lehmann},
  pages = {329--342},
  address = {Oxford},
  contentnote = {An abstact, algebraic semantics
  	for description logics.  See dionne-etal:1992a.},
  topic = {kr;classifier-algorithms;equational-logic;kr-course;
  	description-logics;algebraic-semantics;}
  }

@article{ brink_do:1994a,
  author = {David O. Brink},
  title = {Moral Conflict and Its Structure},
  journal = {The Philosophical Review},
  year = {1994},
  volume = {103},
  number = {2},
  pages = {215--248},
  topic = {moral-conflict;}
  }

@article{ brink_do:2007a,
  author = {David O. Brink},
  title = {Review of \emph{Thinking How to Live}, by {A}llen {G}ibbard},
  journal = {The Philosophical Review},
  year = {2007},
  volume = {116},
  number = {2},
  pages = {267--272},
  xref = {Review of: gibbard:2003b},
  topic = {ethics;expressivism;}
  }

@incollection{ briscoe:1991a,
  author = {Ted Briscoe},
  title = {Lexical Issues in Natural Language Processing},
  booktitle = {Natural Language and Speech},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Ewan Klein and Frank Veltman},
  pages = {39--68},
  address = {Berlin},
  url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.51.2380&rep=rep1&type=ps},
  topic = {computational-lexicography;}
  }

@techreport{ briscoe:1994a,
  author = {Ted Briscoe},
  title = {Parsing (with) Punctuation},
  institution = {Rank Xerox Research Centre},
  address = {Grenoble, France },
  year = {1994},
  topic = {punctuation;}
}

@inproceedings{ briscoe:1997a,
  author = {Ted Briscoe},
  title = {Co-Evolution of Language and of the Language Acquisition
  	Device},
  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 = {418--427},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {language-learning;parameter-setting;categorial-grammar;
  	inheritance;inheritance-reasoning;}
 }

@book{ briscoe:2002a,
  editor = {Ted Briscoe},
  title = {Linguistic Evolution through Language Acquisition: Formal
  	and Computational Models},
  publisher = {Cambridge University Press},
  year = {2002},
  address = {Cambridge, England},
  ISBN = {0-521-66299-0},
  xref = {Review: arbib:2003a},
  topic = {language-learning;language-and-evolution;}
 }

@inproceedings{ briscoe-carroll_jm:1995b,
  author = {Ted Briscoe and John M. Carroll},
  title = {Developing and Evaluating a Probabilistic {LR} Parser
		  of Part-of-Speech and Punctuation Labels},
  pages = {48--58},
  booktitle = {Proceedings of International Workshop on Parsing
		  Technologies},
  year = {1995},
  address = {Prague, Czech Republic},
  month = {September},
  topic = {punctuation;}
}

@article{ briscoe-copestake:1999a,
  author = {Ted Briscoe and Ann Copestake},
  title = {Lexical Rules in Constraint-Based Grammars},
  journal = {Computational Linguistics},
  year = {1999},
  volume = {25},
  number = {4},
  pages = {487--526},
  topic = {constraint-based-grammar;lexical-rules;}
  }

@book{ briscoe-etal:1993a,
  editor = {Ted Briscoe and Valeria de Paiva and Ann Copestake},
  title = {Inheritance, Defaults, and the Lexicon},
  publisher = {Cambridge University Press},
  year = {1993},
  address = {Cambridge, England},
  contentnote = {TC:
     1. Bob Carpenter, "Skeptical and Credulous Default Unification
     		with Applications to Templates and Inheritance"
     2. Roger Evans and Gerald Gazdar and Lionel Moser, "Prioritised
     		Multiple Inheritance in {DATR}"
     3. Lynne J. Cahill, "Some Reflections on the Conversion of the
     		{TIC} Lexicon into {DATR}"
     4. Michael Morreau, "Norms or Inference Tickets?  A Frontal
     		Collision between Intuitions"
     5. R\'emi Zajac, "Issues in the Design of a Language for
     		Representing Linguistic Information Based on
		Inheritance and Feature Structures"
     6. Hans-Ulrich Krieger and John Nerbonne, "Feature-Based
     		Inheritance Networks for Computational Lexicons"
     7. Graham Russell et al., "A Practical Approach to multiple
     		Default Inheritance for Unification-Based Lexicons"
     8. Ann Copestake et al., "The {ACQUILEX} {LKB}: An Introduction"
     9. Valeria De Paiva, "Types and Constraints in the {LKB}"
    10. Antonio Sanfilippo, "Defaults in Lexical Representation"
    11. Ann Copestake, "{LKB} Encoding of Lexical Knowledge"
    12. Piek Vossen and Ann Copestake, "Untangling Definition
    		Structure into Knowledge Representation"
  },
  ISBN = {0521430275 (hardback)},
  rtnote = {UMich Graduate Library P 326 .I541 1993},
  topic = {inheritance;computational-lexicography;}
 }

@incollection{ briscoe-etal:1995a,
  author = {Ted Briscoe and Ann Copestake and Alex Lascarides},
  title = {Blocking},
  booktitle = {Computational Lexical Semantics},
  publisher = {Cambridge University Press},
  year = {1995},
  editor = {Patrick Saint-Dizier and Evelyne Viegas},
  pages = {273--302},
  address = {Cambridge, England},
  topic = {nl-kr;computational-lexical-semantics;nm-ling;}
  }

@inproceedings{ brisson:1997a,
  author = {Christine Brisson},
  title = {On Definite Plural {NP}'s and the Meaning of All},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VII}},
  publisher = {Cornell University},
  year = {1997},
  editor = {Aaron Lawson},
  pages = {55--72},
  address = {Ithaca, New York},
  topic = {nl-semantics;plural;nl-quantifiers;}
  }

@article{ brisson:2003a,
  author = {C. Brisson},
  title = {Plurals, {\em All}, and the Nonuniformity of Collective
  	Predication},
  journal = {Linguistics and Philosophy},
  year = {2003},
  volume = {26},
  number = {2},
  pages = {129--184},
  topic = {nl-semantics;plural;nl-quantifiers;}
  }

@book{ britton-graesser:1996a,
  editor = {Bruce K. Britton and Arthur C. Grasser},
  title = {Models of Understanding Text},
  publisher = {Lawrence Erlbaum Associates},
  year = {1996},
  address = {Mahwah, New Jersey},
  topic = {text-understanding;psycholinguistics;}
 }

@article{ britz:1999a,
  author = {K. Britz},
  title = {Algebra for Theory Change},
  journal = {Journal of Logic, Language, and Information},
  year = {1999},
  volume = {8},
  number = {4},
  pages = {429--443},
  topic = {belief-revision;}
  }

@article{ britz-etal:2009a,
  author = {Katarina Britz and Johannes Heidema and Willem Labuschagne},
  title = {Semantics for Dual Preferential Entailment},
  journal = {Journal of Philosophical Logic},
  year = {2009},
  volume = {38},
  number = {4},
  pages = {433--446},
  topic = {modal-logic;model-preference;modal-logic;}
  }

@book{ broadbent:1993a,
  editor = {Donald Broadbent},
  title = {The Simulation of Human Intelligence},
  publisher = {Blackwell Publishers},
  year = {1993},
  address = {Oxford},
  rtnote = {In RHT collection.  Cogsci Shelves.},
  contentnote = {TC:
  	1. Roger Penrose, "Setting the Scene: The Claim and the
		Issues", pp. 1--32
	2. Allen Newell and Richard Young and Thad Polk, "The
		Approach through Symbols", pp. 33--70
	3. Dana H. Ballard, "Sub-Symbolic Modeling of Hand-Eye
		Coordination", pp. 71--102
	4. Edmund T. Rolls, "Networks in the Brain", pp. 103--120
	5. Michael Brady, "Computational Vision", pp. 121--150
	6. Gerald Gazdar, "The Handling of Natural Language", pp. 151--177
	7. Margaret A. Boden, "The Impact of Philosophy", pp. 178--197
       10. Donald Broadbent, "Comparison with Human
       		Experiments", pp. 198--217
   },
  topic = {foundations-of-AI;philosophy-AI;AI-survey;}
 }

@incollection{ broadbent:1993b,
  author = {Donald Broadbent},
  title = {Comparison with Human Experiments},
  booktitle = {The Simulation of Human Intelligence},
  publisher = {Blackwell Publishers},
  year = {1993},
  editor = {Donald Broadbent},
  pages = {198--217},
  address = {Oxford},
  topic = {foundations-AI;cognitive-psychology;}
  }

@article{ broadie:1972a,
  author = {Alexander Broadie},
  title = {Imperatives},
  journal = {Mind, New Series},
  year = {1972},
  volume = {81},
  number = {322},
  pages = {179--190},
  contentnote = {Pays attention to grammar of imperatives.},
  topic = {imperative-logic;imperatives;}
  }

@article{ brock:2004a,
  author = {Stuart Brock},
  title = {The Ubiquitous Problem of Empty Names},
  journal = {The Journal of Philosophy},
  year = {2004},
  volume = {101},
  number = {6},
  pages = {277--298},
  topic = {proper-names;reference-gaps;philosophy-of-language;}
  }

@article{ brockriede-ehringer:1960a1,
  author = {Wayne E. Brockriede and Douiglas Ehringer},
  title = {Toulmin on Argument: An Interpretation and Application},
  journal = {Quarterly Journal of Speech},
  year = {1960},
  volume = {46},
  pages = {44--55},
  rtnote = {In RHT Collection},
  missinginfo = {number},
  xref = {Reprinted in golden-etal:1976a, see brockriede-ehringer:1960a2},
  topic = {rhetoric;argumentation;}
  }

@incollection{ brockriede-ehringer:1960a2,
  author = {Wayne E. Brockriede and Douiglas Ehringer},
  title = {Toulmin on Argument: An Interpretation and Application},
  booktitle = {The Rhetoric of {W}estern Thought},
  publisher = {Kendall/Hunt Publishing Co.},
  year = {1976},
  editor = {James L. Golden and Goodwin F. Berquist and William E. Coleman},
  pages = {175--198},
  address = {Dubuque, Iowa},
  rtnote = {In RHT Collection, under "Brockriede".},
  missinginfo = {number},
  xref = {Reprinted see brockriede-ehringer:1960a1},
  topic = {rhetoric;argumentation;}
  }

@incollection{ brodie:1984b,
  author = {Michael L. Brodie},
  title = {On the Development of Data Models},
  booktitle = {On Conceptual Modelling:  Perspectives from Artificial
  	Intelligence, Databases and Programming Languages},
  publisher = {Springer-Verlag},
  year = {1984},
  editor = {Michael L. Brodie and John Mylopoulos and Joachim W. Schmidt},
  pages = {19--83},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {databases;data-models;}
  }

@book{ brodie-etal:1984a,
  editor = {Michael L. Brodie and John Mylopoulos and Joachim W. Schmidt},
  title = {On Conceptual Modelling:  Perspectives from Artificial
  	Intelligence, Databases and Programming Languages},
  publisher = {Springer-Verlag},
  year = {1984},
  address = {Berlin},
  rtnote = {Computer Sci Lib (200  QA76.9.C65 O5 1984
         Information Sciences   QA76.9.C65 O5 1984},
  rtnote = {In RHT collection.  In pieces. See authors.},
  topic = {kr;databases;}
 }

@incollection{ brody_ba:1978a,
  author = {Baruch A. Brody},
  title = {Kripke on Proper Names},
  booktitle = {Contemporary Perspectives in the Philosophy of Language},
  publisher = {University of Minnesota Press},
  year = {1978},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard
  	K. Wettstein},
  pages = {75--80},
  address = {Minneapolis},
  topic = {reference;proper-names;}
  }

@incollection{ brody_m:1982a,
  author = {Michael Brody},
  title = {On Circular Readings},
  booktitle = {Mutual Knowledge},
  publisher = {Academic Press},
  year = {1982},
  editor = {N.V. Smith},
  pages = {133--147},
  address = {London},
  topic = {Bach-Peters-sentences;anaphora;}
  }

@book{ brody_m:1995a,
  author = {Michael Brody},
  title = {Lexico-Logical Form: A Radically Minimalist Theory},
  publisher = {The {MIT} Press},
  year = {1995},
  address = {Cambridge, Massachusetts},
  topic = {nl-semantics;minimalist-syntax;}
 }

@incollection{ brody_m:2002a,
  author = {Michael Brody},
  title = {On the Status of Representations and Derivations},
  booktitle = {Derivation and Explanation in the Minimalist Program},
  publisher = {Blackwell Publishing},
  year = {2002},
  editor = {Samuel David Epstein and T. Daniel Seeley},
  pages = {19--41},
  address = {Oxford},
  topic = {minimalist-syntax;}
  }

@incollection{ brody_m-manzini_mr:1988a,
  author = {Michael Brody and M. Rita Manzini},
  title = {On Implicit Arguments},
  booktitle = {Mental Representations: The Interface Between Language and
  	Reality},
  publisher = {Cambridge University Press},
  year = {1988},
  editor = {Ruth Kempson},
  pages = {105--130},
  address = {Cambridge, England},
  topic = {nl-semantics;ellipsis;argument-structure;}
  }

@book{ broeder:2000a,
  editor = {Peter Broeder},
  title = {Models of Language Acquisition: Inductive and Deductive
  	Approaches},
  publisher = {Oxford University Press},
  year = {2000},
  address = {Oxford},
  ISBN = {0-19-824138-0 (hardback)},
  topic = {L1-acquisition;}
 }

@phdthesis{ broersen:2003a,
  author = {Jan Broersen},
  title = {Modal Action Logics for Reasoning about Reactive Systems},
  school = {Vrije Universiteit Amsterdam},
  year = {2003},
  type = {Ph.D. Dissertation},
  address = {Amsterdam},
  url = {http://www.cs.vu.nl/res/theses/broersen.html},
  contentnote = {The central problem of this Ph.D. thesis is to
     develop a formal framework for specifying and reasoning about
     reactive systems. We develop a modal action logic framework that
     combines reasoning about (1) action composition, (2) time, (3)
     action description assumptions, and (4) deontic modalities. The
     operations for action composition we consider are:
     non-deterministic choice, sequence, concurrency, iteration,
     converse and complement. In particular, we define and study a
     relativized action complement, that is intuitively more
     satisfactory than existing alternatives discussed in the
     literature.  Concerning time, we study how to combine modal
     logics of non-deterministic action (e.g. dynamic logics) with
     modal logics of branching time (e.g. CTL, modal mu-calculus).
     Examples of action description assumptions are the `frame
     problem', which can be described as the question how to deal
     with an assumption about effects of actions, and the
     `qualification problem', which concerns an assumption about the
     possibility of actions. We study semantic solutions in terms of
     preference orderings over modal action models.  Finally, we
     consider modal logics for the normative (deontic) modalities
     `permission', `prohibition' and `obligation' over complex
     action. An important distinction we make is that between action
     goal norms and process norms. The first type of norms can only
     be violated at the point of completion of an action, whereas
     process norms can also be violated during execution of a complex
     action.  },
  rtnote = {In RHT collection.  Project pile.},
  topic = {action-formalisms;reactive-systems;dynamic-logic;
  	deontic-logic;branching-time;}
 }

@article{ broersen-etal:2002a,
  author = {Jan Broersen and Mehdi Dastani and Joris Hulstijn and
  	Leendert van der Torre},
  title = {Goal Generation in the {BOID} Architecture},
  journal = {Cognitive Science Quarterly},
  year = {2002},
  volume = {2},
  number = {3--4},
  pages = {428--447},
  url = {http://people.cs.uu.nl/mehdi/publication/goalgeneration.ps},
  rtnote = {In RHT collection. \my10},
  topic = {goals;goal-generation;}
  }

@incollection{ brogi-contiero:1994a,
  author = {Antonio Brogi and Simone Contiero},
  title = {{G}\"odel as a Meta-Language for
    		Composing 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 = {377--394},
  address = {Berlin},
  topic = {metaprogramming;}
  }

@incollection{ brogi-turini:1991a,
  author = {Antonio Brogi and Franco Turini},
  title = {Metalogic for Knowledge Representation},
  booktitle = {{KR}'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {61--69},
  address = {San Mateo, California},
  topic = {kr;logic-programming;semantic-reflection;metareasoning;
  	kr-course;}
  }

@inproceedings{ broker:1998a,
  author = {Norbert Br\"oker},
  title = {Separating Surface Order and Syntactic Relations in a
  	Dependency Grammar},
  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 = {174--180},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {dependency-grammar;}
}

@incollection{ bromberger:1962a,
  author = {Sylvan Bromberger},
  title = {What Are Effects?},
  booktitle = {Analytical Philosophy, First Series},
  publisher = {Barnes and Noble},
  year = {1962},
  editor = {Ronald J. Butler},
  pages = {15--20},
  address = {New York},
  xref = {Comments on: vendler:1962a.},
  topic = {ordinary-language-philosophy;causality;}
  }

@incollection{ bromberger:1965a,
  author = {Sylvan Bromberger},
  title = {An Approach to Explanation},
  booktitle = {Analytical Philosophy, Second Series},
  publisher = {Basil Blackwell},
  year = {1965},
  editor = {Ronald J. Butler},
  pages = {72--105},
  address = {Oxford},
  topic = {explanation;interrogatives;why-questions;}
  }

@inproceedings{ bromme-etal:1999a,
  author = {Rainer Bromme and Matthias N\"uckles and Riklef Rambow},
  title = {Adaptivity and Anticipation in Expert-Laypeople
			Communication},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Psychological Models of Communication in Collaborative
	Systems},
  year = {1999},
  editor = {Susan E. Brennan and Alain Giboin and David R. Traum},
  pages = {17--24},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {discourse;expert-nonexpert-communication;}
  }

@article{ bronxvall-jonsson_p:2003a,
  author = {Matthias Bronxvall and Peter Jonsson},
  title = {Point Algebras for Temporal Reasoning: Algorithms and
  	Complexity},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {149},
  number = {2},
  pages = {179--220},
  topic = {temporal-reasoning;constraint-satisfaction;}
  }

@book{ brooks_fp:1975a,
  author = {Frederic P. {Brooks, Jr.}},
  title = {The Mythical Man-Month},
  publisher = {Addison-Wesley Publishing Co},
  year = {1975},
  address = {Reading, Massachusetts},
  xref = {Revision: brooks_fp:1995a.},
  ISBN = {0201006502},
  rtnote = {Media Union Library  Call No: QA 76.6 .B87},
  topic = {software-engineering;}
 }

@article{ brooks_fp:1987a,
  author = {Frederic P. {Brooks, Jr.}},
  title = {No Silver Bullet---Essence and Accidents of Software
  	Engineering},
  journal = {{IEEE} Computer},
  year = {1987},
  volume = {20},
  number = {4},
  pages = {10--19},
  topic = {software-engineering;}
  }

@book{ brooks_fp:1995a,
  author = {Frederic P. {Brooks, Jr.}},
  title = {The Mythical Man-Month},
  publisher = {Addison-Wesley Publishing Co},
  year = {1995},
  address = {Reading, Massachusetts},
  note = {Revised, anniversary edition},
  ISBN = {0-201-83595-9},
  rtnote = {UMich Media Union Library QA 76.6 .B87 1995},
  rtnote = {In RHT collection.},
  xref = {Revision: brooks_fp:1975a.},
  topic = {software-engineering;}
 }

@book{ brooks_mz:1975a,
  author = {by Maria Zagorska Brooks},
  title = {Polish Reference Grammar},
  publisher = {Mouton},
  year = {1975},
  address = {The Hague},
  ISBN = {9027933138},
  rtnote = {UMich GRAD REFERENCE (Non-Circulating), PG 6112 .B87.},
  topic = {Polish-language;reference-grammars;}
 }

@article{ brooks_ra:1981a,
  author = {Rodney A. Brooks},
  title = {Symbolic Reasoning among {3-D} Models and {2-D} Images},
  journal = {Artificial Intelligence},
  year = {1981},
  volume = {17},
  number = {1--3},
  pages = {285--348},
  topic = {computer-vision;three-D-reconstruction;}
  }

@article{ brooks_ra:1991a,
  author = {Rodney A. Brooks},
  title = {Intelligence without Representation},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {47},
  number = {1--3},
  pages = {139--159},
  topic = {minimalist-robotics;reactive-AI;foundations-of-AI;krcourse;}
  }

@inproceedings{ brooks_ra:1991b,
  author = {Rodney A. Brooks},
  title = {Intelligence without Reason},
  booktitle = {Proceedings of the Twelfth International Joint
  	Conference on Artificial Intelligence},
  year = {1991},
  editor = {Barbara Grosz and John Mylopoulos},
  pages = {569--595},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  missinginfo = {A's 1st name},
  topic = {minimalist-robotics;reactive-AI;}
  }

@book{ brooks_ra:1999a,
  author = {Rodney A. Brooks},
  title = {Cambrian Intelligence: The Early History of the New {AI}},
  publisher = {The {MIT} Press},
  year = {1999},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-52263-2},
  topic = {minimalist-robotics;reactive-AI;}
 }

@book{ brooks_ra:2002a,
  author = {Rodney A. Brooks},
  title = {Flesh and Machines: How Robots Will Change Us},
  publisher = {Pantheon Books},
  year = {2002},
  address = {New York},
  ISBN = {0-375-42079-7},
  rtnote = {In RHT collection.  Misc Shelf.  m&mcourse;},
  topic = {robotics;AI-editorial;popular-AI;}
 }

@article{ brooks_rr-etal:1996a,
  author = {R.R. Brooks and S.S. Iyengar and J. Chen},
  title = {Automatic Correlation and Calibration of Noisy Sensor
  	Readings Using Elite Genetic Algorithms},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {84},
  number = {1--2},
  pages = {339--354},
  acontentnote = {Abstract:
     This paper explores an image processing application of
     optimization techniques which entails interpreting noisy sensor
     data.  The application is a generalization of image correlation;
     we attempt to find the optimal gruence which matches two
     overlapping gray scale images corrupted with noise. Both tabu
     search and genetic algorithms are used to find the parameters
     which match the two images. A genetic algorithm approach using
     an elitist reproduction scheme is found to provide significantly
     superior results.},
  topic = {genetic-algorithms;reasoning-about-noisy-sensors;
  	noise-reduction;}
  }

@book{ broome_j:1991a,
  author = {John Broome},
  title = {Weighing Goods: Equality, Uncertainty, and Time},
  publisher = {Blackwell Publishers},
  year = {1991},
  rtnote = {GSPIA/Economics Lib    HB72 B76 1991},
  address = {Oxford},
  topic = {multiattribute-utility;}
 }

@article{ broome_j:1999a,
  author = {John Broome},
  title = {Normative Requirements},
  journal = {Ratio},
  year = {1999},
  volume = {12},
  missinginfo = {number},
  pages = {398--419},
  rtnote = {In RHT collection.  Our for reading, Summer 2009.},
  topic = {practical-reasoning;reasons-for-action;}
  }

@article{ broome_ja:1984a,
  author = {J.A. Broome},
  title = {Indefiniteness in Identity},
  journal = {Analysis},
  year = {1984},
  volume = {44},
  pages = {263--287},
  missinginfo = {A's 1st name, number},
  topic = {vagueness;identity;}
  }

@book{ broughton:2002a,
  author = {Janet Broughton},
  title = {Descartes' Method of Doubt},
  publisher = {Princeton University Press},
  year = {2002},
  address = {Princeton, New Jersey},
  xref = {Review: newman_l:2004a},
  topic = {Descartes;epistemology;skepticism;}
 }

@article{ brouwer:1913a,
  author = {L.E.J. Brouwer},
  title = {Intuitionism and Formalism},
  journal = {Bulletin of the {A}merican {M}athematical {S}ociety},
  year = {1913},
  volume = {20},
  number = {2},
  pages = {81--96},
  missinginfo = {A's 1st name},
  rtnote = {In RHT collection.},
  topic = {intuitionistic-mathematics;philosophy-of-mathematics;}
  }

@inproceedings{ brouwer:1948a,
  author = {L.E.J. Brouwer},
  title = {Consciousness, Philosophy, and Mathematics},
  booktitle = {Proceedings of the {X}th International Congress
  	of Philosophy},
  year = {1948},
  pages = {1235--1249},
  publisher = {North-Holland Publishing Co.},
  address = {Amsterdam},
  missinginfo = {A's 1st name},
  topic = {intuitionistic-mathematics;philosophy-of-mathematics;}
  }

@book{ browder:1992a,
  editor = {Felix E. Browder},
  title = {Mathematics into the Twenty-First Century: 1988 Centennial
    Symposium, August 8--12},
  publisher = {Providence, R.I. American Mathematical Society},
  year = {1992},
  address = {Providence},
  ISBN = {0821801678},
  rtnote = {UMich Science, QA 1 .M42533 1992.},
  topic = {mathematics-general;}
 }

@article{ brown_b:1999a,
  author = {Bryson Brown},
  title = {Yes, {V}irginia, There Really Are Paraconsistent
  	Logics},
  journal = {Journal of Philosophical Logic},
  year = {1999},
  volume = {28},
  number = {5},
  pages = {489--500},
  topic = {paraconsistency;}
  }

@article{ brown_b:1999b,
  author = {Bryson Brown},
  title = {Adjunction and Aggregation},
  journal = {No\^us},
  year = {1999},
  volume = {33},
  number = {2},
  pages = {273--283},
  topic = {lottery-paradox;}
  }

@article{ brown_b:2000a,
  author = {Bryson Brown},
  title = {Yes, {V}irginia, There Really Are Paraconsistent
  	Logics},
  journal = {Journal of Philosophical Logic},
  year = {2000},
  volume = {29},
  number = {5},
  pages = {489--500},
  topic = {paraconsistency;philosophy-of-logic;}
  }

@article{ brown_b-priest:2004a,
  author = {Bryson Brown and Graham Priest},
  title = {Chunk and Permeate, a Paraconsistent Inference Strategy.
  		Part {I}:  The Infinitesimal Calculus},
  journal = {Journal of Philosophical Logic},
  year = {2004},
  volume = {33},
  number = {4},
  pages = {379--388},
  topic = {paraconsistency;infinitesimals;}
  }

@article{ brown_b-scotch:1999a,
  author = {Bryson Brown and Peter Scotch},
  title = {Logic and Aggregation},
  journal = {Journal of Philosophical Logic},
  year = {1999},
  volume = {28},
  number = {3},
  pages = {265--287},
  topic = {paraconsistency;}
  }

@incollection{ brown_c:1986a,
  author = {Curtis Brown},
  title = {What Is a Belief State?},
  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 = {357--378},
  address = {Minneapolis},
  topic = {belief;mental-states;}
  }

@article{ brown_c:1991a,
  author = {Curtis Brown},
  title = {Believing the Impossible},
  journal = {Synth\'ese},
  year = {1991},
  volume = {89},
  number = {3},
  pages = {353--364},
  topic = {belief;Pierre-puzzle;}
  }

@article{ brown_c-luperfoy_s:1991a,
  author = {Curtis Brown and Steven Luper-Foy},
  title = {Belief and Rationality},
  journal = {Synth\'ese},
  year = {1991},
  volume = {89},
  number = {3},
  pages = {323--329},
  topic = {belief;rationality;hyperintensionality;self-deception;}
  }

@article{ brown_cd:1965a,
  author = {Charles D. Brown},
  title = {Fallacies in {R}ichard {T}aylor's `Fatalism'\,},
  journal = {The Journal of Philosophy},
  year = {1965},
  volume = {62},
  number = {13},
  pages = {340--353},
  xref = {Commentary on: taylor_r:1962a.},
  topic = {(in)determinism;}
  }

@book{ brown_dg:1968a,
  author = {Donald George Brown},
  title = {Action},
  publisher = {University of Toronto Press},
  year = {1968},
  address = {Toronto},
  topic = {philosophy-of-action;}
 }

@article{ brown_fm:1977a,
  author = {F. Malloy Brown},
  title = {Doing Arithmetic without Diagrams},
  journal = {Artificial Intelligence},
  year = {1977},
  volume = {8},
  number = {2},
  pages = {175--200},
  acontentnote = {Abstract:
     We describe a theorem prover for elementary number theory which
     proves theorems not by representing them as diagrams as in a
     semantic net, but rather by representing them in the traditional
     manner as lists. This theorem prover uses no chaining rules,
     forward or backward, but instead interaction between equations
     is based upon the use of many truth-value preserving
     transformations.  These transformations are used in a manner
     similar to that in which a LISP interpreter executes LISP
     functions.},
  topic = {theorem-proving;}
  }

@article{ brown_fm:1978a,
  author = {Frank M. Brown},
  title = {Towards the Automation of Set Theory and its Logic},
  journal = {Artificial Intelligence},
  year = {1978},
  volume = {10},
  number = {3},
  pages = {281--316},
  topic = {set-theory;theorem-proving;computer-assisted-mathematics;}
  }

@article{ brown_fm:1980a,
  author = {Frank Malloy Brown},
  title = {An Investigation into the Goals of Research in Automatic
  	Theorem Proving as Related to Mathematical Reasoning},
  journal = {Artificial Intelligence},
  year = {1980},
  volume = {14},
  number = {3},
  pages = {221--242},
  topic = {theorem-proving;computer-assisted-mathematics;}
  }

@article{ brown_fm:1986a,
  author = {Frank Malloy Brown},
  title = {An Experimental Logic Based on the Fundamental Deduction
  	Principle},
  journal = {Artificial Intelligence},
  year = {1986},
  volume = {30},
  number = {2},
  pages = {117--263},
  acontentnote = {Abstract:
     Experimental logic can be viewed as a branch of logic dealing
     with the actual construction of useful deductive systems and
     their application to various scientific disciplines.  In this
     paper we describe an experimental deductive system called the
     SYMbolic EVALuator (i.e. SYMEVAL) which is based on a rather
     simple, yet startling principle about deduction, namely that
     deduction is fundamentally a process of replacing expressions by
     logically equivalent expressions.  This principle applies both to
     logical and domain-dependent axioms and rules.  Unlike more
     well-known logical inference systems which do not satisfy this
     principle, herein is described a system of logical axioms and
     rules called the SYMMETRIC LOGIC which is based on this
     principle.  Evidence for this principle is given by proving
     theorems and performing deduction in the areas of set theory,
     logic programming, natural language analysis, program
     verification, automatic complexity analysis, and inductive
     reasoning.},
  topic = {theorem-proving;applied-logic;set-theory;}
  }

@book{ brown_fm:1987a,
  editor = {Frank Malloy Brown},
  title = {The Frame Problem in Artificial Intelligence: Proceedings
  	of the 1987 Workshop},
  publisher = {Morgan Kaufmann},
  year = {1987},
  address = {Los Altos, California},
  topic = {kr;frame-problem;}
 }

@article{ brown_fm-tarnlund:1979a,
  author = {Frank Malloy Brown and Sten-{\AA}ke T{\aa}rnlund},
  title = {Inductive Reasoning on Recursive Equations},
  journal = {Artificial Intelligence},
  year = {1979},
  volume = {12},
  number = {3},
  pages = {207--229},
  acontentnote = {Abstract:
     We investigate several methods of inductive reasoning in the
     domain of recursive equations, including the method of
     generalization with beliefs, the method of successive
     refinement, and temporal methods based on comparisons with
     previously solved problems.
  },
  topic = {learning-theory;inductive-reasoning;}
  }

@book{ brown_g:1995a,
  author = {Gillian Brown},
  title = {Speakers, Listeners, and Communication:  Explorations in
  	Discourse Analysis},
  publisher = {Cambridge Univesity Press},
  year = {1995},
  address = {Cambridge, England},
  contentnote = {This is about the "map task".},
  xref = {Review: mcroy_s:1996a.},
  topic = {discourse;discourse-analysis;referring-expressions;
  	definite-descriptions;anaphora;pragmatics;}
 }

@book{ brown_g-yule:1983a,
  author = {Gillian Brown and George Yule},
  title = {Discourse Analysis},
  publisher = {Cambridge University Press},
  year = {1983},
  address = {Cambridge, England},
  rtnote = {Reading notes on file.},
  topic = {discourse;discourse-analysis;pragmatics;}
 }

@article{ brown_gp:1980a,
  author = {Gretchen P. Brown},
  title = {Characterizing Indirect Speech Acts},
  journal = {Computational Linguistics},
  volume = {6},
  year = {1980},
  pages = {150--166},
  topic = {pragmatics;speech-acts;indirect-speech-acts;}
 }

@article{ brown_jr:2004a,
  author = {James Robert Brown},
  title = {Peeking into {P}lato's Heaven},
  journal = {Philosophy of Science},
  year = {2004},
  volume = {71},
  number = {5},
  pages = {1126--1138},
  note = {Philosophy of Science: Proceedings of the
  	2002 Biennial Meeting of the
	Philosophy of Science Association, Part 2: Symposia
	Papers.  Edited by Sandra D. Mitchell.},
  topic = {scientific-thought-experiments;}
  }

@book{ brown_jr:2008a,
  author = {James Robert Brown},
  edition = {2},
  title = {Philosophy of Mathematics:  A Contemporary Introduction
  		to the World of Proofs and Pictures},
  publisher = {Routledge},
  year = {2008},
  address = {London},
  ISBN13 = {9780415960489},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  topic = {philosophy-of-mathematics;foundations-of-mathematics;}
 }

@article{ brown_ma:1990a,
  author = {Mark A. Brown},
  title = {Action and Ability},
  journal = {Journal of Philosophical Logic},
  year = {1990},
  volume = {19},
  number = {1},
  pages = {95--114},
  topic = {action;ability;}
  }

@article{ brown_ma:1995a,
  author = {Mark A. Brown},
  title = {Stit in Time},
  journal = {Bulletin of Symbolic Logic},
  year = {1995},
  volume = {1},
  pages = {88--89},
  note = {Abstract.},
  missinginfo = {number},
  topic = {stit;}
  }

@article{ brown_ma:1995b,
  author = {Mark A. Brown},
  title = {On the Logic of Ability},
  journal = {Journal of Philosophical Logic},
  year = {1995},
  volume = {17},
  pages = {1--26},
  number = {1},
  topic = {ability;}
  }

@article{ brown_ma:1995c,
  author = {Mark A. Brown},
  title = {Action and Ability},
  journal = {Journal of Philosophical Logic},
  year = {1995},
  volume = {19},
  number = {1},
  pages = {95--114},
  topic = {ability;}
  }

@article{ brown_ma:1996a,
  author = {Mark A. Brown},
  title = {A Logic of Comparative Obligation},
  journal = {Studia Logica},
  year = {1996},
  volume = {57},
  number = {1},
  pages = {117--137},
  topic = {deontic-logic;qualitative-utility;moral-conflict;}
  }

@incollection{ brown_ma:1998a,
  author = {Mark A. Brown},
  title = {Agents with Changing and Conflicting Commitments:
			A Preliminary Study},
  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 = {109--128},
  address = {Amsterdam},
  topic = {deontic-logic;obligation;moral-conflict;commitment;
  	practical-reasoning;}
  }

@book{ brown_ma-carmo:1996a,
  editor = {Mark A. Brown and Jos\'e Carmo},
  title = {Deontic Logic, Agency and Normative Systems:
  	$\Delta${EON}'96, Third International Workshop on Deontic
	Logic in Computer Science, Sesimbra, Portugal, 11--13 January
	1996},
  publisher = {Springer-Verlag},
  year = {1996},
  address = {Berlin},
  ISBN = {3540760156 (pbk.)},
  rtnote = {UMich Media Union Library, QA 75.5 .D461 1996.},
  topic = {deontic-logic;}
 }

@article{ brown_ma-goranko:1999a,
  author = {Mark A. Brown and Valentin Goranko},
  title = {An Extended Branching-Time {O}ckhamist Temporal
  	Logic},
  journal = {Journal of Logic, Language, and Information},
  year = {1999},
  volume = {8},
  number = {2},
  pages = {143--166},
  rtnote = {tmix-project;},
  topic = {branching-time;}
  }

@article{ brown_p1:1964a,
  author = {Patterson Brown},
  title = {St. {T}homas' Doctrine of Necessary Being},
  journal = {The Philosophical Review},
  year = {1964},
  volume = {1973},
  pages = {76--90},
  missinginfo = {number},
  topic = {Aquinas;metaphysics;}
  }

@incollection{ brown_p2-levinson_sc:1978a,
  author = {Penelope Brown and Stephen C. Levinson},
  title = {Universals in Language Usage: Politeness Phenomena},
  booktitle = {Questions and Politeness: Strategies in Social
              Interaction},
  editor = {Esther N. Goody},
  publisher = {Cambridge University Press},
  address = {Cambridge},
  year = {1978},
  pages = {56--289},
  topic = {pragmatics;sociolinguistics;speech-acts;}
 }

@incollection{ brown_p2-levinson_sc:1979a,
  author = {Penelope Brown and Stephen C. Levinson},
  title = {Social Structure, Groups and Interaction},
  booktitle = {Social Markers in Speech},
  editor = {Esther N. Goody},
  publisher = {Cambridge University Press},
  address = {Cambridge},
  year = {1979},
  pages = {291--347},
  topic = {pragmatics;discourse;sociolinguistics;}
 }

@book{ brown_p2-levinson_sc:1987a,
  author = {Penelope Brown and Stephen C. Levinson},
  title = {Politeness: Some Universals in Language Use},
  publisher = {Cambridge University Press},
  year = {1987},
  address = {Cambridge, England},
  ISBN = {0521308623},
  rtnote = {UMich Undergraduate, P40.5.E75 B761 1987},
  topic = {pragmatics;sociolinguistics;speech-acts;}
 }

@article{ brown_r1-watling:1950a,
  author = {Robert Brown and John Watling},
  title = {Hypothetical Statements and Phenomenalism},
  journal = {Synth\'ese},
  year = {1950--1952},
  volume = {8},
  number = {1},
  pages = {355--366},
  xref = {Review: anderson_ar:1954d},
  topic = {conditionals;dispositionals;phenomenalism;}
  }

@article{ brown_r1-watling:1952a,
  author = {Robert Brown and John Watling},
  title = {Counterfactual Conditionals},
  journal = {Mind, New Series},
  year = {1952},
  volume = {61},
  pages = {70--71},
  missinginfo = {number},
  xref = {Review: anderson_ar:1954d.},
  topic = {conditionals;}
  }

@techreport{ brown_r2-etal:1989a,
  author = {Ralf Brown and Donna M. Gates and Kenneth Goodman and
  	Todd Kaufmann and Marion R. Kee and Lori Levin and Rita
	McCardell and Teruko Mitamura and Ira A. Monarch and Steven
	E. Morrison and Sergei Nirenburg and Eric H. {Nyberg, 3rd} and
	Koichi Takeda and Margalit Zabludowski},
  title = {KBMT-89 Project Report},
  institution = {Center for Machine Translation, Carnegie Mellon University},
  year = {1989},
  address = {Pittsburgh, Pennsylvania},
  rtnote = {In RHT collection.  Shelf.},
  topic = {machine-translation;}
  }

@article{ brown_t:1993a,
  author = {Ted Brown},
  title = {Unkind Cuts: Rethinking the Rhetoric of Academic Job
  	Rejection Letters},
  journal = {College {E}nglish},
  year = {1993},
  volume = {55},
  number = {7},
  pages = {770--778},
  topic = {academic-ethics;}
  }

@incollection{ brownell-carriger:1991a,
  author = {Celia A. Brownell and Michael Sean Carriger},
  title = {Collaborations among Toddler Peers: Individual
  	Contributions to Social Contexts},
  booktitle = {Perspectives on Socially Shared Cognition},
  publisher = {American Psychological Association},
  year = {1991},
  editor = {Lauren B. Resnick and John M. Levine and
  	Stephanie D. Teasley},
  pages = {384--397},
  address = {Washington, D.C.},
  topic = {social-psychology;shared-cognition;}
  }

@incollection{ brownschmidt-tanenhaus:2003a,
  author = {Sarah Brown-Schmidt and Michael M. Tanenhaus},
  title = {Referential Domains and the Interpretation of Referring
  	Expressions in Interactive Conversation},
  booktitle = {Diabruck 2003: Proceedings of the 7th Workshop on the
  	Semantics and Pragmatics of Dialogue},
  publisher = {Universit\"at des Saarlandes},
  year = {2003},
  editor = {Ivana Kruijff-Korbayov\'a and Claudia Kosny},
  pages = {15--20},
  address = {Saarbr\"ucken},
  topic = {psycholinguistics;discourse;referring-expressions;}
  }

@inproceedings{ broxval:2002a,
  author = {Mathias Broxvall},
  title = {A Method for Metric Temporal Reasoning},
  booktitle = {Proceedings of the Eighteenth National Conference on
              Artificial Intelligence},
  year = {2002},
  editor = {Rina Dechter and Michael Kearns and Richard S. Sutton},
  pages = {513--518},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {temporal-reasoning;}
  }

@incollection{ broxvall:2002a,
  author = {Matthias Broxvall},
  title = {Constraint Satisfaction on Infinite Domains: Composing
  	Domains and Decomposing Constraints},
  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 = {509--520},
  address = {San Francisco, California},
  topic = {kr;constraint-satisfaction;}
  }

@article{ broxvall-etal:2002a,
  author = {Mathias Broxvall and Peter Jonsson and Jochen Renz},
  title = {Disjunctions, Independence, Refinements},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {140},
  number = {1--2},
  pages = {153--173},
  topic = {constraint-satisfaction;}
  }

@article{ bruce_bc:1972a,
  author = {Bertram C. Bruce},
  title = {A Model for Temporal References and its Application in a
  	Question Answering Program},
  journal = {Artificial Intelligence},
  year = {1972},
  volume = {3},
  number = {1--3},
  pages = {1--25},
  topic = {question-answering;temporal-reference;}
  }

@article{ bruce_bc:1975a,
  author = {Bertram C. Bruce},
  title = {Case Systems for Natural Language},
  journal = {Artificial Intelligence},
  year = {1975},
  volume = {6},
  number = {4},
  pages = {327--360},
  acontentnote = {Abstract:
     In many languages (e.g. Latin, Greek, Russian, Turkish, German)
     the relationship of a noun phrase to the rest of a sentence is
     indicated by altered forms of the noun. The possible
     relationships are called (surface) ``cases''. Because (1) it is
     difficult to specify semantic-free selection rules for the
     cases, and (2) related phenomena based on prepositions or word
     order appear in apparently case-less languages, many have argued
     that studies of cases should focus on meaning, i.e. on ``deep
     cases''.
     Deep cases bear a close relationship to the modifiers of a
     concept. In fact, one could consider a deep case to be a
     special, or distinguishing, modifier. Several criteria for
     recognizing deep cases are considered here in the context of the
     problem of describing an event. Unfortunately, none of the
     criteria serves as a completely adequate decision procedure.  A
     notion based on the context-dependent ``importance'' of a
     relation appears as useful as any rule for selecting deep cases.
     A representative sample of proposed case systems is examined.
     Issues such as surface versus deep versus conceptual levels of
     cases, and the efficiency of the representations implicit in a
     case system are also discussed.
   },
  topic = {nl-semantics;computational-semantics;argument-structure;}
  }

@incollection{ bruce_bc:1986a,
  author = {Bertram C. Bruce},
  title = {Generation as a Social Action},
  booktitle = {Readings in Natural Language Processing},
  publisher = {Morgan Kaufmann},
  year = {1986},
  editor = {Barbara J. Grosz and Karen Sparck Jones and Bonnie L. Webber},
  pages = {419--422},
  address = {Los Altos, California},
  topic = {nl-generation;}
  }

@article{ bruce_bc-newman_d:1978a,
  author = {Bertram C. Bruce and Denis Newman},
  title = {Interacting Plans},
  journal = {Cognitive Science},
  year = {1978},
  volume = {2},
  pages = {195--233},
  missinginfo = {number},
  topic = {planning;}
  }

@article{ bruce_r:1998a,
  author = {Rebecca Bruce},
  title = {Review of \emph{{C}orpus-Based Methods in Language
  	and Speech Processing}, edited by {S}teve {Y}oung and {G}errit
	{B}loothooft},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {2},
  pages = {317--318},
  ISBN = {0-7923-4463-4},
  topic = {corpus-linguistics;}
  }

@incollection{ bruce_r-etal:1996a,
  author = {Rebecca Bruce and Janyce Wiebe and Ted Pedersen},
  title = {The Measure of a Model},
  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 = {101--112},
  address = {Somerset, New Jersey},
  topic = {part-of-speech-tagging;software-evaluation;}
  }

@article{ bruce_r-wiebe:1999a,
  author = {Rebecca F. Bruce and Jance M. Wiebe},
  title = {Decomposible Modeling in Natural Language
		Processing},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {25},
  number = {2},
  pages = {195--207},
  topic = {lexical-disambiguation;statistical-nlp;}
  }

@article{ brueckner:1994a,
  author = {Anthony Brueckner},
  title = {Knowledge of Content and Knowledge of the World},
  journal = {The Philosophical Review},
  year = {1994},
  volume = {103},
  number = {2},
  pages = {327--343},
  topic = {content-externalism;twin-earth;}
  }

@unpublished{ bruffaerts-henin:1990a,
  author = {A. Bruffaerts and R. Henin},
  title = {Non-Monotonic Multiple Inheritance of Attributes:
  	A Logical Reconstruction},
  year = {1990},
  note = {Unpublished manuscript, Philips Research Laboratory Belgium.},
  rtnote = {In RHT collection.  Published in Journal of Logic
  	Programming?},
  topic = {inheritance-theory;}
  }

@book{ brugman:1988a,
  author = {Claudia M. Brugman},
  title = {The Story of `Over': Polysemy, Semantics, and the
  	Structure of the Lexicon},
  publisher = {Garland Publishing Company},
  year = {1988},
  address = {New York},
  ISBN = {0824051777},
  rtnote = {UMich Graduate Library, P 165 .C631 1999},
  topic = {lexical-semantics;nl-polysemy;spatial-semantics;}
 }

@incollection{ brugnara:1998a,
  author = {Fabio Brugnara and Renato de Mori},
  title = {Acoustic Modeling},
  booktitle = {Spoken Dialogues with Computers},
  publisher = {Academic Press},
  year = {1998},
  editor = {Renato de Mori},
  pages = {141--170},
  address = {New York},
  topic = {speech-recognition;acoustic-modeling;hidden-Markov-models;}
  }

@incollection{ brugnara-demori:1998b,
  author = {Fabio Brugnara and Renato de Mori},
  title = {Training of Acoustic Models},
  booktitle = {Spoken Dialogues with Computers},
  publisher = {Academic Press},
  year = {1998},
  editor = {Renato de Mori},
  pages = {171--197},
  address = {New York},
  topic = {speech-recognition;acoustic-modeling;hidden-Markov-models;}
  }

@inproceedings{ brun:1998a,
  author = {Caroline Brun},
  title = {Terminology Finite-state Preprocessing for Computational
  	{LFG}},
  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 = {196--201},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {LFG;compound-nouns;}
}

@article{ bruner_js:1975a,
  author = {J.S. Bruner},
  title = {The Ontogenesis of Speech Acts},
  journal = {Journal of Child Language},
  year = {1975},
  volume = {2},
  pages = {1--19},
  topic = {speech-acts;psycholinguistics;}
  }

@inproceedings{ bruninghaus-ashley:1991a,
  author = {Stefanie Bruninghaus and Kevin D. Ashley},
  year = {1999},
  title = {Toward Adding Knowledge to Learning Algorithms for
		Indexing Legal Cases},
  booktitle = {Seventh International Conference
			on Artificial Intelligence and Law},
  publisher = {Association of Computing Machinery, New York},
  missinginfo = {pages},
  topic = {legal-AI;case-based-reasoning;machine-learning;}
	}

@inproceedings{ bruninghaus-ashley:1999a,
  author = {Stefanie Bruninghaus and Kevin D. Ashley},
  year = {1999},
  title = {Bootstrapping Case Base Development with Annotated Case
       Summaries},
  booktitle = {Third International Conference on Case-Based
  	Reasoning},
  address = {Berlin},
  publisher = {Springer-Verlag},
  topic = {case-based-reasoning;}
	}

@article{ brunner_lj:1979a,
  author = {Lawrence J. Brunner},
  title = {Smiles Can Be Back Channels},
  journal = {Journal of Personality and Social Psychology},
  volume = {37},
  number = {5},
  pages = {728--734},
  year = {1979},
  topic = {gestures;discourse;pragmatics;}
  }

@book{ brunsson:1985a,
  author = {Nils Brunsson},
  title = {The Irrational Organization: Irrationality as a Basis for
    Organizational Action and Change},
  publisher = {John Wiley and Sons},
  year = {1985},
  address = {New York},
  ISBN = {0471907952},
  rtnote = {UMich SOCIAL WORK, HD58.8 .B781 1985.},
  topic = {irrationality;corporate-management;sociology;}
 }

@book{ brunvand:1984a,
  author = {Jan Harold Brunvand},
  title = {The Choking {D}oberman and Other ``New'' Urban Legends},
  publisher = {W. W. Norton},
  address = {New York},
  year = {1984},
  topic = {urban-legends;}
  }

@article{ brushinsky:2009a,
  author = {Shay Brushinsky},
  title = {Deus Ex Machina---A Higher Creative Species in the Game
  		of Chess},
  journal = {The {AI} Magazine},
  year = {2009},
  volume = {30},
  number = {3},
  pages = {63--70},
  topic = {computational-creativity;}
  }

@article{ brusoni-etal:1995a,
  author = {Vittorio Brusoni and Luca Console and Paolo Terenziani},
  title = {On the Computational Complexity of Querying Bounds on
  	Differences Constraints},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {74},
  number = {2},
  pages = {367--379},
  acontentnote = {Abstract:
     Given a consistent knowledge base formed by a set of
     constraints, efficient query answering (e.g., checking whether a
     set of constraints is consistent with the knowledge base or
     necessarily true in it) is practically very important.  In the
     paper we consider bounds on differences (which are an important
     class of constraints based on linear inequalities) and we
     analyze the computational complexity of query answering.  More
     specifically, we consider various common types of queries and we
     prove that if the minimal network produced by constraint
     satisfaction algorithms (and characterizing the solutions to a
     set of constraints) is maintained, then the complexity of
     answering a query depends only on the dimension of the query and
     not on the dimension of the knowledge base (which is usually
     much larger than the query).  We also analyse how the approach
     can be used to deal efficiently with a class of updates to the
     knowledge base.  Some applications of the results are sketched
     in the conclusion.},
  topic = {constraint-satisfaction;reasoning-about-consistency;
  	complexity-in-AI;}
  }

@article{ brusoni-etal:1998a,
  author = {Vittorio Brusoni and Luca Console and Paolo Terenziani
  	and Daniele Theseider Dupr\'e},
  title = {A Spectrum of Definitions for Temporal Model-Based
  	Diagnosis},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {102},
  number = {1},
  pages = {39--79},
  topic = {diagnosis;temporal-reasoning;}
  }

@article{ bruthiaux:1993a,
  author = {Paul Bruthiaux},
  title = {Knowing When to Stop - Investigating the Nature of
		  Punctuation},
  journal = {Language and Communication},
  year = {1993},
  volume = {13},
  number = {1},
  pages = {27--43},
  topic = {punctuation;}
}

@article{ bruthiaux:1995a,
  author = {Paul Bruthiaux},
  title = {The Rise and Fall of the Semicolon: {E}nglish
		  Punctuation Theory and {E}nglish Teaching Practice},
  journal = {Applied Linguistics},
  year = {1995},
  volume = {16},
  number = {1},
  topic = {punctuation;}
}

@book{ bruynooghe:1994a,
  editor = {Maurice Bruynooghe},
  title = {Logic Programming: Proceedings of the 1994 International
  	Symposium},
  publisher = {The {MIT} Press},
  year = {1994},
  address = {Cambridge, Massachusetts},
  ISBN = {0262521911},
  rtnote = {UMich Media Union Library, QA 76.63 .L636 1994.},
  topic = {logic-programming;}
 }

@inproceedings{ bry-torge:1996a,
  author = {F. Bry and S. Torge},
  title = {Minimal Model Generation with Positive Unit
  	Hyper-Resolution Tableaux},
  booktitle = {Proceedings of {TABLEUX}'96},
  year = {1996},
  pages = {143--159},
  missinginfo = {A's 1st names, publisher, org, address, editor},
  topic = {model-checking;minimal-models;}
  }

@article{ bryant:1977a,
  author = {John Bryant},
  title = {The Logic of Relative Modality and the Paradoxes of
  	Deontic Logic},
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1977},
  volume = {21},
  number = {1},
  pages = {78--88},
  rtnote = {In RHT collection.},
  topic = {deontic-logic;}
  }

@article{ bryce-etal:2008a,
  author = {Daniel Bryce and Subbarao Kambhampati and David E. Smith},
  title = {Sequential {M}onte {C}arlo in Reachability Heuristics for
  		Probabilistic Planning},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {6--7},
  pages = {685--715},
  topic = {probabilistic-planning;}
  }

@book{ bub:1974a,
  author = {Jeffery Bub},
  title = {The Interpretation of Quantum Mechanics},
  publisher = {D. Reidel Publishing Co.},
  year = {1974},
  address = {Dordrecht},
  topic = {foundations-of-quantum-mechanics;philosophy-of-science;}
 }

@article{ bub:1977a,
  author = {Jeffrey Bub},
  title = {Von {N}eumann's Projection Postulate as a Probability
  	Conditionalization Rule in Quantum Mechanics},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {6},
  number = {4},
  pages = {381--390},
  topic = {quantum-logic;}
  }

@incollection{ bub:1979a,
  author = {Jeffrey Bub},
  title = {The Measurement Problem in Quantum Mechanics},
  booktitle = {Problems in the Foundations of Physics},
  publisher = {D. Reidel Publishing Co.},
  year = {1979},
  editor = {G. Toraldo di Francia},
  pages = {71--124},
  address = {Amsterdam},
  rtnote = {In RHT collection.},
  topic = {foundations-of-quantum-mechanics;}
  }

@book{ bub:1997a,
  author = {Jeffrey Bub},
  title = {Interpreting the Quantum World},
  publisher = {Cambridge University Press},
  year = {1997},
  address = {Cambridge, England},
  xref = {Review: dickson:1999a.},
  topic = {philosophy-of-quantum-mechanics;}
 }

@book{ bub:1999a,
  author = {Jeffrey Bub},
  title = {Interpreting the Quantum World},
  publisher = {Cambridge University Press},
  year = {1999},
  address = {Cambridge, England},
  ISBN = {052165386-X},
  topic = {philosophy-of-physics;foundations-of-quantum-mechanics;}
 }

@incollection{ bubenko:1987a,
  author = {Janis A. {Bubenko, Jr.}},
  title = {Information Analysis and Conceptual Modeling},
  booktitle = {Databases},
  publisher = {Academic Press},
  year = {1987},
  editor = {J. Paradaens},
  pages = {141--192},
  address = {New York},
  rtnote = {In RHT collection.  Filed with hull:1987a.},
  topic = {databases;}
  }

@article{ bucalo:1994a,
  author = {Anna Bucalo},
  title = {Modalities in Linear Logic Weaker Than Exponential `Of
  	Course'': Algebraic and Relational Semantics},
  journal = {Journal of Logic, Language, and Information},
  year = {1994},
  volume = {3},
  number = {3},
  pages = {211--232},
  topic = {linear-logic;modal-logic;}
  }

@incollection{ buccafurri-etal:1998a,
  author = {Francesco Buccafurri and Nicola Leone and Pasquale Rullo},
  title = {Disjunctive Ordered Logic: Semantics and Expressiveness},
  booktitle = {{KR}'98: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1998},
  editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C.
		Shapiro},
  pages = {416--429},
  address = {San Francisco, California},
  topic = {kr;disjunctive-logic-programming;inheritance;kr-course;}
  }

@inproceedings{ buccafurri-etal:1999a,
  author = {Francesco Buccafurri and Thomas Eiter and Georg Gottlob
  		and Nicola Leone},
  title = {Applying Abduction Techniques to Verification},
  booktitle = {Workshop on Logic-Based Artificial Intelligence,
	       Washington, DC, June 14--16, 1999},
  year = {1999},
  editor = {Jack Minker},
  publisher = {Computer Science Department, University of Maryland},
  address = {College Park, Maryland},
  topic = {abduction;diagnosis;program-verification;}
  }

@article{ buccafurri-etal:1999b,
  author = {Francesco Buccafurri and Thomas Eiter and Georg Gottlob
  	and Nicola Leone},
  title = {Enhancing Model Checking in Verification by {AI} Techniques},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {112},
  number = {1--2},
  pages = {57--104},
  topic = {model-checking;program-verification;}
  }

@article{ buchanan_bg:1994a,
  author = {Bruce G. Buchanan},
  title = {The Role of Experimentation in Artificial
    	Intelligence},
  journal = {Philosophical Transactions of the Royal Society, Series A:
  	Physical Sciences and Engineering},
  year = {1994},
  volume = {349},
  number = {1689},
  pages = {153--165},
  note = {Available at http://www.jstor.org/journals/09628428.html},
  topic = {experimental-AI;foundations-of-AI;}
  }

@article{ buchanan_bg:2001a,
  author = {Bruce G. Buchanan},
  title = {Creativity at the Metalevel},
  journal = {The {AI} Magazine},
  year = {2001},
  volume = {22},
  number = {1},
  pages = {13--28},
  topic = {creativity;}
  }

@article{ buchanan_bg:2005a,
  author = {Bruce G. Buchanan},
  title = {A (Very) Brief History of Artificial Intelligence},
  journal = {The {AI} Magazine},
  year = {2005},
  volume = {26},
  number = {4},
  pages = {53--60},
  topic = {history-of-AI;}
  }

@article{ buchanan_bg-etal:1990a,
  author = {Bruce G. Buchanan and Daniel Bobrow and Randall Davis
  	and John McDermott and Edward H. Shortliffe},
  title = {Knowledge-Based Systems},
  journal = {Annual Review of Computer Science},
  year = {1990},
  volume = {4},
  pages = {395--416},
  missinginfo = {number},
  topic = {AI-survey;knowledge-engineering;}
  }

@article{ buchanan_bg-feigenbaum:1978a1,
  author = {Bruce G. Buchanan and Edward A. Feigenbaum},
  title = {{\sc Dendral} and {\sc Meta-Dendral}: Their Applications
  	Dimension},
  journal = {Artificial Intelligence},
  year = {1978},
  volume = {11},
  number = {1--2},
  pages = {5--24},
  xref = {Republication: buchanan_bg-feigenbaum:1978a2.},
  topic = {expert-systems;knowledge-engineering;}
  }

@incollection{ buchanan_bg-feigenbaum:1978a2,
  author = {Bruce G. Buchanan and Edward Feigenbaum},
  title = {{\sc Dendral} and {\sc Meta-Dendral}: Their Applications
  	Dimension},
  booktitle = {Readings in Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  year = {1981},
  editor = {Bonnie Webber and Nils J. Nilsson},
  pages = {313--322},
  address = {Los Altos, California},
  xref = {Journal Publication: buchanan_bg-feigenbaum:1978a1.},
  topic = {expert-systems;knowledge-engineering;}
  }

@book{ buchanan_bg-shortliffe:1984a,
  author = {Bruce Buchanan and Edward H. Shortliffe},
  title = {Rule-Based Expert Systems: The {MYCIN} Experiments
  	of the {S}tanford Heuristic Programming Project},
  publisher = {Addison Wesley},
  year = {1984},
  address = {Reading, Massachusetts},
  topic = {expert-systems;knowledge-engineering;}
 }

@book{ buchanan_jg-tullock:1965a,
  author = {James M. Buchanan and Gordon Tullock},
  title = {The Calculus of Consent: Logical Foundations of
  	Constitutional Democracy},
  publisher = {University of Michigan Press},
  year = {1965},
  address = {Ann Arbor},
  ISBN = {0792381106},
  rtnote = {UMich Graduate Library, AS 6 .B63 1998.},
  topic = {voting-theory;}
 }

@incollection{ bucher-etal:1999a,
  author = {Alex B\"ucher and John G. Hughes and David A. Bell},
  title = {Contextual Data and Domain Knowledge Discovery
			Systems},
  booktitle = {Modeling and Using Contexts: Proceedings of
	the Second International and Interdisciplinary
	Conference, {CONTEXT}'99},
  publisher = {Springer-Verlag},
  year = {1999},
  editor = {Paolo Bouquet and Luigi Serafini and Patrick
	Br\'ezillon	and Massimo Benerecetti and Francesca
	Castellani},
  pages = {447--451},
  address = {Berlin},
  topic = {context;knowledge-acquisition;}
  }

@article{ buchheit-etal:1998a,
  author = {M. Buchheit and Francesco M. Donini and Werner Nutt and Andrea
  	Schaerf},
  title = {A Refined Architecture for Terminological Systems:
  	Terminology $=$ Schema $+$ Views},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {99},
  number = {2},
  pages = {209--260},
  missinginfo = {A's 1st name},
  topic = {kr;description-logics;kr-course;subsumption;}
  }

@incollection{ buchwald_a-etal:2002a,
  author = {Adam Buchwald and Oren Scwartz and Amanda Seidl and
                  Paul Smolensky},
  title = {Recoverability Optimality Theory: Discourse Anaphora
                  in a Bidirectional Framework},
  booktitle = {{EDILOG} 2002: Proceedings of the Sixth Workshop on the
  	Semantics and Pragmatics of Dialogue},
  pages = {37--44},
  publisher = {Cognitive Science Centre, University of Edinburgh},
  year = {2002},
  editor = {Johan Bos and Mary Ellen Foster and Colin Matheson},
  address = {Edinburgh},
  topic = {referring-expressions;optimality-theory;anaphora;}
}

@article{ buck_r:1991a,
  author = {Ross Buck},
  title = {Social Factors in Facial Display and Communication: A
  	 Reply to {Chovil} and Others},
  journal = {Journal of Nonverbal Behavior},
  volume = {15},
  number = {3},
  pages = {155--161},
  year = {1991},
  xref = {Reply to chovil:1991a.  Reply: chovil-fridlund:1991a.},
  topic = {gestures;discourse;}
  }

@incollection{ buck_rc:1962a,
  author = {Roger C. Buck},
  title = {Non-Other Minds},
  booktitle = {Analytical Philosophy, First Series},
  publisher = {Barnes and Noble},
  year = {1962},
  editor = {Ronald J. Butler},
  pages = {187--210},
  address = {New York},
  topic = {other-minds;other-modeling;}
  }

@article{ buck_rc:1965a,
  author = {Roger C. Buck},
  title = {Clark on Natural Necessity},
  journal = {The Journal of Philosophy},
  year = {1965},
  volume = {62},
  number = {21},
  pages = {625--629},
  xref = {Commentary on: clark_r1:1965a.},
  topic = {ceteris-paribus-generalizations;natural-laws;causality;
  	nonmonotonic-reasoning;}
  }

@book{ buckles-petry:1992a,
  author = {Bill Buckles and Frederic E. Petry},
  title = {Genetic Algorithms},
  publisher = {{IEEE} Computer Science Press},
  year = {1992},
  address = {Los Alimatos, California},
  topic = {genetic-algorithms;}
 }

@article{ bueno:2005a,
  author = {Otavio Bueno},
  title = {On the Referential Indeterminacy of Logical and Mathematical
  	Concepts},
  journal = {Journal of Philosophical Logic},
  year = {2005},
  volume = {34},
  number = {1},
  pages = {63--79},
  topic = {philosophy-of-mathematics;}
  }

@article{ buffett-aberdeen_d:2009a,
  author = {Olivier Buffet and Douglas Aberdeen},
  title = {The Factored Policy-Gradient Planner},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {5--6},
  pages = {722--747},
  topic = {planning;reinforcement-learning;}
  }

@article{ bugajski:1978a,
  author = {S{\l}awomir Bugajski},
  title = {Probability Inplication in the Logics of Classical and
  		Quantum Mechanics},
  journal = {Journal of Philosophical Logic},
  year = {1978},
  volume = {7},
  number = {2},
  pages = {95--106},
  topic = {probability;quantum-logic;}
  }

@article{ bugajski:1983a,
  author = {S{\l}awomir Bugajski},
  title = {Languages of Similarity},
  journal = {Journal of Philosophical Logic},
  year = {1983},
  volume = {12},
  number = {1},
  pages = {1--118},
  contentnote = {Actually, this is extracting a general logical account
    	from ql.  But it is hard to classify the topic.},
  topic = {quantum-logic;}
  }

@article{ bugard-etal:1999a,
  author = {Wolfram Bugard and Armin B. Cremers and Dieter Fox and
  	Dirk H\"ahnel and Gerhard Lakemeyer and Dirk Schultz and
	Walter Steiner and Sebastian Thrun},
  title = {Experiences with an Interactive Museum Tour Robot},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {114},
  number = {1--2},
  pages = {3--55},
  topic = {robotics;robot-navigation;GoLog;robot-human-interaction;}
  }

@inproceedings{ bui-etal:1996a,
  author = {H.H. Bui and D. Kieronska and S. Venkatesh},
  title = {Learning Other Agents' Preferences in Multiagent
  	Negotiation},
  booktitle = {Proceedings of the Thirteenth National Conference on
              Artificial Intelligence and the Eighth Innovative
	      Applications of Artificial Intelligence  Conference,
	      Vol. 2},
  year = {1996},
  editor = {William J. Clancey and Dan Weld},
  pages = {114--119},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {distributed-processing;preference-modeling;}
  }

@incollection{ buitelaar:1996a,
  author = {Paul Buitelaar},
  title = {Underspecified First Order Logics},
  booktitle = {Semantic Ambiguity and Underspecification},
  publisher = {Cambridge University Press},
  year = {1996},
  editor = {Kees {van Deemter} and Stanley Peters},
  address = {Cambridge, England},
  missinginfo = {pages},
  topic = {semantic-underspecification;}
  }

@unpublished{ bulhak:1996a,
  author = {Andrew C. Bulhak},
  title = {On the Simulation of Postmodernism and Mental Debility
  		Using Recursive Transition Networks},
  year = {1996},
  note = {Unpublished manuscript, Department of Computer Science,
  		Monash University},
  rtnote = {In RHT collection.},
  url = {citeseer.ist.psu.edu/380936.html},
  topic = {nl-generation;postmodernism;}
  }

@article{ bulitko-wilkins_dc:2003a,
  author = {Vadim Bulitko and David C. Wilkins},
  title = {Qualitative Simulation of Temporal Concurrent Processes
  	Using Time Interval {P}etri Nets},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {144},
  number = {1--2},
  pages = {95--124},
  topic = {Petri-nets;temporal-reasoning;qualitative-simulation;
  	limited-rationality;}
  }

@incollection{ bull:1996a,
  author = {Robert A. Bull},
  title = {Logics Without Contraction {I}},
  booktitle = {Logic and Reality: Essays on the Legacy of {A}rthur
  	{P}rior},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Jack Copeland},
  pages = {317--336},
  address = {Oxford},
  topic = {proof-theory;relevance-logic;}
  }

@incollection{ bull-segerberg:1984a,
  author = {Robert A. Bull and Krister Segerberg},
  title = {Basic Modal Logic},
  booktitle = {Handbook of Philosophical Logic, Volume {II}:
  	Extensions of Classical Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1984},
  editor = {Dov Gabbay and Franz Guenther},
  pages = {1--88},
  address = {Dordrecht},
  topic = {modal-logic;}
 }

@incollection{ bullot:2005a,
  author = {Nicholas J. Bullot},
  title = {Context-Dependent and Epistemic Uses of Attention for
  	Perceptual-Demonstrative Identification},
  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 = {69--82},
  address = {Berlin},
  topic = {context;attention;cognitive-psychology;}
  }

@book{ bulmer:1967a,
  author = {M.G. Bulmer},
  title = {Principles of Statistics},
  publisher = {Dover Publications},
  year = {1967},
  address = {New York},
  rtnote = {In RHT Collection.  Statistics and information theory shelves.},
  topic = {statistics;}
 }

@article{ bunder:1992a,
  author = {M.W. Bunder},
  title = {A Simplified Form of Condensed Detachment},
  journal = {Journal of Logic, Language, and Information},
  year = {1992},
  volume = {4},
  number = {2},
  pages = {169--173},
  topic = {resolution;}
  }

@incollection{ bunder:1996a,
  author = {Martin Bunder},
  title = {Logics Without Contraction {II}},
  booktitle = {Logic and Reality: Essays on the Legacy of {A}rthur
  	{P}rior},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Jack Copeland},
  pages = {337--349},
  address = {Oxford},
  topic = {proof-theory;relevance-logic;}
  }

@incollection{ bundgen:1998a,
  author = {R. B\"undgen et al.},
  title = {Parallel Term Rewriting with {P}a{R}e{D}u{X}},
  booktitle = {Automated Deduction: A Basis for Applications.
  	Volume {II}, Systems and Implementation Techniques},
  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;}
  }

@incollection{ bundgen:1998b,
  author = {R. B\"undgen},
  title = {Rewrite Based Hardware Verification with
			{R}e{D}u{X}},
  booktitle = {Automated Deduction: A Basis for Applications.
  	Volume {III}, Applications},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Wolfgang Bibel and Peter H. Schmidt},
  address = {Dordrecht},
  missinginfo = {A's 1st name, pages},
  topic = {theorem-proving;applied-logic;}
  }

@article{ bundy:1978a,
  author = {Alan Bundy},
  title = {Will it Reach the Top?  Prediction in the Mechanics World},
  journal = {Artificial Intelligence},
  year = {1978},
  volume = {10},
  number = {2},
  pages = {129--146},
  topic = {qualitative-physics;}
  }

@article{ bundy:1983a,
  author = {Alan Bundy},
  title = {The Nature of {AI}:  A Reply to {S}chank},
  journal = {The {AI} Magazine},
  year = {1998},
  volume = {4},
  number = {4},
  pages = {29--31},
  xref = {Reply to: schank_rc:1983a},
  topic = {AI-editorial;}
  }

@incollection{ bundy:1984a,
  author = {Alan Bundy},
  title = {Meta-Level Inference and Consciousness},
  booktitle = {The Mind and the Machine: Philosophical Aspects
  	of Artificial Intelligence},
  publisher = {Ellis Horwood, Ltd.},
  year = {1984},
  editor = {Steve B. Torrance},
  pages = {156--167},
  address = {Chichester},
  topic = {consciousness;philosophy-and-AI;metareasoning;}
  }

@book{ bundy:1994a,
  editor = {Alan Bundy},
  title = {Twelfth International Conference on Automated Deduction
  	{CADE}94},
  publisher = {Springer-Verlag},
  year = {1994},
  address = {Berlin},
  series = {Lecture Notes in Computer Science},
  volume = {814},
  rtnote = {UMich Media Union Library, QA 76.9 .A96 A851 2000},
  topic = {theorem-proving;}
 }

@article{ bundy:1994b,
  author = {Alan Bundy},
  title = {A Subsumption Architecture for Theorem Proving?},
  journal = {Philosophical Transactions of the Royal Society, Series A:
  	Physical Sciences and Engineering},
  year = {1994},
  volume = {349},
  number = {1689},
  pages = {4--85},
  note = {Available at http://www.jstor.org/journals/09628428.html},
  rtnote = {In RHT collection.  Zip disk.},
  contentnote = {This paper contains a useful summary of work
  	in theorem proving.},
  topic = {theorem-proving;behavioral-modules;theorem-proving-tactics;}
  }

@unpublished{ bundy-etal:1985a,
  author = {Alan Bundy and Ben du Boulay and Jim Howe and Gordin
  	Plotkin},
  title = {The Researcher's Bible},
  year = {1985},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.  Might be useful in preparing
  	guides for graduate students.},
  topic = {student-guides;}
  }

@article{ bundy-etal:1985b,
  author = {Alan Bundy and Bernard Silver and Dave Plummer},
  title = {An Analytical Comparison of Some Rule-Learning Programs},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {27},
  number = {2},
  pages = {137--181},
  topic = {rule-learning;machine-learning;cognitive-architectures;}
  }

@article{ bundy-etal:1993a,
  author = {Alan Bundy and Andrew Stevens and Frank van Harmelen and
  	Andrew Ireland and Alan Smaill},
  title = {Rippling: A Heuristic for Guiding Inductive Proofs},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {62},
  number = {2},
  pages = {185--253},
  acontentnote = {Abstract:
     We describe rippling: a tactic for the heuristic control of the
     key part of proofs by mathematical induction.  This tactic
     significantly reduces the search for a proof of a wide variety
     of inductive theorems.  We first present a basic version of
     rippling, followed by various extensions which are necessary to
     capture larger classes of inductive proofs.  Finally, we present
     a generalised form of rippling which embodies these extensions
     as special cases.  We prove that generalised rippling always
     terminates, and we discuss the implementation of the tactic and
     its relation with other inductive proof search heuristics.},
  topic = {search;induction;theorem-proving;}
  }

@article{ bundy-etal:1996a,
  author = {Alan Bundy and Fausto Giunchiglia and Roberto Sebastiani
  	and Toby Walsh},
  title = {Calculating Criticalities},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {88},
  number = {1--2},
  pages = {39--67},
  acontentnote = {Abstract:
     We present a novel method for building ABSTRIPS style
     abstraction hierarchies in planning. The aim of this method is
     to minimize search by limiting backtracking both between
     abstraction levels and within an abstraction level. Previous
     approaches for building ABSTRIPS style abstractions have
     determined the criticality of operator preconditions by
     reasoning about plans directly. Here, we adopt a simpler and
     faster approach where we use numerical simulation of the
     planning process.  We develop a simple but powerful theory to
     demonstrate the theoretical advantages of our approach. We use
     this theory to identify some simple properties lacking in
     previous approaches but possessed by our method. We demonstrate
     the empirical advantages of our approach by a set of four
     benchmark experiments using the ABTWEAK system. We compare the
     quality of the abstraction hierarchies generated with those
     built by the ALPINE and HIGHPOINT algorithms.  },
  topic = {abstraction;planning-algorithms;}
  }

@article{ bundy-welham:1981a,
  author = {Alan Bundy and Bob Welham},
  title = {Using Meta-Level Inference for Selective Application of
  	Multiple Rewrite Rule Sets in Algebraic Manipulation},
  journal = {Artificial Intelligence},
  year = {1981},
  volume = {16},
  number = {2},
  pages = {189--212},
  topic = {algebraic-computation;metareasoning;}
  }

@article{ bunge:1974a,
  author = {Mario Bunge},
  title = {The Relations of Logic and Semantics to Ontology},
  journal = {Journal of Philosophical Logic},
  year = {1974},
  volume = {3},
  number = {3},
  pages = {195--209},
  topic = {philosophical-ontology;logic-and-ontology;}
  }

@book{ bunnin-tsuijames:1996a,
  editor = {Nicholas Bunnin and E.P. Tsui-James},
  title = {The {B}lackwell Companion To Philosophy},
  publisher = {Blackwell Reference},
  year = {1996},
  address = {Oxford},
  ISBN = {0631187898 (pbk)},
  topic = {philosophy-reference;}
  }

@unpublished{ bunt:1978a,
  author = {Harry Bunt},
  title = {A Formal Semantic Analysis of Mass Terms and Amount Terms},
  year = {1978},
  note = {Unpublished manuscript, },
  rtnote = {In RHT collection.},
  missinginfo = {Year is a guess.},
  topic = {nl-semantics;mass-term-semantics;}
  }

@incollection{ bunt:1981a,
  author = {Harry Bunt},
  title = {Parsing with Discontinuous Phrase Structure Grammar},
  booktitle = {Current Issues in Parsing Technology},
  publisher = {Kluwer Academic Publishers},
  year = {1981},
  editor = {Masaru Tomita},
  pages = {49--63},
  address = {Dordrecht},
  topic = {parsing-algorithms;discontinuous-constituents;}
  }

@book{ bunt:1985a,
  author = {Harry C. Bunt},
  title = {Mass Terms and Model-Theoretic Semantics},
  publisher = {Cambridge University Press},
  year = {1985},
  address = {Cambridge, England},
  rtnote = {UMich Graduate Library Call No: 805 C185 v.42},
  topic = {mass-term-semantics;}
 }

@incollection{ bunt:1989a,
  author = {Harry C. Bunt},
  title = {Information Dialogues as Communication Dialogues in
  	Relation to User Modeling and Information Processing},
  booktitle = {The Structure of Multimodal Dialogue, Volume 1},
  publisher = {North-Holland Publishing Co.},
  year = {1989},
  editor = {M.M. Taylor and F. N\'eel and and D.G. Bouwhuis},
  pages = {47--73},
  address = {Amsterdam},
  topic = {computational-dialogue;}
  }

@article{ bunt:1994a,
  author = {Harry C. Bunt},
  title = {Context and Dialogue Control},
  journal = {{THINK} Quarterly},
  year = {1994},
  volume = {3},
  pages = {19--31},
  missinginfo = {number},
  topic = {context;computational-dialogue;}
  }

@incollection{ bunt:1996a,
  author = {Harry C. Bunt},
  title = {Dynamic Interpretation and Dialogue Theory},
  booktitle = {The Structure of Multimodal Dialogue, Volume 2},
  publisher = {John Benjamins},
  year = {1996},
  editor = {Michael M. Taylor and F. N\'eel and and Don G. Bouwhuis},
  address = {Amsterdam},
  missinginfo = {pages},
  topic = {dynamic-semantics;computational-dialog;}
  }

@incollection{ bunt:1998a,
  author = {Harry C. Bunt},
  title = {Iterative Context Specification and Dialogue Analysis},
  booktitle = {Abduction, Belief, and Context: Studies in Computational
  	Pragmatics},
  publisher = {University College Press},
  year = {1998},
  editor = {Harry C. Bunt and W.J. Black},
  pages = {73--129},
  address = {London},
  topic = {context;computational-dialogue;}
  }

@incollection{ bunt:1999a,
  author = {Harry Bunt},
  title = {Context Representation for Dialogue Management},
  booktitle = {Modeling and Using Contexts: Proceedings of
	the Second International and Interdisciplinary
	Conference, {CONTEXT}'99},
  publisher = {Springer-Verlag},
  year = {1999},
  editor = {Paolo Bouquet and Luigi Serafini and Patrick
	Br\'ezillon	and Massimo Benerecetti and Francesca
	Castellani},
  pages = {77--90},
  address = {Berlin},
  topic = {context;discourse;computational-dialogue;}
  }

@incollection{ bunt:2000a,
  author = {Harry Bunt},
  title = {Requirements for Dialogue Context Management},
  booktitle = {Formal Aspects of Context},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Pierre Bonzon and Marcos Cavalcanti and Rolf Nossum},
  pages = {23--36},
  address = {Dordrecht},
  topic = {context;computational-dialogue;speech-acts;}
  }

@inproceedings{ bunt:2003a,
  author = {Harry Bunt},
  title = {Modular Partial Models: A Formalism for Context Representation},
  booktitle = {Modeling and Using Context: Fourth International and
  	Interdisciplinary Conference, Context 2003},
  publisher = {Springer-Verlag},
  year = {2003},
  editor = {Patrick Blackburn and Chiara Ghidini and Roy M. Turner
  	and Fausto Giunchiglia},
  pages = {427--434},
  address = {Berlin},
  topic = {context;partial-logic;}
  }

@book{ bunt-beun:2001a,
  editor = {Harry Bunt and Robbert-Jan Beun},
  title = {Cooperative Multimodal Communication: Second
  	International Conference, {CMC}'98, {T}ilburg, {T}he
	{N}etherlands, {J}anuary 28-30, 1998},
  publisher = {Springer-Verlag},
  year = {2001},
  address = {Berlin},
  ISBN = {ISBN: 3540428062 (softcover)},
  rtnote = {UMich Media Union Library Call No: QA 76.9 .H85 I5961 1998},
  topic = {multimodal-communication;}
 }

@book{ bunt-black_w:2000a,
  editor = {Harry Bunt and William Black},
  title = {Abduction, Belief, and Context in Dialogue: Studies in
  	Computational Pragmatics},
  publisher = {Benjamins},
  year = {2000},
  address = {Amsterdam},
  ISBN = {1556197942},
  topic = {computational-dialogue;}
 }

@book{ bunt-black_wj:1998a,
  editor = {Harry C. Bunt and William J. Black},
  title = {Abduction, Belief, and Context: Studies in Computational
  	Pragmatics},
  publisher = {John Benjamins},
  year = {2000},
  address = {Amsterdam},
  ISBN = {1556197942 (US)},
  topic = {abduction;context;computational-pragmatics;}
 }

@book{ bunt-etal:1998a,
  editor = {Harry Bunt and Robbert-Jan Beun and Tijn Borhguis},
  title = {Multimodal Human-Computer Communication: Systems,
  	Techniques, and Experiments},
  publisher = {Springer-Verlag},
  year = {1998},
  address = {Berlin},
  ISBN = {354064380X (paper)},
  contentnote = {TC:
  	1. Harry Bunt, "Issues in Multimodal Human-Computer Communication"
	2. Mark T. Maybury, "Towards Cooperative Multimedia Interaction"
	3. Harry Bunt et al., "Multimodal Cooperation with the Den{K} System"
	4. Catherine Pelachaud et al., "Synthesizing Cooperative
		Conversation"
	5. Bonnie Webber, "Instructing Animated Agents: Viewing
		Language in Behavioral Terms"
	6. Jacques Siroux et al., "Modeling and Processing of Oral
		and Tactile Activities in the {GEORAL} System"
	7. Adam Cheyer and Luc Julia, "Multimodal Maps: An
		Agent-Based Approach"
       10. Yi Han and Ingrid Zukerman, "Using Cooperative Agents to
       		Plan Multimodal Presentations"
       11.Jean-Claude Martin and Remko Veldman and Dominique
       		Béroule, "Developing Multimodal Interfaces: A
		Theoretical Framework and Guided Propagation
		Networks"
       12. Patrick Bourdot and Mike Krus and Rachid
       		Gherbi, "Cooperation between Reactive 3D Objects and
		a Multimodal {X} Window Kernel for {CAD}"
       13. Fergal McCaffery and Michael McTear and Maureen
       		Murphy, "A Multimedia Interface for Circuit Board
		Assembly"
       14. Kent Wittenburg, "Visual Language Parsing: If I Had a
       		Hammer $\ldots$"
       15. John Lee and Keith Stenning, "Anaphora in Multimodal
       		Discourse"
       16. Laurel Fais, Kyung-ho Loke-Kim and Young-Duk
       		Park, "Speakers' Responses to Requests for Repetition
		in a Multimedia Language Processing Environment"
       17. Anita Cremers, "Object Reference in Task-Oriented Keyboard
       		Dialogues"
       16. Tsuneaki Kato and Yukiko I. Nakano, "Referent
       		Identification Requests in Multi-Modal Dialogs"
       17. Carla Huls and Edwin Bos, "Studies into Full Integration
       		of Language and Action"
       18. Marie-Christine Bressolle and Bruno Pavard and Marcel
       		Leroux, "The Role of Multimodal Communication in
		Cooperation: The Cases of Air Traffic Control"
   },
  rtnote = {UMich Media Union Library, QA 76.9 .H85 M841 1998.},
  topic = {multimodal-communication;}
 }

@book{ bunt-etal:1999a,
  editor = {Harry Bunt and Reinhard Muskens and Elias Thijsse},
  title = {Computing Meaning, Volume 2},
  publisher = {Kluwer Academic Publishers},
  year = {1999},
  address = {Dordrecht},
  ISBN = {ISBN  1402001754 (v. 2)},
  topic = {computational-semantics;}
 }

@book{ bunt-muskens:1999a,
  editor = {Harry Bunt and Reinhard Muskens},
  title = {Computing Meaning, Volume 1},
  publisher = {Kluwer Academic Publishers},
  year = {1999},
  address = {Dordrecht},
  ISBN = {0792361083 (v. 1: HB)},
  rtnote = {UMich Graduate Library  Call No: P 325.5 .D38 C671 1999},
  xref = {Review: winter:2001a.},
  topic = {computational-semantics;}
 }

@book{ bunt-nijholt:2000a,
  editor = {Harry Bunt and Anton Nijholt},
  title = {Advances in Probabilistic and Other Parsing Technologies},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  address = {Dordrecht},
  ISBN = {0792366166 (hc)},
  rtnote = {UMich Media Union Library Call No: QA 76.9 .N38 A381 2000},
  topic = {probabilistic-parsers;parsing-algorithms;statistical-parsing;}
 }

@book{ bunt-tomita:1996a,
  editor = {Harry Bunt and Masaru Tomita},
  title = {Recent Advances in Parsing Technology},
  publisher = {Kluwer Academic Publishers},
  year = {1996},
  address = {Dord

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit