text:
recht},
  ISBN = {0792361083},
  topic = {parsing-algorithms;nl-processing;}
 }

@incollection{ bunt-vandersloot:1996a,
  author = {Harry Bunt and K. van der Sloot},
  title = {Parsing as Dynamic Interpretation of Feature Structures},
  booktitle = {Recent Advances in Parsing Technology},
  publisher = {Kluwer Academic Publishers},
  year = {1996},
  editor = {Harry Bunt and Masaru Tomita},
  address = {Dordrecht},
  missinginfo = {pages},
  topic = {parsing-algorithms;feature-structures;}
  }

@article{ buntine:1988a,
  author = {Wray Buntine},
  title = {Generalized Subsumption and Its Applications to
  	Induction and Redundancy},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {36},
  number = {2},
  pages = {149--176},
  acontentnote = {Abstract:
     A theoretical framework and algorithms are presented that
     provide a basis for the study of induction of definite (Horn)
     clauses. These hinge on a natural extension of
     theta-subsumption that forms a strong model of generalization.
     The model allows properties of inductive search spaces to be
     considered in detail. A useful by-product of the model is a
     simple but powerful model of redundancy. Both induction and
     redundancy control are central tasks in a learning system, and,
     more broadly, in a knowledge acquisition system. The results
     also demonstrate interaction between induction, redundancy, and
     change in a system's current knowledge---with subsumption
     playing a key role.  },
  topic = {Horn-clause-abduction;indiction;machine-learning;subsumption;}
  }

@techreport{ buntine:1990a,
  author = {Wray Buntine},
  title = {Modelling Default and Likelihood Reasoning as
  	Probabilistic},
  institution = {{NASA} Ames Research Center},
  number = {FIA--90--09--11-01},
  year = {1990},
  address = {Moffett Field, California},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-reasoning;probability-semantics;}
  }

@article{ bunzl:1979a,
  author = {Martin Bunzl},
  title = {Causal Overdetermination},
  journal = {The Journal of Philosophy},
  year = {1979},
  volume = {76},
  pages = {134--150},
  missinginfo = {number},
  topic = {causality;}
  }

@article{ buraliforti:1897a,
  author = {Cesare Burali-Forti},
  title = {Una Questione sui Numeri Transfiniti},
  journal = {Reconditi del Circolo matematico di Palermo {II}},
  year = {1897},
  volume = {11},
  pages = {154--164},
  xref = {Reprinted: vanheijenoort:1967a, pp. 104-111},
  topic = {set-theory;paradoxes;}
  }

@article{ buras:2006a,
  author = {Todd Buras},
  title = {Counterpart Theory, Natural Properties, and Essentialism},
  journal = {The Journal of Philosophy},
  year = {2006},
  volume = {103},
  number = {1},
  pages = {27--50},
  topic = {counterpart-theory;essentialism;}
  }

@incollection{ burch:1992a,
  author = {Robert W. Burch},
  title = {Valential Aspects of {P}eircean Algebraic Logic},
  booktitle = {Semantic Networks in Artificial Intelligence},
  publisher = {Pergamon Press},
  year = {1992},
  editor = {Fritz Lehmann},
  pages = {665--677},
  address = {Oxford},
  topic = {CS-Peirce;history-of-logic;}
  }

@book{ burchfield:1987a,
  editor = {Robert Burchfield},
  title = {Studies in Lexicography},
  publisher = {Oxford University Press},
  year = {1987},
  address = {Oxford},
  ISBN = {0198119453},
  rtnote = {UMich Graduate Library, PE1611 .S781 1987.},
  topic = {lexiography;}
 }

@book{ burdea:1996a,
  author = {Grigore C. Burdea},
  title = {Force and Touch Feedback for Virtual Reality},
  publisher = {John Wiley and Sons},
  year = {1996},
  address = {New York},
  ISBN = {0471021415 (alk. paper)},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 B861 1996.},
  topic = {HCI;}
 }

@book{ burdea-coiffet:1994a,
  author = {Grigore Burdea and Philippe Coiffet},
  title = {Virtual Reality Technology},
  publisher = {John Wiley and Sons},
  year = {1994},
  address = {New York},
  ISBN = {0471086320},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 B8713 1994.},
  topic = {virtual-reality;}
 }

@article{ burdick:1991a,
  author = {Howard Burdick},
  title = {What was Leibniz's Problem about Relations?},
  journal = {Synth\'ese},
  year = {1991},
  volume = {88},
  number = {2},
  pages = {1--13},
  topic = {history-of-logic;history-of-philosophy;relations;Leibniz;}
  }

@incollection{ burg-vanderiet:1998a,
  author = {J.F.M. Burg and R.P. van de Riet},
  title = {{COLOR$_{\mbox{X}}$}: Using Knowledge
    		from {W}ord{N}et for Conceptual Modeling},
  booktitle = {Word{N}et: An Electronic Lexical Database},
  publisher = {The {MIT} Press},
  year = {1998},
  editor = {Christaine Fellbaum},
  pages = {353--377},
  address = {Cambridge, Massachusetts},
  topic = {wordnet-software-engineering;}
  }

@article{ burge:1972a,
  author = {Tyler Burge},
  title = {Truth and Mass Terms},
  journal = {Journal of Philosophy},
  year = {1972},
  volume = {69},
  pages = {263--282},
  missinginfo = {number},
  topic = {nl-semantics;mass-term-semantics;}
  }

@unpublished{ burge:1972b,
  author = {Tyler Burge},
  title = {A Theory of Aggregates},
  year = {1972},
  note = {Unpublished manuscript, Philosophy Department, UCLA.},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a guess.},
  topic = {mereology;nominalism;}
  }

@article{ burge:1973a1,
  author = {Tyler Burge},
  title = {Reference and Proper Names},
  journal = {The Journal of Philosophy},
  year = {1973},
  volume = {70},
  number = {14},
  pages = {425--439},
  xref = {Republication: burge:1973a2.},
  topic = {reference;semantics-of-proper-names;}
  }

@incollection{ burge:1973a2,
  author = {Tyler Burge},
  title = {Reference and Proper Names},
  booktitle = {The Logic of Grammar},
  publisher = {Dickenson Publishing Co.},
  year = {1975},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {200-- 209},
  address = {Encino, California},
  xref = {Original Publication: burge:1973a1.},
  topic = {reference;semantics-of-proper-names;}
  }

@article{ burge:1974a,
  author = {Tyler Burge},
  title = {Reference and Singular Terms},
  journal = {No\^us},
  year = {1974},
  volume = {8},
  pages = {309--325},
  topic = {reference;reference-gaps;}
  }

@article{ burge:1975a,
  author = {Tyler Burge},
  title = {Mass Terms, Count Terms, and Change},
  journal = {Synth\'ese},
  year = {1975},
  volume = {69},
  pages = {459--478},
  missinginfo = {number},
  topic = {mass-term-semantics;individuation;}
  }

@article{ burge:1975b,
  author = {Tyler Burge},
  title = {On Knowledge and Convention},
  journal = {The Philosophical Review},
  year = {1975},
  volume = {84},
  pages = {249--255},
  topic = {convention;}
  }

@article{ burge:1976a,
  author = {Tyler Burge},
  title = {Belief and Synonymy},
  journal = {The Journal of Philosophy},
  year = {1976},
  volume = {75},
  pages = {119--338},
  topic = {belief;synonymy;hyperintensionality;}
  }

@article{ burge:1977b,
  author = {Tyler Burge},
  title = {Belief De Re},
  journal = {Journal of Philosophy},
  year = {1977},
  volume = {74},
  number = {6},
  pages = {338--362},
  topic = {propositional-attitudes;reference;}
  }

@article{ burge:1979a,
  author = {Tyler Burge},
  title = {Semantical Paradox},
  journal = {Journal of Philosophy},
  year = {1979},
  volume = {76},
  missinginfo = {number, pages},
  topic = {semantic-paradoxes;}
  }

@article{ burge:1981a,
  author = {Tyler Burge},
  title = {The Liar Paradox: Tangles and Chains},
  journal = {Philosophical Studies},
  year = {1981},
  volume = {41},
  pages = {353--366},
  missinginfo = {number},
  topic = {semantic-paradoxes;}
  }

@article{ burge:1982a,
  author = {Tyler Burge},
  title = {Two Thought Experiments Reviewed},
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1982},
  volume = {23},
  number = {3},
  pages = {284--293},
  rtnote = {In RHT collection.},
  topic = {foundations-of-semantics;}
  }

@article{ burge:1984a,
  author = {Tyler Burge},
  title = {Epistemic Paradox},
  journal = {Journal of Philosophy},
  year = {1984},
  volume = {81},
  number={1},
  pages={5--29},
  topic = {surprise-examination-paradox;}
  }

@incollection{ burge:1986a,
  author = {Tyler Burge},
  title = {On {D}avidson's `Saying that'},
  booktitle = {Truth and Interpretation},
  publisher = {Blackwell Publishers},
  year = {1986},
  editor = {Ernest Lepore},
  address = {Oxford},
  missinginfo = {pages},
  topic = {indirect-discourse;propositional-attitudes;propositions
  	philosophy-of-language;}
  }

@incollection{ burge:1990a,
  author = {Tyler Burge},
  title = {Wherein is Language Social?},
  booktitle = {Propositional Attitudes: The Role of Content in Logic,
  	Language, and Mind},
  publisher = {Center for the Study of Language and Information},
  year = {1990},
  editor = {C. Anthony Anderson and Joseph Owens},
  pages = {113--130},
  address = {Stanford, California},
  topic = {foundations-of-linguistic;}
  }

@article{ burge:1993a,
  author = {Tyler Burge},
  title = {Content Preservation},
  journal = {The Philosophical Review},
  year = {1993},
  volume = {102},
  number = {4},
  pages = {457--458},
  topic = {a-priori;justification;propositional-attitudes;}
  }

@incollection{ burge:1993b,
  author = {Tyler Burge},
  title = {Mind-Body Causation and Explanatory Practice},
  booktitle = {Mental Causation},
  publisher = {Oxford University Press},
  year = {1993},
  editor = {John Heil and Alfred R. Mele},
  pages = {97--120},
  address = {Oxford},
  topic = {mind-body-problem;causality;explanation;}
  }

@incollection{ burge:1998a,
  author = {Tyler Burge},
  title = {Computer Proof, Apriori Knowledge, and Other Minds},
  booktitle = {Philosophical Perspectives 12: Language, Mind,
  	and Ontology},
  publisher = {Blackwell Publishers},
  year = {1998},
  editor = {James E. Tomberlin},
  pages = {1--37},
  address = {Oxford},
  topic = {a-priori;philosophy-of-mathematics;}
  }

@article{ burge:1999a,
  author = {Tyler Burge},
  title = {A Century of Deflation and a Moment about
  	Self-Knowledge},
  journal = {Proceedings and Addresses of the {A}merican
  	{P}hilosophical {A}ssociation},
  year = {1999},
  volume = {72},
  number = {2},
  pages = {25--46},
  topic = {introspectiono;phenomenalism;}
  }

@article{ burge:2007a,
  author = {Tyler Burge},
  title = {Predication and Truth},
  journal = {The Journal of Philosophy},
  year = {2007},
  volume = {104},
  number = {11},
  pages = {580--608},
  xref = {Review of: davidson_d:2005a},
  topic = {truth;Davidson-semantics;}
  }

@inproceedings{ burger_jd:1998a,
  author = {John D. Burger and David Palmer and Lynette Hirschman},
  title = {Named Entity Scoring for Speech Input},
  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 = {201--205},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {speech-recognition;named-entity-tagging;}
}

@book{ burger_w-bhanu:1992a,
  author = {Wilhelm Burger and Bir Bhanu},
  title = {Qualitative Motion Planning},
  publisher = {Kluwer Academic Publishers},
  year = {1992},
  address = {Dordrecht},
  ISBN = {0792392515},
  rtnote = {UMich Media Union Library Call No: TJ 211.4 .B871 1992},
  topic = {motion-planning;}
 }

@article{ burgess_hs:1990b,
  author = {H.A. Burgess},
  title = {The Sorites Paradox and Higher-Order Vagueness},
  journal = {Synthese},
  year = {1990},
  volume = {85},
  pages = {417--474},
  topic = {vagueness;sorites-paradox;}
  }

@article{ burgess_ja:1989a,
  author = {John A. Burgess},
  title = {Vague Identity: {E}vans Misrepresented},
  journal = {Analysis},
  year = {1989},
  volume = {49},
  pages = {112--119},
  missinginfo = {number},
  topic = {vagueness;identity;}
  }

@article{ burgess_ja:1990a,
  author = {John A. Burgess},
  title = {The Sorites Paradox and Higher-Order Vagueness},
  journal = {Synth\'ese},
  year = {1990},
  volume = {84},
  number = {3},
  pages = {417--474},
  topic = {vagueness;sorites-paradox;}
  }

@article{ burgess_ja:1990b,
  author = {John A. Burgess},
  title = {Vague Objects and Indefinite Identity},
  journal = {Philosophical Studies},
  year = {1990},
  volume = {59},
  pages = {253--287},
  missinginfo = {number},
  topic = {vagueness;sorites-paradox;}
  }

@article{ burgess_ja:1997a,
  author = {John A. Burgess},
  title = {Supervaluations and the Propositional Attitude Constraint},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {26},
  number = {1},
  pages = {103--119},
  rtnote = {This is not the John Burgess at Princeton.},
  topic = {supervaluations;foundations-of-semantics;}
  }

@article{ burgess_jp:1979a,
  author = {John P. Burgess},
  title = {Logic and Time},
  journal = {Journal of Symbolic Logic},
  year = {1979},
  volume = {44},
  pages = {566--582},
  rtnote = {In RHT collection.},
  rtnote = {tmix-project;},
  topic = {temporal-logic;}
  }

@article{ burgess_jp:1979b,
  author = {John P. Burgess},
  title = {The Unreal Future},
  journal = {Theoria},
  year = {1978},
  volume = {44},
  pages = {157--179},
  rtnote = {In RHT collection.},
  topic = {branching-time;(in)determinism;}
  }

@unpublished{ burgess_jp:1980a,
  author = {John P. Burgess},
  title = {Decidability for Branching Time},
  year = {1980},
  note = {Unpublished manuscript, Princeton University.},
  rtnote = {In RHT collection.  This has appeared in Studia Logica.},
  missinginfo = {Year is a guess.},
  topic = {branching-time;}
  }

@article{ burgess_jp:1980b,
  author = {John P. Burgess},
  title = {Decidability and Branching Time},
  journal = {Studia Logica},
  year = {1980},
  volume = {9},
  pages = {203--218},
  missinginfo = {number},
  rtnote = {tmix-project;},
  topic = {decidability;branching-time;}
  }

@article{ burgess_jp:1981a,
  author = {John P. Burgess},
  title = {The Completeness of Intuitionistic Propositional Calculus
  	for Its Intended Interpretation},
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1981},
  volume = {22},
  number = {1},
  pages = {17--28},
  rtnote = {In RHT collection.},
  topic = {intuitionistic-logic;}
  }

@article{ burgess_jp:1981b,
  author = {John P. Burgess},
  title = {Relevance: A Fallacy?},
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1981},
  volume = {22},
  number = {2},
  pages = {97--104},
  rtnote = {In RHT collection.},
  topic = {relevance-logic;}
  }

@article{ burgess_jp:1981c,
  author = {John P. Burgess},
  title = {Quick Completeness Proofs for Some Logics of
  	Conditionals},
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1981},
  volume = {22},
  number = {1},
  pages = {76--84},
  rtnote = {In RHT collection.},
  topic = {conditionals;modal-logics;completeness-proofs;}
  }

@article{ burgess_jp:1982b,
  author = {John P. Burgess},
  title = {Axioms for Tense Logic {I}: `Since' and `Until'\, },
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1982},
  volume = {23},
  number = {4},
  pages = {367--383},
  rtnote = {In RHT collection.},
  topic = {temporal-logic;}
  }

@article{ burgess_jp:1984a,
  author = {John P. Burgess},
  title = {Beyond Tense Logic},
  journal = {Journal of Philosophical Logic},
  year = {1984},
  volume = {13},
  number = {3},
  pages = {235--248},
  note = {Review of {The Logic of Time}, by {J}ohan van {B}enthem.},
  xref = {Review of vanbenthem:1983a.},
  topic = {temporal-logic;}
  }

@article{ burgess_jp:1984b,
  author = {John P. Burgess},
  title = {Synthetic Mechanics},
  journal = {Journal of Philosophical Logic},
  year = {1984},
  volume = {13},
  number = {4},
  pages = {379--395},
  topic = {nominalism;formalizations-of-physics;logic-and-ontology;
		formalizations-of-geometry;}
  }

@incollection{ burgess_jp:1984c,
  author = {John P. Burgess},
  title = {Basic Tense Logic},
  booktitle = {Handbook of Philosophical Logic, Volume {II}:
  	Extensions of Classical Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1984},
  editor = {Dov Gabbay and Franz Guenther},
  pages = {89--133},
  address = {Dordrecht},
  topic = {temporal-logic;}
 }

@article{ burgess_jp:1986a,
  author = {John P. Burgess},
  title = {The Truth is Never Simple},
  journal = {Journal of Symbolic Logic},
  year = {1986},
  volume = {51},
  number = {3},
  missinginfo = {pages},
  topic = {truth;semantic-hierarchies;}
  }

@article{ burgess_jp:1991a,
  author = {John P. Burgess},
  title = {Synthetic Mechanics Revisited},
  journal = {Journal of Philosophical Logic},
  year = {1991},
  volume = {20},
  number = {2},
  pages = {121--130},
  topic = {nominalism;formalizations-of-physics;logic-and-ontology;
		formalizations-of-geometry;}
  }

@article{ burgess_jp:2002a,
  author = {John P. Burgess},
  title = {Review of \emph{{T}ruth and the Absence of Fact}, by
  	{H}artry {F}ield},
  journal = {The Philosophical Review},
  year = {2000},
  volume = {111},
  number = {4},
  pages = {603--604},
  xref = {Review of: field:2001a},
  topic = {foundations-of-semantics;truth;}
  }

@book{ burgess_jp:2005a,
  author = {John P. Burgess},
  title = {Fixing {F}rege},
  publisher = {Princeton University Press},
  year = {2005},
  address = {Princetin, New Jersey},
  ISBN = {0691122318},
  sref = {Review: parsons_c:2009a},
  topic = {Frege;logicism;}
 }

@book{ burgess_jp-rosen_g:1997a,
  author = {John P. Burgess and Gideon Rosen},
  title = {A Subject With No Object: Strategies for Nominalistic
  	Interpretation of Mathematics},
  publisher = {Oxford University Press},
  year = {1997},
  address = {Oxford},
  rtnote = {In RHT collection.  Phil Sci Shelves.},
  xref = {Review: colyvan:2001a.},
  topic = {nominalism;nominalistic-semantics;philosophy-of-mathematics;}
 }

@inproceedings{ burgess_s-dambrosio:1996a,
  author = {Scott Burgess and Bruce D'Ambrision},
  title = {An Efficient Approach for Finding the {MPE} in
  	Belief Networks},
  booktitle = {Proceedings of the 12th Conference on Uncertainty in
  	Artificial Intelligence	(UAI96)},
  year = {1996},
  pages = {194--202},
  missinginfo = {Editor, Organization, Address},
  topic = {probabilistic-reasoning;Bayesian-networks;}
  }

@article{ burghardt_j:2005a,
  author = {Jochem Burghardt},
  title = {E-Generalization Using Grammars},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {165},
  number = {1},
  pages = {1--35},
  topic = {inductive-logic-programming;}
  }

@book{ burghardt_w-holker:1979a,
  editor = {Wolfgang Burghardt and Klaus H\"olker},
  title = {Text Processing: Papers in Text Analysis and Text Description},
  publisher = {Walter de Gruyter},
  year = {1979},
  address = {Berlin},
  ISBN = {3110075652},
  rtnote = {UMich Graduate Library, P302 .T35.},
  topic = {discourse-analysis;}
 }

@inproceedings{ buring:1995a1,
  author = {Daniel B\"uring},
  title = {The Great Scope Inversion Conspiracy},
  booktitle = {Proceedings from Semantics and Linguistic Theory {V}},
  year = {1995},
  editor = {Mandy Simons and Teresa Galloway},
  pages = {37--53},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  xref = {Journal Publication: buring:1995a2.},
  topic = {nl-semantics;nl-quantifier-scope;topic;sentence-focus;pragmatics;}
  }

@article{ buring:1995a2,
  author = {Daniel B\"uring},
  title = {The Great Scope Inversion Conspiracy},
  journal = {Linguistics and Philosophy},
  year = {1997},
  volume = {20},
  number = {2},
  pages = {175--194},
  xref = {Republication of: buring:1995a1.},
  topic = {nl-quantifier-scope;}
  }

@inproceedings{ buring:1996a,
  author = {Daniel B\"uring},
  title = {A Weak Theory of Strong Readings},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VI}},
  publisher = {Cornell University},
  year = {1996},
  editor = {Teresa Galloway and Justin Spence},
  pages = {17--34},
  address = {Ithaca, New York},
  topic = {nl-semantics;nl-quantifiers;sentence-focus;}
  }

@inproceedings{ buring:1998a,
  author = {Daniel B\"uring},
  title = {Identity, Modality, and the Candidate Behind the Wall},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VIII}},
  publisher = {Cornell University},
  year = {1998},
  editor = {Devon Strolovitch and Aaron Lawson},
  pages = {36--54},
  address = {Ithaca, New York},
  topic = {nl-semantics;identity;}
  }

@inproceedings{ buring:2001a,
  author = {Daniel B\"uring},
  title = {A Situation Semantics for Binding out of {DP}},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XI}},
  publisher = {Cornell University},
  year = {2001},
  editor = {Rachel Hastings and Brendan Jackson and Zsofia Zvolenszky},
  pages = {56--75},
  address = {Ithaca, New York},
  topic = {nl-semantics;situation-semantics;binding-theory;}
  }

@article{ buring:2003a,
  author = {Daniel B\"uring},
  title = {Crossover Situations},
  journal = {Natural Language Semantics},
  year = {2004},
  volume = {12},
  number = {1},
  pages = {23--62},
  topic = {situation-semantics;anaphora;crossover;}
  }

@book{ buring:2005a,
  author = {Daniel B\"uring},
  title = {Binding Theory},
  publisher = {Cambridge University Press},
  year = {2005},
  address = {Cambridge, England},
  ISBN = {0 521 81280 (hbk)},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  topic = {binding-theory;}
 }

@book{ burke_e:1996a,
  author = {Edmund Burke},
  title = {Logic and Its Applications},
  publisher = {Prentice Hall},
  year = {1996},
  address = {London},
  ISBN = {0130302635},
  rtnote = {UMich Media Union Library, QA 76.63 .B871 1996.},
  topic = {logic-in-cs;logic-in-cs-intro;}
 }

@article{ burke_rd-etal:1997a,
  author = {Robin D. Burke and Kristian J. Hammond and Vladimir Kulyukin and
		Steven L. Lytinen and Noriko Tomuro and Scott Schoenberg},
  title = {Question Answering from Frequently Asked Question Files:
  		Experiences with the {FAQ} {FINDER} System},
  journal = {AI Magazine},
  volume = {18},
  number = {2},
  year = {1997},
  missinginfo = {A's 1st name},
  topic = {question-answering;case-based-reasoning;wordnet;}
        }

@incollection{ burkert_g:1995a,
  author = {Gerrit Burkert},
  title = {Lexical Semantics and Terminological Knowledge Representation},
  booktitle = {Computational Lexical Semantics},
  publisher = {Cambridge University Press},
  year = {1995},
  editor = {Patrick Saint-Dizier and Evelyne Viegas},
  pages = {165--184},
  address = {Cambridge, England},
  topic = {nl-kr;computational-lexical-semantics;description-logics;}
  }

@article{ burkert_hj:1994a,
  author = {Hans-J\"urgen B\"urkert},
  title = {A Resolution Principle for Constrained Logics},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {66},
  number = {2},
  pages = {235--271},
  acontentnote = {Abstract:
     We introduce a constrained logic scheme with a resolution
     principle for clauses whose variables are constrained by a
     constraint theory. Constraints can be seen as quantifier
     restrictions filtering out the values that any interpretation of
     the underlying constraint theory can assign to the variables of
     a formula with such restricted quantifiers.
      We present a resolution principle for constrained clauses,
     where unification is replaced by testing constraints for
     satisfiability over the constraint theory. We show that
     constrained resolution is sound and complete in that a set of
     constrained clauses is unsatisfiable over the constraint theory
     if and only if for each model of the constraint theory we can
     deduce a constrained empty clause whose constraint is
     satisfiable in that model. We demonstrate that we cannot require
     a better result in general. But we give conditions, under which
     at most finitely many such empty clauses are needed or even
     better only one empty clause as in classical resolution, sorted
     resolution or resolution with theory unification.
  },
  topic = {resolution;theorem-proving;restricted-quantifiers;
  	completeness-theorems;}
  }

@article{ burkhard_hd-etal:1998a,
  author = {Hans-Dieter Burkhard and Markus Hannebauer and Jan
  	Wendler},
  title = {Belief-Desire-Intention Deliberation in Artificial
  	Soccer},
  journal = {The {AI} Magazine},
  year = {1998},
  volume = {19},
  number = {3},
  pages = {87--93},
  topic = {planning;agent-architectures;cognitive-robotics;}
  }

@book{ burkhardt-smith_b:1991a,
  editor = {Hans Burkhardt and Barry Smith},
  title = {Handbook of Metaphysics and Ontology},
  publisher = {Philosophia Verlag},
  year = {1991},
  address = {Munich},
  ISBN = {388405080X},
  rtnote = {UMich Grad Reference (Non-Circulating), BD 111 .H2251 1991.},
  topic = {metaphysics;ontology;}
 }

@article{ burks:1946a,
  author = {Arthur W. Burks},
  title = {Empiricism and Vagueness},
  journal = {Journal of Philosophy},
  year = {1946},
  volume = {53},
  pages = {477--486},
  missinginfo = {number},
  topic = {vagueness;}
  }

@article{ burks:1951a,
  author = {Arthur W. Burks},
  title = {Reichenbach's Theory of Probability and Induction},
  journal = {The Review of Metaphysics},
  year = {1951},
  volume = {4},
  number = {3},
  pages = {377--393},
  rtnote = {In RHT collection.},
  topic = {induction;foundations-of-probability;Reichenbach;}
  }

@article{ burks:1951b,
  author = {Arthur W. Burks},
  title = {The Logic of Causal Propositions},
  journal = {Mind, New Series},
  year = {1951},
  volume = {60},
  pages = {363--382},
  contentnote = {Add a causal necessity operator, [c].  []-->[c].
  		 Account for "counterfactual implication" as
		 -A&[c][A-->B].},
  missinginfo = {A's 1st name, number},
  topic = {causality;modal-logic;conditionals;}
  }

@article{ burks:1955a,
  author = {Arthur W. Burks},
  title = {Dispositional Statements},
  journal = {Philosophy of Science},
  year = {1955},
  volume = {22},
  number = {3},
  pages = {175--193},
  rtnote = {In RHT collection.},
  topic = {dispositions;}
  }

@article{ burks:1955b,
  author = {Arthur W. Burks},
  title = {On the Presuppositions of Induction},
  journal = {The Review of Metaphysics},
  year = {1955},
  volume = {8},
  number = {4},
  pages = {576--611},
  rtnote = {In RHT collection.},
  topic = {induction;}
  }

@book{ burks:1963a,
  author = {Arthur W. Burks},
  title = {Chance, Cause, Reason},
  publisher = {The University of Chicago Press},
  year = {1963},
  address = {Chicago},
  ISBN = {0-226-08087-0},
  topic = {philosophy-of-science;natural-laws;induction;
  	decision-theory;causality;dispositions;}
 }

@incollection{ burks:1988a,
  author = {Arthur W. Burks},
  title = {The Logic of Evolution, and the Reduction of Holistic-Coherent
  	Systems to Hierarchical-Feedback Systems},
  booktitle = {Causation in Decision, Belief Change, and Statistics,
  	Vol. 2},
  publisher = {Kluwer Academic Publishers},
  year = {1988},
  editor = {William L. Harper and Brian Skyrms},
  pages = {135--191},
  address = {Dordrecht},
  topic = {philosophy-of-computation;philosophy-of-biology;
  	foundations-of-evolution;}
  }

@article{ burks:2002a,
  author = {Arthur W. Burks},
  title = {The Invention of the Universal Electronic Computer---How
  	the Electronic Computer Revolution Began},
  journal = {Future Generation Computer Systems},
  year = {2002},
  volume = {18},
  pages = {871--892},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {history-of-computer-science;}
  }

@book{ burns:1991a,
  author = {Linda Claire Burns},
  title = {Vagueness: An Investigation into Natural Language
  	and the Sorites Paradox},
  publisher = {Kluwer Academic Publishers},
  year = {1991},
  address = {Dordrecht},
  rtnote = {Hillman P37 B87 1991},
  rtnote = {Reading notes on file.},
  topic = {vagueness;sorites-paradox;}
 }

@inproceedings{ burns:1995a,
  author = {Linda Burns},
  title = {Something To Do With Vagueness},
  booktitle = {Spindel Conference 1994:  Vagueness},
  journal = {The Southern Journal of Philosophy, {\rm supplement}},
  year = {1995},
  editor = {Terry Horgan},
  volume = {33},
  pages = {23--48},
  topic = {vagueness;}
  }

@incollection{ burnyeat:1980a,
  author = {Myles Burnyeat},
  title = {Can the Sceptic Live his Scepticism?},
  booktitle = {Doubt and Dogmatism: Studies in {H}ellenistic
  	Epistemology},
  publisher = {Oxford University Press},
  year = {1980},
  editor = {Malcolm Schofield and Myles Burnyeat and Jonathan Barnes},
  pages = {19--53},
  address = {Oxford},
  topic = {skepticism;}
  }

@book{ burnyeat:2001a,
  author = {Myles Burnyeat},
  title = {A Map of {M}etaphysics {Z}eta},
  publisher = {Mathesis Publications},
  year = {2001},
  address = {Pittsburgh},
  ISBN = {093522503X},
  xref = {Review: macfarlane:2003a},
  rtnote = {UMich GRADUATE LIBRARY, B 434 .B841 2001.},
  topic = {Aristotle;metaphysics;}
 }

@book{ burnyeat-frede_m:1997a,
  editor = {Myles Burnyeat and Michael Frede},
  title = {The Original Sceptics:  A Controversy},
  publisher = {Hackett Publishing Co.},
  year = {1997},
  address = {Indianapolis},
  contentnote = {TC:
		1. M. Frede, "The Sceptic's Beliefs"
		2. M. Burnyeat, "Can the Sceptic Live His Scepticism?"
		3. J. Barnes, "The Beliefs of a Pyrrhonist"
		4. M. Burnyeat, "The Sceptic in His Place and Time"
		5. M. Frede, "The Sceptic's Two Kinds of Assent"
  },
  topic = {skepticism;Hellenistic-philosophy;}
 }

@article{ buro:2002a,
  author = {Michael Buro},
  title = {Improving Heuristic Mini-Max Search by Supervised Learning},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {134},
  number = {1--2},
  pages = {85--99},
  topic = {game-trees;search;machine-learning;}
  }

@article{ burrell:1964a,
  author = {David Burrell},
  title = {Aristotle and Future Contingencies},
  journal = {Philosophical Studies (Ireland)},
  year = {1964},
  volume = {13},
  pages = {37--52},
 topic = {Aristotle;future-contingent-propositions;}
  }

@book{ burris:1998a,
  author = {Stanley N. Burris},
  title = {Logic for Mathematics and Computer Science},
  publisher = {Prentice Hall},
  year = {1998},
  address = {Upper Saddle River, New Jersey},
  ISBN = {0132859742},
  rtnote = {UMich Science, QA 9 .B861 1998},
  topic = {logic-in-CS;logic-in-CS-intro;}
 }

@inproceedings{ burrows-etal:1988a,
  author = {Michael Burrows and Martin Abadi and Roger Needham},
  title = {Authentication: A Practical Study in Knowledge and Action},
  booktitle = {Proceedings of the Second Conference on Theoretical
  	Aspects of Reasoning about Knowledge},
  year = {1988},
  editor = {Moshe Y. Vardi},
  pages = {325--342},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  topic = {distributed-systems;protocol-analysis;}
  }

@inproceedings{ burstein_jc-etal:1998a,
  author = {Jill C. Burstein and Karen Kukich and Susanne Wolff and Chi
  	Lu and Martin Chodorow and Lisa Braden-Harder and Mary Dee
	Harris},
  title = {Automated Scoring Using a Hybrid Feature Identification
  	Technique},
  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 = {206--210},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {nl-processing;automated-test-scoring;}
}

@incollection{ burstein_jc-etal:1998b,
  author = {Jill C. Burstein and Karen Kukich and Susanne Wolff and Chi Lu
		and Martin Chodorow},
  title = {Enriching Automated Essay Scoring Using Discourse
  	Marking},
  booktitle = {Discourse Relations and Discourse Markers:  Proceedings
  	of the Conference},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Manfred Stede and Leo Wanner and Eduard Hovy},
  pages = {15--21},
  address = {Somerset, New Jersey},
  topic = {discourse-cue-words;discourse-structure;
  	computer-assisted-educational-testing;}
  }

@book{ burstein_jc-leacock:1997a,
  editor = {Jill C. Burstein and Claudia Leacock},
  title = {From Research to Commercial Applications: Making
  	{NLP} Work in Practice},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  address = {Somerset, New Jersey},
  rtnote = {In RHT collection.  ACL Shelves.},
  contentnote = {TC:
     1. Chinatsu Aone and John Maloney, "Re-Use of a Proper Noun
     		Recognition System in Commercial and Operational
		{NLP} Applications", pp. 1--6
     2. Cornelia Tschichold and Franck Bodmer and Etienne Cornu and
     		Francois Grosjean and Lysiane Grojean and Natalie
		Kubler and Nicholas Lewy and Corinne Tschumi, "Developing
		a New Grammar Checker for {E}nglish as a Second
		Language", pp. 7--12
     3. Karen Kukich and Rebecca Passaneau and Kathleen McKeown and
     		Dragomir Radev and Vasileios Hataivassiloglou and
		Hongyan Jing, "Software Re-Use and Evolution in Text
		Generation Applications", pp.  13--21
     4. James Nolan, "Estimating the True Performance of
     		Classification-Based {NLP} Technology", pp. 23--28
     5. Ehud Reiter and Liesl Osman, "Tailored Patient Information:
     		Some Issues and Questions", 29--34
     6. John Tait and Huw Sanderson and Jeremy Ellman and Anna Maria
     		Martinez San Jose and Peter Hellwig and Periklis
		Tsagheas, "Practical Considerations in Building a
		Multi-Lingual Authoring System for Business
		Letters", pp. 35--42
     7. Gary Adams and Philip Resnik, "A Language Identification
     		Application Built on the {J}ava Client-Server
		Platform", pp. 43--47
     8. Michael Gamon and Carmen Lozano and Jessie Pinkham and Tom
     		Reutter, "Practical Experience with Grammar Sharing
		in Multilingual {NLP}", pp. 49--56
     9. Leo Obrst and Krishna Jha, "{NLP} and Industry: Transfer and
     		Reuse of Technologies", pp. 57--63
    10. Manny Rayner and David Carter and Ivan Bretan and Robert Eklund
    		and Mats Wir\'en and Steffen Leo Hanssen and Sabine
		Kirchmeier-Andersen and Christina Philip and Finn
		S{\o}rensen and Hanne Erdman Thomsen, "Recycling
		Lingware in a Multilingual {MT} System", pp. 65--70
    },
  topic = {nlp-technology;}
 }

@book{ burstein_jc-leacock:1998a,
  editor = {Jill C. Burstein and Claudia Leacock},
  title = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  address = {Somerset, New Jersey},
  rtnote = {In RHT collection.  ACL Shelves.},
  contentnote = {TC:
     1. Walter Daelemans, "Abstraction is Harmful in Language
     		Learning", pp. 1
     2. Michael Towsey and Joachim Diederich, and Ingo Schellhammer
     		and Stephen Chalup and Claudia Brugman, "Natural
		Language Learning by Recurrent Neural Networks:
		A Comparison with Probabilistic Approaches", pp. 3--10
     3. Sandra K\"ubler, "Learning a Lexicalized Grammar for
     		{G}erman", pp. 11--18
     4. Ren\'e Schneider, "A Lexically-Intensive Algorithm for
     		Domain-Specific Knowledge Acquisition", pp. 19--28
     5. Andr\'e Kempe, "Look-Back and Look-Ahead in the Conversion
     		of Hidden {M}arkov Models into Finite State
		Transducers", pp. 29--37
     6. Mark Johnson, "The Effect of Alternative Tree Representations
     		on Tree Bank Grammars", pp. 39-48-
     7. Thorsten Brants and Wojciech Skut, "Automation of Treebank
     		Annotation", pp. 49--57
     8. Hamish Cunningham and Mark Stevenson and Yorick
     		Wilks, "Implementing a Sense Tagger in a General
		Architecture for Text Engineering", pp. 59--71
     9. Ingo Schellhammer and Joachim Diederich and Michael Towsey
     		and Claudia Brugman, "Knowledge Extraction and
		Recurrent Neural Networks: An Analysis of an {E}lman
		Network Trained on a Natural Language Learning
		Task", pp. 73--78
    10. Jason L Hutchens and Michael D. Alder, "Finding Structure
    		Via Compression", pp. 79--82
    11. Christer Samuelson, "Linguistic Theory in Statistical Language
    		Learning", pp. 83--89
    12. Richard McConachy and Kevin B. Korb and Ingrid
    		Zuckerman, "A {B}ayesian Approach to Automating
		Argumentation", pp. 91--100
    13. Stephen J. Green, "Automatically Generating Hypertext in
    		Newspaper Articles by Computing Semantic
		Relatedness", pp. 101--110
    14. Emin Erkan Korkmaz and G\"okt\"urk \"U\c{c}oluk, "Choosing a
    		Distance Metric for Automatic Word
		Categorization", pp. 111--120
    15. Patrick Saint-Dizier, "Sense Variation and Lexical Semantics
    		Generative Operations", pp. 121--130
    16. Harold L. Somers, "An Attempt to Use Weighted Cusums to Identify
    		Sublanguages", pp. 131--139
    17. Patrick Juola, "Cross-Entropy and Linguistic
    		Typology", pp. 141--149
    18. David M.W. Powers, "Applications and Explanations of {Z}ipf's
    		Law", pp. 151--160
    19. Peter Wallis and Edmund Yuen and Greg Chase, "Proper Name
    		Classification in an Information Extraction
		Toolset", pp. 161--162
    20. Robert Steele and David Powers, "Evolution and Evaluation
    		of Document Retrieval Properties", pp. 163--164
    21. Ilyas Cicekli and Turgay Korkmaz, "Generation of Simple
    		{T}urkish Sentences with Systemic-Functional
		Grammar", pp. 165--173
    22. Ian Thomas and Ingrid Zuckerman and Bhavani
    		Raskutti, "Extracting Phoneme Pronunciation
		Information from Corpora", pp. 175--183
    23. Antal van der Bosch and Ton Weijters and Walter
    		Daelemans, "Modularity in Inductively-Learned
		Word Pronunciation Systems", pp. 185--194
    24. Antal van der Bosch and Walter Daelemans, "Do Not Forget:
    		Full Memory in Memory-Based Learning of Word
		Pronunciation", pp. 195--204
    25. V. kamphuis and J.J. Sarbo, "Natural Language and Concept
    		Analysis", pp. 205--214
    26. Jim Entwisle and David Powers, "The Present Use of Statistics
    		in the Evaluation of {NLP} Parsers", pp. 215--224
    27. Hiroki Imai and Hozumi Tanaka, "A Method of Incorporating
    		Bigram Constraints into an {LR} Table and its
		Effectiveness in Natural Language
		Processing", pp. 225--233
    28. James M. Hogan and Joachim Diderich and Gerald D.
    		Finn, "Selective Attention and the Acquisition of
		Spatial Semantics", pp. 235--244
    29. Hideki Kozuma and Akira Iro, "Towards Language Acquisition
    		by an Attention-Sharing Robot", pp. 245--246
    30. Michael Carl, "A Constructivist Approach to Machine
    		Translation", pp. 247--256
    31. Michael Carl and Antje Schmidt-Wigger, "Shallow Post
    		Morphological Processing with {KURD}", pp. 257--265
    32. Erica F. de Lima, "Induction of a Stem Lexicon for
    		Two-Level Morphological Analysis", pp. 267--268
    33. Jason L. Hutchens and Michael D. Alder, "Introducing
    		{M}ega{H}al", pp. 271--274
    34. V\'eronique Bastin and Denis Cordier, "Methods and Tricks
    		Used in an Attempt to Pass the {T}uring Test", pp. 275--277
    35. David M.W. Powers, "The Total {T}uring Test and the {L}oebner
    		Prize", pp. 279--280
    36. Zenshiro Kawasaki and Keiji Takida and Masato
    		Tajima, "Language Model and Sentence Structure
		Manipulations for Natural Language Applications
		Systems", pp. 281--286
    37. Bradley P. Custer, "Position Paper on Appropriate
    		Audio/Visual {T}uring Test", pp. 287--288
    38. Tony C. Smith, "Learning Feature-Value Grammars from Plain
    		Text", pp. 291--294
    39. Herv\'e D\'ejean, "Morphemes as Necessary Concept for
    		Structures Discovery from Untagged Corpora", pp. 295--298
    40. Christopher D. Manning, "The Segmentation Problem in
    		Morphology Learning", pp. 299--305
    41. David M.W. Powers, "Reconciliation of Unsupervised Clustering
    		Segmentation and Cohesion", pp. 307--310
    42. Isabelle Tellier, "Syntactico-Semantic Learning of Categoriacal
    		Grammars", pp. 311--314
    },
  topic = {nl-processing;}
 }

@article{ burstein_mh-mcdermott_d:2005a,
  author = {Mark H. Burstein and Drew V. McDermott},
  title = {Ontology Translation for Interoperability among Semantic
  		Web Services},
  journal = {The {AI} Magazine},
  year = {2005},
  volume = {26},
  number = {1},
  pages = {71--82},
  topic = {knowledge-integration;computational-ontology;semantic-web;}
  }

@article{ burtonroberts:1984a,
  author = {Noel Burton-Roberts},
  title = {Modality and Implicature},
  journal = {Linguistics and Philosophy},
  year = {1985},
  volume = {7},
  number = {2},
  pages = {181--206},
  topic = {implicature;nl-modality;}
  }

@book{ burtonroberts:1989a,
  author = {Noel Burton-Roberts},
  title = {The Limits to Debate: A Revised Theory of Semantic
  	Presupposition},
  publisher = {Cambridge University Press},
  year = {1989},
  address = {Cambridge, England},
  ISBN = {0521361508},
  rtnote = {UMich Graduate Library Call No: 805 C185 v.51},
  topic = {nl-semantics;presupposition;}
 }

@book{ burtonroberts-etal:2000a,
  editor = {Noel Burton-Roberts and Philip Carr and Gerard Docherty},
  title = {Phonological Knowledge: Conceptual and Empirical Issues},
  publisher = {Oxford University Press},
  year = {2000},
  address = {Oxford},
  ISBN = {0199245770 (pbk.)},
  rtnote = {Umich Graduate Library Call No: P 217 .P4821 2000},
  topic = {phonology;linguistics-methodology;}
 }

@book{ busa-etal:1998a,
  editor = {Federica Busa and Inderjeet Mani and Patrick Saint-Dizier},
  title = {The Computational Treatment of Nominals: Proceedings
  	of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  address = {New Brunswick, New Jersey},
  contentnote = {TC:
     1. Toni Badia and Roser Saur\'i, "The Representation of
     		Syntactically Unexpressed Complements to
		Nouns", pp.  1--9
     2. Ralf Naumann, "A Dynamic Temporal Logic of Events, Interval and States
     		for Nominalization in Natural Language", pp. 10--19
     3. Evelyne Viegas and Wanying Jin and Ron Dolan and Stephen
     		Beale, "Representation and Processing of {C}hinese
		Nominals and Compounds", pp. 20--24
     4. Adam Meyers and Catherine Macleod and Roman Yangarber and
     		Ralph Grishman and Leslie Barret and Ruth Reeves,
		"Using {\sc Nomlex} to Produce Nominalization Patterns
		for Information Extraction", pp. 25--32
     5. Sadao Kurohashi and Masaka Murata and Yasunori Yata and
     		Mitsunobu Shimada and Makoto Nagao, "Construction of
		{J}apanese Nononal Semantic Dictionary
		Using `{A} {NO} {B}' Phrases in Corpora", pp. 33--38
     6. Alexandra Klein and Johannes Matiasek and Harald Trost, "The
     		Treatment of Noun Phrase Queries in a Natural
		Language Database Access System", pp. 39--45
     7. Michael O'Donnell and Hua Cheng and Janet Hitzeman,
     		"Integrating Referring and Informing in
		{NP} Planning", pp. 46--55
     8. Kees van Deemter and Richard Power, "Coreference in Knowledge
     		Editing", pp. 56--60
     9. John Goldsmith and Tom Reutter, "Automatic Collection and
     		Analysis of {G}erman Compounds", pp. 61--69
    10. Nina Wacholder, "Simplex {NP}s Clustered by Head: A Method
    		for Identifying Significant Topics within a
		Document", pp. 70--79
    11. Jean Senellart, "Tools for Locating Noun Phrases with Finite State
    		Transducers", pp. 80--84
    12. Mohsen Rais-Ghasem and Jean-Pierre Corriveau, "Exemplar-Based
    		Sense Modulation", pp. 85--93
    13. Boyan Onyshkevich, "Nominal Metonymy Processing", pp. 94--102
    14. Helmut Horacek, "The Role of Cardinality in Metonymic
    		Extension to Nouns", pp. 103--112},
  topic = {nlp;nominal-constructions;}
  }

@incollection{ busemann-horacek:1998a,
  author = {Stephen Busemann and Helmut Horacek},
  title = {A Flexible Shallow Approach to Text Generation},
  booktitle = {Proceedings of the Ninth International Workshop
  	on Natural Language Generation},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Eduard Hovy},
  pages = {238--247},
  address = {New Brunswick, New Jersey},
  topic = {nl-generation;}
  }

@unpublished{ bush_r:2000a,
  author = {Ryan Bush},
  title = {Broad and Narrow Identificational Foci},
  year = {2000},
  note = {Unpublished manuscript, University of California at
  	Santa Cruz.},
  rtnote = {In RHT collection.},
  topic = {s-focus;}
  }

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

@article{ buss:1997a,
  author = {Sarah Buss},
  title = {Weakness of Will},
  journal = {Pacific Philosophical Quarterly},
  year = {1997},
  volume = {78},
  pages = {13-44},
  rtnote = {In RHT collection.},
  topic = {akrasia;}
  }

@book{ buss_s1:1998a,
  editor = {Samuel R. Buss},
  title = {Handbook of Proof Theory},
  publisher = {Elsevier Science Publishers},
  year = {1998},
  address = {Amsterdam},
  contentnote = {TC:
     1. Samuel R. Buss, "Preface", p. v
     2. Samuel R. Buss, "An Introduction to Proof Theory", pp. 1--78
     3. Samuel R. Buss, "First-Order Proof Theory of
     		Arithmetic", pp. 79--147
     4. Matt Fairtlough and Stanley S. Wainer, "Hierarchies of
     		Provably Recursive Functions", pp. 149--207
     5. Wolfram Pohlers, "Subsystems of Set Theory and Second-Order
     		Number Theory", pp. 209--335
     6. Jeremy Avigad and Solomon Feferman, "G\"odel's Funcional
     		(`Dialectica') Interpretation", pp. 337--405
     7. A.S. Troelstra, "Realizability", pp. 407--473
     8. Giorgi Japaridze and Dick de Jongh, "The Logic of
     		Provability", pp. 475--536
     9. Pavel Pudl\'ak, "The Length of Proofs", pp. 547--637
    10. Gerhard J\"ager and Robert F. St\"ark, "A Proof-Theoretic
    		Framework for Logic Programming", pp. 639--682
  },
  xref = {Review: arai:2000a.},
  topic = {proof-theory;}
 }

@incollection{ buss_s1:1998b,
  author = {Samuel R. Buss},
  title = {An Introduction to Proof Theory},
  booktitle = {Handbook of Proof Theory},
  publisher = {Elsevier Science Publishers},
  year = {1998},
  editor = {Samuel R. Buss},
  pages = {1--78},
  address = {Amsterdam},
  xref = {Review: arai:1998b.},
  topic = {proof-theory;}
 }

@incollection{ buss_s1:1998c,
  author = {Samuel R. Buss},
  title = {First-Order Proof Theory of Arithmetic},
  booktitle = {Handbook of Proof Theory},
  publisher = {Elsevier Science Publishers},
  year = {1998},
  editor = {Samuel R. Buss},
  pages = {79--147},
  address = {Amsterdam},
  xref = {Review: arai:1998a.},
  topic = {proof-theory;higher-order-logic;formalizations-of-arithmetic;}
 }

@article{ buss_s1-etal:2001a,
  author = {Samuel R. Buss and Alexander S. Kechris and Anand
  	Pillay and Richard A. Shore},
  title = {The Prospects for Mathematical Logic in the Twenty-First
  	Century},
  journal = {The Bulletin of Symbolic Logic},
  year = {2001},
  volume = {7},
  number = {2},
  pages = {169--196},
  topic = {mathematical-logic;logic-editorial;}
  }

@article{ buss_s2:1997a,
  author = {Sarah Buss},
  title = {Justified Wrongdoing},
  journal = {No\^us},
  year = {1997},
  volume = {31},
  number = {3},
  pages = {37--369},
  rtnote = {Useful to compare this to the arguments of Jonathan Edwards.},
  topic = {ethics;moral-responsibility;}
  }

@article{ buss_s2:2004a,
  author = {Sarah Buss},
  title = {The Irrationality of Unhappiness and the Paradox of
  	Despair},
  journal = {The Journal of Philosophy},
  year = {2004},
  volume = {101},
  number = {1},
  pages = {167--196},
  topic = {irrationality;emotion;philosophical-psychology;}
  }

@article{ buszkowski:1994a,
  author = {Wojciech Buszkowski},
  title = {Extending {L}ambek Grammars to Basic Categorial Grammars},
  journal = {Journal of Logic, Language, and Information},
  year = {1994},
  volume = {5},
  number = {3--4},
  pages = {279--295},
  topic = {Lambek-calculus;categorial-grammar;}
  }

@incollection{ buszkowski:1996a,
  author = {Wojciech Buszkowski},
  title = {Mathematical Linguistics and Proof Theory},
  booktitle = {Handbook of Logic and Language},
  publisher = {Elsevier},
  year = {1996},
  editor = {Johan {van Benthem} and Alice {ter Meulen}},
  pages = {683--736},
  address = {Amsterdam},
  topic = {grammar-formalisms;proof-theory;type-theory;}
  }

@article{ buszkowski:2007a,
  author = {Wojciech Buszkowski},
  title = {Type Logics and Pregroups},
  journal = {Studia Logica},
  year = {2007},
  volume = {87},
  number = {2--3},
  pages = {145--169},
  topic = {higher-order-logic;pregroups;}
  }

@book{ buszkowski-etal:1988a,
  editor = {Wojciech Buszkowski and Witold Marciszewski and
  	Johan van Benthem},
  title = {Categorial Grammar},
  publisher = {Benjamins},
  year = {1988},
  address = {Amsterdam},
  ISBN = {9027215308},
  rtnote = {UMich Graduate Library, P 1 .L74 v.25.},
  topic = {caategorial-grammar;}
 }

@article{ buszkowski-moortgat:2002a,
  author = {Wojciech Buszkowski and Michael Moortgat},
  title = {Introduction (to a Special Issue on the {L}ambek
  	Calculus in Logic and Linguistics},
  journal = {Studia Logica},
  year = {2002},
  volume = {71},
  number = {3},
  pages = {261--276},
  topic = {Lambek-calculus;linear-logic;}
  }

@incollection{ butchvarov:1978a,
  author = {Panayot Butchvarov},
  title = {Identity},
  booktitle = {Contemporary Perspectives in the Philosophy of Language},
  publisher = {University of Minnesota Press},
  year = {1978},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard
  	K. Wettstein},
  pages = {159--178},
  address = {Minneapolis},
  topic = {identity;(non)existence;philosophy-of-language;}
  }

@inproceedings{ butler_a:2001a,
  author = {Alastair Butler},
  title = {Degree Relatives are Ordinary Relatives},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XI}},
  publisher = {Cornell University},
  year = {2001},
  editor = {Rachel Hastings and Brendan Jackson and Zsofia Zvolenszky},
  pages = {76--94},
  address = {Ithaca, New York},
  topic = {nl-semantics;relative-clauses;}
  }

@article{ butler_a:2007a,
  author = {Alistair Butler},
  title = {Scope Control and Grammatical Dependencies},
  journal = {Journal of Logic, Language, and Information},
  year = {2007},
  volume = {16},
  number = {3},
  pages = {241--264},
  topic = {nl-quantifier-scope;donkey-anaphora;binding-theory;}
  }

@article{ butler_rj:1955a,
  author = {Ronald J. Butler},
  title = {Aristotle's Sea-Fight and Three-Valued Logic},
  journal = {Philosophical-Review},
  year = {1955},
  volume = {64},
  pages = {264--274},
  missinginfo = {number},
  topic = {future-contingent-propositions;multivalued-logic;}
  }

@book{ butler_rj:1962a,
  editor = {Ronald J. Butler},
  title = {Analytical Philosophy, First Series},
  publisher = {Barnes and Noble},
  year = {1962},
  address = {New York},
  contentnote = {TC:
     1. Zeno Vendler, "Effects, Results, and Consequences", pp. 1--15
     2. Sylvan Bromberger, "What Are Effects?", pp. 15--20
     3. W.H. Dray, "Must Effects Have Causes?", pp. 20--25
     4. Zeno Vendler, "Reactions and Retractions", pp. 25--31
     5. J.R. Lucas, "Causation", pp. 32--65
     6. J.L. Mackie, "Counterfactuals and Causal Laws", pp. 66--80
     7. Richard Cartwright, "Propositions", pp. 81--103
     8. J.F. Thomson, "On Some Paradoxes", pp. 104--119
     9. Arthur N. Prior, "Nonentities", pp. 120--132
    10. H. Paul Grice, "Some Remarks about the Senses", pp. 133--
    11. D. Gasking, "Avowals", pp. 154--169
    12. M.E. Lean, "{M}r. {G}asking on Avowals", pp. 169--186
    13. R.C. Buck, "Non-Other Minds", pp. 187--210
    14. Hilary Putnam, "Dreaming and `Depth Grammar'\,", pp. 211--235
  },
  rtnote = {UMich Graduate Library Call No: B808.5 .B98 1963},
  rtnote = {In RHT collection.  Contemporary Core Analytic Shelves.},
  topic = {analytic-philosophy;}
 }

@book{ butler_rj:1965a,
  editor = {Ronald J. Butler},
  title = {Analytical Philosophy, Second Series},
  publisher = {Basil Blackwell},
  year = {1965},
  address = {Oxford},
  contentnote = {TC:
     1. Hilary Putnam, "Brains and Behavior", pp. 1--19
     2. David Savan, "Socrates' Logic and the Unity of Wisdom and
     		Temperance", pp. 20--26
     3. Bede Rundle, "Modality and Quantification", pp. 27--39
     4. David Wiggins, "Identity-Statements", pp. 40--71
     5. Sylvan Bromberger, "An Approach to Explanation", pp. 72--105
     6. Julius Moravcsik, "Strawson and Ontological Priority", pp. 106--119
     7. Michael J. Woods, "Identity and Individuation", pp. 120--130
     8. Richard M.P. Malpas, "The Location of Sound", pp. 131--144
     9. J.M. Shorter, "Causality, and a Method of Analysis", pp. 145--157
    10. G.E.M. Anscombe, "The Intentionality of Sensation", pp. 158--180
    11. Ronald J. Butler, "{M}essrs. {G}oodman, {G}reen and
    		{G}rue", pp. 181--193
  },
  rtnote = {UMich Graduate Library Call No: B808.5 .B98 1965},
  rtnote = {In RHT collection.  Contemporary Core Analytic Shelves.},
  topic = {analytic-philosophy;}
 }

@article{ butler_t:2002a,
  author = {Travis Butler},
  title = {Review of \emph{{A}ristotle on Meaning and Essence}, by
  	{D}avid {C}harles},
  journal = {The Philosophical Review},
  year = {2002},
  volume = {111},
  number = {2},
  pages = {302--305},
  xref = {Review of: charles_d:200a},
  topic = {Aristotle;metaphysics;}
  }

@book{ butt-etal:1999a,
  author = {Mirian Butt and Tracy Holloway King and Mar\'ia-Eugenia
  	Ni\~no and Fr\'ed\'erique Segond},
  title = {A Grammar Writer's Cookbook},
  publisher = {{CSLI} Publications},
  year = {1999},
  address = {Stanford, California},
  ISBN = {1-57586-170-4},
  xref = {Review: maxwell:2000a.Review: johnson_c:2001a.},
  topic = {grammatical-writing;}
 }

@book{ butt-geuder:1998a,
  editor = {Miriam Butt and Wilhelm Geuder},
  title = {The Projection of Arguments: Lexical and Compositional
  	Factors},
  publisher = {CSLI Publications},
  year = {1998},
  address = {Stanford},
  ISBN = {1575861119},
  contentnote = {TC:
     1.  William Croft, "Event Structure in Argument Linking"
     2.  Gillian Catriona Ramchand, "Deconstructing the Lexicon"
     3.  Malka Rappaport Hovav and Beth Levin, "Building
     		Verb Meanings"
     4.  Elizabeth Ritter and Sara Thomas Rosen, "Delimiting
     		Events in Syntax"
     5.  K.P. Mohanan and Tara Mohanan, "Strong and Weak Projection,
     		Lexical Reflexives and Reciprocals"
     6.  Eloise Jelinek, "Voice and Transitivity as Functional
     		Projections in {Y}aqui"
     7.  Veerle van Geenhoven, "On the Argument Structure
     		of Some Noun Incorporating Verbs in {W}est
		{G}reenlandic"
     8.  Paul Kiparsky, "Partitive Case and Aspect"
     9.  Ad Neeleman and Tanya Reinhart, "Scrambling
     		and the {PF} Interface"
  },
  rtnote = {UMich GRADUATE LIBRARY, P 295 .P751 1998.},
  topic = {lexical-semantics;event-structure;argument-structure;}
 }

@book{ butt-king_tw:2001a,
  editor = {Miriam Butt and Tracy Holloway King},
  title = {Time Over Matter: Diachronic Perspectives On Morphosyntax},
  publisher = {CLSI Publications},
  year = {2001},
  address = {Stanford},
  ISBN = {1575862816},
  rtnote = {UMich GRADUATE LIBRARY, No call number available.},
  topic = {morphology;syntax;historical-linguistics;}
 }

@incollection{ butterworth:1994a,
  author = {George Butterworth},
  title = {Infant Intelligence},
  booktitle = {What is Intelligence?},
  publisher = {Cambridge University Press},
  year = {1994},
  editor = {Jean Khalfa},
  pages = {49--71},
  address = {Cambridge, England},
  topic = {intelligence;developmental-psychology;}
  }

@book{ butts-hintikka:1977a,
  editor = {Robert E. Butts and Jaakko Hintikka},
  title = {Basic Problems in Methodology and Linguistics},
  publisher = {D. Reidel Publishing Co.},
  year = {1977},
  address = {Dordrecht},
  topic = {philosophy-of-linguistics;}
 }

@unpublished{ buvac:1995a,
   author = {Sa\v{s}a Buva\v{c}},
   title = {Ambiguity Via Formal Theory of Context},
   year = {1995},
   rtnote = {In RHT collection.},
   note = {Available from http://www-formal.stanford.edu/buvac.},
   topic = {context;ambiguity;}
  }

@unpublished{ buvac:1995b,
   author = {Sa\v{s}a Buva\v{c}},
   title = {Semantics of Translation},
   year = {1995},
   rtnote = {In RHT collection.},
   note = {Available from http://www-formal.stanford.edu/buvac.},
   topic = {context;}
  }

@book{ buvac:1995c,
  editor = {Sa\v{s}a Buva\v{c}},
  title = {Working Papers of the {AAAI} Fall Symposium on
  	Formalizing Context},
  publisher = {American Association for Artificial Intelligence},
  year = {1995},
  address = {Menlo Park, California},
  contentnote = {TC:
     1. Barbara Grosz, "Essential Ambiguity:  The Role of Context in
		Natural-Language Processing", p. 1
     2. Ramanathan  Guha, "Mechanisms in Implemented {KR} Systems", p. 2
     3. Patrick Hayes, "What is a Context?", p. 3
     4. Carl Hewitt, "From Contexts to Negotiation Forums", pp. 4--5
     5. John McCarthy, "Varieties of Formalized Contexts and
     		Subcontexts", p. 6
     6. Robert Stalnaker, "On the Representation of Context", pp. 7--8
     7. Giuseppe Attardi and Maria Simi, "Beppo Had a Dream", pp. 9--22
     8. Varol Akman and Mehmet Surav, "Contexts, Oracles, and
     		Relevance", pp. 23--30
     9. Phillipe Besnard and Yao-Hua Tan, "A Modal Logic with
     		Context-Dependent Inference for Non-Monotonic
		Reasoning", pp. 31--38
    10. Raj Bhatnagar, "Probabilistic Contexts for Reasoning", pp. 39--46
    11. Pierre E. Bonzon, "A Meta-Level Inference Architecture for
    		Contexts", pp. 47--54
    12. Robert Demolombe, "Reasoning about Topics: Towards a Formal
    		Theory", pp. 55--59
    13. Fabio Massacci, "Superficial Tableau for Contextual
    		Reasoning", pp. 60--67
    14. L. Thorne McCarty, "An Implementation of Eisner v.
    		Macomber", pp. 68--78
    15. Narinder Singh and Omar Tawakol and Michael
    		Genesereth, "A Name-Space Context Graph for
		Multi-Context, Multi-Agent Systems", pp. 79--84
    16. John Sowa, "Syntax, Semantics, and Pragmatics of
    		Contexts", pp. 85--96
    17. Alice ter Meulen, "Content in Context", pp. 97--109
    18. Kees van Deemter, "Semantic Vagueness and
    		Context-Dependence", pp. 110--117
  },
  topic = {context;}
 }

@inproceedings{ buvac:1996a,
  author = {Sa\v{s}a Buva\v{c}},
  title = {Quantificational Logic of Context},
  booktitle = {Proceedings of the Thirteenth National Conference on
              Artificial Intelligence and the Eighth Innovative
	      Applications of Artificial Intelligence  Conference,
	      Vol. 2},
  year = {1996},
  editor = {William J. Clancey and Dan Weld},
  pages = {600--606},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {context;logic-of-context;}
  }

@incollection{ buvac:1996b,
  author = {Sa\v{s}a Buva\v{c}},
  title = {Resolving Lexical Ambiguity Using a Formal
       		Theory of Context},
  booktitle = {Semantic Ambiguity and Underspecification},
  publisher = {Cambridge University Press},
  year = {1996},
  editor = {Kees {van Deemter} and Stanley Peters},
  address = {Cambridge, England},
  pages = {101--124},
  topic = {context;ambiguity;semantic-underspecification;
		lexical-disambiguation;disambiguation;}
  }

@inproceedings{ buvac:1997a,
  author = {Sa\v{s}a Buva\v{c}},
  title = {Pragmatical Considerations on Logical {AI}},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Context in Knowledge Representation and Natural Language},
  year = {1997},
  editor = {Sa\v{s}a Buva\v{c} and {\L}ucia Iwa\'nska},
  pages = {38--40},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {context;pragmatics;}
  }

@inproceedings{ buvac:2003a,
  author = {Sa\v{s}a Buva\v{c}},
  title = {A Deduction Theorem for Normal Modal Propositional Logic},
  booktitle = {Modeling and Using Context: Fourth International and
  	Interdisciplinary Conference, Context 2003},
  publisher = {Springer-Verlag},
  year = {2003},
  editor = {Patrick Blackburn and Chiara Ghidini and Roy M. Turner
  	and Fausto Giunchiglia},
  pages = {107--115},
  address = {Berlin},
  topic = {modal-logic;}
  }

@inproceedings{ buvac-etal:1995a,
   author = {Sa\v{s}a Buva\v{c} and Vanja Buva\v{c} and Ian Mason},
   title = {The Semantics of Propositional Contexts},
   booktitle = {Proceedings of the Eighth International Symposium on
   	Methodologies for Intelligent Systems},
   year = {1995},
   publisher = {Springer-Verlag},
   address = {Berlin},
   rtnote = {In RHT collection.},
   missinginfo = {pages},
   note = {Available from http://www-formal.stanford.edu/buvac.},
   topic = {context;logic-of-context;}
  }

@article{ buvac-etal:1995b,
   author = {Sa\v{s}a Buva\v{c} and Vanja Buva\v{c} and Ian Mason},
   title = {Metamathematics of Contexts},
   journal = {Fundamenta Mathematicae},
   volume = {23},
   number = {3},
   year = {1995},
   rtnote = {In RHT collection.},
   note = {Available from http://www-formal.stanford.edu/buvac.},
   topic = {context;logic-of-context;}
  }

@inproceedings{ buvac-fikes:1995a,
   author = {Sa\v{s}a Buva\v{c} and Richard Fikes},
   title = {A Declarative Formalization of Knowledge Translation},
   booktitle = {Proceedings of the {ACM} {CIKM}: the Fourth International
		Conference in Information and Knowledge Management},
   year = {1995},
   rtnote = {In RHT collection.},
   note = {Available from http://www-formal.stanford.edu/buvac.},
   missinginfo = {editor, publisher, address, pages},
   topic = {context;knowledge-integration;}
  }

@inproceedings{ buvac-fikes:1995b,
  author = {Sa\v{s}a Buva\v{c} and Richard Fikes},
  title = {Preface},
  booktitle = {Formalizing Context},
  year = {1995},
  editor = {Sasa Buva\v{c}},
  pages = {iii--iv},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  note = {Abstract.},
  topic = {context;ambiguity;logic-of-context;}
  }

@book{ buvac-iwanska:1997a,
  editor = {Sa\v{s}a Buva\v{c} and {\L}ucia Iwa\'nska},
  title = {Working Papers of the {AAAI} Fall Symposium on
  	Context in Knowledge Representation and Natural Language},
  publisher = {American Association for Artificial Intelligence},
  year = {1997},
  address = {Menlo Park, California},
  topic = {context;}
 }

@article{ buvac-kameyama:1998a,
  author = {Sas\v{s}a Buva\v{c} and Megumi Kameyama},
  title = {Introduction: Toward a Unified Theory of Context?},
  journal = {Journal of Logic, Language, and Information},
  year = {1998},
  volume = {7},
  number = {1},
  pages = {1--2},
  topic = {context;}
  }

@inproceedings{ buvac-mason_m:1993a,
  author = {Sa\v{s}a Buva\v{c} and Ian Mason},
  title = {Propositional Logic of Context},
  booktitle = {Proceedings of the Eleventh National Conference on
              Artificial Intelligence},
  year = {1993},
  editor = {Richard Fikes and Wendy Lehnert},
  pages = {412--419},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {context;logic-of-context;logic-of-context;}
  }

@incollection{ buvac-mccarthy_j1:1996a,
  author = {Sa\v{s}a Buva\v{c} and John McCarthy},
  title = {Combining Planning Contexts},
  booktitle = {Advanced Planning Technology: Technological
	Achievements of the {ARPA}/Rome Laboratory Planning Initiative},
  year = {1996},
  editor = {Austin Tate},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  missinginfo = {pages},
  topic = {context;planning;}
 }

@article{ buxton-gong:1995a,
  author = {Hilary Buxton and Shaogang Gong},
  title = {Visual Surveillance in a Dynamic and Uncertain World},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {78},
  number = {1--2},
  pages = {431--459},
  acontentnote = {Abstract:
     Advanced visual surveillance systems not only need to track
     moving objects but also interpret their patterns of behaviour.
     This means that solving the information integration problem
     becomes very important. We use conceptual knowledge of both the
     scene and the visual task to provide constraints. We also
     control the system using dynamic attention and selective
     processing.  Bayesian belief networks support this and allow us
     to model dynamic dependencies between parameters involved in
     visual interpretation. We illustrate these arguments using
     experimental results from a traffic surveillance application. In
     particular, we demonstrate that using expectations of object
     trajectory, size and speed for the particular scene improves
     robustness and sensitivity in dynamic tracking and segmentation.
     We also demonstrate behavioral evaluation under attentional
     control using a combination of a static BBN TASKNET and dynamic
     network. The causal structure of these networks provides a
     framework for the design and integration of advanced vision
     systems.  },
  topic = {Bayesian-networks;visual-surveillance;motion-tracking;
  	computer-vision;}
  }

@book{ bybee-fleischman:1995a,
  editor = {Joan Bybee and Suzanne Fleischman},
  title = {Modality in Grammar and Discourse},
  publisher = {J. Benjamins},
  year = {1995},
  address = {Amsterdam},
  ISBN = {9027229252},
  rtnote = {UMich Graduate Library, P 1 .T98 v.32.},
  topic = {nl-semantics;modals;}
 }

@book{ bybee-fleishman:1995a,
  author = {Joan Bybee and Suzanne Fleishman},
  title = {Modality in Grammar and Discourse},
  publisher = {John Benjamins Publishing Company},
  year = {1996},
  address = {Amsterdam},
  topic = {nl-modality;pragmatics;}
 }

@incollection{ bylander:1991a1,
  author = {Tom Bylander},
  title = {The Monotonic Abduction Problem: A Functional
  	Characterization on the Edge of Tractability},
  booktitle = {{KR}'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {70--77},
  address = {San Mateo, California},
  xref = {Journal publication: bylander-etal:1991a2.},
  topic = {kr;abduction;kr-complexity-analysis;kr-course;}
  }

@article{ bylander:1994a,
  author = {Tom Bylander},
  title = {The Computational Complexity of Propositional
  	{STRIPS} Planning},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {69},
  number = {1--2},
  pages = {165--204},
  topic = {complexity-in-AI;planning;STRIPS;}
  }

@article{ bylander:1996a,
  author = {Tom  Bylander},
  title = {A Probabilistic Analysis of Propositional
		{STRIPS} Planning},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {81},
  number = {1--2},
  pages = {241--271},
  topic = {search;experiments-on-theorem-proving-algs;
  	computational-phase-transitions;}
  }

@article{ bylander:1998a,
  author = {Tom Bylander},
  title = {Worst-Case Analysis of the Perceptron and
	Worst-Case Exponentiated Update Algorithms},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {106},
  number = {2},
  pages = {335--352},
  topic = {complexity-in-AI;perceptrons;}
  }

@incollection{ bylander-etal:1989a1,
  author = {Tom Bylander and Dean Allemang and Michael C. Tanner and
  	John R. Josephson},
  title = {Some Results Concerning the Computational Complexity of
  	Abduction},
  booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1989},
  editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter},
  pages = {44--54},
  address = {San Mateo, California},
  xref = {Journal publication: bylander-etal:1989a1.},
  topic = {kr;kr-course;abduction;kr-complexity-analysis;}
  }

@article{ bylander-etal:1991a2,
  author = {Tom Bylander and Dean Allemang and Michael C. Tanner and
  	John R. Josephson},
  title = {The Computational Complexity of Abduction},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {49},
  number = {1--3},
  pages = {25--60},
  xref = {Conference publication: bylander-etal:1991a1.},
  topic = {kr-complexity-analysis;abduction;}
  }

@article{ byrd_m:1973a,
  author = {Michael Byrd},
  title = {Knowledge and True Belief in {H}intikka's Epistemic Logic},
  journal = {Journal of Philosophical Logic},
  year = {1973},
  volume = {2},
  number = {2},
  pages = {181--192},
  topic = {epistemic-logic;belief;}
  }

@article{ byrd_m:1978a,
  author = {Michael Byrd},
  title = {The Extensions of {BAlt}$_3$---Revisited},
  journal = {Journal of Philosophical Logic},
  year = {1978},
  volume = {7},
  number = {4},
  pages = {407--413},
  topic = {modal-logic;}
  }

@incollection{ byrd_rj:1994a,
  author = {Roy J. Byrd},
  title = {Discovering Relationships Among Word Senses},
  booktitle = {Current Issues in Computational Linguistics: Essays in
  	Honour of Don Walker},
  publisher = {Giardini Editori e Stampatori and Kluwer Academic
  	Publishers},
  year = {1994},
  editor = {Antonio Zampolli and Nicoletta Calzolari and Martha Palmer},
  pages = {177--189},
  address = {Pisa and Dordrecht},
  rtnote = {This is a technology/technique paper.},
  topic = {computational-lexical-semantics;}
  }

@book{ byrne:2007a,
  author = {Ruth M.J. Byrne},
  title = {The Rational Imagination:  How People Create Alternatives
  		to Reality},
  publisher = {The {MIT} Press},
  year = {2007},
  address = {Cambridge, Massachusetts},
  ISBN = {9780-262-52474-2},
  topic = {imagination;}
 }

@article{ byrne_a:2001a,
  author = {Alex Byrne},
  title = {Intentionalism Defended},
  journal = {The Philosophical Review},
  year = {2001},
  volume = {110},
  number = {2},
  pages = {199--240},
  topic = {philosophy-of-perception;}
  }

@article{ byrne_a:2002a,
  author = {Alex Byrne},
  title = {Review of \emph{{P}urple Haze: The Puzzle of Consciousness},
  	by {J}oseph {L}evine},
  journal = {The Philosophical Review},
  year = {2000},
  volume = {111},
  number = {4},
  pages = {594--597},
  xref = {Review of: levine_j2:2001a.},
  topic = {consciousness;philosophy-of-mind;mind-body-problem;}
  }

@article{ byrne_a:2004a,
  author = {Alex Byrne},
  title = {How Hard Are the Skeptical Paradoxes?},
  journal = {No\^us},
  year = {2004},
  volume = {38},
  number = {2},
  pages = {299--235},
  topic = {skepticism;paradoxes;knowledge;}
  }

@incollection{ byrne_a:2007a,
  author = {Alex Byrne},
  title = {Possibility and Imagination},
  booktitle = {Philosophy of Mind},
  publisher = {Blackwell Publishers},
  year = {2007},
  editor = {John Hawthorne},
  pages = {125--144},
  address = {Oxford},
  topic = {possibility;imaginability;philosophy-of-mind;}
  }

@book{ byrne_d-kolbel:2009a,
  editor = {Darragh Byrne and Max K\"olbel},
  title = {Arguing about Language},
  publisher = {Routledge},
  year = {2009},
  address = {London},
  ISBN = {978-0-415-462440},
  topic = {philosophy-of-language;}
 }

@book{ byrne_rmj:2005a,
  author = {Ruth M.J. Byrne},
  title = {The Rational Imagination},
  publisher = {The {MIT} Press},
  year = {2005},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-02884-1},
  topic = {imagination;cognitive-psychology;}
 }

@article{ byron:2001a,
  author = {Donna K. Byron},
  title = {The Uncommon Denominator: A Proposal for Consistent
  	Reporting of Pronoun Resolution Results},
  journal = {Computational Linguistics},
  year = {2001},
  volume = {27},
  number = {4},
  pages = {569--577},
  topic = {anaphora-resolution;}
  }

@incollection{ byron-etal:2005a,
  author = {Donna K. Byron and Thomas Mampilly and Vinay Sharma
  	and Tianfang Xu},
  title = {Utilizing Visual Attention for Cross-Modal Coreference
  	Interpretation},
  booktitle = {Modeling and Using Context: 5th International and
  	Interdisciplinary Conference},
  publisher = {Springer-Verlag},
  year = {2005},
  editor = {Anind Dey and Boicho Kokinov and David Leake and Roy Turner},
  pages = {83--96},
  address = {Berlin},
  topic = {context;attention;anaphora-resolution;}
  }

@book{ bystrov-sadovsky:1996a,
  editor = {Peter I. Bystrov and Vadim N. Sadovsky},
  title = {Philosophical Logic and Logical Philosophy:  Essays in
  	Honour of {V}ladimir {A}. {S}mirnov},
  publisher = {Kluwer Academic Publishers},
  year = {1996},
  address = {Dordrecht},
  ISBN = {0792342704 (alk. paper)},
  rtnote = {UMich Graduate Library, BC 135 .P6431 1996.},
  topic = {philosophical-logic;}
 }

@inproceedings{ cabalar:2002a,
  author = {Pedro Cabalar},
  title = {A Three-Valued Characterization for Strong Equivalence
  	of Logic Programs},
  booktitle = {Proceedings of the Eighteenth National Conference on
              Artificial Intelligence},
  year = {2002},
  editor = {Rina Dechter and Michael Kearns and Richard S. Sutton},
  pages = {106--111},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {logic-programming;stable-models;multivalued-logic;}
  }

@incollection{ cabalar:2003a,
  author = {Pedro Cabalar},
  title = {A Preliminary Study on Reasoning about Causes},
  booktitle = {Working Papers of the 2003 {AAAI} Spring Symposium on
  	Logical Formalization of Commonsense Reasoning},
  publisher = {AAAI Press},
  year = {2003},
  editor = {Patrick Doherty and John McCarthy and Mary-Anne Williams},
  pages = {43--50},
  address = {Menlo Park, California},
  topic = {action-formalisms;causality;}
  }

@article{ caccamo-kowaltowski:1998a,
  author = {Mario-Jos\'e C\'accamo and Tomasz Kowaltowski},
  title = {Review of \emph{{F}inite-State Language Processing},
		edited by {E}mmanual {R}oche and {Y}ves {S}chabes},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {4},
  pages = {641--643},
  topic = {finite-state-nlp;}
  }

@book{ cacciari-tabossi:1993a,
  author = {Cristina Cacciari and Patrizia Tabosi},
  title = {Idioms: Processing, Structure, and Interpretation},
  publisher = {Lawrence Erlbaum Associates},
  year = {1993},
  address = {Mahwah, New Jersey},
  topic = {psycholinguistics;idioms;}
 }

@incollection{ cadoli_g-schaerf_m:1992a,
  author = {Grigori Cadoli and Marco Schaerf},
  title = {Approximate Reasoning and Non-Omniscient Agents},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fourth Conference ({TARK} 1992)},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Yoram Moses},
  pages = {169--183},
  address = {San Francisco},
  topic = {epistemic-logic;resource-limited-reasoning;
  	hyperintensionality;}
  }

@article{ cadoli_m-etal:1992a,
  author = {Marco Cadoli and Thomas Eiter and Georg Gottlob},
  title = {An Efficient Method for Eliminating Varying Predicates
  	from a Circumscription},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {54},
  number = {3},
  pages = {397--410},
  topic = {circumscription;nonmonotonic-logic;}
  }

@inproceedings{ cadoli_m-etal:1994a,
  author = {Marco Cadoli and Francesco Domini and Marco Schaerf},
  title = {Is Intractability of Non-Monotonic Logic a Real Drawback?},
  booktitle = {Proceedings of the Twelfth National Conference on
              Artificial Intelligence},
  year = {1994},
  editor = {Barbara Hayes-Roth and Richard Korf},
  pages = {946--951},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {kr;nonmonotonic-reasoning;kr-complexity-analysis;kr-course;}
  }

@incollection{ cadoli_m-etal:1994b,
  author = {Marco Cadoli and Thomas Eiter and Georg Georg Gottlob},
  title = {Default Logic as a Query Language},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {99--108},
  address = {San Francisco, California},
  topic = {kr;default-logic;query-languages;kr-course;}
  }

@incollection{ cadoli_m-etal:1996a,
  author = {Marco Cadoli and Francesco M. Donini and Paolo Liberatore and
  	Marco Schaerf},
  title = {Comparing Space Efficiency of Propositional Knowledge
  	Representation Formalisms},
  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 = {364--374},
  address = {San Francisco, California},
  topic = {kr;kr-complexity-analysis;nonmonotonic-reasoning;kr-course;}
  }

@article{ cadoli_m-etal:1996b,
  author = {Marco Cadoli and Francesco M. Donini and Marco Schaerf},
  title = {Is Intractability of Nonmonotonic Reasoning a Real
  	Drawback?},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {88},
  number = {1--2},
  pages = {215--251},
  topic = {nonmonotonic-logic;nonmonotonic-reasoning;complexity-in-AI;}
  }

@article{ cadoli_m-etal:1999a,
  author = {Marco Cadoli and Francesco M. Donini and Paolo Liberatore and
  	Marco Schaerf},
  title = {The Size of a Revised Knowledge Base},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {115},
  number = {1},
  pages = {25--64},
  topic = {belief-revision;complexity-in-AI;}
  }

@incollection{ cadoli_m-mancini:2004a,
  author = {Marco Cadoli and Toni Mancini},
  title = {Automated Reformulation of Specifications by Safe Delay
  		of Constraints},
  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 = {388--398},
  address = {Menlo Park, California},
  topic = {problem-solving;problem-specification;constraint-satisfaction;}
  }

@article{ cadoli_m-mancini:2006a,
  author = {Marco Cadoli and Toni Mancini},
  title = {Automated Reformulation of Specifications by Safe Delay
  		of Constraints},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {8--9},
  pages = {779--803},
  topic = {constraint-satisfaction;higher-order-logic;}
  }

@article{ cadoli_m-scarcello:2000a,
  author = {Marco Cadoli and Francesco Scarcello},
  title = {Semantical and Computational Aspects of {H}orn
  	Approximations},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {119},
  number = {1--2},
  pages = {1--17},
  acontentnote = {Abstract:
     Selman and Kautz proposed a method, called Horn approximation,
     for speeding up inference in propositional Knowledge Bases.
     Their technique is based on the compilation of a propositional
     formula into a pair of Horn formulae: a Horn Greatest Lower
     Bound (GLB) and a Horn Least Upper Bound (LUB). In this paper we
     focus on GLBs and address two questions that have been only
     marginally addressed so far:
     	1. what is the semantics of the Horn GLBs?
	2. what is the exact complexity of finding them?
     We obtain semantical as well as computational results. The major
     semantical result is: The set of minimal models of a
     propositional formula and the set of minimum models of its Horn
     GLBs are the same.  The major computational result is: Finding a
     Horn GLB of a propositional formula in CNF is NP -equivalent.
  },
  topic = {Horn-approximation;knowledge-compilation;complexity-in-AI;}
  }

@article{ cadoli_m-schaerf_a:2005a,
  author = {Marco Cadoli and Andrea Schaerf},
  title = {Compiling Problem Specifications into {SAT}},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {162},
  number = {1--2},
  pages = {89--120},
  topic = {problem-reformulation;model-checking;}
  }

@incollection{ cadoli_m-schaerf_m:1992b,
  author = {Marco Cadoli and Marco Schaerf},
  title = {Approximation in Concept Description Languages},
  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 = {330--341},
  address = {San Mateo, California},
  topic = {description-logics;approximation;}
  }

@book{ caferra-salzer:2000a,
  editor = {Ricardo Caferra and Gernot Salzer},
  title = {Automated Deduction in Classical and Non-Classical Logics:
    Selected Papers},
  publisher = {Springer-Verlag},
  year = {2000},
  address = {Berlin},
  contentnote = {TC:
     1.  Gilles Dowek, "Automated theorem proving in
     	   first-order logic modulo: on the difference between
	   type theory and set theory"
     2. Melvin Fitting, "Higher-order Modal Logic--A Sketch"
     3. Deepak Kapur and G. Sivakumar, "Proving
          Associative-Commutative Termination Using RPO-Compatible
	  Orderings"
     4. Alexander Leitsch, "Decision Procedures and Model
          Building, or How to Improve Logical Information in
	  Automated Deduction"
     5. David A. Plaisted and Yunshan Zhu, "Replacement Rules with
          Definition Detection"
     6. Thierry Boy de la Tour, "On the Comlexity [sic]
          of Finite Sorted Algebras"
     7. Domenico Cantone and Marianna Nicolosi Asmundo, "A Further
     	  and Effective Liberalization of the Delta-Rule in Free
	  Variable Semantic Tableaux"
     8. Domenico Cantone and Calogero G. Zarba, "A New Fast
     	  Tableau-Based Decision Procedure for an Unquantified
          Fragment of Set Theory"
     9. Ingo Dahn, "Interpretation of a Mizar-Like Logic in
          First-Order Logic"
    10. St\'ephane Demri and Rajeev Gor\'e, "An $O((n{\cdot}log
          n)^3$)-time transformation from {Grz} into
          Decidable Fragments of Classical First-Order Logic"
    11. Christian G. Ferm\"uller, "Implicational Completeness of
          Signed Resolution"
    12. Andrea Fromisano and Eugenio Omodeo, "An Equational
    	  Re-Engineering of Set Theories"
    13. Ullrich Hustadt andz Renate A. Schmidt, "Issues of
          Decidability for Description Logics in the Framework of
	  Resolution"
    14. Reinhard Pichler, "Extending Decidable Clause Classes Via
    	  Constraints"
    15. Reinhard Pichler, "Completeness and Redundancy in Constrained
    	  Clause Logic"
    16. Aida Pliu\v{s}keviciene, "Effective Properties of Some
          First-Order Intuitionistic Modal Logics"
    17. Grigore Rosu and Joseph Goguen, "Hidden Congruent Deduction"
    18. Viorica Sofronie-Stokkermans, "Resolution-based theorem
    	proving for SH$_n$-logics"
    19. Claus-Peter Wirth "Full First-Order Sequent and Tableau
        Calculi with Preservation of Solutions and the Liberalized
	Delta-Rule but without Skolemization"
  },
  ISBN = {3540671900 (softcover)},
  rtnote = {UMich Media Union Library, QA 76.9 .A96 A851 2000.},
  topic = {theorem-proving;modal-logic;}
 }

@article{ cagnoni:1977a,
  author = {Donatella Cagnoni},
  title = {A Note on the Elimination Rules},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {6},
  number = {3},
  pages = {269--281},
  topic = {proof-theory;}
  }

@unpublished{ cahill:1996a,
  author = {Lynne J. Cahill},
  title = {Morphonology in the Lexicon},
  year = {1996},
  rtnote = {In RHT collection.  Date is a guess.},
  note = {Unpublished manuscript, School of Cognitive and Computing
  	Sciences, University of Sussex.},
  topic = {computational-lexicography;nm-ling;}
  }

@unpublished{ cahill-gazdar:1996a,
  author = {Lynne J. Cahill and Gerald Gazdar},
  title = {Multilingual Lexicons for Related Languages},
  year = {1996},
  rtnote = {In RHT collection.  Date is a guess.},
  note = {Unpublished manuscript, School of Cognitive and Computing
  	Sciences, University of Sussex.},
  topic = {computational-lexicography;}
  }

@inproceedings{ cahn_je-brennan_se:1999a,
  author = {Janet E. Cahn and Susan E. Brennan},
  title = {A Psychological Model of Grounding and Repair in Dialog},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Psychological Models of Communication in Collaborative
	Systems},
  year = {1999},
  editor = {Susan E. Brennan and Alain Giboin and David R. Traum},
  pages = {25--33},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {discourse;conversational-record;}
  }

@article{ cahn_sm:1964a,
  author = {Steven M. Cahn},
  title = {Fatalistic Arguments},
  journal = {The Journal of Philosophy},
  year = {1964},
  volume = {62},
  number = {10},
  pages = {295--305},
  xref = {Commentary on: taylor_r:1962a. Also see: taylor:1964a.},
  topic = {(in)determinism;}
  }

@book{ cahn_sm:1967a,
  author = {Steven M. Cahn},
  title = {Fate, Logic, and Time},
  publisher = {Yale University Press},
  year = {1967},
  address = {New Haven},
  xref = {Criticism: chapman:1972a.},
  topic = {future-contingent-propositions;(in)determinism;}
 }

@article{ cahn_sm:1974a,
  author = {Steven M. Cahn},
  title = {Statements of Future Contingencies},
  journal = {Mind, New Series},
  year = {1974},
  volume = {81},
  number = {332},
  pages = {574},
  xref = {Reply to chapman:1972a.},
  acontentnote = {Abstract:
     In a note in ``Mind,'' Tobias Chapman claims that the solution
     to the fatalist's paradox which I offer in my book ``Fate,
     Logic, and Time" is defective in two respects. In this article I
     argue that both Chapman's objections are mistaken. First, he
     erroneously assumes that all statements are tensed. Second, he
     erroneously assumes that a three-valued logic must be purely
     truth-functional.     },
       topic = {future-contingent-propositions;}
  }

@incollection{ caicedo:1995a,
  author = {Xavier Caicedo},
  title = {Continuous Operations on Spaces of Functions},
  booktitle = {Quantifiers: Logic, Models, and Computation, Vol. 1},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {Micha{\l} Krynicki and Marcin Mostowski and Les{\l}aw W.
  	Szczerba},
  pages = {263--296},
  address = {Dordrecht},
  topic = {model-theory;topology;}
  }

@article{ cajori:1915a,
  author = {F Cajori},
  title = {The History of {Z}eno's Arguments on Motion},
  journal = {American Mathmatical Monthly},
  year = {1915},
  volume = {22},
  pages = {1--6; 77--82; 109--115; 143--149; 179--186; 215--220; 253--258},
  topic = {paradoxes-of-motion;Zeno;}
  }

@incollection{ calabar-etal:2006a,
  author = {Pedro Calabar and Sergei Odintsov and David Pearce},
  title = {Logical Foundations of Well-Founded Semantics},
  booktitle = {{KR}2006: Proceedings, Tenth International Conference on
      Principles of  Knowledge Representation and Reasoning},
  publisher = {AAAI Press},
  year = {2006},
  editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty},
  pages = {25--35},
  address = {Menlo Park, California},
  topic = {well-founded-semantics;stable-models;partial-equilibrium-logic;}
  }

@article{ calabrese:2003a,
  author = {Philip G. Calabrese},
  title = {Operating on Functions with Variable Domains},
  journal = {Journal of Philosophical Logic},
  year = {2003},
  volume = {32},
  number = {1},
  pages = {1--18},
  topic = {truth-value-gaps;conditional-constructions;}
  }

@article{ calabrese:2005a,
  author = {Philip G. Calabrese},
  title = {Toward a More Natural Expression of Quantum Logic with
  		{B}oolean Fractions},
  journal = {Journal of Philosophical Logic},
  year = {2005},
  volume = {34},
  number = {4},
  pages = {403--421},
  topic = {quantum-logic;}
  }

@incollection{ calder:1997a,
  author = {Jo Calder},
  title = {On Aligning Trees},
  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 = {75--80},
  address = {Somerset, New Jersey},
  topic = {empirical-methods-in-nlp;corpus-linguistics;
		corpus-tagging;}
  }

@article{ caleiro-etal:2003a,
  author = {C. Caleiro and W.A. Carnielli and M.E. Coniglio and A.
  	Sernidas and C. Sernidas},
  title = {Fibring Non-Truth-Functional Logics: Completeness
  	Preservation},
  journal = {Journal of Logic, Language, and Information},
  year = {2003},
  volume = {12},
  number = {2},
  pages = {183--211},
  topic = {fibred-semantics;combining-logics;paraconsistency;}
  }

@book{ calhoun-solomon_rc:1984a,
  editor = {Cheshire Calhoun and Robert C. Solomon},
  title = {What is an Emotion?  Classic Readings in Philosophical
  	Psychology},
  publisher = {Oxford University Press},
  year = {1984},
  address = {Oxford},
  topic = {emotion;}
 }

@incollection{ calif-mooney_rj:1998a,
  author = {Mary Elaine Calif and Raymond J. Mooney},
  title = {Relational Learning of Pattern-Match Rules for Information
		Extraction},
  booktitle = {{CoNLL97}: Computational Natural Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {T. Mark Ellison},
  pages = {9--15},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;information-retrieval;}
  }

@incollection{ callaway:2003a,
  author = {Charles B. Callaway},
  title = {Do We Need Deep Generation of Disfluent Dialogue?},
  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 = {6--11},
  address = {Menlo Park, California},
  topic = {nl-generation;computational-dialogue;disfluency;}
  }

@article{ callaway-lester:2002a,
  author = {Charles B. Callaway and James C. Lester},
  title = {Narrative Prose Generation},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {139},
  number = {2},
  pages = {213--252},
  topic = {nl-generation;fiction;narrative-generation;}
  }

@article{ callendar:1998a,
  author = {Craig Callendar},
  title = {Review of \emph{{B}angs, Crunches, Whimpers, and Shrieks:
  	Singularities and Acausalities in Relativistic Spacetime}, by
	{J}ohn {E}arman},
  journal = {Philosophical Review},
  year = {1998},
  volume = {107},
  number = {1},
  pages = {142--146},
  xref = {Review of earman:1995a},
  topic = {spacetime-singularities;philosophy-of-physics;}
  }

@article{ callendar:1999a,
  author = {Craig Callender},
  title = {Reducing Thermodynamics to Statistical Mechanics:
  	The Case of Entropy},
  journal = {The Journal of Philosophy},
  year = {1999},
  volume = {96},
  number = {7},
  pages = {348--373},
  topic = {philosophy-of-physics;foundations-of-thermodynamics;
  	theory-reduction;}
  }

@incollection{ callendar:2000a,
  author = {Craig Callendar},
  title = {Shedding Light on Time},
  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 = {S587--S599},
  address = {Newark, Delaware},
  topic = {philosophy-of-time;philosophy-of-physics;}
  }

@book{ callendar-huggert:2000a,
  editor = {Craig Callendar and Nick Huggert},
  title = {Physics Meets Philosophy at the {P}lanck Scale:
  	Contemporary Theories in Quantum Gravity},
  publisher = {Cambridge University Press},
  year = {2000},
  address = {Cambridge, England},
  ISBN = {052166445-4},
  topic = {philosophy-of-physics;quantum-gravity;}
 }

@inproceedings{ callisonburch-etal:2005a,
  author = {Chris Callison-Burch and Colin Bannard and Josh Schroeder},
   title = {Scaling Phrase-Based Statistical Machine Translation to
   		Larger Corpora and Longer Phrases},
   booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {255--262},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1032},
  topic = {machine-translation;statistical-nlp;}
  }

@article{ calloway-etal:2005a,
  author = {Charles Calloway and Elena Not and Alessandra Novello and
  		Cesare Rocchi and Oliviero Stock and Massimo Zancanaro},
  title = {Automatic Cinematography and Multilingual {NLG} for
  		Generating Video Documentations},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {165},
  number = {1},
  pages = {57--89},
  topic = {nl-generation;automatic-cinematography;}
  }

@incollection{ calmes-etal:2002a,
  author = {Martine de Calm\'es and Didier Dubois and Eyke
  	H\"ullermeier and Henri Prade and Florecne S\'edes},
  title = {A Fuzzy Set Approach to Flexible Case-Based Querying:
  	Methodology and Experimentation},
  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 = {449--458},
  address = {San Francisco, California},
  topic = {kr;query-planning;}
  }

@book{ calmet-etal:1996a,
  editor = {Jacques Calmet and John A. Campbell and Jochen Pfalzgraf},
  title = {Artificial Intelligence and Symbolic Mathematical Computation:
  	International Conference, {AISC}-3, Steyr, Austria,
	September 23-25, 1

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib