text:
University Press},
  year = {1962},
  editor = {Sidney Hook},
  pages = {25--33},
  address = {Ithaca, New York},
  xref = {Republication: black_m:1958d2.},
  topic = {agency;causality;}
  }

@incollection{ black_m:1958d2,
  author = {Max Black},
  title = {Making Something Happen},
  booktitle = {Models and Metaphors},
  publisher = {Cornell University Press},
  year = {1962},
  editor = {Max Black},
  pages = {153--169},
  address = {Ithaca, New York},
  xref = {Republication of black_m:1958d1.},
  topic = {agency;causality;}
  }

@article{ black_m:1958e1,
  author = {Max Black},
  title = {Self-Supporting Inductive Arguments},
  journal = {Journal of Philosophy},
  year = {1958},
  volume = {55},
  pages = {718--725},
  xref = {Republication: black_m:1958e2.},
  topic = {induction;}
  }

@incollection{ black_m:1958e2,
  author = {Max Black},
  title = {Self-Supporting Inductive Arguments},
  booktitle = {Models and Metaphors},
  publisher = {Cornell University Press},
  year = {1962},
  editor = {Max Black},
  pages = {209--218},
  address = {Ithaca, New York},
  xref = {Original Publication: black_m:1958e1.},
  topic = {induction;}
  }

@article{ black_m:1959a1,
  author = {Max Black},
  title = {Can Induction be Vindicated},
  journal = {Philosophical Studies},
  year = {1959},
  volume = {10},
  pages = {5--16},
  xref = {Republication: black_m:1959a2.},
  topic = {induction;}
  }

@incollection{ black_m:1959a2,
  author = {Max Black},
  title = {Can Induction be Vindicated?},
  booktitle = {Models and Metaphors},
  publisher = {Cornell University Press},
  year = {1962},
  editor = {Max Black},
  pages = {194--208},
  address = {Ithaca, New York},
  xref = {Original Publication: black_m:1959a1.},
  topic = {induction;}
  }

@article{ black_m:1959b1,
  author = {Max Black},
  title = {Linguistic Relativity: The  Views of {B}enjamin
    		{L}ee {W}horf},
  journal = {The Philosophical Review},
  year = {1959},
  volume = {68},
  pages = {228--238},
  xref = {Republication: black_m:1959b2},
  topic = {linguistic-relativity;}
  }

@incollection{ black_m:1959b2,
  author = {Max Black},
  title = {Linguistic Relativity: The Views of {B}enjamin
    		{L}ee {W}horf},
  booktitle = {Models and Metaphors},
  publisher = {Cornell University Press},
  year = {1962},
  editor = {Max Black},
  pages = {244--257},
  address = {Ithaca, New York},
  xref = {Original Publication: black_m:1959b1.},
  topic = {linguistic-relativity;}
  }

@article{ black_m:1960a1,
  author = {Max Black},
  title = {Possibility},
  journal = {The Journal of Philosophy},
  year = {1960},
  volume = {57},
  pages = {117--126},
  xref = {Republication: black_m:1960a2.},
  topic = {possibility;}
  }

@incollection{ black_m:1960a2,
  author = {Max Black},
  title = {Possibility},
  booktitle = {Models and Metaphors},
  publisher = {Cornell University Press},
  year = {1962},
  editor = {Max Black},
  pages = {140--152},
  address = {Ithaca, New York},
  xref = {Original Publication: black_m:1960a1.},
  topic = {possibility;}
  }

@book{ black_m:1962a,
  author = {Max Black},
  title = {Models and Metaphors},
  publisher = {Cornell University Press},
  year = {1962},
  address = {Ithaca, New York},
  contentnote = {TC:
     1. Max Black, "Language and Reality", pp. 1--16
     2. Max Black, "Explanations of Meaning", pp. 17--24
     3. Max Black, "Metaphor", pp. 25--47
     4. Max Black, "Presupposition and Implication", pp. 48--63
     5. Max Black, "Necessary Statements and Rules", pp. 64--94
     6. Max Black, "The Analysis of Rules", pp. 95--139
     7. Max Black, "Possibility", pp. 140--152
     8. Max Black, "Making Something Happen", pp. 153--169
     9. Max Black, "Can the Effect Precede the Cause?", pp. 170--181
    10. Max Black, "The `Direction' of Time", pp. 182--193
    11. Max Black, "Can Induction be Vindicated?", pp. 194--208
    12. Max Black, "Self-Supporting Inductive Arguments", pp. 209--218
    13. Max Black, "Models and Archetypes", pp. 219--243
    14. Max Black, "Linguistic Relativity: The Views of {B}enjamin
    		{L}ee {W}horf", pp. 244--257
  },
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {philosophy-of-language;}
 }

@incollection{ black_m:1962b,
  author = {Max Black},
  title = {Explanations of Meaning},
  booktitle = {Models and Metaphors},
  publisher = {Cornell University Press},
  year = {1962},
  editor = {Max Black},
  pages = {17--24},
  address = {Ithaca, New York},
  topic = {philosophy-of-language;speaker-meaning;foundations-of-semantics;}
  }

@incollection{ black_m:1962c,
  author = {Max Black},
  title = {Presupposition and Implication},
  booktitle = {Models and Metaphors},
  publisher = {Cornell University Press},
  year = {1962},
  editor = {Max Black},
  pages = {48--63},
  address = {Ithaca, New York},
  topic = {presupposition;}
  }

@incollection{ black_m:1962d,
  author = {Max Black},
  title = {The `Direction' of Time},
  booktitle = {Models and Metaphors},
  publisher = {Cornell University Press},
  year = {1962},
  editor = {Max Black},
  pages = {182--193},
  address = {Ithaca, New York},
  topic = {temporal-direction;}
  }

@incollection{ black_m:1962n,
  author = {Max BlackMax Black},
  title = {Models and Archetypes},
  booktitle = {Models and Metaphors},
  publisher = {Cornell University Press},
  year = {1962},
  editor = {Max Black},
  pages = {219--243},
  address = {Ithaca, New York},
  topic = {philosophy-and-models;}
  }

@article{ black_m:1963a1,
  author = {Max Black},
  title = {Austin on Performatives},
  journal = {Philosophy},
  year = {1963},
  volume = {38},
  pages = {217--226},
  missinginfo = {number},
  xref = {Reprinted see black:1963a2.},
  topic = {JL-Austin;speech-acts;pragmatics;}
  }

@incollection{ black_m:1963a2,
  author = {Max Black},
  title = {Austin on Performatives},
  booktitle = {Symposium on J.L. Austin},
  publisher = {Routledge and Kegan Paul},
  year = {1969},
  editor = {K.T. Fann},
  pages = {401--411},
  address = {London},
  missinginfo = {E's 1st name.},
  xref = {Reprinted; see black:1963a1.},
  topic = {JL-Austin;speech-acts;pragmatics;}
  }

@article{ black_m:1963b,
  author = {Max Black},
  title = {Reasoning with Loose Concepts},
  journal = {Dialogue},
  year = {1963},
  volume = {2},
  pages = {1--12},
  missinginfo = {number},
  topic = {vagueness;}
  }

@book{ black_m:1968a,
  author = {Max Black},
  title = {The Labyrinth of Language},
  publisher = {Mentor Books},
  year = {1968},
  address = {New York},
  topic = {vagueness;philosophy-of-language;}
 }

@book{ black_m:1970a,
  author = {Max Black},
  title = {Margins of Precision},
  publisher = {Cornell University Press},
  year = {1970},
  address = {Ithaca, NY},
  topic = {vagueness;}
 }

@article{ black_m:1970b,
  author = {Max Black},
  title = {The Gap between `Is' and `Should'},
  journal = {The Philosophical Review},
  year = {1970},
  volume = {79},
  pages = {165--181},
  missinginfo = {number},
  topic = {logical-autonomy;metaethics;}
  }

@book{ black_wj-bunt:1997a,
  editor = {William J. Black and Harry Bunt},
  title = {Studies in Computational Pragmatics},
  publisher = {University College Press},
  year = {1997},
  address = {London},
  topic = {pragmatics;discourse;nl-processing;}
 }

@techreport{ blackburn_p:1990a,
  author = {Patrick Blackburn},
  title = {Nominal Tense Logic},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {LP--90--05},
  year = {1990},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland},
  rtnote = {In RHT collection.},
  topic = {temporal-logic;}
  }

@incollection{ blackburn_p:1993a,
  author = {Patrick Blackburn},
  title = {Modal Logic and Attribute Value Structures},
  booktitle = {Diamonds and Defaults},
  publisher = {Kluwer Academic Publishers},
  editor = {Maarten de Rijke},
  year = {1993},
  pages = {19--65},
  address = {Dordrecht},
  topic = {modal-logic;feature-structures;}
  }

@article{ blackburn_p:1994a,
  author = {Patrick Blackburn},
  title = {Tense, Temporal Reference, and Tense Logic},
  journal = {Journal of Semantics},
  year = {1994},
  volume = {11},
  number = {1},
  pages = {83--101},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;tense-aspect;tense-logic;}
  }

@article{ blackburn_p:1995a,
  author = {Patrick Blackburn},
  title = {Introduction: Static and Dynamic Aspects of Syntactic
  	Structure},
  journal = {Journal of Logic, Language, and Information},
  year = {1993},
  volume = {4},
  number = {1},
  pages = {1--4},
  topic = {logic;nl-syntax;foundations-of-grammar;grammar-logicism;
  	grammar-formalisms;}
  }

@article{ blackburn_p:1997a,
  author = {Patrick Blackburn},
  title = {Review of \emph{{M}eaning and Partiality}, by {R}einhard
  	{M}uskens},
  journal = {Journal of Logic, Language, and Information},
  year = {1997},
  volume = {6},
  number = {3},
  pages = {353--355},
  xref = {Review of muskens:1996b.},
  topic = {partial-logic;nl-semantics;}
  }

@article{ blackburn_p:1999a,
  author = {Patrick Blackburn},
  title = {Review of \emph{{B}asic Model Theory}, by {K}ees {D}oes},
  journal = {Journal of Logic, Language, and Information},
  year = {1999},
  volume = {7},
  number = {1},
  pages = {258--261},
  xref = {Review of: doets:1996a},
  topic = {model-theory;logic-intro;}
  }

@article{ blackburn_p:2006a,
  author = {Patrick Blackburn},
  title = {Review of \emph{{T}he Language of Time:  A Reader}, edited by
	{I}nderjeet {M}ani, {J}ames {P}ustejovsky, and {R}ob {G}aizaukas},
  journal = {Computational Linguistics},
  year = {2006},
  volume = {32},
  number = {3},
  pages = {445--446},
  xref = {Review of: mani-etal:2005a},
  topic = {temporal-discourse;temporal-reasoning;temporal-representation;
  		tense-aspect;}
  }

@article{ blackburn_p:2007a,
  author = {Patrick Blackburn},
  title = {Review of \emph{{T}he Proper Treatment of Events},
  		by {M}ichiel van {L}ambargen and {F}ritz {H}amm},
  journal = {Computational Linguistics},
  year = {2006},
  volume = {33},
  number = {2},
  pages = {263--265},
  xref = {Review of: vanlambargen-hamm:2005a},
  topic = {nl-semantics;events;}
  }

@unpublished{ blackburn_p-bos:1999a,
  author = {Patrick Blackburn and Johan Bos},
  title = {Representation and Inference in Natural Language:
  	A First Course in Computational Semantics.  Volume {II}:
	Working with Discourse Representations},
  year = {1999},
  note = {Available at http://www.coli.uni-sb.de/{\user}patrick},
  topic = {computational-semantics;nl-interpretation;}
  }

@book{ blackburn_p-bos:2005a,
  author = {Patrick Blackburn and Jonathan Bos},
  title = {Representation and Inference for Natural Language:  A
  	First Course in Computational Semantics},
  publisher = {{CSLI} Publications},
  year = {2005},
  address = {Stanford, California},
  ISBN = {1-58576-496-7},
  xref = {Review: pelletier:2006b},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  contentnote = {TC:
     1. "First-Order Logic"
     2. "Lambda Calculus"
     3. "Underspecified Representations"
     4. "Propositonal Inference"
     5. "First-Order Inference"
     6. "Putting it All Together"
  },
  topic = {computational-semantics;}
 }

@article{ blackburn_p-derijke:1997a,
  author = {Patrick Blackburn and Maarten de Rijke},
  title = {Zooming In, Zooming Out},
  journal = {Journal of Logic, Language, and Information},
  year = {1997},
  volume = {6},
  number = {1},
  pages = {5--31},
  topic = {hybrid-modal-logics;modal-logics;logic-in-AI;dynamic-logic;}
  }

@book{ blackburn_p-derijke:1997b,
  editor = {Patrick Blackburn and Maarten de Rijke},
  title = {Specifying Syntactic Structures},
  publisher = {{CSLI} Publications},
  year = {1997},
  address = {Stanford, California},
  ISBN = {1575860856 (hc)},
  contentnote = {TC:
     1. Tore Burheim, "A Grammar Formalism and Cross-Serial Dependencies"
     2. Jochen D\"orre and Suresh Manandhar, "On Constraint-Based
     		Lambek calculi"
     3. Marcus Kracht, "On Reducing Principles to Rules"
     4. Natasha Kurtonina and Michael Moortgat, "Structural Control"
     5. M. Andrew Moshier, "Featureless HPSG"
     6. James Rogers, "On Descriptive Complexity, language
     		complexity, and GB"
     7. Ralf Treinen, "Feature Trees over Arbitrary Structures"
     8. Gertjan van Noord and Gosse Bouma, "Dutch Verb Clustering
     		without Verb Clusters"
     9. J\"urgen Wedekind, "Approaches to Unification in Grammar: A
     		Brief Survey"    },
  rtnote = {UMich Graduate Library, P 291 .S551 1997.},
  topic = {grammar-formalisms;}
  }

@article{ blackburn_p-derijke:1997c,
  author = {Patrick Blackburn and Maarten de Rijke},
  title = {Why Combine Logics?},
  journal = {Studia Logica},
  year = {1997},
  volume = {59},
  number = {1},
  pages = {5--27},
  topic = {combining-logics;quantifying-in-modality;
  		first-order-modal-logic;}
  }

@incollection{ blackburn_p-etal:1995a,
  author = {Patrick Blackburn and Claire Gardent and Maarten de Rijke},
  title = {On Rich Ontologies for Tense and Aspect},
  booktitle = {Logic, Language and Computation, Volume 1},
  publisher = {{CSLI} Publications},
  year = {1995},
  address = {Stanford, California},
  editor = {Jerry Seligman and Dag Westerst{\aa}hl},
  pages = {77--92},
  rtnote = {In RHT collection.},
  topic = {tense-aspect;modal-logic;}
  }

@incollection{ blackburn_p-etal:1997a,
  author = {Patrick Blackburn and Marc Dymetman and Alain Lecomte and
           Aarne Ranta and Christian Retor\'e and Eric Villemonte
		   de la Clergerie},
  title = {Logical Aspects of Computational Linguistics:
		   an Introduction},
  booktitle = {{LACL}'96: First International Conference on
      Logical Aspects of Computational Linguistics},
  publisher = {Springer-Verlag},
  year = {1997},
  editor = {Christian Retor/'e},
  pages = {1--20},
  address = {Berlin},
  topic = {logic-and-computational-linguistics;}
  }

@incollection{ blackburn_p-etal:1999a,
  author = {Patrick Blackburn and Johan Bos and Michael Kohlhase
		and H. de Neville},
  title = {Inference and Computational Semantics},
  booktitle = {Third International Workshop on Computational
		Semantics ({IWCS}--3)},
  year = {1999},
  editor = {Harry Bunt and Elias Thijsse},
  pages = {5--21},
  missinginfo = {A's 1st name, publisher, address},
  topic = {computational-semantics;cl-course;}
  }

@book{ blackburn_p-etal:2001a,
  author = {Patrick Blackburn and Maarten de Rijke and Yde Venema},
  title = {Modal Logic},
  publisher = {Cambridge University Press},
  year = {2001},
  address = {Cambridge, England},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  ISBN = {0 521 52714 7 (pbk)},
  topic = {modal-logic;}
 }

@book{ blackburn_p-etal:2003a,
  editor = {Patrick Blackburn and Chiara Ghidini and Roy M. Turner
  	and Fausto Giunchiglia},
  title = {Modeling and Using Context: Fourth International and
  	Interdisciplinary Conference, Context 2003},
  publisher = {Springer-Verlag},
  year = {2003},
  address = {Berlin},
  contentnote = {TC:
     1. David Ahn, "Presupposition Incorporation in Adverbial
     		Quantification", pp. 1--14
     2. Horacio Arl\'o Costa, "A Theory of Contextual Propositions
     		for Indicatives", pp. 15--28
     3. Robert P. Arrit and Roy M. Turner, "Context-Sensitive Weights
     		for a Neural Network", pp. 29--39
     4. John Bell, "A Common Sense Theory of Causation", pp. 40--53
     5. Claudia Bianchi, "How to Refer: Objective Context vs.
     		Intentional Context", pp. 54--65
     6. Paolo Bouquet and Bernardo Magnini and Luciano Serafini and
     		Stefano Zanobini, "A SAT-Based Algorithm for Context
		Matching", pp. 66--79
     7. Paolo Bouquet and Luciano Serafini, "On the Difference between
     		Bridge Rules and Lifting Axioms", pp. 80--93
     8. Patrick Br\'ezillon, "Context Dynamic and Explanation in
     		Contextual Graphs", pp. 94--106
     9. Sa\v{s}a Buva\v{c}, "A Deduction Theorem for Normal Modal
     		Propositional Logic", pp. 107--115
    10. Valeria de Paiva, "Natural Deduction and Context as
    		(Constructive) Modality", pp. 116--129
    11. Anita Fetzer, "Communicative Contributions and Communicative
    		Genres:  Language Production and Language Understanding
		in Context", pp. 130--141
    12. Leslie Ganet and Patrick Br\'ezillon and Charles
    		Tijus, "Explanation as Contextual
		Categorization", pp. 142--153
    13. Agn\`es Ganiboreau and Isabel Urdapilleta and Jean-Fran\c{c}ois
    		Richard, "Effects of Context on the Description of
		Olfactory Properties", pp. 154--163
    14. Ramanathan Guha and John McCarthy, "Varieties of
    		Context", pp. 164--177
    15. Seiie Jang and Woontack Woo, "Ubi-UCAM:  A Unified
    		Context-Aware Application Model", pp. 178--189
    16. Nobo Komogata, "Contextual Effects on Word Order: Information
    		Structure and Information Theory", pp. 190--203
    17. Ghita Kouadri Most\'efaouri and Patrick Br\'ezillon, "A
    		Generic Framework for Context-Based Distributed
		Authorizations", pp.  204--217
    18. Hugo Liu, "Unpacking Meaning from Words: A Context-Centered
    		Approach to Computational Lexicon Design", pp. 218--232
    19. Rolf Nossum, "A Contextual Approach to the Logic of
    		Fiction", pp. 233--244
    20. Lucas Paletta, "Predictive Visual Context in Object
    		Detection", pp. 245--258
    21. Orin Percus, "Copular Questions and the Common
    		Ground", pp. 259--271
    22. Robert Porzel and Iryna Gurevych, "Contextual Coherence in
    		Natural Language Processing", pp. 272--285
    23. Luciano Serafini and Fausto Giunchiglia and John Mylopoulos and
    		Philip Bernstein, "Local Relational Model: A Logical
		Formalization of Database Coordination", pp. 286--299
    24. Isadora Stojanovic, "What to Say on What Is Said", pp. 300--313
    25. Kavita E. Thomas, "Modelling `but' in Task-Oriented
    		Dialogue", pp. 314--327
    26. Richmond H. Thomason, "Dynamic Contextual Intensional Logic:
    		Logical Foundations and an Application", pp. 328--341
    27. Martin Trautwein, "Comparatively True Types: a Set-Free
    		Ontological Model of Interpretation and Evaluation
		Contexts", pp.  342--355
    28. Mark Whitsey, "Discourse Context and Indexicality", pp. 356--368
    29. Domenic Widdows, "A Mathematical Model for Context and
    		Word-Meaning", pp. 369--382
    30. Robert A. Young, "Demonstratives, Reference and
    		Perception", pp. 383--396
    31. Elisabetta Zibetti and Charles Tijus, "Perceiving Action from
    		Static Images: the Role of Spatial Context", pp. 397--410
    32. Louise Barkhuus, "How to Define the Communication Situation:
    		Determining Context Cues in Mobile
		Telephony", pp. 411--418
    33. C\'ecile Bothorel and Karine Chevalier, "How to Use Enriched
    		Browsing Context to Personalize Web Site
		Access", pp. 419--426
    34. Harry Bunt, "Modular Partial Models: A Formalism for Context
    		Representation", pp. 427--434
    35. Piort Cisowski, "Contextual Modeling Using Context-Dependent
    		Feedforward Neural Nets", pp. 435--442
    36. Stefania Costantini and Arianna Tocchio, "Context-Based
    		Commonsense Reasoning in the {DALI} Logic
		Programming Language", pp. 443--450
    37. Panu Korpip\"a\"a and Jani M\"antyj\"arvi, "An Ontology for Mobile
    		Device Sensor-Based Context Awareness", pp. 451--458
    38. Marcello L'Abbate and Ulrich Thiel, "The Use of Contextual
    		Information in a Proactivity Model for
		Conversational Agents", pp. 459--466
    39. Rami Musa and Madleina Schneidegger and Andrea Kulas and
    		Yoan Anguilet, "Glo{B}uddy: A Dynamic Broad Context
		Phrase Book", pp. 467--474
    40. Emanuele Panizzi, "Exploiting Dynamicity for the Definition
    		and Parsing of Context Sensitive Grammars", pp. 475--482
    41. Mariano Gomes Pimentel and Hugo Fuks and Carlos Jos\'e Pereira de
    		Lucena, "Co-Text Loss in Textual Chat Codes", pp. 483--490
    42. Jean-Charles Pomeral and Patrick Br\'ezillon, "Context
    		Proceduralization in Decision Making", pp. 491--498
    43. Paul Robertson and Robert Ladagga, "{GRAVA}: An Architecture
    		Supporting Automatic Context Transitions and
		Its Application to Robust Computer Vision", pp. 499--506
    44. Alice G.B. ter Meulen, "Speaking One's Mind", pp. 507--516
    45. Ladina Tschander, "Connecting Route Segments Given in
    		Route Descriptions", pp. 517--524
  },
  ISBN = {3-540-40380-9},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  xref = {Report: ghidini-turner_r:2003a.},
  topic = {context;}
 }

@book{ blackburn_p-etal:2006a,
  author = {Patrick Blackburn and Johan Bos and Kristina Stiegnitz},
  title = {Learn Prolog Now!},
  publisher = {College Publications},
  year = {2006},
  address = {London},
  ISBN = {1904987176},
  xref = {Review: broda:2008a},
  topic = {Prolog;}
 }

@book{ blackburn_p-etal:2006b,
  editor = {Patrick Blackburn and Johan van Benthem and Frank Wolter},
  title = {Handbook of Modal Logic},
  year = {2006},
  ISBN = {0444516905},
  publisher = {Elsevier Science Inc.},
  address = {New York},
  contentnote = {TC:
   1.  Patrick Blackburn and Johan van Benthem, "Modal Logic:  A
           Semantic Perspective", pp. 1--84
   2.  Melvin Fitting, "Modal Proof Theory", pp. 85--138
   3.  Maarten Marx, "Complexity of Modal Logic", pp. 139--179
   4.  Ian Horrocks and Ullrich Hustadt and Ulrike Sattler and Renate
   		Schmidt, "Computational Modal Logic", pp. 181--245
   5.  Valentin Goranko and Martin Otto, "Model Theory of Modal
   		Logic", pp. 249--329
   6.  Yde Venema, "Algebras and Co-Algebras", pp. 331--426
   7.  Frank Wolter and Michael Zakharyaschev, "Modal Decision
   		Problems", pp. 427--489
   8.  Marcus Kracht, "Modal Consequence Relations", pp. 491--545
   9.  Torben Br\"auner and Silvio Ghilardi, "First-Order Modal
   		Logic", pp. 549--620
   10. Reinhard Muskens, "Higher Order Modal Logic", pp. 621--653
   11. Ian Hodkinson and Mark Reynolds, "Temporal Logic", pp. 655--720
   12. Jill Bradfield and Colin Stitling, "Modal $\mu$-Calculi", pp. 721--756
   13. Franz Baader and Carsten Lutz, "Description Logic", pp. 757--819
   14. Carlos  Areces and Balder ten Cate, "Hybrid Logics", pp. 821--868
   15. \'Agnes  Kurucz, "Combining Modal Logics", pp. 869--924
   16. Sergei N. Artemov, "Modal Logic in Mathematics", pp. 927--969
   17. Moshe Y. Vardi, "Automata-Theoretic Techniques for Temporal
   		Reasoning", pp. 971--989
   18. {John-Jules Ch.} Meyer and Frank Veltman, "Intelligent
   		Agents and Common-Sense Reasoning", pp. 991--1029
   19. Lawrence S. Moss and Hans-Joerg Tiede, "Applications of
   		Modal Logic in Linguistics", pp. 1031--1076
   20. Wiebe van der Hoek and Marc Pauly, "Modal Logic for Games
   		and Information", pp. 1077--1148
   21. Sten Lindstrom and Krister Segerberg, "Modal Logic and
   		Philosophy", pp. 1149--1214
  },
  topic = {modal-logic;}
 }

@article{ blackburn_p-kohlhase:2004a,
  author = {Patrick Blackburn and Michael Kohlhase},
  title = {Inference and Computational Semantics},
  journal = {Journal of Logic, Language, and Information},
  year = {2004},
  volume = {13},
  number = {2},
  pages = {117--120},
  note = {Preface to a special issue on computational semantics.},
  topic = {computational-semantics;Montague-grammar;}
  }

@article{ blackburn_p-marx:2002a,
  author = {Patrick Blackburn and Maarten Marx},
  title = {Remarks on {G}regory's `Actually' Operator},
  journal = {Journal of Philosophical Logic},
  year = {2002},
  volume = {31},
  number = {3},
  pages = {281--288},
  topic = {modal-logic;actuality;}
  }

@article{ blackburn_p-seligman_j:1995a,
  author = {Patrick Blackburn and Jerry Seligman},
  title = {Hybrid Languages},
  journal = {Journal of Logic, Language, and Information},
  year = {1993},
  volume = {4},
  number = {3},
  pages = {251--272},
  topic = {hybrid-modal-logics;modal-logic;modal-correspondence-theory;}
  }

@incollection{ blackburn_p-seligman_j:1998a,
  author = {Patrick Blackburn and Jerry Seligman},
  title = {What Are Hybrid Languages?},
  booktitle = {Advances in Modal Logic, Volume 1},
  publisher = {{CSLI} Publications},
  year = {1998},
  editor = {Marcus Kracht and Maarten de Rijke and Heinrich Wansing},
  pages = {41--62},
  address = {Stanford, California},
  topic = {modal-logic;}
  }

@article{ blackburn_p-spaan_e:1993a,
  author = {Patrick Blackburn and Edith Spaan},
  title = {A Modal Perspective on the Computational Complexity of
  	Attribute Value Grammar},
  journal = {Journal of Logic, Language, and Information},
  year = {1993},
  volume = {2},
  number = {2},
  pages = {129--169},
  topic = {complexity-theory;grammar-formalisms;feature-structures;}
  }

@article{ blackburn_p-tencate:2006a,
  author = {Patrick Blackburn and Balder ten Cate},
  title = {Pure Extensions, Proof Rules, and Hybrid Axiomatics},
  journal = {Studia Logica},
  year = {2006},
  volume = {84},
  number = {2},
  pages = {277--322},
  topic = {modal-logic;hybrid-modal-logics;completeness-theorems;}
  }

@unpublished{ blackburn_p-tzakova:1998a,
  author = {Patrick Blackburn and Miroslava Tzakova},
  title = {Hybrid Languages and Temporal Logic},
  year = {1998},
  note = {Unpublished manuscript, University of Paris},
  rtnote = {In RHT collection.},
  topic = {hybrid-modal-logics;tense-logic;}
  }

@incollection{ blackburn_p-vanbenthem:2006a,
  author = {Patrick Blackburn and Johan van Benthem},
  title = {Modal Logic: A Semantic Perspective},
  booktitle = {Handbook of Modal Logic},
  year = {2006},
  editor = {Patrick Blackburn and Johan van Benthem and Frank Wolter},
  pages = {1--84},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {modal-logic;model-theory;}
  }

@article{ blackburn_p-venema:1995b,
  author = {Patrick Blackburn and Yde Venema},
  title = {Dynamic Squares},
  journal = {Journal of Philosophical Logic},
  year = {1995},
  volume = {24},
  number = {5},
  pages = {469--523},
  contentnote = {This deals with dynamic implication; see
		groenendijk-stokhof:1991a.},
  topic = {dynamic-logic;conditionals;}
  }

@book{ blackburn_s:1975b,
  editor = {Simon Blackburn},
  title = {Meaning, Reference and Necessity: New Studies
  	in Semantics},
  publisher = {Cambridge University Press},
  year = {1975},
  address = {Cambridge, England},
  ISBN = {0521207207},
  rtnote = {UMich  Graduate Library Call No: 800.31 M483},
  topic = {semantics;philosophy-of-language;}
 }

@incollection{ blackburn_s:1975c,
  author = {Simon Blackburn},
  title = {The Identity of Propositions},
  booktitle = {Meaning, Reference and Necessity: New Studies
  	in Semantics},
  publisher = {Cambridge University Press},
  year = {1975},
  editor = {Simon Blackburn},
  pages = {182--205},
  address = {Cambridge, England},
  topic = {propositions;intensionality;}
  }

@book{ blackburn_s:1980a,
  author = {Simon Blackburn},
  title = {Philosophical Logic},
  publisher = {Open University Press},
  year = {1980},
  address = {Milton Keynes},
  ISBN = {0335110207 (pbk.)},
  rtnote = {UMich Graduate Library, QA273.4 .C28.},
  topic = {philosophical-logic;}
 }

@book{ blackburn_s:1984a,
  author = {Simon Blackburn},
  title = {Spreading the Word: Groundings in the Philosophy of
  	Language},
  publisher = {Oxford University Press},
  year = {1984},
  address = {Oxford},
  ISBN = {0198246501 paperback},
  rtnote = {UMich Graduate Library P106 .B471 1984,
  		Undergraduate  P106 .B471 1984},
  topic = {philosophy-of-language;expressivism;}
 }

@article{ blackburn_s:1988a,
  author = {Simon Blackburn},
  journal = {Ethics},
  pages = {501--17},
  title = {Attitudes and Contents},
  volume = {98},
  year = {1988},
  Url = {http://www.jstor.org/stable/2380964},
  topic = {expressivism;}
  }

@incollection{ blackburn_s:1993a,
  author = {Simon Blackburn},
  title = {Circles, Finks, Smells and Biconditionals},
  booktitle = {Philosophical Perspectives, Volume 7:
  	Language and Logic},
  publisher = {Blackwell Publishers},
  year = {1993},
  editor = {James E. Tomberlin},
  pages = {259--279},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {concept-grasping;nl-semantics-and-cognition;
  	perceptual-concepts;primary/secondary-qualities;}
  }

@incollection{ blackburn_s:1995a,
  author = {Simon Blackburn},
  title = {Theory, Observation, and Drama},
  booktitle = {Mental Simulation: Evaluations and Applications},
  publisher = {Blackwell Publishers},
  year = {1995},
  editor = {Martin Davies and Tony Stone},
  pages = {274--290},
  address = {Oxford},
  topic = {mental-simulation;propositional-attitude-ascription;
  	theory-theory-of-folk-psychology;}
  }

@book{ blackburn_s:1998a,
  author = {Simon Blackburn},
  title = {Ruling Passions: A Theory of Practical Reasoning},
  publisher = {Oxford University Press},
  year = {1998},
  address = {Oxford},
  ISBN = {0198247850},
  rtnote = {UMich Graduate Library, BJ 1311 .B531 1998.},
  topic = {practical-reasoning;}
 }

@article{ blackburn_s:1999a,
  author = {Simon Blackburn},
  title = {Review of \emph{{M}ind, Language, and Society}, by
  	{J}ohn {R}. {S}earle},
  journal = {The Journal of Philosophy},
  year = {1999},
  volume = {96},
  number = {12},
  pages = {626--629},
  xref = {Review of searle:1998a},
  topic = {philosophy-of-mind;philosophy-of-language;}
  }

@article{ blackburn_s-code:1978a,
  author = {Simon Blackburn and Alan Code},
  title = {The Power of {R}ussell's Criticism of {F}rege:
  	`On Denoting' pp. 48--50},
  journal = {Analysis},
  year = {1978},
  volume = {38},
  number = {2},
  rtnote = {In RHT collection.},
  missinginfo = {pages = {65--}},
  topic = {on-denoting;Russell;definite-descriptions;}
  }

@book{ blackburn_s-simmons_k:1999a,
  editor = {Simon Blackburn and Keith Simmons},
  title = {Truth},
  publisher = {Oxford University Press},
  year = {1999},
  address = {Oxford},
  ISBN = {0198752504},
  contentnote = {TC:
     1. F.H. Bradley, "On truth and copying"
     2. H.H. Joachim, "The nature of truth"
     3. William James, "Pragmatism's conception of truth"
     4. Bertand Russell, "William James's conception of truth"
     5. Gottlob Frege, "The thought: a logical inquiry"
     6. F.P. Ramsey, "On facts and propositions"
     7. Ludwig Wittgenstein, "Philosophical extracts"
     8. Alfred Tarski, "The semantic conception of truth and the
     		foundations of semantics"
     9. W.V. Quine, "Philosophy of logic"
    10. J.L.  Austin, "Truth"
    11. P.F. Strawson, "Truth"
    12. J.L Austin, "Unfair to facts"
    13. Crispin Wright, "Truth: a traditional debate reviewed"
    14. Paul Horwich, "The minimalist conception of truth"
    15. Michael Dummett, "Of what kind of thing is truth a property?"
    16. Anil Gupta, "A critique of deflationism"
    17. Donald Davidson, "The folly of trying to define truth"
    18. Richard Rorty, "Pragmatism, Davidson, and truth"
    19. Hartry Field, "Deflationist views of meaning and content"
   },
  rtnote = {UMich Undergraduate, Bc 171 .T761 1999.},
  topic = {truth;}
 }

@article{ blackburn_wk:1983a,
  author = {William K. Blackburn},
  title = {Ambiguity and Non-Specificity: A Reply to {J}ay
  	{D}avid {A}tlas},
  journal = {Linguistics and Philosophy},
  year = {1983},
  volume = {6},
  number = {4},
  pages = {479--498},
  topic = {definite-descriptions;presuppositon;ambiguity;}
  }

@book{ blackmore:1999a,
  author = {Susan Blackmore},
  title = {The Meme Machine},
  publisher = {Oxford University Press},
  year = {1999},
  address = {Oxford},
  ISBN = {0-19 (hardback), 0-19 (paperback)},
  topic = {evolutionary-psychology;}
 }

@book{ blackmore:2005a,
  author = {Susan Blackmore},
  title = {Consciousness:  A Very Short Introduction},
  publisher = {Oxford University Press},
  year = {2005},
  address = {Oxford},
  ISBN = {0-19-280585-1},
  topic = {consciousness;philosophy-of-mind;}
 }

@article{ blair_d-maron:1985a,
  author = {David C. Blair and M.E. Maron},
  title = {An Evaluation of Retrieval Effectiveness for a Full-Text
  	Document-Retrieval System},
  journal = {Communications of the {ACM}},
  year = {1985},
  volume = {28},
  number = {1},
  pages = {289--299},
  rtnote = {In RHT collection.},
  topic = {information-retrieval;}
  }

@article{ blair_g-etal:1989a,
  author = {Gordon Blair and John Gallagher and Javad Malik},
  title = {Genericity vs. Inheritance vs. Delegation vs. Conformance
  	vs. $\ldots$},
  journal = {Journal of Object-Oriented Programming},
  year = {1989},
  pages = {11--17},
  month = {September/October},
  missinginfo = {volume, number},
  rtnote = {In RHT collection.},
  topic = {distributed-systems;object-oriented-systems;}
 }

@article{ blair_ha-subramanian_vs:1987a,
  author = {H.A. Blair and V.S. Subramanian},
  title = {Paraconsistent Logic Programming},
  journal = {Theoretical Computer Science},
  year = {1987},
  volume = {68},
  pages = {127--158},
  missinginfo = {A's 1st name, number},
  topic = {paraconsistency;logic-programming;}
  }

@article{ blake-etal:1995a,
  author = {Andrew Blake and Michael Isard and David Reynard},
  title = {Learning to Track the Visual Motion of Contours},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {78},
  number = {1--2},
  pages = {179--212},
  acontentnote = {Abstract:
     A development of a method for tracking visual contours is
     described. Given an ``untrained'' tracker, a training motion of an
     object can be observed over some extended time and stored as an
     image sequence. The image sequence is used to learn parameters
     in a stochastic differential equation model. These are used, in
     turn, to build a tracker whose predictor imitates the motion in
     the training set. Tests show that the resulting trackers can be
     markedly tuned to desired curve shapes and classes of motions.},
  topic = {motion-tracking;machine-learning;}
  }

@book{ blakemore:1987a,
  author = {Diane Blakemore},
  title = {Semantic Constraints on Relevance},
  publisher = {Oxford University Press},
  year = {1987},
  address = {Oxford},
  ISBN = {0631156445},
  rtnote = {UMich Graduate Library, P325 .B481 1987.},
  topic = {relevance;implicature;}
 }

@article{ blakemore:1987b,
  author = {Diane Blakemore},
  title = {Linguistic Constraints on Pragmatic Interpretation:
  	A Reassessment of Linguistic Semantics},
  journal = {Behavioral and Brain Sciences},
  year = {1987},
  volume = {4},
  pages = {712--713},
  missinginfo = {number},
  topic = {pragmatics;semantics;}
  }

@incollection{ blakemore:1988a,
  author = {Diane Blakemore},
  title = {\,`So' as a Constraint on Relevance},
  booktitle = {Mental Representations: The Interface Between Language and
  	Reality},
  publisher = {Cambridge University Press},
  year = {1988},
  editor = {Ruth Kempson},
  pages = {183--195},
  address = {Cambridge, England},
  topic = {relevance-theory;discourse-cue-words;pragmatics;}
  }

@article{ blakemore:1989a,
  author = {Diane Blakemore},
  title = {Denial and Contrast: A Relevance Theoretic Analysis
  	of `But'\, },
  journal = {Linguistics and Philosophy},
  year = {1989},
  volume = {12},
  number = {1},
  pages = {15--37},
  topic = {discourse-cue-words;`but';relevance-theory;}
  }

@article{ blakemore:1989b,
  author = {Diane Blakemore},
  title = {Review of \emph{{M}eaning and Force: The Pragmatics of
  	Performative Utterances}, by {F}ran\c{c}ois {R}ecanti},
  journal = {Mind and Language},
  year = {1989},
  volume = {4},
  number = {3},
  pages = {235--245},
  topic = {pragmatics;speech-acts;}
  }

@book{ blakemore:1990a,
  author = {Diane Blakemore},
  title = {Understanding Utterances: The Pragmatics of Natural
  	Language},
  publisher = {Blackwell Publishers},
  year = {1990},
  address = {Oxford},
  topic = {implicature;pragmatics-survey;}
 }

@unpublished{ blamey:1985a,
  author = {Stephen Blamey},
  title = {The Logical Analysis of Presupposition},
  year = {1985},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  topic = {presupposition;pragmatics;}
  }

@incollection{ blamey:1986a,
  author = {Stephen Blamey},
  title = {Partial Logic},
  booktitle = {Handbook of Philosophical Logic, Volume {III}:
  	Alternatives to Classical Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1984},
  editor = {Dov Gabbay and Franz Guenther},
  pages = {1--70},
  address = {Dordrecht},
  topic = {partial-logic;truth-value-gaps;}
 }

@article{ blanchette:1996a,
  author = {Patricia A. Blanchette},
  title = {Frege and {H}ilbert on Consistency},
  journal = {The Journal of Philosophy},
  year = {1996},
  volume = {93},
  number = {7},
  pages = {317--336},
  topic = {foundations-of-mathematics;history-of-logic;}
  }

@article{ blass-etal:2002a,
  author = {Andreas Blass and Yuri Gurevich and Saharon Shelah},
  title = {On Polynomial Time Computation over Unordered Structures},
  journal = {Journal of Symbolic Logic},
  year = {2002},
  volume = {67},
  number = {3},
  pages = {1093--1125},
  topic = {complexity-logics;}
  }

@article{ blass-etal:2009a,
  author = {Andreas Blass and Nachum Dersowitz and Yuri Gurevich},
  title = {When Are Two Algorithms the Same?},
  journal = {The Bulletin of Symbolic Logic},
  year = {2009},
  volume = {15},
  number = {2},
  pages = {145--168},
  contentnote = {Argues that "same algorithm", Church-Turing thesis
  	are too vague to be formalizable.},
  topic = {algorithms;foundations-of-computation;}
  }

@article{ blass-gurevich:2000a,
  author = {Andreas Blass and Yuri Gurevich},
  title = {The Logic of Choice},
  journal = {Journal of Symbolic Logic},
  year = {2000},
  volume = {65},
  number = {3},
  pages = {1264--1310},
  topic = {abstract-state-machines;epsilon-operator;choice-constructs;}
  }

@article{ blattner:2001a,
  author = {William Blattner},
  title = {Review of \emph{{T}he Paradox of Subjectivity: The Self
  	in the Transcendental Tradition}, by {D}avid {C}arr},
  journal = {The Philosophical Review},
  year = {2001},
  volume = {110},
  number = {3},
  pages = {454--456},
  xref = {Review of: carr_d:1999a.},
  topic = {idealism;Kant;Husserl;Heidegger;}
  }

@incollection{ blau:1983a,
  author = {Ulrich Blau},
  title = {Three-Valued Analysis of Precise, Vague, and Presupposing
  	Quantifiers},
  booktitle = {Approaching Vagueness},
  publisher = {North-Holland},
  year = {1983},
  editor = {Thomas T. Ballmer and Manfred Pinkal},
  pages = {79--129},
  address = {Amsterdam},
  topic = {vagueness;nl-quantifiers;}
  }

@incollection{ blayblock-etal:2002a,
  author = {Nate Blayblock and James Allen and George Ferguson},
  title = {Synchronization in an Asynchronous Agent-Based
		Architecture for Dialogue Systems},
  booktitle = {Third {SIGdial} Workshop on Discourse and Dialogue:
  		Proceedings of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {2002},
  editor = {Kristina Jokinen and Susan McRoy},
  pages = {1--10},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;}
  }

@phdthesis{ blaylock:2005a,
  author = {Nathan J. Blaylock},
  title = {Towards Tractable Agent-Based Dialogue},
  school = {University of Rochester},
  year = {2005},
  type = {Ph.D. Dissertation},
  address = {Rochester},
  url = {www.cs.rochester.edu/research/cisd/pubs/2005/blaylock-phd-2005.pdf},
  rtnote = {In RHT collection.},
  topic = {computational-dialogue;}
 }

@article{ bledsoe:1970a,
  author = {W.W.  Bledsoe},
  title = {Splitting and Reduction Heuristics in Automatic
  	Theorem Proving},
  journal = {Artificial Intelligence},
  year = {1970},
  volume = {2},
  number = {1},
  pages = {55--77},
  topic = {theorem-proving;}
  }

@article{ bledsoe:1977a1,
  author = {W. W. Bledsoe},
  title = {Non-Resolution Theorem Proving},
  journal = {Artificial Intelligence},
  year = {1977},
  volume = {9},
  number = {1},
  pages = {23--40},
  xref = {Republication: bledsoe:1977a2.},
  topic = {theorem-proving;}
  }

@incollection{ bledsoe:1977a2,
  author = {W. W. Bledsoe},
  title = {Non-Resolution Theorem Proving},
  booktitle = {Readings in Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  year = {1981},
  editor = {Bonnie Webber and Nils J. Nilsson},
  pages = {91--108},
  address = {Los Altos, California},
  xref = {Journal Publication: bledsoe:1977a1.},
  topic = {theorem-proving;}
  }

@article{ bledsoe-bruell:1974a,
  author = {W.W. Bledsoe and Peter Bruell},
  title = {A Man-Machine Theorem-Proving System},
  journal = {Artificial Intelligence},
  year = {1974},
  volume = {5},
  number = {1},
  pages = {51--72},
  topic = {theorem-proving;}
  }

@article{ bledsoe-etal:1972a,
  author = {W.W.  Bledsoe and R.S.  Boyer and W.H. Henneman},
  title = {Computer Proofs of Limit Theorems},
  journal = {Artificial Intelligence},
  year = {1972},
  volume = {3},
  number = {1--3},
  pages = {27--60},
  topic = {theorem-proving;computer-assisted-mathematics;}
  }

@article{ bledsoe-etal:1985a,
  author = {Woodrow W. Bledsoe and K. Kunen and R. Shostak},
  title = {Completeness Results for Inequality Provers},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {27},
  number = {3},
  pages = {255--288},
  topic = {theorem-proving;completeness-theorems;}
  }

@book{ blevins_j-carter_j:1988a,
  editor = {J. Blevins and J. Carter},
  title = {{NELS 18}: Proceedings of the Eighteenth Conference of the
  	{N}orth {E}ast {L}inguistic {S}ociety},
  publisher = {GLSA Publications},
  year = {1988},
  address = {Amherst, Massachusetts},
  note = {URL FOR GLSA Publications:
  	http://www.umass.edu/linguist/glsa-pubs.html.},
  topic = {linguistics-proceedings;nl-syntax;nl-semantics;}
 }

@unpublished{ blevins_jp:1992a,
  author = {James P. Blevins},
  title = {The Linguistic relevance of Combinatory Grammars},
  year = {1992},
  note = {Unpublished manuscript, University of Western Australia.},
  rtnote = {In RHT collection.},
  topic = {categorial-grammar;}
  }

@article{ blevins_jp:1995a,
  author = {James P. Blevins},
  title = {Syncretism and Paradigmatic Opposition},
  journal = {Linguistics and Philosophy},
  year = {1995},
  volume = {18},
  number = {2},
  pages = {113--152},
  contentnote = {Discusses hierarchical organization of information in
  	the lexicon.},
  topic = {morphology;feature-structures;HPSG;}
  }

@incollection{ blin-miclet:2000a,
  author = {Laurent Blin and Laurent Miclet},
  title = {Generating Synthetic Speech Prosody with Lazy Learning in
  	Tree Structures},
  booktitle = {Proceedings of the Fourth Conference on Computational
  	Natural Language Learning and of the Second Learning Language
	in Logic Workshop, {L}isbon, 2000},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Claire Cardie and Walter Daelemans and Claire N\'edellec
  	and Erik Tjong Kim Sang},
  pages = {87--90},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;speech-generation;}
  }

@book{ bloch_b-trager:1942a,
  author = {Bernard Bloch and George L. Trager},
  title = {Outline of Linguistic Analysis},
  publisher = {Linguistic Society of America at the Waverly Press, Inc.},
  year = {1942},
  address = {Baltimore},
  rtnote = {UMich Graduate Library, P 121 .B62.},
  topic = {linguistic-classic;structuralist-linguistics;}
 }

@inproceedings{ bloch_i:2000a,
  author = {Isabelle Bloch},
  title = {Spatial Representation of Spatial Relationship
         Knowledge},
  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 = {247--258},
  topic = {spatial-reasoning;spatial-representation;}
  }

@article{ bloch_i-etal:2003a,
  author = {Isabelle Bloch and Thierry G\'eraud and Henri Ma\^itre},
  title = {Representation and Fustion of Heterogeneous Fuzzy Information
  	in the {3D} Space for Model-Based Structural
	Recognition---Application to {3D} Brain Imaging},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {148},
  number = {1--2},
  pages = {141--175},
  topic = {possibility-theory;fuzzy-set-theory;pattern-recognition;}
  }

@incollection{ bloch_i-etal:2004a,
  author = {Isabelle Bloch and Ram\'on Pino-P\'erez and Carlos
  		Uzc\'ategui},
  title = {A Unified Treatment for Knowledge Dynamics},
  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 = {329--337},
  address = {Menlo Park, California},
  topic = {belief-revision;abduction;}
  }

@incollection{ block:1986a,
  author = {Ned Block},
  title = {Advertisement for a Semantics for Psychology},
  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 = {615--678},
  address = {Minneapolis},
  topic = {foundations-of-semantics;cognitive-semantics;}
  }

@article{ block:1987a,
  author = {Ned Block},
  title = {Functional Role and Truth Conditions},
  journal = {Proceedings of the {A}ristotelian Society},
  year = {1987},
  volume = {61},
  note = {Supplementary Series.},
  pages = {157--181},
  topic = {conceptual-role-semantics;}
 }

@incollection{ block:1997a,
  author = {Ned Block},
  title = {Anti-Reductionism Slaps Back},
  booktitle = {Philosophical Perspectives 11: Mind, Causation, and World},
  publisher = {Blackwell Publishers},
  year = {1997},
  editor = {James E. Tomberlin},
  pages = {107--132},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-mind;philosophy-of-psychology;}
  }

@article{ block:2002a,
  author = {Ned Block},
  title = {The Harder Problem of Consciousness},
  journal = {The Journal of Philosophy},
  year = {2002},
  volume = {99},
  number = {8},
  pages = {391--425},
  topic = {consciousness;philosophy-of-mind;}
  }

@book{ block-etal:1997a,
  editor = {Ned Block and Owen Flanagan and G\"uven G\"ueldere},
  title = {The Nature of Consciousness: Philosophical Debates},
  publisher = {The {MIT} Press},
  year = {1997},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-52210-1},
  topic = {consciousness;philosophy-of-mind;}
 }

@incollection{ block-segel:1998a,
  author = {Ned Block and Gabriel Segel},
  title = {The Philosophy of Psychology},
  booktitle = {Philosophy 2: Further through the Subject},
  publisher = {Oxford University Press},
  year = {1998},
  editor = {A.C. Grayling},
  pages = {1--71},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-psychology;}
  }

@article{ block-stalnaker:1999a,
  author = {Ned Block and Robert C. Stalnaker},
  title = {Conceptual Analysis, Dualism, and the Explanatory Gap},
  journal = {The Philosophical Review},
  year = {1999},
  volume = {108},
  number = {1},
  missinginfo = {pages},
  topic = {a-priori;}
  }

@article{ blockeel-deraedt:1998a,
  author = {Hendrik Blockeel and Luc De Raedt},
  title = {Top-Down Induction of First-Order Logical Decision
  	Trees},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {101},
  number = {1--2},
  pages = {285--297},
  acontentnote = {Abstract:
     A first-order framework for top-down induction of logical
     decision trees is introduced. The expressivity of these trees is
     shown to be larger than that of the flat logic programs which
     are typically induced by classical ILP systems, and equal to
     that of first-order decision lists. These results are related to
     predicate invention and mixed variable quantification. Finally,
     an implementation of this framework, the TILDE system, is
     presented and empirically evaluated.},
  topic = {machine-learning;structure-learning;}
  }

@article{ blok:1991a,
  author = {Peter Blok},
  title = {Focus and Presupposition},
  journal = {Journal of Semantics},
  year = {1991},
  volume = {8},
  number = {4},
  pages = {149--165},
  topic = {sentence-focus;presupposition;pragmatics;}
  }

@incollection{ blok:1991b,
  author = {Peter Blok},
  title = {On Rooth's Analysis of Heavy Stress},
  booktitle = {Language and Cognition 1},
  publisher = {University of Groningen},
  year = {1991},
  editor = {M. Kas and Eric Reuland and C. Vet},
  pages = {19--37},
  address = {Groningen},
  contentnote = {Referenced in Blok:1993a.},
  topic = {sentence-focus;pragmatics;}
  }

@phdthesis{ blok:1993a,
  author = {Peter Blok},
  title = {The Interpretation of Focus: An Epistemic Approach to
  	Pragmatics},
  school = {Rijksuniversiteit Groningen},
  year = {1993},
  address = {Groningen, Holland},
  rtnote = {In RHT collection.  LLP authored shelves.},
  topic = {sentence-focus;epistemic-logic;pragmatics;}
 }

@incollection{ blok-etal:2003a,
  author = {Sergey Blok and Douglas Medin and Daniel Osherson},
  title = {Probability from Similarity},
  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 = {36--42},
  address = {Menlo Park, California},
  topic = {qualitative-probability;}
  }

@article{ blok-jonsson_b:2006a,
  author = {Willem J. Blok and Bjarni J\'onsson},
  title = {Equivalence of Consequence Relations},
  journal = {Studia Logica},
  year = {2006},
  volume = {83},
  number = {1--3},
  pages = {91--110},
  topic = {algebraic-logic;logical-consequence;}
  }

@book{ bloom_p:1994a,
  editor = {Paul Bloom},
  title = {Language Acquisition: Core Readings},
  publisher = {The {MIT} Press},
  year = {1994},
  address = {Cambridge, Massachusetts},
  contentnote = {TC:
  	1. Paul Bloom, "language acquisitions"
	2. Paul Bloom, "Overview: controversies in
            language acquisition"
	3. Anne Fernald, "Human maternal vocalizations to infants as
            biologically relevant signals : an evolutionary perspective"
	4. Laura Ann Petitto, "Modularity and constraints in early
	    lexical acquisition : evidence from children's early language
	    and gesture"
	5. Dare A. Baldwin, "Infant contributions to the
            achievement of joint reference"
	6. Ellen M. Markman, Lila Gleitman, Janellen Huttenlocher and
		Patricia Smiley,
	7. Janellen Huttenlocher and Patricia Smiley, "Constraints
		children place on word "Early word meanings : the
		case of object names"meanings"
        8. Eve V. Clark and Kathie L. Carpenter, "The notion of
		source in language acquisition"
        9. Jess Gropen et al, "Affectedness and direct
            objects : the role of lexical semantics in the
	    acquisition of verb argument structure"
       10. Melissa Bowerman, "Learning a semantic system : what role
		do cognitive predispositions play?"
       11. Stephen Crain, "Language acquisition in the absence of
       		experience"
       12. Richard F. Cromer, "Language growth with experience
       		without feedback"
       13. D.E. Rumelhart and J.L. McClelland, "On learning the past
       		tenses of English verbs"
       14. Steven Pinker, "Rules of language"
       15. Peter Gordon, "Level-ordering in
            lexical development"
       16. Susan Goldin-Meadow and Carolyn Mylander, "Beyond the
       	    input given: the child's role in the acquisition of
	    language"
       17. Elissa L. Newport, "Maturational constraints on language learning"
       16. Annette Karmiloff-Smith, "Innate
            constraints and developmental change"
       16. Peter Marler, "The instinct to learn"
   },
  topic = {L1-acquisition;}
 }

@book{ bloom_p:1996a,
  editor = {Paul Bloom},
  title = {Language and Space},
  publisher = {The {MIT} Press},
  year = {1996},
  address = {Cambridge, Massachusetts},
  ISBN = {0262024039},
  contentnote = {TC:
     1. Ray Jackendoff, "The Architecture of the Lingustic-Spatial
     		Interface"
     2. Manfred Bierwisch, "How Much Space Gets into Language"
     3. Willem J.M. Levelt, "Perspective Taking and Ellipsis in
     		Spatial Descriptions"
     4. Stephen C.  Levinson, "Frames of Reference and {M}olyneux's
     		Question: Crosslinguistic Evidence"
     5. Karen Emmorey, "The Confluence of Space and Language in Signed
     		Languages"
     6. Leonard Talmy, "Fictive Motion in Language and `Ception'\,"
     7. John O'Keefe, "The Spatial Prepositions in {E}nglish, Vector
     		Grammar, and the Cognitive Map Theory"
     8. Barbara Landau," Multiple geometric representations of
     		Objects in Languages and Language Learners"
     9. Jean M. Mandler, "Preverbal Representation and Language"
    10. Melissa Bowerman, " Learning How to Structure Space for
    		Language: A Crosslinguistic Perspective"
    11. Philip N. Johnson-Laird, "Space to Think"
    12. Barbara Tversky, " Spatial Perspective in Descriptions"
    13. Gordon D. Logan and Daniel D. Sadler, " A Computational
    		Analysis of the Apprehension of Spatial Relations"
    14. Tim Shallice, "The Language-to-Object Perception Interface:
    		Evidence from Neuropsychology"
    15.  Mary A. Peterson and Lynn Nadel and Paul Bloom and Merrill
    		F. Garrett, "Space and language"  },
  rtnote = {UMich Graduate Library, P 37.5 .S65 L361 1996.},
  topic = {spatial-language;}
 }

@book{ bloom_p:1996b,
  editor = {Paul Bloom},
  title = {Language and Space},
  publisher = {The {MIT} Press},
  year = {1996},
  address = {Cambridge, Massachusetts},
  ISBN = {0262024039},
  rtnote = {UMich Graduate Library, P 37.5 .S65 L361 1996},
  topic = {spatial-semantics;spatial-language;}
 }

@book{ bloom_p:2000a,
  author = {Paul Bloom},
  title = {How Children Learn the Meanings of Words},
  publisher = {The {MIT} Press},
  year = {2000},
  address = {Cambridge, Massachusetts},
  topic = {psycholinguistics;lexical-acquistion;}
 }

@book{ bloomfield:1914a,
  author = {Leonard Bloomfield},
  title = {An Introduction to the Study of Language},
  publisher = {H. Holt and Company},
  year = {1914},
  address = {New York},
  ISBN = {UMich Graduate Library 800 B65},
  xref = {Revision: bloomfield:1933a.},
  topic = {linguistics-classics;}
 }

@book{ bloomfield:1933a,
  author = {Leonard Bloomfield},
  title = {Language},
  publisher = {Holt, Rinehart and Winston},
  year = {1933},
  address = {New York},
  rtnote = {UMich Graduate Library P 121 .B65 1933},
  xref = {Revision of: bloomfield:1914a.},
  topic = {linguistics-classics;}
 }

@article{ blue:1981a,
  author = {N.A. Blue},
  title = {A Metalinguistic Interpretation of Counterfactual
  	Conditionals},
  journal = {Journal of Philosophical Logic},
  year = {1981},
  volume = {10},
  number = {2},
  pages = {179--200},
  topic = {conditionals;}
  }

@article{ blum_al-furst:1997a,
  author = {Avrim L. Blum and Merrick L. Furst},
  title = {Fast Planning through Planning Graph Analysis},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {90},
  number = {1--2},
  pages = {281--300},
  acontentnote = {Abstract:
     We introduce a new approach to planning in STRIPS-like domains
     based on constructing and analyzing a compact structure we call
     a planning graph. We describe a new planner, Graphplan, that
     uses this paradigm. Graphplan always returns a shortest possible
     partial-order plan, or states that no valid plan exists.
      We provide empirical evidence in favor of this approach,
     showing that Graphplan outperforms the total-order planner,
     Prodigy, and the partial-order planner, UCPOP, on a variety of
     interesting natural and artificial planning problems. We also
     give empirical evidence that the plans produced by Graphplan are
     quite sensible.  Since searches made by this approach are
     fundamentally different from the searches of other common
     planning methods, they provide a new perspective on the planning
     problem.},
  topic = {planning-algorithms;graph-based-reasoning;}
  }

@article{ blum_al-langley:1997a,
  author = {Arvin L. Blum and Pat Langley},
  title = {Selection of Relevant Features and Examples in Machine
		Learning},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {97},
  number = {1--2},
  pages = {245--271},
  topic = {relevance;machine-learning;}
  }

@inproceedings{ blum_al-mitchell_tm:1998a,
  author = {Avrim L. Blum and Thomas Mitchell},
  title = {Combining Labeled and Unlabeled Data with Co-Training},
  booktitle = {{COLT}: Proceedings of the Workshop on Computational
  	Learning Theory},
  year = {1998},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {92-100},
  missinginfo = {editor},
  rtnote = {In RHT collection.  Filed under "Mitchell".},
  topic = {machine-learning;}
  }

@article{ blum_c:2005a,
  author = {Christian Blum},
  title = {Review of \emph{{A}nt Colony Optimization}, by
  		{M}arco {D}origo and {T}homas {S}t\"utzle},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {165},
  number = {2},
  pages = {261--264},
  xref = {Review of: dorigo-stutzle:2004a},
  topic = {swarm-intelligence;}
  }

@incollection{ blume-etal:2006a,
  author = {Lawrence E. Blume and David A. Easley and Joseph Y. Halpern},
  title = {Redoing the Foundations of Decision Theory},
  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 = {14--24},
  address = {Menlo Park, California},
  topic = {foundations-of-decision-theory;}
  }

@article{ blumenthal-porter_bw:1994a,
  author = {Brad Blumenthal and Bruce W. Porter},
  title = {Analysis and Empirical Studies of Derivational Analogy},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {67},
  number = {2},
  pages = {287--327},
  acontentnote = {Abstract:
     Derivational analogy is a technique for reusing problem solving
     experience to improve problem solving performance. This research
     addresses an issue common to all problem solvers that use
     derivational analogy: overcoming the mismatches between past
     experiences and new problems that impede reuse.  First, this
     research describes the variety of mismatches that can arise and
     proposes a new approach to derivational analogy that uses
     appropriate adaptation strategies for each. Second, it compares
     this approach with seven others in a common domain. This
     empirical study shows that derivational analogy is almost always
     more efficient than problem solving from scratch, but the amount
     it contributes depends on its ability to overcome mismatches and
     to usefully interleave reuse with from-scratch problem solving.
     Finally, this research describes a fundamental tradeoff between
     efficiency and solution quality, and proposes a derivational
     analogy algorithm that can improve its adaptation strategy with
     experience.},
  topic = {analogy;case-based-reasoning;problem-solving;
  	analogical-reasoning;}
  }

@article{ blutner:1993a,
  author = {Reinhard Blutner},
  title = {Dynamic Generalized Quantifiers and Existential
  	Sentences in Natural Languages},
  journal = {Journal of Semantics},
  year = {1993},
  volume = {10},
  number = {1},
  pages = {33--65},
  topic = {nl-semantics;generalized-quantifiers;dynamic-semantics;
  	existential-constructions;}
  }

@inproceedings{ blutner:1995a,
  author = {Reinhard Blutner},
  title = {{\em Normality} in Update Semantics},
  booktitle = {Proceedings from Semantics and Linguistic Theory {V}},
  year = {1995},
  editor = {Mandy Simons and Teresa Galloway},
  pages = {19--36},
  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;}
  }

@article{ blutner:2002a,
  author = {Reinhard Blutner},
  title = {Review of \emph{{L}earnability in Optimality Theory}, by
  	{B}ruce {T}esar and {P}aul {S}molensky},
  journal = {Linguistics and Philosophy},
  year = {2002},
  volume = {25},
  number = {1},
  pages = {65--70},
  xref = {Review of: tesar-smolensky:2000a.},
  topic = {grammar-learning;optimality-theory;}
  }

@unpublished{ blythe:1995a,
  author = {Jim Blythe},
  title = {{AI} Planning in Dynamic, Uncertain Domains},
  year = {1995},
  note = {Unpublished manuscript, Carnegie Mellon University.},
  rtnote = {In RHT collection.},
  missinginfo = {Year is Guess.  Published in some AI conference.
  	Which one?},
  topic = {planning;}
  }

@article{ blythe:1999a,
  author = {Jim Blythe},
  title = {Decision-Theoretic Planning},
  journal = {{AI} Magazine},
  year = {1999},
  volume = {20},
  missinginfo = {pages, number},
  topic = {decision-theoretic-planning;}
  }

@inproceedings{ blythe:2002a,
  author = {Jim Blythe},
  title = {Visual Exploration and Incremental Utility Elicitation},
  booktitle = {Proceedings of the Eighteenth National Conference on
              Artificial Intelligence},
  year = {2002},
  editor = {Rina Dechter and Michael Kearns and Richard S. Sutton},
  pages = {526--532},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {preference-elicitation;}
  }

@article{ bo-kambhampati:2001a,
  author = {Minh Binh Bo and Subbaro Kambhampati},
  title = {Planning as Constraint Satisfaction: Solving the Planning
  	Graph by Compiling It into {CSP}},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {132},
  number = {2},
  pages = {151--182},
  topic = {planning;constraint-satisfaction;}
  }

@inproceedings{ board:1998a,
  author = {Oliver J. Board},
  title = {Belief Revision and Rationalizability},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Seventh Conference ({TARK} 1998)},
  year = {1998},
  editor = {Itzhak Gilboa},
  publisher = {Morgan Kaufmann},
  address = {San Francisco, California},
  missinginfo = {pages   pages = {201--}},
  topic = {belief-revision;}
  }

@article{ bobrow_dg:1984a,
  author = {Daniel G. Bobrow},
  title = {Qualitative Reasoning about Physical Systems: An
  	Introduction},
  journal = {Artificial Intelligence},
  year = {1984},
  volume = {24},
  number = {1--3},
  pages = {1--5},
  topic = {qualitative-physics;qualitative-reasoning;}
  }

@book{ bobrow_dg:1985a,
  editor = {Daniel G. Bobrow},
  title = {Qualitative Reasoning About Physical Systems},
  publisher = {The {MIT} Press},
  year = {1985},
  address = {Cambridge, Massachusetts},
  ISBN = {0262521008 (pbk.)},
  rtnote = {UMich Media Union Library, Q335.5 .Q351 1985.},
  topic = {qualitative-physics;qualitative-reasoning;}
 }

@article{ bobrow_dg:1993a,
  author = {Daniel G. Bobrow},
  title = {Artificial Intelligence in Perspective: A Retrospective
  	on Fifty Volumes of the {A}rtificial {I}ntelligence {J}ournal},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {5--20},
  topic = {AI-general;history-of-AI;}
  }

@article{ bobrow_dg:2005a,
  author = {Daniel G. Bobrow},
  title = {{AAAI}: {I}t's Time for Large-Scale Systems},
  journal = {The {AI} Magazine},
  year = {2005},
  volume = {26},
  number = {4},
  pages = {40--41},
  topic = {AI-editorial;}
  }

@article{ bobrow_dg-brady_jm:1998a,
  author = {Daniel Bobrow and J. Michael Brady},
  title = {Editorial},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {100},
  number = {1--3},
  pages = {1--3},
  topic = {AI-editorial;}
  }

@article{ bobrow_dg-brady_jm:1998b,
  author = {Daniel J. Bobrow and J. Michael Brady},
  title = {Aritificial Intelligence 40 Years After},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {103},
  number = {1--2},
  pages = {1--4},
  topic = {AI-survey;}
  }

@book{ bobrow_dg-collins_a:1975a,
  editor = {Daniel G. Bobrow and Allan Collins},
  title = {Representation and Understanding: Studies in Cognitive
  	Science},
  publisher = {Academic Press},
  year = {1975},
  address = {New York},
  ISBN = {0121085503},
  rtnote = {UMich Media Union Library, BF 311 .R43},
  topic = {cognitive-science;}
 }

@article{ bobrow_dg-hayes_pj1:1985a,
  author = {Daniel G. Bobrow and Patrick J. Hayes},
  title = {Artificial Intelligence---Where Are We?},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {25},
  number = {3},
  pages = {375--415},
  rtnote = {In RHT collection.},
  topic = {AI-survey;AI-editorial;}
  }

@article{ bobrow_dg-winograd:1977a1,
  author = {Daniel G. Bobrow and Terry Winograd},
  title = {An Overview of {KRL}, a Knowledge Representation Language},
  journal = {Cognitive Science},
  year = {1977},
  volume = {1},
  pages = {3--46},
  xref = {Republished in Ronald J. Brachman and Hector J. Levesque;
  	Readings in Knowledge Representation.  See bobrow_dg-winograd:1977a2.},
  missinginfo = {number},
  topic = {kr;frames;kr-course;}
  }

@incollection{ bobrow_dg-winograd:1977a2,
  author = {Daniel G. Bobrow and Terry Winograd},
  title = {An Overview of {KRL}, a Knowledge Representation Language},
  booktitle = {Readings in Knowledge Representation},
  publisher = {Morgan Kaufmann},
  year = {1995},
  editor = {Ronald J. Brachman and Hector J. Levesque},
  address = {Los Altos, California},
  pages = {263--286},
  xref = {Originally published in Cognitive Science; 1; 1977.
  	See bobrow_dg-winograd:1977a1.},
  topic = {kr;frames;kr-course;}
  }

@book{ bobzien:1998a,
  author = {Suzanne Bobzien},
  title = {Determinism and Freedom in {S}toic Philosophy},
  publisher = {Oxford University Press},
  year = {1998},
  address = {Oxford},
  xref = {Review: meyer_ss:2003a.},
  topic = {volition;freedon;Stoic-philosophy;}
 }

@incollection{ bochman_a:1994a,
  author = {Alexander Bochman},
  title = {On the Relation Between Default and Modal Consequence
  	Relations},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {63--74},
  address = {San Francisco, California},
  topic = {kr;default-logic;modal-logic;kr-course;}
  }

@inproceedings{ bochman_a:1995a,
  author = {Alexander Bochman},
  title = {On Bimodal Nonmonotonic Logics and Their Unimodal and
  	Nonmodal Equivalents},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {1518--1524},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-logic;autoepistemic-logic;negation-as-failure;}
  }

@incollection{ bochman_a:1996a,
  author = {Alexander Bochman},
  title = {Biconsequence Relations for Nonmonotonic Reasoning},
  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 = {482--492},
  address = {San Francisco, California},
  topic = {kr;4-valued-logic;nonmonotonic-logic;negation-as-failure;
		bilattices;kr-course;}
  }

@article{ bochman_a:1998a,
  author = {Alexander Bochman},
  title = {Review of \emph{{I}f $P$ then $Q$}, by {D}avid {H}. {S}anford},
  journal = {Philosophia},
  year = {1998},
  volume = {26},
  number = {1--2},
  pages = {237--250},
  topic = {conditionals;}
  }

@article{ bochman_a:1998b,
  author = {Alexander Bochman},
  title = {On the Relation between Default and Modal Nonmonotonic
  	Reasoning},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {101},
  number = {1--2},
  pages = {1--34},
  topic = {default-logic;modal-logic;nonmonotonic-logic;
  	autoepistemic-logic;}
  }

@article{ bochman_a:1999a,
  author = {Alexander Bochman},
  title = {A Foundational Theory of Belief and Belief Change},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {108},
  number = {1--2},
  pages = {309--352},
  topic = {belief-revision;}
  }

@article{ bochman_a:2000a,
  author = {Alexander Bochman},
  title = {A Foundationalist View of the {AGM} Theory of Belief
  	Change},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {116},
  number = {1--2},
  pages = {237--263},
  topic = {belief-revision;}
  }

@article{ bochman_a:2000b,
  author = {Alexander Bochman},
  title = {Belief Contraction as Nonmonotonic Inference},
  journal = {Journal of Symbolic Logic},
  year = {2000},
  volume = {65},
  number = {2},
  pages = {605--626},
  topic = {belief-revision;nonmonotonic-logic;}
  }

@article{ bochman_a:2002a,
  author = {Alexander Bochman},
  title = {Entrenchment Versus Dependence: Coherence and Foundations
  	in Belief Change},
  journal = {Journal of Logic, Language, and Information},
  year = {2002},
  volume = {11},
  number = {1},
  pages = {3--27},
  topic = {belief-revision;}
  }

@incollection{ bochman_a:2004a,
  author = {Alexander Bochman},
  title = {A Causal Logic of Logic Programming},
  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 = {427--437},
  address = {Menlo Park, California},
  topic = {causality;action-formalisms;frame-problem;
  	nonmonotonic-reasoning;logic-programming;causal-reasoning;}
  }

@article{ bochman_a:2004b,
  author = {Alexander Bochman},
  title = {A Causal Approach to Nonmonotonic Reasoning},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {160},
  number = {1--2},
  pages = {105--143},
  topic = {causality;action-formalisms;frame-problem;
  	nonmonotonic-reasoning;logic-programming;causal-reasoning;}
  }

@incollection{ bochman_gv-gecsei:1977a,
  author = {G.V. Bochman and J. Gecsei},
  title = {A Unified Method for the Specification and Verification of
  	Protocols},
  booktitle = {Information Processing 77},
  publisher = {North-Holland Publishing Company},
  year = {1977},
  editor = {B. Gilchrist},
  pages = {229--234},
  address = {Amsterdam},
  missinginfo = {A's 1st name},
  topic = {distributed-systems;communication-protocols;}
  }

@incollection{ bochvar:1994a,
  author = {D.A. Bochvar},
  title = {Some Aspects of the Investigation of Reification
  	Paradoxes},
  booktitle = {Intensional Logic:  Theory and Applications},
  publisher = {The Philosophical Society of Finland},
  year = {1994},
  editor = {Ilkka Niiniluoto and Esa Saarinen},
  pages = {229--238},
  address = {Helsinki},
  topic = {multivalued-logic;semantic-paradoxes;}
  }

@book{ bod:1998a,
  author = {Rens Bod},
  title = {Beyond Grammar: An Experience-Based Theory of
		Language},
  publisher = {CSLI Publications},
  year = {1998},
  address = {Stanford University},
  xref = {review:collins_m:1999a.},
  topic = {statistical-parsing;TAG-grammar;nlp-algorithms;}
 }

@inproceedings{ bod:1998b,
  author = {Rens Bod},
  title = {Spoken Dialogue Interpretation with the {DOP} 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 = {138--144},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {discourse-interpretation;}
}

@book{ bod:1999a,
  author = {Rens Bod},
  title = {Beyond Grammar---An Experience-Based Theory of Language},
  publisher = {Cambridge University Press},
  year = {1999},
  address = {Cambridge, England},
  ISBN = {Paperback ISBN 1-57586-150-x $19.95
  	Hardcover ISBN 1-57586-151-8 $59.95},
  topic = {foundations-of-grammar;corpus-linguistics;}
 }

@book{ bod-etal:2003a,
  editor = {Rens Bod and Remko Scha and Khalil Sima'an},
  title = {Data-Oriented Parsing},
  publisher = {CSLI Publications},
  year = {2003},
  address = {Stanford, California},
  ISBN = {1-57586-435-5},
  xref = {Review: klein_d:2004a, schmid:2005a.},
  topic = {statistical-parsing;}
 }

@inproceedings{ bod-kaplan_rm:1998a,
  author = {Rens Bod and Ronald M. Kaplan},
  title = {A Probabilistic Corpus-Driven Model for Lexical-Functional
  	Analysis},
  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},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  missinginfo = {pages = {145--}},
  topic = {LFG;data-oriented-parsing;statistical-parsing;}
}

@article{ bodanza-tohme:2005a,
  author = {Gustavo A. Bodanza and Fernando A. Tohm\'e},
  title = {Local Logics, Non-Monotonicity  and Defeasible Argumentation},
  journal = {Journal of Logic, Language, and Information},
  year = {2005},
  volume = {14},
  number = {1},
  pages = {1--12},
  topic = {nonmonotonic-logic;situation-theory;}
  }

@techreport{ boddy:1989a,
  author = {Mark Boddy and Thomas Dean},
  title = {Solving Time-Dependent Planning Problems},
  institution = {Department of Computer Science, Brown University},
  number = {CS--89--03},
  year = {1989},
  address = {Providence, Rhode Island},
  rtnote = {In RHT collection.},
  note = {planning;temporal-reasoning},
  topic = {planning;temporal-reasoning;}
  }

@article{ boddy-dean_t:1994a,
  author = {Mark Boddy and Thomas L. Dean},
  title = {Deliberation Scheduling for Problem Solving in
  	Time-Constrained Environments},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {67},
  number = {2},
  pages = {245--285},
  acontentnote = {Abstract:
     We are interested in the problem faced by an agent with limited
     computational capabilities, embedded in a complex environment
     with other agents and processes not under its control. Careful
     management of computational resources is important for complex
     problem-solving tasks in which the time spent in decision making
     affects the quality of the responses generated by a system. This
     paper describes an approach to designing systems that are
     capable of taking their own computational resources into
     consideration during planning and problem solving. In
     particular, we address the design of systems that manage their
     computational resources by using expectations about the
     performance of decision-making procedures and preferences over
     the outcomes resulting from applying those procedures. Our
     approach is called deliberation scheduling.  Deliberation
     scheduling involves the explicit allocation of computational
     resources to decision-making procedures based on the expected
     effect of those allocations on the system's performance.},
  topic = {limited-rationality;}
  }

@article{ boddy-etal:forthcominga,
  author = {Mark Boddy and Robert P. Goldman and Keiji Kanazawa and
  	Lynn A. Stein},
  title = {Investigations of Model-Preference Defaults},
  journal = {Fundamenta Informaticae},
  rtnote = {In RHT Collection, dated 1988. Forthcoming in
		NM reasoning issue.},
  missinginfo = {volume, number, year, pages},
  topic = {nonmonotonic-logic;model-preference;}
  }

@article{ bode-etal:2001a,
  author = {M. Bode and O. Freyd and J. Fischer and F.-J.
  	Niedernostheide and H.-J. Schulze},
  title = {Hybrid Hardware for a Highly Parallel Search in the
  	Context of Learning Classifiers},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {130},
  number = {1},
  pages = {75--84},
  topic = {machine-learning;parallel-processing;search;}
  }

@book{ boden:1977a1,
  author = {Margaret A. Boden},
  title = {Artificial Intelligence and Natural Man},
  publisher = {Harvester Press},
  year = {1977},
  address = {Brighton},
  missinginfo = {Check topic.},
  rtnote = {UMich Media Library, tQ335 .B561.},
  xref = {Second edition is: boden:1977a2.},
  topic = {philosophy-of-AI;}
 }

@book{ boden:1977a2,
  author = {Margaret A. Boden},
  title = {Artificial Intelligence and Natural Man},
  edition = {2},
  publisher = {Basic Books},
  year = {1987},
  address = {New York},
  missinginfo = {Check topic.},
  rtnote = {UMich Media Library, Q335 .B561 1987.},
  xref = {First edition is: boden:1977a1.},
  topic = {philosophy-of-AI;}
 }

@book{ boden:1981a,
  author = {Margaret A. Boden},
  title = {Minds and Mechanisms: Philosophical Psychology and
    Computational Models},
  publisher = {Harvester Press},
  year = {1981},
  address = {Brighton},
  ISBN = {0710800053},
  rtnote = {UMich Graduate Library, X2 H 5062.},
  topic = {philosophical-psychology;foundations-of-cogsci;}
 }

@incollection{ boden:1984a,
  author = {Margaret Boden},
  title = {Methodological Links between {AI} and
    		Other Disciplines},
  booktitle = {The Mind and the Machine: Philosophical Aspects
  	of Artificial Intelligence},
  publisher = {Ellis Horwood, Ltd.},
  year = {1984},
  editor = {Steve B. Torrance},
  pages = {125--132},
  address = {Chichester},
  xref = {Original pulication in machlup-mansfield:1984a.},
  topic = {philosophy-and-AI;}
  }

@book{ boden:1988a,
  author = {Margaret A. Boden},
  title = {Computer Models of Mind: Computational Approaches In
    Theoretical Psychology},
  publisher = {Cambridge University Press},
  year = {1988},
  address = {Cambridge, England},
  ISBN = {052124868X},
  rtnote = {UMich Undergraduate, Bf39.5 .B631 1988.},
  topic = {foundations-of-cogsci;}
 }

@book{ boden:1989a,
  author = {Margaret A. Boden},
  title = {Artificial Intelligence in Psychology: Interdisciplinary Essays},
  publisher = {The {MIT} Press},
  year = {1989},
  address = {Cambridge, Massachusetts},
  ISBN = {0465014526},
  rtnote = {UMich Undergraduate Library, BF 311 .B5751 1989.},
  topic = {AI-and-psychology;}
 }

@book{ boden:1990a,
  author = {Margaret A. Boden},
  title = {The Creative Mind: Myths and Mechanisms},
  publisher = {Basic Books},
  year = {1990},
  address = {New York},
  ISBN = {0465014526},
  rtnote = {UMich Undergraduate, Bf 408 .B551 1990.},
  xref = {Reviews: haase:1995a,lustig:1995a,perkins:1995a,
  	ram-etal:1995a,schank_rc-foster_da:1995a,turner_sr:1995a.},
  topic = {creativity;}
 }

@book{ boden:1990b,
  editor = {Margaret A. Boden},
  title = {The Philosophy of Artificial Intelligence},
  publisher = {Oxford University Press},
  year = {1990},
  address = {Oxford},
  ISBN = {0198248555},
  rtnote = {UMich Graduate Library, BF 311 .P56 1990.},
  topic = {philosophy-of-AI;}
 }

@incollection{ boden:1993a,
  author = {Margaret A. Boden},
  title = {The Impact of Philosophy},
  booktitle = {The Simulation of Human Intelligence},
  publisher = {Blackwell Publishers},
  year = {1993},
  editor = {Donald Broadbent},
  pages = {178--197},
  address = {Oxford},
  topic = {philosophy-AI;}
  }

@book{ boden:1994a,
  editor = {Margaret A. Boden},
  title = {Dimensions of Creativity},
  publisher = {The {MIT} Press},
  year = {1994},
  address = {Cambridge, Massachusetts},
  ISBN = {0262023687},
  rtnote = {UMich Undergraduate, Bf 408 .D561 1994.},
  topic = {creativity;}
 }

@article{ boden:1994b,
  author = {Margaret A. Boden},
  title = {New Breakthroughs or Dead-Ends?},
  journal = {Philosophical Transactions of the Royal Society, Series A:
  	Physical Sciences and Engineering},
  year = {1994},
  volume = {349},
  number = {1689},
  pages = {1--13},
  note = {Available at http://www.jstor.org/journals/09628428.html},
  rtnote = {In RHT collection.  Zip Drive.},
  topic = {philosophy-AI;cognitive-architectures;}
  }

@article{ boden:1995a,
  author = {Margaret A. Boden},
  title = {{AI}'s Half-Century},
  journal = {{AI} Magazine},
  year = {1995},
  volume = {16},
  number = {4},
  pages = {96--99},
  topic = {AI-survey;philosophy-of-AI;}
  }

@incollection{ boden:1995b,
  author = {Margaret A. Boden},
  title = {Could a Robot Be Creative---And Would We Know},
  booktitle = {Android Epistemology},
  publisher = {Cambridge University Press},
  year = {1995},
  editor = {Kenneth M. Ford and Clark Glymour and Patrick J. Hayes},
  pages = {51--72},
  address = {Cambridge, England},
  topic = {philosophy-AI;creativity;}
  }

@book{ boden:1996a,
  editor = {Margaret A. Boden},
  title = {The Philosophy of Artificial Life},
  publisher = {Oxford University Press},
  year = {1996},
  address = {Oxford},
  ISBN = {0198751559 (alk. paper)},
  rtnote = {UMich Undergraduate, Bd 418.8 .P65 1996.},
  topic = {artificial-life;}
 }

@article{ boden:1998a,
  author = {Margaret A. Boden},
  title = {Creativity and Artificial Intelligence},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {103},
  number = {1--2},
  pages = {347--356},
  topic = {creativity;scientific-discovery;}
  }

@book{ boden:2006a,
  author = {Margaret Boden},
  title = {Mind as Machine: A History of Cognitive Science},
  publisher = {Oxford University Press},
  year = {2006},
  address = {Oxford},
  ISBN13 = {9780199241446},
  note = {Two volumes},
  xref = {Reviews: chomsky:2006a, feldman:2007a, thagard:2007a},
  topic = {cognitive-science;}
 }

@article{ boden:2008a,
  author = {Margaret A. Boden},
  title = {Odd Man Out: Reply to Reviewers},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {18},
  pages = {1944--1964},
  xref = {Reply to: chomsky:2006a, feldman:2007a, thagard:2007a},
  xref = {Reply to review of: boden:2006a.},
  topic = {cognitive-science;}
  }

@article{ boden:2009a,
  author = {Margaret A. Boden},
  title = {Computer Models of Creativity},
  journal = {The {AI} Magazine},
  year = {2009},
  volume = {30},
  number = {3},
  pages = {23--34},
  topic = {computational-creativity;}
  }

@book{ boden-etal:1994b,
  editor = {Margaret A. Boden and Alan Bundy and Roger M. Needham},
  title = {Artificial Intelligence and the Mind: New Breakthroughs or
	Deadends?},
  publisher = {Royal Society of London},
  year = {1994},
  address = {London},
  note = {Philosophical Transactions of the Royal Society, Series A:
  	Physical Sciences and Engineering, Vol. 349, No. 1689.
	Available at http://www.jstor.org/journals/09628428.html.},
  contentnote = {TC:
     1. Margaret A. Boden, "New Breakthroughs or Dead-Ends?", pp. 1--13
     2. Michael Brady and Huosheng Hu, "The Mind of a Robot", pp. 15--28
     3. Bonnie Webber and M. Brady, "The Mind of Robot: Discussion", p. 28
     4. J.C.T. Hallam and C.A. Malcolm, "Behaviour: Perception,
     		Action and Intelligence---The View from Situated
		Robotics", pp.  29--42
     5. D. Partridge and J. C. T. Hallam and M. Brady and
     		R. Hudson, "Behaviour: Perception, Action and
		Intelligence---The View from Situated Robotics:
		Discussion", p. 42
     6. Aaron Sloman, "Semantics in an Intelligent Control
     		System", pp. 43--57
     7. A. Prescott and A. Sloman and N. Shadbolt and M.
     		Steedman, "Semantics in an Intelligent Control
		System: Discussion", pp. 57--58
     8. Fred Dretske, "The Explanatory Role of Information", pp. 59--69
     9. Alan Bundy, "A Subsumption Architecture for Theorem
     		Proving?", pp. 71--84
    10. D. Dennett, A. Bundy, M. Sharples, M. Brady, D. Partridge, "A
    		Subsumption Architecture for Theorem Proving?:
		Discussion", pp.  84--85
    11. David Willshaw, "Non-Symbolic Approaches to Artificial
    		Intelligence and the Mind", pp. 87--101
    12. D. Dennett, D. Willshaw, D. Partridge, "Non-Symbolic
    		Approaches to Artificial Intelligence and the Mind:
		Discussion", pp.  101--102
    13. H. Christopher Longuet-Higgins, "Artificial Intelligence and
    		Musical Cognition", pp. 103--112
    14. B. Webber, C. Longuet-Higgins, W. Cameron, A. Bundy, R.
    		Hudson, L. Hudson, J. Ziman, A. Sloman, M. Sharples,
		D. Dennett, "Artificial Intelligence and Musical
		Cognition: Discussion", pp.  112--113
    15. Mark Steedman, "The Well-Tempered Computer", pp. 115--130
    16. T. N. Rutherford, M. Steedman, T. Addis, R. Cahn, B. Larvor,
    		E. Clarke, "The Well-Tempered Computer: Discussion",
		pp. 130--131
    17. Daniel C. Dennett, "The Practical Requirements for Making a
    		Conscious Robot", pp. 133--146
    18. F. Dretske, D. C. Dennett, S. Shurville, A. Clark, I. Aleksander,
          J. Cornwell, "The Practical Requirements for Making a
	  Conscious Robot: Discussion", p. 146
    19. J. R. Lucas, "A View of One's Own", pp. 147--152
    20. M. Elton, J. R. Lucas, A. Sloman, "A View of One's Own:
    	Discussion", p. 152
    21. Bruce G. Buchanan, "The Role of Experimentation in Artificial
    	Intelligence", pp. 153--165
    22. H. Hendriks-Jansen, B. G. Buchanan. I, T. Addis, "The Role of
    	Experimentation in Artificial Intelligence:
	Discussion", pp.  165--166
  },
  topic = {philosophy-AI;AI-and-music;}
 }

@incollection{ bodington-elleby:1988a,
  author = {Rob Bodington and Peter Elleby},
  title = {Justification and Assumption-Based Truth Maintenance
  	Systems: When and How to Use Them for Constraint Satisfaction},
  booktitle = {Reason Maintenance Systems and Their Applications},
  publisher = {Ellis Horwood, Ltd.},
  year = {1988},
  editor = {Barbara Smith and Gerald Kelleher},
  pages = {114--133},
  address = {Chichester},
  topic = {truth-maintenance;constraint-satisfaction;}
  }

@article{ bodirsky-kutz_m:2006a,
  author = {Manuel Bodirsky and Martin Kutz},
  title = {Determining the Consistency of Partial Tree Descriptions},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {2--3},
  pages = {185--196},
  topic = {constraint-satisfaction;graph-based-reasoning;}
  }

@mastersthesis{ bodkin:1992a,
  author = {Ronald J. Bodkin},
  title = {Extending Computational Game Theory: Simultaneity, Multiple
 	Agents, Chance and Metareasoning},
  school = {Massachusetts Institute of Technology},
  year = {1992},
  address = {Cambridge, Massachusetts},
  topic = {concurrence;game-theory;metareasoning;}
}

@book{ bodnar-etal:1988a,
  editor = {Istv\'an Bodn\'ar and Andr\'as M\'at\'e and L\'aszl\'o P\'olos},
  title = {Intentional Logic, History of Philosophy and Methodology},
  publisher = {K\'ezirat Gyan\'ant},
  year = {1988},
  address = {Budapest},
  ISBN = {963462255 0},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {modal-logic;history-of-philosophy;}
 }

@article{ boehner:1946a,
  author = {Philotheus Boehner},
  title = {Ockham's Theory of Supposition and the Notion of Truth},
  journal = {Franciscan Studies},
  year = {196},
  volume = {6},
  pages = {261--292},
  topic = {medieval-logic;}
  }

@incollection{ boella-etal:2000a,
  author = {Guido Boella and Rossana Damiano and Leonardo Lesmo},
  title = {Social Goals in Conversational Cooperation},
  booktitle = {Proceedings of the First {SIGdial} Workshop on Discourse
  	and Dialogue},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Laila Dybkjaer and Koiti Hasida and David R. Traum},
  pages = {84--93},
  address = {Somerset, New Jersey},
  topic = {computational-dialogue;cooperation;}
  }

@article{ boella-etal:2009a,
  author = {Guido Boella and Dov M. Gabbay and Leendert van der Torre
     and Serena Villata},
  title = {Meta-Argumentation Modelling {I}:  Methodology and Techniques},
  journal = {Studia Logica},
  year = {2009},
  volume = {93},
  number = {2--3},
  pages = {297--355},
  topic = {argumentation-theory;argumentation;}
  }

@inproceedings{ boella-lesmo:2001a,
  author = {Guido Boella and Leonardo Lesmo},
  title = {An Approach to Anaphora Based on Mental Models},
  booktitle = {Modeling and Using Context: Third International and
  	Interdisciplinary Conference, Context 2001},
  publisher = {Springer-Verlag},
  year = {2001},
  editor = {Varol Akman and Paolo Bouquet and Richmond Thomason
  	and Roger A. Young},
  pages = {413--416},
  address = {Berlin},
  topic = {context;anaphora;mental-models;}
  }

@incollection{ boella-vandertorre:2004a,
  author = {Guido Boella and Leendert van der Torre},
  title = {Regulative and Constitutive Norms in Normative Multiagent
  		Systems},
  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 = {255--265},
  address = {Menlo Park, California},
  topic = {multiagent-systems;deontic-logic;}
  }

@article{ boer:1978b,
  author = {Steven Bo\"er},
  title = {\,`Who' and `Whether':  Towards a Theory of Indirect
  	Question Clauses},
  journal = {Linguistics and Philosophy},
  year = {1978},
  volume = {2},
  number = {3},
  pages = {307--345},
  topic = {nl-semnatics;interrogatives;}
  }

@article{ boer:1980a,
  author = {Steven E. Bo\"er},
  title = {Review of \emph{{W}ays of Meaning}, by {M}ark {P}latts},
  journal = {Linguistics and Philosophy},
  year = {1980},
  volume = {4},
  number = {1},
  pages = {141--156},
  xref = {Review of platts:1979a.},
  topic = {philosophy-of-language;}
  }

@incollection{ boer:1989a,
  author = {Steven E. Boer},
  title = {Neo-{F}regean Thoughts},
  booktitle = {Philosophical Perspectives 3:
  	Philosophy of Mind and Action Theory},
  publisher = {Ridgeview Publishing Company},
  year = {1989},
  editor = {James E. Tomberlin},
  pages = {187--224},
  address = {Atasacadero, California},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {propositional-attitudes;individual-attitudes;}
  }

@article{ boer:1994a,
  author = {Steven E. Bo\"er},
  title = {Review of \emph{{T}alk about Beliefs}, by
  	{M}ark {C}rimmins},
  journal = {The Philosophical Review},
  year = {1994},
  volume = {103},
  number = {2},
  pages = {362--364},
  xref = {Review of crimmins:1992a.},
  topic = {belief;}
  }

@article{ boer:2003a,
  author = {Steven E. Bo\"er},
  title = {Thought-Contents and the Formal Ontology of Sense},
  journal = {Journal of Philosophical Logic},
  year = {2003},
  volume = {32},
  number = {1},
  pages = {43--114},
  topic = {belief;intensionality;}
  }

@article{ boer:2009a,
  author = {Steven E. Bo\"er},
  title = {Propositions and the Substitution Anomaly},
  journal = {Journal of Philosophical Logic},
  year = {2009},
  volume = {38},
  number = {5},
  pages = {549--586},
  topic = {propositional-attitudes;}
  }

@article{ boer-edelstein:1979a,
  author = {Steven E. Boer and Roy Edelstein},
  title = {Some Numerical Constructions in {E}nglish},
  journal = {Journal of Philosophical Logic},
  year = {1979},
  volume = {8},
  number = {3},
  pages = {261--288},
  topic = {nl-quantifiers;plural;}
  }

@article{ boer-lycan:1973a,
  author = {Steven E. Bo\"er and William G. Lycan},
  title = {Invited Inferences and Other Unwelcome Guests},
  journal = {Papers in Linguistics},
  year = {1973},
  volume = {6},
  pages = {453--506},
  topic = {implicature;speaker-meaning;}
  }

@book{ boer-lycan:1978a,
  author = {Steven E. Bo\"er and William G. Lycan},
  title = {The Myth of Semantic Presupposition},
  publisher = {Indiana University Linguistics Club},
  year = {1978},
  address = {310 Lindley Hall, Indiana University, Bloomington,
  	Indiana 46405},
  rtnote = {In RHT collection.},
  topic = {presupposition;pragmatics;}
 }

@article{ boer-lycan:1980a,
  author = {Steven E. Bo\"er and William G. Lycan},
  title = {A Performadox in Truth-Conditional Semantics},
  journal = {Linguistics and Philosophy},
  year = {1980},
  volume = {4},
  number = {1},
  pages = {71--100},
  topic = {performative-analysis;speech-acts;pragmatics;}
  }

@book{ boer-lycan:1986a,
  author = {Steven E. Bo\"er and William G. Lycan},
  title = {Knowing Who},
  publisher = {The {MIT} Press},
  year = {1986},
  address = {Cambridge, Massachusetts},
  xref = {Review: sterelny:1984a.},
  topic = {knowing-who;}
 }

@article{ boettcher-percus:2000a,
  author = {Stefan Boettcher and Allon Percus},
  title = {Nature's Way of Optimizing},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {119},
  number = {1--2},
  pages = {275--286},
  acontentnote = {Abstract:
     We propose a general-purpose method for finding high-quality
     solutions to hard optimization problems, inspired by
     self-organizing processes often found in nature. The method,
     called Extremal Optimization, successively eliminates extremely
     undesirable components of sub-optimal solutions.  Drawing upon
     models used to simulate far-from-equilibrium dynamics, it
     complements approximation methods inspired by equilibrium
     statistical physics, such as Simulated Annealing. With only

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib