text:
isions},
  publisher = {John Wiley and Sons},
  year = {1977},
  editor = {David E. Bell and Ralph L. Keeney and Howard Raiffa},
  pages = {1--14},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {decision-analysis;multiattribute-utility;foundations-of-utility;}
  }

@incollection{ bell_g:1996a,
  author = {Gordon Bell},
  title = {Great and {\it Big} Ideas in Computer Structures},
  booktitle = {Mind Matters: A Tribute to {A}llen {N}ewell},
  publisher = {Lawrence Erlbaum Associates, Inc.},
  year = {1996},
  editor = {David M. Steier and Tom M. Mitchell},
  address = {Mahwah, New Jersey},
  pages = {189--212},
  topic = {computer-architectures;computer-technology;parallel-processing;}
  }

@phdthesis{ bell_j2:1988a,
  author = {John Bell},
  title = {Predictive Conditionals, Nonmonotonicity, and Reasoning
  	about the Future},
  school = {University of Essex},
  year = {1988},
  type = {Ph.{D}. Dissertation},
  address = {Colchester},
  topic = {conditionals;nonmonotonic-reasoning;temporal-reasoning;}
 }

@article{ bell_j2:1990a,
  author = {John Bell},
  title = {The Logic of Nonmonotonicity},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {41},
  number = {3},
  pages = {365--374},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-logic;}
  }

@incollection{ bell_j2:1991a,
  author = {John Bell},
  title = {Pragmatic Logics},
  booktitle = {{KR}'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {50--60},
  address = {San Mateo, California},
  rtnote = {In RHT collection.},
  topic = {kr;kr-course;nonmonotonic-logic;conditional-logic;
  	model-preference;}
  }

@article{ bell_j2:1991b,
  author = {John Bell},
  title = {Extended Causal Theories},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {48},
  number = {2},
  pages = {211--224},
  contentnote = {Solves some technical problems in Shoham's dissertation.},
  topic = {Yale-shooting-problem;causality;temporal-reasoning;}
  }

@incollection{ bell_j2:1995a,
  author = {John Bell},
  title = {Pragmatic Reasoning, A Model-Based Theory},
  booktitle = {Applied Logic: How, What, and Why?  Logical Approaches to
       Natural Language},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {L\'aszl\'o P\'olos and Michael Masuch},
  pages = {1--27},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {discourse;implicature;nonmonotonic-reasoning;pragmatics;}
  }

@inproceedings{ bell_j2:1998a,
  author = {John Bell},
  title = {Causation, Conditionals and Common Sense},
  booktitle = {Working Notes of the {AAAI} Spring Symposium on
 	Prospects for a Commonsense Theory of Causation},
  year = {1998},
  organization = {American Association for Artificial Intelligence},
  publication = {American Association for Artificial Intelligence},
  address = {Menlo Park, CA},
  editor = {Charles L. {Ortiz, Jr.}},
  pages = {1--11},
  rtnote = {In RHT Collection.  Shelf.},
  topic = {causality;temporal-reasoning;planning-formalisms;
	nonmonotonic-reasoning;}
 }

@incollection{ bell_j2:1999a,
  author = {John Bell},
  title = {Pragmatic Reasoning: Inferring Contexts},
  booktitle = {Modeling and Using Contexts: Proceedings of
	the Second International and Interdisciplinary
	Conference, {CONTEXT}'99},
  publisher = {Springer-Verlag},
  year = {1999},
  editor = {Paolo Bouquet and Luigi Serafini and Patrick
	Br\'ezillon	and Massimo Benerecetti and Francesca
	Castellani},
  pages = {42--53},
  address = {Berlin},
  topic = {context;discourse-representation-theory;
		nonmonotonic-logic;computer-vision;}
  }

@book{ bell_j2:1999b,
  editor = {John Bell},
  title = {Proceedings of the {IJCAI}-99 Workshop on
  	Practical Reasoning and Rationality},
  publisher = {International Joint Conference on Artificial Intelligence},
  year = {1999},
  address = {Murray Hill, New Jersey},
  rtnote = {In RHT collection.},
  topic = {practical-reasoning;}
 }

@inproceedings{ bell_j2:1999c,
  author = {John Bell},
  title = {Primary and Secondary Events},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
	Nonmonotonic Reasoning, Action and Change},
  year = {1999},
  editor = {Michael Thielscher},
  pages = {65--72},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {action-formalisms;qualification-problem;ramification-problem;
		defeasible-causality;}
  }

@inproceedings{ bell_j2:2001a,
  author = {John Bell},
  title = {Pragmatic Reasoning: Pragmatic Semantics and Semantic
  	Pragmatics},
  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 = {45--58},
  address = {Berlin},
  topic = {context;nonmonotonic-logic;nonmonotonic-reasoning;}
  }

@inproceedings{ bell_j2:2003a,
  author = {John Bell},
  title = {A Common Sense Theory of Causation},
  booktitle = {Modeling and Using Context: Fourth International and
  	Interdisciplinary Conference, Context 2003},
  publisher = {Springer-Verlag},
  year = {2003},
  editor = {Patrick Blackburn and Chiara Ghidini and Roy M. Turner
  	and Fausto Giunchiglia},
  pages = {40--53},
  address = {Berlin},
  topic = {causality;action-formalisms;}
  }

@incollection{ bell_j2:2004a,
  author = {John Bell},
  title = {Causation and Causal Conditionals},
  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 = {2--11},
  address = {Menlo Park, California},
  topic = {causality;conditionals;}
  }

@inproceedings{ bell_j2-huang_zs:1997a1,
  author = {John Bell and Zhishing Huang},
  title = {Dynamic Goal Hierarchies},
  booktitle = {Working Papers of the {AAAI} Spring Symposium on
  	Qualitative Preferences in Deliberation and Practical
	Reasoning},
  year = {1997},
  editor = {Jon Doyle and Richmond H. Thomason},
  pages = {9--17},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  xref = {Republication: bell_j2-huang_zs:1997a2.},
  topic = {qualitative-utility;preference-dynamics;foundations-of-utility;}
  }

@incollection{ bell_j2-huang_zs:1997a2,
  author = {John Bell and Zhishing Huang},
  title = {Dynamic Obligation Hierarchies},
  booktitle = {Norms, Logics and Information Systems.  New Studies in
		Deontic Logic and Computer Science},
  publisher = {IOS Press},
  year = {1998},
  editor = {Henry Prakken and Paul McNamara},
  pages = {231--246},
  address = {Amsterdam},
  xref = {Previous publication: bell_j2-huang_zs:1997a2.},
  topic = {qualitative-utility;preference-dynamics;foundations-of-utility;}
  }

@inproceedings{ bell_jg:2000a,
  author = {John G. Bell},
  title = {the Representation of Discrete Multi-Resolution Spatial
  	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 = {38--49},
  topic = {spatial-representation;}
  }

@article{ bell_jl:1993a,
  author = {John L. Bell},
  title = {Hilbert's $\epsilon$-Operator and Classical Logic},
  journal = {Journal of Philosophical Logic},
  year = {1993},
  volume = {22},
  number = {1},
  pages = {1--18},
  topic = {epsilon-operator;}
  }

@article{ bell_jl:1999a,
  author = {John L. Bell},
  title = {Frege's Theorem in a Constructive Setting},
  journal = {Journal of Symbolic Logic},
  year = {1999},
  volume = {64},
  number = {2},
  pages = {486--488},
  topic = {set-theory;constructive-mathematics;}
  }

@article{ bell_jl:2000a,
  author = {John L. Bell},
  title = {Sets and Classes as Many},
  journal = {Journal of Philosophical Logic},
  year = {2000},
  volume = {29},
  number = {6},
  pages = {585--601},
  topic = {foundations-of-set-theory;}
  }

@article{ bell_jl:2007a,
  author = {John L, Bell},
  title = {Review of \emph{{S}ynthetic Differential Geometry}, by
  		{A}nders {K}ock},
  journal = {The Bulletin of Symbolic Logic},
  year = {2007},
  volume = {13},
  number = {2},
  pages = {244--245},
  xref = {Review of: kock:2006a},
  topic = {constructive-mathematics;synthetic-differential-geometry;}
  }

@book{ bell_jl-etal:2001a,
  author = {John L. Bell and David DeVidi and Graham Solomon},
  title = {Logical Options},
  publisher = {Broadview Press},
  year = {2001},
  address = {Peterborough, Ontario},
  ISBN = {1-55111-297-3},
  topic = {logic-intro;modal-logic;multivalued-logic;}
 }

@article{ bell_jm:1973a,
  author = {J.M. Bell},
  title = {What is Referential Opacity?},
  journal = {Journal of Philosophical Logic},
  year = {1973},
  volume = {2},
  number = {1},
  pages = {155--180},
  topic = {referential-opacity;}
  }

@article{ bell_js:1964a,
  author = {John S. Bell},
  title = {On the {E}instein-{P}odolsky-{R}osen Paradox},
  journal = {Physics},
  year = {1964},
  volume = {1},
  number = {3},
  pages = {195--290},
  missinginfo = {A's 1st name},
  topic = {Bell-inequalities;foundations-of-quantum-mechanics;}
  }

@incollection{ bell_js:1989a,
  author = {Jonn S. Bell},
  title = {Six Possible Worlds of Quantum Mechanics},
  booktitle = {Possible Worlds in Humanities, Arts and Sciences},
  publisher = {Walter de Gruyter},
  year = {1989},
  editor = {Sture All\'en},
  pages = {359--373},
  address = {Berlin},
  topic = {foundations-of-quantum-mechanics;}
  }

@article{ bellott-etal:1999a,
  author = {P. Bellott and J-P. Cottin and B. Robinet and D. Sarni
  	and J. Leneutre and E. Zarpass},
  title = {Prolegomena to a Logic of Causality and Dynamism},
  journal = {Studia Logica},
  year = {1999},
  volume = {62},
  number = {1},
  pages = {77--105},
  topic = {linear-logic;proof-theory;causality;}
  }

@techreport{ belnap:1963a,
  author = {Nuel D. {Belnap, Jr.}},
  title = {An Analysis of Questions: Preliminary Report},
  institution = {System Development Corporation},
  number = {TM-1287/000/00},
  year = {1963},
  address = {Santa Monica},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {interrogatives;}
  }

@incollection{ belnap:1969a,
  author = {Nuel D. {Belnap, Jr.}},
  title = {Questions: Their Presuppositions,
     		and How They Can Fail to Arise},
  booktitle = {The Logical Way of Doing Things},
  publisher = {Yale University Press},
  year = {1969},
  editor = {Karel Lambert},
  pages = {23--37},
  address = {New Haven, Connecticut},
  topic = {interrogatives;}
  }

@article{ belnap:1972a,
  author = {Nuel D. {Belnap, Jr.}},
  title = {{S-P} Interrogatives},
  journal = {Journal of Philosophical Logic},
  year = {1972},
  volume = {1},
  number = {3--4},
  pages = {331},
  topic = {interrogatives;}
  }

@incollection{ belnap:1976a,
  author = {Nuel D. {Belnap, Jr.}},
  year = {1976},
  title = {How a Computer Should Think},
  booktitle = {Contemporary Aspects of Philosophy},
  editor = {Gilbert Ryle},
  address = {Stocksfield},
  publisher = {Oriel Press},
  pages = {30--56},
  rtnote = {In RHT collection.},
  topic = {multivalued-relevance-logic;4-valued-logic;}
 }

@incollection{ belnap:1977a,
  author = {Nuel D. {Belnap, Jr.}},
  title = {A Useful Four-Valued Logic},
  booktitle = {Modern Uses of Multiple-Valued Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1977},
  editor = {J. Michael Dunn and George Epstein},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {multivalued-logic;}
  }

@unpublished{ belnap:1979a1,
  author = {Nuel D. {Belnap, Jr.}},
  title = {Questions and Answers in {M}ontague Grammar},
  year = {1979},
  note = {Unpublished manuscript, University of Pittsburgh},
  rtnote = {In RHT collection.},
  xref = {Publication: belnap:1979a2.},
  topic = {nl-semantics;interrogatives;montague-grammar;}
  }

@incollection{ belnap:1979a2,
  author = {Nuel D. {Belnap, Jr.}},
  title = {Questions and Answers in {M}ontague Grammar},
  booktitle = {Processes, Beliefs, and Questions},
  publisher = {D. Reidel Publishing Company},
  year = {1982},
  editor = {Stanley Peters and Esa Saarinen},
  pages = {165--198},
  address = {Dordrecht},
  xref = {Publication of: belnap:1979a1.},
  topic = {nl-semantics;interrogatives;montague-grammar;}
  }

@incollection{ belnap:1982b,
  author = {Nuel D. Belnap},
  title = {Approaches to the Semantics of Questions in Natural
  	Language {II}},
  booktitle = {320311: Philosophical Essays Dedicated to {L}ennart
  	{\AA}qvist on His Fiftieth Birthday},
  publisher = {Department of Philosophy, University of Uppsala},
  year = {1982},
  editor = {Tom Pauli},
  pages = {16--33},
  address = {Uppsala},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;interrogatives;montague-grammar;}
  }

@article{ belnap:1982c,
  author = {Nuel D. {Belnap, Jr.}},
  title = {Gupta's Rule of Revision Theory of Truth},
  journal = {Journal of Philosophical Logic},
  year = {1982},
  volume = {11},
  number = {1},
  pages = {103--116},
  topic = {semantic-paradoxes;truth;fixpoints;}
  }

@article{ belnap:1982d,
  author = {Nuel D. {Belnap, Jr.}},
  title = {Display Logic},
  journal = {Journal of Philosophical Logic},
  year = {1982},
  volume = {11},
  number = {4},
  pages = {375--417},
  topic = {proof-theory;combining-logics;}
  }

@unpublished{ belnap:1988a,
  author = {Nuel D. {Belnap, Jr.}},
  title = {Declaratives Are Not Enough},
  year = {1988},
  note = {Unpublished manuscript, Philosophy Department, University of Pittsburgh},
  rtnote = {In RHT collection.},
  topic = {speech-acts;stit;}
  }

@unpublished{ belnap:1989a,
  author = {Nuel D. {Belnap, Jr.}},
  title = {Before RefrainingL Concepts for Agency},
  year = {1989},
  note = {Unpublished manuscript, University of Pittsburgh},
  rtnote = {In RHT collection.},
  topic = {action;stit;branching-time;}
  }

@article{ belnap:1991a,
  author = {Nuel D. {Belnap, Jr.}},
  title = {Backwards and Forwards in the Modal Logic of Agency},
  journal = {Philosophy and Phenomenological Research},
  year = {1991},
  volume = {51},
  pages = {777--807},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {stit;branching-time;}
  }

@article{ belnap:1991b,
  author = {Nuel D. {Belnap. Jr.}},
  title = {Before Refraining: Concepts for Agency},
  journal = {Erkenntnis},
  year = {1991},
  volume = {34},
  pages = {137--169},
  missinginfo = {number},
  rtnote = {MS in RHT collection.},
  topic = {stit;}
  }

@article{ belnap:1992a,
  author = {Nuel D. {Belnap, Jr.}},
  title = {Branching Space-Time},
  journal = {Synth\'ese},
  year = {1992},
  volume = {92},
  pages = {385--434},
  missinginfo = {number},
  topic = {branching-time;}
  }

@unpublished{ belnap:1994a,
  author = {Nuel D. {Belnap, Jr.}},
  title = {An Austere Theory of Strategies},
  year = {1994},
  note = {Unpublished manuscript, University of Pittsburgh},
  rtnote = {In RHT collection.},
  topic = {stit;}
  }

@incollection{ belnap:1996a,
  author = {Nuel D. {Belnap, Jr.}},
  title = {Agents in Branching Time},
  booktitle = {Logic and Reality: Essays on the Legacy of {A}rthur
  	{P}rior},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Jack Copeland},
  pages = {239--271},
  address = {Oxford},
  rtnote = {MS Copy in RHT collection.},
  topic = {action;stit;branching-time;}
  }

@article{ belnap:2005a,
  author = {Nuel D. {Belnap, Jr.}},
  title = {Under {C}arnap's Lamp: Flat Pre-Semantics},
  journal = {Studia Logica},
  year = {2005},
  volume = {80},
  number = {1},
  pages = {1--28},
  topic = {foundations-of-semantics;truth;}
  }

@article{ belnap:2009a,
  author = {Nuel D. {Belnap, Jr.}},
  title = {Truth Values, Neither-true-nor-false, and Supervaluations},
  journal = {Studia Logica},
  year = {2009},
  volume = {91},
  number = {3},
  pages = {305--334},
  topic = {multivalued-logic;supervaluations;branching-time;
  		future-contingent-propositions;}
  }

@incollection{ belnap-bartha:forthcominga,
  author = {Nuel D. {Belnap, Jr.} and Paul Bartha},
  title = {Marcus and the Problem of Nested Deontic Modalities},
  booktitle = {Modality, Morality, and Belief},
  publisher = {Cambridge University Press},
  year = {forthcoming},
  editor = {Walter Sinnot-Armstrong and Diana Raffman and Nicholas Asher},
  address = {Cambridge},
  missinginfo = {year, pages},
  topic = {deontic-logic;}
  }

@article{ belnap-etal:1980a,
  author = {Nuel D. {Belnap, Jr.} and Anil Gupta and J. Michael Dunn},
  title = {A Consequtive Calculus for Positive Relevant Implication
  	with Necessity},
  journal = {Journal of Philosophical Logic},
  year = {1980},
  volume = {9},
  number = {4},
  pages = {343--362},
  topic = {proof-theory;relevance-logic;}
  }

@book{ belnap-etal:2001a,
  author = {Nuel D. {Belnap, Jr.} and Michael Perloff and Ming Xu},
  title = {Facing the Future: Agents and Choices in Our Indeterminist
  	World},
  publisher = {Oxford University Press},
  year = {2001},
  address = {Oxford},
  ISBN = {0-19-513878-3},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {action;stit;branching-time;causality;}
 }

@unpublished{ belnap-green_m:1996b,
  author = {Nuel D. {Belnap, Jr.} and Mitchell S. Green},
  title = {Wagering on the Future},
  year = {1996},
  note = {Unpublished manuscript, },
  rtnote = {In RHT collection.},
  topic = {branching-time;(in)determinism;}
  }

@incollection{ belnap-green_ms:1994a,
  author = {Nuel D. {Belnap, Jr.} and Mitchell S. Green},
  title = {Indeterminism and the Thin Red Line},
  booktitle = {Philosophical Perspectives, Volume 7:
  	Logic and Language},
  publisher = {Blackwell Publishers},
  year = {1994},
  editor = {James E. Tomberlin},
  pages = {365--388},
  address = {Oxford},
  topic = {branching-time;(in)determinism;}
  }

@article{ belnap-perloff:1988a,
  author = {Nuel D. {Belnap, Jr.} and Michael Perloff},
  title = {Seeing to it That: a Canonical Form for Agentives},
  journal = {Theoria},
  volume = {54},
  year = {1988},
  pages = {175--199},
  missinginfo = {number},
  topic = {action;stit;branching-time;}
    }

@incollection{ belnap-perloff:1990a,
  author = {Nuel D. {Belnap, Jr.} and Michael Perloff},
  title = {Seeing to it that: A Canonical Form for Agentives},
  booktitle = {Knowledge Representation and Defeasible Reasoning},
  publisher = {Kluwer Academic Publishers},
  year = {1990},
  editor = {Henry Kyburg and Ronald Loui and Greg Carlson},
  pages = {167--190},
  address = {Dordrecht},
  topic = {action;stit;}
  }

@article{ belnap-perloff:1992a,
  author = {Nuel D. Belnap. Jr. and Michael Perloff},
  title = {The Way of Agent},
  journal = {Studia Logica},
  year = {1992},
  volume = {51},
  pages = {463--484},
  missinginfo = {number},
  topic = {stit;}
  }

@article{ belnap-perloff:1993a,
  author = {Nuel D. Belnap. Jr. and Michael Perloff},
  title = {In the Realm of Agents},
  journal = {Annals of Mathematics and Artificial Intelligence},
  year = {1993},
  volume = {9},
  pages = {25--48},
  missinginfo = {number},
  topic = {stit;}
  }

@book{ belnap-steele_tb:1976a,
  author = {{Nuel D. Belnap, Jr.} and {Thomas B. Steele, Jr.}},
  title = {The Logic of Questions and Answers},
  publisher = {Yale University Press},
  year = {1976},
  address = {New Haven},
  rtnote = {In RHT collection. LLP authored shelves.},
  topic = {interrogatives;}
 }

@article{ belot:1998a,
  author = {Gordon Belot},
  title = {Review of \emph{{T}ime's Arrow and {A}rchimedes' Point: New
  	Directions for the Physics of Time}, by {H}uw {P}rice},
  journal = {The Philosophical Review},
  year = {1998},
  volume = {107},
  number = {3},
  pages = {477--480},
  xref = {Review of: price_h:1996a.},
  topic = {philosophy-of-time;temporal-direction;}
  }

@incollection{ belot:2000a,
  author = {Gordon Belot},
  title = {Chaos and Fundamentalism},
  booktitle = {{PSA}'1998: Proceedings of the 1998 Biennial Meetings
  	of the Philosophy of Science Association, Part {II}:
	Symposium Papers},
  publisher = {Philosophy of Science Association},
  year = {2000},
  editor = {Don A. Howard},
  pages = {S454--S465},
  address = {Newark, Delaware},
  topic = {philosophy-of-physics;chaos-theory;}
  }

@article{ belot:2001a,
  author = {Gordon Belot},
  title = {The Principle of Sufficient Reason},
  journal = {The Journal of Philosophy},
  year = {2000},
  volume = {98},
  number = {2},
  pages = {55--74},
  topic = {Leibniz;principle-of-sufficient-reason;}
  }

@article{ belpaeme:2007a,
  author = {Tony Belpaeme},
  title = {Review of \emph{{T}he Computational Nature of Language
  	Learning and Evolution}, by {P}artha {N}iyogi},
  journal = {Computational Linguistics},
  year = {2007},
  volume = {33},
  number = {3},
  pages = {429--430},
  xref = {Review of: niyogi:2006a},
  topic = {language-learning;language-change;}
  }

@article{ beltrametti-cassinelli:1977a,
  author = {Enrico G. Beltrametti and Gianni Cassinelli},
  title = {On State Transitions Induced by Yes-No Experiments, in
  	the Context of Quantum Logic},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {6},
  number = {4},
  pages = {369--379},
  topic = {quantum-logic;}
  }

@book{ beltrametti-cassinelli:1981a,
  author = {Enrico G. Beltrametti and Gianni Cassinelli},
  title = {The Logic of Quantum Mechanics},
  publisher = {Cambridge University Press},
  year = {1981},
  address = {Cambridge, England},
  ISBN = {0521302358},
  rtnote = {UMich Science Library, QC174.12 .B451 1984},
  rtnote = {Chapters 10-20 In RHT collection.  Reprint files.},
  topic = {quantum-logic;}
 }

@book{ beltrametti-vanfraassen:1979a,
  editor = {Enrico G. Beltrametti and Bas C. van Fraassen},
  title = {Current Issues in Quantum Logic},
  publisher = {Plenum Press},
  year = {1979},
  address = {New York},
  ISBN = {0-306-40652-7},
  rtnote = {In RHT collection.  Philsci Shelves.},
  topic = {quantum-logic;}
 }

@book{ belz-etal:2004a,
  editor = {Anja Belz and Roger Evans and Paul Piwek},
  title = {Natural Language Generation: Third International
	Conference, INLG 2004},
  publisher = {Springer-Verlag},
  year = {2004},
  address = {Berlin},
  ISBN = {3540223401},
  rtnote = {UMich Media Union QA 76.9 .N38 N389 2004.},
  contentnote = {TC:
     1. Ardi Roelofs, "The Seduced Speaker: Modeling of Cognitive
     		Control", pp.1--10
     2. Farah Benemara, "Generating Intensional Answers in
     		Intelligent Question Answering Systems", pp. 11--20
     3. Christian Chiarcos and Manfred Stede, "Salience-Driven Text
     		Planning", pp. 21--30
     4. Kees van Deemter, "Indirect Supervised Learning of Content
     		Selection Logic", pp. 41--50
     5. Kotaro Funakoshi, Satoru Watanabe, Naoko Kuriyama, Takenobu
     		Tokunaga, "Generating Referring Expressions Using
		Perceptual Groups", pp. 51--60
     6. Nizar Habash, "The Use of a Structural N-gram Language Model
     		in Generation-Heavy Hybrid Machine
		Translation", pp. 61--69
     7. Helmut Horacek, "On Referring to Sets of Objects
     		Naturally", pp. 70--79
     8. Hasan Kamal and Chris Mellish, "An {ATMS} Approach to Systemic
     		Sentence Generation", pp. 80--89
     9. Nikiforos Karamanis, Chris Mellish, Jon Oberlander, Massimo
     		Poesio, "A Corpus-Based Methodology for Evaluating
		Metrics of Coherence for Text Structuring", pp. 90--99
    10. Tomasz Marciniak and Michael Strube, "Classification-Based
    		Generation Using TAG", pp. 100--109
    11. Daniel S. Paiva and Roger Evans, "A Framework for
    		Stylistically Controlled Generation", pp. 120--129
    12. Shimei Pan and James Shaw, "SEGUE: A Hybrid Case-Based
    		Surface Natural Language Generator", pp. 130--140
    13. Kaka Porayska-Pomsta and Chris Mellish, "Modelling Politeness
    		in Natural Language Generation", pp. 141--150
    14. Matthew Purver and Ruth Kempson, "Context-Based Incremental
    		Generation for Dialogue", pp. 151--160
    15. Ehud Reiter and Somayajulu Sripada, "Contextual Influences on
    		Near-Synonym Choice", pp. 161--170
    16. Sebastian Varges, "Overgenerating Referring Expressions
    		Involving Relations and Booleans", pp. 171--181
    17. Michael White, "Reining in CCG Chart
    		Realization", pp. 182--191
    18. David K. Elson, "Categorization of Narrative Semantics for
    		Use in Generative Multidocument
		Summarization", pp. 192--197
    19. Mary Ellen Foster, "Corpus-Based Planning of Deictic Gestures
    		in COMIC", pp. 198--204
    20. Martin Klarner, "Hybrid NLG in a Generic Dialog
    		System", pp. 205--211
    21. Kristina Striegnitz, "When to Say Also", pp. 212--218
  },
    topic = {nl-generation;}
 }

@article{ belzer:1983a,
  author = {Barry Loewer and Marvin Belzer},
  title = {Dyadic Deontic Detachment},
  journal = {Synth\'ese},
  volume = {54},
  pages = {295--318},
  year = {1983},
  missinginfo = {number},
  topic = {deontic-logic;}
 }

@article{ belzer:1986a,
  author = {Marvin Belzer},
  title = {Reasoning with Defeasible Principles},
  journal = {Synth\'ese},
  volume = {66},
  pages = {135--158},
  year = {1986},
  missinginfo = {number},
  topic = {deontic-logic;}
 }

@incollection{ belzer-loewer:1994a,
  author = {Marvin Belzer and Barry Loewer},
  title = {Hector Meets {3-D}: A Diaphilosophical Epic},
  booktitle = {Philosophical Perspectives, Volume 8:
  	Logic and Language},
  publisher = {Blackwell Publishers},
  year = {1994},
  editor = {James E. Tomberlin},
  pages = {389--414},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {deontic-logic;conditional-obligation;}
  }

@article{ benacerraf:1965a,
  author = {Paul Benacerraf},
  title = {What Numbers Could Not Be},
  journal = {The Philosophical Review},
  year = {1965},
  volume = {74},
  number = {1},
  pages = {47--73},
  topic = {philosophy-of-computation;}
  }

@article{ benacerraf:1967a,
  author = {Paul Benacerraf},
  title = {God, the Devil and {G}\"odel},
  journal = {The Monist},
  year = {1967},
  volume = {51},
  number = {1},
  pages = {9--32},
  contentnote = {Criticizes lucas_jr:1961a.},
  topic = {goedels-first-theorem;philosophy-of-computation;}
 }

@article{ benacerraf:1973a,
  author = {Paul Benacerraf},
  title = {Mathematical Truth},
  journal = {Journal of Philosophy},
  year = {1973},
  volume = {70},
  pages = {661--679},
  missinginfo = {number},
  topic = {philosophy-of-mathematics;}
 }

@book{ benacerraf-putnam_h:1964a,
  editor = {Paul Benacerraf and Hilary Putnam},
  title = {Philosophy of Mathematics: Selected Readings},
  publisher = {Prentice-Hall},
  year = {1964},
  address = {Englewood Cliffs, New Jersey},
  rtnote = {In RHT Collection.  Logic shelves.},
  rtnote = {Extra copy in office?},
  topic = {philosophy-of-mathematics;foundations-of-mathematics;}
 }

@inproceedings{ benari-etal:1981a,
  author = {M. Ben-Ari and Z. Manna and Amir Pnueli},
  title = {The Temporal Logic of Branching Time},
  booktitle = {Eighth Annual {ACM} Symposium on Principles of Programming
  	Languages},
  publisher = {ACM},
  year = {1981},
  organization = {ACM},
  missinginfo = {A's 1st name, editor, publisher, address},
  rtnote = {Check this out.  Useful for Handbook chapter?},
  rtnote = {tmix-project;},
  topic = {branching-time;}
  }

@article{ benari-etal:1983a,
  author = {M. Ben-Ari and Amir Pnueli and Z. Manna},
  title = {The Temporal Logic of Branching Time},
  journal = {Acta Informatica},
  year = {1983},
  volume = {20},
  pages = {207--226},
  missinginfo = {A's 1st name, number},
  topic = {temporal-logic;branching-time;}
  }

@article{ benavi-winter:2003a,
  author = {Gilad Ben-Avi and Yoad Winter},
  title = {Monotonicity and Collective Quantification},
  journal = {Journal of Logic, Language, and Information},
  year = {2003},
  volume = {12},
  number = {2},
  pages = {122--151},
  topic = {nl-semantics;plural;n;-quantifiers;}
  }

@article{ benchcapon-dunne:2007a,
  author = {T.J.M. Bench-Capon and Paul E. Dunne},
  title = {Argumentation in Artificial Intelligence},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {10--15},
  pages = {619--641},
  topic = {argumentation;argumentation-theory;}
  }

@article{ benchcapon-etal:2007a,
  author = {Trevor Bench-Capon and Sylvie Doutre and Paul E. Dunne},
  title = {Audiences in Argumentation Frameworks},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {1},
  pages = {42--71},
  topic = {practical-reasoning;argumentation;}
  }

@article{ benchcapon-sartor:2003a,
  author = {Trevor Bench-Capon and Giovanni Sartor},
  title = {A Model of Legal Reasoning with Cases Incorporating Theories
  	and Values},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {150},
  number = {1-2},
  pages = {97--143},
  topic = {AI-and-law;case-based-reasoning;}
  }

@article{ bencivenga:1975a,
  author = {Ermanno Bencivenga},
  title = {Set Theory and Free Logic},
  journal = {Journal of Philosophical Logic},
  year = {1975},
  volume = {5},
  number = {1},
  pages = {1--15},
  topic = {reference-gaps;foundations-of-set-theory;}
  }

@article{ bencivenga:1977a,
  author = {Ermanno Bencivenga},
  title = {Are Arithmetical Truths Analytic?  New Results in Free
  	Set Theory},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {6},
  number = {3},
  pages = {319--330},
  topic = {(non)existence;foundations-of-arithmetic;}
  }

@article{ bencivenga:1978a,
  author = {Ermanno Bencivenga},
  title = {Free Semantics for Indefinite Descriptions},
  journal = {Journal of Philosophical Logic},
  year = {1978},
  volume = {7},
  number = {4},
  pages = {389--405},
  topic = {reference-gaps;}
  }

@article{ bencivenga:1979a,
  author = {Ermanno Bencivenga},
  title = {On Good and Bad Arguments},
  journal = {Journal of Philosophical Logic},
  year = {1979},
  volume = {8},
  number = {3},
  pages = {247--259},
  topic = {philosophy-of-logic;logical-consequence;}
  }

@incollection{ bencivenga:1986a,
  author = {Ermanno Bencivenga},
  title = {Free Logics},
  booktitle = {Handbook of Philosophical Logic, Volume {III}:
  	Alternatives in Classical Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1986},
  editor = {Dov Gabbay and Franz Guenther},
  pages = {373--426},
  address = {Dordrecht},
  topic = {truth-value-gaps;reference-gaps;}
 }

@article{ benda:2008a,
  author = {Thomas Benda},
  title = {A Formal Construction of the Space-Time Manifold},
  journal = {Journal of Philosophical Logic},
  year = {2008},
  volume = {37},
  number = {5},
  pages = {441--478},
  topic = {logicism;relativity-theory;}
  }

@article{ bendall:1971a,
  author = {Kent Bendall},
  title = {Laplacian Determinism and Omnitemporal Determinates},
  journal = {The Journal of Philosophy},
  year = {1971},
  volume = {67},
  number = {21},
  pages = {751--761},
  topic = {determinism;formalizations-of-physics;}
  }

@article{ bendall:1978a,
  author = {Kent Bendall},
  title = {Natural Deduction, Separation, and the Meaning of Logical
  	Operators},
  journal = {Journal of Philosophical Logic},
  year = {1978},
  volume = {7},
  number = {3},
  pages = {245--276},
  topic = {proof-theory;}
  }

@article{ bendall:1979a,
  author = {Kent Bendall},
  title = {Belief-Theoretic Formal Semantics for First-Order Logic
  	and Probability},
  journal = {Journal of Philosophical Logic},
  year = {1979},
  volume = {8},
  number = {4},
  pages = {375--397},
  contentnote = {The idea is to develop probability semantics
  	from constraints on coherent belief},
  topic = {epistemic-semantics;probability-semantics;}
  }

@article{ bendall:1982a,
  author = {Kent Bendall},
  title = {A `Definitive' Probabilistic Semantics for First Order Logic},
  journal = {Journal of Philosophical Logic},
  year = {1982},
  volume = {11},
  number = {3},
  pages = {255--278},
  topic = {probability-semantics;}
  }

@article{ bendavid-zohary:2000a,
  author = {Rachel Ben-David and Rachel Ben-Eliyahu Zohary},
  title = {A Modal Logic for Subjective Default Reasoning},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {116},
  number = {1--2},
  pages = {217--236},
  topic = {nonmonotonic-conditionals;nonmonotonic-logic;modal-logic;}
  }

@incollection{ bendefarkas:1999a,
  author = {Agnes Bende-Farkas},
  title = {Incorporation as Unification},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
		of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {79--84},
  address = {Amsterdam},
  topic = {incorporation;unification-of-FSs;"have"-constructions;
  	nl-semantics;}
  }

@techreport{ bendix:1966a,
  author = {Edward H. Bendix},
  title = {Componential Analysis of General Vocabulary},
  institution = {Indiana University Research Center in Anthropology,
  	Folklore, and Linguistics},
  number = {Publication 41},
  year = {1966},
  address = {Bloomington, Indiana},
  topic = {componential-semantics;}
  }

@incollection{ bendix:1971a,
  author = {Edward H. Bendix},
  title = {The Data of Semantic Description},
  booktitle = {Semantics: An Interdisciplinary Reader in Philosophy,
  	Linguistics, and Psychology},
  publisher = {Cambridge University Press},
  year = {1971},
  editor = {Danny D. Steinberg and Leon A. Jacobovits},
  pages = {393--409},
  address = {Cambridge, England},
  topic = {linguistics-methodology;foundations-of-semantics;
  	componential-semantics;}
  }

@inproceedings{ beneceretti-etal:2001a,
  author = {Massimo Beneceretti and Paolo Bouquet and Chiara Ghidini},
  title = {On the Dimensions of Context Dependence: Partiality,
		Approximation, and Perspective},
  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 = {59--72},
  address = {Berlin},
  topic = {context;contextual-reasoning;}
  }

@techreport{ beneliyahu-dechter_r:1992a,
  author = {Rachel Ben-Eliyahu and Rina Dechter},
  title = {Inference in Inheritance Networks, Using Propositional
  	Logic and Constraint Networks Techniques},
  year = {1992},
  number = {ICS-TR-92-64},
  url = {citeseer.ist.psu.edu/ben-eliyahu92inference.html" },
  rtnote = {In RHT collection.},
  topic = {inheritance;constraint-networks;}
  }

@article{ beneliyahu-dechter_r:1996a,
  author = {Rachel Beneliyahu and Rina Dechter},
  title = {Default Reasoning Using Classical Logic},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {84},
  number = {1--2},
  pages = {113--150},
  contentnote = {Shows how to do efficient reasoning using classical
  	equivalents for a class of default theories.},
  topic = {default-logic;nonmonotonic-reasoning;}
  }

@incollection{ beneliyahu-palopoli:1994a,
  author = {Rachel Ben-Eliyahu and Luigi Palopoli},
  title = {Reasoning with Minimal Models: Efficient Algorithms and
  	Applications},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {39--50},
  address = {San Francisco, California},
  topic = {kr;minimal-models;circumscription;kr-course;}
  }

@article{ beneliyahuzohary:2002a,
  author = {Rachel Ben-Eliyahu Zohary},
  title = {Yet Some More Complexity Results for Default Logic},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {139},
  number = {1},
  pages = {1--20},
  topic = {default-logic;complexity-in-AI;}
  }

@article{ beneliyahuzohary:2005a,
  author = {Rachel Ben-Eliyahu-Zohary},
  title = {An Incremental Algorithm for Generating All Minimal Models},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {169},
  number = {1},
  pages = {1--22},
  topic = {nonmonotonic-logic;model-checking;minimal-models;}
  }

@article{ beneliyahuzohary-etal:2003a,
  author = {Rachel Ben-Eliyahu-Zohary and Ehud Gudes and Giovambattista
  	Ianni},
  title = {Metaqueries: Semantics, Complexity, and Efficient Algorithms},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {149},
  number = {1},
  pages = {61--87},
  topic = {data-mining;}
  }

@article{ beneliyahuzohary-palopoli:1997a,
  author = {Rachel Ben-Eliyahu-Zohary and Luigi Palopoli},
  title = {Reasoning with Minimal Models: Efficient Algorithms and
		Applications},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {96},
  number = {2},
  pages = {421--449},
  topic = {minimal-models;stable-models;AI-algorithms;nonmonotonic-reasoning;}
  }

@inproceedings{ benerecetti-etal:1997a,
  author = {Massimo Benerecetti and Paolo Bouquet and Chiara Ghidini},
  title = {A Multi Context Approach to Belief Report},
  booktitle = {AAAI Fall 1997 Symposium on Context in {KR} and {NL}},
  editor = {Sa\v{s}a Buva\v{c} and L.~Ivanska},
  year = {1997},
  organization = {AAAI},
  missinginfo = {A's 1st name},
  topic = {context;}
  }

@inproceedings{ benerecetti-etal:1997b,
  author = {Massimo Benerecetti and Chiari Ghidini and Paolo Bouquet},
  title = {Formalizing Opacity and Transparency in Belief Contexts},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Context in Knowledge Representation and Natural Language},
  year = {1997},
  editor = {Sa\v{s}a Buva\v{c} and {\L}ucia Iwa\'nska},
  pages = {30--37},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {context;epistemic-logic;referential-opacity;}
  }

@inproceedings{ benerecetti-etal:1998a,
  author = {Massimo Benerecetti and Chiari Ghidini and Paolo Bouquet},
  title = {Formalizing Belief Reports---The Approach and a Case Study},
  booktitle = {Proceedings of the Eighth International Conference on
  	Artificial Intelligence, Methodology, Systems, and Applications},
  year = {1998},
  publisher = {Springer-Verlag},
  address = {Berlin},
  missinginfo = {editor, pages},
  topic = {epistemic-logic;}
  }

@unpublished{ benerecetti-etal:1999a,
  author = {Massimo Benerecetti and Paolo Bouquet and Chiara Ghidini},
  title = {Contextual Reasoning Distilled},
  year = {1999},
  note = {Unpublished manuscript, University of Trento},
  rtnote = {In RHT collection.  Paolo gave me this in Dundee,
  	Feb. 1999.},
  topic = {context;}
  }

@incollection{ benerecetti-etal:2007a,
  author = {Massimo Benerecetti and Paolo Bouquet and Chiara Ghidini},
  title = {On the Dimensions of Context Dependence},
  booktitle = {Perspectives on Context},
  publisher = {CSLI Publications},
  year = {2007},
  editor = {Paolo Bouquet and Luciano Serafini and Richmond H. Thomason},
  pages = {1--18},
  address = {Stanford, California},
  topic = {context;contextual-reasoning;}
  }

@incollection{ benferhat:1998a,
  author = {Salem Benferhat},
  title = {Infinitesimal Theories of Uncertainty for Plausible
		Reasoning},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 1:  Quantified Representation
		of Uncertainty and Imprecision},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Dov M. Gabbay and Philippe Smets},
  pages = {303--356},
  address = {Dordrecht},
  topic = {infinitesimals;nonstandard-analysis;
        nonmonotonic-reasoning;nonstandard-probability;
  	reasoning-about-uncertainty;foundations-of-probability;}
  }

@article{ benferhat:2009a,
  author = {Salem Benferhat},
  title = {Review of \emph{{E}lements of Argumentation}, by {P}hilippe
  		{B}esnard and {A}nthony {H}unter},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {174},
  number = {2},
  pages = {134--139},
  xref = {Review of: besnard-hunter_a:2008a},
  topic = {argumentation-theory;}
  }

@article{ benferhat:2009b,
  author = {Salem Benferhat},
  title = {Interventions and Belief Change in Possibilistic Graphical
  		Models},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {174},
  number = {2},
  pages = {177--189},
  topic = {causality;belief-change;Bayesian-networks;}
  }

@incollection{ benferhat-etal:1992a,
  author = {Salem Benferhat and Didier Dubois and Henri Prade},
  title = {Representing Default Rules in Possibilistic Logic},
  booktitle = {{KR}'92. Principles of Knowledge Representation and
  	Reasoning: Proceedings of the Third International Conference},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Bernhard Nebel and Charles Rich and William Swartout},
  pages = {673--684},
  address = {San Mateo, California},
  topic = {kr;default-logic;nonmonotonic-logic;possibilistic-logic;}
  }

@article{ benferhat-etal:1997a,
  author = {Salem Benferhat and Didier Dubois and Henri Prade},
  title = {Nonmonotonic Reasoning, Conditional Objects, and Possibility
  	Theory},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {92},
  number = {1--2},
  pages = {259--276},
  topic = {nonmonotonic-reasoning;conditionals;conditional-reasoning;}
  }

@inproceedings{ benferhat-etal:1997b,
  author = {Salem Benferhat and Didier Dubois and Henri Prade},
  title = {Possibilistic and Standard Probabilistic Semantics of
		Conditional Knowledge},
  booktitle = {Proceedings of the Fourteenth National Conference on
              Artificial Intelligence, Vol. 1},
  year = {1997},
  editor = {Benjamin J. Kuipers and Bonnie Webber},
  pages = {70--75},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {conditionals;knowledge;probabilistic-reasoning;}
  }

@incollection{ benferhat-etal:1998a,
  author = {Salem Benferhat and Didier Dubois and J. Lang and
  	Henri Prade and Philippe Smets and A. Saffiotti},
  title = {A General Approach for Inconsistency Handling and Merging
  	Information in Prioritized Knowledge Bases},
  booktitle = {{KR}'98: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1998},
  editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C.
		Shapiro},
  pages = {466--477},
  address = {San Francisco, California},
  topic = {kr;nonmonotonic-prioritization;kr-course;}
  }

@inproceedings{ benferhat-etal:1998b,
  author = {Salem Benferhat and Didier Dubois and Henri Prade},
  title = {Possibilistic and Standard Probabilistic Semantics
  		of Conditional Knowledge},
  booktitle = {Proceedings of the Fourteenth National Conference on
              Artificial Intelligence and the Ninth Innovative
	      Applications of Artificial Intelligence  Conference},
  year = {1998},
  editor = {Benjamin J. Kuipers and Bonnie Webber},
  pages = {70--75},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {probabilistic-logic;nonmonotonic-logic;}
  }

@article{ benferhat-etal:2000a,
  author = {Salem Benferhat and Alessandro Saffiotti and Philippe Smets},
  title = {Belief Functions and Default Reasoning},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {122},
  number = {1--2},
  pages = {1--69},
  topic = {default-reasoning;probability-semantics;infinitesimals;}
  }

@incollection{ benferhat-etal:2000b,
  author = {Salem Benferhat and Didier Dubois and H\'elene Fargier and
    		Henri Prade and R\'egis Sabbadin},
  title = {Decision, Nonmonotonic Reasoning and Possibilistic Logic},
  booktitle = {Logic-Based Artificial Intelligence},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Jack Minker},
  pages = {333--358},
  address = {Dordrecht},
  topic = {logic-in-AI;qualitative-decision-theory;possibilistic-logic;}
  }

@article{ benferhat-etal:2001a,
  author = {Salem Benferhat and Souhila Kaci and Daniel Le Berre
  	and Mary-Anne Williams},
  title = {Weakening Conflicting Information for Integrated Revision
  	and Knowledge Representation},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {153},
  number = {5--6},
  pages = {339--371},
  topic = {common-sense-reasoning;belief-revision;knowledge-integration;}
  }

@article{ benferhat-etal:2002a,
  author = {Salem Benferhat and Didier Dubois and Henri Prade and
  	Mary-Anne Williams},
  title = {A Practical Approach to Revising Prioritized Knowledge Bases},
  journal = {Studia Logica},
  year = {2002},
  volume = {68},
  number = {1},
  pages = {105--130},
  topic = {belief-revision;kr;knowledge-base-revision;}
  }

@incollection{ benferhat-etal:2002b,
  author = {Salem Benferhat and Didier Dubois and Souhila Kaci and
  	Henri Prade},
  title = {Bipolar Representation and Fusion of Preferences in
  		the Possibilistic Logic Framework},
  booktitle = {{KR2002}: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {2002},
  editor = {Dieter Fensel and Fausto Giunchiglia and Deborah
  	L. McGuinness and Mary-Anne Williams},
  pages = {421--432},
  address = {San Francisco, California},
  topic = {kr;possibilistic-logic;preferences;}
  }

@incollection{ benferhat-etal:2004a,
  author = {Salem Benferhat and Jean Fran\c{c}ois Bonnefon and
  		Rui Da Silva Neves},
  title = {An Experimental Analysis of Possibilistic Default
  		Reasoning},
  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 = {130--139},
  address = {Menlo Park, California},
  topic = {nonmonotonic-reasoning;cognitive-psychology;}
  }

@article{ benferhat-garcia_l:2002a,
  author = {Salem Benferhat and Laurent Garcia},
  title = {Handling with Locally Stratified Inconsistent Knowledge
  	Bases},
  journal = {Studia Logica},
  year = {2002},
  volume = {68},
  number = {1},
  pages = {77--104},
  topic = {belief-revision;paraconsistency;knowledge-base-revision;}
  }

@article{ benferhat-giunchiglia_e:2004a,
  author = {Salem Benferhat and Enrico Giunchiglia},
  title = {Editorial},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {157},
  number = {1--2},
  pages = {1--3},
  note = {Introduction to a special issue on nonmonotonic reasoning.},
  topic = {nonmonotonic-logic;nonmonotonic-reasoning;}
  }

@article{ benferhat-kaci:2003a,
  author = {Salem Benferhat and Souhila Kaci},
  title = {Logical Representation and Fusion of Prioritized Information
  	Based on Guaranteed Possibility Measures: Application to the
	Distance-Based Merging of Classical Bases},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {148},
  number = {1--2},
  pages = {291--333},
  topic = {possibility-theory;fuzzy-set-theory;knowledge-integration;}
  }

@inproceedings{ benhamou-heocque:1998a,
  author = {Belaid Benhamou and Laurent Heocque},
  title = {Finite Model Search for Equational Theories (FMSET)},
  booktitle = {Artificial Intelligence and Symbolic Computation:
	Proceedings of {AISC'98}},
  year = {1998},
  editor = {Jacques Calmet and Jan Plaza},
  pages = {84--93},
  publisher = {Springer Verlag},
  address = {Berlin},
  topic = {theorem-proving;finite-models;model-checking;}
  }

@article{ benjamin_ac:1939a,
   author = {A.C. Benjamin},
   title = {Science and Vagueness},
   journal = {Philosophy of Science},
   year = {1939},
   volume = {6},
   pages = {422--431},
   missinginfo = {A's 1st name, number},
   topic = {vagueness;}
  }

@unpublished{ benjamin_dp:1995a,
  author = {D. Paul Benjamin},
  title = {Analyzing Languages of Actions for the Purpose of
  	Synthesis},
  year = {1995},
  note = {Unpublished manuscript, Oklahoma State University.},
  rtnote = {In RHT collection.},
  missinginfo = {Year is Guess.  Published in some AI conference?
  	Which one?  This author seems that semigroup theory is
	the key to understanding all sorts of things about
	action.},
  topic = {action-formalisms;}
  }

@incollection{ benl-etal:1998a,
  author = {H. Benl et al.},
  title = {Proof Theory at Work: Program Development
			in the {M}inlog System},
  booktitle = {Automated Deduction: A Basis for Applications.
  	Volume {II}, Systems and Implementation Techniques},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Wolfgang Bibel and Peter H. Schmidt},
  address = {Dordrecht},
  missinginfo = {A's 1st name, other authors, pages},
  topic = {theorem-proving;applied-logic;}
  }

@incollection{ bennaim:2006a,
  author = {Jonathan Ben-Naim},
  title = {Lack of Finite Characterizations for the Distance-Based
  		Revision},
  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 = {239--248},
  address = {Menlo Park, California},
  topic = {belief-revision;}
  }

@article{ bennett_adc-etal:2000a,
  author = {A.D.C. Bennett and J.B. Paris and A. Vencovsk\'a},
  title = {A New Criterion for Comparing Fuzzy Logics for
  	Uncertain Reasoning},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {9},
  number = {1},
  pages = {31--63},
  topic = {reasoning-about-uncertainty;fuzzy-logic;}
  }

@incollection{ bennett_b:1994a,
  author = {Brandon Bennett},
  title = {Spatial Reasoning with Propositional Logics},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  address = {San Francisco, California},
  pages = {51--62},
  topic = {spatial-reasoning;kr;kr-course;}
  }

@incollection{ bennett_b:1998a,
  author = {Brandon Bennett},
  title = {Modal Semantics for Knowledge Bases Dealing with
		Vague Concepts},
  booktitle = {{KR}'98: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1998},
  editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C.
		Shapiro},
  pages = {234--244},
  address = {San Francisco, California},
  topic = {kr;modal-logic;vagueness;kr-course;}
  }

@incollection{ bennett_b:2002a,
  author = {Brandon Bennett},
  title = {Physical Objects, Identity and Vagueness},
  booktitle = {{KR2002}: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {2002},
  editor = {Dieter Fensel and Fausto Giunchiglia and Deborah
  	L. McGuinness and Mary-Anne Williams},
  pages = {395--406},
  address = {San Francisco, California},
  topic = {kr;computational-ontology;vagueness;}
  }

@incollection{ bennett_b:2003a,
  author = {Brandon Bennett},
  title = {The Role of Definitions in Construction
     		and Analysis of Formal Ontologies},
  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 = {27--35},
  address = {Menlo Park, California},
  topic = {definitions;computational-ontology;}
  }

@incollection{ bennett_b:2006a,
  author = {Brandon Bennett},
  title = {A Theory of Vague Adjectives Grounded in Relevant
  		Observables},
  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 = {36--44},
  address = {Menlo Park, California},
  topic = {vagueness;}
  }

@article{ bennett_b-galton:2001a,
  author = {Brandon Bennett and Anthony M. Galton},
  title = {A Unifying Semantics for Time and Events},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {153},
  number = {5--6},
  pages = {13--48},
  topic = {common-sense-reasoning;temporal-reasoning;events;}
  }

@article{ bennett_bh:1999a,
  author = {Bonnie Holte Bennett},
  title = {Review of \emph{{R}obot: Mere Machine to Transcendent Mind},
  	by {H}ans {M}oravec},
  journal = {The {AI} Magazine},
  year = {1999},
  volume = {20},
  number = {3},
  pages = {92--93},
  topic = {robotics;AI-survey;}
  }

@incollection{ bennett_ch:1988a,
  author = {Charles H. Bennett},
  title = {Logical Depth and Physical Complexity},
  booktitle = {The Universal {T}uring Machine: A Half-Century
  	Survey},
  publisher = {Oxford University Press},
  year = {1988},
  editor = {Rolf Herkin},
  pages = {227--257},
  address = {Oxford},
  topic = {complexity-theory;physical-realizations-of-computation;}
  }

@incollection{ bennett_j:1969a,
  author = {Jonathan Bennett},
  title = {\,`Real'\, },
  booktitle = {Symposium on J.L. Austin},
  publisher = {Routledge and Kegan Paul},
  year = {1969},
  editor = {K.T. Fann},
  pages = {267--283},
  address = {London},
  missinginfo = {E's 1st name.},
  topic = {JL-Austin;phenomenalism;ordinary-language-philosophy;}
  }

@article{ bennett_j:1970a,
  author = {Jonathan Bennett},
  journal = {Journal of Symbolic Logic},
  pages = {314-318},
  title = {[Untitled Omnibus Review]},
  volume = {35},
  year = {1970},
  topic = {imperatives;}
  }

@article{ bennett_j:1973a,
  author = {Jonathan Bennett},
  title = {The Meaning-Nominalist Strategy},
  journal = {Foundations of Language},
  year = {1973},
  volume = {10},
  number = {1},
  pages = {141--168},
  topic = {nominalism;foundations-of-semantics;}
  }

@article{ bennett_j:1974a,
  author = {Jonathan Bennett},
  title = {Counterfactuals and Possible Worlds},
  journal = {Canadian Journal of Philosophy},
  year = {1974},
  volume = {4},
  pages = {381--402},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {conditionals;}
  }

@book{ bennett_j:1976a,
  author = {Jonathan Bennett},
  title = {Linguistic Behaviour},
  publisher = {Cambridge University Press},
  year = {1976},
  address = {Cambridge, England},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  xref = {Reviews: peacocke:1977a,thomason_rh:1972b.},
  topic = {philosophy-of-language;semantics;speaker-meaning;Grice;
  	convention;}
 }

@article{ bennett_j:1982a,
  author = {Jonathan Bennett},
  title = {Psychology and Semantics: {S}chiffer's `Intention-Based
  	Semantics'\, },
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1982},
  volume = {23},
  number = {1},
  pages = {258--262},
  xref = {Comments on schiffer:1982a.},
  rtnote = {In RHT collection.},
  topic = {foundations-of-semantics;}
  }

@article{ bennett_j:1982b,
  author = {Jonathan Bennett},
  title = {\,`Even If'\, },
  journal = {Linguistics and Philosophy},
  year = {1982},
  volume = {5},
  pages = {403--418},
  number = {3},
  topic = {`even';sentence-focus;pragmatics;semantics;}
  }

@article{ bennett_j:1984a,
  author = {Jonathan Bennett},
  title = {Counterfactuals and Temporal Direction},
  journal = {The Philosophical Review},
  year = {1984},
  volume = {93},
  number = {1},
  pages = {7--89},
  rtnote = {tmix-project;},
  topic = {conditionals;causality;temporal-reasoning;}
  }

@article{ bennett_j:1985a,
  author = {Jonathan Bennett},
  title = {Philosophy and Mr. {S}toppard},
  journal = {Philosophy},
  year = {1985},
  volume = {50},
  missinginfo = {number},
  pages = {5--18},
  topic = {Stoppard;}
  }

@book{ bennett_j:1988a,
  author = {Jonathan Bennett},
  title = {Events and Their Names},
  publisher = {Hackett Publishing Company},
  year = {1988},
  address = {Indianapolis},
  ISBN = {0-87220-045-0 (paperback)},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {events;philosophical-ontology;facts;causation;}
 }

@article{ bennett_j:1994a,
  author = {Jonathan Bennett},
  title = {The `Namely' Analysis of the `by'-Locution},
  journal = {Linguistics and Philosophy},
  year = {1994},
  volume = {17},
  number = {1},
  pages = {29--51},
  topic = {agency;manner-adverbials;action;}
  }

@article{ bennett_j:1995a,
  author = {Jonathan Bennett},
  title = {Classifying Conditionals: the Traditional Way is Right},
  journal = {Mind, New Series},
  year = {1995},
  volume = {104},
  pages = {331--354},
  rtnote = {In RHT collection.  Files.},
  topic = {conditionals;}
  }

@book{ bennett_j:2003a,
  author = {Jonathan Bennett},
  title = {A Philosophical Guide to Conditionals},
  publisher = {Oxford University Press},
  year = {2003},
  address = {Oxford},
  ISBN = {0-19-925887-2},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  contentnote = {TC:
     1. Introduction
     2. The material conditional: Grice
     3. The material conditional: Jackson
     4. The equation
     5. The equation attacked
     6. The subjectivity of indicative conditionals
     7. Indicative conditionals lack truth values
     8. Uses of indicative conditionals
     9. The logic of indicative conditionals
    10. Subjunctive conditionals---first steps
    11. The competition for `closest'
    12. Unrolling from the antecedent time
    13. Forks
    14. Reflections on legality
    15. Truth at the actual world
    16. Subjunctive conditionals and probability
    17. `Even if $\ldots$'
    18. Backward subjunctive conditionals
    19. Subjunctive conditionals and time's arrow
    20. Support theories
    21. The need for worlds
    22. Relating the two kinds of conditional
    23. Unifying the two kinds of conditional
  },
  topic = {conditionals;}
  }

@article{ bennett_k:2005a,
  author = {Karen Bennett},
  title = {Two Axes of Actualism},
  journal = {The Philosophical Review},
  year = {2003},
  volume = {114},
  number = {3},
  pages = {297--326},
  topic = {metaphysics;actualism;}
  }

@incollection{ bennett_mr:1972a,
  author = {Michael R. Bennett},
  title = {Accommodating the Plural in {M}ontague's
     		Fragment of {E}nglish},
  booktitle = {Papers in {M}ontague Grammar},
  publisher = {Linguistics Department, UCLA},
  year = {1972},
  editor = {Robert Rodman},
  pages = {25--65},
  address = {Los Angeles, California},
  note = {ULCA Occasional Papers in Linguistics, No. 2},
  topic = {Montague-grammar;nl-semantics;plural;}
  }

@unpublished{ bennett_mr:1973a,
  author = {Michael R. Bennett},
  title = {Two Puzzles Concerning Tense and Aspect in {E}nglish},
  year = {1973},
  note = {Unpublished manuscript, UCLA, 1973.},
  rtnote = {In RHT collection.},
  topic = {tense-aspect;}
  }

@phdthesis{ bennett_mr:1974a1,
  author = {Michael R. Bennett},
  title = {Some Extensions of a {M}ontague Fragment of {E}nglish},
  school = {University of California at Los Angeles},
  year = {1974},
  type = {Ph.{D}. Dissertation},
  address = {Los Angeles},
  xref = {Republication, with corrections: bennett_mr:1974a2.},
  rtnote = {I may have several versions on file.},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {demonstratives;indexicals;Montague-grammar;}
 }

@book{ bennett_mr:1974a2,
  author = {Michael R. Bennett},
  title = {Some Extensions of a {M}ontague Fragment of {E}nglish
	(Corrected Version)},
  publisher = {Indiana University Linguistics Club},
  year = {1975},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  xref = {Republication, with corrections, of: bennett_mr:1974a1.},
  topic = {Montague-grammar;plural;nl-semantics;}
 }

@unpublished{ bennett_mr:1976a,
  author = {Michael R. Bennett},
  title = {Demonstratives in {M}ontague Grammar},
  year = {1976},
  note = {Unpublished manuscript, Philosophy Department, University
  	of Pittsburgh.},
  rtnote = {In RHT collection.},
  topic = {demonstratives;indexicals;Montague-grammar;}
  }

@unpublished{ bennett_mr:1976b,
  author = {Michael R. Bennett},
  title = {A Variation on {N}uel's Theory},
  year = {1976},
  note = {Unpublished manuscript, Philosophy Department, University
  	of Pittsburgh.},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;interrogatives;}
  }

@unpublished{ bennett_mr:1976c,
  author = {Michael R. Bennett},
  title = {The Plural {\it Which}},
  year = {1976},
  note = {Unpublished manuscript, Philosophy Department, University
  	of Pittsburgh.},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;interrogatives;}
  }

@incollection{ bennett_mr:1976d,
  author = {Michael R. Bennett},
  title = {A Variation and Extension of a {M}ontague
     		Fragment of {E}nglish},
  booktitle = {Montague Grammar},
  publisher = {Academic Press},
  year = {1976},
  editor = {Barbara H. Partee},
  pages = {119--163},
  address = {New York},
  topic = {Montague-grammar;nl-semantics;}
  }

@unpublished{ bennett_mr:1977a,
  author = {Michael R. Bennett},
  title = {Mass Nouns and Mass Terms in {M}ontague Grammar},
  year = {1977},
  note = {Unpublished manuscript, Philosophy Department, University
  	of Pittsburgh.},
  rtnote = {In RHT collection.},
  topic = {mass-term-semantics;nl-semantics;Montague-grammar;}
  }

@unpublished{ bennett_mr:1977b,
  author = {Michael R. Bennett},
  title = {Mass Nouns and Their Quantifiers in {M}ontague Grammar},
  year = {1977},
  note = {Unpublished manuscript, Philosophy Department, University
  	of Pittsburgh.},
  rtnote = {In RHT collection.},
  topic = {mass-term-semantics;nl-semantics;Montague-grammar;}
  }

@article{ bennett_mr:1977c,
  author = {Michael R. Bennett},
  title = {A Guide to the Logic of Tense and Aspect in {E}nglish},
  journal = {Logique et Analyse},
  volume = {20},
  number = {80},
  year = {1977},
  rtnote = {In RHT collection.},
  topic = {tense-aspect;}
  }

@unpublished{ bennett_mr:1977d,
  author = {Michael R. Bennett},
  title = {The Plural in {M}ontague Grammar},
  year = {1977},
  note = {Unpublished manuscript, Philosophy Department, University
	of Pittsburgh},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;plural;Montague-grammar;}
  }

@article{ bennett_mr:1977e,
  author = {Michael R. Bennett},
  title = {A Response to {K}arttunen on Questions},
  journal = {Linguistics and Philosophy},
  year = {1977},
  volume = {1},
  number = {2},
  pages = {279--300},
  topic = {Montague-grammar;interrogatives;}
  }

@unpublished{ bennett_mr:1978a1,
  author = {Michael R. Bennett},
  title = {Of Tense and Aspect: One Analysis},
  year = {1978},
  note = {Unpublished manuscript, Philosophy Department, University
  	of Pittsburgh.},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;tense-aspect;Montague-grammar;}
  }

@article{ bennett_mr:1978b,
  author = {Michael R. Bennett},
  title = {Demonstratives and Indexicals in {M}ontague Grammar},
  journal = {Synth\'ese},
  year = {1978},
  volume = {39},
  number = {1},
  pages = {1--80},
  rtnote = {In RHT collection.},
  topic = {demonstratives;indexicals;Montague-grammar;}
  }

@unpublished{ bennett_mr:1978c,
  author = {Michael R. Bennett},
  title = {Summary of Future Work},
  year = {1978},
  month = {December},
  note = {Unpublished manuscript, Philosophy Department, University
  	of Pittsburgh},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;Montague-grammar;}
  }

@book{ bennett_mr:1979a,
  author = {Michael R. Bennett},
  title = {Questions in {M}ontague Grammar},
  publisher = {Indiana University Linguistics Club},
  year = {1979},
  address = {310 Lindley Hall, Indiana University, Bloomington,
  	Indiana 46405},
  rtnote = {In RHT collection.},
  topic = {interrogatives;montague-grammar;}
  }

@article{ bennett_mr:1980a,
  author = {Michael R. Bennett},
  title = {Review of \emph{{F}ormal Semantics of Natural Language},
  	edited by {E}dward {L}. {K}eenan},
  journal = {Journal of Philosophical Logic},
  year = {1980},
  volume = {9},
  number = {2},
  pages = {103--132},
  topic = {nl-semantics;}
  }

@book{ bennett_mr-partee:1978a,
  author = {Michael R. Bennett and Barbara H. Partee},
  title = {Toward the Logic of Tense and Aspect in {E}nglish},
  publisher = {Indiana University Linguistics Club},
  year = {1982},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;tense-aspect;}
 }

@book{ bennett_p:1995a,
  author = {Paul Bennett},
  title = {A Course in Generalized Phrase Structure Grammar},
  publisher = {UCL Press},
  year = {1995},
  address = {London},
  topic = {GPSG;}
 }

@incollection{ bennett_sw-etal:1997a,
  author = {Scott W. Bennett and Chinatsu Aone and Craig Lovell},
  title = {Learning to Tag Multilingual Texts through Observation},
  booktitle = {Proceedings of the Second Conference on Empirical
		Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Claire Cardie and Ralph Weischedel},
  pages = {109--116},
  address = {Somerset, New Jersey},
  topic = {empirical-methods-in-nlp;information-extraction;machine-learning;
		multilingual-corpora;}
  }

@article{ bennett_ws-etal:1989a,
  author = {Wilfield S. Bennet and Tanya Herlick and Katerine Hoyt and Joseph
  	Liro and Ana Santisteban},
  title = {Toward a Computational Model of Aspect and Verb Semantics},
  journal = {Machine Translation},
  year = {1989},
  volume = {4},
  number = {4},
  pages = {247--280},
  topic = {temporal-reasoning;tense-aspect;machine-translation;}
  }

@phdthesis{ benotti:2010a,
  author = {Luciana Benotti},
  title = {Implicature as an Interactive Process},
  school = {Nancy-Universit\'e},
  year = {2010},
  type = {Ph.D. Dissertation},
  address = {Nancy},
  rtnote = {In RHT collection.},
  topic = {implicature;}
 }

@incollection{ bensaou-guessarian:1994a,
  author = {N. Bensaou and Irhne Guessarian},
  title = {An Extended Transformation
     		System for {CLP} Programs},
  booktitle = {Logic Programming Synthesis and Transformation,
  	Meta-Programming in Logic: Fourth International Workshops,
	{LOBSTR}'94 and	{META}'94, Pisa, Italy},
  publisher = {Springer-Verlag},
  year = {1994},
  editor = {Laurent Fribourg and Franco Turini},
  pages = {17--35},
  address = {Berlin},
  topic = {logic-programming;}
  }

@inproceedings{ benshalom:1993a,
  author =  {Dirit Ben-Shalom},
  title = {Object Wide Scope and Semantic Trees},
  booktitle = {Proceedings from Semantics and Linguistic Theory {III}},
  year = {1993},
  editor = {Utpal Lahiri and Zachary Wyner},
  pages = {19--37},
  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-quantifier-scope;}
  }

@article{ benshalom:2003a,
  author = {Dorit Ben Shalom},
  title = {On the Connection between Standard Invariance Conditions
  	on Modal Formulas and Generalized Quantifiers},
  journal = {Journal of Logic, Language, and Information},
  year = {2003},
  volume = {12},
  number = {1},
  pages = {47--52},
  topic = {generalized-quantifiers;modal-logic;}
  }

@book{ bentham:1789a,
  author = {Jeremy Bentham},
  title = {Introduction to the Principles of
             Morals and Legislation},
  publisher = {Oxford University Press},
  address = {Oxford},
  year = {1789},
  topic = {ethics;political-philosophy;utilitarianism;}
    }

@book{ bentham:1823a,
 author = {Jeremy Bentham},
 title = {Principles of Morals and Legislation},
 publisher = {Oxford University Press},
 year = {1823},
 address = {Oxford},
 note = {Originally published in 1789.},
 topic = {utilitarianism;}
 }

@article{ benton_j-etal:2009a,
  author = {J. Benton and Minh Binh Do and Subbarao Kambhampati},
  title = {Anytime Heuristic Search for Partial Satisfaction Planning},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {5--6},
  pages = {562--592},
  topic = {planning;heuristics;search;}
  }

@article{ benton_ra:2002a,
  author = {Roy A. Benton},
  title = {A Simple Complete Extension of $T$ which is the Union of
      Two Complete Modal Logics with Finite Model Property},
  journal = {Journal of Philosophical Logic},
  year = {2002},
  volume = {31},
  number = {6},
  pages = {527--541},
  topic = {modal-logic;finite-model-property;}
  }

@article{ benz:2006a,
  author = {Anton Benz},
  title = {Partial Blocking and Associative Learning},
  journal = {Linguistics and Philosophy},
  year = {2006},
  volume = {29},
  number = {5},
  pages = {617--629},
  topic = {blocking;}
  }

@book{ benzeev:2000a,
  author = {Aaron Ben-Ze'ev},
  title = {The Subtlety of Emotions},
  publisher = {The {MIT} Press},
  year = {2000},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-02463-2},
  topic = {emotion;}
 }

@article{ berardi-etal:2005a,
  author = {Daniela Berardi and Diego Calvanese and Giuseppe De Giacomo},
  title = {Reasoning on {UML} Class Diagrams},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {168},
  number = {1--2},
  pages = {70-118},
  topic = {description-logics;complexity-in-AI;}
  }

@article{ berckmans:1993a,
  author = {Paul Berckmans},
  title = {The Quantifier Theory of `Even'\, },
  journal = {Linguistics and Philosophy},
  year = {1993},
  volume = {16},
  number = {6},
  pages = {589--611},
  topic = {`even';}
  }

@article{ berg_j1:1955a,
  author = {Jan Berg},
  title = {On Defining Disposition Predicates},
  journal = {Analysis},
  year = {1955},
  volume = {15},
  number = {4},
  pages = {85--89},
  xref = {Review: watling:1957h.},
  topic = {dispositionals;}
  }

@article{ berg_j2:1988a,
  author = {Jonathan Berg},
  title = {The Pragmatics of Substitutivity},
  journal = {Linguistics and Philosophy},
  year = {1988},
  volume = {11},
  number = {3},
  pages = {355--370},
  topic = {referential-opacity;pragmatics;}
  }

@article{ berg_j2:1991a,
  author = {Jonathan Berg},
  title = {The Relevant Relevance},
  journal = {Journal of Pragmatics},
  year = {1991},
  volume = {16},
  pages = {411--425},
  missinginfo = {number},
  topic = {relevance;implicature;}
  }

@inproceedings{ bergamaschi-etal:1992a,
  author = {Sonia Bergamaschi and Stefano Lodi and Claudio Sartori},
  title = {Representational Extensions of {DL}s},
  booktitle = {Working Notes, {AAAI} Fall Symposium on Issues in
  	Description Logics: Users Meet Developers},
  year = {1992},
  editor = {Robert MacGregor},
  pages = {11--18},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.  Idea is to add n-ary rels to Kl1.},
  topic = {kr;krcourse;extensions-of-kl1;relational-reasoning;
  	description-logics;}
  }

@article{ berger_a1-etal:1996a,
  author = {Adam L. Berger and Stephen A. Della Pietra and Vincent J.
  	Della Pietra},
  title = {A Maximum Entropy Approach to Natural Language Processing},
  journal = {Computational Linguistics},
  year = {1996},
  volume = {22},
  number = {1},
  pages = {39--71},
  topic = {statistical-nlp;maximum-entropy;}
  }

@article{ berger_a2:2002a,
  author = {Alan Berger},
  title = {A Formal Semantics for Plural Quantification,
  	Intersentential Binding and Anaphoric Pronouns as
	Rigid Designators},
  journal = {No\^us},
  year = {2002},
  volume = {36},
  number = {1},
  pages = {50--74},
  topic = {nl-semantics;plural;nl-quantifiers;rigid-designators;}
  }

@article{ berger_j:1996a,
  author = {Jonathan Berger},
  title = {Review of \emph{{C}omputers and Musical Style}, by {D}avid {C}ope},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {79},
  number = {2},
  pages = {343--348},
  xref = {Review of: cope:1991a.},
  topic = {AI-and-music;}
  }

@book{ berger_jo:1985a,
 author = {James O. Berger},
 title = {Statistical Decision Theory and Bayesian Analysis},
 publisher = {Springer-Verlag},
 year = {1985},
 edition = {second},
 address = {New York},
 topic = {decision-theory;}
 }

@book{ berger_pl-luckmann:1966a,
  author = {Peter L. Berger and Thomas Luckmann},
  title = {The Social Construction of Reality: A Treatise in the
  	Sociology of Knowledge},
  publisher = {Doubleday},
  year = {1966},
  address = {Garden City, New York},
  ISBN = {0226069311},
  rtnote = {UMich Graduate Library, GN360 .B681 1985.},
  topic = {sociology-of-knowledge;}
 }

@unpublished{ berglas:1994a,
  author = {Anthony Berglas},
  title = {Very Skeptical Defaults},
  year = {1994},
  note = {Unpublished manuscript, Computer Science Department,
  	University of Brisbane.},
  rtnote = {In RHT collection.},
  topic = {inheritance-theory;}
  }

@unpublished{ berglas:1995a,
  author = {Anthony Berglas},
  title = {Beyond Shortest Path Defaults},
  year = {1995},
  note = {Unpublished manuscript, Computer Science Department,
  	University of Brisbane.},
  rtnote = {In RHT collection.},
  topic = {inheritance-theory;}
  }

@incollection{ bergler:1995a,
  author = {Sabine Bergler},
  title = {From Lexical Semantics to Text Analysis},
  booktitle = {Computational Lexical Semantics},
  year = {1995},
  editor = {Patrick Saint-Dizier and Evelyne Viegas},
  publisher = {Cambridge University Press},
  pages = {98--124},
  address = {Cambridge, England},
  topic = {lexical-semantics;nl-interpretation;}
  }

@article{ bergman_g:1960a,
  author = {Gustav Bergman},
  title = {Ineffability, Ontology, and Methods},
  journal = {The Philosophical Review},
  year = {1960},
  volume = {69},
  number = {1},
  pages = {18--40},
  rtnote = {In RHT collection.},
  topic = {philosophical-ontology;}
  }

@article{ bergman_m1:1977a,
  author = {Merrie Bergman},
  title = {Logic and Sortal Incorrectness},
  journal = {Review of Metaphysics},
  year = {1977},
  volume = {31},
  number = {1},
  pages = {27--53},
  rtnote = {In RHT collection.},
  topic = {sortal-incorrectness;}
  }

@article{ bergman_m1:1979a,
  author = {Merrie Bergman},
  title = {Metaphor and Formal Semantic Theory},
  journal = {Metaphor and Formal Semantic Theory},
  year = {1979},
  volume = {8},
  pages = {213--230},
  rtnote = {In RHT collection.},
  topic = {metaphor;sortal-incorrectness;}
  }

@article{ bergman_m1:1981a,
  author = {Merrie Bergman},
  title = {Presupposition and Two-Dimensional Logic},
  journal = {Journal of Philosophical Logic},
  year = {1981},
  volume = {10},
  number = {1},
  pages = {27--53},
  topic = {presupposition;pragmatics;}
  }

@article{ bergman_m1:1982a,
  author = {Merrie Bergman},
  title = {Cross-Categorial Semantics for Conjoined Noun Phrases},
  journal = {Linguistics and Philosophy},
  year = {1982},
  volume = {5},
  number = {3},
  pages = {399--401},
  topic = {coordination;nl-semantics;}
  }

@article{ bergman_m2:1999a,
  author = {Michael Bergman},
  title = {(Serious) Actualism and (Serious) Presentism},
  journal = {No\^us},
  year = {1999},
  volume = {33},
  number = {3},
  pages = {118--132},
  topic = {actualism;}
  }

@article{ bergmann_g:1955a,
  author = {Gustav Bergmann},
  title = {Dispositional Properties and Dispositions},
  journal = {Philosophical Studies},
  year = {1955},
  volume = {6},
  pages = {77--80},
  missinginfo = {number},
  xref = {Review: watling:1957c.},
  topic = {dispositions;}
  }

@incollection{ bergmann_r-wilke:1998a,
  author = {Ralph Bergmann and Wolfgang Wilke},
  title = {Towards a New Formal Model of Transformational
  	Adaptation in Case-Based Reasoning},
  booktitle = {{ECAI}98, Thirteenth European Conference on
  	Artificial Intelligence},
  publisher = {John Wiley and Sons},
  year = {1998},
  editor = {Henri Prade},
  pages = {53--57},
  address = {Chichester},
  topic = {case-based-reasoning;}
  }

@book{ bergstra-etal:1989a,
  editor = {J.A. Bergstra and J. Heering and P. Klint},
  title = {Algebraic Specification},
  publisher = {Addison-Wesley},
  year = {1989},
  address = {New York},
  ISBN = {0201416352},
  rtnote = {UMich Media Union Library, QA 76.9 .A23 A441 1989.},
  topic = {abstract-data-types;}
 }

@book{ bergstrom:1966a,
  author = {Lars Bergstr\"om},
  title = {The Alternatives and Consequences of Actions: An Essay on
  	Certain Fundamental Notions in Teleological Ethics},
  publisher = {Almqvist and Wiksell},
  year = {1966},
  address = {Stockholm},
  rtnote = {Hatcher Graduate B 20.6 .S86 no.4},
  topic = {action;utilitatianism;practical-reasoning;}
 }

@article{ bergstrom:1971a,
  author = {Lars Bergstr{\"o}m},
  title = {Utilitarianism and Alternative Actions},
  journal = {No\^us},
  year = {1971},
  volume = {5},
  pages = {237--252},
  topic = {utilitarianism;}
    }

@article{ bergstrom:1976a,
  author = {Lars Bergstr\"om},
  title = {On the Formulation and Application of Utilitarianism},
  journal = {No\^us},
  year = {1976},
  volume = {10},
  pages = {121--144},
  topic = {utilitarianism;practical-reasoning;alternatives-for-action;}
    }

@article{ bergstrom:1977a,
  author = {Lars Bergstr{\"o}m},
  title = {Utilitarianism and Future Mistakes},
  journal = {Theoria},
  year = {1977},
  volume = {43},
  pages = {84--102},
  topic = {utilitarianism;practical-reasoning;}
    }

@article{ berk:2003a,
  author = {Lon Berk},
  title = {Why the {L}iar Does not Matter},
  journal = {Journal of Philosophical Logic},
  year = {2003},
  volume = {32},
  number = {3},
  pages = {323--341},
  topic = {truth;semantic-paradoxes;deflationary-analyses;}
  }

@article{ berk:2004a,
  author = {Lon A. Berk},
  title = {The {L}iar, Context, and Logical Form},
  journal = {Journal of Logic, Language, and Information},
  year = {2004},
  volume = {13},
  number = {3},
  pages = {267--286},
  topic = {truth;semantic-paradoxes;context;}
  }

@article{ berleant-kuipers_bj:1997a,
  author = {Daniel Berleant and Benjamin J. Kuipers},
  title = {Qualitative and Quantitative Simulation:  Bridging the Gap},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {95},
  number = {2},
  pages = {215--255},
  topic = {qualitative-reasoning;qualitative-modeling;
  	combined-qualitative-and-quantitative-reasoning;}
  }

@book{ berlin_b-kay_p:1969a,
  author = {Brent Berlin and Paul Kay},
  title = {Basic Color Terms: Their Universality and Evolution},
  publisher = {University of California Press},
  year = {1969},
  address = {Los Angeles},
  xref = {Review: hickerson:1971a.},
  topic = {color-terms;cultural-anthropology;}
 }

@article{ berlin_d:1984a,
  author = {Daniel Berlin},
  title = {Review of {\ it Planning and Understanding: A
  	Computational Approach to Human Reasoning}, by {R}obert
	{W}ilensky},
  journal = {Artificial Intelligence},
  year = {1984},
  volume = {23},
  number = {2},
  pages = {242--244},
  xref = {Review of wilensky:1983a.},
  topic = {planning;nl-interpretation;plan-recognition;}
  }

@incollection{ berlin_i:1973a,
  author = {Isaiah Berlin},
  title = {Austin and the Early Beginnings of {O}xford Philosophy},
  booktitle = {Essays on J.L. Austin},
  publisher = {Oxford University Press},
  year = {1973},
  editor = {Isiah Berlin et al.},
  pages = {1--16},
  address = {Oxford},
  missinginfo = {Other editors},
  topic = {JL-Austin;ordinary-language-philosophy;}
  }

@book{ berlin_i-etal:1973a,
  author = {Isiah Berlin and L.W. Forguson and David F. Pears and
  	George Pitcher and John R. Searle and Peter F. Strawson
	and G.J. Warnock},
  title = {Essays on J.L. Austin},
  publisher = {Oxford University Press},
  year = {1973},
  address = {Oxford},
  rtnote = {Hillman B1618 A84E87},
  missinginfo = {A's 1st name, number},
  topic = {JL-Austin;ordinary-language-philosophy;}
 }

@article{ berliner:1978a,
  author = {Hans J. Berliner},
  title = {A Chronology of Computer Chess and its Literature},
  journal = {Artificial Intelligence},
  year = {1978},
  volume = {10},
  number = {2},
  pages = {201--214},
  topic = {game-playing;}
  }

@article{ berliner:1979a1,
  author = {Hans Berliner},
  title = {The B* Tree Search Algorithm:  A Best-First
	  Procedure},
  journal = {Artificial Intelligence},
  year = {1979},
  volume = {12},
  number = {1},
  pages = {23--40},
  xref = {Republication: berliner:1979a2.},
  topic = {search;}
  }

@incollection{ berliner:1979a2,
  author = {Hans Berliner},
  title = {The B* Tree Search Algorithm:  A Best-First
	  Procedure},
  booktitle = {Readings in Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  year = {1981},
  editor = {Bonnie Webber and Nils J. Nilsson},
  pages = {79--87},
  address = {Los Altos, California},
  xref = {Journal Publication: berliner:1979a1.},
  topic = {search;}
  }

@article{ berliner:1980a,
  author = {Hans J.  Berliner},
  title = {Backgammon Computer Program Beats World Champion},
  journal = {Artificial Intelligence},
  year = {1980},
  volume = {14},
  number = {2},
  pages = {205--220},
  topic = {game-playing;}
  }

@article{ berliner-beal_df:1990a,
  author = {Hans J. Berliner and Don F. Beal},
  title = {Introduction},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {43},
  number = {1},
  contentnote = {Intro to a special issue on game playing.},
  pages = {1--5},
  topic = {game-playing;}
  }

@article{ berliner-campbell_m:1984a,
  author = {Hans Berliner and Murray Campbell},
  title = {Using Chunking to Solve Chess Pawn Endgames},
  journal = {Artificial Intelligence},
  year = {1984},
  volume = {23},
  number = {1},
  pages = {97--120},
  topic = {game-playing;computer-chess;}
  }

@article{ berliner-ebeling:1989a,
  author = {Hans Berliner and Carl Ebeling},
  title = {Pattern Knowledge and Search: The {SUPREM} Architecture},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {38},
  number = {2},
  pages = {161--198},
  acontentnote = {Abstract:
     We present a new problem solving architecture based upon
     extremely fast search and pattern recognition. This
     architecture, which we have named SUPREM, has been implemented
     in the chess machine/program Hitech, and has proven to be very
     successful.  We describe the implementation in Hitech and the
     reasons for its success, and compare the SUPREM architecture to
     other well-known problem solving architectures.
      Certain interesting phenomena have become exposed as the result
     of our work with Hitech. The most important of these is that:
     ``The further a process can look ahead, the less detailed
     knowledge it needs''. We have also found that patterns can be
     formulated for quite complex problems in relatively small
     pattern recognizers, by eschewing generality and concentrating
     on likely patterns and their redundancies.},
  topic = {search;pattern-recognition;computer-chess;problem-solving;
  	problem-solving-architectures;}
  }

@article{ berliner-etal:1990a,
  author = {Hans J. Berliner and Gordon Goetsch and Murray S. Campbell and
  	Carl Ebeling},
  title = {Measuring The Performance Potential Of Chess Programs},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {43},
  number = {1},
  pages = {7--20},
  topic = {game-playing;computer-chess;}
  }

@article{ berliner-mcconnell:1996a,
  author = {Hans J. Berliner and Chris McConnell},
  title = {B Probability Based Search[*]},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {86},
  number = {1},
  pages = {97--156},
  acontentnote = {Abstract:
     We describe a search algorithm for two-player games that relies
     on selectivity rather than brute-force to achieve success. The
     key ideas behind the algorithm are:
        (1) stopping when one alternative is clearly better than all
        the others, and
        (2) focusing the search on the place where the most progress
        can likely be made toward stopping.
      Critical to this process is identifying uncertainty about the
     ultimate value of any move. The lower bound on uncertainty is
     the best estimate of the real value of a move. The upper bound
     is its optimistic value, based on some measure of unexplored
     potential. This provides an
     I-have-optimism-that-needs-to-be-investigated attitude that is
     an excellent guiding force. Uncertainty is represented by
     probability distributions. The search develops those parts of
     the tree where moving existing bounds would be most likely to
     succeed and would make the most progress toward terminating the
     search.  Termination is achieved when the established real value
     of the best move is so good that the likelihood of this being
     achieved by any other alternative is minimal.
      The B* probability based search algorithm has been implemented
     on the chess machine Hitech. En route we have developed
     effective techniques for:
      -- producing viable optimistic estimates to guide the search,
      -- producing cheap probability distribution estimates to measure
         goodness,
      -- dealing with independence of alternative moves, and
      -- dealing with the graph history interaction problem.
      The report describes the implementation, and the results of
     tests including games played against brute-force programs. Test
     data indicate that B* Hitech is better than any searcher that
     expands its whole tree based on selectivity. Further, analysis
     of the data indicates that should additional power become
     available, the B* technique will scale up considerably better
     than brute-force techniques. },
  topic = {probabilistic-algorithms;search;computer-chess;}
  }

@book{ berlinski:2000a,
  author = {David Berlinski},
  title = {The Advent of the Algorithm},
  publisher = {Harcourt, Inc.},
  year = {2000},
  address = {New York},
  ISBN = {0-15-601391-6 (pbk)},
  rtnote = {In RHT collection.  Misc Shelf.},
  topic = {history-of-computer-science;history-of-logic;
  	history-of-mathematics;}
 }

@incollection{ berman_dh-hafner:1986a,
  author =  {Donald H. Berman and Carole D. Hafner},
  year = {1986},
  title = {Obstacles to the Development of Logic-Based Models of
     Legal Reasoning},
  booktitle = {Computer Power and Legal Language},
  publisher = {Quorum Books},
  editor = {Charles Walter},
  pages = {185--214},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {legal-reasoning;}
  }

@inproceedings{ berman_pj-etal:1989a,
  author = {P.J. Berman and J. Garray and J. Perry},
  title = {Towards Optimal Distributed Consensus},
  booktitle = {Proceedings of the Thirtieth {IEEE} Symposium on Foundations
  	of Computer Science},
  year = {1989},
  pages = {410--415},
  organization = {IEEE},
  missinginfo = {A's 1st names, editor, address},
  topic = {distributed-systems;artificial-societies;mutual-belief;}
  }

@incollection{ berman_sr:1987a,
  author = {Stephen R. Berman},
  title = {Situation-based Semantics for Adverbs of Quantification},
  booktitle = {Studies in Semantics},
  editor = {James Blevins and Anne Vainikka},
  series = {U. Mass Occasional Papers in Linguistics 12},
  year = {1987},
  topic = {situation-semantics;nl-quantifiers;}
  }

@book{ berman_sr-etal:1985a,
  editor = {Stephen R. Berman and J-W. Choe and J. McDonough},
  title = {{NELS 15}: Proceedings of the Fifteenth Conference of the
  	{N}orth {E}ast {L}inguistic {S}ociety},
  publisher = {GLSA Publications},
  year = {1985},
  address = {Amherst, Massachusetts},
  note = {URL FOR GLSA Publications:
  	http://www.umass.edu/linguist/glsa-pubs.html.},
  topic = {linguistics-proceedings;nl-syntax;nl-semantics;}
 }

@book{ berman_sr-etal:1986a,
  editor = {Stephen R. Berman and J-W. Choe and Joyce McDonough},
  title = {{NELS 16}: Proceedings of the Sixteenth Conference of the
  	{N}orth {E}ast {L}inguistic {S}ociety},
  publisher = {GLSA Publications},
  year = {1986},
  address = {Amherst, Massachusetts},
  note = {URL FOR GLSA Publications:
  	http://www.umass.edu/linguist/glsa-pubs.html.},
  contentnote = {TC:
     1. S. Abney & J. Cole, "A government-binding parameter"
     2. J. Aoun, "Bound pronouns in Chinese"
     3. D. Archangeli, "The OCP and Nyangumarda buffer vowels"
     4. G. A. Broadwell, "A-bar anaphora and relative clauses"
     5. G. Chierchia & P. Jacobson, "Local and long distance control"
     6. H.-S. Choe, "An {SVO} analysis of {VSO} languages and
     		parameterization: a study of {B}erber"
     7. S. Crain & C. McKee, "Acquisition of structural restrictions
     		on anaphora"
     8. H. Davis, "Syntactic undergeneration in the acquisition of
     		English: Wh-questions and the ECP"
     9. A. M. Di Sciullo & E. S. Williams, "Noun incorporation vs.
     		cliticization"
    10. W. N. Elliott & K. Wexler, "A principled theory of categorial
    		acquisition"
    11. D. L. Finer & E. I. Broselow, "Second language acquisition of
    		reflexive binding"
    12. A. Giorgi, "The proper notion of c-command and the binding
    		theory: evidence from NPs"
    13. P. Gorrell, "Natural language parsing and reanalysis"
    14. I. Haik, "Pronouns of laziness"
    15. C. K. Kamprath, "The syllabification of consonantal glides:
    		post peak distinctions"
    16. M. Kenstowicz, "Multiple linking in Javanese"
    17. Y. Kitagawa, "Barriers to government"
    18. R. Kluender, "SATZCHEN: German small clauses as S's"
    19. R. Lieber, "Quirky mutations in an autosegmental framework"
    20. D. Lillo-Martin, "Effects of the acquisition of morphology on
    		syntactic parameter setting"
    21. M. R. Manzini, "On control and binding theory"
    22. C. Paradis, "Les marquers de classe en Pulaar (Fula): strates
    		et syllabes"
    23. B. H. Partee, "Ambiguous pseudoclefts with unambiguous be"
    24. E. J. Reuland, "Constraining the relation between morphology
    		and syntax"
    25. Y. Roberge, "On doubling and null argument languages"
    26. K. Safir, "On implicit arguments and thematic structure"
    27. D. Schlindwein, "Tier alignment in reduplication"
    28. P. Sells, "Coreference and bound anaphora: a restatement of facts"
    29. U. Shlonsky & M. Sigler, "Unexceptional exceptional case marking"
    30. R. Sproat, "The projection principle and the syntax of
    		synthetic compounds"
    31. T. Stowell, "Null antecedents and proper government"
  },
  topic = {linguistics-proceedings;nl-syntax;nl-semantics;}
 }

@book{ bermudez:1998a,
  author = {Jos\'e L. Bermudez},
  title = {The Paradox of Self-Consciousness},
  publisher = {The {MIT} Press},
  year = {1998},
  address = {Cambridge, Massacusetts},
  ISBN = {0-262-02441-1},
  topic = {consciousness;}
 }

@article{ bermudez:2000a,
  author = {Jos\'e Luis Berm\'udez},
  title = {Review of {\it {I}: The Meaning of the First Person Term},
  		by {M}aximilian {D}e {G}aynesford},
  journal = {The Philosophical Review},
  year = {2000},
  volume = {109},
  number = {4},
  pages = {634--637},
  xref = {Review of: degaynesford:2006a},
  topic = {first-person;demonstratives;}
  }

@book{ bermudez-etal:1995a,
  editor = {Jos\'e L. Bermudez and Anthony J. Marcel and Naomi Eilan},
  title = {The Body and the Self},
  publisher = {The {MIT} Press},
  year = {1995},
  address = {Cambridge, Massacusetts},
  ISBN = {0-262-52248-9},
  topic = {philosophy-of-mind;consciousness;}
 }

@article{ bernard-gouze:2002a,
  author = {Oliver Bernard and Jean-Luc Gouz\'e},
  title = {Global Qualitative Description of a Class of Nonlinear
  	Dynamical Systems},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {136},
  number = {1},
  pages = {29--59},
  topic = {nonlinear-systems;qualitative-modeling;}
  }

@article{ bernardi_c-dagostino_g:1996a,
  author = {Claudio Bernardi and Giovanna D'Agostino},
  title = {Translating the Hypergame Paradox: Remarks on the
  	Set of Founded Elements of a Relation},
  journal = {Journal of Philosophical Logic},
  year = {1996},
  volume = {25},
  number = {5},
  pages = {545--557},
  topic = {paradoxes;}
  }

@article{ bernardi_r:2004a,
  author = {Raffaella Bernardi},
  title = {Review of \emph{{T}he Syntactic Process}, by
  		{M}ark {S}teedman},
  journal = {Journal of Logic, Language, and Information},
  year = {2004},
  volume = {13},
  number = {4},
  pages = {526--530},
  xref = {Review of: steedman:2000a.},
  topic = {nl-syntax;nl-semantics;categoriaal-grammar;nl-processing;
  		nl-quantifiers;nl-quantifier-scope;intonation;}
  }

@article{ bernardi_r-szabolcsi:2008a,
  author = {Raffaella Bernardi and Anna Szabolcsi},
  title = {Optionality, Scope, and Licensing:  An Application of
  		Partially Ordered Categories},
  journal = {Journal of Logic, Language, and Information},
  year = {2008},
  volume = {17},
  number = {3},
  pages = {237--283},
  topic = {categorial-grammar;polarity;Hungarian-language;}
  }

@article{ bernerslee-kagal:2008a,
  author = {Tim Berners-Lee and Lalana Kagal},
  title = {The Fractal Nature of the Semantic Web},
  journal = {The {AI} Magazine},
  year = {2008},
  volume = {29},
  number = {3},
  pages = {29--34},
  topic = {semantic-web;}
  }

@incollection{ bernsen:1989a,
  author = {Niels Ole Bernsen},
  title = {General Introduction: A {E}uropean
		Perspective on Cognitive Science},
  booktitle = {Logic and Linguistics},
  publisher = {Lawrence Earlbaum Associates},
  year = {1989},
  editor = {Helmut Schnelle and Niels Ole Bernsen},
  pages = {vii--xiv},
  address = {Hillsdale, New Jersey},
  topic = {cognitive-science-survey;}
  }

@book{ bernsen:1998a,
  author = {Niels Ole Bernsen},
  title = {Designing Interactive Speech Systems: from First Ideas to
  	User Testing},
  publisher = {Springer-Verlag},
  year = {1998},
  address = {Berlin},
  ISBN = {3540760482 (

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib