text:
volume = {173},
  number = {2},
  pages = {343--364},
  topic = {constraint-programming;constraint-satisfaction;}
  }

@article{ bouzy-cazenave:2001a,
  author = {Bruno Bouzy and Tristan Cazenave},
  title = {Computer Go: An {AI} Oriented Survey},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {132},
  number = {1},
  pages = {39--103},
  topic = {computer-games;}
  }

@article{ bovens:1995a,
  author = {Luc Bovens},
  title = {\,\`P and I Will Believe that not-P': Diachronic
	Constraints on Rational Belief},
  journal = {Mind, New Series},
  year = {1995},
  volume = {104},
  number = {416},
  pages = {737--760},
  topic = {philosophy-of-belief;will-to-believe;belief;rationality;}
  }

@inproceedings{ bovens-hartmann_s:2001a,
  author = {Luc Bovens and Stephan Hartmann},
  title = {Belief Expansion, Contextual Fit and the Reliability of
  	Information Sources},
  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 = {425--428},
  address = {Berlin},
  topic = {context;}
  }

@article{ bovens-hartmann_s:2002a,
  author = {Luc Bovens and Stephan Hartmann},
  title = {Bayesian Networks and the Problem of Unreliable
  	Instruments},
  journal = {Philosophy of Science},
  year = {2002},
  volume = {69},
  number = {1},
  pages = {29--72},
  topic = {Bayesian-networks;philosophy-of-science;}
  }

@article{ bowen:1975a,
  author = {Kenneth A. Bowen},
  title = {Normal Modal Model Theory},
  journal = {Journal of Philosophical Logic},
  year = {1975},
  volume = {4},
  number = {2},
  pages = {97--131},
  topic = {modal-logic;}
  }

@article{ bowen:1987a,
  author = {Kenneth A. Bowen},
  title = {On the Use of Logic: Reflections on {M}c{D}ermott's
  	Critique of Pure Reason},
  journal = {Computational Intelligence},
  year = {1987},
  volume = {3},
  issue = {3},
  pages = {165--168},
  xref = {kr;foundations-of-kr;logic-in-AI;}
  }

@techreport{ bowen-dejongh_d:1986a,
  author = {Kenneth Bowen and Dick de Jongh},
  title = {Some Complete Logics for Branched Time.  Part {I}: Well-Founded
  	Time, Forward Looking Operators},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {86--05},
  year = {1991},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland},
  rtnote = {In RHT collection.},
  topic = {branching-time;}
  }

@incollection{ bowen-kowalski_ra:1982a,
  author = {Kenneth A. Bowen and Robert A. Kowalski},
  title = {Amalgamating Language and Metalanguage in Logic Programming},
  booktitle = {Logic Programming},
  publisher = {Academic Press},
  year = {1982},
  address = {New York},
  editor = {Keith L. Clark and Sten-{\AA}ke T{\aa}rnlund},
  missinginfo = {pages.},
  topic = {metaprogramming;logic-programming;}
  }

@incollection{ bower-clapper:1989a,
  author = {Gordon H. Bower and John P. Clapper},
  title = {Experimental Methods in Cognitive Science},
  booktitle = {Foundations of Cognitive Science},
  publisher = {The {MIT} Press},
  year = {1989},
  editor = {Michael I. Posner},
  chapter = {7},
  pages = {245--300},
  address = {Cambridge, Massachusetts},
  topic = {cognitive-psychology;empirical-methods-in-cogsci;}
  }

@article{ bowerman:1990a,
  author = {Melissa Bowerman},
  title = {Mapping Thematic Roles onto Syntactic Functions: Are
  	Children Helped by Innate Linking Rules?},
  journal = {Linguistics},
  year = {1990},
  volume = {28},
  pages = {1253--1289},
  missinginfo = {number},
  rtnote = {Reading notes on file.},
  topic = {thematic-roles;semantics-acquisition;L1-acquisition;}
  }

@incollection{ bowerman:1996a,
  author = {Melissa Bowerman},
  title = {Learning How to Structure Space for Language:  A
  	Crosslinguistic Perspective},
  booktitle = {Language and Space},
  publisher = {The {MIT} Press},
  year = {1996},
  editor = {P. Bloom and M.A. Peterson and L. Nadel and
  	M.F. Garrett},
  pages = {385--436},
  address = {Cambridge, Massachusetts},
  topic = {spatial-language;semantics-acquisition;L1-acquisition;}
  }

@book{ bowers:1971a,
  author = {John S. Bowers},
  title = {Adjectives and Adverbs in {E}nglish},
  publisher = {Indiana University Linguistics Club},
  year = {1971},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {adjectives;adverbs;}
 }

@unpublished{ bowers:1974a,
  author = {John S. Bowers},
  title = {On Restrictive and Nonrestrictive Relative Clauses},
  year = {1974},
  note = {Unpublished manuscript, Cornell University.},
  rtnote = {In RHT collection.},
  topic = {nl-syntax;relative-clauses;nonrestrictive-relative-clauses;}
  }

@inproceedings{ bowers:1991a,
  author = {John S. Bowers},
  title = {The Syntax and Semantics of Nominals},
  booktitle = {Proceedings from Semantics and Linguistic Theory {I}},
  year = {1991},
  editor = {Steven Moore and {Adam Zachary} Wyner},
  pages = {1--30},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {nominal-constructions;nominalization;}
  }

@inproceedings{ bowers:1993a,
  author =  {John S. Bowers},
  title = {The Structure of {I}-Level and {S}-Level Predicates},
  booktitle = {Proceedings from Semantics and Linguistic Theory {III}},
  year = {1993},
  editor = {Utpal Lahiri and Zachary Wyner},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
   missinginfo = {pages},
 topic = {i-level/s-level;}
  }

@article{ bowers-reichenbach_ukh:1979a,
  author = {John S. Bowers and Uwe K.H. Reichenbach},
  title = {Montague and Transformational Grammar:  A Review
  	of {\it Formal Philosophy: Selected Papers of
	{R}ichard {M}ontague}},
  journal = {Linguistic Analysis},
  year = {1979},
  volume = {5},
  number = {3},
  pages = {195--247},
  xref = {Review of montague_r:1974a.},
  rtnote = {In RHT collection.},
  topic = {montague-grammar;nl-semantics;}
  }

@article{ bowie:1982a,
  author = {G. Lee Bowie},
  title = {Lucas' Number is Finally Up},
  journal = {Journal of Philosophical Logic},
  year = {1982},
  volume = {11},
  number = {3},
  pages = {279--285},
  topic = {philosophy-of-computation;goedels-first-theorem;}
  }

@book{ box-tiao:1973a,
  author = {George E. Box and George C. Tiao},
  title = {Bayesian Inference in Statistical Analysis},
  publisher = {Addison Wesley},
  year = {1984},
  address = {Reading, Massachusetts},
  topic = {Bayesian-statistics;}
 }

@book{ boyd-richerson:1985a,
  author = {Robert Boyd and Peter J. Richerson},
  title = {Culture and the Evolutionary Process},
  publisher = {University of Chicago Press},
  year = {1985},
  address = {Chicago},
  ISBN = {0226069311},
  rtnote = {UMich Graduate Library, GN360 .B681 1985.},
  topic = {social-change;}
 }

@inproceedings{ boye-etal:1999a,
  author = {Johan Boye and Mats Wir\'en and Manny Rayner and
		Ian Lewin and David Carter and Ralph Becket},
  title = {Language-Proccessing Strategies for Mixed-Initiative
		Dialogues},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
  	Knowledge and Reasoning in Practical Dialogue Systems},
  year = {1999},
  editor = {Jan Alexandersson},
  pages = {17--23},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {spoken-dialogue-systems;computational-dialogue;
		mixed-initiative-systems;}
  }

@incollection{ boye-wiren:2003a,
  author = {Johan Boye and Mats Wir\'en},
  title = {Negotiative Spoken-Dialogue
     		Interfaces to Databases},
  booktitle = {Diabruck 2003: Proceedings of the 7th Workshop on the
  	Semantics and Pragmatics of Dialogue},
  publisher = {Universit\"at des Saarlandes},
  year = {2003},
  editor = {Ivana Kruijff-Korbayov\'a and Claudia Kosny},
  pages = {7--14},
  address = {Saarbr\"ucken},
  topic = {computational-dialogue;nl-interfaces;negotiation;}
  }

@book{ boyer:1991a,
  editor = {Robert S. Boyer},
  title = {Automated Reasoning: Essays in Honor of {W}oody {B}ledsoe},
  publisher = {Kluwer Academic Publishers},
  year = {1991},
  address = {Dordrecht},
  ISBN = {0792314093 (HB)},
  rtnote = {UMich Media Union Library, QA 76.9 .A96 A921 1991},
  topic = {theorem-proving;}
 }

@incollection{ boyer-etal:1991a,
  author = {Robert S. Boyer and David M. Goldschag and Matt Kaufman and
	J. Strother Moore},
  title = {Functional Instantiation in First-Order Logic},
  booktitle = {Artificial Intelligence and Mathematical Theory of
  	Computation},
  publisher = {Academic Press},
  year = {1991},
  editor = {Vladimir Lifschitz},
  pages = {7--26},
  address = {San Diego},
  topic = {theorem-proving;}
  }

@incollection{ boyer-moore_js:1972a,
  author = {Robert S. Boyer and J. Strother Moore},
  title = {The Sharing of Structure in Theorem-Proving Programs},
  booktitle = {Machine Intelligence 7},
  publisher = {Edinburgh University Press},
  year = {1972},
  editor = {Donald Michie and Bernard Meltzer},
  pages = {101--116},
  topic = {theorem-proving;}
  }

@incollection{ boyer-moore_js:1996a,
  author = {Robert S. Boyer and J. Strother Moore},
  title = {Mechanized Reasoning about Programs and Computing
  	Machines},
  booktitle = {Automated Reasoning and Its Applications: Essays
  	in Honor of {L}arry {W}os},
  publisher = {The {MIT} Press},
  year = {1996},
  editor = {R. Veroff},
  pages = {146--176},
  address = {Cambridge, Massachusetts},
  missinginfo = {E's 1st name.},
  topic = {theorem-proving;program-verification;}
  }

@article{ boyne:1972a,
  author = {Chris Boyne},
  title = {Vagueness and Colour Predicates},
  journal = {Mind, New Series},
  year = {1972},
  volume = {81},
  number = {324},
  pages = {576--577},
  topic = {vagueness;}
  }

@article{ bozickovic:2008a,
  author = {Vorslav Bozickovic},
  title = {Cognitive Significance and Reflexive Content},
  journal = {Linguistics and Philosophy},
  year = {2008},
  volume = {31},
  number = {5},
  pages = {545--554},
  topic = {propositional-attitudes;indexicals;}
  }

@inproceedings{ bozsahin:1998a,
  author = {Cem Bozsahin},
  title = {Deriving the Predicate-Argument Structure for a Free Word
  	Order Language},
  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 = {167--173},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {categorial-grammar;free-word-order;}
}

@incollection{ brachman:1979a1,
  author = {Ronald J. Brachman},
  title = {On the Epistemological Status of Semantic Networks},
  booktitle = {Associative Networks: Representation and Use of Knowledge by
  	Computers},
  publisher = {Academic Press},
  year = {1979},
  editor = {N.V. Findler},
  pages = {3--50},
  address = {New York},
  xref = {Republished in Ronald J. Brachman and Hector J. Levesque;
  	Readings in Knowledge Representation.  See brachman:1979a2.},
  topic = {kr;semantic-nets;kr-course;}
  }

@incollection{ brachman:1979a2,
  author = {Ronald J. Brachman},
  title = {On the Epistemological Status of Semantic Networks},
  booktitle = {Readings in Knowledge Representation},
  publisher = {Morgan Kaufmann},
  year = {1995},
  editor = {Ronald J. Brachman and Hector J. Levesque},
  address = {Los Altos, California},
  pages = {191--216},
  xref = {Originally published in N.V. Findler; Associative
  	Networks: Representation and Use of Knowledge by
  	Computers; Academic Press; 1979.  See brachman:1979a1.},
  topic = {kr;semantic-nets;kr-course;}
  }

@article{ brachman:1985a,
  author = {Ronald Brachman},
  title = {I Lied about the Trees or, Defaults and Definitions in
	Knowledge Representation},
  journal = {AI Magazine},
  year = {1985},
  volume = {6},
  pages = {80--93},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {kr;nonmonotonic-reasoning;kr-course;}
  }

@article{ brachman:1987a,
  author = {Ronald Brachman},
  title = {The Myth of the One True Logic},
  journal = {Computational Intelligence},
  year = {1987},
  volume = {3},
  issue = {3},
  pages = {168--172},
  xref = {kr;foundations-of-kr;logic-in-AI;}
  }

@inproceedings{ brachman:1990a,
  author = {Ronald J. Brachman},
  title = {The Future of Knowledge Representation},
  booktitle = {Proceedings of the Eighth National
  		Conference on Artificial Intelligence},
  year = {1990},
  pages = {1082--1092},
  publisher = {AAAI Press},
  volume = {2},
  address = {Menlo Park, California},
  topic = {kr;foundations-of-kr;kr-course;}
  }

@incollection{ brachman:1992a,
  author = {Ronald J. Brachman},
  title = {``{R}educing'' {\sc classic} to Practice: Knowledge
  	Representation Theory Meets Reality},
  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 = {247--258},
  address = {San Mateo, California},
  topic = {kr;description-logics;applied-kr;kr-course;}
  }

@incollection{ brachman:2003a,
  author = {Alex Borgida and Ronald J. Brachman},
  title = {Conceptual Modeling with Description Logics},
  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 = {349--372},
  address = {Cambridge, England},
  topic = {description-logics;kr;}
  }

@article{ brachman:2005a,
  author = {Ronald J. Brachman},
  title = {Getting Back to `The Very Idea'\,},
  journal = {The {AI} Magazine},
  year = {2005},
  volume = {26},
  number = {4},
  pages = {48--50},
  topic = {AI-editorial;}
  }

@article{ brachman:2006a,
  author = {Ronald J. Brachman},
  title = {{(AA)AI}: More than the Sum of Its Parts},
  journal = {The {AI} Magazine},
  year = {2006},
  volume = {27},
  number = {4},
  pages = {19--34},
  topic = {AI-editorial;history-of-AI;}
  }

@article{ brachman-etal:1983a,
  author = {Ronald J. Brachman and Richard Fikes and Hector J. Levesque},
  title = {{\sc krypton}:  A Functional Approach to {KR}},
  journal = {{I}{E}{E}{E} Computer},
  year = {1983},
  volume = {16},
  pages = {67--73},
  missinginfo = {number},
  topic = {kr;description-logics;kr-course;}
  }

@inproceedings{ brachman-etal:1983b,
  author = {Ronald J. Brachman and Richard E. Fikes and Hector J. Levesque},
  title = {{\sc krypton}: Integrating Terminology and Assertion},
  booktitle = {Proceedings of the Third National Conference on
             Artificial Intelligence},
  year = {1983},
  pages = {31--35},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  contentnote = {This is the paper introducing the term {hybrid systems},
  	and I guess the first dogma of KR.  --RT},
  topic = {kr;description-logics;kr-course;}
 }

@inproceedings{ brachman-etal:1989a,
  author = {Ronald J. Brachman and Alex Borgida and Deborah
  		L. McGuinness and Lori A. Resnik},
  title = {The {CLASSIC} Knowledge Representation System, or,
  	{KL-ONE}: The Next Generation},
  booktitle = {Proceedings of the Eleventh International Joint
  	Conference on Artificial Intelligence},
  year = {1989},
  editor = {N.S. Sridharan},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, CA},
  missinginfo = {Pages.  CHECK THIS I HAVE A PREPRINT ONLY},
  rtnote = {In RHT collection.},
  topic = {description-logics;krcourse;}
  }

@book{ brachman-etal:1989b,
  editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter},
  title = {{KR}'89: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1989},
  address = {San Mateo, California},
  topic = {kr;}
 }

@incollection{ brachman-etal:1991a,
  author = {Ronald J. Brachman and Deborah L. McGuinness and Peter
  	F. Patel-Schneider and Lori A. Resnik},
  title = {Living with {\sc classic}: When and How to Use a
  	{\sc kl-one}-Like Language},
  booktitle = {Principles of Semantic Networks},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {John F. Sowa},
  pages = {401--456},
  address = {San Mateo, California},
  topic = {kr;description-logics;classic;kr-course;}
  }

@article{ brachman-etal:1991b,
  author = {Ronald J. Brachman and Hector J. Levesque and Ray Reiter},
  title = {Introduction to the Special Volume on Knowledge
  	Representation},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {49},
  number = {3},
  pages = {1--3},
  topic = {kr;}
  }

@book{ brachman-etal:1992a,
  editor = {Ronald J. Brachman and Hector J. Levesque and
  	Raymond Reiter},
  title = {Knowledge Representation},
  publisher = {The {MIT} Press},
  year = {1992},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.},
  topic = {kr-survey;}
 }

@article{ brachman-etal:1999a,
  author = {Ronald J. Brachman and },
  title = {``{R}educing'' {\sc classic} to Practice: Knowledge
  	Representation Theory Meets Reality},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {114},
  number = {1--2},
  pages = {203--237},
  topic = {kr;description-logics;applied-kr;kr-course;}
  }

@book{ brachman-levesque:1985a,
  editor = {Ronald J. Brachman and Hector J. Levesque},
  title = {Readings in Knowledge Representation},
  publisher = {Morgan Kaufmann},
  year = {1995},
  address = {Los Altos, California},
  rtnote = {In RHT collection.},
  topic = {kr;kr-course;kr-survey;}
 }

@article{ brachman-levesque:1991a,
 author = {Ronald J. Brachman and Hector J. Levesque},
 title = {Look What They've Done to My Dogma! On Limitations in
 	Knowledge Representation},
 journal = {Artificial Intelligence},
 year = {1991},
 volume = {50},
 number = {1},
 topic = {kr;description-logics;kr-course;}
 }

@book{ brachman-levesque:2004a,
  author = {Ronald J. Brachman and Hector Levesque},
  title = {Knowledge Representation and Reasoning},
  publisher = {Elsevier},
  year = {2004},
  address = {Amsterdam},
  ISBN = {1558609326},
  rtnote = {In RHT collection.},
  rtnote = {UMich Media Union Library, Q387 .731 2004},
  xref = {Review: morgenstern_l:2006a.},
  topic = {kr;AI-intro;AI-text;}
 }

@article{ brachman-schmolze:1991a,
  author = {Ronald J. Brachman and James Schmolze},
  title = {An Overview of the {\sc Kl-One} Knowledge Representation
  	System},
  journal = {Cognitive Science},
  year = {1991},
  volume = {9},
  pages = {171--216},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {kr;description-logics;kr-course;}
  }

@book{ brackbill-cohen_bi:1985a,
  editor = {Jeremiah U. Brackbill and Bruce I. Cohen},
  title = {Multiple Time Scales},
  publisher = {Academic Press},
  year = {1985},
  address = {New York},
  ISBN = {0121234207},
  rtnote = {UMich Science, QA377 .M9461 1985},
  topic = {nonlinear-mathematics;}
 }

@article{ bracken:1973a,
  author = {H. Bracken},
  title = {Minds and Learning: The {C}homskyian Revolution},
  journal = {Metaphilosophy},
  year = {1973},
  volume = {4},
  pages = {229--245},
  missinginfo = {A's 1st name, number},
  topic = {Chomsky;L1-acquisition;}
  }

@article{ braddonmitchell:2003a,
  author = {David Braddon-Mitchell},
  title = {Qualia and Analytical Conditionals},
  journal = {The Journal of Philosophy},
  year = {2003},
  volume = {100},
  number = {3},
  pages = {111--135},
  topic = {mind-body-problem;}
  }

@book{ braddonmitchell-jackson_f:1996a,
  author = {David Braddon-Mitchell and Frank Jackson},
  title = {The Philosophy of Mind and Cognition},
  publisher = {Blackwell Publishers},
  year = {1996},
  address = {Oxford},
  ISBN = {0631191674 (hbk)},
  rtnote = {UMich Graduate Library, BD 418.3 .B721 1996},
  topic = {philosophy-of-mind;philosophy-of-cogsci;}
 }

@incollection{ bradfield-stitling_c:2006a,
  author = {Jill Bradfield and Colin Stitling},
  title = {Modal Mu-Calculi},
  booktitle = {Handbook of Modal Logic},
  year = {2006},
  editor = {Patrick Blackburn and Johan van Benthem and Frank Wolter},
  pages = {721--756},
  address = {New York},
  rtnote = {In RHT collection.  File drawers.},
  topic = {modal-logic;temporal-logic;program-verification;mu-calculus;}
  }

@article{ bradley_e-etal:2001a,
  author = {Elizabeth Bradley and Matthew Easley and Reinhard Stolle},
  title = {Reasoning about Nonlinear System Identification},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {133},
  number = {1--2},
  pages = {139--188},
  topic = {qualitative-reasoning;qualitative-physics;kr;}
  }

@book{ bradley_fh:1927a,
  author = {F.H. Bradley},
  title = {Ethical Studies (Second Edition)},
  publisher = {Oxford University Press},
  address = {Oxford},
  year = {1927},
  topic = {ethics;}
    }

@article{ bradley_r:1999a,
  author = {Richard Bradley},
  title = {More Triviality},
  journal = {Journal of Philosophical Logic},
  year = {1999},
  volume = {28},
  number = {2},
  pages = {129--139},
  topic = {conditionals;CCCP;}
  }

@incollection{ bradley_r:2000a,
  author = {Richard Bradley},
  title = {Conditionals and 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 = {S18--S32},
  address = {Newark, Delaware},
  topic = {decision-theory;conditionals;}
  }

@article{ bradley_r:2006a,
  author = {Richard Bradley},
  title = {Adams Conditionals and Non-Monotonic Probabilities},
  journal = {Journal of Logic, Language, and Information},
  year = {2006},
  volume = {15},
  number = {1--2},
  pages = {65--81},
  topic = {conditionals;nonmonotonic-logic;probability-semantics;
  		CCCP;}
  }

@article{ bradley_rd:1959a,
  author = {Raymond D. Bradley},
  title = {Must the Future Be What it Is Going to Be?},
  journal = {Mind, New Series},
  year = {1959},
  volume = {68},
  number = {1},
  pages = {193--208},
  topic = {(in)determinism;}
  }

@article{ bradley_rd:1962a,
  author = {Raymond D. Bradley},
  title = {\,`Ifs', `Cans' and Determinism},
  journal = {Australasian Journal of Philosophy},
  year = {1962},
  volume = {40},
  pages = {146--158},
  missinginfo = {A's 1st name, number},
  topic = {JL-Austin;conditionals;(in)determinism;freedom;}
  }

@article{ bradley_rd:1964a,
  author = {Raymond D. Bradley},
  title = {Geometry and Necessary Truth},
  journal = {The Philosophical Review},
  year = {1964},
  volume = {73},
  number = {1},
  pages = {59--75},
  rtnote = {In RHT collection.},
  topic = {psychology-of-mathematics;necessary-truth;geometry;}
  }

@book{ bradshaw:1996a,
  editor = {Jeffrey M. Bradshaw},
  title = {Software Agents},
  publisher = {The {MIT} Press},
  year = {1996},
  address = {Cambridge, Massachusetts},
  topic = {agency;distributed-systems;communications-protocols;}
 }

@incollection{ brady_ah:1988a,
  author = {Allen H. Brady},
  title = {The Busy Beaver Game and the Meaning of Life},
  booktitle = {The Universal {T}uring Machine: A Half-Century
  	Survey},
  publisher = {Oxford University Press},
  year = {1988},
  editor = {Rolf Herkin},
  pages = {259--277},
  address = {Oxford},
  topic = {automata-theory;}
  }

@book{ brady_g:2000a,
  author = {Geraldine Brady},
  title = {From {P}eirce to {S}kolem: A Neglected Chapter in the
  	History of Logic},
  publisher = {Elsevier},
  year = {2000},
  address = {Amsterdam},
  xref = {Review: corcoran:2008a.},
  topic = {history-of-logic;}
 }

@article{ brady_m:1980a,
  author = {Mike Brady},
  title = {Review of \emph{{T}echniques of Artificial Intelligence}, by
  	{S}tuart {C}. {S}hapiro},
  journal = {Artificial Intelligence},
  year = {1980},
  volume = {14},
  number = {1},
  pages = {109--110},
  xref = {Review of shapiro_sc:1979a.},
  topic = {AI-intro;AI-text;}
  }

@article{ brady_m:1981a,
  author = {Michael Brady},
  title = {Preface---The Changing Shape of Computer Vision},
  journal = {Artificial Intelligence},
  year = {1981},
  volume = {17},
  number = {1--3},
  pages = {1--15},
  topic = {computer-vision;}
  }

@article{ brady_m:1982a,
  author = {Michael Brady},
  title = {Computer Vision},
  journal = {Artificial Intelligence},
  year = {1982},
  volume = {1982},
  number = {1},
  pages = {7--16},
  topic = {computer-vision;}
  }

@article{ brady_m:1983a,
  author = {Michael Brady},
  title = {Parallelism in Vision},
  journal = {Artificial Intelligence},
  year = {1983},
  volume = {21},
  number = {3},
  pages = {271--283},
  acontentnote = {Abstract:
     The past year has seen a continuing flood of papers and new
     ideas spanning the entire range of computer vision. In this
     report we provide pointers to two areas that have received
     particular attention, namely (i) image processing hardware and
     parallel image understanding algorithms, including connectionist
     theories of perception and cognition, and (ii) robotic vision.
     Finally, we provide an annotated review of the literature as in
     (Brady, 1982a; Sections 2 and 3).},
  topic = {computer-vision;parallel-processing;connectionist-models;}
  }

@article{ brady_m:1985a,
  author = {Michael Brady},
  title = {Artificial Intelligence and Robotics},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {26},
  number = {1},
  pages = {79--121},
  topic = {robotics;}
  }

@incollection{ brady_m:1993a,
  author = {Michael Brady},
  title = {Computational Vision},
  booktitle = {The Simulation of Human Intelligence},
  publisher = {Blackwell Publishers},
  year = {1993},
  editor = {Donald Broadbent},
  pages = {121--150},
  address = {Oxford},
  topic = {computer-vision;}
  }

@article{ brady_m-hu:1994a,
  author = {Michael Brady and Huosheng Hu},
  title = {The Mind of a Robot},
  journal = {Philosophical Transactions of the Royal Society, Series A:
  	Physical Sciences and Engineering},
  year = {1994},
  volume = {349},
  number = {1689},
  pages = {5--28},
  note = {Available at http://www.jstor.org/journals/09628428.html},
  rtnote = {In RHT collection.  Zip Drive.},
  topic = {philosophy-AI;robotics;minimalist-robotics;
  	motion-planning;reasoning-about-uncertainty;computer-vision;}
  }

@book{ brady_ra:2002a,
  author = {Ross Thomas Brady},
  title = {Relevant Logics and Their Rivals, Volume {II}},
  publisher = {Ashgate Publishing Co.},
  year = {19},
  address = {Brookfield, Vermont},
  ISBN = {0 7546 1113 2},
  topic = {relevance-logic;}
 }

@article{ brady_rt:1990a,
  author = {Ross T. Brady},
  title = {The {G}entzenization and Decidability of {RW}},
  journal = {Journal of Philosophical Logic},
  year = {1990},
  volume = {19},
  number = {1},
  pages = {35--73},
  topic = {relevance-logic;proof-theory;}
  }

@article{ brady_rt:1991a,
  author = {Ross T. Brady},
  title = {Gentzenization and Decidability of Some Contraction-Less
		Relevant Logics},
  journal = {Journal of Philosophical Logic},
  year = {1991},
  volume = {20},
  number = {1},
  pages = {97--117},
  topic = {proof-theory;relevance-logic;}
  }

@article{ brady_rt:1992a,
  author = {Ross T. Brady},
  title = {Hierarchical Semantics for Relevant Logics},
  journal = {Journal of Philosophical Logic},
  year = {1992},
  volume = {21},
  number = {4},
  pages = {357--374},
  topic = {relevance-logic;}
  }

@article{ brady_rt:1994a,
  author = {Ross T. Brady},
  title = {Rules in Relevant Logic---{I}: Semantic Classification},
  journal = {Journal of Philosophical Logic},
  year = {1994},
  volume = {23},
  number = {2},
  pages = {111--137},
  topic = {relevance-logic;inference-rules;}
  }

@article{ brady_rt:1996a,
  author = {Ross T. Brady},
  title = {Relevant Implication and the Case for a Weaker Logic},
  journal = {Journal of Philosophical Logic},
  year = {1996},
  volume = {25},
  number = {2},
  pages = {151--183},
  topic = {relevance-logic;}
  }

@article{ brady_rt:1996b,
  author = {Ross T. Brady},
  title = {Gentzenization of Relevant Logics Without Distribution, {I}},
  journal = {The Journal of Symbolic Logic},
  year = {1996},
  volume = {61},
  number = {2},
  pages = {353--378},
  topic = {relevance-logic;cut-free-deduction;}
  }

@article{ brady_rt:1996c,
  author = {Ross T. Brady},
  title = {Gentzenization of Relevant Logics Without Distribution, {II}},
  journal = {The Journal of Symbolic Logic},
  year = {1996},
  volume = {61},
  number = {2},
  pages = {379--401},
  topic = {relevance-logic;cut-free-deduction;}
  }

@article{ brady_rt:1996d,
  author = {Ross T. Brady},
  title = {Gentzenization of Relevant Logics With Distribution},
  journal = {The Journal of Symbolic Logic},
  year = {1996},
  volume = {61},
  number = {2},
  pages = {402--420},
  topic = {relevance-logic;cut-free-deduction;}
  }

@article{ brafmam-tennenholtz:2004a,
  author = {Ronen I. Brafmam and Moshe Tennenholtz},
  title = {Efficient Learning Equilibrium},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {159},
  number = {1--2},
  pages = {27--47},
  topic = {multiagent-learning;repeated-games;}
  }

@incollection{ brafman:1996a,
  author = {Ronen I. Brafman},
  title = {\,`Statistical' First Order Conditionals},
  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 = {398--409},
  address = {San Francisco, California},
  topic = {conditionals;probability;nonmonotonic-conditionals;}
  }

@article{ brafman-domshlak:2008a,
  author = {Ronen I. Brafman and Carmel Domshlak},
  title = {Graphically Structured Value-Function Compilation},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {2--3},
  pages = {325--349},
  topic = {qualitative-utility;preferences;}
  }

@incollection{ brafman-etal:1994a,
  author = {Ronen Brafman and J.-C. Latombe},
  title = {Knowledge as a Tool in Motion Planning Under Uncertainty},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fifth Conference ({TARK} 1994)},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Ronald Fagin},
  pages = {208--224},
  address = {San Francisco},
  missinginfo = {Au's 1st name.},
  topic = {epistemic-logic;cognitive-robotics;}
  }

@article{ brafman-etal:1998a,
  author = {Ronen I. Brafman and Joseph Y. Halpern and Yoav Shoham},
  title = {On the Knowledge Requirements of Tasks},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {98},
  number = {1--2},
  pages = {317--349},
  topic = {cognitive-robotics;knowledge-based-programming;}
  }

@inproceedings{ brafman-friedman_n:1995a,
  author = {Ronen Brafman and Nir Friedman},
  title = {On Decision-Theoretic Foundations for Defaults},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {Read this},
  pages = {1458--1465},
  topic = {decision-theory;nonmonotonic-reasoning;}
  }

@article{ brafman-friedman_n:2001a,
  author = {Ronen I. Brafman and Nir Friedman},
  title = {On Decision-Theoretic Foundations for Defaults},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {133},
  number = {1--2},
  pages = {1--33},
  topic = {foundations-of-nonmonotonic-logic;decision-theory;
  	nonmonotonic-reasoning;}
  }

@inproceedings{ brafman-shoham_y1:1995a,
  author = {Ronen Brafman and Yoav Shoham},
  title = {Knowledge Considerations in Robotics and Distribution
  	of Robotic Tasks},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {96--102},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {kr;kr-course;reasoning-about-knowledge;
  	foundations-of-robotics;distributed-systems;task-allocation;}
  }

@incollection{ brafman-tennenholtz:1994a,
  author = {Ronen Brafman and Moshe Tennenholtz},
  title = {Belief Ascription and Mental-Level Modeling},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {87--98},
  address = {San Francisco, California},
  topic = {kr;propositional-attitudes;agent-modeling;belief;
  	reasoning-about-mental-states;kr-course;}
  }

@inproceedings{ brafman-tennenholtz:1995a,
  author = {Ronen Brafman and Moshe Tennenholtz},
  title = {Towards Action Prediction Using a Mental-Level Model},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {2010--2016},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {reasoning-about-knowledge;reasoning-about-mental-states;}
  }

@inproceedings{ brafman-tennenholtz:1997a1,
  author = {Ronen Brafman and Moshe Tennenholtz},
  title = {On the Axiomatization of Qualitative Decision
        Criteria},
  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 = {29--34},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  xref = {Conference publication: brafman-tennenholtz:1997a2.},
  topic = {qualitative-utility;}
  }

@inproceedings{ brafman-tennenholtz:1997a2,
  author = {Ronen I. Brafman and Moshe Tennenholtz},
  title = {On the Axiomatization of Qualitative Decision Criteria},
  booktitle = {Proceedings of the Fourteenth National Conference on
              Artificial Intelligence,  Vol. ???},
  year = {1997},
  editor = {Benjamin J. Kuipers and Bonnie Webber},
  pages = {76--81},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {qualitative-utility;}
  }

@inproceedings{ brafman-tennenholtz:1997b,
  author = {Ronen Brafman and Moshe Tennenholtz},
  title = {On Decision-Theoretic Foundations for Defaults},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  missinginfo = {pages},
  topic = {qualitative-utility;nonmonotonic-reasoning;}
  }

@article{ brafman-tennenholtz:1997c,
  author = {Ronen Brafman and Moshe Tennenholtz},
  title = {Modeling Agents as Qualitative Decision Makers},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {94},
  number = {1--2},
  pages = {217--268},
  topic = {qualitative-utility;agent-modeling;}
  }

@inproceedings{ brafman-tennenholtz:1998a,
  author = {Ronan Brafman and Moshe Tennenholtz},
  title = {On the Axiomatization of Qualitative Decision Criteria},
  booktitle = {Proceedings of the Fourteenth National Conference on
              Artificial Intelligence and the Ninth Innovative
	      Applications of Artificial Intelligence  Conference},
  year = {1998},
  editor = {Benjamin J. Kuipers and Bonnie Webber},
  pages = {76--81},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {qualitative-utility;}
  }

@article{ brafman-tennenholtz:2000a,
  author = {Ronen Brafman and Moshe Tennenholtz},
  title = {A Near-Optimal Polynomial Time Algorithm for
  	Learning in Certain Classes of Stochastic Games},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {121},
  number = {1--2},
  pages = {31--47},
  topic = {stochastic-games;multiagent-systems;machine-learning;}
  }

@book{ brafman_o-brafman_r:2008a,
  author = {Ori Brafman and Rom Brafman},
  title = {Sway: The Irresistible Pull of Irrational Behavior},
  publisher = {Doubleday},
  year = {2008},
  address = {New York},
  ISBN = {978-0-585-550606},
  xref = {Review: },
  topic = {irrationality;rationality;behavioral-economics;}
 }

@article{ braine:1974a,
  author = {Martin D.S. Braine},
  title = {On What Might Constitute Learnable Phonology},
  journal = {Language},
  year = {1974},
  volume = {50},
  pages = {270--299},
  missinginfo = {number},
  topic = {phonology;learnability;}
  }

@article{ braine:1979a,
  author = {Martin D.S. Braine},
  title = {On Some Claims about {\em If-Then}},
  journal = {Linguistics and Philosophy},
  year = {1979},
  volume = {3},
  number = {1},
  pages = {35--47},
  contentnote = {Braine claims that the counterexamples to transitivity
  	are flawed.},
  topic = {conditionals;}
  }

@book{ braine-obrian_dp:1997a,
  editor = {Martin D.S. Braine and David P. O'Brian},
  title = {Mental Logic},
  publisher = {Lawrence Erlbaum Associates},
  year = {1997},
  address = {Mahwah, New Jersey},
  ISBN = {0-8058-2388-3},
  xref = {Review: tanaka_k2:2001b.},
  topic = {logic-and-cognition;}
 }

@book{ braithwaite:1931a,
  editor = {Richard B. Braithwaite},
  title = {The Foundations of Mathematics: Collected Papers of {F}rank
  	{P}. {R}amsey},
  publisher = {Routledge and Kegan Paul},
  year = {1931},
  address = {London},
  missinginfo = {E's 1st name.},
  xref = {Review: church_a:1932a},
  topic = {logic-classics;}
 }

@article{ brame:1975a,
  author = {Michael K. Brame},
  title = {On the Abstractness of Syntactic Structure: The
  	{VP} Controversy},
  journal = {Linguistic Analysis},
  year = {1975},
  volume = {1},
  number = {2},
  pages = {191--203},
  rtnote = {In RHT collection.},
  topic = {nl-syntax;}
  }

@article{ brame:1977a,
  author = {Michael K. Brame},
  title = {Alternatives to the Tensed {S} and Specified
  	Subject Conditions},
  journal = {Linguistics and Philosophy},
  year = {1977},
  volume = {1},
  number = {3},
  pages = {381--411},
  topic = {transformational-grammar;nl-syntax;}
  }

@article{ brams-etal:2001a,
  author = {Steven J. Brams and Paul H. Edelman and Peter C. Fishburn},
  title = {Paradoxes of Fair Division},
  journal = {The Journal of Philosophy},
  year = {2001},
  volume = {98},
  number = {6},
  pages = {300--314},
  topic = {welfare-economics;rationality;}
  }

@article{ branch:1977a,
  author = {Taylor Branch},
  title = {New Frontiers in {A}merican Philosophy},
  journal = {The New York Times Magazine},
  year = {1977},
  note = {August 14, 1977},
  topic = {Kripke;analytic-philosophy;}
  }

@article{ brand_d:1976a,
  author = {D. Brand},
  title = {Analytic Resolution in Theorem Proving},
  journal = {Artificial Intelligence},
  year = {1976},
  volume = {7},
  number = {4},
  pages = {285--318},
  topic = {theorem-proving;resolution;}
  }

@article{ brand_m:1970a,
  author = {Myles Brand},
  title = {Causes of Actions},
  journal = {The Journal of Philosophy},
  year = {1970},
  volume = {67},
  number = {21},
  pages = {932--947},
  topic = {action;causality;}
  }

@book{ brand_m:1970b,
  editor = {Myles Brand},
  title = {The Nature of Human Action},
  publisher = {Scott, Foresman and Company},
  year = {1970},
  address = {Glenview, California},
  rtnote = {UMich Graduate Library Call No: BD 450 .B82 1970},
  topic = {action;}
 }

@book{ brand_m:1976a,
  editor = {Myles Brand},
  title = {The Nature of Causation},
  publisher = {University of Illinois Press},
  year = {1976},
  address = {Urbana, Illinois},
  rtnote = {In RHT collection.  Phil collections shelf.},
  contentnote = {This contains a useful survey in the introductory
  	chapter on the problem of defining causation.},
  topic = {causality;}
 }

@book{ brand_m:1984a,
  author = {Myles Brand},
  title = {Intending and Acting: Toward a Naturalized Action Theory},
  publisher = {The {MIT} Press},
  year = {1984},
  address = {Cambridge, Massachusetts},
  rtnote = {HILLMAN B105.A35 B73 1984},
  topic = {philosophy-of-action;}
 }

@incollection{ brand_m:1986a,
  author = {Myles Brand},
  title = {Intentional Acts and Plans},
  booktitle = {Midwest Studies in Philosophy Volume {X}:
  	Studies in the Philosophy of Mind},
  publisher = {University of Minnesota Press},
  year = {1986},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {213--230},
  address = {Minneapolis},
  topic = {intention;action;volition;}
  }

@incollection{ brand_m:1989a,
  author = {Myles Brand},
  title = {Proximate Causation of Action},
  booktitle = {Philosophical Perspectives 3:
  	Philosophy of Mind and Action Theory},
  publisher = {Ridgeview Publishing Company},
  year = {1989},
  editor = {James E. Tomberlin},
  pages = {423--442},
  address = {Atasacadero, California},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {reasons-for-action;}
  }

@book{ brand_m-walton_dn:1976a,
  editor = {Myles Brand and Douglas Walton},
  title = {Action Theory: Proceedings of the {W}innipeg Conference On
  	Human Action, held at {W}innipeg, {M}anitoba, {C}anada, 9-11 {M}ay
	1975},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  address = {Dordrecht},
  ISBN = {9027706719},
  rtnote = {UMich Graduate Library, BD450 .W541 1975.},
  topic = {philosophy-of-action;}
 }

@inproceedings{ brandano:1999a,
  author = {Sergio Brandano},
  title = {${\cal K}$-{RAC}i},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
	Nonmonotonic Reasoning, Action and Change},
  year = {1999},
  editor = {Michael Thielscher},
  pages = {9--16},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {action-formalisms;reasoning-about-continuous-time;
		concurrent-actions;continuous-change;}
  }

@article{ brandenberger-dekel:1987a,
  author = {A. Brandenberger and E. Dekel},
  title = {Common Knowledge With Probability {I}},
  journal = {Journal of Mathematical Economics},
  year = {1987},
  volume = {16},
  pages = {237--245},
  missinginfo = {A's 1st name, number},
  topic = {mutual-belief;probability;}
  }

@article{ brandenberger-keisler:2006a,
  author = {Adam Brandenberger and H. Jerome Keisler},
  title = {An Impossibility Theorem on Beliefs and Games},
  journal = {Studia Logica},
  year = {2006},
  volume = {84},
  number = {2},
  pages = {211--240},
  xref = {Commentary: pacuit:2007a},
  topic = {syntactic-attitudes;foundations-of-game-theory;}
  }

@incollection{ brandl:2000a,
  author = {Johannes L. Brandl},
  title = {Do Events Recur?},
  booktitle = {Speaking of Events},
  publisher = {Oxford University Press},
  year = {2000},
  editor = {James Higginbotham and Fabio Pianesi and Achille C. Varzi},
  pages = {95--104},
  address = {Oxford},
  topic = {events;metaphysics;}
  }

@book{ brandom:1994a,
  author = {Robert B. Brandom},
  title = {Making It Explicit: Reasoning, Representing, and Discursive
    Commitment},
  publisher = {Harvard University Press},
  year = {1994},
  address = {Cambridge, Massachusetts},
  ISBN = {067454319X (alk. paper)},
  rtnote = {UMich Graduate Library, P 106 .B6941 1994.},
  topic = {philosophy-of-language;}
 }

@incollection{ brandom:1998a,
  author = {Robert Brandom},
  title = {Actions, Norms, and Practical Reasoning},
  booktitle = {Philosophical Perspectives 12: Language, Mind,
  	and Ontology},
  publisher = {Blackwell Publishers},
  year = {1998},
  editor = {James E. Tomberlin},
  pages = {127--139},
  address = {Oxford},
  topic = {ethics;practical-reason;volition;}
  }

@article{ brandt_f-etal:2009a,
  author = {Felix Brandt and Felix Fischer and Paul Harrenstein and
  		Yoav Shoham},
  title = {Ranking Games},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {2},
  pages = {221--239},
  topic = {game-theory;complexity-theory;}
  }

@incollection{ brandt_r:1963a,
  author = {Richard Brandt},
  title = {Toward a Credible Form of Utilitarianism},
  booktitle = {Morality and the Language of Conduct},
  editor = {{Hector-Neri} Casta\~{n}eda and George Nakhnikian},
  publisher = {Wayne State University Press},
  year = {1963},
  pages = {107--144},
  topic = {utilitarianism;ethics;}
    }

@article{ brandt_r:1983b,
 author = {Richard Brandt},
 title = {The Concept of Rational Action},
 journal = {Social Theory and Practice},
 year = {1983},
 volume = {9},
 pages = {143--163},
  missinginfo = {number},
 topic = {rational-action;practical-reasoning;}
 }

@article{ brandt_r-kim_jw:1963a,
  author = {Richard Brandt and Jaegwon Kim},
  title = {Wants as Explanations of Actions},
  journal = {The Journal of Philosophy},
  year = {1963},
  volume = {63},
  number = {18},
  pages = {425--435},
  rtnote = {In RHT collection.},
  topic = {mind-body-problem;}
  }

@article{ brandt_r-kim_jw:1964a,
  author = {Richard Brandt and Jaegwon Kim},
  title = {The Logic of the Identity Theory},
  journal = {The Journal of Philosophy},
  year = {1964},
  volume = {62},
  number = {24},
  pages = {515--537},
  rtnote = {In RHT collection.},
  topic = {mind-body-problem;}
  }

@incollection{ brandt_s-etal:2002a,
  author = {Sebastian Brandt and Ralf K\"usters and Anni-Yasmin Turhan},
  title = {Approximation and Difference in Description Logics},
  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 = {203--214},
  address = {San Francisco, California},
  topic = {kr;description-logics;}
  }

@inproceedings{ branko:1998a,
  author = {Ant\'onio Branko},
  title = {The Logical Structure of Binding},
  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 = {181--185},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {binding-thoery;quantification;}
}

@incollection{ branquinho:2003a,
  author = {Joa\~o Branquinho},
  title = {In Defense of Obstinacy},
  booktitle = {Philosophical Perspectives 17: Language and Philosophical
  	Linguistics, 2003},
  publisher = {Blackwell Publishers},
  year = {2003},
  editor = {John Hawthorne and Dean Zimmerman},
  pages = {1--23},
  address = {Oxford},
  contentnote = {"Obstinacy" is the idea that certain NPs are
  	obstinately rigid.},
  topic = {semantics-of-proper-names;reference;rigid-designators;}
  }

@book{ bransford:1979a,
  author = {John D. Bransford},
  title = {Human Cognition: Learning, Understanding, and Remembering},
  publisher = {Wadsworth Publishing Co.},
  year = {1979},
  address = {Belmont, California},
  ISBN = {053400699X},
  rtnote = {UMich Undergraduate, Bf311 .B71551
  	    Graduate Library Call No: BF311 .B71551},
  topic = {cognitive-psychology;}
 }

@article{ branting:1991a,
  author = {L. Karl Branting},
  title = {Building Explanations from Rules and Structured Cases},
  journal = {International Journal of Man-Machine Studies},
  volume = {34},
  number = {6},
  pages = {797--837},
  year = {1991},
  topic = {explanation;case-based-reasoning;}
    }

@inproceedings{ branting:1991b,
  author = {L. Karl Branting},
  title = {Reasoning with Portions of Precedents},
  booktitle = {Proceedings of the Third International
    	         Conference on Artificial Intelligence and Law
				 (ICAIL-91)},
  publisher = {ACM Press},
  year = {1991},
  pages = {145--154},
  topic = {legal-AI;}
    }

@article{ branting:1994a,
  author = {L. Karl Branting},
  title = {A Computational Model of {\em Ratio Decidendi}},
  journal = {Artificial Intelligence and Law},
  volume = {2},
  pages = {1--31},
  year = {1994},
  topic = {legal-AI;}
  }

@article{ branting:2003a,
  author = {L. Karl Branting},
  title = {A Reduction-Graph Model of Precedent in Legal Analysis},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {150},
  number = {1-2},
  pages = {59--95},
  topic = {AI-and-law;legal-reasoning;case-based-reasoning;}
  }

@incollection{ brants:1996a,
  author = {Thorston Brants},
  title = {Better Language Models with Model Merging},
  booktitle = {Proceedings of the Conference on Empirical
		Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1996},
  editor = {Eric Brill and Kenneth Church},
  pages = {60--68},
  address = {Somerset, New Jersey},
  topic = {corpus-statistics;}
  }

@incollection{ brants-etal:1997a,
  author = {Thorstein Brants and Wojciech Skut and Brigitte Krenn},
  title = {Tagging Grammatical Functions},
  booktitle = {Proceedings of the Second Conference on Empirical
		Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Claire Cardie and Ralph Weischedel},
  pages = {64--74},
  address = {Somerset, New Jersey},
  topic = {empirical-methods-in-nlp;corpus-linguistics;
		part-of-speech-tagging;}
  }

@incollection{ brants-skut:1998a,
  author = {Thorsten Brants and Wojciech Skut},
  title = {Automation of Treebank Annotation},
  booktitle = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Natural Language
	Learning: {NeMLaP3/CoNLL98}},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {David M.W. Powers},
  pages = {49--57},
  address = {Somerset, New Jersey},
  topic = {corpus-annotation;automated-corpus-annotation;statistical-nlp;
  	treebank-annotation;}
  }

@article{ brasoveanu:2008a,
  author = {Adrian Brasoveanu},
  title = {Donkey Pluralities:  Plural Information States Versus
  		Non-Atomic Individuals},
  journal = {Linguistics and Philosophy},
  year = {2008},
  volume = {31},
  number = {2},
  pages = {129--209},
  topic = {dynamic-semantics;discourse-representation-theory;
  		donkey-anaphora;plural;pluralities;}
  }

@inproceedings{ brass:1993a,
  author = {Stephen Brass},
  title = {On the Semantics of Supernormal Defaults},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {578--583},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  contentnote = {A supernormal default has form True:A/A, i.e., ~~> A.
  	This has a semantics with completeness result.},
  rtnote = {In RHT collection.},
  topic = {kr;nonmonotonic-logic;default-logic;}
  }

@incollection{ brass-etal:1996a,
  author = {Stefan Brass and J\"urgen Dix and Teodor C. Przymusinski},
  title = {Super Logic Programs},
  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 = {529--539},
  address = {San Francisco, California},
  topic = {kr;logic-programming;kr-course;}
  }

@incollection{ brass-etal:1998a,
  author = {Stefan Brass and J\"urgen Dix and Ilkka Niemel\"a
		and Teodor C. Przmusinski},
  title = {A Comparison of the Static and the Disjunctive
		Well-Founded Semantics and its Implementation},
  booktitle = {{KR}'98: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1998},
  editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C.
		Shapiro},
  pages = {74--85},
  address = {San Francisco, California},
  topic = {kr;logic-programming;disjunctive-logic-programming;kr-course;}
  }

@article{ brass-etal:1999a,
  author = {Stefan Brass and J\"urgen Dix and Teodor C. Przymusinski},
  title = {Computation of the Semantics of Autoepistemic Belief
  	Theories},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {112},
  number = {1--2},
  pages = {233--250},
  topic = {autoepistemic-logic;}
  }

@article{ bratko-suc:2003a,
  author = {Ivan Bratko and Dorian Suc},
  title = {Learning Qualitative Models},
  journal = {The {AI} Magazine},
  year = {2003},
  volume = {24},
  number = {4},
  pages = {107--119},
  topic = {qualitative-reasoning;qualitative-modeling;machine-learning;}
  }

@article{ bratman:1984a,
  author = {Michael E. Bratman},
  title = {Two Faces of Intention},
  journal = {The Philosophical Review},
  year = {1984},
  volume = {93},
  pages = {375--405},
  missinginfo = {number},
  topic = {intention;}
  }

@incollection{ bratman:1986a,
  author = {Michael Bratman},
  title = {Intention and Evaluation},
  booktitle = {Midwest Studies in Philosophy Volume {X}:
  	Studies in the Philosophy of Mind},
  publisher = {University of Minnesota Press},
  year = {1986},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {185--189},
  address = {Minneapolis},
  topic = {intention;}
  }

@book{ bratman:1987a,
  author = {Michael E. Bratman},
  title = {Intentions, Plans and Practical Reason},
  publisher = {Harvard University Press},
  year = {1987},
  rtnote = {Reading notes on file.},
  rtnote = {In RHT collection.  LLP authored shelves.},
  topic = {action;practical-reasoning;foundations-of-planning;}
 }

@incollection{ bratman:1989a,
  author = {Michael E. Bratman},
  title = {Intention and Personal Policies},
  booktitle = {Philosophical Perspectives 3:
  	Philosophy of Mind and Action Theory},
  publisher = {Ridgeview Publishing Company},
  year = {1989},
  editor = {James E. Tomberlin},
  pages = {443--469},
  address = {Atasacadero, California},
  note = {Also available at http://www.jstor.org/journals/.},
  rtnote = {In RHT collection.  Zip disk.},
  topic = {intention;practical-reasoning;}
  }

@incollection{ bratman:1990a,
  author = {Michael E. Bratman},
  title = {What is Intention?},
  booktitle = {Intentions in Communication},
  publisher = {The {MIT} Press},
  year = {1990},
  editor = {Philip R. Cohen and Jerry Morgan and Martha Pollack},
  pages = {15--32},
  address = {Cambridge, Massachusetts},
  topic = {intention;practical-reasoning;foundations-of-planning;}
  }

@inproceedings{ bratman:1995a,
 author = {Michael E. Bratman},
 title = {Plans and Resource-Bounded Practical Reasoning},
 booktitle = {Working Notes of the {AAAI} Spring Symposium on
 	Extending Theories of Action: Formal Theories and Applications},
 year = {1995},
 organization = {American Association for Artificial Intelligence},
 address = {Menlo Park, California},
 missinginfo = {pages},
 topic = {action;foundations-of-planning;}
 }

@book{ bratman:1999a,
  author = {Michael E. Bratman},
  title = {Faces of Intention},
  publisher = {Cambridge University Press},
  year = {1999},
  address = {Cambridge, England},
  ISBN = {052163727},
  topic = {intention;philosophy-of-action;practical-reasoning;}
 }

@article{ bratman:2000a,
  author = {Michael E. Bratman},
  title = {Reflection, Planning, and Temporally Extended Agency},
  journal = {The Philosophical Review},
  year = {2000},
  volume = {109},
  number = {1},
  pages = {35--61},
  topic = {agancy;practical-reason;}
  }

@incollection{ bratman:2000b,
  author = {Michael E. Bratman},
  title = {Valuing and the Will},
  booktitle = {Philosophical Perspectives 14: Action and Freedom},
  publisher = {Blackwell Publishers},
  year = {2000},
  editor = {James E. Tomberlin},
  pages = {249--265},
  address = {Oxford},
  topic = {desire;volition;}
  }

@article{ bratman:2003a,
  author = {Michael Bratman},
  title = {A Desire of One's Own},
  journal = {The Journal of Philosophy},
  year = {2003},
  volume = {100},
  number = {5},
  pages = {221--243},
  topic = {desire;freedom;}
  }

@article{ bratman-etal:1988a1,
  author = {Michael E. Bratman and David Israel and Martha Pollack},
  title = {Plans and Resource-Bounded Practical Reasoning},
  journal = {Computational Intelligence},
  year = {1988},
  volume = {4},
  pages = {349--355},
  contentnote = {This is the original IRMA paper.
  Idea: a plan's main purpose is to filter future
  intentions, thus keeping an agent from constantly replanning.
  Suggest an architecture for resource bounded agents w/
  compatibility filter and filter override mechanism, that allows
  means-ends reasoning. The trick is to allow replanning only via a
  filter override. Can show it is impossible to design an optimal
  agent, introduce notions of cautious agent vs. bold agent.},
  missinginfo = {number},
  rtnote = {In RHT Collection.},
  rtnote = {Reading notes on file.},
  xref = {Reprinted in cummins_r-pollock_jl:1991a, pp. 7--22.},
  topic = {foundations-of-planning;}
  }

@incollection{ bratman-etal:1988a2,
  author = {Michael E. Bratman and David Israel and Martha Pollack},
  title = {Plans and Resource-Bounded Practical Reasoning},
  booktitle = {Philosophy and {AI}: Essays at the Interface},
  publisher = {The {MIT} Press},
  year = {1991},
  editor = {Robert Cummins and John L. Pollock},
  pages = {1--22},
  address = {Cambridge, Massachusetts},
  xref = {Republication of bratman-etal:1988a1.},
  topic = {foundations-of-planning;}
  }

@incollection{ bratt-dowding:2003a,
  author = {Elizabeth Owen Bratt and John Dowding},
  title = {Syntactic and Semantic Input to Prosodic Markup in
		{C}ommand{T}alk},
  booktitle = {Working Papers of the 2003 {AAAI} Spring Symposium on
  	Natural Language Generation in Spoken and Written
	Dialogue},
  publisher = {AAAI Press},
  year = {2003},
  editor = {Reva Freedman and Charles Callaway},
  pages = {1--5},
  address = {Menlo Park, California},
  topic = {nl-generation;computational-dialogue;prosody;}
  }

@unpublished{ braude:1980a,
  author = {Stephen Braude},
  title = {Why Tenses are Not Demonstratives},
  year = {1980},
  note = {Unpublished manuscript},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {nl-tense;}
  }

@article{ braun_d:1995a,
  author = {David Braun},
  title = {What is Character?},
  journal = {Journal of Philosophical Logic},
  year = {1995},
  volume = {24},
  number = {3},
  pages = {227--240},
  topic = {demonstratives;indexicals;context;}
  }

@article{ braun_d:1996a,
  author = {David Braun},
  title = {Demonstratives and Their Linguistic Meanings},
  journal = {No\^us},
  year = {1996},
  volume = {30},
  number = {2},
  pages = {145--173},
  topic = {demonstratives;indexicals;context;}
  }

@incollection{ braun_d:2001a,
  author = {David Braun},
  title = {Indexicals},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  publisher = {Stanford University},
  editor = {Edward N. Zalta},
  url = {http://plato.stanford.edu/archives/fall2001/entries/indexicals/},
  year = {Fall 2001},
  topic = {indexicals;}
  }

@article{ braun_d:2003a,
  author = {David Braun},
  title = {Review of \emph{{B}eyond Rigidity: The Unfinished Semantic
  	Agenda of `Naming and Necessity'}, by {S}cott {S}oames},
  journal = {Linguistics and Philosophy},
  year = {2003},
  volume = {26},
  number = {3},
  pages = {367--379},
  topic = {reference;modal-logic;philosophy-of-language;proper-names;}
  }

@article{ braun_d:2005a,
  author = {David Braun},
  title = {Empty Names, Fictional Names, Mythical Names},
  journal = {No\^us},
  year = {2005},
  volume = {39},
  number = {4},
  pages = {596--631},
  topic = {reference;fiction;reference-gaps;truth-value-gaps;}
  }

@incollection{ braun_d:2006a,
  author = {David Braun},
  title = {Now You Know Who {H}ong {O}ak {Y}un Is},
  booktitle = {Philosophy of Language},
  publisher = {Blackwell Publishers},
  year = {2006},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {24--42},
  address = {Oxford},
  topic = {knowing-who;}
  }

@article{ braun_d:2008a,
  author = {David Braun},
  title = {Complex Demonstratives and Their Singular Contents},
  journal = {Linguistics and Philosophy},
  year = {2008},
  volume = {31},
  number = {1},
  pages = {57--99},
  topic = {nl-semantics;complex-demonstratives;}
  }

@article{ braun_d-sider:2007a,
  author = {David Braun and Theodore Sider},
  title = {Vague, So Untrue},
  journal = {No\^us},
  year = {2007},
  volume = {41},
  number = {2},
  pages = {133--156},
  topic = {vagueness;truth;}
  }

@article{ brauner:2002a,
  author = {Torben Bra\"uner},
  title = {Modal Logic, Truth, and the Master Modality},
  journal = {Journal of Philosophical Logic},
  year = {2002},
  volume = {31},
  number = {4},
  pages = {359--386},
  topic = {modal-logic;Davidson-semantics;truth-definitions;}
  }

@article{ brauner:2004a,
  author = {Torben Bra\"uner},
  title = {Two Natural Deduction Systems for Hybrid Logic:
  	A Comparison},
  journal = {Journal of Logic, Language, and Information},
  year = {2004},
  volume = {13},
  number = {1},
  pages = {1--23},
  topic = {combining-logics;natural-deduction;}
  }

@article{ brauner:2006a,
  author = {Torben Br\"auner},
  title = {Axioms for Classical, Intuitionistic, and Paraconsistent
  		Hybrid Logic},
  journal = {Journal of Logic, Language, and Information},
  year = {2006},
  volume = {15},
  number = {3},
  pages = {179--194},
  topic = {hybrid-modal-logics;intuitionistic-logic;paraconsistency;}
  }

@incollection{ brauner-ghilardi:2006a,
  author = {Torben Br\"auner and Silvio Ghilardi},
  title = {First-Order Modal Logic},
  booktitle = {Handbook of Modal Logic},
  year = {2006},
  editor = {Patrick Blackburn and Johan van Benthem and Frank Wolter},
  pages = {549--620},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {modal-logic;first-order-modal-logic;counterpart-theory;
  		quantifying-in-modality;}
  }

@book{ brazdil-konolige:1990a,
  editor = {Pavel B. Brazdil and Kurt Konolige},
  title = {Machine Learning, Meta-Reasoning, and Logics},
  publisher = {Kluwer Academic Publishers},
  year = {1990},
  address = {Boston},
  ISBN = {0792390474},
  rtnote = {UMich Media Union Library, Q 335 .M181 1990.},
  topic = {machine-learning;logic-in-AI;}
 }

@book{ brazil-etal:1980a,
  author = {D. Brazil and M. Coulthard and C. Johns},
  title = {Discourse Intonation and Language Teaching},
  publisher = {Longman},
  year = {1980},
  address = {London},
  missinginfo = {A's 1st name.},
  topic = {discourse;intonation;pragmatics;}
 }

@article{ braziunas-boutilier:2008a,
  author = {Darius Braziunas and Craig Boutilier},
  title = {Elicitation and Factored Utilities},
  journal = {The {AI} Magazine},
  year = {2008},
  volume = {29},
  number = {4},
  pages = {79--92},
  topic = {reasoning-about-preferences;preference-elicitation;}
  }

@incollection{ bredenkamp-etal:1997a,
  author = {Andres Bredenkamp and Louisa Sadler and Andrew
       		Spencer},
  title = {Investigating Argument Structure: The {R}ussian
		Nominalization Database},
  booktitle = {Linguistic Databases},
  publisher = {{CSLI} Publications},
  year = {1997},
  editor = {John Nerbonne},
  pages = {137--159},
  address = {Stanford, California},
  topic = {corpus-linguistics;argument-structure;Russian-language;}
  }

@article{ bredeweg-forbus:2003a,
  author = {Bert Bredeweg and Ken Forbus},
  title = {Qualitative Modeling in Education},
  journal = {The {AI} Magazine},
  year = {2003},
  volume = {24},
  number = {4},
  pages = {35--46},
  topic = {qualitative-reasoning;intelligent-tutoring;}
  }

@article{ bredewig-struss:2003a,
  author = {Burt Bredewig and Peter Struss},
  title = {Current Topics in Qualitative Reasoning},
  journal = {The {AI} Magazine},
  year = {2003},
  volume = {24},
  number = {4},
  pages = {13--16},
  topic = {qualitative-reasoning;}
  }

@inproceedings{ breese-fehling:1990a,
  author = {John S. Breese and Michael R. Fehling},
  title = {Control of Problem Solving: Principles and Architecture},
  booktitle = {Uncertainty in Artificial Intelligence 4},
  year = {1990},
  editor = {Ross D. Shachter and T.S.Levitt and J. Lemmer and L.N. Kanal},
  pages = {59--68},
  publisher = {Elsevier Science Publishers},
  address = {Amsterdam},
  topic = {decision-theoretic-planning;decision-theoretic-reasoning;}
  }

@inproceedings{ breese-horvitz:1990a,
 author = {John S. Breese and Eric J. Horvitz},
 title = {Ideal Reformulation of Belief Networks},
 booktitle = {Proceedings of the Sixth Conference on
			Uncertainty in Artificial Intelligence},
 year = {1990},
 pages = {64--72},
 month = {July},
 topic = {Bayesian-networks;}
 }

@incollection{ breheny:2003a,
  author = {Richard Breheny},
  title = {A Lexical Account of Implicit (Bound) Contextual
  		Dependence},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XIII}},
  publisher = {Cornell University},
  year = {2003},
  editor = {Robert B. Young and Yuping Zhou},
  pages = {55--72},
  address = {Ithaca, New York},
  topic = {nl-semantics;context;nl-quantifiers;}
  }

@book{ bremer:2005a,
  author = {Manuel Bremer},
  title = {An Introduction to Paraconsistent Logics},
  publisher = {Peter Lang},
  year = {2005},
  address = {Frankfurt},
  xref = {Review: mcguiness_cn:2005a.},
  topic = {paraconsistency;relevance-logic;}
 }

@incollection{ bremermann:1967a,
  author = {H.J. Bremermann},
  title = {Quantifiable Aspects of Goal-Seeking
  	Self-Organizing Systems},
  booktitle = {Progress in Theoretical Biology, Volume 1},
  publisher = {Academic Press},
  year = {1967},
  editor = {Fred M. Snell},
  pages = {59--77},
  address = {New York},
  rtnote = {UMich Science  QH 301 .P79},
  topic = {Bremmermann's-limit;}
  }

@incollection{ brennan_a-lo_ys:2008a,
  author = {Andrew Brennan and Yeuk-Sze Lo},
  title = {Environmental Ethics},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  publisher = {Stanford University},
  editor = {Edward N. Zalta},
  url =	{http://plato.stanford.edu/archives/spr2008/entries/ethics-environmental/},
  year = {Spring 2008},
  topic = {environmental-ethics;}
  }

@inproceedings{ brennan_se:1996a,
  author = {Susan E. Brennan},
  title = {Lexical Entrainment in Spontaneous Dialog},
  booktitle = {International Symposium on Spoken Dialog},
  year = {1996},
  pages = {41--44},
  publisher = {Acoustical Society of Japan},
  missinginfo = {author,  address},
  rtnote = {In RHT collection.},
  topic = {discourse;entrainment;}
  }

@incollection{ brennan_se:1997a,
  author = {Susan E. Brennan},
  title = {Centering as a Psychological Resource
       		for Achieving Joint Reference in Spontaneous Discourse},
  booktitle = {Centering Theory in Discourse},
  publisher = {Oxford University Press},
  year = {1997},
  editor = {Marilyn A. Walker and Arivind K. Joshi and Ellen Prince},
  pages = {227--249},
  address = {Oxford},
  topic = {anaphora-resolution;discourse;pragmatics;centering;
  	psychology-of-discourse;}
  }

@incollection{ brennan_se:2000a,
  author = {Susan E. Brennan},
  title = {The Vocabulary Problem in Spoken Language Systems},
  booktitle = {Automatic Spoken Dialog Systems},
  publisher = {The {MIT} Press},
  year = {2000},
  editor = {Susann Luperfoy},
  address = {Cambridge, Massachusetts},
  missinginfo = {pages},
  topic = {computational-dialogue;lexical-selection;entrainment;}
  }

@incollection{ brennan_se:2002a,
  author = {Susan E. Brennan},
  title = {Audience Design and Discourse Processes: Do
     		Speakers and Addressees},
  booktitle = {{EDILOG} 2002: Proceedings of the Sixth Workshop on the
  	Semantics and Pragmatics of Dialogue},
  publisher = {Cognitive Science Centre, University of Edinburgh},
  year = {2002},
  editor = {Johan Bos and Mary Ellen Foster and Colin Mathesin},
  pages = {1},
  address = {Edinburgh},
  topic = {entrainment;psychology-of-discourse;}
  }

@article{ brennan_se-clark_hh:1996a,
  author = {Susan E. Brennan and Herbert H. Clark},
  title = {Conceptual Pacts and Lexical Choice in Conversation},
  journal = {Journal of Experimental Psychology: Learning, Memory
  	and Cognition},
  year = {1996},
  volume = {22},
  number = {6},
  pages = {1482--1493},
  topic = {lexical-choice;pragmatics;entrainment;psychology-of-discourse;}
  }

@book{ brennan_se-etal:1999a,
  editor = {Susan E. Brennan and Alain Giboin and David R. Traum},
  title = {Working Papers of the {AAAI} Fall Symposium on
  	Psychological Models of Communication in Collaborative
	Systems},
  publisher = {American Association for Artificial Intelligence},
  year = {1999},
  address = {Menlo Park, California},
  contentnote = {TC:
	1. David Albritton and Johanna D. Moore, "Discourse Cues
			in Narrative Text: Using Production to Predict
			Conversation", pp. 1--8
	2. A.H. Anderson and J. Mullin and E. Katsavras and R. McEwan
			and E. Grattan and P. Brundell, "Understanding
			Multiparty Multimedia Interactions", pp. 9--16
	3. Rainer Bromme and Matthias N\"uckles and Riklef Rambow,
			"Adaptivity and Anticipation in Expert-Laypeople
			Communication", pp. 17--24
	4. Janet E. Cahn and Susan E. Brennan, "A Psychological
			Model of Grounding and Repair in Dialog", pp. 25--33
	5. Justine Cassell and Matthew Stone, "Living Hand to Mouth:
			Psychological Theories about Speech and Gesture in
			Interactive Dialogue Systems", pp. 34--42
	6. Herbert H. Clark, "How Do Real People Communicate with
			Virtual Partners?", pp. 43--47
	7. Mark G. Core and Lenhart K. Schubert, "A Model of Speech
			Repairs and Other Disruptions", pp. 48--53
	8. Patrick G.T. Healey, "Accounting for Communication:
			Estimating Effort, Transparency and Coherence",
			pp. 54--60
	9. Jean-Claude Martin, "{TYCOON}, Six Primitive Types of
			Cooperation for Observing, Estimating, and Specifying
			Cooperations", pp. 61--66
       10. Michael Matessa and John Anderson, Towards an {ACT-R} Model
                        of Communication in Problem Solving", pp. 67--72
       11. Andrew Monk, "Participatory Status in Electronically Mediated
			Collaborative Work", pp. 73--80
       12. Eamonn O'Neill and Peter Johnson, "Task Knowledge Structures
			and the Design of Collaborative Systems", pp. 81--84
       13. Tim Paek and Eric Horvitz, "Uncertainty, Utility, and
			Misunderstanding: A Decision-Theoretic Perspective
			on Grounding in Conversational Systems", pp. 85--92
       14. Donald Perlis and Khemdut Purang and Darsana Purushothaman and
			Carl Anderson and David R. Traum, "Modeling Time and
			Meta-Reasoning in Dialogue via Inductive Logic",
			pp. 93--99.
       15. Charles Rich and Candace L. Sidner, "{COLLAGEN}: Project
			Summary and Discussion Questions", pp. 100--107
       16. Michael F. Schober and Frederic G. Conrad and Jonathan E.
			Bloom, "Enhancing Collaboration in
			Computer-Administered
			Survey Interviews", pp. 108--115
       17. Amy Soller and Alan Lesgold and Frank Linton and Brad
			Goodwin, "What Makes Peer Interaction Effective?
			Modeling Effective Communication in an Intelligent
			CSCL", pp. 116--124
       18. David R. Traum, "Computational Models of Grounding in
			Collaborative Systems", pp. 124--131
       19. Teresa Zollo, "A study of Human Dialogue Strategies in
			the presence of Speech Recognition Errors",
			pp. 132--139
	},
  rtnote = {In RHT collection.  ACL Shelves.},
  topic = {discourse;collaboration;}
 }

@book{ brennenstuhl:1982a,
  author = {Waltraud Brennenstuhl},
  title = {Control and Ability: Towards a Biocybernetics of Language},
  publisher = {J. Benjamins Pub. Co.},
  year = {1982},
  address = {Amsterdam},
  ISBN = {9027225222 (pbk.)},
  rtnote = {UMich Undergraduate, Hm 131 .G4351 1996},
  topic = {ability;}
 }

@unpublished{ brennenstuhl:1983a,
  author = {Waltrund Brennenstuhl},
  title = {A Door's Closing---A Contribution to the
  	Semantics of Tense and Aspect},
  year = {1974},
  note = {Unpublished manuscript, Institut f\"ur Linguistik,
		Technische Universit\"at Berlin},
  rtnote = {In RHT collection.},
  xref = {First sections overlap with brennenstuhl:1983b.},
  topic = {vagueness;tense-aspect;}
  }

@incollection{ brennenstuhl:1983b,
  author = {Waltrund Brennenstuhl},
  title = {A Door's Closing---A Contribution to the Vagueness
  	Semantics of Tense and Aspect},
  booktitle = {Approaching Vagueness},
  publisher = {North-Holland},
  year = {1983},
  editor = {Thomas T. Ballmer and Manfred Pinkal},
  pages = {293--316},
  address = {Amsterdam},
  rtnote = {In RHT collection.},
  topic = {vagueness;tense-aspect;}
  }

@book{ brent:1996a,
  author = {Michael R. Brent},
  title = {Computational Approaches to Language Generation},
  publisher = {The {MIT} Press},
  year = {1996},
  address = {Cambridge, Massachusetts},
  topic = {machine-language-learning;L1-acquisition;}
 }

@book{ brent:1997a,
  editor = {Michael R. Brent},
  title = {Computational Approaches to Language Acquisition},
  publisher = {The {MIT} Press},
  year = {1997},
  address = {Cambridge, Massachusetts},
  ISBN = {0262522292},
  xref = {Review: kanazawa:2004a.},
  topic = {machinep-learning;L1-acquisition;}
 }

@article{ bresnan:1970a,
  author = {Joan W. Bresnan},
  title = {On Complementizers toward a Syntactic Theory of Complement
  	Types},
  journal = {Foundations of Language},
  year = {1970},
  volume = {6},
  pages = {297--321},
  missinginfo = {number},
  topic = {nl-syntax;complementation;}
  }

@article{ bresnan:1972a,
  author = {Joan Bresnan},
  title = {Stress and Syntax: A Reply},
  journal = {Language},
  year = {1972},
  volume = {48},
  pages = {326--342},
  missinginfo = {number},
  topic = {s-topic;pragmatics;}
  }

@article{ bresnan:1975a,
  author = {Joan Bresnan},
  title = {Comparative Deletion and Constraints on Transformations},
  journal = {Linguistic Analysis},
  year = {1975},
  volume = {1},
  number = {1},
  pages = {25--74},
  rtnote = {In RHT collection.},
  topic = {nl-syntax;comparative-constructions;}
  }

@article{ bresnan:1976a,
  author = {Joan Bresnan},
  title = {Evidence for a Theory of Unbounded Transformations},
  journal = {Linguistic Analysis},
  year = {1976},
  volume = {2},
  number = {4},
  pages = {353--393},
  rtnote = {In RHT collection.},
  topic = {nl-syntax;long-distance-dependencies;}
  }

@incollection{ bresnan:1977a,
  author = {Joan Bresnan},
  title = {Variables in the Theory of Transformations Part {I}:
  	Bounded Versus Unbounded Transformations},
  booktitle = {Formal Syntax},
  publisher = {Academic Press},
  year = {1977},
  editor = {Peter W. Culicover and Thomas Wasow and Adrian Akmajian},
  pages = {157--196},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {transformational-grammar;}
  }

@incollection{ bresnan:1977b,
  author = {Joan Bresnan},
  title = {Transformations and Categories in Syntax},
  booktitle = {Basic Problems in Methodology and Linguistics},
  publisher = {D. Reidel Publishing Co.},
  year = {1977},
  editor = {Robert E. Butts and Jaakko Hintikka},
  pages = {261--282},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {nl-syntax;syntactic-categories;LF;}
  }

@incollection{ bresnan:1978a,
  author = {Joan Bresnan},
  title = {A Realistic Transformational Grammar},
  booktitle = {Linguistic Theory and Psychological Reality},
  publisher = {The {MIT} Press},
  year = {1978},
  editor = {Morris Halle and Joan Bresnan and George A. Miller},
  pages = {1--59},
  address = {Cambridge, Massachusetts},
  topic = {transformational-grammar;nl-syntax;psychological-reality;}
  }

@book{ bresnan:1978b,
  author = {Joan Bresnan},
  title = {Further Classes of Adjectives},
  publisher = {Indiana University Linguistics Club},
  year = {1978},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {transformational-grammar;}
 }

@techreport{ bresnan:1980a,
  author = {Joan Bresnan},
  title = {The Passive in Lexical Theory},
  institution = {Center for Cognitive Science, Massachusetts Institute of
  	Technology},
  number = {Occasional Paper No. 7},
  year = {1980},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a guess},
  topic = {passive;LFG;}
  }

@article{ bresnan:1981a,
  author = {Joan Bresnan},
  title = {An Approach to Universal Grammar and the Mental
  	Representation of Language},
  journal = {Cognition},
  year = {1981},
  volume = {10},
  pages = {39--52},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {foundations-of-universal-grammar;nl-syntax-and-cognition;}
  }

@book{ bresnan:1982a,
  editor = {Joan Bresnan},
  title = {The Mental Representation of Grammatical Relations},
  publisher = {The {MIT} Press},
  year = {1982},
  address = {Cambridge, Massachusetts},
  xref = {Review: schachter_p:1985a.},
  ISBN = {0262021587},
  rtnote = {UMich Graduate Library P158.6 .M461 1982.},
  topic = {grammatical-relations;nl-syntax;LFG;}
 }

@book{ bresnan:2001a,
  author = {Joan Bresnan},
  title = {Lexical-Functional Syntax},
  publisher = {Blackwell},
  year = {2001},
  address = {Oxford},
  ISBN = {0631209735},
  rtnote = {UMich Graduate Library, P 291 .B7261 2001.},
  topic = {LFG;}
 }

@incollection{ bresnan-mchombo:1987a,
  author = {Joan Bresnan and Sam A. Mchombo},
  title = {Topic, Pronoun, and Agreement in Chiche\^wa},
  booktitle = {Working Papers in Grammatical Theory and Discourse
  	Structure},
  publisher = {Center for the Study of Language and Information},
  year = {1987},
  editor = {Masayo Iida Stephen Wechsler and Draga Zec},
  pages = {1--59},
  address = {Stanford, California},
  contentnote = {This is a detailed attempt to account for a language
  	in which topic plays a prominent role in the grammar.},
  topic = {s-topic;pragmatics;}
  }

@article{ bressan:1974a,
  author = {Aldo Bressan},
  title = {On the Semantics for the Language {ML}$^{\nu}$ Based
  	on a Type System, and those for the Type-Free Language
	{ML}$^{\infty}*$},
  journal = {Journal of Philosophical Logic},
  year = {1974},
  volume = {3},
  number = {3},
  pages = {171--194},
  topic = {intensional-logic;}
  }

@article{ bressan:1993a,
  author = {Aldo Bressan},
  title = {On {G}upta's Book {\it {T}he Logic of Common Nouns}},
  journal = {Journal of Philosophical Logic},
  year = {1993},
  volume = {22},
  number = {4},
  pages = {335--383},
  xref = {Review of: gupta_a1:1980a.},
  topic = {semantics-of-common-nouns;}
  }

@inproceedings{ bretier-etal:1995a,
  author = {F. Bretier and F. Panaget and M.D. Sadek},
  title = {Integrating Linguistic Capabilities into the Formal Model
  	of a Rational Agent: Application to Cooperative Spoken
	Dialogue},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Rational Agency: Concepts, Theories, Models, and Applications},
  year = {1995},
  editor = {Michael Fehling},
  pages = {15--14},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {communications-modeling;}
  }

@inproceedings{ bretier-sadek:1995a,
  author = {F. Bretier and M.D. Sadek},
  title = {Designing and Implementing a Theory of Rational
  	Interaction to be the Core of a Cooperative Spoken
	Dialogue System},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Rational Agency: Concepts, Theories, Models, and Applications},
  year = {1995},
  editor = {Michael Fehling},
  pages = {10--19},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {communications-modeling;cooperation;}
  }

@article{ brew:2001a,
  author = {Chris Brew},
  title = {Review of \emph{{L}exicon Development for Speech and Language
  	Processing}, edited by {F}rank {V}an {E}ynde and {D}affyd
	{G}ibbon},
  journal = {Computational Linguistics},
  year = {2001},
  volume = {27},
  number = {3},
  pages = {459--461},
  xref = {Review of: vaneynde-gibbon:2000a.},
  topic = {computational-lexicography;}
  }

@article{ brew:2003a,
  author = {Chris Brew},
  title = {Review of \emph{{T}he {C}ambridge Grammar of the {E}nglish
  	Language}, by {R}odney {H}uddleston and {G}eoffrey {K}.
	{P}ullum},
  journal = {Computational Linguistics},
  year = {2003},
  volume = {29},
  number = {1},
  pages = {144--147},
  xref = {Review of: huddleston-pullum:2002a.},
  topic = {reference-grammars;English-language;}
  }

@article{ brewer:2002a,
  author = {Talbot Brewer},
  title = {Maxims and Virtues},
  journal = {The Philosophical Review},
  year = {2002},
  volume = {111},
  number = {4},
  pages = {539--572},
  topic = {maxims;Kant;ethics;practical-reasoning;}
  }

@incollection{ brewka:1987a,
  author = {Gerhard Brewka},
  title = {The Logic of Frames With Exceptions},
  booktitle = {The Frame Problem in Artificial Intelligence: Proceedings
  	of the 1987 Workshop},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Frank M. Brown},
  pages = {77--87},
  address = {Los Altos, California},
  topic = {kr;inheritance-theory;specificity;}
  }

@inproceedings{ brewka:1987b,
  author = {Gerhard Brewka},
  title = {The Logic of Inheritance in Frame Systems},
  booktitle = {Proceedings of the Tenth International Joint
  	Conference on Artificial Intelligence},
  year = {1987},
  pages = {483--488},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  missinginfo = {editor},
  rtnote = {In RHT collection.},
  topic = {inheritance-theory;frames;}
 }

@inproceedings{ brewka:1989a,
  author = {Gerhard Brewka},
  title = {Preferred Subtheories: An Extended Logical Theory for
  	Default Reasoning},
  booktitle = {Proceedings of the Eleventh International Joint
  	Conference on Artificial Intelligence},
  year = {1989},
  editor = {N.S. Sridharan},
  pages = {1043--1048},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  topic = {nonmonotonic-logic;}
  }

@incollection{ brewka:1991a,
  author = {Gerhard Brewka},
  title = {Assertional Default Theories},
  booktitle = {Symbolic and Quantitative Approaches for Uncertainty:
  	Proceedings of the {E}uropean Conference {ECSQAU}, Marseille,
	France, October 1991},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Rudolf Kruse and Pierre Siegel},
  pages = {120--124},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {default-logic;}
  }

@book{ brewka:1991b,
  author = {Gerhard Brewka},
  title = {Nonmonotonic Reasoning: Logical Foundations of Commonsense},
  publisher = {Cambridge University Press},
  year = {1991},
  address = {Cambridge, England},
  rtnote = {In RHT collection.  AI Shelves.},
  topic = {nonmonotonic-logic;nonmonotonic-reasoning;}
 }

@article{ brewka:1991c,
  author = {Gerhard Brewka},
  title = {Cumulative Default Logic: in Defense of Nonmonotonic
  	Inference Rules},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {50},
  number = {2},
  pages = {183--205},
  topic = {default-logic;}
  }

@inproceedings{ brewka:1994a,
  author = {Gerhardt Brewka},
  title = {Reasoning about Priorities in Default Logic},
  booktitle = {Proceedings of the Twelfth National Conference on
              Artificial Intelligence},
  year = {1994},
  editor = {Barbara Hayes-Roth and Richard Korf},
  pages = {940--945},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {kr;nonmonotonic-logic;nonmonotonic-prioritization;kr-course;
	default-logic;}
  }

@inproceedings{ brewka:1994b,
  author = {Gerhard Brewka},
  title = {A Reconstruction of {R}escher's Theory of Formal Disputation
  	Based on Default Logic},
  booktitle = {Proceedings of the Eleventh European Conference on
  	Artificial Intelligence},
  year = {1994},
  editor = {A. Cohn},
  pages = {366--370},
  publisher = {John Wiley and Sons},
  address = {New York},
  rtnote = {In RHT collection.},
  missinginfo = {Editor's 1st name},
  topic = {nonmonotonic-reasoning;argumentation;}
  }

@article{ brewka:1996a,
  author = {Gerhardt Brewka},
  title = {Well-Founded Semantics for Extended Logic Programs with
  	Dynamic Preferences},
  journal = {Journal of Artificial Intelligence Research},
  year = {1996},
  volume = {4},
  pages = {19--36},
  contentnote = {Prioritized reasoning in logic programs with two
  	negations.  Legal example.},
  topic = {logic-programming;nonmonotonic-prioritization;
		extended-logic-programming;}
  }

@book{ brewka:1996b,
  editor = {Gerhard Brewka},
  title = {Principles of Knowledge Representation},
  publisher = {{CSLI} Publications},
  year = {1996},
  address = {Stanford, California},
  contentnote = {TC:
  	1.  Didier Dubois and Henri Prade, "Non-standard
		Theories of Uncertainty in Plausible
		Reasoning", pp. 1--32
  	2.  Judea Pearl and Mois\'es Goldszmidt, "Probabilistic
		foundations of reasoning with conditionals", pp. 33--68
  	3.  Vladimir Lifschitz, "Foundations of Logic
		Programming", pp. 69--127
  	4.  Kurt Konolige, "Abductive Theories in Artificial
		Intelligence", pp. 129--152
  	5.  Stefan Wrobel, "Inductive Logic Programming", pp. 153--189
  	6.  Francesco M. Donini and Maurizio Lenzerini and
		Daniele Nardi and Andrea Schaerf, "Reasoning
		in Description Logics", pp. 191--236
  	7.  Bernhard Nebel, "Artificial Intelligence: A Computational
		Perspective", pp. 237--266
  	8.  Oskar Dressler and Peter Strauss, "The Consistency-Based
		Approach to Automated Diagnosis of Devices", pp. 267--311
  	},
  ISBN = {1575860570},
  rtnote = {UMich Graduate Library, BD 161 .P97 1996.},
  topic = {kr;kr-course;kr-survey;}
 }

@article{ brewka:2001a,
  author = {Gerhard Brewka},
  title = {Representing Meta-Knowledge in {P}oole Systems},
  journal = {Studia Logica},
  year = {2001},
  volume = {67},
  number = {2},
  pages = {153--165},
  topic = {nonmonotonic-reasoning;metareasoning;}
  }

@inproceedings{ brewka:2002a1,
  author = {Gerard Brewka},
  title = {Logic Programming with Ordered Disjunction},
  booktitle = {Proceedings of the Eighteenth National Conference on
              Artificial Intelligence},
  year = {2002},
  editor = {Rina Dechter and Michael Kearns and Richard S. Sutton},
  pages = {100--105},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {disjunctive-logic-programming;nonmonotonic-logic;}
  }

@incollection{ brewka:2002a2,
  author = {Gerhard Brewka},
  title = {Logic Programming with Ordered Disjunction},
  booktitle = {Preferences in {AI} and {CP}: Symbolic Approaches},
  publisher = {AAAI Press},
  year = {2002},
  editor = {Ulrich Junker},
  pages = {1--8},
  address = {Menlo Park, California},
  topic = {disjunctive-logic-programming;nonmonotonic-logic;}
  }

@incollection{ brewka:2004a,
  author = {Gerhard Brewka},
  title = {Complex Preferences for Answer Set Optimization},
  booktitle = {{KR}2004: Principles of Knowledge Representation and
  		Reasoning},
  publisher = {AAAI Press},
  year = {2004},
  editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams},
  pages = {213--223},
  address = {Menlo Park, California},
  topic = {qualitative-utility;preference-representation;
  		answer-sets;}
  }

@incollection{ brewka-eiter:1998a,
  author = {Gerhard Brewka and Thomas Eiter},
  title = {Preferred Answer Sets for Extended Logic Programs},
  booktitle = {{KR}'98: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1998},
  editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C.
		Shapiro},
  pages = {86--97},
  address = {San Francisco, California},
  topic = {kr;logic-programming;kr-course;extended-logic-programming;}
  }

@article{ brewka-eiter:1999a,
  author = {Gerhard Brewka and Thomas Eiter},
  title = {Preferred Answer Sets for Extended Logic Programs},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {109},
  number = {1--2},
  pages = {297--356},
  topic = {nonmonotonic-reasoning;default-preferences;
  	logic-programming;extended-logic-programming;}
  }

@incollection{ brewka-eiter:2000a,
  author = {Gerhard Brewka and Thomas Eiter},
  title = {Prioritizing Default Logic},
  booktitle = {Intellectics and Computational Logic, Papers in Honor
  	of {W}olfgang {B}ibel},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Steffen H\"olldobler},
  pages = {27--45},
  address = {Dordrecht},
  topic = {default-logic;nonmonotonic-logic;nonmonotonic-prioritization;}
  }

@incollection{ brewka-etal:1991a,
  author = {Gerhard Brewka and David C. Makinson and Karl Schlechta},
  title = {Cumulative Inference Relations for {JTMS} and
  	Logic Programming},
  booktitle = {Nonmonotonic and Inductive Logics},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {J\"urgen Dix and Klaus P. Jantke and P.H. Schmidt},
  pages = {1--12},
  address = {Berlin},
  missinginfo = {E's 1st name.},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-logic;truth-maintenance;stable-models;cumulativity;}
  }

@book{ brewka-etal:1993a,
  editor = {Gerhardt Brewka and Klaus P. Jantke and P.H. Schmidt},
  title = {Nonmonotonic and Inductive Logics: Proceedings of the
  	Second International Workshop, Reinhardsbrunn Castle,
	Germany, December 2--6, 1991.},
  publisher = {Springer-Verlag},
  year = {1993},
  address = {Berlin},
  missinginfo = {E's 1st name},
  ISBN = {3-540-56433-0},
  contentnote = {Blurb: The volume opens with an extended version of
    a tutorial on nonmonotonic logic by G.  Brewka, J. Dix, and K.
    Konolige.  Fifteen selected papers follow, on a variety of
    topics.  The majority of papers belong either to the area of
    nonmonotonic reasoning or to the field of inductive inference,
    but some papers integrate research from both areas.  The first
    workshop in this series was held at the University of Karlsruhe
    in December 1990 and its proceedings were published as Lecture
    Notes in Artificial Intelligence Volume 543.
   },
  topic = {nonmonotonic-logic;induction;inductive-inference;}
  }

@book{ brewka-etal:1997a,
  author = {Gerhard Brewka and J\"urgen Dix and Kurt Konolige},
  title = {Nonmonotonic Reasoning: An Overview},
  publisher = {CSLI Publications},
  year = {1997},
  address = {Stanford},
  rtnote = {In RHT collection.  AI Books.},
  topic = {nonmonotonic-logic;nonmonotonic-reasoning;}
 }

@book{ brewka-etal:1997b,
  editor = {Gerhard Brewka and Christopher Habel and Bernhard Nebel},
  title = {Ki-97, Advances in Artificial Intelligence: 21st
  	Annual {G}erman Conference on Artificial Intelligence,
	Freiburg, Germany, September 9-12, 1997},
  publisher = {Springer-Verlag},
  year = {1997},
  address = {Berlin},
  ISBN = {3540634932 (softcover)},
  rtnote = {UMich Media Union Library, Q 334 .G4661 1997},
  topic = {AI-general;}
 }

@incollection{ brewka-etal:2002a,
  author = {Gerhard Brewka and Salem Benferhat and Daniel Le Berre},
  title = {Qualitative Choice Logic},
  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 = {158--169},
  address = {San Francisco, California},
  topic = {kr;qualitative-utility;preferences;}
  }

@article{ brewka-etal:2004a,
  author = {Gerhard Brewka and Salem Benferhat and Daniel Le Berre},
  title = {Qualitative Choice Logic},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {157},
  number = {1--2},
  pages = {203--237},
  topic = {nonmonotonic-reasoning;model-preference;}
  }

@article{ brewka-etal:2008a,
  author = {Gerhard Brewka and Ikka Niemel\"a and Miroslaw Truszcyndki},
  title = {Preferences and Nonmonotonic Reasoning},
  journal = {The {AI} Magazine},
  year = {2008},
  volume = {29},
  number = {4},
  pages = {69--78},
  topic = {reasoning-about-preferences;nonmonotonic-logic;}
  }

@inproceedings{ brewka-hertzberg:1993a,
  author = {Gerhard Brewka and  J. Hertzberg},
  title = {How to Do Things with Worlds: On Formalizing Actions
  	and Plans},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {517--532},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  topic = {action-formalisms;}
  }

@inproceedings{ brewka-konolige:1993a,
  author = {Gerhard Brewka and Kurt Konolige},
  title = {An Abductive Framework for General Logic Programs
  	and Other Nonmonotonic Systems},
  booktitle =

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib