text:
ordinary-language-philosophy;}
 }

@book{ austin_jl:1962b,
  author = {John L. Austin},
  title = {How to Do Things With Words},
  publisher = {Oxford University Press},
  year = {1962},
  address = {Oxford},
  rtnote = {Reading notes on file.},
  xref = {Reviews: cerf:1966a1, cerf:1966a2, sayre:1963a},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {philosophy-of-language;speech-acts;pragmatics;}
 }

@incollection{ auwera:1986a,
  author = {Johan {van der Auwera}},
  title = {Conditionals and Speech Acts},
  booktitle = {On Conditionals},
  publisher = {Cambridge University Press},
  year = {1986},
  editor = {Elizabeth Traugott and Alice {ter Meulen} and Judy Reilly},
  pages = {197--214},
  address = {Cambridge, England},
  topic = {conditionals;speech-acts;}
  }

@incollection{ auyang:2000a,
  author = {Sunny Y. Auyang},
  title = {Mathematics and Reality: Two Notions of Spacetime in
  	the Analytic and Constructivist Views of Gauge Field Theories},
  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 = {S482--S494},
  address = {Newark, Delaware},
  topic = {philosophy-of-physics;gauge-theory;}
  }

@book{ auyang:2001a,
  author = {Sunny Y. Auyang},
  title = {Mind in Everyday Life and Cognitive Science},
  publisher = {The {MIT} Press},
  year = {2001},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-01181-6},
  topic = {foundations-of-cognitive-science;}
 }

@incollection{ avenhaus:1998a,
  author = {J. Avenhaus},
  title = {Introduction (To Part {IV}: Comparison and
		Cooperation of Theorem Provers)},
  booktitle = {Automated Deduction: A Basis for Applications.
  	Volume {II}, Systems and Implementation Techniques},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Wolfgang Bibel and Peter H. Schmidt},
  address = {Dordrecht},
  missinginfo = {A's 1st name, pages},
  topic = {theorem-proving;applied-logic;}
  }

@article{ avigad:1999a,
  author = {Jeremy Avigad},
  title = {Review of \emph{{I}n the Light of Logic}, by
  	{S}olomon {F}eferman},
  journal = {The Journal of Philosophy},
  year = {1999},
  volume = {96},
  number = {12},
  pages = {638--642},
  xref = {Review of: feferman_s:1998a.},
  topic = {philosophy-of-mathematics;proof-theory;}
  }

@article{ avigad:2000a,
  author = {Jeremy Avigad},
  title = {Interpreting Classical Theories in Constructive Ones},
  journal = {Journal of Symbolic Logic},
  year = {2000},
  volume = {65},
  number = {4},
  pages = {1785--1812},
  topic = {constructive-logics;}
  }

@article{ avigad:2002a,
  author = {Jeremy D. Avigad},
  title = {Review of `Explicit Provability and Constructive
  	Semantics', by {S}ergei {N}. {A}rtemov},
  journal = {The Bulletin of Symbolic Logic},
  year = {2002},
  volume = {8},
  number = {3},
  pages = {432--433},
  xref = {Review of: artemov:2000a.},
  topic = {provability-logic;}
  }

@incollection{ avigad-feferman_s:1998a,
  author = {Jeremy Avigad and Solomon Feferman},
  title = {{G}\"odel's Functional (`Dialectica') Interpretation},
  booktitle = {Handbook of Proof Theory},
  publisher = {Elsevier Science Publishers},
  year = {1998},
  editor = {Samuel R. Buss},
  pages = {337--405},
  address = {Amsterdam},
  xref = {Review: arai:1998f.},
  topic = {proof-theory;intuitionistic-logic;recursion-theory;}
 }

@book{ avramides:1989a,
  author = {A. Avramides},
  title = {Meaning and Mind: An Examination of a {G}ricean
  	Account of Language},
  publisher = {The {MIT} Press},
  year = {1989},
  address = {Cambridge, Massachusetts},
  topic = {speaker-meaning;philosophy-of-language;Grice;}
 }

@article{ avron:1991a,
  author = {Arnon Avron},
  title = {A Note on Provability, Truth, and Existence},
  journal = {Journal of Philosophical Logic},
  year = {1991},
  volume = {20},
  number = {4},
  pages = {403--409},
  topic = {goedels-first-theorem;philosophy-of-mathematics;}
  }

@article{ avron:2009a,
  author = {Arnon Avron},
  title = {Review of \emph{An Introduction to {G}\"odel's
  	Theorems}, by {P}eter {S}mith},
  journal = {The Bulletin of Symbolic Logic},
  year = {2009},
  volume = {15},
  number = {2},
  pages = {218--222},
  xref = {Review of: smith_p:2007a},
  topic = {Goedel;goedels-first-theorem;goedels-second-theorem;}
  }

@inproceedings{ avron-lev:2001a,
  author = {Arnon Avron and Iddo Lev},
  title = {A Formula-Preferential Base for Paraconsistent and
  		Plausible Reasoning Systems},
  booktitle = {Proceedings of the Inconsistency in Data and Knowledge
  		workshop (KRR-4) at the 17th International Joint
		Conference on Artificial Intelligence (IJCAI'01)},
  year = {2001},
  editor = {Leo Bertossi and Jan Chomicki },
  missinginfo = {pages},
  rtnote = {In RHT collection.},
  url = {http://www.stanford.edu/~iddolev/papers%5Cavron_lev_ijcai2001.zip},
  topic = {paraconsistency;nonmonotonic-reasoning;}
  }

@book{ awodey:2006a,
  author = {Steve Awodey},
  title = {Category Theory},
  publisher = {Oxford University Press},
  year = {2006},
  address = {Oxford},
  ISBN-13 = {978-0-19-856861-2},
  xref = {Review: rosicky:2007a},
  topic = {category-theory;}
 }

@article{ awodey:2008a,
  author = {Steve Awodey},
  title = {A Brief Introduction to Algebraic Set Atheory},
  journal = {The Bulletin of Symbolic Logic},
  year = {2008},
  volume = {14},
  number = {3},
  pages = {281--298},
  topic = {algebraic-set-theory;}
  }

@article{ awodey-kishida:2008a,
  author = {Steve Awodey and Koshei Kishida},
  title = {Topology and Modality:  The Topological Interpretation
  		of First-Order Modal Logic},
  journal = {The Review of Symbolic Logic},
  year = {2008},
  volume = {1},
  number = {2},
  pages = {143--166},
  topic = {quantifying-in-modality;topology;first-order-modal-logic;}
  }

@unpublished{ ax:1971a,
  author = {James Ax},
  title = {Group-Theoretic Treatment of the Axioms of Quantum Mechanics},
  year = {1971},
  note = {Unpublished manuscript, Department of Mathematics, State
  	University of New York},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {foundations-of-quantum-mechanics;formalizations-of-physics;}
  }

@inproceedings{ axelrod:2000a,
  author = {Scott Axelrod},
  title = {Natural Language Generation in the {IBM} Flight
      Reservation System},
  booktitle = {Conversational Systems},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Candace Sidner and James Allen and Phil Cohen and
  	Justine Cassell and Laila Dybkjaer and X.D. Huang and
	Masato Ishizaki and Candace Kamm and Lin-Shan Lee and
	Susann Luperfoy and Patti Price and Owen Rambow and
	Norbert Reithinger and Alex Rudnicky and Stephanie
	Seneff and Dave Stallard and David R. Traum and Marilyn
	Walker and Wayne Ward},
  pages = {21--26},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;nl-generation;nl-interfaces;}
  }

@incollection{ aydede:2004a,
  author = {Murat Aydede},
  title = {The Language of Thought Hypothesis},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  publisher = {Stanford University},
  editor = {Edward N. Zalta},
  url = {
   http://plato.stanford.edu/archives/fall2004/entries/language-thought/},
  year = {Fall 2004},
  rtnote = {In RHT collection.},
  topic = {mental-language;philosophy-of-cogsci;}
}

@book{ aydede:2006a,
  editor = {Muryat Aydede},
  title = {Pain: New Essays on its Nature and the Methodology of its
  		Study},
  publisher = {The {MIT} Press},
  year = {2006},
  address = {Cambridge, Massachusetts},
  ISBN = {9780-262-51188-9},
  topic = {pain;philosophy-of-cogsci;}
 }

@article{ aydede-guzeldere:2005a,
  author = {Murat Aydede and G\"uven G\"uzeldere},
  title = {Cognitive Architecture, Concepts, and Introspection: An
  	Information-Theoretic Solution to the Problem of Phenomenal
	Consciousness},
  journal = {No\^us},
  year = {2005},
  volume = {39},
  number = {2},
  pages = {197--255},
  topic = {consciousness;philosophy-of-mind;}
  }

@book{ ayer:1954a,
  author = {A.J. Ayer},
  title = {Philosophical Essays},
  publisher = {St. Martin's Press},
  year = {1954},
  address = {New York},
  topic = {analytic-philosophy;}
 }

@incollection{ ayer:1954b,
  author = {A.J. Ayer},
  title = {Freedom and Necessity},
  booktitle = {Philosophical Essays},
  publisher = {St. Martin's Press},
  year = {1954},
  address = {New York},
  missinginfo = {A's 1st name, pages},
  topic = {freedom;}
  }

@book{ ayer:1963a,
  author = {Alfred Jules Ayer},
  title = {The Concept of a Person, and Other Essays},
  publisher = {St. Martin's Press},
  year = {1963},
  address = {London},
  ISBN = {3540671900 (softcover)},
  rtnote = {UMich Graduate Library B 1618 .A983 C7
  		  Undergraduate B 1618 .A983 C7},
  topic = {analytic-philosophy;personal-identity;
	ordinary-language-philosophy;}
 }

@incollection{ ayer:1969a,
  author = {Alfred J. Ayer},
  title = {Has {A}ustin Refuted Sense-Data?},
  booktitle = {Symposium on {J}.{L}. {A}ustin},
  publisher = {Routledge and Kegan Paul},
  year = {1969},
  editor = {K.T. Fann},
  pages = {284--308},
  address = {London},
  missinginfo = {E's 1st name.},
  topic = {JL-Austin;phenomenalism;}
  }

@incollection{ ayer:1969b,
  author = {Alfred J. Ayer},
  title = {Rejoinder to Professor Forguson},
  booktitle = {Symposium on J.L. Austin},
  publisher = {Routledge and Kegan Paul},
  year = {1969},
  editor = {K.T. Fann},
  pages = {342--348},
  address = {London},
  missinginfo = {E's 1st name.},
  topic = {JL-Austin;phenomenalism;}
  }

@book{ ayer:1972a,
  author = {Alfred Jules Ayer},
  title = {Bertrand Russell},
  publisher = {Viking Press},
  year = {1972},
  address = {New York},
  ISBN = {0670158992},
  topic = {Russell;}
 }

@incollection{ ayer:1976a,
  author = {Alfred J. Ayer},
  title = {Identity and Reference},
  booktitle = {Language in Focus},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  editor = {Asa Kasher},
  pages = {3--24},
  address = {Dordrecht},
  topic = {identity;}
  }

@article{ ayers:1965a,
  author = {Michael R. Ayers},
  title = {Counterfactuals and Subjunctive Conditionals},
  journal = {Mind, New Series},
  year = {1965},
  volume = {74},
  number = {295},
  pages = {347--364},
  rtnote = {In RHT collection.},
  topic = {conditionals;subjunctive-mood;}
  }

@article{ ayers:1966a,
  author = {M.R. Ayers},
  title = {Austin on `Could' and `Could Have'\, },
  journal = {Philosophical Quarterly},
  year = {1966},
  volume = {16},
  pages = {113--120},
  missinginfo = {number},
  topic = {JL-Austin;ability;conditionals;counterfactual-past;}
  }

@inproceedings{ azarewicz-etal:1986a,
  author = {Jerone Azarewicz and Glenn Fala and Christof Heithecker},
  title = {Plan Recognition for Airbourne Tactical Decision Making},
  booktitle = {Proceedings of the Fifth National Conference on
              Artificial Intelligence},
  year = {1986},
  editor = {Tom Kehler and Stan Rosenschein},
  pages = {805--811},
  organization = {American Association for Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  topic = {plan-recognition;}
  }

@inproceedings{ azzam:1996a,
  author = {Saliha Azzam},
  title = {Resolving Anaphors in Embedded Sentences},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {263--269},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {anaphora;parsing-algorithms;}
 }

@inproceedings{ azzam-etal:1998a,
  author = {Saliha Azzam and Kevin Humphreys and Robert Gaizauskas},
  title = {Evaluating a Focus-Based Approach to Anaphora Resolution},
  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 = {74--78},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {anaphora-resolution;}
 }

@article{ azzouni:2001a,
  author = {Jody Azzouni},
  title = {Truth Via Anaphorically Unrestricted Quantifiers},
  journal = {Journal of Philosophical Logic},
  year = {2001},
  volume = {30},
  number = {4},
  pages = {329--354},
  topic = {truth;propositional-quantifiers;}
  }

@incollection{ baader:2003a,
  author = {Franz Baader},
  title = {Description Logic Terminology},
  booktitle = {The Description Logic Handbook:  Theory, Implementation
  		and Applications},
  publisher = {Cambridge University Press},
  year = {2003},
  editor = {Franz Baader and Diego Calvanese and Deborah L. McGuinness
  		and Daniele Nardi and Peter Patel-Schneider},
  pages = {485--495},
  address = {Cambridge, England},
  topic = {description-logics;}
  }

@incollection{ baader-etal:1992a,
  author = {Franz Baader and Bernhard Hollunder and Bernhard Nebel
  	and Hans-J\"urgen Profitlich},
  title = {Terminological Reasoning with Constraint Networks and
  	an Application to Plan Recognition},
  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 = {282--293},
  address = {San Mateo, California},
  topic = {description-logics;constraint-networks;}
  }

@article{ baader-etal:1993a,
  author = {Franz Baader and Hans-J\"urgen B\"urckert and Bernhard
  	Nebel and Werner Nutt and Gert Smolka},
  title = {On the Expressivity of Feature Logics with Negation,
  	Functional Uncertainty, and Sort Equations},
  journal = {Journal of Logic, Language, and Information},
  year = {1993},
  volume = {2},
  number = {1},
  pages = {1--18},
  contentnote = {Functionality is a feature logic construct proposed
  	by Kaplan to get long distance dependencies.  They prove that
	satisfiability is undecidable.},
  topic = {feature-structure-logic;kr-complexity-analysis;}
  }

@article{ baader-etal:1996a,
  author = {Franz Baader and Martin Buchheit and Bernhard Hollunder},
  title = {Cardinality Restrictions on Concepts},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {88},
  number = {1--2},
  pages = {195--213},
  acontentnote = {Abstract:
     The concept description formalisms of existing description
     logics systems allow the user to express local cardinality
     restrictions on the fillers of a particular role. It is not
     possible, however, to introduce global restrictions on the
     number of instances of a given concept. This article argues that
     such cardinality restrictions on concepts are of importance in
     applications such as configuration of technical systems, an
     application domain of description logics systems that is
     currently gaining in interest.  It shows that including such
     restrictions in the description language leaves the important
     inference problems such as instance testing decidable.  The
     algorithm combines and simplifies the ideas developed for the
     treatment of qualified number restrictions and of general
     terminological axioms.
  },
  topic = {kr;description-logics;cardinality-restrictions;}
  }

@inproceedings{ baader-etal:2000a,
  author = {Franz Baader and Ralf K\"usters and Ralf M\"olitor},
  title = {Rewriting Concepts Using Terminologies},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {297--308},
  topic = {description-logics;concept-definitions;}
  }

@book{ baader-etal:2003a,
  editor = {Franz Baader and Diego Calvanese and Deborah L. McGuinness
  		and Daniele Nardi and Peter Patel-Schneider},
  title = {The Description Logic Handbook:  Theory, Implementation
  		and Applications},
  publisher = {Cambridge University Press},
  year = {2003},
  address = {Cambridge, England},
  ISBN = {0-521 78176 0 (hbk)},
  contentnote = {TC:
     1. Daniele Nardi and Ronald J. Brachman, "An Introduction to
     		Description Logics", pp. 1--40
     2. Franz Baader and Werner Nutt, "Basic Description Logics", pp. 43--95
     3. Francesco M. Domini, "Complexity of Reasoning", pp. 96--136
     4. Ulrike Sattler and Diego Calvanese and Ralf Molitor,
     		"Relationships with Other Formalisms", pp. 137--177
     5. Diego Calvanese and Giuseppe de Giacomo, "Expressive
     		Description Logics", pp. 178--218
     6. Franz Baader and Ralf K\"usters and Frank Wolter, "Extensions
     		to Description Logics", pp. 219--261
     7. Deborah L. McGuinness and Peter F. Patel-Schneider, "From
     		Description Logic Provers to Knowledge Representation
		Systems", pp. 265--281
     8. Ralf M\oller and V\"olker Haarslev, "Description Logic
     		Systems", pp. 282--305
     9. Ian Horrocks, "Implementation and Optimization
     		Techniques", pp. 306--346
    10. Alex Borgida and Ronald J. Brachman, "Conceptual Modeling
    		with Description Logics", pp. 349--372
    11. Christopher A. Welty, "Software Engineering", pp. 373--385
    12. Deborah L. McGuinness, "Configuration", pp. 388--405
    13. Alan Rector, "Medical Informatics", pp. 406--426
    14. Ian Horrocks and Deborah L. McGuinness and Christopher A.
    		Welty, "Digital Libraries and Information
		Systems", pp. 427--449
    15. Enrico Franconi, "Natural Language Processing", pp. 450--461
    16. Alex Borgida and Maurizio Lenzerini and Riccardo
    		Rosati, "Description Logics for Databases", pp. 462--484
    17. Franz Baader, "Description Logic Terminology", pp. 485--495
  },
 topic = {description-logics;}
 }

@inproceedings{ baader-hollunder:1992a,
  author = {Franz Baader and Bernhard Hollunder},
  title = {Embedding Defaults into Terminological Knowledge Representation
  	Formalisms},
  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 = {306--317},
  address = {San Mateo, California},
  topic = {kr;description-logics;inheritance-theory;kr-course;}
  }

@inproceedings{ baader-hollunder:1993a,
  author = {Franz Baader and Bernhard Hollunder},
  title = {How to Prefer More Specific Defaults in Terminological
  	Default Logic},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {669--675},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  rtnote = {In RHT collection.},
  topic = {kr;nonmonotonic-prioritization;description-logics;kr-course;}
  }

@article{ baader-hollunder:1995a,
  author = {Franz Baader and Bernhard Hollunder},
  title = {Embedding Defaults into Terminological Knowledge Representation
  	Systems},
  journal = {Journal of Automated Reasoning},
  year = {1995},
  volume = {14},
  pages = {149--180},
  missinginfo = {number},
  topic = {kr;description-logics;inheritance-theory;kr-course;}
  }

@article{ baader-hollunder:1995b,
  author = {Franz Baader and Bernhard Hollunder},
  title = {Priorities on Defaults with Prerequisites, and their
  	Application in Treating Specificity in Terminological
  	Default Logic},
  journal = {Journal of Automated Reasoning},
  year = {1995},
  volume = {15},
  pages = {41--68},
  missinginfo = {number},
  topic = {kr;nonmonotonic-prioritization;description-logics;kr-course;}
  }

@inproceedings{ baader-laux:1995a,
  author = {Franz Baader and Armin Laux},
  title = {Terminological Logics with Modal Operators},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {808--814},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {kr;description-logics;extensions-of-kl1;kr-course;}
 }

@incollection{ baader-lutz:2006a,
  author = {Franz Baader and Carsten Lutz},
  title = {Description Logic},
  booktitle = {Handbook of Modal Logic},
  year = {2006},
  editor = {Patrick Blackburn and Johan van Benthem and Frank Wolter},
  pages = {757--819},
  address = {New York},
  rtnote = {In RHT collection.  File drawers.},
  topic = {modal-logic;description-logics;}
  }

@inproceedings{ baader-nutt:1992a,
  author = {Franz Baader and Werner Nutt},
  title = {Are Complete and Expressive Terminological Systems
  	Feasible?},
  booktitle = {Working Notes, {AAAI} Fall Symposium on Issues in Description
  	Logics: Users Meet Developers},
  year = {1992},
  editor = {Robert MacGregor},
  pages = {1--5},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  contentnote = {Discusses the KR system KRIS.},
  topic = {kr;krcourse;description-logics;}
  }

@incollection{ baader-nutt:2003a,
  author = {Franz Baader and Werner Nutt},
  title = {Basic Description Logics},
  booktitle = {The Description Logic Handbook:  Theory, Implementation
  		and Applications},
  publisher = {Cambridge University Press},
  year = {2003},
  editor = {Franz Baader and Diego Calvanese and Deborah L. McGuinness
  		and Daniele Nardi and Peter Patel-Schneider},
  pages = {43--95},
  address = {Cambridge, England},
  topic = {description-logics;kr-course;}
  }

@incollection{ baader-sattler:1996a,
  author = {Franz Baader and Ulrike Sattler},
  title = {Number Restrictions on Complex Roles in Description
  	Logics: A Preliminary Report},
  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 = {328--339},
  address = {San Francisco, California},
  topic = {kr;description-logics;extensions-of-kl1;kr-course;}
  }

@article{ baader-sattler:2001a,
  author = {Franz Baader and Ulrike Sattler},
  title = {Algorithms for Description Logics},
  journal = {Studia Logica},
  year = {2001},
  volume = {69},
  number = {1},
  pages = {5--40},
  topic = {proof-theory;semantic-tableaux;modal-logic;description-logics;
  	classifier-algorithms;}
  }

@book{ baader-schultz_ku:1996a,
  editor = {Franz Baader and Klaus U. Schultz},
  title = {Frontiers of Combining Systems},
  publisher = {Kluwer Academic Publishers},
  year = {1996},
  address = {Dordrecht},
  ISBN = {072342712},
  rtnote = {This is the first of a series of conferences.},
  topic = {combining-logics;}
 }

@incollection{ baader-schultz_ku:1998a,
  author = {Franz Baader and Klaus U. Schulz},
  title = {Unification Theory},
  booktitle = {Automated Deduction: A Basis for Applications.
  	Volume {I}, Foundations: Calculi and Methods},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Wolfgang Bibel and Peter H. Schmidt},
  address = {Dordrecht},
  missinginfo = {A's 1st name, pages},
  topic = {theorem-proving;applied-logic;unification-of-FSs;}
  }

@inproceedings{ baader-schulz_ku:1992a,
  author = {Franz Baader and Klaus U. Schulz},
  title = {Unification in the Union of Disjoint Equational Theories:
                   Combining Decision Procedures},
  booktitle = {Proceedings of the 11th International Conference on
                   Automated Deduction},
  editor = {Deepak Kapur},
  publisher = {Springer-Verlag},
  year = {1992},
  address = {Berlin},
  series = {Lecture Notes in Artificial Intelligence},
  volume = 607,
  pages = {50--65},
  topics = {unification-of-FSs;}
}

@book{ baader-schulz_ku:1998b,
  editor = {Franz Baader and Klaus Ulrich Schulz},
  title = {Frontiers of Combining Systems 2},
  publisher = {Research Studies Press},
  year = {1998},
  address = {Berlin},
  ISBN = {0792342712},
  rtnote = {UMich Media Union Qa 9 .A1 F761},
  topic = {combining-logics;combining-systems;}
 }

@inproceedings{ baader-usters:2000a,
  author = {Franz Baader and Ralf K\"usters},
  title = {Matching in Description Logics with Existential
        Restrictions},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {261--272},
  topic = {taxonomic-logic;pattern-matching;}
  }

@article{ baars:1994a,
  author = {Bernard J. Baars},
  title = {A Thoroughly Empirical Approach to Consciousness},
  journal = {Psyche},
  year = {1994},
  volume = {6},
  missinginfo = {pages, number  Maybe this is an online journal???},
  topic = {philosophy-of-mind;other-modeling;}
  }

@book{ baars:1997a,
  author = {Bernard J. Baars},
  title = {In the Theatre of Consciousness: the Workspace of the Mind},
  publisher = {Oxford University Press},
  year = {1997},
  address = {Oxford},
  topic = {philosophy-of-mind;cognitive-psychology;consciousness;}
 }

@book{ baayen:2001a,
  author = {R. Harald Baayen},
  title = {Word Frequency Distributions},
  publisher = {Kluwer Academic Publishers},
  year = {2001},
  address = {Dordrecht},
  ISBN = {0-7923-7017-1},
  xref = {Review: sampson_g:2002a},
  topic = {corpus-statistics;word-frequencies;}
 }

@article{ baayen-sproat:1996a,
  author = {Harald Baayen and Richard Sproat},
  title = {Estimating Lexical Priors for Low-Frequency
  	Morphologically Ambiguous Forms},
  journal = {Computational Linguistics},
  year = {1996},
  volume = {22},
  number = {2},
  pages = {155--166},
  topic = {corpus-statistics;}
  }

@incollection{ baaz-etal:1998a,
  author = {M. Baaz et al.},
  title = {Extension Methods in Automated Deduction},
  booktitle = {Automated Deduction: A Basis for Applications.
  	Volume {II}, Systems and Implementation Techniques},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Wolfgang Bibel and Peter H. Schmidt},
  address = {Dordrecht},
  missinginfo = {A's 1st name, other authors, pages},
  topic = {theorem-proving;applied-logic;}
  }

@article{ baaz-ieenhof:2008a,
  author = {Mathias Baaz and Rosalie Ieenhof},
  title = {On {S}kolemization in Constructive Theories},
  journal = {Journal of Symbolic Logic},
  year = {2008},
  volume = {73},
  number = {3},
  pages = {969--998},
  topic = {skolemization;intuitionistic-logic;}
  }

@book{ baber-noyes:1993a,
  editor = {Christopher Baber and Janet M. Noyes},
  title = {Interactive Speech Technology: Human Factors Issues in
  		the Application of Speech Input},
  publisher = {Taylor \& Francis},
  year = {1993},
  address = {Bristol, Pennsylvania},
  ISBN = {074840127X (paper)},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 I5931 1993.},
  topic = {speech-processing;spoken-dialogue-systems;HCI;}
 }

@inproceedings{ bacchus:1989a,
  author = {Fahiem Bacchus},
  title = {A Modest, but Semantically Well Founded, Inheritance
  	Reasoner},
  booktitle = {Proceedings of the Eleventh International Joint
  	Conference on Artificial Intelligence},
  year = {1989},
  editor = {N.S. Sridharan},
  pages = {1104--1109},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, CA},
  topic = {inheritance-theory;}
  }

@book{ bacchus:1990a,
  author = {Fahiem Bacchus},
  title = {Representing and Reasoning with Probabilistic Knowledge},
  publisher = {The {MIT} Press},
  year = {1990},
  address = {Cambridge, Massachusetts},
  xref = {Review: gryzmalabusse:1999a.},
  topic = {probabilistic-reasoning;reasoning-about-uncertainty;}
 }

@inproceedings{ bacchus:1991a,
  author = {Fahiem Bacchus},
  title = {Default Reasoning from Statistics},
  booktitle = {Proceedings of the Ninth National Conference on
              Artificial Intelligence},
  year = {1991},
  editor = {Thomas Dean and Kathleen McKeown},
  pages = {392--398},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {statistical-inference;nonmonotonic-reasoning;}
  }

@incollection{ bacchus:1996a,
  author = {Fahiem Bacchus},
  title = {Utility Independence in Qualitative Decision Theory},
  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 = {542--552},
  address = {San Francisco, California},
  topic = {kr;qualitative-utility;kr-course;}
  }

@inproceedings{ bacchus:1999a,
  author = {Fahiem Bacchus},
  title = {{TL}Plan: Planning Using Declarative Search Control
  		(Abstract)},
  booktitle = {Workshop on Logic-Based Artificial Intelligence,
	       Washington, DC, June 14--16, 1999},
  year = {1999},
  editor = {Jack Minker},
  publisher = {Computer Science Department, University of Maryland},
  address = {College Park, Maryland},
  topic = {declarative-search-control;planning-algorithms;}
  }

@article{ bacchus:2001a,
  author = {Fahiem Bacchus},
  title = {{AIPS}'00 Planning Competition},
  journal = {The {AI} Magazine},
  year = {2001},
  volume = {22},
  number = {1},
  pages = {47--56},
  topic = {planning;planning-algorithms;planning-systems;}
  }

@inproceedings{ bacchus:2002a,
  author = {Fahiem Bacchus},
  title = {Enhancing {D}avis {P}utnam with Enriched Binary Clause
  	Reasoning},
  booktitle = {Proceedings of the Eighteenth National Conference on
              Artificial Intelligence},
  year = {2002},
  editor = {Rina Dechter and Michael Kearns and Richard S. Sutton},
  pages = {613--619},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {model-checking;}
  }

@incollection{ bacchus-etal:1989a1,
  author = {Fahiem Bacchus and Josh Tennenberg and Johannes Koomen},
  title = {A Non-Reified Temporal Logic},
  booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1989},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {2--10},
  address = {San Mateo, California},
  contentnote = {Proposes a termporal logic in sorted FOL.},
  xref = {Journal publication: bacchus-etal:1989a2.},
  topic = {temporal-representation;}
  }

@article{ bacchus-etal:1989a2,
  author = {Fahiem Bacchus and Josh Tennenberg and Johannes Koomen},
  title = {A Non-Reified Temporal Logic},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {52},
  number = {1},
  pages = {87--108},
  contentnote = {Proposes a temporal logic in sorted FOL.},
  xref = {Conference publication: bacchus-etal:1989a.},
  topic = {temporal-representation;kr;krcourse;}
  }

@article{ bacchus-etal:1990a,
  author = {Fahiem Bacchus and Henry E. {Kyburg, Jr.} and Mariam
  	Thalos},
  title = {Against Conditionalization},
  journal = {Synth\'ese},
  year = {1990},
  volume = {84},
  number = {3},
  pages = {475--506},
  topic = {probability-kinematics;Dutch-book-argument;}
  }

@inproceedings{ bacchus-etal:1992a,
  author =  {Fahiem Bacchus and Adam Grove and Joseph Halpern and
   	      Daphne Kohler},
  title = {From Statistics to Belief},
  booktitle = {Proceedings of the Tenth National Conference on
              Artificial Intelligence},
  year = {1992},
  editor = {Paul Rosenbloom and Peter Szolovits},
  pages = {602--608},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  topic = {foundations-of-probability;indifference;world-entropy;}
  }

@inproceedings{ bacchus-etal:1993a,
  author = {Fahiem Bacchus and Adam Grove and Daphne Koller},
  title = {Statistical Foundations for Default Reasoning},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  missinginfo = {pagers},
  topic = {nonmonotonic-logic;probability-logics;}
  }

@inproceedings{ bacchus-etal:1994a,
  author = {Fahiem Bacchus and Adam Grove and Joseph Halpern and
  	      Daphne Koller},
  title = {Forming Beliefs about a Changing World},
  booktitle = {Proceedings of the Twelfth National Conference on
               Artificial Intelligence},
  year = {1994},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  pages = {222--229},
  rtnote = {In RHT collection.},
  contentnote = {Title is misleading.   A generalization of situation
  		calculus to accommodate uncertainty.  Uses random
		worlds for the statistics.  Includes an indeterministic
		account of action.},
  topic = {nondeterministic-action; foundations-of-planning;frame-problem;}
 }

@inproceedings{ bacchus-etal:1994b,
  author = {Fahiem Bacchus and Adam Grove and Joseph Halpern and
  	      Daphne Koller},
  title = {Generating New Beliefs from Old},
  booktitle = {Proceedings of the Tenth Conference on Uncertainty in
  		Artificial Intelligence},
  year = {1994},
  pages = {37--45},
  editor = {Paul Rosenbloom and Peter Szolovits},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {foundations-of-probability;indifference;world-entropy;}
  }

@inproceedings{ bacchus-etal:1995a,
  author = {Fahiem Bacchus and Joseph Y. Halpern and Hector J. Levesque},
  title = {Reasoning about Noisy Sensors in the Situation Calculus},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {1933--1940},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {action-formalisms;reasoning-about-uncertainty;}
  }

@article{ bacchus-etal:1996a,
  author = {Fahiem Bacchus and Adam Grove and Joseph Y. Halpern and
  	Daphne Koller},
  title = {From Statistical Knowledge Bases to Degrees of Belief},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {87},
  number = {1--2},
  pages = {75--143},
  topic = {statistical-inference;qualitative-probability;}
  }

@article{ bacchus-etal:1999a,
  author = {Fahiem Bacchus and Joseph Y. Halpern and Hector J.
  	Levesque},
  title = {Reasoning about Noisy Sensors and Effectors in the
  	Situation Calculus},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {111},
  number = {1--2},
  pages = {171--208},
  topic = {planning-formalisms;sensing-actions;uncertainty-in-AI;}
  }

@article{ bacchus-etal:2002a,
  author = {Fahiem Bacchus and Xinguang Chen and Peter van Beek and
  	Toby Walsh},
  title = {Binary versus Non-Binary Constraints},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {140},
  number = {1--2},
  pages = {1--37},
  topic = {constraint-satisfaction;}
  }

@inproceedings{ bacchus-grove:1995a,
  author = {Fahiem Bacchus and Adam Grove},
  title = {Graphical Models for Preference and Utility},
  booktitle = {Uncertainty in Artificial Intelligence.  Proceedings of
  	the Eleventh Conference (1995)},
  publisher = {Morgan Kaufmann Publishers},
  year = {1995},
  address = {San Francisco},
  pages = {3--10},
  rtnote = {In RHT collection.},
  contentnote = {Idea: use _conditional_additive_independence_ as the basis
   	   for graph representations that may help computability.  },
  topic = {Bayesian-networks,qualitative-utility;preference;}
  }

@incollection{ bacchus-grove:1996a,
  author = {Fahiem Bacchus and Adam Grove},
  title = {Utility Independence in Qualitative Decision Theory},
  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 = {542--552},
  address = {San Francisco, California},
  topic = {kr;qualitative-utility;kr-course;}
  }

@inproceedings{ bacchus-grove:1997a,
  author = {Fahiem Bacchus and Adam Grove},
  title = {Independence in Qualitative Decision Theory},
  booktitle = {Working Papers of the {AAAI} Spring Symposium on
  	Qualitative Preferences in Deliberation and Practical
	Reasoning},
  year = {1997},
  editor = {Jon Doyle and Richmond H. Thomason},
  pages = {1--8},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {qualitative-utility;foundations-of-utility;}
  }

@article{ bacchus-kabanza:2000a,
  author = {Fahiem Bacchus and Froduald Kabanza},
  title = {Using Temporal Logics to Express Search Control
  	Knowledge for Planning},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {116},
  number = {1--2},
  pages = {123--191},
  topic = {procedural-control;temporal-logic;}
  }

@incollection{ bacchus-petrick:1998a,
  author = {Fahiem Bacchus and Ron Petrick},
  title = {Modeling an Agent's Incomplete Knowledge during Planning
  	and Execution},
  booktitle = {{KR}'98: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1998},
  editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C.
		Shapiro},
  pages = {432--443},
  address = {San Francisco, California},
  topic = {kr;planning;reasoning-about-knowledge;
  	representing-agent-knowledge;kr-course;}
  }

@article{ bacchus-yang_q:1994a,
  author = {Fahiem Bacchus and Qiang Yang},
  title = {Downward Refinement and the Efficiency of Hierarchical
  	Problem Solving},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {71},
  number = {1},
  pages = {41--100},
  topic = {abstraction;hierarchical-problem-solving;
  	AI-algorithms-analysis;}
  }

@book{ bach_e:1964a,
  author = {Emmon Bach},
  title = {An Introduction to Transformational Grammars},
  publisher = {Holt, Rinehart and Winston},
  year = {1964},
  address = {New York},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {transformational-grammar;}
 }

@incollection{ bach_e:1968a1,
  author = {Emmon Bach},
  title = {Nouns and Noun Phrases},
  booktitle = {Universals in Linguistic Theory},
  publisher = {Holt, Rinehart and Winston},
  year = {1968},
  editor = {Emmon Bach and Robert Harms},
  address = {New York},
  missinginfo = {pages},
  xref = {Republication: bach_e:1968a2.},
  topic = {nl-semantics;nl-quantification;}
  }

@incollection{ bach_e:1968a2,
  author = {Emmon Bach},
  title = {Nouns and Noun Phrases},
  booktitle = {The Logic of Grammar},
  publisher = {Dickenson Publishing Co.},
  year = {1975},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {79--99},
  address = {Encino, California},
  xref = {Original Publication: bach_e:1968a1.},
  topic = {nl-semantics;nl-quantification;}
  }

@incollection{ bach_e:1974a,
  author = {Emmon Bach},
  title = {Explanatory Adequacy},
  booktitle = {Explaining Linguistic Phenomena},
  publisher = {Hemisphere Publishing Corp.},
  year = {1974},
  editor = {David Cohen},
  pages = {153--171},
  address = {Washington, DC},
  topic = {philosophy-of-linguistics;linguistics-methodology;
  		explanation;}
  }

@unpublished{ bach_e:1977a,
  author = {Emmon Bach},
  title = {Control},
  year = {1977},
  note = {Unpublished manuscript, University of Massachusetts.},
  rtnote = {In RHT collection.},
  topic = {syntactic-control;Montague-grammar;}
  }

@article{ bach_e:1979a,
  author = {Emmon Bach},
  title = {Control in {M}ontague Grammar},
  journal = {Linguistic Inquiry},
  year = {1979},
  volume = {10},
  pages = {515--531},
  missinginfo = {number},
  topic = {nl-semantics[nl-syntax;Montague-grammar;syntactic-control;}
  }

@article{ bach_e:1980a,
  author = {Emmon W. Bach},
  title = {In Defense of Passive},
  journal = {Linguistics and Philosophy},
  year = {1980},
  volume = {3},
  number = {3},
  pages = {297--341},
  topic = {transformational-grammar;passive;}
  }

@incollection{ bach_e:1981a,
  author = {Emmon Bach},
  title = {On Time, Tense, and Aspect: An Essay in {E}nglish
  	Metaphysics},
  booktitle = {Radical Pragmatics},
  publisher = {Academic Press},
  year = {1981},
  editor = {Peter Cole},
  pages = {63--81},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {temporal-logic;nl-metaphysics;Aktionsarten;tense-aspect;
  	nl-tense;}
  }

@incollection{ bach_e:1984a,
  author = {Emmon Bach},
  title = {Some Generalizations of Categorial Grammars},
  booktitle = {Varieties of Formal Semantics},
  publisher = {Foris Publications},
  year = {1984},
  editor = {Fred Landman and Frank Veltman},
  pages = {1--23},
  address = {Dordrecht},
  topic = {categorial-grammar;}
  }

@article{ bach_e:1986a,
  author = {Emmon Bach},
  title = {The Algebra of Events},
  journal = {Linguistics and Philosophy},
  year = {1986},
  volume = {9},
  number = {1},
  pages = {5--16},
  topic = {nl-semantics;events;tense-aspect;Aktionsarten;}
  }

@incollection{ bach_e:1986b,
  author = {Emmon Bach},
  title = {Natural Language Metaphysics},
  booktitle = {Logic, Methodology, and Philosophy Of Science, {VII}:
  	Proceedings of the Seventh International Congress of Logic,
	Methodology, and Philosophy of Science, Salzburg, 1983},
  publisher = {North-Holland},
  year = {1986},
  editor = {Ruth Barcan Marcus and Georg J.W. Dorn and Paul Weingartner},
  pages = {63--81},
  address = {Amsterdam},
  topic = {metaphysics;philosophical-ontology;nl-semantics;}
  }

@book{ bach_e:1989a,
  author = {Emmon Bach},
  title = {Informal Lectures on Formal Semantics},
  publisher = {State University of New York Press},
  year = {1989},
  address = {Albany, NY},
  rtnote = {Reading notes on file.},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  rtnote = {semantics-course;},
  topic = {nl-semantics;common-sense-knowledge;
  	nl-metaphysics;}
 }

@inproceedings{ bach_e:1994a,
  author = {Emmon Bach},
  title = {The Meanings of Words},
  booktitle = {Proceedings from Semantics and Linguistic Theory {IV}},
  year = {1994},
  editor = {Mandy Harvey and Lynn Santelmann},
  pages = {16--34},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {nl-semantics;universal-grammar;Wakashan-language;
		lexical-semantics;}
  }

@incollection{ bach_e:1994b,
  author = {Emmon Bach},
  title = {The Semantics of Syntactic Categories},
  booktitle = {The Logical Foundations of Cognition},
  publisher = {Oxford University Press},
  year = {1994},
  editor = {John Macnamara and Gonzalo E. Reyes},
  pages = {264--281},
  address = {Oxford},
  topic = {nl-semantic-types;}
  }

@incollection{ bach_e:1995a,
  author = {Emmon Bach},
  title = {A Note on Quantification and Blankets in {H}aisla},
  booktitle = {Quantification in Natural Languages, Vol. 1},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {Emmon Bach and Eloise Jelinek and Angelika Kratzer and
   	Barbara Partee},
  pages = {13--20},
  address = {Dordrecht},
  topic = {nl-semantics;nl-quantifiers;Wakashan-language;}
  }

@article{ bach_e:2002a,
  author = {Emmon Bach},
  title = {On the Surface Verb q'ay'ai\raisebox{.5ex}{\small\sf \i}qela},
  journal = {Linguistics and Philosophy},
  year = {2002},
  volume = {25},
  number = {5--6},
  pages = {531--544},
  topic = {universal-grammar;lexical-semantics;}
  }

@article{ bach_e-cooper_r:1977a,
   author = {Emmon Bach and Robin Cooper},
   title = {The {NP}-{S} Analysis of Relative Clauses and Compositional
   	Semantics},
   journal = {Linguistics and Philosophy},
   year = {1977},
   volume = {2},
   number = {1},
   pages = {145--149},
   rtnote = {semantics-course;},
   topic = {nl-semantics;syntax-semantics-interface;
   	semantic-compositionality;}
   	}

@book{ bach_e-etal:1995a,
   editor = {Emmon Bach and Eloise Jelinek and Angelika Kratzer and
   	Barbara Partee},
   title = {Quantification in Natural Languages, Vols. 1 and 2},
   publisher = {Kluwer Academic Publishers},
   year = {1995},
   volume = {54 and 55},
   series = {Studies in Linguistics and Philosophy},
   address = {Dordrecht},
   contentnote = {Ref for both volumes.},
   xref = {Review: vanderdoes-verkuyl:1999a.},
   topic = {nl-semantics;nl-quantifiers;}
 }

@book{ bach_e-etal:1995b,
   editor = {Emmon Bach and Eloise Jelinek and Angelika Kratzer and
   	Barbara Partee},
   title = {Quantification in Natural Languages, Vol. 1},
   publisher = {Kluwer Academic Publishers},
   year = {1995},
   volume = {54},
   series = {Studies in Linguistics and Philosophy},
   address = {Dordrecht},
   contentnote = {This ref for volume 1 only. TC: Introduction.
   	       E. Bach, A Note on Quantification and Blankets in Haisla.
	       M. Baker, On the Absence of Certain Quantifiers in Mohawk.
	       M. Bittner, Quantification in Eskimo: A Challenge for
	       			Compositional Semantics.
	       M. Bittner and K. Hale, Remarks on Definiteness in Walpiri.
	       G. Chierchia, The Variability of Impersonal Subjects.
	       I. Comorovski, On Quantifier Strength and Partitive Noun
	       		Phrases
	       V. Dayal, Quantification in Correlatives.
	       N. Evans, A-Quantifiers and Scope in Malayi.
	       L. Faltz, Towards a Typology of Natural Logic.
	       D. Gil, Universal Quantifiers and Distributivity.
	       M. Haspelmath, Diachronic Sources of `All' and `Every'.
	   },
   topic = {nl-semantics;nl-quantifiers;}
 }

@book{ bach_e-etal:1995c,
   editor = {Emmon Bach and Eloise Jelinek and Angelika Kratzer and
   	Barbara Partee},
   title = {Quantification in Natural Languages, Vol. 2},
   publisher = {Kluwer Academic Publishers},
   year = {1995},
   volume = {55},
   series = {Studies in Linguistics and Philosophy},
   address = {Dordrecht},
   contentnote = {This ref for volume 2 only. TC:
   	       J. Higginbotham, Mass and Count Quantifiers.
	       H. de Hoop, On the Characterization of the Weak-Strong
	       		Distinction.
	       P. Jacobson, On the Quantificational Force of English Free
	       		Relatives.
	       E. Jelinek, Quantification in Straits Salish.
	       B. Partee, Quantificational Structures and Compositionality.
	       K. Petronio, Bare Noun Phrases Verbs and Quantification in ASL
	       Craige Roberts, Domain Restriction in Dynamic Semantics
	       Marcia Damaso Vieira, The Expression of
	       		Quantificational Notions in Asurini do
			Trocara: Evidence against the Universality of
			Determiner Quantification
	   },
   topic = {nl-semantics;nl-quantifiers;}
 }

@incollection{ bach_e-etal:1995d,
  author = {Emmon Bach and Eloise Jelinek and Angelika Kratzer and
   	Barbara Partee},
  title = {Introduction},
  booktitle = {Quantification in Natural Languages, Vol. 1},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {Emmon Bach and Eloise Jelinek and Angelika Kratzer and
   	Barbara Partee},
  pages = {1--11},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;nl-quantifiers;}
  }

@inproceedings{ bach_e-partee:1980a,
  author = {Emmon Bach and Barbara Partee},
  title = {Anaphora and Semantic Structure},
  booktitle = {Papers From the Parasession on Pronouns and Anaphora},
  editor = {K.J. Kreiman and A. Ojeda},
  year = {1980},
  pages = {1--28},
  publisher = {Chicago Linguistics Society},
  address = {Chicago University, Chicago, Illinois},
  topic = {anaphora;nl-semantics;}
  }

@incollection{ bach_k:1979a,
  author = {Kent Bach},
  title = {Meaning, Speech Acts, and Communication},
  booktitle = {Basic Topics in the Philosophy of Language},
  publisher = {Prentice-Hall},
  year = {1979},
  editor = {Robert M. Harnish},
  pages = {3--21},
  address = {Englewood Cliffs, New Jersey},
  topic = {speech-acts;implicature;pragmatics;speaker-meaning;}
  }

@article{ bach_k:1981a,
  author = {Kent Bach},
  title = {Referential/Attributive},
  journal = {Synth\'ese},
  year = {1981},
  volume = {49},
  number = {2},
  pages = {219--244},
  topic = {definite-descriptions;speech-acts;}
  }

@article{ bach_k:1982a,
  author = {Kent Bach},
  title = {Semantic Nonspecificity and Mixed Quantifiers},
  journal = {Linguistics and Philosophy},
  year = {1982},
  volume = {4},
  number = {4},
  pages = {593--605},
  topic = {semantic-underspecification;nl-semantics;}
  }

@book{ bach_k:1987a,
  author = {Kent Bach},
  title = {Thought and Reference},
  publisher = {Oxford University Press},
  year = {1987},
  address = {Oxford},
  topic = {philosophy-of-mind;philosophy-of-language;reference;}
 }

@article{ bach_k:1987b,
  author = {Kent Bach},
  title = {On Commnicative Intentions},
  journal = {Mind and Language},
  year = {1987},
  volume = {2},
  pages = {141--154},
  topic = {speaker-meaning;pragmatics;}
  }

@article{ bach_k:1994a,
  author = {Kent Bach},
  title = {Conversational Implicature},
  journal = {Mind and Language},
  year = {1994},
  volume = {9},
  pages = {124--162},
  missinginfo = {number},
  topic = {implicature;}
  }

@article{ bach_k:1995a,
  author = {Kent Bach},
  title = {Standardization vs. Conventionalization},
  journal = {Linguistics and Philosophy},
  year = {1995},
  volume = {18},
  number = {6},
  pages = {677--686},
  topic = {speech-acts;pragmatics;}
  }

@unpublished{ bach_k:1999a,
  author = {Kent Bach},
  title = {The Semantics-Pragmatics Distinction and Why it Matters},
  year = {1999},
  note = {Available at http://userwww.sfsu.edu/\user{}kbach/semprag.html},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;pragmatics;}
  }

@article{ bach_k:1999b,
  author = {Kent Bach},
  title = {The Myth of Conventional Implicature},
  journal = {Linguistics and Philosophy},
  year = {1999},
  volume = {22},
  number = {4},
  pages = {327--366},
  topic = {conventional-implicature;}
  }

@article{ bach_k:2000a,
  author = {Kent Bach},
  title = {Review of \emph{{C}oncepts: Where Cognitive Science Went
  	Wrong}, by {J}erry {A}. {F}odor},
  journal = {The Philosophical Review},
  year = {2000},
  volume = {109},
  number = {4},
  pages = {627--632},
  xref = {Review of: fodor_ja:1998a.},
  topic = {lexical-semantics;semantic-primitives;}
  }

@incollection{ bach_k:2002a,
  author = {Kent Bach},
  title = {Giorgione Was So-Called Because of His Name},
  booktitle = {Philosophical Perspectives 16: Language and Mind, 2002},
  publisher = {Blackwell Publishers},
  year = {2002},
  editor = {James E. Tomberlin},
  pages = {73--103},
  address = {Oxford},
  topic = {proper-names;philosophy-of-language;}
  }

@incollection{ bach_k:2005a,
  author = {Kent Bach},
  title = {The Emperor's New `Knows'\,},
  booktitle = {Contextualism in Philosophy: Knowledge, Meaning, and Truth},
  publisher = {Oxford University Press},
  year = {2005},
  editor = {Gerhard Preyer and Georg Peter},
  pages = {51--89},
  address = {Oxford},
  topic = {context;knowledge;philosophy-of-language;}
  }

@article{ bach_k:2007a,
  author = {Kent Bach},
  title = {Review of \emph{Minimal Semantics}, by {E}mma {B}org},
  journal = {The Philosophical Review},
  year = {2007},
  volume = {116},
  number = {2},
  pages = {303--306},
  xref = {Review of: borg:2004a},
  topic = {foundations-of-semantics;philosophy-of-language;}
  }

@article{ bach_k-elugardo:2002a,
  author = {Kent Bach and Reinaldo Elugardo},
  title = {Conceptual Minimalism and Anti-Individualism:  A
  	Reply to {G}oldberg},
  journal = {No\^us},
  year = {2002},
  volume = {36},
  number = {1},
  pages = {151--160},
  topic = {philosophy-of-language;synonymy;}
  }

@book{ bach_k-harnish:1979a,
  author = {Kent Bach and Robert M. Harnish},
  title = {Linguistic Communication and Speech Acts},
  publisher = {The {MIT} Press},
  year = {1979},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.  LLP authored shelves.},
  topic = {speech-acts;philosophy-of-language;}
 }

@article{ bach_k-harnish:1992a,
  author = {Kent Bach and Robert M. Harnish},
  title = {How Performatives Really Work: A Reply to {S}earle},
  journal = {Linguistics and Philosophy},
  year = {1992},
  volume = {15},
  number = {1},
  pages = {93--110},
  topic = {speech-acts;}
  }

@article{ bacharach:1985a,
  author = {M.O.L. Bacharach},
  title = {Some Extensions of a Claim of {A}umann in an Axiomatic Model
  	of Knowledge},
  journal = {Journal of Economic Theory},
  year = {1985},
  volume = {37},
  pages = {167--190},
  missinginfo = {A's 1st name, number},
  topic = {game-theory;epistemic-logic;}
  }

@book{ bacharach-etal:1997a,
  editor = {M.O.L. Bacharach and L.A. G\'erard-Varet and
  	P. Mongin and H.S. Shin},
  title = {Epistemic Logic and the Theory of Games and Decisions},
  publisher = {Kluwer Academic Publishers},
  year = {1997},
  address = {Dordrecht},
  ISBN = {0-7923-4804},
  xref = {Review: arlocosta:2000a.},
  topic = {epistemic-logic;game-theory;decision-theory;}
 }

@book{ bache:1997a,
  author = {Carl Bache},
  title = {The Study of Aspect, Tense, and Action},
  publisher = {Peter Lang},
  year = {1997},
  address = {Berlin},
  ISBN = {3-8204-3509-0},
  topic = {tense-aspect;}
 }

@incollection{ bachmair-ganziger:1998a,
  author = {L. Bachmair and H. Ganzinger},
  title = {Equational Reasoning in Saturation-Based Theorem Proving},
  booktitle = {Automated Deduction: A Basis for Applications.
  	Volume {I}, Foundations: Calculi and Methods},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Wolfgang Bibel and Peter H. Schmidt},
  address = {Dordrecht},
  missinginfo = {A's 1st name, pages},
  topic = {theorem-proving;applied-logic;}
  }

@article{ back:1992a,
  author = {Allan Back},
  title = {Sailing through The Sea Battle},
  journal = {Ancient Philosophy},
  year = {1992},
  volume = {12},
  number = {1},
  pages = {133--151},
  acontentnote = {I wish to present a simple resolution of the
     problem of the sea battle treated in Aristotle's "On Interpretation
     9". Though my modelis simple, the task is not. I am going to have to
     battle with the text and to wade through a sea of secondary
     literature. Let me, then, first present the solution, and then face
     these labors. I shall conclude with some reflections about certain
     problems that my solution makes.},
  topic = {Aristotle;future-contingent-propositions;}
  }

@article{ backe:2000a,
  author = {Andrew Backe},
  title = {Review of \emph{{T}he Philosophical Legacy of Behaviorism},
  	edited by {B}ruce {A}. {T}hyer},
  journal = {Philosophy of Science},
  year = {2000},
  volume = {67},
  number = {3},
  pages = {546--548},
  xref = {Review of thyer:1999a.},
  topic = {behaviorism;philosophy-of-psychology;}
  }

@article{ backofen-etal:1995a,
  author = {Rolf Backofen and James Rogers and K. Vijay-Shankar},
  title = {A First-Order Axiomatization of the Theory of Finite
  	Trees},
  journal = {Journal of Logic, Language, and Information},
  year = {1993},
  volume = {4},
  number = {1},
  pages = {5--39},
  topic = {finite-trees;}
  }

@article{ backschneider:1987a,
  author = {Paul Backscheider},
  title = {Punctuation for the Reader},
  journal = {English Journal},
  year = {1972},
  volume = {61},
  number = {6},
  pages = {874--877},
  topic = {punctuation;}
}

@incollection{ backstrom:1992a,
  author = {Christer B\"ackstr\"om},
  title = {Equivalence and Tractability Results for {SAS$+$} Planning},
  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 = {126--137},
  address = {San Mateo, California},
  topic = {planning-alorithms;}
  }

@article{ backstrom:1995a,
  author = {Christer B\"ackstr\"om},
  title = {Expressive Equivalence of Planning Formalisms},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {76},
  number = {1--2},
  pages = {17--34},
  topic = {planning-formalisms;}
  }

@article{ backus:1978a,
  author = {John Backus},
  title = {Can Programming be Liberated from the von {N}eumann Style?},
  journal = {Communications of the {ACM}},
  year = {1978},
  volume = {21},
  number = {8},
  pages = {613--641},
  abstract = {Conventional programming languages are growing ever
    more enormous, but not stronger.  Inherent defects at the most
    basic level cause them to be both fat and weak: their primitive
    word-at-a-time style of programming inherited from their common
    ancestor -- the von Neumann computer, their close coupling of
    semantics to state transitions, their division of programming
    into a world of expressions and a world of statements, their
    inability to effectively use powerful combining forms for
    building new programs from existing ones, and their lack of
    useful mathematical properties for reasoning about programs.  An
    alternative functional style of programming is founded on the use
    of combining forms for creating programs.  Functional programs
    deal with structured data, are often nonrepetitive and
    nonrecursive, are hierarchically constructed, do not name their
    arguments, and do not require the complex machinery of procedure
    declarations to become generally applicable.  Combining forms can
    use high level programs to build still higher level ones in a
    style not possible in conventional languages.  Associated with
    the functional style of programming is an algebra of programs
    whose variables range over programs and whose operations are
    combining forms.  This algebra can be used to transform programs
    and to solve equations whose "unknowns" are programs in much the
    same way one transforms equations in high school algebra. These
    transformations are given by algebraic laws and are carried out
    in the same language in which programs are written.  Combining
    forms are chosen not only for their programming power but also
    for the power of their associated algebraic laws.  General
    theorems of the algebra give the detailed behavior and
    termination conditions for large classes of programs. A new class
    of computing systems uses the functional programming style both
    in its programming language and in its state transition rules.
    Unlike von Neumann languages, these systems have semantics
    loosely coupled to states -- only one state transition occurs per
    major computation.},
  url = {http://www.stanford.edu/class/cs242/readings/backus.pdf},
  topic = {foundations-of-computation;computer-architectures;}
 }

@article{ bacon:1965a,
  author = {John Bacon},
  title = {A Simple Treatment of Complex Terms},
  journal = {The Journal of Philosophy},
  year = {1965},
  volume = {62},
  number = {12},
  pages = {328--331},
  topic = {nl-quantification;relative-clauses;}
  }

@phdthesis{ bacon:1966a,
  author = {John Bacon},
  title = {Being and Existence: Two Ways of Formal Ontology},
  school = {Philosophy Department, Yale University},
  year = {1966},
  type = {Ph.{D}. Dissertation},
  address = {New Haven},
  topic = {philosophical-ontology;(non)existence;generics;}
 }

@unpublished{ bacon:1973a1,
  author = {John Bacon},
  title = {The Semantics of Generic `The'\,},
  year = {1973},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript.},
  xref = {Journal Publication: bacon:1973a2.},
  topic = {generics;}
  }

@article{ bacon:1973a2,
  author = {John Bacon},
  title = {The Semantics of Generic `The'\,},
  journal = {Journal of Philosophical Logic},
  year = {1973},
  volume = {2},
  number = {3},
  pages = {323--339},
  topic = {generics;}
  }

@article{ bacon:1973b,
  author = {John Bacon},
  title = {Do Generic Descriptions Denote?},
  journal = {Mind, New Series},
  year = {1973},
  volume = {82},
  pages = {331--347},
  topic = {generics;}
  }

@article{ bacon:1974a,
  author = {John Bacon},
  title = {The Untenability of Genera},
  journal = {Logique et Analyse},
  year = {1974},
  volume = {17},
  number = {65--66},
  pages = {197--298},
  topic = {generics;}
  }

@techreport{ bacon:1976a,
  author = {John Bacon},
  title = {The Logical Form of Perception Sentences},
  institution = {York College},
  number = {1},
  year = {1976},
  address = {Jamaica,New York},
  rtnote = {In RHT collection.},
  topic = {logic-of-perception;}
  }

@unpublished{ bacon:1984a,
  author = {John Bacon},
  title = {Sommers and Modern Logic},
  year = {1984},
  note = {Unpublished manuscript, University of Sydney.},
  missinginfo = {Said to be for a vol on Sommers edited by
  	George Englebretson.  Date this reference is a guess.},
  rtnote = {In RHT collection.},
  topic = {term-logic;}
  }

@article{ bacon:1988a,
  author = {John Bacon},
  title = {Four Modal Modelings},
  journal = {Journal of Philosophical Logic},
  year = {1988},
  volume = {17},
  number = {2},
  pages = {91--114},
  topic = {modal-logic;}
  }

@article{ bacon:1989a,
  author = {John Bacon},
  title = {A Single Primitive Trope Relation},
  journal = {Journal of Philosophical Logic},
  year = {1989},
  volume = {18},
  number = {2},
  pages = {141--154},
  topic = {property-theory;philosophical-ontology;}
  }

@article{ badaloni-giacomin:2006a,
  author = {Silvana Badaloni and Massimiliano Giacomin},
  title = {The Algebra {IA}$^fuz$:  A Framework for Qualitative
  		Fuzzy Reasoning},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {10},
  pages = {872--908},
  topic = {temporal-reasoning;fuzzy-logic;interval-algebras;}
  }

@book{ badesa:2004a,
  author = {Calixto Badesa},
  title = {The Birth of Model Theory:  {L}\"owenhein's Theorem
  		in the Frame of the Theory of Relatives},
  publisher = {Princeton University Press},
  year = {2004},
  address = {Princeton, New Jersey},
  ISBN = {0-691-058539 (hbk)},
  topic = {history-of-logic;}
 }

@incollection{ badia-sauri:1998a,
  author = {Toni Badia and Roser Saur\'i},
  title = {The Representation of Syntactically Unexpressed
  	Complements to Nouns},
  booktitle = {The Computational Treatment of Nominals: Proceedings
  	of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Federica Busa and Inderjeet Mani and Patrick Saint-Dizier},
  pages = {1--9},
  address = {New Brunswick, New Jersey},
  topic = {nominal-constructions;argument-structure;}
  }

@unpublished{ badouli-zanardo:1993a,
  author = {Sylvia Badouli and Alberto Zanardo},
  title = {Plausible Reasoning: A First-Order Approach},
  year = {1993},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Department of Mathemaics,
  	University of Padova.},
  topic = {nonmonotonic-reasoning;}
  }

@book{ badre-shneiderman:1982a,
  editor = {Albert Badre and Ben Shneiderman},
  title = {Directions in Human-Computer Interaction},
  publisher = {Ablex Publishing Corp.},
  year = {1982},
  address = {Norwood, New Jersey},
  ISBN = {0893911445},
  rtnote = {UMich Media Union Library, QA76.9.I58 D571 1982.},
  topic = {HCI;}
 }

@book{ baecker:1995a,
   editor = {Ronald M. Baecker},
  title = {Readings In Human-Computer Interaction: Toward The Year
  		2000},
  publisher = {Morgan Kaufmann Publishers},
  edition = {2},
  year = {1995},
  address = {San Francisco},
  ISBN = {1558602461},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 R43 1995.},
  topic = {HCI;}
 }

@book{ baecker-buxton:1987a,
  editor = {Ronald M. Baecker and William A.S. Buxton},
  title = {Readings in Human-Computer Interaction: A
  	Multidisciplinary Approach},
  publisher = {Morgan Kaufmann},
  year = {1987},
  address = {Los Altos, California},
  ISBN = {0934613249 (pbk.)},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 R43 1987.},
  topic = {HCI;}
 }

@incollection{ baget:2004a,
  author = {Jean-Fran\c{c}ois Baget},
  title = {Improving the Forward-Chaining Algorithm for Conceptual
  		Graphs Rules},
  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 = {407--414},
  address = {Menlo Park, California},
  topic = {conceptual-graphs;graph-based-reasoning;}
  }

@inproceedings{ bagga-baldwin_b:1998a,
  author = {Amit Bagga and Breck Baldwin},
  title = {Entity-Based Cross-Document Coreferencing Using the Vector
  	Space Model},
  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 = {79--85},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {identification-across-documents;vector-space-model;}
 }

@incollection{ bagga-chai_jy:1998a,
  author = {Amit Bagga and Joyce Yue Chai},
  title = {A Trainable Message Understanding System},
  booktitle = {{CoNLL97}: Computational Natural Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {T. Mark Ellison},
  pages = {1--8},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;nl-interpretation;}
  }

@inproceedings{ bagga-etal:1996a,
  author = {Amit Bagga and Joyce Y. Chai and Alan W. Biermann},
  title = {The Role of {WordNet} in the Creation of a Trainable Message
  	Understanding System},
  booktitle = {Proceedings of the Thirteenth National Conference on
              Artificial Intelligence and the Eighth Innovative
	      Applications of Artificial Intelligence  Conference},
  year = {1996},
  editor = {William J. Clancey and Dan Weld},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  url = {http://www.cs.duke.edu/\user{}amit/iaai97.ps.gz},
  topic = {wordnet;message-understanding;}
  }

@article{ baier_ac:1970a,
  author = {Annette C. Baier},
  title = {Act and Intent},
  journal = {The Journal of Philosophy},
  year = {1970},
  volume = {67},
  number = {1970},
  pages = {648--658},
  topic = {intention;action;}
  }

@article{ baier_ac:1971a,
  author = {Annette Baier},
  title = {The Search for Basic Actions},
  journal = {American Philosophical Quarterly},
  year = {1971},
  volume = {8},
  number = {2},
  pages = {161--170},
  topic = {philosophy-of-action;}
  }

@article{ baier_ac:1972a,
  author = {Annette Baier},
  title = {Ways and Means},
  journal = {Canadian Journal of Philosophy},
  year = {1972},
  volume = {1},
  pages = {275--293},
  topic = {philosophy-of-action;}
  }

@incollection{ baier_ac:1986a,
  author = {Annette Baier},
  title = {The Ambiguous Limits of Desire},
  booktitle = {The Ways of Desire: New Essays in Philosophical
  	Psychology on the Concept of Wanting},
  publisher = {Precedent Publishing, Inc.},
  year = {1986},
  editor = {Joel Marks},
  pages = {39--63},
  address = {Chicago},
  topic = {desire;philosophical-psychology;}
   }

@article{ baier_ja-etal:2009a,
  author = {Jorge A. Baier and Fahiem Bacchus and Sheila A. McIlraith},
  title = {A Heuristic Search Approach to Planning with Temporally
  		Extended Preferences},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {5--6},
  pages = {593--618},
  topic = {planning;planning-algorithms;preferences;temporal-reasoning;}
  }

@incollection{ baier_ja-mcilraith:2006a,
  author = {Jorge A. Baier and Sheila McIlraith},
  title = {On Planning with Programs that Sense},
  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 = {492--502},
  address = {Menlo Park, California},
  topic = {planning-formalisms;sensing-actions;sensing-formalisms;}
  }

@article{ baier_ja-mcilraith:2008a,
  author = {Jorge A. Baier and Sheila A. McIlraith},
  title = {Planning with Preferences},
  journal = {The {AI} Magazine},
  year = {2008},
  volume = {29},
  number = {4},
  pages = {25--36},
  topic = {reasoning-about-preferences;planning;}
  }

@book{ bailey_a:2002a,
  author = {Alan Bailey},
  title = {Sextus {E}mpiricus and {P}yrrhonean Skepticism},
  publisher = {Oxford University Press},
  year = {2002},
  address = {Oxford},
  ISBN = {0198238525},
  xref = {Review: bett:2003a.},
  rtnote = {UMich GRADUATE LIBRARY, B 623 .B351 2002.},
  topic = {Hellenistic-philosophy;skepticism;Sextus-Empiricus;}
 }

@book{ bailey_rw:1991a,
  author = {Richard W. Bailey},
  title = {Images of {E}nglish: A Cultural History of the Language},
  publisher = {University of Michigan Press},
  year = {1991},
  address = {Ann Arbor, Michigan},
  rtnote = {A fairly unfocused study of attitudes toward Eng, with
  	some interesting passages.},
  topic = {English-Language;sociolinguistics;}
 }

@article{ baileykellogg-zhao_f:2001a,
  author = {Chris Bailey-Kellogg and Feng Zhao},
  title = {Influence-Based Model Decomposition for Reasoning about
  	Spatially Distributed Physical Systems},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {130},
  number = {2},
  pages = {125--166},
  topic = {qualitative-reasoning;spatial-reasoning;qualitative-physics;
  	causality;model-based-reasoning;}
  }

@article{ baileykellogg-zhao_f:2003a,
  author = {Chris Bailey-Kellogg and Feng Zhao},
  title = {Qualitative Spatial Reasoning:  Extracting and
  	Reasoning with Spatial Aggregates},
  journal = {The {AI} Magazine},
  year = {2003},
  volume = {24},
  number = {4},
  pages = {47--60},
  topic = {qualitative-reasoning;spatial-reasoning;}
  }

@article{ bailhache:1980a,
  author = {Patrice Bailhache},
  title = {Several Possible Systems of Deontic Weak and Strong Norms},
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1980},
  volume = {21},
  number = {1},
  pages = {39--100},
  rtnote = {In RHT collection.},
  topic = {deontic-logic;}
  }

@article{ bailhache:1999a,
  author = {Patrice Bailhache},
  title = {Review of \emph{{E}xtending Deontic Logic for the
  	Formalization of Legal Rules}, by {L}amb\`er {M}.{M}.
	{R}oyakkers},
  journal = {Journal of Symbolic Logic},
  year = {1999},
  volume = {64},
  number = {4},
  pages = {1841--1842},
  xref = {Review of: royakkers:1998a.},
  topic = {deontic-logic;logic-and-law;}
  }

@incollection{ baioletti-etal:1998a,
  author = {M. Baioletti and S. Marcugini and A. Milani},
  title = {Encoding Planning Constraints into Partial Order
		Planning Domains},
  booktitle = {{KR}'98: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1998},
  editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C.
		Shapiro},
  pages = {608--616},
  address = {San Francisco, California},
  topic = {kr;planning;kr-course;}
  }

@book{ baird:2004a,
  author = {Davis Baird},
  title = {Thing Knowledge:  A Philosophy of Scientific Instrumentation},
  publisher = {University of California Press},
  year = {2004},
  address = {Berkeley},
  xref = {Review: pitt:2005a},
  topic = {scientific-instrumentation;experimental-science;}
 }

@article{ bajscy-large:1999a,
  author = {Ruzena Bajscy and Edward W. Large},
  title = {When and Where Will {AI} Meet Robotics?  Issues
  	in Representation},
  journal = {The {AI} Magazine},
  year = {1999},
  volume = {20},
  number = {3},
  pages = {57--65},
  topic = {robotics;cognitive-robotics;}
  }

@incollection{ baker_ab:1989a,
  author = {Andrew B. Baker},
  title = {A Simple Solution to the {Y}ale Shooting Problem},
  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 = {11--20},
  address = {San Mateo, California},
  missinginfo = {number},
  topic = {kr;Yale-shooting-problem;kr-course;}
  }

@article{ baker_ab:1991a,
  author = {Andrew B. Baker},
  title = {Nonmonotonic Reasoning in the Framework of the Situation
  	Calculus},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {49},
  number = {1--3},
  pages = {5--23},
  topic = {kr;situation-calculus;nonmonotonic-reasoning;frame-problem;
  	kr-course;}
  }

@inproceedings{ baker_ab-ginsberg_ml:1989a,
  author = {Andrew B. Baker and Matthew L. Ginsberg},
  title = {A Theorem Prover for Prioritized Circumscription},
  booktitle = {Proceedings of the Eleventh International Joint
  	Conference on Artificial Intelligence},
  year = {1989},
  editor = {N.S. Sridharan},
  pages = {463--467},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  topic = {kr;circumscription;nonmonotonic-prioritization;
  	nonmonotonic-reasoning;theorem-proving;kr-course;}
  }

@inproceedings{ baker_ab-ginsberg_ml:1989b,
  author = {Andrew B. Baker and Matthew L. Ginsberg},
  title = {Temporal Projection and Explanation},
  booktitle = {Proceedings of the Eleventh International Joint
  	Conference on Artificial Intelligence},
  year = {1989},
  editor = {N.S. Sridharan},
  pages = {906--911},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  topic = {kr;frame-problem;temporal-reasoning;Yale-Shooting-problem;
  	nonmonotonic-reasoning;}
  }

@unpublished{ baker_ab-ginsberg_ml:1989c,
  author = {Andrew B. Baker and Yoav Shoham},
  title = {Nonmonotonic Temporal Reasoning},
  year = {1989},
  note = {Unpublished manuscript, Computer Science Department,
  	Stanford University.},
  rtnote = {In RHT collection.},
  rtnote = {Supposedly forthcoming in a volume of The Handbook of
  	Logic in Artificial Intelligence and Logic Programming,
	ed. Dov Gabbay.},
  topic = {nonmonotonic-reasoning;temporal-reasoning;frame-problem;
  	ramification-problem;Yale-Shooting-Problem;}
  }

@inproceedings{ baker_cf-etal:1998a,
  author = {Collin F. Baker and Charles J. Fillmore and John B. Lowe},
  title = {The {B}erkeley {F}rame{N}et Project},
  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 = {86--90},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {computational-lexicography;corpus-linguistics;}
 }

@book{ baker_cl:1973a,
  author = {Carl L. Baker},
  title = {Definiteness and Indefiniteness in {E}nglish},
  publisher = {Indiana University Linguistics Club},
  year = {1982},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {definiteness;indefiniteness;}
 }

@book{ baker_cl:1978a,
  author = {Carl L. Baker},
  title = {Introduction to Generative-Transformational Gramamr},
  publisher = {Prentice-Hall, Inc.},
  year = {1978},
  address = {Englewood Cliffs, New Jersey},
  ISBN = {013484410-6},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {transformational-grammar;syntax-intro;}
 }

@unpublished{ baker_dj:2007a,
  author = {David John Baker},
  title = {Against Field Interpretations of Quantum Field Theory},
  year = {2007},
  note = {Unpublished manuscript, Princeton University.},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-physics;quantum-field-theory;}
  }

@incollection{ baker_gp:1986a,
  author = {Gordon P. Baker},
  title = {Alternative Mind-Styles},
  booktitle = {Philosophical Grounds of Rationality},
  publisher = {Oxford University Press},
  year = {1986},
  editor = {Richard E. Grandy and Richard Warner},
  pages = {277--314},
  address = {Oxford},
  topic = {metaphilosophy;}
  }

@book{ baker_gp-hacker:1980a,
  author = {Gordon P. Baker and Peter M.S. Hacker},
  title = {Wittgenstein, Understanding and Meaning},
  publisher = {University of Chicago Press},
  year = {1980},
  address = {Chicago},
  ISBN = {0226035263},
  rtnote = {UMich Graduate Library, B3376.W83P64 B17 1980 v.1.},
  topic = {Wittgenstein;philosophy-of-language;philosophy-of-mind;}
 }

@book{ baker_gp-hacker:1984a,
  author = {Gordon P. Baker and Peter M.S. Hacker},
  title = {Scepticism, Rules and Language},
  publisher = {Basil Blackwell},
  year = {1984},
  address = {Oxford},
  ISBN = {0631136142},
  rtnote = {UMich Graduate Library, B3376.W83 B165 1984.},
  topic = {Wittgenstein;philosophy-of-language;skepticism;}
 }

@incollection{ baker_j:1986a,
  author = {Judith Baker},
  title = {Do One's Motives have to be Pure?},
  booktitle = {Philosophical Grounds of Rationality},
  publisher = {Oxford University Press},
  year = {1986},
  editor = {Richard E. Grandy and Richard Warner},
  pages = {457--473},
  address = {Oxford},
  topic = {motivation;ethics;}
  }

@incollection{ baker_jp:1997a,
  author = {John Paul Baker},
  title = {Consistency and Accuracy in Correcting
    		Automatically Tagged Data},
  booktitle = {Corpus Annotation},
  publisher = {Longman},
  year = {1997},
  editor = {Roger Garside and Geoffrey Leech and Tony McEnery},
  pages = {243--250},
  address = {London},
  topic = {corpus-linguistics;corpus-annotation;corpus-tagging;}
  }

@article{ baker_lr:1981a,
  author = {Lynn Rudder Baker},
  title = {On Making and Attributing Demonstrative Reference},
  journal = {Synth\'ese},
  year = {1981},
  volume = {49},
  number = {2},
  pages = {245--273},
  topic = {demonstratives;indexicals;}
  }

@incollection{ baker_lr:1986b,
  author = {Lynne Rudder Baker},
  title = {Just What Do We Have in Mind?},
  booktitle = {Midwest Studies in Philosophy Volume {X}:
  	Studies in the Philosophy of Mind},
  publisher = {University of Minnesota Press},
  year = {1986},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {25--48},
  address = {Minneapolis},
  topic = {mental-representation;methodological-solipsism;}
  }

@incollection{ baker_lr:1989a,
  author = {Lynne Rudder Baker},
  title = {On a Causal Theory of Content},
  booktitle = {Philosophical Perspectives 3:
  	Philosophy of Mind and Action Theory},
  publisher = {Ridgeview Publishing Company},
  year = {1989},
  editor = {James E. Tomberlin},
  pages = {165--186},
  address = {Atasacadero, California},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {intentionality;philosophy-of-mind;representation;}
  }

@incollection{ baker_lr:1993a,
  author = {Lynne Rudder Baker},
  title = {Metaphysics and Mental Causation},
  booktitle = {Mental Causation},
  publisher = {Oxford University Press},
  year = {1993},
  editor = {John Heil and Alfred R. Mele},
  pages = {75--95},
  address = {Oxford},
  topic = {mind-body-problem;causality;}
  }

@incollection{ baker_lr:1994a,
  author = {Lynne Rudder Baker},
  title = {Content and Context},
  booktitle = {Philosophical Perspectives, Volume 8:
  	Logic and Language},
  publisher = {Blackwell Publishers},
  year = {1994},
  editor = {James E. Tomberlin},
  pages = {17--32},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {context;propositional-attitudes;intentionalituy;
  	philosophy-of-mind;}
  }

@book{ baker_lr:1995a,
  author = {Lynne Rudder Baker},
  title = {Explaining Attitudes},
  publisher = {Cambridge University Press},
  year = {1997},
  address = {Cambridge, England},
  topic = {philosophy-of-mind;belief;}
 }

@incollection{ baker_mc:1985a,
  author = {Mark Baker},
  title = {On the Absence of Certain Quantifiers in {M}ohawk},
  booktitle = {Quantification in Natural Languages, Vol. 1},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {Emmon Bach and Eloise Jelinek and Angelika Kratzer and
   	Barbara Partee},
  pages = {21--58},
  address = {Dordrecht},
  topic = {nl-semantics;nl-quantifiers;(in)definiteness;Australian-language;}
  }

@book{ baker_mc:1988a,
  author = {Mark C. Baker},
  title = {Incorporation: A Theory of Grammatical Function Changing},
  publisher = {University of Chicago Press},
  year = {1988},
  address = {Chicago, Illinois},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {morphology;incorporation;}
 }

@incollection{ baker_mc:1992a,
  author = {Mark C. Baker},
  title = {Thematic Conditions on Syntactic Structures: Evidence
  	from Locative Applicatives.},
  booktitle = {Thematic Structure: Its Role in Grammar},
  publisher = {Foris Publications},
  year = {1992},
  editor = {Iggy M. Roca},
  pages = {23--46},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {thematic-roles;argument-structure;nl-syntax;}
  }

@article{ baker_mc:1992b,
  author = {Mark C. Baker},
  title = {Unmatched Chains and the Representation of Plural Pronouns},
  journal = {Natural Language Semantics},
  year = {1992},
  volume = {1},
  number = {1},
  pages = {33--73},
  topic = {nl-semantics;plurals;anaphora;}
  }

@article{ baker_mc-travis:1997a,
  author = {Mark C. Baker and Lisa Travis},
  title = {Mood as Verbal Definiteness in a `Tenseless' Language},
  journal = {Natural Language Semantics},
  year = {1997},
  volume = {5},
  number = {3},
  pages = {213--269},
  topic = {nl-tense;nl-mood;Iroquois-language;}
  }

@article{ baker_r:1973a,
  author = {Richard Baker},
  title = {A Spatially-Oriented Information Processor which Simulates
  	the Motions of Rigid Objects},
  journal = {Artificial Intelligence},
  year = {1973},
  volume = {4},
  number = {1},
  pages = {29--40},
  topic = {spatial-reasoning;}
  }

@inproceedings{ balaban:1992a,
  author = {Mira Balaban},
  title = {F-Logic as a Basis for a General Description Logic},
  booktitle = {Working Notes, {AAAI} Fall Symposium on Issues in Description
  	Logics: Users Meet Developers},
  year = {1992},
  editor = {Robert MacGregor},
  pages = {6--10},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {kr;krcourse;description-logics;}
  }

@article{ balaguer:1999a,
  author = {Mark Balaguer},
  title = {Review of \emph{{N}aturalism in Mathematics}, by
  	{P}enelope {M}addy},
  journal = {Philosophy of Science},
  year = {1999},
  volume = {66},
  number = {3},
  pages = {502--504},
  topic = {philosophy-of-mathematics;foundations-of-set-theory;}
  }

@article{ balaguer:2002a,
  author = {Mark Balaguer},
  title = {Review of \emph{{T}hinking about Mathematics}, by {S}tewart
  	{S}hapiro},
  journal = {The Bulletin of Symbolic Logic},
  year = {2002},
  volume = {8},
  number = {1},
  pages = {89--91},
  xref = {Review of shapiro_s1:2000a.},
  topic = {philosophy-of-mathematics;foundations-of-mathematics;}
  }

@article{ balaguer:2004a,
  author = {Mark Balaguer},
  title = {A Coherent, Naturalistic, and Plausible Formulation
  		of Libertarian Free Will},
  journal = {No\^us},
  year = {2004},
  volume = {38},
  number = {3},
  pages = {379--406},
  topic = {freedom;volition;}
  }

@incollection{ balashov:2000a,
  author = {Yuri Balashov},
  title = {Relativity and Persistence},
  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 = {S549--SS562},
  address = {Newark, Delaware},
  topic = {philosophy-of-physics;relativity-theory;}
  }

@incollection{ balbiani:1998a,
  author = {Philippe Balbiani},
  title = {Terminological Modal Logic},
  booktitle = {Advances in Modal Logic, Volume 1},
  publisher = {{CSLI} Publications},
  year = {1998},
  editor = {Marcus Kracht and Maarten de Rijke and Heinrich Wansing},
  pages = {23--39},
  address = {Stanford, California},
  topic = {modal-logic;}
  }

@incollection{ balbiani-etal:1998a,
  author = {Philippe Balbiani and Jean-Fran\c{c}ois Condotta and
		Luis Fari\~nas del Cerro},
  title = {A Model for Reasoning about Bidimensional Temporal
		Relations},
  booktitle = {{KR}'98: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1998},
  editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C.
		Shapiro},
  pages = {124--130},
  address = {San Francisco, California},
  topic = {kr;temporal-reasoning;kr-course;}
  }

@article{ balbiani-etal:2008a,
  author = {Philippe Balbiani and Andreas Herzig and Nicolas Troquard},
  title = {Alternaticve Axiomatics and the Complexity of Deliberative
  		{STIT} Theories},
  journal = {Journal of Philosophical Logic},
  year = {2008},
  volume = {37},
  number = {4},
  pages = {387--406},
  topic = {stit;}
  }

@inproceedings{ balbiani-osmani:2000a,
  author = {Philippe Balbiani and Aomar Osmani},
  title = {A Model for Reasoning about Topologic Relations
        between Cyclic Intervals},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {378--385},
  topic = {temporal-reasoning;interval-logic;}
  }

@article{ balcazar:1996a,
  author = {Jos\'e L. Balc\'azar},
  title = {The Complexity of Searching Implicit Graphs},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {86},
  number = {1},
  pages = {171--188},
  topic = {complexity-in-AI;search;}
  }

@book{ baldi-brunak:1998a,
  author = {Pierre Baldi and S{\o}ren Brunak},
  title = {Bioinformatics:  The Machine Learning Approach},
  publisher = {The {MIT} Press},
  year = {1998},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-02442-X},
  topic = {bioinformatics;machine-learning;}
 }

@article{ baldner:1990a,
  author = {Kent Baldner},
  title = {Is Transcendental Idealism Coherent},
  journal = {Synth\'ese},
  year = {1990},
  volume = {85},
  number = {1},
  pages = {55--70},
  contentnote = {Formulates a version of transcendental idealism,
  	argues for its epistemological value.},
  topic = {epistemology;Kant;}
  }

@incollection{ baldoni-etal:1996a,
  author = {Matteo Baldoni and Laura Giordano and Alberto
		  Martelli and Viviana Patti},
  title = {An Abductive Proof Procedure for Reasoning about
		  Actions in Modal Logic Programming},
  booktitle = {Extensions of Logic Programming},
  publisher = {Springer-Verlag},
  address = {Berlin},
  year = {1996},
  pages = {19--33},
  topic = {aduction;logic-programming;action-formalisms;}
}

@article{ baldoni-etal:1998a,
  author = {Matteo Baldoni and Laura Giordano and Alberto Martelli},
  title = {A Modal Extension of Logic Programming: Modularity,
		  Beliefs and Hypothetical Reasoning},
  journal = {Journal of Logic and Computation},
  year = {1998},
  volume = {8},
  number = {5},
  pages = {597--635},
  topic = {modal-logic;theorem-proving;logic-programming;}
}

@inproceedings{ balduccini-etal:2000a,
  author = {Marcello Balduccini and Michael Gelfond and Monica Nogueira},
  title = {A-Prolog as a Tool for Declarative Programming},
  booktitle = {Proceedings of the 12th International Conference on
  	Software Engineering and Knowledge Engineering (SEKE'2000)},
  year = {2000},
  publisher = {Knowledge Systems Institute},
  address = {Skokie, Illinois},
  missinginfo = {editor, pages},
  topic = {logic-programming;stable-models;declarative-programming;}
  }

@unpublished{ balduccini-etal:2001a,
  author = {Marcello Balduccini and Michael Gelfond and Monica Nogueira
  	and Richard Watson and Matthew R. Barry},
  title = {An A-Prolog Decision Support System for the Space
  	Shuttle},
  year = {2001},
  note = {Unpublished manuscript, Texas Tech University},
  rtnote = {In RHT collection.},
  rtnote = {Available at http://www.cs.ttu.edu/\user{}mgelfond/.},
  topic = {logic-programming;stable-models;decision-support;}
  }

@incollection{ balduccini-gelfond:2003a,
  author = {Marcello Balduccini and Michael Gelfond},
  title = {Logic Programs with Consistency-Restoring Rules},
  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 = {9--18},
  address = {Menlo Park, California},
  topic = {causality;temporal-reasoning;planning-formalisms;
	nonmonotonic-reasoning;situation-calculus;ramification-problem;
	reasoning-about-uncertainty;}
  }

@inproceedings{ baldwin_b-etal:1995a,
  author = {Breck Baldwin and Jeff Reynar and Michael John Collins
		and Jason Eisner and Adwait Ratnaparkhi and Joseph Rosenzweig
		and Anoop Sankar and B. Srinivas},
  title = {Description of the University of Pennsylvania System Used
  	for {MUC}-6},
  booktitle = {Proceedings of the Sixth {ARPA} Message Understanding
  	Conference},
  year = {1995},
  missinginfo = {publisher, editor, pages},
  topic = {wordnet;message-understanding;}
  }

@incollection{ baldwin_jf:1991a,
  author = {J.F. Baldwin},
  title = {A New Approach to Inference Under Uncertainty for
  	Knowledge-Based Systems},
  booktitle = {Symbolic and Quantitative Approaches for Uncertainty:
  	Proceedings of the {E}uropean Conference {ECSQAU}, Marseille,
	France, October 1991},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Rudolf Kruse and Pierre Siegel},
  pages = {107--114},
  address = {Berlin},
  topic = {reasoning-about-uncertainty;possibility-theory;fuzzy;fuzzy-logic;}
  }

@article{ baldwin_t:1982a,
  author = {Thomas Baldwin},
  title = {Prior and {D}avidson on Indirect Speech},
  journal = {Philosophical Studies},
  year = {1982},
  volume = {42},
  pages = {255--282},
  topic = {propositional-attitudes;indirect-discourse;}
  }

@article{ bale:2008a,
  author = {Alan Clinton Bale},
  title = {A Universal Scale of Comparison},
  journal = {Linguistics and Philosophy},
  year = {2008},
  volume = {31},
  number = {1},
  pages = {1--55},
  topic = {nl-semantics;comparatives;measures;}
  }

@inproceedings{ balkanski-huraltplantet:1997a,
  author = {Cecile Balkanski and Martine Huralt-Plantet},
  title = {Communicative Actions in a Dialog Model for Cooperative
  	Discourse: An Initial Report},
  booktitle = {Working Notes: {AAAI} Fall Symposium on Communicative
		Action in Humans and Machines},
  year = {1997},
  pages = {12--19},
  organization = {{AAAI}},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  editor = {David R. Traum},
  rtnote = {In RHT collection.},
  topic = {speech-acts;discourse;pragmatics;}
  }

@inproceedings{ balke-pearl:1994a,
  author = {Alexander Balke and Judea Pearl},
  title = {Probabilistic Evaluation of Counterfactual Queries},
  booktitle = {Proceedings of the Twelfth National Conference on
              Artificial Intelligence},
  year = {1994},
  editor = {Barbara Hayes-Roth and Richard Korf},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  missinginfo = {pages},
  topic = {conditionals;probabilistic-reasoning;}
  }

@incollection{ balke-pearl:1994b,
  author = {Alexander Balke and Judea Pearl},
  title = {Counterfactual Probabilities:  Computational Methods,
  	Bounds, and Applications},
  booktitle = {Uncertainty in Artificial Intelligence 10},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {R. Lopez de Mantaras and David Poole},
  pages = {46--54},
  address = {San Mateo, California},
  missinginfo = {E's 1st name.},
  topic = {conditionals;probabilities;causality;}
  }

@incollection{ balke-pearl:1994c,
  author = {Alexander Balke and Judea Pearl},
  title = {Counterfactuals and Policy Analysis in Structural Models},
  booktitle = {Uncertainty in Artificial Intelligence 11},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Philippe Besnard and Steven Hanks},
  pages = {11--18},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {conditionals;probabilities;causality;}
  }

@incollection{ balkenius-gardenfors:1991a,
  author = {Christian Balkenius and Peter G\"ardenfors},
  title = {Nonmonotonic Inferences in Neural Networks},
  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 = {32--39},
  address = {San Mateo, California},
  topic = {kr;kr-course;nonmonotonic-reasoning;connectionist-models;}
  }

@book{ ball:1939a,
  author = {Alice Morton Ball},
  title = {Compounding in the English language},
  publisher = {The H.~W.~Wilson Company},
  year = {1939},
  address = {New York},
  topic = {compound-nouns;}
 }

@article{ ballard_bw:1983a,
  author = {Bruce W. Ballard},
  title = {The *-Minimax Search Procedure for Trees Containing Chance
  	Nodes},
  journal = {Artificial Intelligence},
  year = {1983},
  volume = {21},
  number = {3},
  pages = {327--350},
  topic = {search;}
  }

@article{ ballard_d:1988a,
  author = {David Ballard},
  title = {Combinatory Completeness without Classical Equality},
  journal = {Journal of Philosophical Logic},
  year = {1988},
  volume = {17},
  number = {2},
  pages = {115--132},
  topic = {lambda-calculus;fixpoints;diagonalization-arguments;}
  }

@article{ ballard_dh:1984a,
  author = {Dana H. Ballard},
  title = {Parameter Nets},
  journal = {Artificial Intelligence},
  year = {1984},
  volume = {22},
  number = {3},
  pages = {235--267},
  acontentnote = {Abstract:
     This paper describes the nucleus of a connectionist theory of
     low-level and intermediate-level vision.  The theory explains
     segmentation in terms of massively parallel cooperative
     computation among intrinsic images and a set of feature networks
     at different levels of abstraction.
      Explaining how parts of an image are perceived as a meaningful
     whole or gestalt is a problem central to vision.  A stepping
     stone towards a solution is recent work showing how to calculate
     images of physical parameters from intensity data.  Such images
     are known as intrinsic images, and examples are images of
     velocity (optical flow), surface orientation, occluding contour,
     and disparity. Intrinsic images show great promise; they are
     distinctly easier to work with than the original intensity
     image, but they are not grouped into objects.  A general way in
     which such groupings can be detected is to represent possible
     groupings as networks whose nodes signify explicit parameter
     values.  In this case the relation between parts of an intrinsic
     image and the gestalt parameters can be specified by active,
     two-way connections between an intrinsic image network and a
     gestalt parameter network.  The active connections will be
     many-to-one onto parameter value nodes that represent object
     features. The virtues of the methodology are that it can handle
     occlusion and noise and can specify intrinsic image boundaries.
     Furthermore, it can be made practical for high-dimensional
     feature spaces.  },
  topic = {connectionist-models;computer-vision;intrinsic-images;
  	primary/secondary-qualities;reasoning-about-noisy-sensors;}
  }

@article{ ballard_dh:1991a,
  author = {Dana H. Ballard},
  title = {Animate Vision},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {48},
  number = {1},
  pages = {57--86},
  acontentnote = {Abstract: Animate vision systems have gaze control
     mechanisms that can actively position the camera coordinate
     system in response to physical stimuli. Compared to passive
     systems, animate systems show that visual computation can be
     vastly less expensive when considered in the larger context of
     behavior. The most important visual behavior is the ability to
     control the direction of gaze. This allows the use of very low
     resolution imaging that has a high virtual resolution. Using
     such a system in a controlled way provides additional
     constraints that dramatically simplify the computations of early
     vision. Another important behavior is

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit