text:
= {In Defense of Base Contraction},
  journal = {Synth\'ese},
  year = {1992},
  volume = {91},
  pages = {239--245},
  missinginfo = {number},
  topic = {belief-revision;}
  }

@incollection{ hansson_so:1992b,
  author = {Sven Ove Hansson},
  title = {A Dyadic Representation of Belief},
  booktitle = {Belief Revision},
  publisher = {Cambridge University Press},
  year = {1992},
  editor = {Peter G\"ardenfors},
  pages = {89--121},
  address = {Cambridge},
  topic = {belief-revision;epistemic-logic;belief;}
  }

@article{ hansson_so:1992c,
  author = {Sven Ove Hansson},
  title = {In Defence of the {R}amsey Test},
  journal = {Journal of Philosophy},
  year = {1992},
  volume = {89},
  pages = {522--540},
  missinginfo = {number},
  topic = {belief-revision;}
  }

@article{ hansson_so:1993a,
  author = {Sven Ove Hansson},
  title = {Changes in Disjunctively Closed Bases},
  journal = {Journal of Logic, Language, and Information},
  year = {1993},
  volume = {2},
  number = {4},
  pages = {255--284},
  topic = {belief-revision;}
  }

@article{ hansson_so:1993b,
  author = {Sven Ove Hansson},
  title = {Reversing the {L}evi Identity},
  journal = {Journal of Philosophical Logic},
  year = {1993},
  volume = {22},
  number = {6},
  pages = {637--669},
  topic = {belief-revision;}
  }

@incollection{ hansson_so:1994a,
  author = {Sven Ove Hansson},
  title = {Taking Belief Bases Seriously},
  booktitle = {Logic and Philosophy of Science in Uppsala},
  publisher = {Kluwer Academic Publishers},
  year = {1994},
  editor = {Dag Prawitz and D. Westerst{aa}hl},
  pages = {13--28},
  address = {Dordrecht},
  topic = {belief-revision;}
  }

@article{ hansson_so:1994b,
  author = {Sven Ove Hansson},
  title = {Kernel Contraction},
  journal = {Journal of Symbolic Logic},
  year = {1993},
  volume = {59},
  pages = {845--859},
  topic = {belief-revision;}
  }

@incollection{ hansson_so:1995a,
  author = {Sven Ove Hansson},
  title = {The Emperor's New Clothes:  Some Recurring
		Problems in the Formal Analysis of Conditionals},
  booktitle = {Conditionals: From Philosophy to Computer Science},
  publisher = {Oxford University Press},
  year = {1995},
  editor = {Gabriella Crocco and Luis Fari\~nas del Cerro and Andreas Herzig},
  pages = {13--31},
  address = {Oxford},
  topic = {conditionals;}
  }

@article{ hansson_so:1996a,
  author = {Sven Ove Hansson},
  title = {What Is {\it Ceteris Paribus} Preference?},
  journal = {Journal of Philosophical Logic},
  year = {1996},
  volume = {25},
  number = {3},
  pages = {307--332},
  topic = {qualitative-utility;preferences;}
  }

@article{ hansson_so:1996b,
  author = {Sven Ove Hansson},
  title = {Knowledge-Level Analysis of Belief Base Operations},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {82},
  number = {1--2},
  pages = {215--235},
  topic = {belief-revision;}
  }

@article{ hansson_so:1996c,
  author = {Sven Ove Hansson},
  title = {A Test Battery for Rational Database Updating},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {82},
  number = {1--2},
  pages = {341--352},
  topic = {belief-revision;database-update;}
  }

@article{ hansson_so:1997a,
  author = {Sven Ove Hansson},
  title = {Situationist Deontic Logic},
  journal = {Journal of Philosophical Logic},
  year = {1997},
  volume = {26},
  number = {4},
  pages = {423--448},
  topic = {deontic-logic;}
  }

@article{ hansson_so:1998a,
  author = {Sven Ove Hansson},
  title = {Editorial: Belief Revision Today},
  journal = {Journal of Logic, Language, and Information},
  year = {1998},
  volume = {7},
  number = {2},
  pages = {123--126},
  topic = {belief-revision;}
  }

@incollection{ hansson_so:1998b,
  author = {Sven Ove Hansson},
  title = {Revision of Belief Sets and Belief Bases},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 3:  Belief Change},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Didier Dubois and Henri Prade},
  pages = {16--75},
  address = {Dordrecht},
  topic = {belief-revision;}
  }

@article{ hansson_so:1999a,
  author = {Sven Ove Hansson},
  title = {Recovery and Epistemic Residue},
  journal = {Journal of Logic, Language, and Information},
  year = {1999},
  volume = {8},
  number = {4},
  pages = {421--428},
  topic = {belief-revision;}
  }

@article{ hansson_so:2000a,
  author = {Sven Ove Hansson},
  title = {Coherentist Contraction},
  journal = {Journal of Philosophical Logic},
  year = {2000},
  volume = {29},
  number = {3},
  pages = {315--330},
  topic = {belief-revision;}
  }

@article{ hansson_so:2000b,
  author = {Sven Ove Hansson},
  title = {Formalization in Philosophy},
  journal = {The Bulletin of Symbolic Logic},
  year = {2000},
  volume = {6},
  number = {2},
  pages = {162--175},
  topic = {logical-philosophy;}
  }

@article{ hansson_so:2002a,
  author = {Sven Ove Hansson},
  title = {The Role of Language in Belief Revision},
  journal = {Studia Logica},
  year = {2002},
  volume = {68},
  number = {1},
  pages = {5--21},
  topic = {belief-revision;}
  }

@article{ hansson_so:2004a,
  author = {Sven Ove Hansson},
  title = {Review of \emph{{C}hange, Choice, and Inference}, by
  		{H}ans {R}ott},
  journal = {Studia Logica},
  year = {2004},
  volume = {77},
  number = {1},
  pages = {145--147},
  xref = {Review of: rott:2002a.},
  topic = {belief-revision;nonmonotonic-logic;practical-reasoning;}
  }

@article{ hansson_so:2004b,
  author = {Sven Ove Hansson},
  title = {A New Representation Theorem for Contranegative Deontic
  		Logic},
  journal = {Studia Logica},
  year = {2004},
  volume = {77},
  number = {1},
  pages = {1--7},
  topic = {deontic-logic;}
  }

@article{ hansson_so:2006a,
  author = {Sven Ove Hansson},
  title = {Ideal Worlds---Wishful Thinking in Deontic Logic},
  journal = {Studia Logica},
  year = {2006},
  volume = {82},
  number = {1},
  pages = {329--336},
  topic = {deontic-logic;modal-logic;}
  }

@article{ hansson_so:2009a,
  author = {Sven Ove Hansson},
  title = {Replacement---A {S}heffer Stroke for Belief Change},
  journal = {Journal of Philosophical Logic},
  year = {2009},
  volume = {38},
  number = {2},
  pages = {127--149},
  topic = {belief-revision;}
  }

@article{ hansson_so-etal:2001a,
  author = {Sven Ove Hansson and Eduardo Leopoldo Ferm\'e and John
  	Cantwell and Marcello Alejandro Falappa},
  title = {Credibility Limited Revision},
  journal = {Journal of Symbolic Logic},
  year = {2001},
  volume = {66},
  number = {4},
  pages = {1581--1596},
  topic = {belief-revision;}
  }

@article{ hansson_so-wasserman_r:2002a,
  author = {Sven Ove Hansson and Renata Wassermann},
  title = {Local Change},
  journal = {Studia Logica},
  year = {2002},
  volume = {68},
  number = {1},
  pages = {49--76},
  topic = {belief-revision;}
  }

@book{ harabagiu:1998a,
  editor = {Sanda Harabagiu},
  title = {Use of {W}ord{N}et in Natural Language Processing
  	Systems:  Proceedings of the Conference},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  address = {Somerset, New Jersey},
  contentnote = {TC:
  	1.  Jiri Stetina and Sadao Kurohashi and Makoto Nagao,
		"General Word Sense Disambiguation Method Based
		on A Full Sentential Context", pp. 1--8
	2.  Eric V. Siegel, "Disambiguating Verbs with the
		{W}ord{N}et Category of Direct Object", pp. 9--15
        3.  Rada Mihalcea and Dan I. Moldovan, "Word Sense
		Disambiguation Based on Semantic Density", pp. 16--22
        4.  Janyce Wiebe and Tom O'Hara and Rebecca Bruce,
		"Constructing {B}ayesian Networks from {W}ord{N}et
		for Word-Sense Disambiguation: Representational
		and Processing Issues", pp. 23--30
        5.  Rila Mandala and Takenobu Tokunaga and Hozumi Tanaka,
		"The Use of {W}ord{N}et in Information
		Retrieval", pp. 31--37
	6.    Julio Gonzalo and Felisa Verdejo and Irina Chugar
	     	and Juan Cigarr\'an, "Indexing with {W}ord{N}et
		Synsets Can Improve Text Retrieval", pp. 38--44
        7.  Sam Scott and Stan Matwin, "Text Classification Using
		{W}ord{N}et Hypernyms", pp. 45--51
        8.  Christiane Fellbaum, "Towards a Representation of Idioms
		in {W}ord{N}et", pp. 52--57
        9.  Fernando Gomez, "Linking {W}ord{N}et Verb Classes to
		Semantic Interpretation", pp. 58--64
        10. Xavier Farreres and German Rigau and Horacio Rodr\'iguez,
		"Using {W}ord{N}et for Building {W}ord{N}ets", pp. 65--72
        11.  Oi Yee Kwong, "Aligning {W}ord{N}et with Additional
		1exical Resources", pp. 73--79
        12.  Roberto Basili and Alessandro Cucchiarelli and Carlo
		Consoli and Maria Teresa Pazienza and Paola Velardi,
		 "Automatic Adaptation of {W}ord{N}et to Sublanguages
		 and to Computational Tasks", pp. 80--86
        13.  Simonetta Montemagni and Vito Pirelli, "Augmenting
		 {W}ord{N}et-like Lexical Resources with Distributional
		 Evidence.  An Application-Oriented
                 Perspective", pp. 87--93
        14.  Tom O'Hara and Kavi Mahesh and Sergei Nirenburg, "Lexical
		Acquisition with {W}ord{N}et and the Mikrokosmos
		Ontology", pp. 94--101
        15.  Alistair Campell and Stuart C. Shapiro, "Algorithms for
		Ontological Mediation", pp. 102--107
        16.  Noriko Tomuro, "Semi-Automatic Induction of Systematic
		Polysemy from {W}ord{N}et", pp. 108--114
        17.  Michael McHale, "A Comparison of {W}ord{N}et and Roget's
		Taxonomy for Measuring Semantic Similarity", pp. 115--120
        18.  Yuval Krymolowski and Dan Roth, "Incorporating Knowledge
		in Natural Language Learning:  A Case Study", pp. 121--127
        19.  Hongyan Jing, "Usage of {W}ord{N}et in Natural Language
		Generation", pp. 128--134
        20.  Doug Beeferman, "Lexical Discovery with an Enriched
		Semantic Network", pp. 135--141
        21.  Sanda M. Harabagiu, "Deriving Metonymic Coercions from
		{W}ord{N}et", pp. 142--148
  	},
  rtnote = {In RHT collection.},
  topic = {nl-processing;WordNet;}
 }

@incollection{ harabagiu:1998b,
  author = {Sanda M. Harabagiu},
  title = {Deriving Metonymic Coercions from {W}ord{N}et},
  booktitle = {Use of {W}ord{N}et in Natural Language Processing
  	Systems:  Proceedings of the Conference},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Sanda Harabagiu},
  pages = {142--148},
  address = {Somerset, New Jersey},
  topic = {nl-processing;WordNet;metonymy;metaphor;semantic-coercion;
  	word-acquisition;}
  }

@article{ harabagiu:2001a,
  author = {Sandra Harabagiu},
  title = {Review of \emph{{A}dvances in Information Retrieval: Recent
  	Research from the Center for Intelligent Information
	Retrieval}, by {W}. {B}ruce {C}roft},
  journal = {Computational Linguistics},
  year = {2001},
  volume = {27},
  number = {2},
  pages = {301--303},
  xref = {Review of: croft_wb:2000a.},
  topic = {nl-generation;}
  }

@inproceedings{ harabagiu-etal:2005a,
  author = {Sanda Harabagiu and Andrew Hickl and John Lehmann and Dan
  		Moldovan},
  title = {Experiments with Interactive Question-Answering},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {205--214},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1026},
  topic = {question-anawering;}
  }

@incollection{ harabagiu-maiorano:1999a,
  author = {Sandra Harabagiu and Stephen Maiorano},
  title = {Knowledge-Lean Coreference Resolution and Its Relation
  	to Textual Cohesion and Coreference},
  booktitle = {The Relation of Discourse/Dialogue Structure and
  	Reference},
  publisher = {Association for Computational Linguistics},
  year = {1999},
  editor = {Dan Cristea and Nancy Ide and Daniel Marcu},
  pages = {29--38},
  address = {New Brunswick, New Jersey},
  topic = {reference-resolution;discourse-coherence;}
  }

@incollection{ harabagiu-moldovan:1998a,
  author = {Sandra M. Harabagiu and Dan I. Moldovan},
  title = {Knowledge Processing on an Extended {W}ord{N}et},
  booktitle = {Word{N}et: An Electronic Lexical Database},
  publisher = {The {MIT} Press},
  year = {1998},
  editor = {Christaine Fellbaum},
  pages = {379--405},
  address = {Cambridge, Massachusetts},
  topic = {wordnet;kr;common-sense-reasoning;}
  }

@incollection{ harada:1996a,
  author = {Hideyuki Nakashima and Yasunari Harada},
  title = {Situated Disambiguation with Properly Specific
  	Representation},
  booktitle = {Semantic Ambiguity and Underspecification},
  publisher = {Cambridge University Press},
  year = {1996},
  address = {Cambridge, England},
  editor = {Kees {van Deemter} and Stanley Peters},
  pages = {77--99},
  topic = {situation-theory;disambiguation;}
  }

@article{ haralick-elliott_gl:1980a,
  author = {Robert M. Haralick and Gordon L. Elliott},
  title = {Increasing Tree Search Efficiency for Constraint
  	Satisfaction Problems},
  journal = {Artificial Intelligence},
  year = {1980},
  volume = {14},
  number = {3},
  pages = {263--313},
  topic = {search;constraint-satisfaction;}
  }

@article{ haralick-ripken:1975a,
  author = {Robert M. Haralick and Knut Ripken},
  title = {An Associative-Categorical Model of Word Meaning},
  journal = {Artificial Intelligence},
  year = {1975},
  volume = {6},
  number = {1},
  pages = {75--99},
  acontentnote = {Abstract:
     A new dual categorical-associative model for the representation
     of word meaning is proposed.  In it, concepts are described by
     the values they have on a set of given variables (categories).  A
     statistical relatedness measure (concomitant variation) is
     computed for these values on the basis of the specified word
     universe.  An association measure between the words is defined,
     and the generalization of word clusters is introduced.  A
     comparison with associative and categorical models is made and
     the application of the dual model to verbal analogy problems is
     described.  Possible applications in Artificial Intelligence and
     Natural Language Processing are discussed.},
  topic = {semantic-similarity;lexical-semantics;}
  }

@article{ harcourt:1999a,
  author = {Edward Harcourt},
  title = {Interpretation, the First Person, and `That'-Clauses},
  journal = {No\^us},
  year = {1999},
  volume = {33},
  number = {3},
  pages = {459--472},
  topic = {indexicality;propositional-attitudes;}
  }

@book{ hardcastle_gl-richardson_aw:2003a,
  editor = {Gary L. Hardcastle and Alan W. Richardson},
  title = {Logical Empiricism in {N}orth {A}merica},
  publisher = {University of Minnesota Press},
  year = {2003},
  address = {Minneapolis},
  xref = {Review: tsou_jy:2005a.},
  topic = {logical-empiricism;history-of-philosophy;}
 }

@article{ hardcastle_vg:1991a,
  author = {Valerie Gray Hardcastle},
  title = {Partitions, Probabilistic Causal Laws, and {S}impson's
  	Paradox},
  journal = {Synth\'ese},
  year = {1991},
  volume = {86},
  number = {2},
  pages = {209--228},
  topic = {causality;Simpson-paradox;}
  }

@book{ hardcastle_vg:1996a,
  author = {Valerie Gray Hardcastle},
  title = {How to Build a Theory in Cognitive Science},
  publisher = {State University of New York Press},
  year = {1996},
  address = {Albany},
  ISBN = {0-7914-2885-0 (hardcover), 0-7914-2886-9 (pbk)},
  rtnote = {UMich Undergraduate Library, BD 418.3 .H371.},
  topic = {cognitive-science-general;philosophy-of-mind;}
 }

@article{ hardcastle_vg:1999a,
  author = {Valerie Gray Hardcastle},
  title = {Scientific Papers Have Various Structures},
  journal = {Philosophy of Science},
  year = {1999},
  volume = {66},
  number = {3},
  pages = {415--439},
  contentnote = {Idea is to use corpus techniques to test
  	hypotheses in philosophy of science.},
  topic = {scientific-documents;document-classification;
  	philosophy-of-science;}
  }

@article{ hardegree:1975a,
  author = {Gary M. Hardegree},
  title = {Stalnaker Conditionals and Quantum Logic},
  journal = {Journal of Philosophical Logic},
  year = {1975},
  volume = {4},
  number = {4},
  pages = {399--421},
  topic = {conditionals;quantum-logic;}
  }

@article{ hardegree:1979a,
  author = {Gary Hardegree},
  title = {Material Implication in Orthomodular (and {B}oolean)
  	Lattices},
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1979},
  volume = {22},
  number = {2},
  pages = {163--183},
  rtnote = {In RHT collection.},
  topic = {quantum-logic;}
  }

@article{ hardegree:2005a,
  author = {Gary M. Hardegree},
  title = {Completeness and Super-Valuations},
  journal = {Journal of Philosophical Logic},
  year = {2005},
  volume = {34},
  number = {1},
  pages = {81--95},
  topic = {supervaluations;completeness-theorems;}
  }

@article{ hardin_cl:1988a,
  author = {C.L. Hardin},
  title = {Phenomenal Color and Sorites},
  journal = {No{\^u}s},
  year = {1988},
  volume = {22},
  pages = {213--234},
  topic = {vagueness;sorites-paradox;}
  }

@book{ hardin_r:1995a,
  author = {Russell Hardin},
  title = {One for All: The Logic of Group
  	Conflict},
  publisher = {Princeton University Press},
  year = {1995},
  address = {Princeton},
  xref = {Review: gilbert:1998a.},
  topic = {group-action;foundations-of-sociology;}
 }

@article{ hardt:1997a,
  author = {David Hardt},
  title = {An Empirical Approach to {VP} Ellipsis},
  journal = {Computational Linguistics},
  year = {1997},
  volume = {23},
  number = {4},
  pages = {525--541},
  topic = {VP-ellipsis;}
  }

@article{ hardt:1999a,
  author = {Daniel Hardt},
  title = {Dynamic Interpretation of Verb Phrase Ellipsis},
  journal = {Linguistics and Philosophy},
  year = {1999},
  volume = {22},
  number = {2},
  pages = {187--221},
  topic = {dynamic-semantics;ellipsis;verb-phrase-anaphora;}
  }

@incollection{ hardt:2003a,
  author = {Daniel Hardt},
  title = {Sloppy Identity, Binding and Centering},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XIII}},
  publisher = {Cornell University},
  year = {2003},
  editor = {Robert B. Young and Yuping Zhou},
  pages = {109--126},
  address = {Ithaca, New York},
  topic = {nl-semantics;sloppy-identity;ellipsis;}
  }

@article{ hardy:1997a,
  author = {Thomas Hardy},
  title = {Three Problems for the Singularity Theory of Truth},
  journal = {Journal of Philosophical Logic},
  year = {1997},
  volume = {26},
  number = {3},
  pages = {501--520},
  topic = {truth;semantic-paradoxes;}
  }

@article{ hare:1949a,
  author = {Richard M. Hare},
  title = {Imperative Sentences},
  journal = {Mind, New Series},
  year = {1949},
  volume = {58},
  pages = {29--31},
  missinginfo = {A's 1st name, number},
  topic = {speech-acts;pragmatics;imperatives;}
  }

@book{ hare:1952a,
  author = {Richard M. Hare},
  title = {The Language of Morals},
  publisher = {Oxford University Press},
  address = {Oxford},
  year = {1952},
  topic = {ethics;emotivism;}
    }

@book{ hare:1963a,
  author = {Richard M. Hare},
  title = {Freedom and Reason},
  publisher = {Oxford University Press},
  year = {1963},
  address = {Oxford},
  rtnote = {In RHT collection.  Ethics shelves.},
  rtnote = {tmix-project;},
  topic = {act-utilitarianism;ethics;}
 }

@article{ hare:1967a,
  author = {Richard M. Hare},
  title = {Some Alleged Differences Between Imperatives and
  	Indicatives},
  journal = {Mind, New Series},
  year = {1967},
  missinginfo = {A's 1st name, number,pages,volume},
  topic = {speech-acts;pragmatics;imperatives;}
  }

@article{ hare:1970a,
  author = {Richard M. Hare},
  title = {Meaning and Speech Acts},
  journal = {Philosophical Review},
  year = {1979},
  volume = {79},
  pages = {3--24},
  missinginfo = {A's 1st name, number},
  topic = {speech-acts;pragmatics;}
  }

@book{ hare:1971a,
  author = {Richard M. Hare},
  title = {Practical Inferences},
  publisher = {Macmillan},
  year = {1971},
  address = {London},
  ISBN = {0333125991},
  rtnote = {UMich Graduate Library BC 199 .I47 H27},
  topic = {practical-reasoning;}
 }

@book{ hare:1981a,
  author = {Richard M. Hare},
  title = {Moral Thinking: Its Levels, Method,
             and Point},
  publisher = {Oxford University Press},
  address = {Oxford},
  year = {1980},
  topic = {ethics;}
    }

@book{ hare:1995a,
  author = {Richard M. Hare},
  title = {Practical Inferences},
  publisher = {The {MIT} Press},
  year = {1995},
  address = {Cambridge, Massachusetts},
  ISBN = {0262193558},
  rtnote = {UMich Graduate Library, B 105 .I56 S371 1995.},
  topic = {practical-reasoning;}
 }

@incollection{ harel:1984a,
  author = {David Harel},
  title = {Dynamic Logic},
  booktitle = {Handbook of Philosophical Logic, Volume {II}:
  	Extensions of Classical Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1984},
  editor = {Dov Gabbay and Franz Guenther},
  volume = {2},
  pages = {497--604},
  address = {Dordrecht},
  topic = {dynamic-logic;}
 }

@book{ harel:1987a,
  author = {David Harel},
  title = {Algorithmics: The Spirit of Computing},
  publisher = {Addison-Wesley},
  year = {1987},
  address = {Reading, Massachusetts},
  topic = {computability;complexity-theory;}
 }

@techreport{ harel:1987b1,
  author = {David Harel},
  title = {On Visual Formalisms},
  institution = {Computer Science Department, Carnegie Mellon
  	University},
  number = {CMU--CS--87--126},
  year = {1987},
  address = {Pittsburgh, Pennsylvania},
  rtnote = {In RHT collection.},
  rtnote = {Reading notes on file.},
  xref = {Journal Publication: harel:1987b2. Repub: harel:1987b3},
  topic = {finite-state-automata;diagrams;statecharts;
  	reasoning-with-diagrams;visual-reasoning;}
  }

@article{ harel:1987b2,
  author = {David Harel},
  title = {On Visual Formalisms},
  journal = {Communications of the {ACM}},
  year = {1988},
  volume = {13},
  number = {5},
  pages = {514--530},
  xref = {Tech Report: harel:1987b1.  Repub: harel:1987b3},
  rtnote = {In RHT collection.},
  topic = {finite-state-automata;diagrams;statecharts;
  	reasoning-with-diagrams;visual-reasoning;}
  }

@incollection{ harel:1987b3,
  author = {David Harel},
  title = {On Visual Formalisms},
  booktitle = {Diagrammatic Reasoning},
  publisher = {The {MIT} Press},
  year = {1995},
  editor =  {Janice Glasgow and N. Hari Narayanan and B.
		Chandrasekaran},
  pages = {235--271},
  address = {Cambridge, Massachusetts},
  xref = {Tech Report: harel:1987b1. Journal Publication: harel:1987b2.},
  topic = {diagrams;reasoning-with-diagrams;visual-reasoning;}
  }

@article{ harel:1987c,
  author = {David Harel},
  title = {Statecharts: A Visual Formalism for Complex Systems},
  journal = {Science of Computer Programming},
  year = {1987},
  volume = {8},
  pages = {231--274},
  rtnote = {In RHT collection.},
  missinginfo = {number},
  topic = {finite-state-automata;diagrams;reasoning-with-diagrams;
  	statecharts;}
  }

@inproceedings{ harel-etal:1987a,
  author = {David Harel and Amir Pnueli and
		J.P. Schmidt and R. Sherman},
  title = {On the Formal Semantics of Statecharts},
  booktitle = {Proceedings of the Second {IEEE} Symposium on
		Logic in Computation},
  year = {1987},
  pages = {54--64},
  organization = {{IEEE}},
  rtnote = {In RHT collection.},
  topic = {finite-state-automata;diagrams;reasoning-with-diagrams;
  	statecharts;}
  }

@book{ harel-etal:1994a,
  author = {David Harel and E. Gery and M.  Politi},
  title = {Object-Oriented Modeling with Statecharts},
  publisher = {Weizmann Institute of Science, Dept. of Applied
  	Mathematics and Computer Science},
  year = {1994},
  address = {Rehovot, Israel},
  acontentnote = {Abstract:
  	We propose an integrated set of visual languages for modeling
	object-oriented systems. O-charts are used to specify the system's
	objects in a hierarchical fashion, capturing the structure and
	interrelations of real objects, as well as static and dynamic sets
	(sheafs) thereof. Statecharts are used to specify object behavior;
	they are enhanced with mechanisms for dealing with requests and
	replies, according to a client/server paradigm based on queuing.
	C-charts are used to specify class structure in terms of inheritance
	and aggregation; different kinds of inheritance are allowed, defined
	in terms of the effect on object interface and behavior. The syntax
	and semantics of the three languages and their interconnections have
	been rigorously formulated, and lead to executable and analyzable
	models, from which object-oriented code can be automatically
	synthesized.   },
  topic = {statecharts;object-oriented-formalisms;}
 }

@book{ harel-etal:2000a,
  author = {David Harel and Dexter Kozen and Jerzy Tiuryn},
  title = {Dynamic Logic},
  publisher = {The {MIT} Press},
  year = {2000},
  address = {Cambridge, Massachusetts},
  ISBN = {0262082896 (hbk)},
  rtnote = {Umich Media Library QA 76.9 .L63 H371 2000},
  rtnote = {In RHT Collection.  Out for reading.},
  topic = {dynamic-logic;}
 }

@book{ harford:2008a,
  author = {Tim Harford},
  title = {The Logic of Life: The Rational Economics of an Irrational World},
  publisher = {Random House},
  year = {2008},
  address = {New York},
  ISBN = {9781400066421,  1400066425},
  topic = {irrationality;rationality;behavioral-economics;}
 }

@article{ harizanov:2000a,
  author = {Valentina Harizanov},
  title = {Review of \emph{{C}omputatble Structures and the
  	Hyperarithmetical Hierarchy}, by {C}hris {A}sh and {J}ulia {K}night},
  journal = {The Bulletin of Symbolic Logic},
  year = {2001},
  volume = {7},
  number = {3},
  pages = {383--385},
  xref = {Review of ash-knight_jf:2000a},
  topic = {hyperarithmetical-hierarchy;computable-model-theory;}
  }

@incollection{ harman_g:2002a,
  author = {Gilbert Harman},
  title = {The Logic of Ordinary Language},
  booktitle = {Common Sense, Reasoning, and Rationality},
  publisher = {Oxford University Press},
  year = {2002},
  editor = {Ren\'ee Elio},
  pages = {93--103},
  url = {http://www.princeton.edu/~harman/Papers/LogicOL.pdf},
  address = {Oxford},
  abstract = {This chapter considers whether there is a naive or folk
    logic of ordinary language, a set of principles that plays the
    same role in our understanding and use of language as, say, the
    principles naive physics play in our understanding of the
    everyday world.   A distinction is made between true logical and
    nonlogical principles: the truth of the former is a matter of
    their form, while the truth of the latter is a matter of their
    content.   It is argued that logical principles can inform a
    reasoner about the acceptability of an argument's structure but
    not how the argument is to be assembled or even whether the
    argument's conclusion should warrant a change in belief state. It
    is also argued that a (loose) logic of ordinary language embodies
    our commonsense knowledge about language and how we use it to
    reason and speak fluidly about what is known in the world and
    what is said about the world.},
  topic = {common-sense-reasoning;}
  }

@article{ harman_gh:1968a1,
  author = {Gilbert H. Harman},
  title = {Three Levels of Meaning},
  journal = {The Journal of Philosophy},
  year = {1971},
  volume = {65},
  pages = {590--602},
  missinginfo = {number},
  xref = {Reprinted in steinberg-jacobovits:1971a, see harman_gh:1968a2.},
  topic = {philosophy-of-language;speaker-meaning;speech-acts;
  	foundations-of-semantics;pragmatics;}
  }

@incollection{ harman_gh:1968a2,
  author = {Gilbert H. Harman},
  title = {Three Levels of Meaning},
  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 = {66--75},
  address = {Cambridge, England},
  xref = {Reprinted from Journal of Philosophy, see harman_gh:1968a1.},
  topic = {philosophy-of-language;speaker-meaning;speech-acts;
  	foundations-of-semantics;pragmatics;}
  }

@article{ harman_gh:1970a,
  author = {Gilbert H. Harman},
  title = {\,`--- is true'\, },
  journal = {Analysis},
  year = {1970},
  volume = {30},
  number = {3},
  pages = {98--99},
  topic = {truth;}
  }

@article{ harman_gh:1972a1,
  author = {Gilbert Harman},
  title = {Logical Form},
  journal = {Foundations of Language},
  year = {1972},
  volume = {9},
  pages = {38--65},
  missinginfo = {number},
  xref = {Republication: harman_gh:1972a2.},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;adverbs;Davidson-semantics;}
  }

@incollection{ harman_gh:1972a2,
  author = {Gilbert Harman},
  title = {Logical Form},
  booktitle = {The Logic of Grammar},
  publisher = {Dickenson Publishing Co.},
  year = {1975},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {289--307},
  address = {Encino, California},
  xref = {Republication of: harman_gh:1972a1.},
  topic = {nl-semantics;adverbs;Davidson-semantics;}
  }

@incollection{ harman_gh:1972b,
  author = {Gilbert H. Harman},
  title = {Deep Structure as Logical Form},
  booktitle = {Semantics of Natural Language},
  publisher = {D. Reidel Publishing Co.},
  year = {1972},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {25--47},
  address = {Dordrecht},
  topic = {nl-semantics;generative-semantics;}
  }

@unpublished{ harman_gh:1973a,
  author = {Gilbert Harman},
  title = {Against Universal Semantic Representation},
  year = {1973},
  note = {Unpublished manuscript, Princeton University.},
  rtnote = {In RHT collection.},
  topic = {foundations-of-semantics;}
  }

@incollection{ harman_gh:1974a,
  author = {Gilbert Harman},
  title = {Meaning and Semantics},
  booktitle = {Semantics and Philosophy},
  publisher = {New York University Press},
  year = {1974},
  editor = {Milton K. Munitz and Peter K. Unger},
  pages = {1--16},
  address = {New York},
  topic = {foundations-of-semantics;truth;}
  }

@incollection{ harman_gh:1975a,
  author = {Gilbert Harman},
  title = {Language, Thought, and Communication},
  booktitle = {Language, Mind, and Knowledge.  {M}innesota Studies in
  	the Philosophy of Science, Vol. 7},
  publisher = {University of Minnesota Press},
  year = {1975},
  editor = {Keith Gunderson},
  pages = {270--298},
  address = {Minneapolis, Minnesota},
  topic = {philosophy-of-language;}
  }

@book{ harman_gh:1975b,
  author = {Gilbert Harman},
  title = {{\em If} and Modus Ponens},
  publisher = {Indiana University Linguistics Club},
  year = {1975},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {conditionals;logical-form;}
 }

@incollection{ harman_gh:1978a,
  author = {Gilbert Harman},
  title = {Reasons},
  booktitle = {Practical Reasoning},
  publisher = {Oxford University Press},
  year = {1978},
  editor = {Joseph Raz},
  pages = {110--117},
  address = {Oxford},
  topic = {obligation;reasons-for-action;}
  }

@book{ harman_gh:1986a,
  author = {Gilbert Harman},
  title = {Change in View},
  publisher = {{MIT} Press},
  year = {1986},
  address = {Cambridge, Massachusetts},
  xref = {Reviews: levi_i:1987a, loui:1987a, makinson:1988a.},
  topic = {belief-revision;limited-rationality;}
 }

@incollection{ harman_gh:1986b,
  author = {Gilbert Harman},
  title = {Willing and Intending},
  booktitle = {Philosophical Grounds of Rationality},
  publisher = {Oxford University Press},
  year = {1986},
  editor = {Richard E. Grandy and Richard Warner},
  pages = {363--380},
  address = {Oxford},
  topic = {intention;volition;}
  }

@incollection{ harman_gh:1987a,
  author = {Gilbert Harman},
  title = {(Nonsolipsistic) Conceptual Role Semantics},
  booktitle = {New Directions in Semantics, Volume 2},
  publisher = {Academic Press},
  year = {1987},
  editor = {Ernest LePore},
  pages = {55--81},
  address = {London},
  contentnote = {Suggests functional role in a person's psych as a
  	foundation for semantics.  Argues that functional role can
	involve rels to an ext world.  Does not address the problem
	of developing a theory of these roles that, eg, could replace
	the model theoretic accounts of mathematical formalisms.},
  topic = {nl-semantics;foundations-of-semantics;cognitive-semantics;}
  }

@incollection{ harman_gh:1989a,
  author = {Gilbert Harman},
  title = {Some Philosophical Issues in Cognitive Science: Qualia,
  	Intentionality, and the Mind-Body Problem},
  booktitle = {Foundations of Cognitive Science},
  publisher = {The {MIT} Press},
  year = {1989},
  editor = {Michael I. Posner},
  chapter = {21},
  pages = {831--848},
  address = {Cambridge, Massachusetts},
  topic = {foundations-of-cognitive-science;philosophy-of-mind;}
  }

@book{ harman_gh:1993a,
  editor = {Gilbert Harman},
  title = {Conceptions of the Human Mind: Essays in Honor of
  	{G}eorge {A}. {M}iller},
  publisher = {Lawrence Erlbaum},
  year = {1993},
  address = {Hillsdale, New Jersey},
  ISBN = {0805812342},
  rtnote = {UMich Undergraduate, Bd 418.3 .C631 1993
  	    UMich Graduate, Bd 418.3 .C631 1993},
  topic = {philosophy-of-mind;foundations-of-cognition;
  	cognitive-psychology;}
 }

@book{ harman_gh:1999a,
  author = {Gilbert Harman},
  title = {Reasoning, Meaning, and Mind},
  publisher = {Oxford University Press},
  year = {1999},
  address = {Oxford},
  topic = {philosophy-of-language;philosophy-of-mind;
  	conceptual-role-semantics;}
 }

@article{ harman_gh:2000a,
  author = {Gilbert Harman},
  title = {Review of \emph{{N}ew Horizons in the Study of
  	Language and Mind}, by {N}oam {C}homsky},
  journal = {The Journal of Philosophy},
  year = {2000},
  volume = {97},
  number = {5},
  pages = {265--269},
  xref = {Review: chomsky:2000a.},
  topic = {philosophy-of-linguistics;philosophy-of-mind;}
  }

@article{ harman_gh:2002a,
  author = {Gilbert Harman},
  title = {Reflections on Knowledge and Its Limits},
  journal = {The Philosophical Review},
  year = {2002},
  volume = {111},
  number = {3},
  pages = {417--428},
  xref = {Review of: harman_gh:2002a},
  topic = {epistemology;knowledge;propositional-attitudes;}
  }

@incollection{ harman_gh:2003a,
  author = {Gilbert Harman},
  title = {Category Mistakes in {M}\&{E}},
  booktitle = {Philosophical Perspectives 17: Language and Philosophical
  	Linguistics, 2003},
  publisher = {Blackwell Publishers},
  year = {2003},
  editor = {John Hawthorne and Dean Zimmerman},
  pages = {165--180},
  address = {Oxford},
  topic = {metaphysics;}
  }

@incollection{ harman_gh:2006a,
  author = {Gilbert Harman},
  title = {Self-Reflexive Thoughts},
  booktitle = {Philosophy of Language},
  publisher = {Blackwell Publishers},
  year = {2006},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {334--345},
  address = {Oxford},
  xref = {Commentary: hill_cs:2006a},
  topic = {semantic-reflection;}
  }

@incollection{ harman_gh-sherman_b:2004a,
  author = {Gilbert Harman and Brett Sherman},
  title = {Knowledge, Assumptions, Lotteries},
  booktitle = {Epistemology},
  publisher = {Blackwell Publishers},
  year = {2004},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {492--500},
  address = {Oxford},
  xref = {Commentary on: hawthorne_j2:2004a},
  topic = {knowledge;epistemology;factivity;context;epistemic-modals;}
  }

@book{ harnad:1987a,
  editor = {Stevan R. Harnad},
  title = {Categorical Perception: The Groundwork of Cognition},
  publisher = {Cambridge University Press},
  year = {1987},
  address = {Cambridge},
  ISBN = {0521267587},
  rtnote = {UMich Graduate Library, BF445 .C381 1987.},
  topic = {cognitive-psychology;perception;}
 }

@article{ harnad:1990a,
  author = {Stevan R. Harnad},
  title = {The Symbol Grounding Problem},
  journal = {Physica D},
  year = {1990},
  volume = {42},
  pages = {335--346},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  url = {
    www.ecs.soton.ac.uk/\user{}harnad/Papers/Harnad/harnad90.sgproblem.html},
  topic = {foundations-of-semantics;foundations-of-cognitive-science;}
  }

@article{ harnad:1995a,
  author = {Stevan R. Harnad},
  title = {How and Why We Are Not Zombies},
  journal = {Journal of Consciousness Studies},
  year = {1995},
  volume = {1},
  pages = {164--167},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-mind;consciousness;}
  }

@article{ harnad:2000a,
  author = {Stevan R. Harnad},
  title = {Minds, Machines, and {T}uring: The Indistinguishability
  	of Indistinguishables},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {9},
  number = {4},
  pages = {425--445},
  rtnote = {In RHT collection.},
  topic = {foundations-of-AI;}
  }

@book{ harnad-etal:1976a,
  editor = {Stevan R. Harnad and Horst D. Steklis and Jane Lancaster},
  title = {Origins and Evolution of Language and Speech},
  publisher = {New York Academy of Sciences},
  year = {1976},
  address = {New York},
  ISBN = {0890720266},
  topic = {language-and-evolution;language-origins;}
 }

@incollection{ harnish:1976a1,
  author = {Robert M. Harnish},
  title = {Logical Form and Implicature},
  booktitle = {An Integrated Theory of Linguistic Ability},
  publisher = {Thomas Y. Crowell},
  year = {1976},
  editor = {Thomas G. Bever and Jerrold J. Katz and D. Terence Langendoen},
  pages = {313--392},
  address = {New York},
  xref = {Republication: harnish:1976a2.},
  rtnote = {In RHT collection.},
  topic = {implicature;LF;}
  }

@incollection{ harnish:1976a2,
  author = {Robert M. Harnish},
  title = {Logical Form and Implicature},
  booktitle = {Pragmatics: A Reader},
  publisher = {Oxford University Press},
  year = {1991},
  editor = {Steven Davis},
  pages = {316--364},
  address = {Oxford},
  rtnote = {In RHT collection.},
  xref = {Republication of harnish:1976a1.},
  topic = {implicature;LF;}
  }

@incollection{ harnish:1976b,
  author = {Robert M. Harnish},
  title = {The Argument from {\em Lurk}},
  booktitle = {An Integrated Theory of Linguistic Ability},
  publisher = {Thomas Y. Crowell Co.},
  year = {1976},
  editor = {Thomas G. Bever and Jerrold J. Katz and D. Terence Langendoen},
  pages = {261--270},
  address = {New York},
  topic = {performative-analysis;}
  }

@book{ harnish:1979a,
  editor = {Robert M. Harnish},
  title = {Basic Topics in the Philosophy of Language},
  publisher = {Prentice-Hall},
  year = {1979},
  address = {Englewood Cliffs, New Jersey},
  topic = {philosophy-of-language;}
 }

@unpublished{ harnish-houghtaling:1974a,
  author = {Robert M. Harnish and Michael Houghtaling},
  title = {An Investigation of Algorithmic Translation Procedures
  	from Semantic Feature Representation to Predicate Logic},
  year = {1974},
  note = {Unpublished manuscript, University of Arizona},
  rtnote = {In RHT collection.},
  topic = {semantic-features;nl-semantics;nl-interpretation;}
  }

@phdthesis{ harper_wl:1974a,
  author = {William L. Harper},
  title = {Counterfactuals and Representations of Rational Belief},
  school = {University of Rochester},
  year = {1974},
  type = {Ph.{D}. Dissertation},
  address = {Rochester, New York},
  rtnote = {In RHT collection.},
  topic = {conditionals;belief-revision;probability-kinematics;}
 }

@article{ harper_wl:1974b,
  author = {William L. Harper},
  title = {A Note on Universal Instantiation in the {S}talnaker
  	{T}homason Conditional Logics and the {M} Type Modal Systems},
  journal = {Journal of Philosophical Logic},
  year = {1974},
  volume = {3},
  number = {4},
  pages = {373--379},
  topic = {modal-logic;conditional-logic;quantifying-in-modality;}
  }

@unpublished{ harper_wl:1975a1,
  author = {William L. Harper},
  title = {Rational Belief Change: {P}opper Functions and
  	Counterfactuals},
  year = {1975},
  note = {Unpublished manuscript, University of Western Ontario.},
  rtnote = {In RHT collection.},
  xref = {Publication: harper_wl:1975a2.  Republication: harper_wl:1975a3.},
  topic = {conditionals;belief-revision;CCCP;
  	primitive-conditional-probability;}
  }

@article{ harper_wl:1975a2,
  author = {William L. Harper},
  title = {Rational Belief Change, {P}opper Functions and the
  	Counterfactuals},
  journal = {Synth\'ese},
  year = {1975},
  volume = {30},
  pages = {221--262},
  rtnote = {tmix-project;},
  xref = {Publication of: harper_wl:1975a1. Republication: harper_wl:1975a3.},
  topic = {conditionals;belief-revision;CCCP;
  	primitive-conditional-probability;}
  }

@incollection{ harper_wl:1975a3,
  author = {William L. Harper},
  title = {Rational Belief Change, {P}opper Functions and
  	Counterfactuals},
  booktitle = {Foundations of Probability Theory, Statistical
  	Inference, and Statistical Theories of Science, Volume 1},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  editor = {William L. Harper and Clifford A. Hooker},
  pages = {73--115},
  address = {Dordrecht},
  xref = {Republication of: harper_wl:1975a1, harper_wl:1975a2.},
  topic = {primitive-conditional-probability;conditionals;}
  }

@unpublished{ harper_wl:1975b,
  author = {William L. Harper},
  title = {Revision of Def of IP-Model and Relativized Conditional},
  year = {1975},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {conditionals;belief-revision;CCCP;
  	primitive-conditional-probability;}
  }

@incollection{ harper_wl:1976a,
  author = {William L. Harper},
  title = {Ramsey Test Conditionals and Iterated Belief Change},
  booktitle = {Foundations of Probability Theory, Statistical
  	Inference, and Statistical Theories of Science, Volume 1},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  pages = {117--136},
  address = {Dordrecht},
  editor = {William L. Harper and Clifford A. Hooker},
  topic = {Ramsey-test;conditionals;beilef-update;}
  }

@inproceedings{ harper_wl:1977a,
  author = {William Harper},
  title = {Rational Belief Change},
  booktitle = {Proceedings of the 1976 Meeting of the Philosophy of
  	Science Association},
  year = {1977},
  pages = {462--494},
  organization = {Philosophy of Science Association},
  missinginfo = {Editor, Publisher, Address},
  rtnote = {HILLMAN Q175 P73},
  topic = {belief-revision;condtionals;}
  }

@article{ harper_wl:1978a,
  author = {William L. Harper},
  title = {Bayesian Learning Models With Revision of Evidence},
  journal = {Philosophia},
  year = {1978},
  volume = {7},
  number = {2},
  pages = {357--367},
  topic = {belief-revision;foundations-of-probability;}
  }

@incollection{ harper_wl:1980a,
  author = {William L. Harper},
  title = {A Sketch of Some Recent Developments in the Theory of
  	Conditionals},
  booktitle = {Ifs: Conditionals, Belief, Decision, Chance, and Time},
  publisher = {D. Reidel Publishing Co.},
  year = {1981},
  editor = {William L. Harper and Robert Stalnaker and Glenn Pearce},
  pages = {3--38},
  address = {Dordrecht},
  rtnote = {tmix-project;},
  topic = {conditionals;}
  }

@unpublished{ harper_wl:1981a,
  author = {William L. Harper},
  title = {Subjunctive Conditionals},
  year = {1981},
  note = {Unpublished manuscript, University of Western Ontario},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {conditionals;information-flow-theory;subjunctive-mood;}
  }

@incollection{ harper_wl:1988a,
  author = {William L. Harper},
  title = {Introduction},
  booktitle = {Causation in Decision, Belief Change, and Statistics,
  	Vol. 2},
  publisher = {Kluwer Academic Publishers},
  year = {1988},
  editor = {William L. Harper and Brian Skyrms},
  pages = {ix--xix},
  address = {Dordrecht},
  note = {Introduction to the volume.},
  topic = {causal-decision-theory;game-theory;belief-revision;}
  }

@incollection{ harper_wl:1988b,
  author = {William L. Harper},
  title = {Causal Decision Theory and Game Theory: A Classic Argument
  	for Equilibrium Solutions, A Defense of Weak Equilibria,
	and a New Problem for the Normal Form Representation},
  booktitle = {Causation in Decision, Belief Change, and Statistics,
  	Vol. 2},
  publisher = {Kluwer Academic Publishers},
  year = {1988},
  editor = {William L. Harper and Brian Skyrms},
  pages = {25--48},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {causal-decision-theory;game-theory;}
  }

@inproceedings{ harper_wl:1989a,
  author = {William L. Harper},
  title = {Decisions, Games and Equilibrium Solutions},
  booktitle = {{PSA} 1988: Proceedings of the Biennial Meeting of the
	Philosophy of Science Association, Volume 2},
  year = {1989},
  editor = {Arthur Fine and Janet Leplin},
  pages = {344--362},
  organization = {Philosophy of Science Association},
  publisher = {Philosophy of Science Association},
  address = {East Lansing, Michigan},
  rtnote = {In RHT collection.},
  topic = {game-theory;}
  }

@incollection{ harper_wl:1991a,
  author = {William L. Harper},
  title = {Kant on Incongruous Counterparts},
  booktitle = {The Philosophy of Right and Left},
  publisher = {Kluwer Academic Publishers},
  year = {1991},
  editor = {Jan {van Cleve} and Robert E. Frederick},
  pages = {263--313},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {incongruous-counterparts;}
  }

@article{ harper_wl:1993a,
  author = {William L. Harper},
  title = {Causal and Evidential Expectations in Strategic Settings},
  journal = {Philosophical Topics},
  year = {1994},
  volume = {21},
  number = {1},
  pages = {79},
  topic = {game-theory; counterfactuals;Nash-equilibria;
  	causal-decision-theory;}
  }

@article{ harper_wl:2000a,
  author = {William L. Harper},
  title = {Review of \emph{{C}onditionals}, edited by {D}avid {W}iggins},
  journal = {The Bulletin of Symbolic Logic},
  year = {2000},
  volume = {6},
  number = {3},
  pages = {358--360},
  xref = {Review of: woods_m:1997a.},
  topic = {conditionals;}
  }

@book{ harper_wl-etal:1975a,
  editor = {Donald J. Hockney and William L. Harper and B. Freed},
  title = {Contemporary Research in Philosophical Logic and
  	Linguistic Semantics: Proceedings of a Conference Held at the
	{U}niversity of {W}estern {O}ntario, {L}ondon, {C}anada},
  publisher = {D. Reidel Publishing Co.},
  year = {1975},
  address = {Dordrecht},
  ISBN = {9027705119.},
  rtnote = {UMich Graduate Library, 800.31 C761.},
  topic = {philosophical-logic;nl-semantics;}
 }

@book{ harper_wl-etal:1981a,
  editor = {William L. Harper and Robert Stalnaker and Glenn Pearce},
  title = {Ifs: Conditionals, Belief, Decision, Chance, and Time},
  publisher = {D. Reidel Publishing Co.},
  year = {1981},
  address = {Dordrecht},
  isbn = {9027712204 (pbk.)},
  rtnote = {UMich Graduate Library BC199.C56 I381},
  topic = {conditionals;}
 }

@incollection{ harper_wl-etal:1983a,
  author = {William L. Harper and Hugues Leblanc and Bas {van Fraassen}},
  title = {On Characterizing {P}opper and {C}arnap Probability
  	Functions},
  booktitle = {Essays in Epistemology and Semantics},
  publisher = {Haven Publications},
  year = {1983},
  editor = {Hugues Leblanc and Raphael Stern and Raymond Gumb},
  pages = {140--152},
  address = {New York},
  topic = {primitive-conditional-probability;}
  }

@unpublished{ harper_wl-etal:1990a,
  author = {William L. Harper and Bryce Hemsley Bennett and Sreeram
  	Valluri},
  title = {Unification and Support: Harmonic Law Ratios Measure the
  	Mass of the Sun},
  year = {1990},
  rtnote = {In RHT collection.},
  rtnote = {Year is a wild guess.},
  note = {Unpublished manuscript, University of Western Ontario.},
  topic = {Newton;philosophy-of-physics;}
  }

@book{ harper_wl-hooker:1976a,
  editor = {William L. Harper and Clifford A. Hooker},
  title = {Foundations of Probability Theory, Statistical
  	Inference, and Statistical Theories of Science, Volume 1},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  address = {Dordrecht},
  topic = {foundations-of-probability;statistical-inference;}
 }

@book{ harper_wl-skyrms:1988a,
  editor = {William L. Harper and Brian Skyrms},
  title = {Causation in Decision, Belief Change, and Statistics},
  publisher = {Kluwer Academic Publishers},
  year = {1988},
  volume = {2},
  address = {Dordrecht},
  rtnote= {HILLMAN BC141 I78 1985},
  contentnote = {TC:
          William L. Harper, "Introduction"
          Brad Armendt, "Conditional Preference and Causal Expected
            Utility"
          William L. Harper, "Causal Decision Theory and Game Theory:
            A Classic Argument for Equilibrium Solutions, A Defense of
            Weak Equilibria, and a New Problem for the Normal Form
	    Representation"
          Ernest W. Adams, "Consistency and Decision: Variations on
            Ramseyan Themes"
          Henry E. {Kyburg, Jr.}, "Powers"
          Peter G\"argenfors, "Causation and the Dynamics of Belief"
          Wolfgang Spohn, "Ordinal Conditional Functions: A Dynamic
            Theory of Epistemic States"
          Arthur Burks, "The Logic of Evolution, and the Reduction of
            Holistic-Coherent Systems to Hierarchical-Feedback Systems"
          Isaac Levi, "Four Themes in Statistical Explanation"
          Clark Glymour, "Artificial Intelligence for Statistical and
            Causal Modelling"
            },
  topic = {causality;belief-revision;statistics;}
 }

@article{ harquard:2010a,
  author = {Valentine Harquard},
  title = {On the Event Relativity of Modal Auxiliaries},
  journal = {Natural Language Semantics},
  year = {2010},
  volume = {18},
  number = {1},
  pages = {79--114},
  topic = {auxiliary-verbs;modality;epistemic-modals;events;}
  }

@incollection{ harrah:1969a,
  author = {David Harrah},
  title = {Erotetic Logistics},
  booktitle = {The Logical Way of Doing Things},
  publisher = {Yale University Press},
  year = {1969},
  editor = {Karel Lambert},
  pages = {3--21},
  address = {New Haven, Connecticut},
  topic = {interrogatives;}
  }

@incollection{ harrah:1984a,
  author = {David Harrah},
  title = {The Logic of Questions},
  booktitle = {Handbook of Philosophical Logic, Volume {II}:
  	Extensions of Classical Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1984},
  editor = {Dov Gabbay and Franz Guenther},
  pages = {715--764},
  address = {Dordrecht},
  topic = {interrogatives;}
 }

@article{ harrah:1998a,
  author = {David Harrah},
  title = {Review of `The Posing of Questions: Logical
  	Foundations of Erotetic Inferences', by {A}ndrezej {W}i\'sniewski},
  journal = {Studia Logica},
  year = {1998},
  volume = {61},
  number = {2},
  pages = {296--299},
  xref = {Review of: wisniewski:1995a.},
  topic = {interrogatives;}
  }

@incollection{ harre:1996a,
  author = {Rom Harr\'e},
  title = {There is No Time Like the Present},
  booktitle = {Logic and Reality: Essays on the Legacy of {A}rthur
  	{P}rior},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Jack Copeland},
  pages = {389--391},
  address = {Oxford},
  topic = {philosophy-of-time;}
  }

@book{ harris_j:1751a,
  author = {J. Harris},
  title = {Hermes: Or a Philosophical Inquiry Concerning Language and
  	Universal Grammar},
  year = {1751},
  note = {(Reproduced facsimile edition, Scolar Press, Menston, 1968.)},
  missinginfo = {A's 1st name, publisher.},
  topic = {nl-semantics;}
 }

@article{ harris_ja-potts_c:2009a,
  author = {Jesse A. Harris and Christopher Potts},
  title = {Perspective-Shifting with Appositives and Expressives},
  journal = {Linguistics and Philosophy},
  year = {2009},
  volume = {32},
  number = {6},
  pages = {523--552},
  topic = {nl-semantics;appositive-constructions;expressives;}
  }

@article{ harris_k-fitelson:2001a,
  author = {Kenneth Harris and Branden Fitelson},
  title = {Comments on Some Completeness Theorems of {U}rquhart
  	and {Mendez} \& {S}alto},
  journal = {Journal of Philosophical Logic},
  year = {2001},
  volume = {30},
  number = {1},
  pages = {51--55},
  topic = {completeness-theorems;relevance-logics;}
  }

@article{ harris_lr:1974a,
  author = {Larry R. Harris},
  title = {The Heuristic Search under Conditions of Error},
  journal = {Artificial Intelligence},
  year = {1974},
  volume = {5},
  number = {3},
  pages = {217--234},
  acontentnote = {Abstract:
     By placing various restrictions on the heuristic estimator it is
     possible to constrain the heuristic search process to fit
     specific needs.  This paper introduces a new restriction upon the
     heuristic, called the ``bandwidth'' condition, that enables the
     ordered search to better cope with time and space difficulties.
     In particular, the effect of error within the heuristic is
     considered in detail.
      Beyond this, the bandwidth condition quite naturally allows for
     the extension of the heuristic search to MIN/MAX trees.  The
     resulting game playing algorithm affords many desirable
     practical features not found in minimax based techniques, as
     well as maintaining the theoretical framework of ordered
     searches.  The development of this algorithm provides some
     additional insight to the general problem of searching game
     trees by showing that certain, somewhat surprising changes in
     the cost estimates are required to properly search the tree.
     Furthermore, the use of an ordered search of MIN/MAX trees
     brings about a rather provocative departure from the
     conventional approach to computer game playing.},
  topic = {search;game-playing;}
  }

@article{ harris_m:1980a,
  author = {Martin Harris},
  title = {Review of \emph{{D}efiniteness and Indefiniteness: A Study in
  	Reference and Grammaticality Production}, by {J}ohn {A}.
	{H}awkins},
  journal = {Linguistics and Philosophy},
  year = {1980},
  volume = {3},
  number = {3},
  pages = {419--427},
  xref = {Review of hawkins_ja:1978a.},
  topic = {indefiniteness;definiteness;}
  }

@incollection{ harris_pl:1995a,
  author = {Paul L. Harris},
  title = {Imagining and Pretending},
  booktitle = {Mental Simulation: Evaluations and Applications},
  publisher = {Blackwell Publishers},
  year = {1995},
  editor = {Martin Davies and Tony Stone},
  pages = {170--184},
  address = {Oxford},
  topic = {folk-psychology;mental-simulation;
  	psychology-of-pretense;}
  }

@incollection{ harris_pl:1995b,
  author = {Paul L. Harris},
  title = {From Simulation to Folk Psychology:
	The Case for Development},
  booktitle = {Mental Simulation: Evaluations and Applications},
  publisher = {Blackwell Publishers},
  year = {1995},
  editor = {Martin Davies and Tony Stone},
  pages = {232--258},
  address = {Oxford},
  topic = {folk-psychology;developmental-psychology
  	mental-simulation;propositional-attitude-ascription;}
  }

@book{ harris_r:1995a,
  author = {Roy Harris},
  title = {Signs of Writing},
  publisher = {Routledge},
  year = {1995},
  address = {London and New York},
  topic = {punctuation;}
}

@book{ harris_r:1996a,
  author = {Roy Harris},
  title = {The Language Connection},
  publisher = {Thoemes Press},
  year = {1996},
  address = {Bristol},
  topic = {philosophy-of-language;}
 }

@book{ harris_wv:1988a,
  author = {Wendell V. Harris},
  title = {Interpretive Acts: In Search of Meaning},
  publisher = {Oxford University Press},
  year = {1988},
  address = {Oxford},
  rtnote = {HILLMAN PN81 H2846 1988},
  topic = {pragmatics;discourse-analysis;speech-acts;}
 }

@book{ harris_z:1991a,
  author = {Zellig Harris},
  title = {A Theory of Language and Information: A Mathematical
		  Approach},
  publisher = {Clarendon Press},
  address = {Oxford},
  year = {1991},
  topic = {nl-syntax;}
}

@article{ harrison_b:1974a,
  author = {Bernard Harrison},
  title = {Review of \emph{{S}emantic Theory}, by {J}errold {J}. {K}atz},
  journal = {Mind, New Series},
  year = {1974},
  volume = {83},
  number = {332},
  pages = {599--606},
  xref = {REview of: katz_jj:1972a.},
  topic = {nl-semantics;presuposition;}
  }

@article{ harrison_j:1952a,
  author = {Jonathan Harrison},
  title = {Utilitarianism, Universalisation,
             and Our Duty to Be Just},
  journal = {Proceedings of the {A}ristotelian {S}ociety},
  volume = {53},
  year = {1952--1953},
  pages = {105--134},
  topic = {utilitarianism;}
    }

@article{ harrison_j:1968a,
  author = {Jonathan Harrison},
  title = {Unfulfilled Conditionals and the Truth of Their
  	Constituents},
  journal = {Mind, New Series},
  year = {1968},
  volume = {77},
  pages = {372--382},
  xref = {Commentary: gower:1971a, harrison_j:1971a.},
  missinginfo = {number},
  contentnote = {Gower's examples are `had'-`would' condits.
  	He argues that two "very commonly held doctrines"
	are incorrect. (But he gives no references.) (1)
	such conditionals are false if ant and conseq are false.
	(2) For such a statement to be true it must be supported
	by an approp law-like statement.  },
  topic = {conditionals;}
  }

@article{ harrison_j:1974a,
  author = {Jonathan Harrison},
  title = {Mr. {G}ower on Conditionals},
  journal = {Mind, New Series},
  year = {1974},
  volume = {83},
  number = {329},
  pages = {103--105},
  xref = {Commentary on gower:1971a, harrison_j:1968a.},
  topic = {conditionals;}
  }

@book{ harrison_m-thimbleby:1990a,
  editor = {Michael Harrison and Harold Thimbleby},
  title = {Formal Methods in Human-Computer Interaction},
  publisher = {Cambridge University Press},
  year = {1990},
  address = {Cambridge},
  ISBN = {052137202X},
  rtnote = {UMich Media Union Library, QA 76.9 .I58 F66 1990.},
  topic = {HCI;}
 }

@article{ harrison_rh:2001a,
  author = {Robert H. Harrison},
  title = {Review of \emph{{O}n the Emotions}, by },
  journal = {The Philosophical Review},
  year = {2001},
  volume = {110},
  number = {3},
  pages = {466--472},
  xref = {Review of: wollheim:1999a.},
  topic = {emotion;}
  }

@article{ harrod:1936a,
  author = {Roy Harrod},
  title = {Utilitarianism Revised},
  journal = {Mind, New Series},
  volume = {55},
  pages = {137--156},
  year = {1936},
  topic = {utilitarianism;}
    }

@article{ harrop:1958a,
  author = {Ronald Harrop},
  title = {On the Existence of Finite Models and Decision Procedures
  	for Propositional Calculi},
  journal = {Proceedings of the Cambridge Philosophical Society},
  year = {1958},
  volume = {54},
  pages = {1--13},
  missinginfo = {number},
  rtnote = {Reading notes on file.},
  topic = {finite-model-property;}
  }

@article{ harsanyi:1968a,
  author = {John C. Harsanyi},
  title = {Games of Incomplete Information Played by `Bayesian'
  	Players, Parts {I--III}},
  journal = {Management Science},
  year = {1968},
  volume = {14},
  pages = {159--182,320--334,486--502},
  missinginfo = {number},
  topic = {common-prior-assumption;foundations-of-game-theory;
  	type-spaces;}
  }

@article{ harsanyi:1972a,
  author = {John C. Harsanyi},
  title = {Notes on the So-Called Incompleteness Problem and on
  	the Proposed Alternative Concept of Rational Behavior},
  journal = {Theory and Decision},
  year = {1972},
  volume = {2},
  pages = {342--352},
  missinginfo = {number},
  topic = {rationality;foundations-of-decision-theory;}
  }

@article{ hart_b:2003a,
  author = {Bradd Hart},
  title = {Review of \emph{{M}odel Theory: An Introduction}, by {D}avid
  	{M}arker},
  journal = {The Bulletin of Symbolic Logic},
  year = {2003},
  volume = {9},
  number = {3},
  pages = {408--409},
  xref = {Review of: marker:2002a},
  topic = {model-theory;logic-intro;}
  }

@book{ hart_jd-kapitan:1999a,
  editor = {James G. Hart and Tomis Kapitan},
  title = {The Phenomeno-Logic of the {I}: Essays on Self-Consciousness},
  publisher = {Indiana University Press,},
  year = {1999},
  address = {Bloomington},
  ISBN = {025333506X (hardcover)},
  rtnote = {UMich Graduate Library, B 945 .C254 C37 1999.},
  rtnote = {Essays by Casta\~neda.},
  topic = {indexicals;introspection;}
 }

@article{ hart_wd:1992a,
  author = {W.D. Hart},
  title = {Hat-Tricks and Heaps},
  journal = {Philosophical Studies (Ireland)},
  year = {1992},
  volume = {33},
  pages = {1--24},
  topic = {vagueness;sorites-paradox;}
  }

@article{ hart_wd-mcginn_c:1976a,
  author = {W.D. Hart and Colin McGinn},
  title = {Knowledge and Necessity},
  journal = {Journal of Philosophical Logic},
  year = {1976},
  volume = {5},
  number = {2},
  pages = {205--208},
  missinginfo = {A's 1st name.},
  topic = {modal-logic;epistemic-logic;}
  }

@book{ harte:2002a,
  author = {Verity Harte},
  title = {Plato on Parts and Wholes:  The Metaphysics of Structure},
  publisher = {Oxford University Press},
  year = {2002},
  address = {Oxford},
  xref = {Review: koslicki:2004a.},
  topic = {Plato;mereology;}
 }

@inproceedings{ hartley_a-paris_cl:1996a,
  author = {Anthony Hartley and C\'ecile Paris},
  title = {Two Sources of Control over the Generation of Software
  	Instructions},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {192--199},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {nl-generation;}
 }

@incollection{ hartley_r:1992a,
  author = {Roger T. Hartley},
  title = {A Uniform Representation for Time and Space and Their
  	Mutual Constraints},
  booktitle = {Semantic Networks in Artificial Intelligence},
  publisher = {Pergamon Press},
  year = {1992},
  editor = {Fritz Lehmann},
  pages = {441--457},
  address = {Oxford},
  topic = {kr;semantic-networks;temporal-representation;
  	spatial-representation;kr-course;}
  }

@article{ hartmann_k-zimmerman_te:2000a,
  author = {Katharina Hartmann and Thomas Ede Zimmerman},
  title = {Review of \emph{Introduction to Natural Language Semantics},
		by {H}enriette de {S}wart},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {10},
  number = {4},
  pages = {511--518},
  xref = {Review of: deswart_h1:1998a.},
  rtnote = {semantics-course;},
  topic = {nl-semantics;}
  }

@incollection{ haruno-etal:1996a,
  author = {Masahiko Haruno and Yasuharu Den and Yuji Matsumoto},
  title = {A Chart-Based Semantic Head Driven Generation Algorithm},
  booktitle = {Trends in Natural Language Generation, An Artificial
  		Intelligence Perspective, Fourth {E}uropean Workshop,
		{EWNLG} '93, Pisa, Italy, April 28-30, 1993, Selected
		Papers},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = {1036},
  year = {1996},
  editor = {Giovanni Adorni and Michael Zock},
  pages = {300--313},
  address = {New York},
  topic = {nl-generation;}
  }

@inproceedings{ haruno-etal:1998a,
  author = {Masahiko Haruno and Satoshi Shirai and Yoshifumi Ooyama},
  title = {Using Decision Trees to Construct a Practical Parser},
  booktitle = {Proceedings of the Thirty-Sixth Annual Meeting of the
  	{A}ssociation for {C}omputational {L}inguistics and
	Seventeenth International Conference on
	Computational Linguistics},
  year = {1998},
  editor = {Christian Boitet and Pete Whitelock},
  pages = {505--512},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {machine-learning;decision-trees;parsing-algorithms
  	statistical-parsing;}
}

@inproceedings{ haruno-matsumoto_y2:1997a,
  author = {Masahiko Haruno and Yuji Matsumoto},
  title = {Mistake-Driven Mixture of Hierarchical Tag Context Trees},
  booktitle = {Proceedings of the Thirty-Fifth Annual Meeting of the
		{A}ssociation for {C}omputational {L}inguistics and Eighth
		Conference of the {E}uropean Chapter of the {A}ssociation
		for {C}omputational {L}inguistics},
  year = {1997},
  editor = {Philip R. Cohen and Wolfgang Wahlster},
  pages = {230--237},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {statistical-nlp;part-of-speech-tagging;}
 }

@inproceedings{ haruno-yamazaki:1996a,
  author = {Masahito Haruno and Takefumi Yamazaki},
  title = {High-Performance Bilingual Text Alignment Using
  	Statistical and Dictionary Information},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {131--138},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {machine-translation;machine-readable-dictionaries;}
 }

@book{ harvey-santelmann:1994a,
  editor = {Mandy Harvey and Lynn Santelmann},
  title = {Proceedings from Semantics and Linguistic Theory {IV}},
  publisher = {Cornell University},
  year = {1994},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  contentnote = {TC:
     1. Nicholas Asher and Pierre Sablarolles, "A Compositional
     		Spatio-Temporal Semantics for {F}rench Motion Verbs
		and Spatial {PP}s", pp. 1--15
     2. Emmon Bach, "The Meanings of Words", pp. 16--34
     3. David I. Beaver, "When Variables Don't Vary Enough", pp. 35--60
     4. Mary Dalrymple and Makoto Kanazawa and Sam Bchombo
		and Stanley Peters, "What do Reciprocals Mean?", pp. 61--78
     5. Paul Dekker, "Predicate Logic with Anaphora", pp. 79--95
     6. Viviane Deprez, "Questions with Floated Quantifiers", pp. 96--113
     7. David Dowty, "The Role of Negative Polarity and Concord Marking
		in Natural Language Reasoning", pp. 114--144
     8. Jack Hoeksema, "A Semantic Argument for Complex Predicates",
     		pp. 145--160
     9. Paulene Jacobson, "Binding Connectivity in Copular
     		Predicates", pp. 161--178
    10. Emiel Krahmer and Reinhard Muskens, "Umbrellas and
    		Bathrooms", pp. 175--194
    11. Manfred Krifka, "The Semantics and Pragmatics of Weak and
		Strong Polarity Items in Assertions", pp. 195--219
    12. William A. Ladusaw, "Thetic and Categorial, Stage and Individual, Weak
		and Strong", pp. 220--229
    13. Sally Mcconnell-Ginet, "On the Non-Optimality of Certain
    		Modifiers", pp. 230--250
    14. Toshiyuki Ogihara, "Adverbs of Quantification and Sequence-of-Tense
		Phenomena", pp. 251--267
    15. Matthias Paul, "Young {M}ozart and the Joking {W}oody {A}llen:
		Proper Names, Individuals, and {P}arts", pp. 268--281
    16. Massimo Poesio, "Weak Indefinites", pp. 282--299
  },
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {nl-semantics;}
 }

@article{ hasling-etal:1984a,
  author = {Diane W. Hasling and William J. Clancey and Glenn Rennels},
  title = {Strategic Explanations for a Diagnostic Consultation System},
  journal = {International Journal of Man-Machine Studies},
  year = {1984},
  volume = {20},
  number = {1},
  pages = {3--19},
  topic = {explanation;nl-generation;}
}

@incollection{ haspelmath:1985a,
  author = {Martin Haspelmath},
  title = {Diachronic Sources of `All' and `Every'},
  booktitle = {Quantification in Natural Languages, Vol. 1},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {Emmon Bach and Eloise Jelinek and Angelika Kratzer and
   	Barbara Partee},
  pages = {363--382},
  address = {Dordrecht},
  topic = {nl-semantics;semantic-change;}
  }

@book{ haspelmath:1997a,
  author = {Martin Haspelmath},
  title = {Indefinite Pronouns},
  publisher = {Oxford University Press},
  year = {1997},
  address = {Oxford},
  xref = {Review: dahl:1999a.},
  topic = {indefiniteness;pronouns;}
 }

@book{ haspelmath:2002a,
  author = {Martin Haspelmath},
  title = {Understanding Morphology},
  publisher = {Oxford University Press},
  year = {2002},
  address = {Oxford},
  topic = {morphology;}
 }

@incollection{ hasslacher:1988a,
  author = {Brosl Hasslacher},
  title = {Beyond the {T}uring Machine},
  booktitle = {The Universal {T}uring Machine: A Half-Century
  	Survey},
  publisher = {Oxford University Press},
  year = {1988},
  editor = {Rolf Herkin},
  pages = {417--433},
  address = {Oxford},
  topic = {foundations-of-computation;}
  }

@incollection{ hastie-pennington:1991a,
  author = {Reid Hastie and Nancy Pennington},
  title = {Cognitive and Social Processes in Decision Making},
  booktitle = {Perspectives on Socially Shared Cognition},
  publisher = {American Psychological Association},
  year = {1991},
  editor = {Lauren B. Resnick and John M. Levine and
  	Stephanie D. Teasley},
  pages = {308--327},
  address = {Washington, D.C.},
  topic = {social-psychology;shared-cognition;}
  }

@incollection{ hastings_aj-koutsoudas:1976a,
  author = {Ashley J. Hastings and Andreas Koutsoudas},
  title = {Performance Models and the Generative-Interpretive
  	Debate},
  booktitle = {Assessing Linguistic Arguments},
  publisher = {Hemisphere Publishing Corporation},
  year = {1976},
  editor = {Jessica R. Wirth},
  pages = {187},
  address = {Washington, D.C.},
  topic = {philosophy-of-linguistics;foundations-of-linguistics;
  	nl-syntax;}
  }

@article{ hastings_j-etal:2002a,
  author = {John Hastings and Karl Branting and Jeffrey Lockwood},
  title = {{CARMA}: A Case-Based Rangeland Management Adviser},
  journal = {The {AI} Magazine},
  year = {2002},
  volume = {23},
  number = {2},
  pages = {49--62},
  topic = {case-based-reasoning;}
  }

@book{ hastings_r-etal:2001a,
  editor = {Rachel Hastings and Brendan Jackson and Zsofia Zvolenszky},
  title = {Proceedings from Semantics and Linguistic Theory {XI}},
  publisher = {Cornell University},
  year = {2001},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  contentnote = {TC:
     1. Ann Arregut and Lisa Matthewson, "A Cross-Linguistic Perspective
     		on the Expression of Manner", pp. 1--19
     2. Chris Barker, "Introducing Continuation", pp. 20--35
     3. Maria Bittner, "Topical Referents for Individuals and
     		Possibilities", pp. 36--55
     4. Daniel Buring, "A Situation Semantics for Binding out
     		of {DP}", pp. 56--75
     5. Alastair Butler, "Degree Relatives are Ordinary
     		Relatives", pp. 76--94
     6. Bridget Copley, "Be Going to as a Case of High Aspect", pp. 95--113
     7. Paul Dekker, "On If and Only", pp. 114--133
     8. Alexis Dimitriadis, "Function Domains in Variable-Free
     			Semantics", pp. 134--151
     9. Paul Elborne, "When is Situation Semantics Allowed?", pp. 152--171
     10. Tim Fernando, "Conservative Generalized Quantifiers and
     		Presupposition", pp. 172--191
     11. Hana Filip, "The Semantics of Case in Russian Secondary
     		Predication", pp. 192--211
     12. Alessandra Giorgi and Fabio Pianesi, "Tense, Attitudes, and
     		Subjects", pp. 212--230
     13. Andrea Gualmini, Stephen Crain, Luisa Meroni, Gennaro
     		Chierchia, and Maria Teresa Guasti, "At the
		Semantics/Pragmatics Interface in Child
		Language", pp. 231--247
     14. Stefan Kaufmann, "Probabilities of Conditionals", pp. 248--267
     15. Cecile Meier, "Result Clauses", pp. 268--285
     16. Friederike Moltmann, "Two Kinds of Universals and two Kinds
     		of Groups", pp. 286--305
     17. Marcin Morzycki, "Almost and Its Kin, Across
     		Categories", pp. 306--325
     18. Sei-Rang Oh, "Distributivity in an Event Semantics", pp. 326--345
     19. Christopher Pinon, "A Finer Look at the Causative-Inchoative
     		Alternation", pp. 346--364
     20. Tanya Reinhart, "Experiencing Derivations", pp. 365--387
     21. Uli Sauerland, "On the Computation of Conversational
     		Implicatures", pp. 388--403
     22. Barry Schein, "Adverbial, Descriptive Reciprocals", pp. 404--430
     23. Mandy Simons, "On the Conversational Basis of Some
     		Presuppositions", pp. 431--448
     24. Masha Vassilieva and Richard K. Larson, "The Semantics of
     		the Plural Pronoun Construction ", pp. 449--465
  },
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {nl-semantics;}
 }

@incollection{ hatano-inagaki:1991a,
  author = {Giyoo Hatano and Kayoko Inagaki},
  title = {Sharing Cognition through Collective Comprehension
  	Activity},
  booktitle = {Perspectives on Socially Shared Cognition},
  publisher = {American Psychological Association},
  year = {1991},
  editor = {Lauren B. Resnick and John M. Levine and
  	Stephanie D. Teasley},
  pages = {331--348},
  address = {Washington, D.C.},
  topic = {social-psychology;shared-cognition;}
  }

@article{ hatcher:1960a,
  author = {Anna Granville Hatcher},
  title = {An Introduction to the Analysis of {E}nglish Noun Compounds},
  journal = {Word},
  year = {1960},
  volume = {16},
  pages = {356--373},
  topic = {noun-compounds;}
  }

@book{ hattiangadi:1987a,
  author = {J.N. Hattiangadi},
  title = {How is Language Possible?},
  publisher = {Open Court},
  year = {1987},
  address = {LaSalle, Illinois},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-language;L1-acquisition;}
 }

@inproceedings{ hatzivassiloglou-mckeown:1997a,
  author = {Vasileios Hatzivassiloglou and Kathleen R. McKeown},
  title = {Predicting the Semantic Orientation of Adjectives},
  booktitle = {Proceedings of the Thirty-Fifth Annual Meeting of the
		{A}ssociation for {C}omputational {L}inguistics and Eighth
		Conference of the {E}uropean Chapter of the {A}ssociation
		for {C}omputational {L}inguistics},
  year = {1997},
  editor = {Philip R. Cohen and Wolfgang Wahlster},
  pages = {174--181},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {corpus-linguistics;spatial-semantics;semantics-of-adjectives;}
 }

@incollection{ hatzivassilogou:1996a,
  author = {Vasileios Hatzivassilogou},
  title = {Do We Need a Linguistics When We have Statistics?  A
  	Comparative Analysis of the Contributions of Linguistic Cues
	to a Statistical Word Grouping System},
  booktitle = {The Balancing Act:  Combining Symbolic and Statistical
  	Approaches to Language},
  publisher = {The {MIT} Press},
  year = {1996},
  editor = {Judith Klavans and Philip Resnik},
  pages = {67--94},
  address = {Cambridge, Massachusetts},
  topic = {corpus-linguistics;corpus-statistics;statistical-nlp;
  	word-classification;}
  }

@incollection{ hauenschild-etal:1979a,
  author = {Christa Hauenschild and Edgar Huckert and Robert Maier},
  title = {{SALAT}: Machine Translation Via Semantic Representation},
  booktitle = {Semantics from Different Points of View},
  year = {1979},
  editor = {Rainer B\"auerle and Urs Egli and Arnim {von Stechow}},
  publisher = {Springer-Verlag},
  address = {Berlin},
  pages = {324--352},
  topic = {machine-translation;}
  }

@book{ hauenschld-heizmann:1997a,
  editor = {Crista Hauenschld and Susanne Heizmann},
  title = {Machine Translation and Translation Theory},
  publisher = {Mouton de Gruyter},
  year = {1997},
  address = {Berlin},
  ISBN = {3-11-015486-2},
  xref = {Review: vaneynde:1998a.},
  topic = {machine-translation;}
 }

@article{ haugeland:1978a1,
  author = {John Haugeland},
  title = {The Nature and Plausibility of Cognitivism},
  journal = {The Behavioral and Brain Sciences},
  year = {1978},
  volume = {1},
  pages = {87--106},
  missinginfo = {number},
  xref = {Republished: haugeland:1978a2.},
  topic = {foundations-of-cognitive-science;philosophy-of-psychology;}
  }

@incollection{ haugeland:1978a2,
  author = {John Haugeland},
  title = {The Nature and Plausibility of Cognitivism},
  booktitle = {Mind Design: Philosophy, Psychology, Artificial
  	Intelligence},
  publisher = {The {MIT} Press},
  year = {1981},
  editor = {John Haugeland},
  pages = {243--281},
  address = {Cambridge, Massachusetts},
  xref = {Originally Published: haugeland:1978a1.},
  rtnote = {In RHT collection.  Cogsci Shelves.  m&mcourse;},
  topic = {foundations-of-cognitive-science;philosophy-of-psychology;
	foundations-of-psychology;}
  }

@book{ haugeland:1981a,
  editor = {John Haugeland},
  title = {Mind Design: Philosophy, Psychology, Artificial
  	Intelligence},
  publisher = {The {MIT} Press},
  year = {1981},
  address = {Cambridge, Massachusetts},
  ISBN = {0262081105},
  contentnote = {TC:
     1. John Haugeland, "Semantic Engines: An Introduction to
          Mind Design", pp. 1--34
     2. Allen Newell and Herbert A. Simon, "Computer Science
          as Empirical Enquiry: Symboks and Search", pp. 35-- 66
     3. Zenon Pylyshyn, "Complexity and the Study of Artificial
          and Human Intelligence", pp. 67--94
     4. Marvin Minsky, "A Framework for Representing
          Knowledge", pp. 95--128
     5. David Marr, "Artificial Intelligence---A Personal
          View", pp. 129--142
     6. Drew McDermott, "Artificial Intelligence Meets Natural
          Stupidity", pp. 143--160
     7. Hubert L. Dreyfus, "From Micro-Worlds to Knowledge
          Representation: AI at an Impasse", pp. 161--204
     8. Hilary Putnam, "Reductionism and the Nature of
          Psychology", pp. 205--219
     9. Daniel C. Dennett, "Intentional Systems", pp. 220-- 242
    10. John Haugeland, "The Nature and Plausibility of
          Cognitivism", pp. 243--281
    11. John R. Searle, "Minds, Brains, and Programs", pp. 282-306-
    12. Jerry A. Fodor, "Methodological Solipsism Considered as a
          Research Strategy in Cognitive Psychology", pp. 307--338
    13. Donald Davidson, "The Material Mind", pp. 339--354
  },
  rtnote = {In RHT collection.  CogSci Shelf.},
  rtnote = {UMich Graduate Library, Q335.5 .M64 1981.},
  topic = {philosophy-ai;philosophy-of-cogsci;}
 }

@incollection{ haugeland:1981b,
  author = {John Haugeland},
  title = {Semantic Engines: An Introduction to Mind Design},
  booktitle = {Mind Design},
  editor = {John Haugeland},
  publisher = {The {MIT} Press},
  address = {Cambridge, Massachusetts},
  year = {1981},
  pages = {1--34},
  topic = {foundations-of-cognitive-science;philosophy-of-cogsci;
  	philosophy-AI;}
    }

@book{ haugeland:1985a,
  author = {John Haugeland},
  title = {Artificial Intelligence: The Very Idea},
  publisher = {The {MIT} Press},
  year = {1985},
  address = {Cambridge, Massachusetts},
  ISBN = {0262081539},
  rtnote = {UMich Graduate Library Call No: Q335 .H381 1985},
  topic = {philosophy-ai;philosophy-of-mind;}
 }

@incollection{ haugeland:1987a,
  author = {John Haugeland},
  title = {An Overview of the Frame Problem},
  booktitle = {The Robot's Dilemma: The Frame Problem
    		 in Artificial Intelligence},
  editor = {Zenon Pylyshyn},
  publisher = {Ablex Publishing Co.},
  address = {Norwood, New Jersey},
  year = {1987},
  pages = {77--94},
  topic = {frame-problem;philosophy-AI;}
    }

@article{ haugeland:1996a,
  author = {John Haugeland},
  title = {Body and World: A Review of \emph{{W}hat
  	Computers Still Can't Do:  A Critique of Artificial
        Reason} ({H}ubert {D}reyfus)},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {80},
  number = {1},
  pages = {119--128},
  xref = {Review of dreyfus:1992a.},
  topic = {philosophy-AI;}
  }

@book{ haugeland:1997a,
  editor = {John Haugeland},
  title = {Mind Design {II}: Philosophy, Psychology, Artificial
  	Intelligence},
  publisher = {The {MIT} Press},
  year = {1997},
  address = {Cambridge, Massachusetts},
  ISBN = {0262082594 (hc: alk. paper), 0262581531 (pb: alk. paper)},
  rtnote = {UMich Undergraduate, Q 335.5 .M64 1997.},
  xref = {1st ed: haugeland:1981a.},
  topic = {philosophy-AI;philosophy-of-cogsci;}
 }

@book{ haugeland:1998a,
  author = {John Haugeland},
  title = {Having Thought: Essays in the Metaphysics of Mind},
  publisher = {Harvard University Press},
  year = {1998},
  address = {Cambridge, Massachusetts},
  ISBN = {0674382331},
  rtnote = {UMich Graduate Library Call No: BD 418.3 .H381 1998 },
  topic = {philosophy-of-mind;philosophy-ai;}
 }

@inproceedings{ haugh:1987a,
  author = {Brian Haugh},
  title = {Simple Causal Minimization for Temporal Persistence and
  		Projection},
  booktitle = {Proceedings of the Seventh National Conference on
              Artificial Intelligence},
  year = {1987},
  editor = {Kenneth Forbus and Howard Shrobe},
  pages = {218--223},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  contentnote = {This develops a causal minimization solution to
  	the YSP.},
  topic = {kr;causal-reasoning;frame-problem;yale-shooting-problem;
  	kr-course;}
  }

@inproceedings{ haugh:1988a,
  author = {Brian Haugh},
  title = {Tractable Theories of Multiple Defeasible Inheritance in
  	Ordinary Non-Monotonic Logics},
  booktitle = {Proceedings of the Seventh National Conference on
              Artificial Intelligence},
  year = {1988},
  editor = {Reid Smith and Tom Mitchell},
  pages = {421--426},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {inheritance-theory;tractable-logics;}
  }

@book{ haupt-haupt:1998a,
  author = {Randy I Haupt and Sue Ellen Haupt},
  title = {Practical Genetic Algorithms},
  publisher = {John Wiley and Sons},
  year = {1998},
  address = {New York},
  topic = {genetic-algorithms;}
 }

@phdthesis{ hauptman:1991a,
  author = {Alexander G. Hauptman},
  title = {Meaning from Structure in Natural Language Interfaces},
  school = {Carnegie Mellon University},
  year = {1991},
  type = {Ph.{D}. Dissertation},
  address = {Pittsburgh},
  topic = {computational-linguistics;nl-interfaces;}
 }

@article{ hauser_k:2007a,
  author = {Kai Hauser},
  title = {Review of \emph{{P}henomenology, Logic, and the Philosophy
  		of Mathematics}, by {R}ichard {T}iesen},
  journal = {The Bulletin of Symbolic Logic},
  year = {2007},
  volume = {13},
  number = {3},
  pages = {365--367},
  xref = {Review of: tiesen:2005a},
  topic = {Husserl;phenomenology;philosophy-of-mathematics;}
  }

@book{ hausman_dm:1992a,
  author = {Daniel M. Hausman},
  title = {The Inexact and Separate Science of Economics},
  publisher = {Cambridge University Press},
  year = {1992},
  address = {Cambridge, England},
  xref = {Review: phillips_d:1994a.},
  topic = {philosophy-of-economics;}
 }

@article{ hausman_dm:1996a,
  author = {Daniel M. Hausman},
  title = {Causation and Counterfactual Dependence Reconsidered},
  journal = {No\^us},
  year = {1996},
  volume = {30},
  number = {1},
  pages = {55--74},
  topic = {causality;conditionals;}
  }

@inproceedings{ hausman_dm:1997a,
  author = {Daniel M. Hausman},
  title = {Causation, Agency, and Independence},
  booktitle = {{PSA} 1996: Proceedings of the 1996 Biennial Meetings
		of the {P}hilosophy of {S}cience {A}ssociation},
  year = {1997},
  editor = {Lindley Darden},
  pages = {S15--S25},
  organization = {Philosophy of Science Association},
  publisher = {Philosophy of Science Association},
  note = {Supplementary Issue of Philosophy of Science.},
  topic = {causality;agency;}
  }

@article{ hausman_dm-woodward_j:2004a,
  author = {Daniel M. Hausman and James Woodward},
  title = {Manipulation and the Causal {M}arkov Condition},
  journal = {Philosophy of Science},
  year = {2004},
  volume = {71},
  number = {5},
  pages = {846--856},
  note = {Philosophy of Science: Proceedings of the
  	2002 Biennial Meeting of the
	Philosophy of Science Association, Part 2: Symposia
	Papers.  Edited by Sandra D. Mitchell.},
  topic = {causality;ability;}
  }

@book{ hausser_r:1999a,
  author = {Roland Hausser},
  title = {Foundations of Computational Linguistics:
  	Man-Machine Communication in Natural Language},
  publisher = {Springer-Verlag},
  year = {1999},
  address = {Berlin},
  xref = {Review: gelbukh:2000a},
  topic = {computational-linguistics;}
 }

@article{ hausser_r:2001a,
  author = {Roland Hausser},
  title = {Database Semantics for Natural Language},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {130},
  number = {1},
  pages = {27--74},
  topic = {nl-interpretation;}
  }

@article{ haussler:1988a,
  author = {David Haussler},
  title = {Quantifying Inductive Bias: {AI} Learning Algorithms and
  	{V}aliant'S Learning Framework},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {36},
  number = {1},
  pages = {177--221},
  topic = {machine-learning;}
  }

@incollection{ hautamaki:1992a,
  author = {Antti Hautam\"aki},
  title = {A Conceptual Space Approach to Semantic Networks},
  booktitle = {Semantic Networks in Artificial Intelligence},
  publisher = {Pergamon Press},
  year = {1992},
  editor = {Fritz Lehmann},
  pages = {517--525},
  address = {Oxford},
  topic = {kr;semantic-networks;inheritance-theory;kr-course;}
  }

@article{ haviland_se-clark_hh:1974a,
  author = {S.E. Haviland and Herbert H. Clark},
  title = {What's New?  Acquiring New Information as a Process in
  	Comprehension},
  journal = {Journal of Verbal Learning and Verbal Behavior},
  year = {1974},
  volume = {13},
  pages = {512--521},
  missinginfo = {A's 1st name, number},
  topic = {given-new;cognitive-psychology;pragmatics;}
  }

@incollection{ hawes:1983a,
  author = {Leonard C. Hawes},
  title = {Conversational Coherence},
  booktitle = {Conversational Coherence: Form, Structure and
  	Strategy},
  publisher = {Sage Publications},
  year = {1983},
  editor = {Robert T. Craig and Karen Tracey},
  pages = {285--320},
  address = {London},
  topic = {discourse-coherence;discourse-analysis;
  	transcription-methodology;pragmatics;}
  }

@book{ hawking:1988a,
  author = {Stephen Hawking},
  title = {A Brief History of Time},
  publisher = {Bantam Books},
  year = {1988},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {physical-time;}
 }

@book{ hawking-penrose:1996a,
  author = {Stephen Hawking and Roger Penrose},
  title = {The Nature of Space and Time},
  publisher = {Princeton University Press},
  year = {1996},
  address = {Princeton, New Jersey},
  ISBN = {0-691-03791-4},
  rtnote = {In RHT collection.  To take to Montana.},
  topic = {physics;quantum-mechanics;relativity-theory;}
 }

@article{ hawkins_j:2005a,
  author = {Jeff Hawkins},
  title = {Response to Reviews by {F}eldman, {P}erlis, {T}aylor},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {169},
  number = {2},
  pages = {196--200},
  xref = {Response to: feldman:2005a, perlis:2005a, taylor_jg:2005a},
  xref = {Response to reviews of: hawkins_j-blakeslee:2004a},
  topic = {neurocognition;foundations-of-AI;}
  }

@book{ hawkins_j-blakeslee:2004a,
  author = {Jeff Hawkins and Sandra Blakeslee},
  title = {On Intelligence},
  publisher = {Times Books},
  year = {2004},
  address = {New York},
  ISBN = {0-8050-7456-2},
  xref = {Reviews: feldman:2005a, perlis:2005a, taylor_jg:2005a},
  topic = {neurocognition;foundations-of-AI;}
 }

@book{ hawkins_ja:1978a,
  author = {John A. Hawkins},
  title = {Definiteness and Indefiniteness: A Study in
  	Reference and Grammaticality Production},
  publisher = {John A. Hawkins},
  year = {1978},
  address = {Atlantic Highlands, New Jersey},
  xref = {Review: harris_m:1980a.},
  topic = {indefiniteness;definiteness;}
 }

@unpublished{ hawkins_r:1978a,
  author = {Roger Hawkins},
  title = {Adverbs in and out of Focus},
  year = {1978},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  topic = {adverbs;}
  }

@unpublished{ hawley:2002a,
  author = {Katherine Hawley},
  title = {Success and Knowing How},
  year = {2002},
  note = {Unpublished manuscript, St. Andrews.},
  rtnote = {In RHT collection.},
  topic = {knowing-how;}
  }

@unpublished{ hawthorn:1980a,
  author = {John Hawthorn},
  title = {The Consistency of Natural Languages},
  year = {1980},
  note = {Unpublished manuscript, McGill University.},
  rtnote = {In RHT collection.},
  topic = {semantic-paradoxes;}
  }

@book{ hawthorne-gendler:2002a,
  editor = {John Hawthorne and Tamar Szabo Gendler},
  title = {Conceivability and Possibility},
  publisher = {Oxford University Press},
  year = {2002},
  address = {Oxford},
  contentnote = {TC:
     1.  Tamar Szabo Gendler, John Hawthorne, "Introduction", pp. 1--69
     2.  George Bealer, "Modal Epistemology and the Rationalist
     		Renaissance", 71--126
     3.  John Campbell, "Berkeley's Puzzle", pp. 127--144
     4.  David Chalmers, "Does Conceivability Entail
     		Possibility?", pp. 145--200
     5.  Gregory Currie, "Desire in Imagination", pp. 201--222
     6.  Michael Della Rocca, "Essentialism versus Essentialism", 223--252
     7.  Kit Fine, "The Varieties of Necessity", pp. 253--282
     8.  Gideon Rosen, "A Study in Model Deviance", pp. 283--308
     9.  Alan Sidelle, "On the Metaphysical Contingency of Laws of
     		Nature", pp. 309--336
     10. Roy Sorensen, "The Art of the Impossible", pp. 337--368
     11. Ernest Sosa, "Reliability and the a Priori", pp. 369--384
     12. Robert Stalnaker, "What is it Like to be a Zombie?", pp. 385--400
     13. Crispin Wright, "The Conceivability of Naturalism", pp. 401--440
     14. Stephen Yablo, "Coulda, Woulda, Shoulda", pp. 441--492
     },
  ISBN = {0-19-825089-4},
  topic = {possibility;imaginability;}
 }

@unpublished{ hawthorne_j-aarnio:2009a,
  author = {John Hawthorne and Maria Lasonen-Aarnio},
  title = {Knowledge and Objective Chance},
  year = {2009},
  note = {Unpublished manuscript, Oxford University},
  rtnote = {In RHT collection.},
  url = {http://www.philosophy.ox.ac.uk/__data/assets/pdf_file/0009/1161/Knowledge_and_Chance.pdf},
  topic = {knowledge;epistemology;future-knowledge;}
  }

@article{ hawthorne_j1:1993a,
  author = {James Hawthorne},
  title = {Bayesian Induction Is Eliminative Induction},
  journal = {Philosophical Topics},
  year = {1994},
  volume = {21},
  number = {1},
  pages = {99--138},
  topic = {induction;}
  }

@article{ hawthorne_j1:1996a,
  author = {James Hawthorne},
  title = {On the Logic of Nonmonotonic Conditionals and Conditional
  	Probabilities},
  journal = {Journal of Philosophical Logic},
  year = {1996},
  volume = {25},
  number = {2},
  pages = {185--218},
  rtnote = {Read this.},
  topic = {conditionals;nonmonotonic-conditionals;probability;}
  }

@article{ hawthorne_j1:1996b,
  author = {James Hawthorne},
  title = {Mathematical Instrumentalism Meets the Conjunction Objection},
  journal = {Journal of Philosophical Logic},
  year = {1996},
  volume = {25},
  number = {4},
  pages = {333--361},
  topic = {philosophy-of-science;}
  }

@article{ hawthorne_j1:1998a,
  author = {James Hawthorne},
  title = {On the Logic of Nonmonotonic Conditionals and
		Conditional Probabilities: Predicate Logic},
  journal = {Journal of Philosophical Logic},
  year = {1998},
  volume = {27},
  number = {1},
  pages = {1--34},
  topic = {conditionals;nonmonotonic-logic;ity-semantics
		primitive-conditional-probability;}
  }

@article{ hawthorne_j1:2004a,
  author = {James Hawthorne},
  title = {Three Models of Sequential Belief Updating on Uncertain Evidence},
  journal = {Journal of Philosophical Logic},
  year = {2004},
  volume = {33},
  number = {1},
  pages = {89--123},
  topic = {probability-kinematics;}
  }

@article{ hawthorne_j1-makinson:2007a,
  author = {James Hawthorne and David Makinson},
  title = {The Quantitative/Qualitative Watershed for Rules of
  		Uncertain Inference},
  journal = {Studia Logica},
  year = {2007},
  volume = {86},
  number = {2},
  pages = {247--297},
  topic = {qualitative-utility;qualitative-probability;
  		foundations-of-probability;}
  }

@article{ hawthorne_j2:2000a,
  author = {John Hawthorne},
  title = {Before Effect and {Z}eno Causality},
  journal = {No\^us},
  year = {2000},
  volume = {34},
  number = {4},
  pages = {622--633},
  topic = {paradoxes-of-physical-infinity;}
  }

@article{ hawthorne_j2:2002a,
  author = {John Hawthorne},
  title = {Lewis, the Lottery and the Preface},
  journal = {Analysis},
  year = {2002},
  volume = {62},
  number = {3},
  pages = {242--251},
  rtnote = {Get copy.  But online access through Mirlyn didn't work.},
  doi = {10.1093/analys/62.3.242},
  topic = {paradox-of-the-preface;lottery-paradox;}
  }

@book{ hawthorne_j2:2004a,
  author = {John Hawthorne},
  title = {Knowledge and Lotteries},
  publisher = {

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit