text:
one
     adjustable parameter, its performance proves competitive with,
     and often superior to, more elaborate stochastic optimization
     procedures.  We demonstrate it here on two classic hard
     optimization problems: graph partitioning and the traveling
     salesman problem.
  },
  topic = {optimization;search;AI-algorithms;simulated-annealing;}
  }

@book{ bogart:2000a,
  author = {Kenneth P. Bogart},
  title = {Introductory Combinatorics},
  edition = {3},
  publisher = {Harcourt Science and Technology},
  year = {2000},
  address = {San Diego},
  ISBN = {0121108309},
  rtnote = {In RHT Collection.  Mathematics shelves.},
  topic = {combinatorics;}
 }

@book{ bogdan:1997a,
  author = {Radu J. Bogdan},
  title = {Interpreting Minds},
  publisher = {The {MIT} Press},
  year = {1997},
  address = {Cambridge, Massachusetts},
  contentnote = {Evolutionary theory of other-modeling.},
  topic = {philosophy-of-mind;}
 }

@incollection{ boghossian:1994a,
  author = {Paul A. Boghossian},
  title = {The Transparency of Mental Content},
  booktitle = {Philosophical Perspectives, Volume 8:
  	Logic and Language},
  publisher = {Blackwell Publishers},
  year = {1994},
  editor = {James E. Tomberlin},
  pages = {33--50},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {internalism/externalism;twin-earth;}
  }

@incollection{ boghossian:2003a,
  author = {Paul Boghossian},
  title = {The Normativity of Content},
  booktitle = {Philosophy of Mind},
  publisher = {Blackwell Publishers},
  year = {2003},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {31--45},
  address = {Oxford},
  topic = {normativity;foundations-of-semantics;philosophy-of-mind;}
  }

@book{ boguraev:1989a,
  author = {Branimir Boguraev and Ted Briscoe},
  title = {Computational Lexicography for Natural Language
  	Processing},
  publisher = {Longman},
  year = {1989},
  address = {London},
  topic = {computational-lexical-semantics;machine-translation;
  	computational-lexicography;}
 }

@incollection{ boguraev:1993a,
  author = {Branamir Boguraev},
  title = {The Contribution of Computational Lexicography},
  booktitle = {Challenges in Natural Language Processing},
  publisher = {Cambridge University Press},
  year = {1993},
  editor = {Madeleine Bates and Ralph Weischedel},
  pages = {99--132},
  address = {Cambridge, England},
  topic = {computational-lexical-semantics;computational-lexicography;
  	transitivity-alternations;}
  }

@incollection{ boguraev:1994a,
  author = {Branamir Boguraev},
  title = {Machine-Readable Dictionaries and Computational
    		Linguistics Research},
  booktitle = {Current Issues in Computational Linguistics: Essays in
  	Honour of {D}on {W}alker},
  publisher = {Giardini Editori e Stampatori and Kluwer Academic
  	Publishers},
  year = {1994},
  editor = {Antonio Zampolli and Nicoletta Calzolari and Martha Palmer},
  pages = {119--154},
  address = {Pisa and Dordrecht},
  topic = {computational-lexicography;machine-readable-dictionaries;}
  }

@inproceedings{ boguraev-pustejovsky:1990a,
  author = {Branamir Boguraev and James Pustejovsky},
  title = {Lexical Ambiguity and the Role of Knowledge Representation
  	in Lexicon Design},
  booktitle = {Proceedings of the Thirteenth International Conference
  	on Computational Linguistics},
  year = {1990},
  pages = {36--42},
  missinginfo = {editor, organization, publisher, address},
  topic = {computational-lexical-semantics;computational-lexicography;}
 }

@article{ bohanan:1966a1,
  author = {Laura Bohanan},
  title = {Shakespeare in the Bush},
  journal = {Natural History Magazine},
  year = {1966},
  month = {August/September},
  missinginfo = {volume, number, pages},
  xref = {Republication: bohanan:1966a2.},
  rtnote = {In RHT collection.  This is an interesting case history
		in the cultural determination of interpretation.},
  topic = {cultural-anthropology;literary-interpretation;}
  }

@incollection{ bohanan:1966a2,
  author = {Laura Bohanan},
  title = {Shakespeare in the Bush},
  booktitle = {Anthropology: Contemporary Perspectives},
  publisher = {Little, Brown and Company},
  year = {1987},
  editor = {Phillip Whitten and David {E.K. Hunter}},
  chapter = {22},
  pages = {149--153},
  address = {Boston},
  xref = {Original publication: bohanan:1966a1.},
  rtnote = {In RHT collection.  This is an interesting case history
		in the cultural determination of interpretation.},
  topic = {cultural-anthropology;literary-interpretation;}
  }

@inproceedings{ bohlin-etal:1999a,
  author = {Peter Bohlin and Robin Cooper and Elizabet Engdahl and
		Staffan Larsson},
  title = {Information States and Dialogue Move Engines},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
  	Knowledge and Reasoning in Practical Dialogue Systems},
  year = {1999},
  editor = {Jan Alexandersson},
  pages = {25--31},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {computational-dialogue;}
  }

@unpublished{ bohlin-larsson_s:1999a,
  author = {Peter Bohlin and Staffan Larsson},
  title = {Go{D}is and the Dialogue Move Engine Toolkit},
  year = {1999},
  note = {Unpublished manuscript, G\"oteborg University},
  url = {http://www.ling.gu.se/~sl/acl99.ps},
  rtnote = {In RHT collection.  Filed under "Larsson".},
  topic = {computational-dialogue;}
  }

@book{ bohm:1957a,
  author = {David Bohm},
  title = {Causality and Chance in Modern Physics},
  publisher = {Kegan Paul},
  year = {1957},
  address = {London},
  topic = {philosophy-of-physics;chance;causality;(in)determinism;}
 }

@book{ bohm-hiley:1993a,
  author = {David Bohm and B.J. Hiley},
  title = {The Undivided Universe: An Ontological Interpretation of
  	Quantum Theory},
  publisher = {Routledge},
  year = {1993},
  address = {London},
  topic = {philosophy-of-physics;foundations-of-quantum-mechanics;}
 }

@article{ bohnemeyer-swift_m:2004a,
  author = {J\"urgen Bohnemeyer and Mary Swift},
  title = {Event Realization and Default Aspect},
  journal = {Linguistics and Philosophy},
  year = {2004},
  volume = {27},
  number = {4},
  pages = {263--296},
  topic = {Aktionsarten;tense-aspect;}
  }

@article{ boisvert:2008a,
  author = {Daniel R. Boisvert},
  journal = {Pacific Philosophical Quarterly},
  pages = {169--203},
  title = {Expressive-Assertivism},
  volume = {89},
  year = {2008},
  topic = {expressivism;}
  }

@article{ bojadziev:1995a,
  author = {Damjan Bojad\v{z}iev},
  title = {Sloman's view of Gšdel's sentence },
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {74},
  number = {2},
  pages = {389--393},
  topic = {goedels-first-theorem;foundations-of-AI;}
  }

@article{ bojadziev-gams:1998a,
  author = {Damjan Bojad\v{z}iev and Matja\v{z} Gams},
  title = {Addendum to `{S}loman's View of {G}\"odel's
		Sentence},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {98},
  number = {1--2},
  pages = {363--365},
  topic = {goedels-first-theorem;foundations-of-AI;}
  }

@article{ bojinov-etal:2002a,
  author = {Hristo Bojinov and Arancha Casal and Tad Hogg},
  title = {Multiagent Control of Self-Reconfigurable Robots},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {142},
  number = {2},
  pages = {99--120},
  topic = {multiagent-systems;robotics;distributed-control;}
  }

@book{ bok:1998a,
  author = {Hilary Bok},
  title = {Freedom and Responsibility},
  publisher = {Princeton University Press},
  year = {1998},
  address = {Princeton, New Jersey},
  topic = {freedom;volition;blameworthiness;}
 }

@book{ bolander-etal:2006a,
  editor = {Thomas Bolander and Vincent F. Hendricks and
  		Stig Andur Pedersen},
  title = {Self-Reference},
  publisher = {CSLI Publications},
  year = {2006},
  address = {Stanford, California},
  ISBN = {1575865165 (pbk)},
  xref = {Review: cook_rt:2009a},
  topic = {self-reference;semantic-paradoxes;}
 }

@incollection{ boldini:1997a,
  author = {Pascal Boldini},
  title = {Vagueness and Type Theory},
  booktitle = {{LACL}'96: First International Conference on
      Logical Aspects of Computational Linguistics},
  publisher = {Springer-Verlag},
  year = {1997},
  editor = {Christian Retor/'e},
  pages = {134--148},
  address = {Berlin},
  topic = {logic-and-computational-linguistics;vagueness;
		higher-order-logic;}
  }

@article{ boley:1977a,
  author = {Harold Boley},
  title = {Directed Recursive Labelnode Hypergraphs: A New
  	Representation-Language},
  journal = {Artificial Intelligence},
  year = {1977},
  volume = {9},
  number = {1},
  pages = {49--85},
  acontentnote = {Abstract:
     Directed recursive labelnode hypergraphs (DR\underline{L}Hs)
     are defined as a new representation-language combining 3
     generalizations of directed labeled graphs.
     DR\underline{L}Hs are shown to overcome certain difficulties
     of conventional representation-languages and to be capable of
     specializing to them.  The analysis of natural language strings
     into DR\underline{L}Hs and their processing is done with
     pattern-matching rules.},
  topic = {kr;graph-based-representations;semantic-nets;}
  }

@incollection{ boley:1992a,
  author = {Harold Boley},
  title = {Declarative Operations on Nets},
  booktitle = {Semantic Networks in Artificial Intelligence},
  publisher = {Pergamon Press},
  year = {1992},
  editor = {Fritz Lehmann},
  pages = {601--637},
  address = {Oxford},
  topic = {kr;semantic-networks;kr-course;}
  }

@book{ bolinger:1961a,
  author = {Dwight Bolinger},
  title = {Generality, Gradience, and the All-Or-None.},
  publisher = {Mouton},
  year = {1962},
  address = {The Hague},
  rtnote = {Hillman PE1139.5 .B65 1986},
  topic = {prosody;phonetics;}
 }

@incollection{ bolinger:1967a,
  author = {Dwight Bolinger},
  title = {The Imperative In {E}nglish},
  booktitle = {To Honour {R}oman {J}akobson: Essays on the Occasion of
  	His Seventieth Birthday},
  publisher = {Mouton},
  year = {1967},
  editor = {Morris Halle and H.G. Lunt and H. McLean},
  pages = {335--362},
  address = {The Hague},
  note = {Janua Linguarum, Ser. Major 31.},
  rtnote = {In RHT Collection},
  missinginfo = {E's 1st name},
  topic = {imperatives;}
  }

@article{ bolinger:1967b,
  author = {Dwight Bolinger},
  title = {Adjectives in {E}nglish: Attribution and Predication},
  journal = {Lingua},
  year = {1967},
  volume = {18},
  pages = {1--34},
  rtnote = {In RHT Collection},
  missinginfo = {number},
  topic = {adjectives;semantics-of-adjectives;}
  }

@book{ bolinger:1968a,
  author = {Dwight Bolinger},
  title = {Aspects of Language},
  publisher = {Harcourt, Brace \& World},
  year = {1968},
  address = {New York},
  rtnote = {Hillman P201 .B64},
  topic = {discourse-analysis;}
 }

@book{ bolinger:1971a,
  author = {Dwight Bolinger},
  title = {The Phrasal Verb in {E}nglish},
  publisher = {Harvard Univesity Press},
  year = {1977},
  address = {Cambridge, Massachusetts},
  rtnote = {Hillman.  PE1319 .B6},
  topic = {discourse-analysis;pragmatics;}
 }

@book{ bolinger:1972a,
  author = {Dwight Bolinger},
  title = {That's That},
  publisher = {Mouton},
  year = {1972},
  address = {The Hague},
  topic = {semantics-of-adjectives;vagueness;}
 }

@book{ bolinger:1972b,
  author = {Dwight Bolinger},
  title = {Degree Words},
  publisher = {Mouton},
  year = {1972},
  address = {The Hague},
  topic = {semantics-of-adjectives;vagueness;}
 }

@book{ bolinger:1977a,
  author = {Dwight Bolinger},
  title = {Pronouns and Repeated Nouns},
  publisher = {Indiana University Linguistics Club},
  year = {1982},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {pronouns;anaphora;}
 }

@book{ bolinger:1977b,
  author = {Dwight Bolinger},
  title = {Meaning and Form},
  publisher = {Longman},
  year = {1977},
  address = {New York},
  rtnote = {Hillman.  P222 B59 1989},
  topic = {discourse-analysis;pragmatics;}
 }

@book{ bolinger:1977c,
  author = {Dwight Bolinger},
  title = {Neutrality, Norm, and Bias},
  publisher = {Indiana University Linguistics Club},
  year = {1977},
  address = {Bloomington, Indiana},
  rtnote = {Hillman.  PE1585 .B57},
  topic = {discourse-analysis;pragmatics;}
 }

@incollection{ bolinger:1978a,
  author = {Dwight Bolinger},
  title = {Yes--No Questions Are Not Alternative Questions},
  booktitle = {Questions},
  publisher = {D. Reidel Publishing Company},
  year = {1978},
  editor = {Henry Hi\.z},
  pages = {87--105},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {interrogatives;}
  }

@incollection{ bolinger:1978b,
  author = {Dwight Bolinger},
  title = {Asking More Than One Thing at a Time},
  booktitle = {Questions},
  publisher = {D. Reidel Publishing Company},
  year = {1978},
  editor = {Henry Hi\.z},
  pages = {107--150},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {interrogatives;}
  }

@book{ bolinger:1980a,
  author = {Dwight Bolinger},
  title = {Language: The Loaded Weapon: the Use and Abuse of Language
  	Today},
  publisher = {Longman},
  year = {1980},
  address = {London},
  rtnote = {Not in Hillman.  JOHNSTOWN CAMPUS P 106 .B594 1980 Check
  	topics.},
  topic = {sociolinguistics;rhetoric;}
 }

@book{ bolinger:1986a,
  author = {Dwight Bolinger},
  title = {Intonation and Its Uses: Melody in Spoken {E}nglish},
  publisher = {Stanford University Press},
  year = {1986},
  address = {Stanford},
  contentnote = {TC:
  		Part I:   Introduction
  		Part II:  Accentual Prosody
  		Part III: Melodic Prosody
  },
  xref = {Review: ladd:1990a.},
  topic = {intonation;prosody;punctuation;}
  }

@incollection{ bolker:2000a,
  author = {Ethan D. Bolker},
  title = {An Existence Theorem for the Logic of Decision},
  booktitle = {{PSA}'1998: Proceedings of the 1998 Biennial Meetings
  	of the Philosophy of Science Association, Part {II}:
	Symposium Papers},
  publisher = {Philosophy of Science Association},
  year = {2000},
  editor = {Don A. Howard},
  pages = {S14--S32},
  address = {Newark, Delaware},
  topic = {decision-theory;}
  }

@incollection{ bollinger_t-etal:1987a,
  author = {Toni Bollinger and Karl-Hans Bl\"asius and Uli Hedst\"uck},
  title = {Knowledge Processing in the {LILOG} Project---From the
		First to the Second Prototype},
  booktitle = {Natural Language and Logic},
  year = {1987},
  editor = {Rudi Studer},
  pages = {26--49},
  publisher = {Springer-Verlag},
  address = {Berlin},
  topic = {knowledge-representation;computational-semantics;}
  }

@incollection{ bollinger_t-pletat:1992a,
  author = {Toni Bollinger and Udo Pletat},
  title = {An Order-Sorted Logic with Sort Literals and Disjointness
  	Constraints},
  booktitle = {{KR}'92. Principles of Knowledge Representation and
  	Reasoning: Proceedings of the Third International Conference},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Bernhard Nebel and Charles Rich and William Swartout},
  pages = {413--424},
  address = {San Mateo, California},
  topic = {kr;theorem-proving;hybrid-kr-architectures;sort-hierarchies;}
  }

@incollection{ bolton_d:1995a,
  author = {Derek Bolton},
  title = {Self-Knowledge, Error and Disorder},
  booktitle = {Mental Simulation: Evaluations and Applications},
  publisher = {Blackwell Publishers},
  year = {1995},
  editor = {Martin Davies and Tony Stone},
  pages = {209--234},
  address = {Oxford},
  topic = {introspection;}
  }

@article{ bolton_r:1998a,
  author = {Robert Bolton},
  title = {Essentialism and Semantic Theory in {A}ristotle:
  	{\it Posterior Analytics} II, 7--10},
  journal = {The Philosophical Review},
  year = {1998},
  volume = {108},
  number = {4},
  pages = {514--544},
  rtnote = {In RHT collection.},
  topic = {Aristotle;essentialism;philosophy-of-language;}
  }

@article{ bonanno:1996a,
  author = {Giacomo Bonanno},
  title = {On the Logic of Common Belief},
  journal = {Mathematical Logic Quarterly},
  year = {1996},
  volume = {42},
  pages = {305--311},
  missinginfo = {number},
  topic = {mutual-belief;epistemic-logic;}
  }

@unpublished{ bonanno:1998a,
  author = {Giacomo Binanno},
  title = {The Logic of Prediction},
  year = {1998},
  month = {September},
  note = {Unpublished manuscript, Department of Economics,
  	University of California at Davis},
  rtnote = {In RHT collection.},
  topic = {branching-time;}
  }

@article{ bonanno:2003a,
  author = {Giacomo Bonanno},
  title = {Memory of Past Beliefs and Actions},
  journal = {Studia Logica},
  year = {2003},
  volume = {75},
  number = {1},
  pages = {7--30},
  topic = {temporal-reasoning;epistemic-logic;}
  }

@article{ bonanno:2006a,
  author = {Giacomo Bonanno},
  title = {Axiomatic Characterization of the {AGM} Theory of Belief
  		Revision in a Temporal Logic},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {2--3},
  pages = {144--160},
  topic = {belief-revision;branching-time;}
  }

@article{ bonanno:2007a,
  author = {Giacomo Bonanno},
  title = {Temporal Interaction of Information and Belief},
  journal = {Studia Logica},
  year = {2007},
  volume = {86},
  number = {2},
  pages = {375--401},
  topic = {belief-revision;}
  }

@article{ bonanno:2009a,
  author = {Giacomo Bonanno},
  title = {Rational Choice and {AGM} Belief Revision},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {12--13},
  pages = {1194--1203},
  topic = {rational-choice;belief-revision;}
  }

@inproceedings{ bonanno-nehring:1998a,
  author = {Giacomo Bonnano and Klaus Nehring},
  title = {Understanding Common Priors under Incomplete
	Information},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Seventh Conference ({TARK} 1998)},
  year = {1998},
  editor = {Itzhak Gilboa},
  pages = {147--160},
  publisher = {Morgan Kaufmann},
  address = {San Francisco, California},
  topic = {reasoning-about-knowledge;common-prior-assumption;}
  }

@incollection{ bonatti-etal:2006a,
  author = {Piero Bonatti and Carsten Lutz and Frank Wolter},
  title = {Description Logics with Circumscription},
  booktitle = {{KR}2006: Proceedings, Tenth International Conference on
      Principles of  Knowledge Representation and Reasoning},
  publisher = {AAAI Press},
  year = {2006},
  editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty},
  pages = {400--410},
  address = {Menlo Park, California},
  topic = {description-logics;circumscription;nonmonotonic-logic;}
  }

@article{ bonatti-peron:2004a,
  author = {Piero A. Bonatti and A. Peron},
  title = {On the Undecidability of Logics with Converse, Nominals,
  	Recursion, and Counting},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {158},
  number = {1},
  pages = {75--96},
  topic = {complexity-in-AI;(un)decidability;description-logics;}
  }

@article{ bonay:2008a,
  author = {Dennis Bonay},
  title = {Logicality and Invariance},
  journal = {The Bulletin of Symbolic Logic},
  year = {2008},
  volume = {14},
  number = {1},
  pages = {29--68},
  topic = {logical-constants;}
  }

@article{ bonay-egre:2009a,
  author = {Denis Bonay and Paul \'Egr\'e},
  title = {Inexact Knowledge with Introspection},
  journal = {Journal of Philosophical Logic},
  year = {2009},
  volume = {38},
  number = {2},
  pages = {179--227},
  topic = {epistemic-logic;vagueness;limited-rationality;}
  }

@book{ bond_a-glasser:1988a,
 editor = {Alan Bond and Les Glasser},
 title = {Readings in Distributed Artificial Intelligence},
 publisher = {Morgan Kaufmann},
 address = {San Mateo, California},
 year = {1988},
 topic = {distributed-AI;}
 }

@inproceedings{ bond_f-etal:1998a,
  author = {Francis Bond and Daniela Kurz and Satoshi Shirai},
  title = {Anchoring Floating Quantifiers in {J}apanese-to-{E}nglish
  	Machine Translation},
  booktitle = {Proceedings of the Thirty-Sixth Annual Meeting of the
		{A}ssociation for {C}omputational {L}inguistics and
		Seventeenth International Conference on
		Computational Linguistics},
  year = {1998},
  editor = {Christian Boitet and Pete Whitelock},
  pages = {152--159},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {quantifier-float;machine-translation;Japanese-language;}
}

@article{ bondarenko-etal:1997a,
  author = {A. Bondarenko and Phan Minh Dung and Robert A. Kowalski and
  	Francesca Toni},
  title = {An Abstract, Argumentation-Theoretic Approach to Default
  	Reasoning},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {93},
  number = {1--2},
  pages = {63--101},
  xref = {Discussion: dimopoulos-etal:2002a},
  topic = {argument-based-defeasible-reasoning;nonmonotonic-reasoning;}
  }

@article{ bonet_b:2009a,
  author = {Blai Bonet},
  title = {Conformant Plans and Beyond: Principles and Complexity},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {174},
  number = {3--4},
  pages = {245--269},
  topic = {planning'modal-logic;cimplexity-in-AI;}
  }

@inproceedings{ bonet_b-geffner:1999a,
  author = {Blai Bonet and H\'ector Geffner},
  title = {General Planning Tool (GPT)},
  booktitle = {Workshop on Logic-Based Artificial Intelligence,
	       Washington, DC, June 14--16, 1999},
  year = {1999},
  editor = {Jack Minker},
  publisher = {Computer Science Department, University of Maryland},
  address = {College Park, Maryland},
  topic = {planning-algorithms;}
  }

@article{ bonet_b-geffner:2001a,
  author = {Blai Bonet and H\'ector Geffner},
  title = {Planning as Heuristic Search},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {129},
  number = {1--2},
  pages = {5--33},
  topic = {heuristics;search;planning;}
  }

@article{ bonet_b-geffner:2001b,
  author = {Blai Bonet and Hector Geffner},
  title = {Heuristic Search Planner 2.0},
  journal = {The {AI} Magazine},
  year = {2001},
  volume = {22},
  number = {1},
  pages = {77--80},
  topic = {planning;planning-algorithms;planning-systems;}
  }

@incollection{ bonet_b-geffner:2006a,
  author = {Blai Bonet and Hector Geffner},
  title = {Heuristics for Planning with Penalties and Rewards using
  		Compiled Knowledge},
  booktitle = {{KR}2006: Proceedings, Tenth International Conference on
      Principles of  Knowledge Representation and Reasoning},
  publisher = {AAAI Press},
  year = {2006},
  editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty},
  pages = {451--462},
  address = {Menlo Park, California},
  topic = {planning-algorithms;heuristics;}
  }

@article{ bonet_b-geffner:2008a,
  author = {Blai Bonet and H\'ector Geffner},
  title = {Heuristics for Planning with Penalties and Rewards
  		Formulated in Logic and Computed through Circuits},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {12--13},
  pages = {1579--1604},
  topic = {heuristics;planning-algorithms;}
  }

@article{ bonet_ml-etal:2007a,
  author = {Mar\'ia Luisa Bonet and Jordi Levy and Felip Many\`a},
  title = {Resolution for Max-{SAT}},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {8--9},
  pages = {606--618},
  topic = {model-checking;resolution;}
  }

@article{ bonevac:1984a,
  author = {Daniel Bonevac},
  title = {Semantics for Clausally Complemented Verbs},
  journal = {Synth\'ese},
  year = {1984},
  volume = {59},
  number = {2},
  pages = {187--218},
  topic = {propositional-attitudes;situation-semantics;}
  }

@article{ bonevac:1990a,
  author = {Daniel Bonevac},
  title = {Paradoxes of Fulfillment},
  journal = {Journal of Philosophical Logic},
  year = {1990},
  volume = {19},
  number = {3},
  pages = {229--252},
  topic = {semantic-paradoxes;speech-acts;pragmatics;}
  }

@article{ bonevac:1998a,
  author = {Daniel Bonevac},
  title = {Against Conditional Obligation},
  journal = {No\^us},
  year = {1998},
  volume = {32},
  number = {1},
  pages = {37--53},
  topic = {conditional-obligation;deontic-logic;}
  }

@unpublished{ bonevac-etal:2005a,
  author = {Daniel Bonevac and Josh Dever and Nicholas Asher},
  title = {The Conditional Fallacy},
  year = {2005},
  note = {Unpublished manuscript, University of Texas.},
  rtnote = {In RHT collection.  Filed under "Bonevac".},
  URL = {http://www.utexas.edu/cola/depts/philosophy/faculty/bonevac/CF.pdf},
  topic = {dispositionals;conditionals;}
  }

@article{ bonevac-etal:2006a,
  author = {Daniel Bonevac and Josh Dever and David Sosa},
  title = {The Conditional Fallacy},
  journal = {The Philosophical Review},
  year = {2006},
  volume = {115},
  number = {3},
  pages = {273--316},
  topic = {dispositionals;conditionals;}
  }

@unpublished{ bonevac-etal:2008a,
  author = {Daniel Bonevac and Josh Dever and David Sosa},
  title = {A Buyer's Guide to Conditionals},
  year = {2008},
  note = {Unpublished manuscript, University of Texas},
  rtnote = {In RHT collection.  MT Summer 08.},
  topic = {conditionals;}
  }

@book{ bonfantini:1987a,
  author = {Massimo Bonfantini},
  title = {La Semiosi e l'Abduzione},
  publisher = {Bompiani},
  year = {1987},
  address = {Mailand},
  topic = {semiotics;abduction;}
 }

@article{ boniolo-valentini:2008a,
  author = {Giovanni Boniolo and Silvio Valentini},
  title = {Vagueness, {K}ant and Topology:  A Study of Formal Topology},
  journal = {Journal of Philosophical Logic},
  year = {2008},
  volume = {37},
  number = {2},
  pages = {141--168},
  topic = {vagueness;}
  }

@book{ bonissone-etal:1991a,
  editor = {P.O Bonissone and Max Henrion and L.N. Kanal
  	and J.F. Lemmer},
  title = {Uncertainty in Artificial Intelligence, Volume 6},
  publisher = {North-Holland Publishing Co.},
  year = {1991},
  address = {Amsterdam},
  missinginfo = {E's 1st name.},
  topic = {reasoning-about-uncertainty;}
 }

@article{ bonjour:1991a,
  author = {Laurence Bonjour},
  title = {Is Thought a Symbolic Process?},
  journal = {Synth\'ese},
  year = {1991},
  volume = {89},
  number = {3},
  pages = {331--352},
  topic = {foundations-of-cognition;}
  }

@book{ bonk:2003a,
  editor = {Thomas Bonk},
  title = {Language, Truth, and Knowledge:  Contribution to the
  		Philosophy of {R}udolf {C}arnap},
  publisher = {Kluwer Academic Publishers},
  year = {2003},
  address = {Dordrecht},
  xref = {Review: uebel:2005a.},
  topic = {logical-empiricism;history-of-philosophy;}
 }

@inproceedings{ bonnema-etal:1997a,
  author = {Remko Bonnema and Rens Bod and Remko Scha},
  title = {A {DOP} Model for Semantic Interpretation},
  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 = {159--167},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {computational-semantics;statistical-nlp;}
 }

@incollection{ bonnema-etal:1999a,
  author = {Remko Bonnema and Paul Buying and Remko Scha},
  title = {A New Probability Model for Data Oriented Parsing},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
		of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {85--90},
  address = {Amsterdam},
  topic = {parsing-algorithms;statistical-parsing;}
  }

@book{ bonney:1982a,
  author = {W.L. Bonney},
  title = {Problems in the Grammar and Logic of {E}nglish Complementation},
  publisher = {Indiana University Linguistics Club},
  year = {1982},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {nl-syntax;definiteness;anaphora;syntactic-control;}
 }

@article{ bonomi:1977a,
  author = {Andrea Bonomi},
  title = {Existence, Presupposition and Anaphoric Space},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {6},
  number = {3},
  pages = {239--267},
  topic = {(non)existence;presupposition;pragmatics;anaphora;}
  }

@article{ bonomi:1997a,
  author = {Andrea Bonomi},
  title = {Aspect, Quantification, and When-Clauses in {I}talian},
  journal = {Linguistics and Philosophy},
  year = {1997},
  volume = {20},
  number = {5},
  pages = {469--514},
  topic = {Italian-language;tense-aspect;}
  }

@article{ bonomi:1997b,
  author = {Andrea Bonomi},
  title = {The Progressive and the Structure of Events},
  journal = {Journal of Semantics},
  year = {1997},
  volume = {14},
  pages = {173--205},
  rtnote = {In RHT collection.  \jn09},
  topic = {tense-aspect;}
  }

@article{ bonomi:2002a,
  author = {Andrea Bonomi},
  title = {Review of \emph{{S}emantics, Tense, and Time:  An Essay
  	in the Metaphysics of Natural Language}, by {P}eter {L}udlow},
  journal = {Linguistics and Philosophy},
  year = {2002},
  volume = {25},
  number = {1},
  pages = {81--95},
  xref = {Review of: ludlow:1999a.},
  topic = {nl-semantics;tense-aspect;metaphysics;}
  }

@incollection{ bonomi:2007a,
  author = {Andrea Bonomi},
  title = {Fictional Contexts},
  booktitle = {Perspectives on Context},
  publisher = {CSLI Publications},
  year = {2007},
  editor = {Paolo Bouquet and Luciano Serafini and Richmond H. Thomason},
  pages = {215--249},
  address = {Stanford, California},
  topic = {context;fiction;}
  }

@article{ bonomi-casalegno:1993a,
  author = {Andrea Bonomi and Paolo Casalegno},
  title = {`{O}nly': Association with Focus in Event Semantics},
  journal = {Natural Language Semantics},
  year = {1993},
  volume = {2},
  number = {1},
  pages = {1--45},
  topic = {nl-semantics;sentence-focus;events;pragmatics;}
  }

@article{ bonotto-zanardo:1989a,
  author = {Cinzia Bonotto and Alberto Zanardo},
  title = {A Non-Compactness Phenomenon in Logics with
  	Hyperintensional Predication},
  journal = {Journal of Philosophical Logic},
  year = {1989},
  volume = {18},
  number = {4},
  pages = {383--398},
  topic = {hyperintensionality;intensional-logic;}
  }

@incollection{ bontcheva-etal:2002a,
  author = {Kalina Bontcheva and Hamish Cunningham and Valentin Tablan and
     		Diana Maynard and Oana Hamza},
  title = {Using {GATE} as an
		Environment for Teaching {NLP}},
  booktitle = {Effective Tools and Methodologies for Teaching
  	{NLP} and {CL}},
  publisher = {Association for Computational Linguistics},
  year = {2002},
  editor = {Dragomir Radev and Chris Brew},
  pages = {53--61},
  address = {New Brunswick, New Jersey},
  topic = {nlp-pedagogy;}
  }

@inproceedings{ bonzon:1995a,
  author = {Pierre E. Bonzon},
  title = {A Meta-Level Inference Architecture for Contexts},
  booktitle = {Formalizing Context},
  year = {1995},
  editor = {Sa\v{s}a Buva\v{c}},
  pages = {47--54},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {context;}
  }

@inproceedings{ bonzon:1997a,
  author = {Pierre E. Bonzon},
  title = {A Reflective Proof System for Reasoning in Contexts},
  booktitle = {Proceedings of the Fourteenth National Conference on
              Artificial Intelligence},
  year = {1997},
  editor = {Howard Shrobe and Ted Senator},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  missinginfo = {pages},
  topic = {context;contextual-reasoning;logic-of-context;}
  }

@incollection{ bonzon:2000a,
  author = {Pierre Bonzon},
  title = {Contextual Learning: Towards Using Contexts to
    		Achieve Generality},
  booktitle = {Formal Aspects of Context},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Pierre Bonzon and Marcos Cavalcanti and Rolf Nossum},
  pages = {127--141},
  address = {Dordrecht},
  topic = {context;machine-learning;metareasoning;logic-programming;}
  }

@book{ bonzon-etal:2000a,
  editor = {Pierre Bonzon and Marcos Cavalcanti and Rolf Nossum},
  title = {Formal Aspects of Context},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  address = {Dordrecht},
  ISBN = {0-7923-6350-7},
  contentnote = {TC:
     1. Dov M. Gabbay, "Editorial Preface", p. vii
     2. Pierre Bonzon and Marcos Cavalcanti and Rolf
     		Nossum, "Introduction", pp. ix--x
     3. Kees van Deemter and Jan Odijk, "Formal and Computational
     		Models of Context for Natural Language
		Generation", pp. 1--21
     4. Harry Bunt, "Requirements for Dialogue Context
     		Management", pp. 23--36
     5. Julia Lavid, "Contextual Constraints on Thematization in
     		Written Discourse: An Empirical Study", pp. 37--47
     6. Mark Galliker and Daniel Weimer, "Context and Implicitness:
     		Consequences for Traditional and Computer-Assisted
		Text Analysis", pp. 49--63
     7. Alessandro Cimatti and Luciano Serafini, "A Context-Based
     		Mechanization of Multi-Agent Reasoning", pp. 65--83
     8. Paul Piwek and Emiel Krahmer, "Presuppositions in Context:
     		Constructing Bridges", pp. 85--106
     9. Vagan Y. Terziyan and Seppo Puuronen, "Reasoning with
     		Multilevel Contexts in Semantic
		Metanetworks", pp. 107--126
    10. Pierre Bonzon, "Contextual Learning: Towards Using Contexts to
    		Achieve Generality", pp. 127--141
    11. Leon W.N. van der Torre and Yao-Hua Tan, "Contextual Deontic
    		Logic", pp. 143--160
    12. Fausto Giunchiglia and Chiara Ghidini, "A Local Models
    		Semantics for Propositional Attitudes", pp. 161--174
    13. Luciano Serafini and Chiara Ghidini, "Context-Based Semantics
    		for Information Integration", pp. 175--192
    14. Dov M. Gabbay and Rolf Nossum, "Structured Contexts with
    		Fibred Semantics", pp. 193--209
  },
  rtnote = {In RHT Collection.  LLP edited shelves.},
  xref = {Review: thomason_rh:2001a.},
  topic = {context;}
 }

@incollection{ bonzon-etal:2000b,
  author = {Pierre Bonzon and Marcos Cavalcanti and Rolf Nossum},
  title = {Introduction},
  booktitle = {Formal Aspects of Context},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Pierre Bonzon and Marcos Cavalcanti and Rolf Nossum},
  pages = {ix--x},
  address = {Dordrecht},
  topic = {context;}
  }

@book{ booch:1994a,
  author = {Grady Booch},
  title = {Object-Oriented Analysis and Design with Applications},
  edition = {2},
  publisher = {Benjamin Cummings},
  year = {1994},
  address = {Redwood City, California},
  topic = {object-oriented-analysis;domain-modeling;}
 }

@incollection{ booij:1992a,
  author = {Geert Booij},
  title = {Morphology, Semantics and Argument Structure},
  booktitle = {Thematic Structure: Its Role in Grammar},
  publisher = {Foris Publications},
  year = {1992},
  editor = {Iggy M. Roca},
  pages = {47--64},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {thematic-roles;argument-structure;}
  }

@book{ booij:2004a,
  author = {Gert Booij},
  title = {The Grammar of Words},
  publisher = {Oxford University Press},
  year = {2004},
  address = {Oxford},
  ISBN = {0-19-926664-6},
  topic = {morphology;linguistics-intro;}
 }

@article{ booker-etal:1989a,
  author = {L.B.  Booker and D.E. Goldberg and J.H. Holland},
  title = {Classifier Systems and Genetic Algorithms},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {40},
  number = {1--3},
  pages = {235--282},
  topic = {automatic-classification;genetic-algorithms;
  	machine-learning;}
  }

@book{ boolos:1979a,
  author = {George Boolos},
  title = {The Unprovability of Consistency},
  publisher = {Cambridge University Press},
  year = {1979},
  address = {Cambridge, England},
  topic = {goedels-second-theorem;semantic-reflection;provability-logic;}
 }

@article{ boolos:1980a,
  author = {George Boolos},
  title = {Provability, Truth, and Modal Logic},
  journal = {Journal of Philosophical Logic},
  year = {1980},
  volume = {9},
  number = {1},
  pages = {1--7},
  topic = {modal-logic;provability-logic;}
  }

@article{ boolos:1984a,
  author = {George Boolos},
  title = {Don't Eliminate Cut},
  journal = {Journal of Philosophical Logic},
  year = {1984},
  volume = {13},
  number = {4},
  pages = {373--378},
  topic = {proof-theory;cut-free-deduction;complexity-theory;}
  }

@article{ boolos:1985b,
  author = {George Boolos},
  title = {Nominalist Platonism},
  journal = {The Philosophical Review},
  year = {1985},
  volume = {94},
  number = {3},
  pages = {327--344},
  xref = {Commentary: linnebo:2002a.},
  topic = {plural;higher-order-logic;nominalism;}
  }

@article{ boolos:1987a,
  author = {George Boolos},
  title = {A Curious Inference},
  journal = {Journal of Philosophical Logic},
  year = {1987},
  volume = {16},
  pages = {1--12},
  missinginfo = {number},
  topic = {proof-theory;proof-complexity;higher-order-logic;
  	large-numbers;}
 }

@article{ boolos:1991a,
  author = {George Boolos},
  title = {Zooming Down the Slippery Slope},
  journal = {No{\^u}s},
  year = {1991},
  volume = {25},
  pages = {695--706},
  topic = {vagueness;}
  }

@book{ boolos:1993a,
  author = {George Boolos},
  title = {The Logic of Provability},
  publisher = {Cambridge Universoti Press},
  year = {1993},
  address = {Cambridge, England},
  xref = {Review: tait:1999a.},
  topic = {modal-logic;provability-logic;goedels-second-theorem;}
 }

@article{ boolos:1997a,
  author = {George Boolos},
  title = {Constructing {C}antorian Counterexamples},
  journal = {Journal of Philosophical Logic},
  year = {1997},
  volume = {26},
  number = {3},
  pages = {237--239},
  topic = {set-theory;}
  }

@book{ boolos:1998a,
  author = {George Boolos},
  title = {Logic, Logic, and Logic},
  publisher = {Cambridge, Mass: Harvard University Press},
  year = {1998},
  address = {Cambridge},
  ISBN = {0674537661},
  note = {Introductions and afterword by John P. Burgess; edited by
  	Richard Jeffrey.},
  rtnote = {UMich Science, BC 51 .B581 1998},
  topic = {philosophical-logic;}
 }

@article{ boolos-sambin:1985a,
  author = {George Boolos and Giovanni Sambin},
  title = {An Incomplete System of Modal Logic},
  journal = {Journal of Philosophical Logic},
  year = {1985},
  volume = {14},
  number = {4},
  pages = {351--358},
  topic = {modal-logic;provability-logic;}
  }

@book{ boons-leclere:1976a,
  author = {{A.G. Jean-Paul} Boons and C. Leclere},
  title = {La Structure des Phrases Simples en {F}rancais:
  	Constructions Intransitives},
  publisher = {Libraire Droz},
  year = {1976},
  address = {Gen\'eve-Paris},
  missinginfo = {A's 1st name},
  topic = {transitivity-alternations;French-language;}
 }

@incollection{ booth_r:2002a,
  author = {Richard Booth},
  title = {Social Contraction and Belief Negotiation},
  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 = {375--384},
  address = {San Francisco, California},
  topic = {kr;belief-revision;knowledge-integration;}
  }

@article{ booth_r-etal:2005a,
  author = {Richard Booth and Samir Chopra and Aditya Ghose and
  		Thomas Meyer},
  title = {Belief Liberation (and Retraction)},
  journal = {Studia Logica},
  year = {2005},
  volume = {79},
  number = {1},
  pages = {47--72},
  topic = {belief-revision;}
  }

@incollection{ booth_r-etal:2006a,
  author = {Richard Booth and Thomas Meyer and Ka-Shu Wong},
  title = {A Bad Day Surfing Is Better than a Good Day Working: How
		to Revise a Total Preorder},
  booktitle = {{KR}2006: Proceedings, Tenth International Conference on
      Principles of  Knowledge Representation and Reasoning},
  publisher = {AAAI Press},
  year = {2006},
  editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty},
  pages = {230--238},
  address = {Menlo Park, California},
  topic = {belief-revision;preferences;}
  }

@article{ booth_r-paris_jb:1998a,
  author = {Richard Booth and J.B. Paris},
  title = {A Note on the Rational Closure of Knowledge
		Bases with Both Positive and Negative Knowledge},
  journal = {Journal of Logic, Language, and Information},
  year = {1998},
  volume = {7},
  number = {2},
  pages = {165--190},
  topic = {belief-revision;}
  }

@book{ booth_wc:1974a,
  author = {Wayne C. Booth},
  title = {A Rhetoric of Irony},
  publisher = {University of Chicago Press},
  year = {1974},
  address = {Chicago},
  ISBN = {0226065529},
  rtnote = {UMich Graduate Library PN56 .I65 B72},
  topic = {irony;literary-criticism;}
 }

@inproceedings{ booutilier:2002a,
  author = {Craig Boutilier},
  title = {A {PDMP} Formulation of Preference Elicitation Problems},
  booktitle = {Proceedings of the Eighteenth National Conference on
              Artificial Intelligence},
  year = {2002},
  editor = {Rina Dechter and Michael Kearns and Richard S. Sutton},
  pages = {239--246},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {preference-elicitation;POMDPs;}
  }

@book{ borenstein:1991a,
  author = {Nathaniel S. Borenstein},
  title = {Software Conflict: Essays on the Art and Science of
  	Software Engineering},
  publisher = {Prentice Hall},
  year = {1991},
  address = {Englewood Cliffs, New Jersey},
  ISBN = {0138261571},
  rtnote = {UMich Media Union Library, QA 76.758 .G531 1991.},
  topic = {software-engineering;}
 }

@article{ borg:2001a,
  author = {Emma Borg},
  title = {Review of \emph{{M}eaning,} by {P}aul {H}orwich},
  journal = {The Philosophical Review},
  year = {2001},
  volume = {110},
  number = {1},
  pages = {101--104},
  xref = {Review of horwich:1998a.},
  topic = {foundations-of-semantics;philosophy-of-language;}
  }

@book{ borg:2004a,
  author = {Emma Borg},
  title = {Minimal Semantics},
  publisher = {Oxford University Press},
  year = {2004},
  address = {Oxford},
  ISBN = {0199270252},
  note = {Umich Graduate Library P325 .B595 2004},
  topic = {foundations-of-semantics;philosophy-of-language;}
 }

@incollection{ borg:2005a,
  author = {Emma Borg},
  title = {Saying What You Mean: Unarticulated Constituents and
  		Communication},
  booktitle = {Ellipsis and Non-Sentential Speech},
  publisher = {Kluwer Academic Publishers},
  year = {2005},
  editor = {Reinaldo Elugardo and Robert J. Stainton},
  pages = {237--262},
  address = {Dordrecht},
  topic = {pragmatics;ellipsis;}
  }

@article{ borgelt-kruse:2003a,
  author = {Christof Borgelt and Rudolf Kruse},
  title = {Operations and Evaluation Measures for Learning Possibilistic
  	Graphical Models},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {148},
  number = {1--2},
  pages = {385--418},
  topic = {possibility-theory;machine-learning;}
  }

@book{ borger:1987a,
  editor = {Egon B\"orger},
  title = {Computation Theory and Logic},
  publisher = {Springer-Verlag},
  year = {1987},
  address = {Berlin},
  ISBN = {0387181709},
  rtnote = {Umich Media Union Library, QA267 .C5881 1987.},
  topic = {theoretical-cs-general;}
 }

@book{ borger:1988a,
  editor = {Egon B\"orger},
  title = {Trends in Theoretical Computer Science},
  publisher = {Computer Science Press},
  year = {1988},
  address = {Rockville},
  ISBN = {0881750840},
  rtnote = {UMich Media Union Library, QA76 .T78 1987.},
  topic = {theoretical-cs-general;}
 }

@book{ borger:1995a,
  editor = {Egon B\"orger},
  title = {Specification and Validation Methods},
  publisher = {Oxford University Press},
  year = {1995},
  address = {Oxford},
  ISBN = {0198538545},
  rtnote = {UMich Media Union Library, QA 76.7 .S641 1995.},
  topic = {program-specification;}
 }

@book{ borger-etal:1997a,
  author = {Egon B\"orger and Erich Gr\"adel and Yuri Gurevich},
  title = {The Classical Decision Problem},
  publisher = {Springer Verlag},
  year = {1997},
  address = {Berlin},
  xref = {Review: marx_m:1999a.},
  topic = {undecidability;decidability;}
 }

@article{ borghuis:1998a,
  author = {Tun Borghuis},
  title = {Modal Pure Type Systems},
  journal = {Journal of Logic, Language, and Information},
  year = {1998},
  volume = {7},
  number = {3},
  pages = {265--296},
  topic = {modal-logic;higher-order-logic;proof-theory;}
  }

@incollection{ borghus:1993a,
  author = {Tijn Borghus},
  title = {Interpreting Modal Natural Deduction in Type Theory},
  booktitle = {Diamonds and Defaults},
  publisher = {Kluwer Academic Publishers},
  editor = {Maarten de Rijke},
  year = {1993},
  pages = {67--102},
  address = {Dordrecht},
  topic = {modal-logic;higher-order-logic;}
  }

@article{ borgida:1985a,
  author = {Alex Borgida},
  title = {Language Features for Flexible Handling of Exceptions in
  	Information Systems},
  journal = {{ACM} Transactions on Database Systems},
  year = {1985},
  volume = {10},
  pages = {563--603},
  missinginfo = {number},
  topic = {applied-nonmonotonic-reasoning;}
  }

@incollection{ borgida:1992a,
  author = {Alex Borgida},
  title = {Towards the Systematic Development of Description Logic
  	Reasoners: {CLASP} reconstructed},
  booktitle = {{KR}'92. Principles of Knowledge Representation and
  	Reasoning: Proceedings of the Third International Conference},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Bernhard Nebel and Charles Rich and William Swartout},
  pages = {259--269},
  address = {San Mateo, California},
  topic = {kr;description-logics;extensions-of-kl1;kr-course;}
  }

@article{ borgida:1996a,
  author = {Alex Borgida},
  title = {On the Relative Expressive Completeness of Description
  	Logics and Predicate Logics},
  journal = {Artificial Intelligence},
  year = {96},
  volume = {82},
  number = {1--2},
  pages = {353--367},
  topic = {taxonomic-logic;}
  }

@incollection{ borgida-etal:2003a,
  author = {Alex Borgida and Maurizio Lenzerini and Riccardo
    		Rosati},
  title = {Description Logics for Databases},
  booktitle = {The Description Logic Handbook:  Theory, Implementation
  		and Applications},
  publisher = {Cambridge University Press},
  year = {2003},
  editor = {Franz Baader and Diego Calvanese and Deborah L. McGuinness
  		and Daniele Nardi and Peter Patel-Schneider},
  pages = {462--484},
  address = {Cambridge, England},
  topic = {description-logics;AI-applications;databases;}
  }

@incollection{ borgida-etherington:1989a,
  author = {Alex Borgida and David W. Etherington},
  title = {Hierarchical Knowledge Bases and Efficient Disjunctive
  	Reasoning},
  booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1989},
  editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter},
  pages = {33--43},
  address = {San Mateo, California},
  missinginfo = {number},
  topic = {kr;vivid-reasoning;inheritance;description-logics;kr-course;}
  }

@incollection{ borgida-mcguinness_dl:1996a,
  author = {Alex Borgida and Deborah L. McGuinness},
  title = {Asking Queries about Frames},
  booktitle = {{KR}'96: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro},
  pages = {340--349},
  address = {San Francisco, California},
  topic = {kr;classic;description-logics;generating-explanations;kr-course;}
  }

@article{ borgida-patelschneider:1994a,
  author = {Alex Borgida and Peter Patel-Schneider},
  title = {A Semantics and Complete Algorithm for Subsumption in the
  	{CLASSIC} Description Logic},
  journal = {Journal of Artificial Intelligence Research},
  year = {1994},
  volume = {1},
  pages = {277--308},
  topic = {kr;CLASSIC;subsumption-algorithms;kr-course;}
  }

@incollection{ borgo-etal:1996a,
  author = {Stefano Borgo and Nicola Guarino and Claudio Masolo},
  title = {A Pointless Theory of Space Based on Strong Connection and
  	Congruence},
  booktitle = {{KR}'96: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro},
  pages = {220--229},
  address = {San Francisco, California},
  rtnote = {Got to love this title.},
  topic = {kr;spatial-reasoning;kr-course;}
  }

@article{ boricic:1985a,
  author = {Branislaw R. Bori\v{c}i\v{c}},
  title = {On Sequence-Conclusion Natural Deduction Systems},
  journal = {Journal of Philosophical Logic},
  year = {1985},
  volume = {14},
  number = {4},
  pages = {359--377},
  topic = {proof-theory;}
  }

@article{ borisavljevic:2008a,
  author = {Miriana Borisavljevi\c},
  title = {Normal Derivations and Sequent Derivations},
  journal = {Journal of Philosophical Logic},
  year = {2008},
  volume = {37},
  number = {1},
  pages = {521--548},
  topic = {intuitionistic-logic;proof-theory;cut-elimination;}
  }

@article{ borkin:1972a,
  author = {Ann Borkin},
  title = {Coreference and Beheaded NPs},
  journal = {Papers in Linguistics},
  year = {1972},
  volume = {5},
  pages = {28--45},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {nl-syntax;metonymy;}
  }

@incollection{ bornscheuer-etal:1998a,
  author = {S.-E. Bornscheuer et al.},
  title = {Massively Parallel Reasoning},
  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;}
  }

@article{ boros-etal:1999a,
  author = {Endre Boros and Toshihide Ibaraki and Kazuhara
  	Makino},
  title = {Logical Analysis of Binary Data with Missing Bits},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {107},
  number = {2},
  pages = {219--263},
  topic = {kr-complexity-analysis;data-mining;logic-in-AI;}
  }

@article{ borowski:1973a,
  author = {E.J. Borowski},
  title = {On the Extent of {J}ohn's Height},
  journal = {Foundations of Language},
  year = {1973},
  volume = {10},
  number = {3},
  pages = {419--422},
  topic = {comparative-constructions;nl-semantics;}
  }

@book{ borsuk-smielew:1960a,
  author = {Karol Borsuk and Wanda Smielew},
  title = {Foundations of Geometry.  Part {I}: {E}uclidean and
  	{B}olyai-{L}obachevskian Geometry.  Part {II}: Projective
	Geometry,},
  publisher = {North-Holland Publishing Co.},
  year = {1960},
  address = {Amsterdam},
  note = {English edition; translated by Erwin Marquit.},
  rtnote = {In RHT Collection.  Mathematics shelves.},
  topic = {geometry;formalizations-of-geometry;}
 }

@incollection{ bos:1994a,
  author = {Johan Bos},
  title = {Presupposition and {VP}-Ellipsis},
  booktitle = {{COLING}'94: The Fifteenth International Conference on
  	Computational Linguistics},
  year = {1994},
  missinginfo = {Editor, publisher, address, pages},
  topic = {presupposition;VP-ellipsis;}
  }

@article{ bos:2003a,
  author = {Johan Bos},
  title = {Implementing the Binding and Accommodation Theory for
  	Anaphora Resolution and Presupposition Projection},
  journal = {Computational Linguistics},
  year = {2003},
  volume = {29},
  number = {2},
  pages = {179--210},
  topic = {accommodation;anaphora;nl-processing;}
  }

@article{ bos:2004a,
  author = {Johan Bos},
  title = {Computational Semantics in Discourse: Underspecification,
  	Resolution, and Inference},
  journal = {Journal of Logic, Language, and Information},
  year = {2004},
  volume = {13},
  number = {2},
  pages = {139--157},
  topic = {computational-semantics;discourse-representation-theory;
  	semantic-underspecification;}
  }

@inproceedings{ bos-etal:1998a,
  author = {Johan Bos and C.J. Rupp and Bianka Buschbeck-Wolf and
  	Michael Dorna},
  title = {Managing Information at Linguistic Interfaces},
  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 = {160--166},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {spoken-dialogue-systems;machine-translation;}
}

@book{ bos-etal:2002a,
  editor = {Johan Bos and Mary Ellen Foster and Colin Mathesin},
  title = {{EDILOG} 2002: Proceedings of the Sixth Workshop on the
  	Semantics and Pragmatics of Dialogue},
  publisher = {Cognitive Science Centre, University of Edinburgh},
  year = {2002},
  address = {Edinburgh},
  contentnote = {TC:
     1. Susan Brennan, "Audience Design and Discourse Processes: Do
     		Speakers and Addressees", p. 1
     2. Enric Vallduv\'i, "Information Packaging and Dialog", p. 4
     3. J. Gabriel Amores and Jos\'e Quesada, "Cooperation and
     		Collaboration in Natural Language Command
		Dialogues", pp. 5--11
     4. Anne H. Anderson and Barbara Howarth, "Referential Form and
     		Word Duration in Video-Mediated and Face-to-Face
		Dialogues ", pp. 13--28
     5. Michael L. Anderson and Yoshi A. Okamoto and Darsana Josyula
     		and Don Perlis, "The Use-Mention Distinction and its
		Importance to {HCI}", pp. 21--28
     6. Ellen Gurman Bard and Matthew P. Aylett and Robin J.
     		Lickley, "Towards a Psycholinguistics of
		Dialogue: Defining Reaction Time and Error Rate in
		a Dialogue Corpus", pp. 29--36
     7. Adam Buchwald and Oren Schwartz and Amanda Seidl and
     		Paul Smolensky, "Recoverability Optimality Theory: Discourse
		Anaphora in a Bi-Directional Framework", pp. 37--44
     8. Robin Cooper and Jonathan Ginzburg, "Using Dependent Record
     		Types in Clarification Ellipsis", pp. 45--52
     9. Floriana Grasso, "Towards a Framework for Rhetorical
     		Argumentation", pp. 53--60
    10. Samson de Jager and Alistair Knott and Ian Bayard, "A
    		{DRT}-Based Framework for Presupposition in Dialogue
		Management ", pp. 61--68
    11. Ruth Kempson and Masayuki Otsuka, "Dialogue as Collaborative
    		Tree Growth", pp. 69--76
    12. Peter Krause, "An Algorithm for Processing Referential
    		Definite Descriptions in Dialogue Based on
		Abductive Inference", pp. 77--84
    13. J\"orn Kreutel and Colin Matheson, "From Dialogue Acts
    		to Dialogue Act Offers: Building Discourse
		Structure as an Argumentative Process", pp. 85--92
    14. Ivana Kruijff-Korbayov\'a and Elena Karagjosova and
    		Staffan Larsson, "Enhancing Collaboration with
		Conditional Responses in Information-Seeking
		Dialogues", pp. 93--100
    15. Markus L\"ockelt and Tilman Becker and Norbert Pfleger
    		and Jan Alexandersson, "Making Sense of
		Partial", pp. 101--107
    16. William Mann, "Dialogue Analysis for Diverse
    		Situations", pp. 109--116
    17. Emiliano G. Padilha and Jean Carletta, "A Simulation of
    		Small Group Discussion", pp. 117--124
    18. Allison Pease and Simon Colton and Alan Smaill and John
    		Lee, "Semantic Negotiation: Modelling Ambiguity in
		Dialogue", pp. 125--132
    19. Orin Percus, "Modelling the Common Ground: The Relevance
    		of Copular Questions", pp. 133--140
    20. Paul Piwek and Kees van Deemter, "Towards Automated Generation
    		of Scripted Dialogue: Some Time-Honoured
		Strategies", pp. 141--148
    21. J.F. Quesada and J.G. Amores, "Knowledge-Based Reference
    		Resolution for Dialogue Management in a Home Domain
		Environment", pp. 149--154
    22. Robert van Rooy, "Relevance Only", pp. 155--160
    23. David Schlangen and Alex Lascarides, "Resolving Fragments
    		Using Discourse Information", pp. 161--168
    24. Matthew Stone and Richmond H. Thomason, "Context in Abductive
    		Interpretation", pp. 169--176
    25. Maite Taboada, "Centering and Pronominal Reference: In
    		Dialogue, in {S}panish", pp. 177--184
    26. Dimitra Tsovaltzi and Colin Matheson, "Formalizing Hinting
    		in Tutorial Dialogues", pp. 185--192
  },
  rtnote = {In RHT collection.  AI Shelves.},
  topic = {computational-dialogue;pragmatics;discourse;}
 }

@incollection{ bosch:1979a,
  author = {Peter Bosch},
  title = {Vagueness, Ambiguity and All the Rest.  An Explication and an
  	Intuitive Test},
  booktitle = {{S}prachstructur, {I}ndividuum und {G}esellschaft.
  	{A}kten des 13 {L}inguistischen {K}olloquiums.  {B}and I.},
  publisher = {Niemeyer},
  year = {1979},
  pages = {9--19},
  address = {{T}\"ubingen},
  rtnote = {semantics-course;},
  topic = {nl-semantics;vagueness;ambiguity;}
  }

@incollection{ bosch:1983a,
  author = {Peter Bosch},
  title = {`{V}agueness' is Context-Dependence: A Solution to the
  	Sorites Paradox},
  booktitle = {Approaching Vagueness},
  publisher = {North-Holland},
  year = {1983},
  editor = {Thomas T. Ballmer and Manfred Pinkal},
  pages = {189--210},
  address = {Amsterdam},
  rtnote = {In RHT collection.},
  topic = {vagueness;context;sorites-paradox;}
  }

@book{ bosch:1983b,
  author = {Peter Bosch},
  title = {Agreement and Anaphora: A Study of the Role of Pronouns in
  	Syntax and Discourse},
  publisher = {Academic Press},
  year = {1983},
  address = {New York},
  ISBN = {0121188205},
  rtnote = {UMich Graduate Library, P 279 .B6711 1983.},
  topic = {pronouns;anaphora;}
 }

@book{ bosch:1984a,
  author = {Peter Bosch},
  title = {Lexical Learning, Context Dependence, and Metaphor},
  publisher = {Indiana University Linguistics Club},
  year = {1984},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {UMich Graduate Library P325 .B74x 1984},
  topic = {context;metaphor;word-acquisition;}
 }

@incollection{ bosch:1987a,
  author = {Peter Bosch},
  title = {Indexicality and Representation},
  booktitle = {Natural Language and Logic},
  year = {1987},
  editor = {Rudi Studer},
  pages = {50--61},
  publisher = {Springer-Verlag},
  address = {Berlin},
  topic = {indexicals;}
  }

@book{ bosch-vandersandt:1999a,
  editor = {Peter Bosch and Rob {van der Sandt}},
  title = {Focus: Linguistic, Cognitive, and Computational
  	Perspectives},
  publisher = {Cambridge University Press},
  year = {1999},
  address = {Cambridge, England},
  ISBN = {0521583055 (hardbound)},
  rtnote = {UMich Graduate Library, P 299 .F63 F631 1998.},
  topic = {sentence-focus;}
 }

@inproceedings{ bosco-bazzanella:2001a,
  author = {Cristina Bosco and Carla Bazzanella},
  title = {Context and Multi-Media Corpora},
  booktitle = {Modeling and Using Context: Third International and
  	Interdisciplinary Conference, Context 2001},
  publisher = {Springer-Verlag},
  year = {2001},
  editor = {Varol Akman and Paolo Bouquet and Richmond Thomason
  	and Roger A. Young},
  pages = {417--420},
  address = {Berlin},
  topic = {context;multimedia-corpora;}
  }

@book{ boskovic:1997a,
  author = {\v{Z}eljko Bo\v{s}kovi\'c},
  title = {The Syntax of Nonfinite Complementation},
  publisher = {The {MIT} Press},
  year = {1996},
  address = {Cambridge, Massachusetts},
  topic = {nl-syntax;complementation;}
 }

@incollection{ bossi-etalle:1994a,
  author = {Annalisa Bossi and Sandro Etalle},
  title = {More on Unfold/Fold Transformations of Normal Programs:
  	Preservation of {F}itting's Semantics'},
  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 = {311--331},
  address = {Berlin},
  topic = {program-transformations;}
  }

@article{ bossu-siegel_p:1985a,
  author = {Genevieve Bossu and Pierre Siegel},
  title = {Saturation, Nonmonotonic Reasoning and the Closed-World
  	Assumption},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {25},
  number = {1},
  pages = {13--63},
  topic = {nonmonotonic-reasoning;nonmonotonic-logic;
  	closed-world-reasoning;}
  }

@incollection{ boster:1991a,
  author = {James S. Boster},
  title = {The Information Economy Model Applied to
     		Biological Similarity Judgment},
  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 = {203--225},
  address = {Washington, D.C.},
  topic = {social-psychology;shared-cognition;}
  }

@article{ bostock_d:1980a,
  author = {David Bostock},
  title = {A Study of Type-Neutrality},
  journal = {Journal of Philosophical Logic},
  year = {1980},
  volume = {9},
  number = {2},
  pages = {211--296},
  topic = {polymorphism;higher-order-logic;}
  }

@article{ bostock_d:1980b,
  author = {David Bostock},
  title = {A Study of Type-Neutrality, Part {II}: Relations},
  journal = {Journal of Philosophical Logic},
  year = {1980},
  volume = {9},
  number = {4},
  pages = {363--414},
  topic = {polymorphism;higher-order-logic;}
  }

@article{ bostock_s:2008a,
  author = {Simon Bostock},
  title = {Review of \emph{{R}eadings on Laws of Nature}, edited
  		by {J}ohn {W}. {C}arroll},
  journal = {Philosx\ophy of Science},
  year = {2008},
  volume = {75},
  number = {3},
  pages = {409--411},
  topic = {philosophy-of-science;causality;natural-laws;}
  }

@article{ bostrum:2002a,
  author = {Nick Bostrum},
  title = {Self-Locating Belief in Big Worlds: Cosmology's
  	Missing Link},
  journal = {The Journal of Philosophy},
  year = {2002},
  volume = {99},
  number = {12},
  pages = {607--623},
  topic = {philosophy-of-physics;}
  }

@incollection{ botha:1976a,
  author = {Rudolf P. Botha},
  title = {On the Analysis of Linguistic Argumentation},
  booktitle = {Assessing Linguistic Arguments},
  publisher = {Hemisphere Publishing Corporation},
  year = {1976},
  editor = {Jessica R. Wirth},
  pages = {1--34},
  address = {Washington, D.C.},
  topic = {philosophy-of-linguistics;foundations-of-linguistics;}
  }

@inproceedings{ bothorel-chevalier:2003a,
  author = {C\'ecile Bothorel and Karine Chevalier},
  title = {How to Use Enriched Browsing Context to Personalize Web
  	Site Access},
  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 = {419--426},
  address = {Berlin},
  topic = {context;context-aware-computing;}
  }

@article{ bottner:1992a,
  author = {Michael B\"ottner},
  title = {Variable-Free Semantics for Anaphora},
  journal = {Journal of Philosophical Logic},
  year = {1992},
  volume = {21},
  number = {4},
  pages = {375--390},
  topic = {nl-semantics;anaphora;algebraic-logic;}
  }

@article{ bouchard:1987a,
  author = {Denis Bouchard},
  title = {A Few Remarks on Past Participle Agreement},
  journal = {Linguistics and Philosophy},
  year = {1987},
  volume = {10},
  number = {4},
  pages = {449--474},
  topic = {nl-syntax;government-binding-theory;French-language;}
  }

@book{ bouchard:1995a,
  author = {Denis Bouchard},
  title = {The Semantics of Syntax:  A Minimalist Approach to Grammar},
  publisher = {University of Chicago Press},
  year = {1995},
  address = {Chicago},
  rtnote = {In RHT collection.  Shelf.},
  topic = {nl-semantics;}
 }

@article{ bouchard-smith_cs:1987a,
  author = {Denis Bouchard and Carlota S. Smith},
  title = {Introduction},
  journal = {Linguistics and Philosophy},
  year = {1987},
  volume = {10},
  number = {4},
  contentnote = {Intro to a symposium on syntax and semantics.},
  pages = {429--431},
  topic = {nl-syntax;nl-semantics;}
  }

@book{ bouillon-busa:2001a,
  editor = {Pierre Bouillon and Frederica Busa},
  title = {The Language of Word Meaning},
  publisher = {Cambridge University Press},
  year = {2001},
  address = {Cambridge, England},
  ISBN = {0-521-78048-9},
  rtnote = {UMich Grad P 325 .L2951 2001},
  topic = {lexical-semantics;}
 }

@inproceedings{ bouillon-etal:1992a,
  author = {Pierre Bouillon and Katharina Boesefeldt and Graham Russell},
  title = {Compound Nouns in a Unification-based MT System},
  booktitle = {Proceedings of the Third Conference on Applied Natural
  	Language Processing},
  year = {1992},
  editor = { and },
  pages = {209--222},
  organization = {Association for Computational Linguistics},
  location = {Trento, Italy},
  doi = {http://dx.doi.org/10.3115/974499.974537},
  publisher = {Association for Computational Linguistics},
 address = {Morristown, NJ, USA},
  topic = {compound-nominals;machine-translation;}
  }

@incollection{ boulanger-bruynooghe:1994a,
  author = {Dmitri Boulanger and Maurice Bruynooghe},
  title = {Using Call/Exit Analysis for Logic Program
  	Transformation},
  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 = {36--50},
  address = {Berlin},
  topic = {logic-programming;}
  }

@inproceedings{ boulis-ostendorf:2005a,
  author = {Constantinos Boulis and Mari Ostendorf},
  title = {A Quantitative Analysis of Lexical Differences Between
  		Genders in Telephone Conversations},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {435--442},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1054},
  topic = {sociolinguistics;corpus-linguistics;}
  }

@inproceedings{ boullier:1996a,
  author = {Pierre Boullier},
  title = {Another Facet of {LIG} Parsing},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {87--94},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {parsing-algorithms;linear-indexed-grammars;}
 }

@article{ bouma:1992a,
  author = {Gosse Bouma},
  title = {Feature Structures and Nonmonotonicity},
  journal = {Computational Linguistics},
  volume = {18},
  year = {1992},
  pages = {165--172},
  topic = {nm-ling;default-unification;}
 }

@book{ bouquet-etal:1999a,
  editor = {Paolo Bouquet and Luigi Serafini and Patrick Br\'ezillon
  	and Massimo Benerecetti and Francesca Castellani},
  title = {Modeling and Using Contexts: Proceedings of the
  	Second International and Interdisciplinary Conference,
	{CONTEXT}'99},
  publisher = {Springer-Verlag},
  year = {1999},
  contentnote = {TC:
      1. Varol Akman and Ferda Nur Alpaslan, "Strawson on Intended
			Meaning and Context", pp. 1--14
      2. Horacio Arl\'o Costa, "Epistemic Context, Defeasible
			Inference, and Conversational Implicature", pp. 15--27
      3. John A. Barnden and Mark G. Lee, "An Implemented Context
            System that	Combines Belief Reasoning, Metaphor-Based
            Reasoning and Uncertainty Handling", pp. 28--41
      4. John Bell, "Pragmatic Reasoning: Inferring Contexts",
			pp. 42--53
      5. Cathy Berthouzoz, "A Model of Context Adapted to
			Domain-Independent Machine Translation", pp. 54--66
      6. Claudia Bianchi, "Three Forms of Contextual Dependence",
            pp. 67--76
      7. Harry Bunt, "Context Representation for Dialogue
            Management", pp. 77--90
      8. Antonella de Angeli and Laurent Romary and Frederic Wolf,
            "Ecological Interfaces:	Extending the Pointing Paradigm
            by Visual Context",	pp. 91--104
      9. Anna-Maria Di Sciullo, "Formal Context and Morphological
            Analysis", pp. 105--118
     10. Bruce Edmonds, "The Pragmatic Roots of Context", pp. 119--144
     11. Anita Fetzer, "Non-Acceptance: Re- or Un-Creating Context?",
			pp. 133--144
     12. Chiara Ghidini, "Modelling (Un)Bounded Beliefs", pp.
			145--158
     13. Chiara Ghidini and Luigi Serfini, "A Context-Based Logic for
			Distributed Knowledge Representation and Reasoning",
			pp. 159--172
     14. Guillaume Giraudet and Corinne Rounes, "Independence from
			Context Information Provided by Spatial
			Signature Learning in a Natural Object
			Identification Task", pp. 173--185
     15. Wolfram Hinzen, "Contextual Dependence and the Epistemic
			Foundations of Dynamic Semantics", pp. 186--199
     16. Boicho Kokinov, "Dynamics and Automaticity of Context: A
			Cognitive Modeling Approach", pp. 200--213
     17. Soichi Kozai, "A Mental Space Account for Speaker's
			Empathy: {J}apanese Profiling Identity vs. {E}nglish
			Shading Identity", pp. 214--227
     18. Tomoko Matsui, "On the Role of Context in Relevance-Based
			Accessibility Ranking of Candidate Referents",
			pp. 228--241
     19. Christof Monz, "Contextual Inference in Computational
			Semantics", pp. 242--255
     20. Renate Motschnig-Pitrik, "Contexts and Views in
			Object-Oriented Languages", pp. 256--269
     21. Carlo Penco, "Objective and Cognitive Context",
			pp. 270--283
     22. Jean-Charles Pomerol and Patrick Brezillon, "Dynamics between
			Contextual Knowledge and Proceduralized Context",
			pp. 284--295
     23. Yannick Prei\'e and Alain Mille and Jean-Marie Pinon,
			"A Context-Based Audiovisual Represention Model
			for Audiovisual Information Systems", pp. 296--309
     24. M. Andrea Rodr\'iguez and Max J. Eigenhofer, "Putting
			Similarity Assessments into Context:  Matching
			Functions with the User's Intended Operations",
			pp. 310--323
     25. Marina Sbis\'a, "Presupposition, Implicature and
			Context in Text Understanding", pp. 324--338
     26. Barry Smith and Achille C. Varzi, "The Formal Structure
			of Ecological COntexts", pp. 339--351
     27. Richmond H. Thomason, "Type Theoretic Foundations for
			Context, Part 1: Contexts as Complex Type-Theoretic
			Objects", pp. 352--374
     28. Roy M. Turner, "A Model of Explicit Context Representation
			and Use for Intelligent Agents", pp. 375--388
     29. Nikolai Vazov, "Context-Scanning Strategy in Temporal
			Reasoning", pp. 389--402
     30. Wayne Wobcke, "The Role of Context in the Analysis and
			Design of Agent Programs", pp. 403--416
     31. R.A. Young, "Context and Supercontext", pp. 417--441
     33. Alfs Berztiss, "Contexts, Domains, and Software",
			pp.	443--446
     33. Alex B\"ucher and John G. Hughes and David A. Bell,
			"Contextual Data and Domain Knowledge Discovery
			Systems", 447--451
     34. Maud Champagne and Jacques Virbel and Jean-Luc
			Nespoulous, "The Differential (?) Processing
			of Literal and Non-Literal Speech Acts: A
			Psycholinguistic Approach", pp. 451--454
     35. Henning Christiansen, "Open Theories and Abduction for
			Context and Accommodation", pp. 455--462
     36. Thorstein Fretheim and Wim A. van Dommelen, "Building
			Context with Intonation", pp. 463--466
     37. Sabine Geldof, "Parrot-Talk Requires Multiple Context
			Dimensions", 467--470
     38. Alain Giboin, "Contextual Divorces: Towards a
			Framework for Identifying Critical Context
			Issues in Collaborative-Argumentation System
			Design", pp. 471--474
     39. Jeanette K. Gundel and Kaja Borthen and Thorstein
			Fretheim, "The Role of Context in {E}nglish
			and {N}orwegian", pp. 475--478
     40. Timo Honkela, "Connectionist Analysis and Creation
			of Context for Natural Language Understanding and
			Knowledge Management", pp. 479--482
     41. Roland Klemke, "The Notion of Context in Organizational
			Memories", pp. 483--487
     42. S\'everine M\'erand and Charles Tijus and S\'ebastien
			Poitrenaud, "The Effect of Context Complexity on
			the Memorization of Objects", pp. 487--490
     43. Yasunori Morishima, "Effects of Discourse Context on
			Inference Computation during Comprehension",
			pp. 491--494
     44. Rolf Nossum and Michael Thielscher, "Counterfactual
			Reasoning by Means of a Calculus of Narrative
			Context", pp. 495--501
     45. Laurent Pasquier and Patrick Br\'ezillon and Jean-Charles
			Pomerol, "Context and Decision Graphs for Incident
			Management on a Subway Line", pp. 499--502
     46. Gerhard Peter and Brigitte Grote, "Using Context to Guide
			Information Search for Preventative Quality
			Management", pp. 503--506
     47. Fabio Pianesi and Achille C. Varzi, "The Context-Dependency
			of Temporal Reference in Event Semantics",
			pp. 507--510
     48. B\'eatrice Pudelko and ELizabeth Hamilton and Denis Legros
			and Charles Tijus, "How Context Contributes
			to Metaphor Understanding", pp. 511--514
     49. Jamie Sherrah and Shaogang Gong, "Exploiting Context in
			Gesture Recognition", pp. 515--518
     50. L.M. Tovena, "The Use of Context in the Analysis of
			Negative Concord and {N}-Words,  pp. 519--522
     51. Elise H. Turner and Roy M. Turner and John Phelps and
			Mark Neal and Charles Grunden and Jason
			Mailmen, "Aspects of Context for
			Understanding Multi-Modal Communication", pp.
			523--526
  },
  rtnote = {In RHT collection.},
  address = {Berlin},
  topic = {context;}
 }

@inproceedings{ bouquet-etal:2003a,
  author = {Paolo Bouquet and Bernardo Magnini and Luciano Serafini and
     		Stefano Zanobini},
  title = {A {SAT}-Based Algorithm for Context Matching},
  booktitle = {Modeling and Using Context: Fourth International and
  	Interdisciplinary Conference, Context 2003},
  publisher = {Springer-Verlag},
  year = {2003},
  editor = {Patrick Blackburn and Chiara Ghidini and Roy M. Turner
  	and Fausto Giunchiglia},
  pages = {66--79},
  address = {Berlin},
  topic = {context;AI-algorithms;}
  }

@book{ bouquet-etal:2007a,
  editor = {Paolo Bouquet and Luciano Serafini and Richmond H. Thomason},
  title = {Perspectives on Context},
  publisher = {CSLI Publications},
  year = {2007},
  address = {Stanford, California},
  ISBN-13 = {978-1-57586-538-6 (pbk)},
  contentnote = {TC:
     1. Paolo Bouquet and Luciano Serafini and Richmond H.
        Thomason, "Introduction: Perspectives on Context", pp. vii-xiv
     2. Massimo Benerecetti and Paolo Bouquet and Chiara Ghidini, "On
     		the Dimensions of Context Dependence", pp. 1--18
     3. Chiara Ghidini and Fausto Giunchiglia, "What is Local Models
     		Semantics?", pp. 19--41
     4. Richmond H. Thomason, "Contextual Intensional Logic:
     		Type-Theoretic and Dynamic Considerations", pp. 43--63
     5. John Perry, "The Search for the Semantic Grail", pp. 65--77
     6. Varol Akman, "On a Proposal of {S}trawson Concerning Context
     		vs. `What is Said'", pp. 79--94
     7. Horacio Arl\'o Costa, "Epistemological Foundations for the
     		Representation of Discourse Context", pp. 95--140
     8. Wolfram Hinzen, "Context and Logical Form", pp. 141--169
     9. Fran\c{c}ois R\'ecanati, "Truth-Conditional Pragmatics:  An
     		Overview", pp. 171--188
    10. Carlo Penco, "Context and Contract", pp. 189--213
    11. Andrea Bonomi, "Fictional Contexts", pp. 215--249
    12. Roger A. Young, "Context and Philosophy of Science", pp. 251--279
   },
  topic = {context;}
  }

@incollection{ bouquet-etal:2007b,
  author = {Paolo Bouquet and Luciano Serafini and Richmond H.
        Thomason},
  title = {Introduction: Perspectives on Context},
  booktitle = {Perspectives on Context},
  publisher = {CSLI Publications},
  year = {2007},
  editor = {Paolo Bouquet and Luciano Serafini and Richmond H. Thomason},
  pages = {vii-xiv},
  address = {Stanford, California},
  topic = {context;}
  }

@article{ bouquet-giunchiglia_f:1995a,
  author = {Paolo Bouquet and Fausto Giunchiglia},
  title = {Reasoning about Theory Adequacy.  {A} New Solution
                  to the Qualification Problem},
  journal = {Fundamenta Informaticae},
  year = {1995},
  volume = {23},
  number = {2--4},
  pages = {247--262},
  month = {June,July,August},
  note = {Also IRST-Technical Report 9406-13, IRST, Trento, Italy},
  topic = {context;qualification-problem;}
  }

@inproceedings{ bouquet-serafini:2001a,
  author = {Paolo Bouquet and Luciano Serafini},
  title = {Two Formalizations of Context: A Comparison},
  booktitle = {Modeling and Using Context: Third International and
  	Interdisciplinary Conference, Context 2001},
  publisher = {Springer-Verlag},
  year = {2001},
  editor = {Varol Akman and Paolo Bouquet and Richmond Thomason
  	and Roger A. Young},
  pages = {87--101},
  address = {Berlin},
  topic = {context;logic-of-context;}
  }

@inproceedings{ bouquet-serafini:2003a,
  author = {Paolo Bouquet and Luciano Serafini},
  title = {On the Difference between Bridge Rules and Lifting Axioms},
  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 = {80--93},
  address = {Berlin},
  topic = {context;logic-in-AI;}
  }

@book{ bourdieu:1998a,
  author = {Pierre Bourdieu},
  title = {Practical Reason: On the Theory of Action},
  publisher = {Polity Press},
  year = {1998},
  address = {Cambridge, England},
  ISBN = {0745616240},
  rtnote = {UMich Graduate Library, HM 201 .B6853 1998.},
  topic = {practical-reasoning;}
 }

@incollection{ bourely-etal:1996a,
  author = {Christophe Bourely and Gilles Difourneaux and Nicolas
     	  Peltier},
  title = {Building Proofs or Counterexamples by Analogy in
	  a Resolution Framework},
  booktitle = {Logics in Artificial Intelligence: European Workshop,
  	{Jelia}'96, Ivora, Portugal, September 30 - October 3,
	1996.},
  publisher = {Springer-Verlag},
  year = {1996},
  editor = {Jos\'e J\'ulio Alferes and Lu\'is Moniz Pereira and Ewa Orlowska},
  pages = {34--49},
  address = {Berlin},
  topic = {analogical-reasoning;}
  }

@book{ bourigault-etal:2001a,
  editor = {Didier Bourigault and Christian Jacquemin and
  	Marie-Claude L'Homme},
  title = {Recent Advances in Computational Terminology},
  publisher = {John Benjamins},
  year = {2001},
  address = {Amsterdam},
  ISBN = {1-58811-016-8},
  xref = {Review: gaizauskas:2003a},
  topic = {corpus-linguistics;word-acquisition;}
 }

@techreport{ boutilier:1989a,
  author = {Craig Boutilier},
  Title = {On the Semantics of Stable Inheritance Reasoning},
  institution = {Department of Computer Science, University of Toronto},
  number = {KRR-TR-89-{11}},
  year = {1989},
  xref = {Abbreviated Version: \cite{Boutilier-89b}.},
  topic = {inheritance-theory;}
    }

@inproceedings{ boutilier:1989b,
  author = {Craig Boutilier},
  title = {On the Semantics of Stable Inheritance Reasoning},
  booktitle = {Proceedings of the Eleventh International Joint
  	Conference on Artificial Intelligence},
  year = {1989},
  editor = {N.S. Sridharan},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  missinginfo = {pages},
  rtnote = {Extended Version: boutilier:1989a.},
  topic = {inheritance-theory;}
  }

@inproceedings{ boutilier:1990a,
  author = {Craig Boutilier},
  title = {Conditional Logics of Normality as Modal Systems},
  booktitle = {Proceedings of the Eighth National Conference on
              Artificial Intelligence},
  year = {1990},
  editor = {Thomas Dietterich and William Swartout},
  pages = {594--599},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {deontic-logic;conditionals;}
  }

@inproceedings{ boutilier:1990b,
  author = {Craig Boutilier},
  title = {Viewing Conditional Logics of Normality as Extensions of
    	    the Modal System {S4}},
  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, California},
  missinginfo = {pages},
  topic = {nonmonotonic-conditionals;}
  }

@techreport{ boutilier:1992a,
  author = {Craig Boutilier},
  title = {Conditional Logics for Default Reasoning and Belief
  	Revision},
  institution = {Computer Science Department, University of Toronto},
  number = {KRR--TR--92--1},
  year = {1992},
  address = {Toronto, Ontario},
  rtnote = {This is the PhD Dissertation.},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {kr;conditionals;belief-revision;nonmonotonic-logic;}
  }

@incollection{ boutilier:1992b,
  author = {Craig Boutilier},
  title = {Normative, Subjunctive, and Autoepistemic Defaults: Adopting
  	the {R}amsey Test},
  booktitle = {{KR}'92. Principles of Knowledge Representation and
  	Reasoning: Proceedings of the Third International Conference},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Bernhard Nebel and Charles Rich and William Swartout},
  pages = {685--696},
  address = {San Mateo, California},
  topic = {kr;nonmonotonic-reasoning;belief-revision;CCCP;}
  }

@inproceedings{ boutilier:1993a,
  author = {Craig Boutilier},
  title = {Revision by Conditional Beliefs},
  booktitle = {Proceedings of the Eleventh National Conference on
              Artificial Intelligence},
  year = {1993},
  editor = {Richard Fikes and Wendy Lehnert},
  pages = {649--654},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {kr;belief-revision;conditionals;kr-course;}
  }

@inproceedings{ boutilier:1993b,
 author = {Craig Boutilier},
 title = {A Modal Characterization of Defeasible Deontic Conditionals and
 	Conditional Goals},
 booktitle = {Working Notes of the {AAAI} Spring Symposium on Reasoning
 	about Mental States},
 year = {1993},
 pages = {30--39},
 organization = {American Association for Artificial Intelligence},
 address = {Menlo Park, California},
 note = {Unpublished other than distribution to conferees. --RT},
 topic = {kr;conditionals;nonmonotonic-logic;}
 }

@inproceedings{ boutilier:1993c,
  author = {Craig Boutilier},
  title = {Belief Revision and Nested Conditionals},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {519--523},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  topic = {belief-revision;conditionals;}
  }

@inproceedings{ boutilier:1994a,
  author = {Craig Boutilier},
  title = {Toward a Logic for Qualitative Decision Theory},
  booktitle = {Principles of Knowledge Representation and Reasoning},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {75--86},
  topic = {qualitative-utility;}
 }

@unpublished{ boutilier:1994b,
  author = {Craig Boutilier},
  title = {Defeasible Preferences and Goal Derivation},
  note = {Unpublished manuscript, 1994. Department of Computer Science,
  	University of British Columbia, Vancouver, British Columbia,
	Canada V6T 1Z4.  Available at
	http://www.cs.ubc.ca/spider/cebly/craig.html.},
  rtnote = {In RHT collection.},
  topic = {qualitative-utility;preferences;}
  }

@article{ boutilier:1994c,
  author = {Craig Boutilier},
  title = {Unifying Default Reasoning and Belief Revision in a Modal
  	Framework},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {68},
  number = {1},
  pages = {33--85},
  topic = {modal-logic;default-logic;belief-revision;
  	nonmonotonic-logic;}
  }

@article{ boutilier:1994d,
  author = {Craig Boutilier},
  title = {Conditional Logics of Normality: A Modal Approach},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {68},
  number = {1},
  pages = {87--154},
  topic = {nonmonotonbic-logic;conditionals;modal-logic;}
  }

@article{ boutilier:1995a,
  author = {Craig Boutilier},
  title = {Abduction as Belief Revision},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {77},
  number = {1},
  pages = {95--128},
  topic = {kr;belief-revision;abduction;kr-course;}
  }

@inproceedings{ boutilier:1995b,
  author = {Craig Boutilier},
  title = {Generalized Update: Belief Change in Dynamic Settings},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {1550--1556},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {belief-revision;}
  }

@article{ boutilier:1996a,
  author = {Craig Boutilier},
  title = {Iterated Revision and Minimal Change of Conditional Beliefs},
  journal = {Journal of Philosophical Logic},
  year = {1996},
  volume = {25},
  number = {3},
  pages = {263--305},
  topic = {belief-revision;conditionals;}
  }

@article{ boutilier:1996b,
  author = {Craig Boutilier},
  title = {Abduction to Plausible Causes: An Event-Based
  	Model of Belief Update},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {83},
  number = {1},
  pages = {143--166},
  topic = {abduction;belief-revision;}
  }

@incollection{ boutilier:1996c,
  author = {Craig Boutilier},
  title = {Planning, Learning and Coordination in Multiagent
  	Decision Processes},
  booktitle = {Theoretical Aspects of Rationality and Knowledge:
  	Proceedings of the Sixth Conference ({TARK} 1996)},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Yoav Shoham},
  pages = {195--210},
  address = {San Francisco},
  contentnote = {Introduces the idea of a multiagent Markov decision
  	process.},
  topic = {multiagent-planning;cooperation;}
  }

@article{ boutilier:1998a,
  author = {Craig Boutilier},
  title = {A Unified Model of Qualitative Belief Change:
		A Dynamical Systems Perspective},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {98},
  number = {1--2},
  pages = {281--316},
  topic = {belief-revision;}
  }

@inproceedings{ boutilier:1999a,
  author = {Craig Boutilier},
  title = {The Role of Logic in Stochastic Decision Processes},
  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 = {decision-theoretic-planning;Markov-decision-processes;}
  }

@article{ boutilier:1999b,
  author = {Craig Boutilier},
  title = {Multiagent Systems: Challenges and Opportunities for
  	Decision-Theoretic Planning},
  journal = {The {AI} Magazine},
  year = {1999},
  volume = {20},
  number = {4},
  pages = {35--43},
  topic = {multiagent-planning;decision-theoretic-planning;}
  }

@inproceedings{ boutilier:2002a,
  author = {Craig Boutilier},
  title = {Solving Concisely Expressed Combinatorial Auction Problems},
  booktitle = {Proceedings of the Eighteenth National Conference on
              Artificial Intelligence},
  year = {2002},
  editor = {Rina Dechter and Michael Kearns and Richard S. Sutton},
  pages = {359--366},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {auction-protocols;AI-algorithms;}
  }

@techreport{ boutilier-becher:1993a,
  author = {Craig Boutilier and Ver\'onica Becher},
  title = {Abduction as Belief Revision},
  institution = {University of British Columbia, Computer Science
  	Department},
  number = {93--23},
  year = {1991},
  address = {Vancouver, British Columbia},
  rtnote = {In RHT collection.},
  xref = {Journal Publication: boutilier-becher:1995a.},
  topic = {belief-revision;abduction;}
  }

@article{ boutilier-becher:1995a,
  author = {Craig Boutilier and Ver\'onica Becher},
  title = {Abduction as Belief Revision },
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {77},
  number = {1},
  pages = {43--94},
  topic = {belief-revision;abduction;}
  }

@article{ boutilier-dean_t:2003a,
  author = {Craig Boutilier and Thomas Dean},
  title = {Editorial},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {147},
  number = {1--2},
  pages = {1--4},
  contentnote = {Introduction to a special issue on planning with
  	uncertainty and incomplete information.},
  topic = {planning;reasoning-about-uncertainty;}
  }

@unpublished{ boutilier-etal:1995a,
  author = {Craig Boutilier and Thomas Dean and Steve Hanks},
  title = {Planning under Uncertainty:  Structural Assumptions and
  	Computational Leverage},
  year = {1995},
  note = {Unpublished manuscript, 1995.},
  rtnote = {In RHT collection.},
  missinginfo = {Get publication info:
  	European Planning Workshop?},
  topic = {planning;uncertainty-in-AI;foundations-of-planning;}
  }

@inproceedings{ boutilier-etal:1997a,
  author = {Craig Boutilier and Ronen Brafman and Christopher Geib and
  	David Poole},
  title = {A Constraint-Based Approach to Preference Elicitation
        and Decision Making},
  booktitle = {Working Papers of the {AAAI} Spring Symposium on
  	Qualitative Preferences in Deliberation and Practical
	Reasoning},
  year = {1997},
  editor = {Jon Doyle and Richmond H. Thomason},
  pages = {19--28},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {qualitative-utility;preferences;preference-elicitation;}
  }

@article{ boutilier-etal:1997b,
  author = {Craig Boutilier and Yoav Shoham and Michael P. Wellman},
  title = {Economic Principles of Multi-Agent Systems},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {94},
  number = {1--2},
  pages = {1--6},
  contentnote = {This is an editorial for a special issue of
  	Artificial Intelligence.},
  topic = {AI-and-economics;}
  }

@inproceedings{ boutilier-etal:1997c,
  author = {Craig Boutilier and Ronen Brafman and Christopher Geib},
  title = {Prioritized Goal Decomposition of {M}arkov Decision Processes:
  	Towards a Synthesis of Classical and Decision Theoretic Planning},
  booktitle = {Proceedings of the Fifteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1997},
  editor = {Martha Pollack},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {1156--1163},
  rtnote = {In RHT collection.},
  topic = {decision-theoretic-planning;}
  }

@article{ boutilier-etal:1999a,
  title = {Decision Theoretic Planning: Structural Assumptions and
  	Computational Leverage},
  author = {Craig Boutilier and Thomas Dean and Steve Hanks},
  journal = {Journal of Artificial Intelligence Research},
  year = {1999},
  volume = {10},
  pages = {to appear},
  topic = {decision-theoretic-planning;}
  }

@unpublished{ boutilier-etal:1999b,
  author = {Craig Boutilier and Ronen I. Brafman and
  	Holger H. Hoos and David Poole},
  title = {Reasoning with Conditional Ceteris Paribus Preference
  	Semantics},
  year = {1999},
  note = {Unpublished manuscript.  Available at\\
  	http://www.cs.ubc.ca/cebly/Papers/\_download\_/CPnets.ps},
  rtnote = {In RHT collection.},
  topic = {preference;qdt;}
  }

@article{ boutilier-etal:2000a,
  author = {Craig Boutilier and Richard Dearden and Mosi\'es
  	Goldszmidt},
  title = {Stochastic Dynamic Programming with Factored
  	Representations},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {121},
  number = {1--2},
  pages = {49--107},
  topic = {Markov-decision-processes;Bayesian-networks;decision-trees;
  	dynamic-programming;}
  }

@article{ boutilier-etal:2003a,
  author = {Craig Boutilier and Ronen I. Brafman and Carmel Domschlak
  	and Holger H. Hoos and David Poole},
  title = {{CP}-Nets: A Tool for Representing and Reasoning with
  	Conditional Ceteris Paribus Preference Statements},
  journal = {Journal of Artificial Intelligence Research},
  year = {2003},
  volume = {21},
  pages = {135--191},
  rtnote = {In RHT collection.  File Drawers.},
  topic = {cp-nets;qualitative-utility;}
  }

@article{ boutilier-etal:2004a,
  author = {Craig Boutilier and Ronen I. Brafman and Holger H. Hoos
  	and David Poole},
  title = {Preference-Based Constrained Optimization with {CP}-Nets},
  journal = {Computational Intelligence},
  year = {2004},
  volume = {20},
  number = {2},
  pages = {137--157},
  topic = {cp-nets;qualitative-utility;}
  }

@article{ boutilier-etal:2006a,
  author = {Craig Boutilier and Relu Patrascu and Pascal Poupart
  		and Dale Schuurmans},
  title = {Constraint-Based Optimization and Utility Elicitation
  		Using Minimax Decision Criterion},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {8--9},
  pages = {686--713},
  topic = {utility-function-learning;constraint-satisfaction;}
  }

@inproceedings{ boutilier-goldszmidt:1993a,
  author = {Craig Boutilier and Mois\'es Goldszmidt},
  title = {A Theory of Conditional Belief Revision},
  booktitle = {Proceedings of the Eleventh National Conference on
              Artificial Intelligence},
  year = {1993},
  editor = {Richard Fikes and Wendy Lehnert},
  pages = {649--654},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {belief-revision;conditionals;}
  }

@incollection{ boutilier-goldszmidt:1995a,
  author = {Craig Boutilier and Mois\'es Goldszmidt},
  title = {On the Revision of Conditional Belief Sets},
  booktitle = {Conditionals: From Philosophy to Computer Science},
  publisher = {Oxford University Press},
  year = {1995},
  editor = {Gabriella Crocco and Luis Fari\~nas del Cerro and Andreas Herzig},
  pages = {267--300},
  address = {Oxford},
  topic = {conditionals;belief-revision;}
  }

@unpublished{ boutilier-poole:1998a,
  author = {Craig Boutilier and David Poole},
  title = {Computing Optimal Policies for Partially Observable
  	Decision Processes Using Compact Representations},
  year = {1998},
  note = {Unpublished manuscript, Department of Computer Science,
  	University of British Columbia.},
  rtnote = {In RHT collection.  DT Systs/QDT-Read File.},
  missinginfo = {Year is a guess.  Get publication info.},
  topic = {Markov-decision-processes;decision-theoretic-planning;}
  }

@article{ boutsinas-vrahatis:2001a,
  author = {Basilis Boutsinas and Michael N. Vrahatis},
  title = {Artificial Nonmonotonic Neural Networks},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {132},
  number = {1},
  pages = {1--38},
  topic = {nonmonotonic-reasoning;connectionist-models;}
  }

@article{ bouveret-lemaitre:2009a,
  author = {Sylvain Bouveret and Michel Lema\^itre},
  title = {Computing Leximin-Optimal Solutions in Constraint Networks},
  journal = {Artificial Intelligence},
  year = {2009},

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit