text:
and Discourse Processes},
  publisher = {Academic Press},
  year = {1985},
  editor = {Terry Myers and Keith Brown and Brendan McGonigle},
  pages = {93--115},
  address = {New York},
  topic = {pragmatic-reasoning;}
  }

@article{ hahmann-etal:2009a,
  author = {Torsten Hahmann and Michael Winter and Michael Gruninger},
  title = {Stonian {p}-Ortholattices: A New Approach to the
         Mereotopology RT$_0$},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {15},
  pages = {1424--1440},
  topic = {spatial-reasoning;mereotopology;}
  }

@book{ hahn_le:1998a,
  editor = {L.E. Hahn},
  title = {The Philosophy of {P}.{F}. {S}trawson},
  publisher = {Open Court},
  year = {1998},
  address = {LaSalle, Illinois},
  xref = {Review: bezuidenhout:2001a.},
  ISBN = {0812693779 (hardcover)},
  rtnote = {UMich Undergraduate, B 1667 .S383 P45 1998.},
  topic = {Strawson;analytic-philosophy;philosophy-of-language;}
 }

@inproceedings{ hahn_u1-schnattinger:1998a,
  author = {Udo Hahn and Klemens Schnattinger},
  title = {A Text Understander that Learns},
  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 = {476--482},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {machine-learning;text-understanding;}
 }

@inproceedings{ hahn_u1-strube:1997a,
  author = {Udo Hahn and Michael Strube},
  title = {Centered Segmentation: Scaling up the Centering Model
  	to Global Discourse Structure},
  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 = {104--111},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {discourse-structure;anaphora-resolution;centering;anaphora;}
 }

@book{ hahn_u2-ramscar:2001a,
  editor = {Ulrike Hahn and Michael Ramscar},
  title = {Similarity and Categorization},
  publisher = {Oxford University Press},
  year = {2001},
  address = {Oxford},
  ISBN = {0-19-850628-7},
  xref = {Review: love:2002a.},
  topic = {categorization;similarity;cognitive-psychology;}
 }

@book{ hahnle:1993a,
  editor = {Reiner H\"ahnle},
  title = {Automated Deduction in Multiple-Valued Logics},
  publisher = {Oxford University Press},
  year = {1993},
  address = {Oxford},
  ISBN = {0198539894 (Hbk.)},
  rtnote = {UMich Media Union Library, QA 76.9 .A96 H341 1993.},
  topic = {multivalued-logic;theorem-proving;}
 }

@article{ haigh-balch:2000a,
  author = {Karen Zitka Haigh and Tucker Balch},
  title = {{AAAI-98} Robot Exhibition},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {21},
  number = {1},
  pages = {67--76},
  topic = {robotics;}
  }

@article{ haik:1987a,
  author = {Isabelle Ha\"ik},
  title = {Bound {VP}s That Need to Be},
  journal = {Linguistics and Philosophy},
  year = {1987},
  volume = {10},
  number = {4},
  pages = {503--530},
  topic = {VP-ellipsis;government-binding-theory;}
  }

@article{ hailperin:1961a,
  author = {Theodore Hailperin},
  title = {A Complete Set of Axioms for Logical Formulas Invalid in Some
  	Finite Domain},
  journal = {{Z}eitschrift {f}\"ur {M}athematische {L}ogik and
  	{G}rundlagen {d}er {M}athematik},
  year = {1961},
  volume = {7},
  pages = {84--96},
  xref = {Review: Mostowski in JSL 27, pp. 108--109.},
  missinginfo = {number.},
  topic = {mathematical-logic;axiomatizing-invalidities;}
  }

@book{ hailperin:1982a,
  author = {B.T. Hailperin},
  title = {Verifying Concurrent Processes Using Temporal Logic},
  publisher = {Springer-Verlag},
  year = {1982},
  number = {129},
  series = {Lecture Notes in Computer Science},
  address = {Berlin},
  missinginfo = {A's 1st name.},
  topic = {temporal-logic;distributed-systems;}
 }

@article{ hailperin:2000a,
  author = {Theodore Hailperin},
  title = {Probability Semantics for Quantifier Logic},
  journal = {Journal of Philosophical Logic},
  year = {2000},
  volume = {29},
  number = {2},
  pages = {207--239},
  topic = {probability-semantics;}
  }

@article{ hailperin:2001a,
  author = {Theodore Hailperin},
  title = {Potential Infinite Models and Ontologically Neutral Logic},
  journal = {Journal of Philosophical Logic},
  year = {2001},
  volume = {30},
  number = {1},
  pages = {79--96},
  topic = {substitutional-quantification;}
  }

@article{ hailpern:1985a,
  author = {B.T. Hailperin},
  title = {A Simple Protocol Whose Proof Isn't},
  journal = {{IEEE} Transactions on Communications},
  year = {1985},
  volume = {COM-33},
  number = {4},
  pages = {330--337},
  missinginfo = {A's 1st name, number},
  topic = {communication-protocols;}
  }

@unpublished{ haiman:1984a,
  author = {John Haiman},
  title = {Constraints on the Form and Meaning of the Protasis},
  year = {1984},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {conditionals;}
  }

@incollection{ haiman:1986a,
  author = {John Haiman},
  title = {Constraints on the Form and Meaning of the Protasis},
  booktitle = {On Conditionals},
  publisher = {Cambridge University Press},
  year = {1986},
  editor = {Elizabeth Traugott and Alice {ter Meulen} and Judy Reilly},
  pages = {215--228},
  address = {Cambridge, England},
  topic = {conditionals;}
  }

@incollection{ haimerl:1997a,
  author = {Edgar Haimerl},
  title = {A Database Application for the Generation
		of Phonetic Atlas Maps},
  booktitle = {Linguistic Databases},
  publisher = {{CSLI} Publications},
  year = {1997},
  editor = {John Nerbonne},
  pages = {103--116},
  address = {Stanford, California},
  topic = {linguistic-databases;dialectology;}
  }

@article{ hajdinjak-milelic:2006a,
  author = {Melita Hajdinjak and France Miheli\v{c}},
  title = {The {\sc paradise} Evaluation Framework:  Issues and Findings},
  journal = {Computational Linguistics},
  year = {2006},
  volume = {32},
  number = {2},
  pages = {263--272},
  topic = {spoken-dialogue-systems;software-evaluation;}
  }

@article{ hajek_a:1989a,
  author = {Alan H\'ajek},
  title = {Probabilities of Conditionals---Revisited},
  journal = {Journal of Philosophical Logic},
  year = {1989},
  volume = {18},
  number = {4},
  pages = {423--428},
  topic = {conditionals;probability;CCCP;}
  }

@incollection{ hajek_a:1994a,
  author = {Alan H\'ajek},
  title = {Triviality on the Cheap?},
  booktitle = {Probability and Conditionals: Belief Revision and Rational
       Decision},
  publisher = {Cambridge University Press},
  year = {1994},
  pages = {113--140},
  editor = {Ellery Eells and Brian Skyrms},
  address = {Cambridge, England},
  topic = {probability;conditionals;CCCP;}
  }

@incollection{ hajek_a-hall_n:1994a,
  author = {Alan H\'ajek and Ned Hall},
  title = {The Hypothesis of the Conditional Construal of Conditional
  	Probability},
  booktitle = {Probability and Conditionals: Belief Revision and Rational
       Decision},
  publisher = {Cambridge University Press},
  year = {1994},
  pages = {75--111},
  editor = {Ellery Eells and Brian Skyrms},
  address = {Cambridge, England},
  topic = {probability;conditionals;CCCP;}
  }

@article{ hajek_a-harper_wl:1996a,
  author = {Alan H\'ajek and Willam L. Harper},
  title = {Full Belief and Probability: Comments on van {F}raassen},
  journal = {Dialogue},
  year = {1996},
  volume = {36},
  missinginfo = {pages},
  rtnote = {In RHT collection.},
  topic = {foundations-of-probability;belief-revision;belief;lottery-paradox;}
  }

@article{ hajek_p:1993a,
  author = {Petr H\'ajek},
  title = {Epistemic Entrenchment and Arithmetical Hierarchy},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {62},
  number = {1},
  pages = {79--87},
  acontentnote = {Abstract:
     If the underlying theory is sufficiently rich (e.g. like
     first-order arithmetic), then no epistemic entrenchment preorder
     of sentences is recursively enumerable.  Consequently, the set of
     all defeasible proofs (determined by such a fixed preorder) is
     not recursively enumerable and hence, a fortiori, nonrecursive.
     On the other hand there is a satisfactorily rich epistemic
     entrenchment preorder < such that < itself, the corresponding
     set of defeasible proofs, and the corresponding relation of
     defeasible provability are limiting recursive and, consequently,
     this type of defeasible provability is closely related to
     provability in experimental logics in the sense of Jeroslow.
     Relation to the work by Pollock is also discussed.  },
   topic = {epistemic-entrenchment;nonmonotonic-logics;}
  }

@book{ hajek_p:1996a,
  editor = {Petr H\'ajek},
  title = {G\"odel'96: Logical Foundations of Mathematics, Computer
  	Science, and Physics--Kurt {G}\"odel's Legacy},
  publisher = {Springer-Verlag},
  year = {1996},
  address = {Berlin},
  ISBN = {3540614346 (softcover)},
  rtnote = {UMich Science, QA 9 .A1 G61 1996.},
  topic = {Goedel;}
 }

@book{ hajek_p:1998a,
  author = {Petr H\'ajek},
  title = {Metamathematics of Fuzzy Logic},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  address = {Dordrecht},
  xref = {Review: pelletier:2000a.},
  topic = {fuzzy-logic;}
 }

@article{ hajek_p:2000a,
  author = {Petr H\'ajek},
  title = {Review of \emph{{T}he Philosophical Computer: Exploratory Essays in
  	Philosophical Computer Modeling}, by {P}atrick {G}rim and {G}ary
	{M}at and {P}aul {St. Denis} and the {G}roup for {L}ogic and {F}ormal
	{S}emantics},
  journal = {The Bulletin of Symbolic Logic},
  year = {2000},
  volume = {6},
  number = {3},
  pages = {347--349},
  xref = {Review of grim-etal:1998a.},
  topic = {philosophy-education;computational-philosophy;}
  }

@article{ hajek_p:2001a,
  author = {Petr H\'ajek},
  title = {Fuzzy Logic and Arithmetical Hierarchy {III}},
  journal = {Studia Logica},
  year = {2001},
  volume = {68},
  number = {1},
  pages = {129--142},
  topic = {fuzzy-logic;arithmetic-hierarchy;}
  }

@article{ hajek_p:2002a,
  author = {Petr H\'ajek},
  title = {A New Small Emendation of {G}\"odel's Ontological Proof},
  journal = {Studia Logica},
  year = {2002},
  volume = {71},
  number = {2},
  pages = {149--164},
  topic = {ontological-argument;Goedel;}
  }

@article{ hajek_p:2006a,
  author = {Petr H\'ajek},
  title = {Review of \emph{{A}n Introduction to Non-Classical Logic}, by
  		{G}raham {P}riest},
  journal = {The Bulletin of Symbolic Logic},
  year = {2006},
  volume = {12},
  number = {2},
  pages = {294--295},
  xref = {Review of: priest:2001a},
  topic = {relevance-logic;many-valued-logic;fuzzy-logic;}
  }

@article{ hajek_p:2006b,
  author = {Petr Haj\'ek},
  title = {Mathematical Fuzzy Logic---What It Can Learn from
  		{M}ostowski and {R}asiowa},
  journal = {Studia Logica},
  year = {2006},
  volume = {84},
  number = {1},
  pages = {51--62},
  topic = {fuzzy-logic;}
  }

@article{ hajek_p:2008a,
  author = {Petr H\'ajek},
  title = {Review of \emph{{A}n Introduction to Non-Classical Logic:
  		From If to Is}, by {G}raham {P}riest},
  journal = {The Bulletin of Symbolic Logic},
  year = {2008},
  volume = {14},
  number = {4},
  pages = {544--545},
  xref = {Review of: priest:2008a.},
  topic = {conditionals;modal-logic;intuitionistic-logic;
  	relevance-logic;fuzzy-logic;multivalued-logic;}
  }

@article{ hajek_p:2009a,
  author = {Petr H\'ajek},
  title = {On Vagueness, Truth Values and Fuzzy Logics},
  journal = {Studia Logica},
  year = {2009},
  volume = {91},
  number = {3},
  pages = {367--382},
  topic = {multivalued-logic;vagueness;fuzzy-logic;}
  }

@article{ hajek_p-cintula:2006a,
  author = {Petr H\'ajek and Petr Cintula},
  title = {On Theories and Models in Fuzzy Predicate Logics},
  journal = {Journal of Symbolic Logic},
  year = {2006},
  volume = {71},
  number = {3},
  pages = {863--880},
  topic = {fuzzy-logic;}
  }

@article{ hajek_p-etal:1996a,
  author = {Petr H\'ajek and Lluis Godo and Francesc Esteva},
  title = {A Complete Many-Valued Logic with Product-Conjunction},
  journal = {Archive for Mathematical Logic},
  year = {1996},
  volume = {35},
  pages = {191--208},
  xref = {Review: montagna:2000b.},
  topic = {fuzzy-logic;algebraic-logic;}
  }

@article{ hajek_p-etal:2000a,
  author = {Petr H\'ajek and Jeff Paris and John Shepardson},
  title = {The Liar Paradox and Fuzzy Logic},
  journal = {Journal of Symbolic Logic},
  year = {2000},
  volume = {65},
  number = {1},
  pages = {339--346},
  topic = {multivalued-logic;semantic-paradoxes;}
  }

@article{ haji-mckenna:2004a,
  author = {Ishtiyaque Haji and Michael McKenna},
  title = {Dialectical Delicacies in the Debate about Freedom and
  	Alternative Possibilities},
  journal = {The Journal of Philosophy},
  year = {2004},
  volume = {101},
  number = {6},
  pages = {299--314},
  topic = {freedom;volition;blameworthiness;}
  }

@article{ haji-mckenna:2006a,
  author = {Ishtiyaque Haji and Michael McKenna},
  title = {Defending {F}rankfurt's Argument in Deterministic Contexts:
  	A Reply to {P}almer},
  journal = {The Journal of Philosophy},
  year = {2006},
  volume = {103},
  number = {7},
  pages = {363--372},
  topic = {freedom;volition;blameworthiness;}
  }

@inproceedings{ hajic-hladka:1998a,
  author = {Jan Haji\v{c} and Barbora Hladk\'a},
  title = {Tagging Inflective Languages: Prediction of Morphological
  	Categories for a Rich Structured Tagset},
  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 = {483--490},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {computational-morphology;part-of-speech-tagging;
  	Czech-language;}
}

@incollection{ hajicova:1981a,
  author = {Eva Haji\v{c}ov\'a},
  title = {A Dependency-Based Parser for Topic
     		and Focus},
  booktitle = {Current Issues in Parsing Technology},
  publisher = {Kluwer Academic Publishers},
  year = {1981},
  editor = {Masaru Tomita},
  pages = {127--138},
  address = {Dordrecht},
  topic = {parsing-algorithms;dependency-grammar;topic;focus;}
  }

@article{ hajicova:2006a,
  author = {Eva Haji\v{c}ov\'a},
  title = {Old Linguists Never Die, They Only Get Obligatorily Deleted},
  journal = {Computational Linguistics},
  year = {2006},
  volume = {32},
  number = {4},
  pages = {457--469},
  contentnote = {This has to do with the ideas of the Prague School.},
  topic = {history-of-linguistics;}
  }

@incollection{ hajicova-rosen_a:1994a,
  author = {Eva Haji\v{c}ov\'a and Alexandr Rosen},
  title = {Machine Readable Dictionary as a Source of Grammatical
  	Information},
  booktitle = {Current Issues in Computational Linguistics: Essays in
  	Honour of {D}on {W}alker},
  publisher = {Giardini Editori e Stampatori and Kluwer Academic
  	Publishers},
  year = {1994},
  editor = {Antonio Zampolli and Nicoletta Calzolari and Martha Palmer},
  pages = {191--199},
  address = {Pisa and Dordrecht},
  topic = {machine-readable-dictionaries;}
  }

@article{ hajnicz:1995a,
  author = {Elizabieta Hajnicz},
  title = {Some Considerations on Non-Linear Time Intervals},
  journal = {Journal of Logic, Language, and Information},
  year = {1995},
  volume = {4},
  number = {4},
  pages = {335--357},
  topic = {branching-time;interval-logic;}
  }

@article{ hajnicz:1996a,
  author = {Elizabeta Hajnicz},
  title = {Applying {A}llen's Constraint Propagation Algorithm for
  	Non-Linear Time},
  journal = {Journal of Logic, Language, and Information},
  year = {1996},
  volume = {5},
  number = {2},
  pages = {157--175},
  rtnote = {tmix-project;},
  topic = {temporal-reasoning;branching-time;kr;kr-course;}
  }

@article{ hajnicz:1999a,
  author = {Elz\hspace{-.9ex}\raisebox{1.3ex}{.}\hspace{.2ex}bieta Hajnicz},
  title = {Some Considerations on Branching Areas of Time},
  journal = {Journal of Logic, Language, and Information},
  year = {1999},
  volume = {8},
  number = {1},
  pages = {17--43},
  topic = {branching-time;tmix-project;continuous-branching-time;}
  }

@article{ hakeem-shah:2007a,
  author = {Asaad Hakeem and Mubarak Shah},
  title = {Learning, Detection and Representation of Multi-Agent
  		Events in Videos},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {8--9},
  pages = {586--605},
  topic = {event-recognition;machine-learning;}
  }

@article{ haken-cook_s:1999a,
  author = {Armin Haken and Stephen Cook},
  title = {An Exponential Lower Bound for the Size of Monotone Real
  	Circuits},
  journal = {Journal of Computer and System Sciences},
  year = {1999},
  volume = {23},
  number = {2},
  pages = {326--335},
  rtnote = {In RHT collection.},
  topic = {complexity-theory;complexity-lower-bounds;}
  }

@article{ hakutani-hargis:1972a,
  author = {Y. Hakutani and C.H. Hargis},
  title = {The Syntax of Modal Constructions in {E}nglish},
  journal = {Lingua},
  year = {1972},
  volume = {30},
  pages = {301--332},
  missinginfo = {A's 1st name, number},
  topic = {modals;English-language;nl-syntax;}
  }

@article{ halbach:1997a,
  author = {Volker Halbach},
  title = {Tarskian and {K}ripkean Truth},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {26},
  number = {1},
  pages = {69--80},
  topic = {truth;}
  }

@article{ halbach:1999a,
  author = {Volker Halbach},
  title = {Conservative Theories of Classical Truth},
  journal = {Studia Logica},
  year = {1999},
  volume = {62},
  number = {2},
  pages = {353--370},
  topic = {truth;cut-free-deduction;}
  }

@article{ halbach:2001a,
  author = {Volker Halbach},
  title = {Editorial Introduction},
  journal = {Studia Logica},
  year = {2001},
  volume = {68},
  number = {1},
  note = {This is an introduction to a special issue on methods for
  	investigating self-referential theories of truth.},
  pages = {3--20},
  topic = {truth;semantic-paradoxes;fixpoints;}
  }

@article{ halbach:2001b,
  author = {Volker Halbach},
  title = {Disquotational Truth and Analyticity},
  journal = {Journal of Symbolic Logic},
  year = {2001},
  volume = {66},
  number = {4},
  pages = {1959--1973},
  topic = {truth;analyticity;}
  }

@article{ halbach-etal:2003a,
  author = {Volker Halbach and Hannes Leitger and Philip Welch},
  title = {Possible Worlds Semantics for Modal Notions Conceived
  		as Predicates},
  journal = {Journal of Philosophical Logic},
  year = {2003},
  volume = {32},
  number = {2},
  pages = {179--223},
  topic = {modal-logic;}
  }

@incollection{ halbach-etal:2005a,
  author = {Volker Halbach and Hannes Leitgeb and Philip Welch},
  title = {Possible Worlds Semantics for Predicates},
  booktitle = {Intensionality},
  publisher = {A.K. Peters, Ltd.},
  year = {2005},
  editor = {Reinhard Kahle},
  pages = {20--41},
  address = {Wellesley, Massachusetts},
  topic = {modal-logic;provability-logic;syntactic-attitudes;}
  }

@article{ halbach-hornstein:2006a,
  author = {Volker Halbach and Leon Hornstein},
  title = {Axiomatizing {K}ripke's Theory of Truth},
  journal = {Journal of Symbolic Logic},
  year = {2006},
  volume = {71},
  number = {2},
  pages = {677--712},
  topic = {truth;semantic-paradoxes;fixpoints;partial-logic;
  	ramified-type-theory;}
  }

@article{ halbasch_k:1971a,
  author = {Keith Halbasch},
  title = {A Critical Examination of {R}ussell's View of Facts},
  journal = {No\^us},
  year = {1971},
  volume = {5},
  number = {4},
  pages = {395--409},
  topic = {Russell;philosophical-ontology;facts;}
  }

@incollection{ hale_b:2002a,
  author = {Bob Hale},
  title = {The Source of Necessity},
  booktitle = {Philosophical Perspectives 16: Language and Mind, 2002},
  publisher = {Blackwell Publishers},
  year = {2002},
  editor = {James E. Tomberlin},
  pages = {299--319},
  address = {Oxford},
  topic = {necessary-truth;}
  }

@book{ hale_b-wright_c:1997a,
  editor = {Bob Hale and Crispin Wright},
  title = {Blackwell Companion to the Philosophy of Language},
  publisher = {Blackwell},
  year = {1997},
  address = {Oxford},
  contentnote = {TC:
  	1. David Wiggins, "Meaning and Truth Conditions: From
		Frege's Grand Design to Davidson's"
	2. John Skorupski, "Meaning, use, verification"
	3. Anita Avramides, "Intention and convention"
	4. Charles Travis, "Pragmatics"
	5. Barry Loewer, "Guide to Naturalizing Semantics"
	6. Edward Craig, "Meaning and Privacy"
	7. Alexander Miller, "Tacit Knowledge"
       10. Jane Heal, "Interpretation"
       11. Mark Richard, "Propositional Attitudes"
       12. Christopher Peacocke, "Holism"
       13. Richard Moran, "Metaphor"
       14. Bob Hale, "Realism and its oppositions "
       15. Ralph C.S. Walker, "Theories of truth"
       16. Paul Artin Boghossian, "Analyticity"
       17. Bob Hale, "Rule-Following, Objectivity and Meaning"
       18. Crispin Wright, "Indeterminacy of Translation"
       19. Bob Hale and Crispin Wright, "Putnam's Model-Theoretic
       		Argument against Metaphysical Realism"
       20. Richard Mark Sainsbury and Timothy Williamson, "Sorites"
       21. Bob Hale, "Modality"
       22. Graeme Forbes, "Essentialism"
       23. Robert Stalnaker, "Reference and Necessity"
       24. Jason Stanley, "Names and Rigid Designation", pp. 555--583
       25. John Perry, "Indexicals and Demonstratives"
       26. E.J. Lowe, "Objects and Criteria of Identity"
       27. Harold Noonan,  "Relative Identity"},
  ISBN = {0631167579},
  rtnote = {UMich GRAD REFERENCE (Non-Circulating), P 106 .C59451 1997.},
  topic = {philosophy-of-language;}
 }

@book{ hale_b-wright_c:2001a,
  author = {Bob Hale and Crispin Wright},
  title = {The Reason's Proper Study: Essays toward
  	a Neo-{F}regean Philosophy of Mathematics},
  publisher = {Oxford University Press},
  year = {2001},
  address = {Oxford},
  xref = {Review: uzquiano:2006a.},
  topic = {foundations-of-mathematics;logicism;(im)predicativity;}
 }

@article{ hale_j:2007a,
  author = {John Hale},
  title = {Review of \emph{{O}n the Logic and Learning of Language}, by
  		{S}ean {A}. {F}ulop},
  journal = {Journal of Logic, Language, and Information},
  year = {2007},
  volume = {16},
  number = {2},
  pages = {217--220},
  xref = {Review of: fulop:2004a.},
  topic = {type-theory;grammar-formalisms;L1-language-learning;}
  }

@incollection{ hale_k:1971a,
  author = {Kenneth Hale},
  title = {A Note on the {W}albiri Tradition of Antonymy},
  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 = {472--482},
  address = {Cambridge, England},
  topic = {Australian-languages;antonymy;}
  }

@book{ hale_k:1981a,
  author = {Ken Hale},
  title = {On the Position of {W}albiri in a Typology of the Base},
  publisher = {Indiana University Linguistics Club},
  year = {1982},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {Walbiri-language;universal-grammar;}
 }

@article{ hale_k:1999a,
  author = {Ken Hale},
  title = {A Response to {F}odor and {LePore}, `Impossible
		Words?'},
  journal = {Linguistic Inquiry},
  year = {1999},
  volume = {30},
  number = {3},
  pages = {453--466},
  xref = {Criticism, discussion of: fodor_ja-lepore:1996a.},
  topic = {lexical-semantics;}
  }

@incollection{ hale_k-keyser:1992a,
  author = {Ken Hale and {Samuel Jay} Keyser},
  title = {The Syntactic Character of Thematic Structure},
  booktitle = {Thematic Structure: Its Role in Grammar},
  publisher = {Foris Publications},
  year = {1992},
  editor = {Iggy M. Roca},
  pages = {107--143},
  address = {Berlin},
  topic = {thematic-roles;argument-structure;}
  }

@article{ hall_ej:2007a,
  author = {Eric J. Hall},
  title = {Review of \emph{{F}undamentals of Mathematical Logic},
  		by {P}eter {H}inman},
  journal = {The Bulletin of Symbolic Logic},
  year = {2007},
  volume = {13},
  number = {3},
  pages = {363--365},
  xref = {Review of: hinman:2005a},
  topic = {logic-intro;}
  }

@incollection{ hall_n:1994a,
  author = {Ned Hall},
  title = {Back in the {CCCP}},
  booktitle = {Probability and Conditionals: Belief Revision and Rational
       Decision},
  publisher = {Cambridge University Press},
  year = {1994},
  pages = {141--160},
  editor = {Ellery Eells and Brian Skyrms},
  address = {Cambridge, England},
  topic = {probability;primitive-conditional-probability;
  	nonstandard-probability;}
  }

@article{ hall_n:2000a,
  author = {Ned Hall},
  title = {Causation and the Price of Transitivity},
  journal = {The Journal of Philosophy},
  year = {2000},
  volume = {97},
  number = {4},
  pages = {198--222},
  topic = {causality;}
  }

@article{ hall_n:2002a,
  author = {Ned Hall},
  title = {Non-Locality on the Cheap?  A New Problem for Counterfactual
  	Analyses of Causation},
  journal = {No\^us},
  year = {2002},
  volume = {36},
  number = {2},
  pages = {276--294},
  topic = {conditionals;causality;}
  }

@unpublished{ hall_n:2003a,
  author = {Ned Hall},
  title = {The Intrinsic Character of Causation},
  year = {2003},
  note = {Unpublished manuscript, Massachusetts Institute of Technology},
  rtnote = {In RHT collection.},
  topic = {causality;metaphysics;}
  }

@article{ hall_n:2004a,
  author = {Ned Hall},
  title = {Rescued from the Rubbish Bin: {L}ewis on Causation},
  journal = {Philosophy of Science},
  year = {2004},
  volume = {71},
  number = {5},
  pages = {1107--1114},
  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 = {David-Lewis;causality;}
  }

@article{ hall_rp:1987a,
  author = {Rogers P.  Hall},
  title = {Computational Approaches to Analogical Reasoning: A
  	Comparative Analysis},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {39},
  number = {1},
  pages = {39--120},
  topic = {analogy;analogical-reasoning;}
  }

@article{ hallam-malcolm:1994a,
  author = {J.C.T. Hallam and C.A. Malcolm},
  title = {Behaviour: Perception,
     		Action and Intelligence---The View from Situated
		Robotics},
  journal = {Philosophical Transactions of the Royal Society, Series A:
  	Physical Sciences and Engineering},
  year = {1994},
  volume = {349},
  number = {1689},
  pages = {9--42},
  note = {Available at http://www.jstor.org/journals/09628428.html},
  rtnote = {In RHT collection.  Zip disk.},
  topic = {philosophy-AI;cognitive-architectures;robotics;
  	agent-environment-interaction;minimalist-AI;
	foundations-of-cognitive-science;}
  }

@article{ halle:1964a,
  author = {Phillip R. Halle},
  title = {On So-Called `Counterfactual Conditionals'\,},
  journal = {The Journal of Philosophy},
  year = {1964},
  volume = {62},
  number = {24},
  pages = {273--278},
  contentnote = {The components of a subjunctive conditional are
  		not declaratives, therefore are not true or false.
		So the problem of counterfactuals has been
		misunderstood.},
  topic = {subjunctive-mood;conditionals;}
  }

@incollection{ halle:1978a,
  author = {Morris Halle},
  title = {Knowledge Taught and Untaught},
  booktitle = {Linguistic Theory and Psychological Reality},
  publisher = {The {MIT} Press},
  year = {1978},
  editor = {Morris Halle and Joan Bresnan and George A. Miller},
  pages = {294--303},
  address = {Cambridge, Massachusetts},
  topic = {phonology;philosophy-of-linguistics;foundations-of-linguistics;}
  }

@incollection{ halle:1990a,
  author = {Morris Halle},
  title = {Phonology},
  booktitle = {Language: An Invitation to Cognitive Science,
     Vol. 1.},
  publisher = {The {MIT} Press},
  year = {1990},
  editor = {Daniel N. Osherson and Howard Lasnik},
  pages = {43--68},
  address = {Cambridge, Massachusetts},
  topic = {phonology;}
  }

@book{ halle-etal:1978a,
  editor = {Morris Halle and Joan Bresnan and George A. Miller},
  title = {Linguistic Theory and Psychological Reality},
  publisher = {The {MIT} Press},
  year = {1978},
  address = {Cambridge, Massachusetts},
  ISBN = {0262080958},
  rtnote = {UMich GRADUATE LIBRARY, P37 .L74.},
  contentnote = {TC:
     1. Joan Bresnan, "A Realistic Transformational Grammar", pp. 1--59
     2. George Miller, "Semantic Relations among Words", pp. 60--118
     3. Eric Wanner and Michael Maratsos, "An {ATN} Approach to
     		Comprehension", pp. 119--161
     4. Keith Stenning, "Anaphora as an Approach to Pragmatics", pp. 162--200
     5. Ray Jackendoff, "Grammar as Evidence for Conceptual
     		Structure", pp. 201--228
     6. Edgar B. Zurif and Sheila E. Blumstein, "Language and the
     		Brain", pp. 229--245
     7. Michael Maratson, "New Models in Linguistics and Language
     		Acquisition", pp. 246--263
     8. Susan Carey, "The Child as Word Learner", pp. 264--293
     9. Morris Halle, "Knowledge Taught and Untaught", pp. 294--303
     	},
  topic = {nl-syntax;psycholinguistics;foundations-of-cognitive-science;}
  }

@incollection{ haller-shapiro_sc:1996a,
  author = {Susan M. Haller and Stuart C. Shapiro},
  title = {{IDP}---An Interactive Discourse Planner},
  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 = {144--167},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {discourse-planning;nl-generation;}
  }

@article{ halliday_d:1975a,
  author = {David Halliday},
  title = {Left-Branch {NP}'s in {E}nglish: A Bar Notation Analysis},
  journal = {Linguistic Analysis},
  year = {1975},
  volume = {1},
  number = {3},
  pages = {279--296},
  rtnote = {In RHT collection.},
  topic = {X-bar-theory;phrase-structure-syntax;}
  }

@book{ halliday_m:1985a,
  author = {Michael A. K. Halliday},
  title = {An Introduction to Functional Grammar},
  publisher = {Edward Arnold},
  year = {1985},
  address = {London},
  topic = {functional-grammar;}
 }

@book{ halliday_m-hasan:1976a,
  author = {M.A.K. Halliday and Ruqaiya Hasan},
  title = {Cohesion in {E}nglish},
  publisher = {Longman},
  year = {1976},
  address = {London},
  rtnote = {HILLMAN PE1421 H34},
  topic = {discourse-coherence;pragmatics;}
}

@article{ hallman_p:2009a,
  author = {Peter Hallman},
  title = {Proportions in Time: Interactions of Quantification and
  	Aspect},
  journal = {Natural Language Semantics},
  year = {2009},
  volume = {17},
  number = {1},
  pages = {29--61},
  topic = {proportional-quantifiers;progressive-aspect;event-semantics;
  	intensionality;}
  }

@techreport{ halpern:1983a,
  author = {Joseph Y. Halpern},
  title = {A Logic to Reason about Likelihood},
  institution = {IBM Research Division},
  number = {RJ 4136 (45774)},
  year = {1983},
  address = {A Logic to Reason about Likelihood},
  rtnote = {In RHT collection.},
  topic = {probabilistic-reasoning;probability;}
  }

@book{ halpern:1986a,
  editor = {Joseph Y. Halpern},
  title = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the First Conference ({TARK} 1986)},
  publisher = {Morgan Kaufmann Publishers, Inc.},
  year = {1986},
  address = {Los Altos, California},
  rtnote = {In RHT collection.},
  topic = {reasoning-about-knowledge;epistemic-logic;}
 }

@inproceedings{ halpern:1986b,
  author = {Joseph Y. Halpern},
  title = {Reasoning about Knowledge: An Overview},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the First Conference},
  year = {1986},
  editor = {Joseph Y. Halpern},
  pages = {1--17},
  publisher = {Morgan Kaufmann Publishers, Inc.},
  address = {Los Altos, California},
  topic = {reasoning-about-knowledge;epistemic-logic;}
  }

@book{ halpern:1986c,
  editor = {Joseph Y. Halpern},
  title = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the First Conference ({TARK} 1986)},
  publisher = {Morgan Kaufmann Publishers, Inc.},
  year = {1986},
  address = {Los Altos, California},
  topic = {reasoning-about-knowledge;epistemic-logic;}
 }

@inproceedings{ halpern:1988a,
  author = {Joseph Y. Halpern},
  title = {Reasoning about Knowledge: A Tutorial},
  booktitle = {Proceedings of the Second Conference on Theoretical
  	Aspects of Reasoning about Knowledge},
  year = {1988},
  editor = {Moshe Y. Vardi},
  pages = {161},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  topic = {epistemic-logic;reasoning-about-knowledge;protocol-analysis;}
  }

@techreport{ halpern:1990a,
  author = {Joseph Y. Halpern},
  title = {A Note on Knowledge-Based Protocols and Specifications},
  institution = {{IBM} Research Laboratory},
  number = {RJ 8454},
  year = {1990},
  address = {San Jose, California},
  topic = {protocol-analysis;epistemic-logic;}
  }

@article{ halpern:1990b,
  author = {Joseph Y. Halpern},
  title = {An Analysis of First-Order Logics of Probability},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {46},
  number = {3},
  pages = {311--350},
  acontentnote = {Abstract:
     We consider two approaches to giving semantics to first-order
     logics of probability. The first approach puts a probability on
     the domain, and is appropriate for giving semantics to formulas
     involving statistical information such as ``The probability that
     a randomly chosen bird flies is greater than 0.9''. The second
     approach puts a probability on possible worlds, and is
     appropriate for giving semantics to formulas describing degrees
     of belief such as ``The probability that Tweety (a particular
     bird) flies is greater than 0.9''. We show that the two
     approaches can be easily combined, allowing us to reason in a
     straightforward way about statistical information and degrees of
     belief. We then consider axiomatizing these logics. In general,
     it can be shown that no complete axiomatization is possible. We
     provide axiom systems that are sound and complete in cases where
     a complete axiomatization is possible, showing that they do
     allow us to capture a great deal of interesting reasoning about
     probability.
  },
  topic = {probability-semantics;}
  }

@inproceedings{ halpern:1993a,
  author = {Joseph Halpern},
  title = {Reasoning about Only Knowing with Many Agents},
  booktitle = {Proceedings of the Eleventh National Conference on
              Artificial Intelligence},
  year = {1993},
  editor = {Richard Fikes and Wendy Lehnert},
  pages = {655--661},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {kr;epistemic-logic;nonmonotonic-logic;kr-course;}
  }

@incollection{ halpern:1993b,
  author = {Joseph Y. Halpern},
  title = {Reasoning about Knowledge: A Survey Circa 1991},
  booktitle = {Encyclopedia of Computer Science and Technology},
  publisher = {Marcel Dekker},
  year = {1993},
  editor = {A. Kent and J.G. Williams},
  pages = {665--661},
  address = {New York},
  note = {Volume 27 (Supplement 12).},
  missinginfo = {E's 1st name.},
  topic = {reasoning-about-knowledge;}
  }

@inproceedings{ halpern:1993c,
  author = {Joseph Y. Halpern},
  title = {A Critical Reexamination of Default Logic, Autoepistemic
  	Logic, and Only Knowing},
  booktitle = {Proceedings, Third {G}\"odel Colloquium},
  year = {1993},
  publisher = {Springer Verlag},
  address = {Berlin},
  missinginfo = {editor, pages, specific topic},
  topic = {nonmonotonic-logic;autoepistemic-logic;}
  }

@article{ halpern:1995a,
  author = {Joseph Y. Halpern},
  title = {The Effect of Bounding the Number of Primitive
  	Propositions and the Depth of Nesting on the Complexity of
	Modal Logic},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {75},
  number = {2},
  pages = {361--372},
  topic = {modal-logic;complexity-in-AI;}
  }

@inproceedings{ halpern:1996a,
  author = {Joseph Y. Halpern},
  title = {Defining Relative Likelihood in Partially-Ordered
  	Structures},
  booktitle = {Proceedings of the Twelfth Conference on Uncertainty
  	in Artificial Intelligence},
  year = {1996},
  pages = {299--306},
  missinginfo = {Organization, editor, publisher, address.},
  topic = {qualitative-probability;}
  }

@article{ halpern:1996b,
  author = {Joseph Y. Halpern},
  title = {Should Knowledge Entail Belief?},
  journal = {Journal of Philosophical Logic},
  year = {1996},
  volume = {25},
  number = {5},
  pages = {483--494},
  topic = {epistemic-logic;belief;philosophy-of-belief;}
  }

@incollection{ halpern:1996c,
  author = {Joseph Y. Halpern},
  title = {On Ambiguities in the Interpretation of Game Trees},
  booktitle = {Theoretical Aspects of Rationality and Knowledge:
  	Proceedings of the Sixth Conference ({TARK} 1996)},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Yoav Shoham},
  pages = {77--96},
  address = {San Francisco},
  rtnote = {Read this.},
  topic = {game-theory;resource-limited-reasoning;game-trees;
  	reasoning-about-knowledge;absent-minded-driver-problem;
	temporal-reasoning;}
  }

@article{ halpern:1997a,
  author = {Joseph Y. Halpern},
  title = {A Critical Reexamination of Default Logic, Autoepistemic
  	Logic, and Only Knowing},
  journal = {Computational Intelligence},
  year = {1997},
  volume = {13},
  number = {1},
  pages = {144--163},
  rtnote = {In RHT collection.},
  topic = {default-logic;autoepistemic-logic;epistemic-logic;
  	nonmonotonic-logic;}
  }

@article{ halpern:1997b,
  author = {Joseph Y. Halpern},
  title = {A Theory of Knowledge and Ignorance for Many Agents},
  journal = {Journal of Logic and Computation},
  year = {1997},
  volume = {7},
  number = {1},
  pages = {79--108},
  rtnote = {In RHT collection.},
  topic = {autoepistemic-logic;epistemic-logic;
  	nonmonotonic-logic;}
  }

@article{ halpern:1997c,
  author = {Joseph Y. Halpern},
  title = {On Ambiguities in the Interpretation of Game Trees},
  journal = {Games and Economic Behavior},
  year = {1997},
  volume = {20},
  pages = {66--96},
  missinginfo = {number},
  topic = {foundations-of-game-theory;}
  }

@inproceedings{ halpern:1998a,
  author = {Joseph Y. Halpern},
  title = {Hypothetical Knowledge and Counterfactual Reasoning},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Seventh Conference ({TARK} 1998)},
  year = {1998},
  editor = {Itzhak Gilboa},
  pages = {83--96},
  publisher = {Morgan Kaufmann},
  address = {San Francisco, California},
  topic = {reasoning-about-knowledge;conditionals;
  	foundations-of-game-theory;}
  }

@inproceedings{ halpern:1998b,
  author = {Joseph Y. Halpern},
  title = {Characterizing the Common Prior Assumption},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Seventh Conference ({TARK} 1998)},
  year = {1998},
  editor = {Itzhak Gilboa},
  pages = {133--146},
  publisher = {Morgan Kaufmann},
  address = {San Francisco, California},
  topic = {reasoning-about-knowledge;foundations-of-game-theory;
  	common-prior-assumption;}
  }

@article{ halpern:2000a,
  author = {Joseph Y. Halpern},
  title = {Review of \emph{{P}robability and Conditionals: Belief
  	Revision and Rational Decision}, edited by {E}llery {E}ells
	and {B}rian {S}kyrms},
  journal = {The Philosophical Review},
  year = {2000},
  volume = {109},
  number = {2},
  pages = {277--281},
  xref = {Review of eells-skyrms:1994a.},
  topic = {probability;conditionals;CCCP;}
  }

@unpublished{ halpern:2000b,
  author = {Joseph Y. Halpern},
  title = {Lexicographic Probability, Conditional Probability,
  	and Nonstandard Probability},
  year = {2000},
  note = {Unpublished manuscript, Department of Computer Science,
  	Cornell University.  Available at
	http://www.cs.cornell.edu/home/halpern},
  rtnote = {In RHT collection.},
  topic = {primitive-conditional-probability;nonstandard-probability;}
  }

@book{ halpern:2003a,
  author = {Joseph Y. Halpern},
  title = {Reasoning about Uncertainty},
  publisher = {The {MIT} Press},
  year = {2003},
  address = {Cambridge, Massachusetts},
  xref = {Review: pratthartmann:2004a.},
  ISBN = {0-262-08320-5},
  topic = {reasoning-about-uncertainty;}
 }

@incollection{ halpern:2004a,
  author = {Joseph Y. Halpern},
  title = {Sleeping Beauty Reconsidered:  Conditioning and Reflection
  		in Asynchronous Systems},
  booktitle = {{KR}2004: Principles of Knowledge Representation and
  		Reasoning},
  publisher = {AAAI Press},
  year = {2004},
  editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams},
  pages = {12--22},
  address = {Menlo Park, California},
  topic = {sleeping-beauty-problem;multiagent-epistemic-logic;
  		synchronization;}
  }

@incollection{ halpern:2004b,
  author = {Joseph Y. Halpern},
  title = {Intransitivity and Vagueness},
  booktitle = {{KR}2004: Principles of Knowledge Representation and
  		Reasoning},
  publisher = {AAAI Press},
  year = {2004},
  editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams},
  pages = {121--129},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.  File drawers.},
  topic = {vagueness;modal-logic;multiagent-epistemic-logic;}
  }

@inproceedings{ halpern-etal:1990a,
  author = {Joseph Y. Halpern and Yoram Moses and O. Waarts},
  title = {A Characterization of Eventual {B}yzantine Agreement},
  booktitle = {Proceedings of the Ninth {ACM} Symposium on
  	Principles of Distributed Computing},
  year = {1990},
  pages = {333--346},
  missinginfo = {editor, publisher},
  topic = {Byzantine-agreement;communication-protocols;}
  }

@incollection{ halpern-etal:1994a,
  author = {Jospeh Y. Halpern and Yoram Moses and Moshe Y. Vardi},
  title = {Algorithmic Knowledge},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fifth Conference ({TARK} 1994)},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Ronald Fagin},
  pages = {255--266},
  address = {San Francisco},
  topic = {knowing-how;epistemic-logic;}
  }

@article{ halpern-etal:2001a,
  author = {Joseph Y. Halpern and Robert Harper and Neil Immerman
  	and Phokion G. Kolaitis and Moshe Vardi and Victor Vianu},
  title = {On the Unusual Effectiveness of Logic in Computer Science},
  journal = {The Bulletin of Symbolic Logic},
  year = {2001},
  volume = {7},
  number = {2},
  pages = {213--236},
  topic = {logic-in-cs;}
  }

@article{ halpern-etal:2009a,
  author = {Joseph Y. Halpern and Dov Samet and Ella Segev},
  title = {On Definability in Multimodal Logic},
  journal = {The Review of Symbolic Logic},
  year = {2009},
  volume = {2},
  number = {3},
  pages = {451--468},
  topic = {multimodal-logic;definability;}
  }

@article{ halpern-etal:2009b,
  author = {Joseph Y. Halpern and Dov Samet and Ella Segev},
  title = {Defining Knowledge in Terms of Belief:  The Modal Logic
  		Perspective},
  journal = {The Review of Symbolic Logic},
  year = {2009},
  volume = {2},
  number = {3},
  pages = {469--487},
  topic = {epistemic-logic;knowledge;belief;definability;}
  }

@article{ halpern-fagin:1989a,
  author = {Joseph Y. Halpern and Ronald Fagin},
  title = {Modelling Knowledge and Action in Distributed Systems},
  journal = {Distributed Computing},
  year = {1989},
  volume = {3},
  number = {4},
  pages = {159--179},
  topic = {distributed-systems;protocol-design;}
  }

@inproceedings{ halpern-fagin:1990a,
  author = {Joseph Y. Halpern and Ronald Fagin},
  title = {Two Views of Belief: Belief as Generalized Probability and
  	Belief as Evidence},
  booktitle = {Proceedings of the Eighth National Conference on
              Artificial Intelligence},
  year = {1990},
  editor = {Thomas Dietterich and William Swartout},
  pages = {112--119},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  xref = {Journal publication: halpern-fagin:1992a.},
  topic = {belief-revision;probabilistic-reasoning;belief;}
  }

@article{ halpern-fagin:1992a,
  author = {Joseph Y. Halpern and Ronald Fagin},
  title = {Two Views of Belief: Belief as Generalized Probability and
  	Belief as Evidence},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {54},
  number = {3},
  pages = {275--317},
  acontentnote = {Abstract:
     Belief functions are mathematical objects defined to satisfy
     three axioms that look somewhat similar to the Kolmogorov axioms
     defining probability functions.  We argue that there are (at
     least) two useful and quite different ways of understanding
     belief functions.  The first is as a generalized probability
     function (which technically corresponds to the inner measure
     induced by a probability function).  The second is as a way of
     representing evidence.  Evidence, in turn, can be understood as a
     mapping from probability functions to probability functions.  It
     makes sense to think of updating a belief if we think of it as a
     generalized probability.  On the other hand, it makes sense to
     combine two beliefs (using, say, Dempster's rule of combination)
     only if we think of the belief functions as representing
     evidence.  Many previous papers have pointed out problems with
     the belief function approach; the claim of this paper is that
     these problems can be explained as a consequence of confounding
     these two views of belief functions.  },
  xref = {Conference publication: halpern-fagin:1990a.},
  topic = {belief-revision;probabilistic-reasoning;belief;}
  }

@inproceedings{ halpern-koller_d:1995a,
  author = {Joseph Halpern and Daphne Koller},
  title = {Representation Dependence in Probabilistic Inference},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {1853--1860},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  contentnote = {Explores an interesting property of KR systems; do
  	you get different answers if you represent in different
	but equivalent ways?},
  rtnote = {In RHT collection.},
  topic = {knowledge-representation;kr-course;probabilistic-reasoning;}
  }

@article{ halpern-lakemeyer:1995a,
  author = {Joseph Y. Halpern and Gerhard Lakemeyer},
  title = {Levesque's Axiomatization of Only Knowing is Incomplete},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {74},
  number = {2},
  pages = {381--387},
  topic = {nonmonotonic-logic;autoepistemic-logic;}
  }

@incollection{ halpern-lakemeyer:1996a,
  author = {Joseph Y. Halpern and Gerhard Lakemeyer},
  title = {Multi-Agent Only Knowing},
  booktitle = {Theoretical Aspects of Rationality and Knowledge:
  	Proceedings of the Sixth Conference ({TARK} 1996)},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Yoav Shoham},
  pages = {251--265},
  address = {San Francisco},
  topic = {epistemic-logic;nonmonotonic-logic;multiagent-epistemic-logic;}
  }

@techreport{ halpern-mcallester_da:1984a,
  author = {Joseph Y. Halpern and David A. McAllester},
  title = {Likelihood, Probability, and Knowledge},
  institution = {{IBM} Research Laboratory},
  number = {RJ 4313},
  year = {1984},
  address = {San Jose, California},
  rtnote = {In RHT collection.},
  topic = {branching-time;probability;}
  }

@inproceedings{ halpern-moses_y:1984a1,
  author = {Joseph Y. Halpern and Yoram Moses},
  title = {Towards a Theory of Knowledge and Ignorance},
  booktitle = {Proceedings of the {AAAI} Workshop on Non-Monotonic
  	Logic},
  year = {1984},
  pages = {125--143},
  organization = {{AAAI}},
  missinginfo = {editor, publisher, address},
  xref = {halpern-moses_y:1984a2},
  topic = {epistemic-logic;reasoning-about-knowledge;}
  }

@incollection{ halpern-moses_y:1984a2,
  author = {Joseph Y. Halpern and Yoram Moses},
  title = {Towards a Theory of Knowledge and Ignorance},
  booktitle = {Logics and Models of Concurrent Systems},
  publisher = {Springer-Verlag},
  year = {1985},
  editor = {Krzysztof R. Apt},
  pages = {459--476},
  address = {Berlin},
  xref = {halpern-moses_y:1984a1},
  topic = {epistemic-logic;reasoning-about-knowledge;}
  }

@techreport{ halpern-moses_y:1985a,
  author = {Joseph Y. Halpern and Yoram Moses},
  title = {A Guide to the Modal Logic of Knowledge and Belief},
  institution = {{IBM} Research Laboratory},
  number = {RJ 4753},
  year = {1985},
  address = {San Jose, California},
  rtnote = {In RHT collection.},
  topic = {epistemic-logic;}
  }

@article{ halpern-moses_y:1989a,
  author = {Joseph Y. Halpern and Yoram Moses},
  title = {Taken by Surprise:  The Paradox of the Surprise Test
  	Revisited},
  journal = {Journal of Philosophical Logic},
  year = {1989},
  volume = {15},
  number = {3},
  pages = {281--304},
  topic = {surprise-examination-paradox;}
  }

@article{ halpern-moses_y:1990a,
  author = {Joseph Y. Halpern and Yoram Moses},
  title = {Knowledge and Common Knowledge in a Distributed
  	Environment},
  journal = {Journal of the {ACM}},
  year = {1990},
  volume = {37},
  number = {3},
  pages = {549--587},
  topic = {epistemic-logic;mutual-belief;distributed-systems;}
  }

@article{ halpern-moses_y:1992a,
  author = {Joseph Y. Halpern and Yoram Moses},
  title = {A Guide to Completeness and Complexity for Modal Logics
  	of Knowledge and Belief},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {54},
  number = {3},
  pages = {319--379},
  topic = {complexity-in-AI;epistemic-logic;}
  }

@inproceedings{ halpern-moses_y:1998a,
  author = {Joseph Y. Halpern and Yoram Moses},
  title = {Using Counterfactuals in Knowledge-Based Programming},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Seventh Conference ({TARK} 1998)},
  year = {1998},
  editor = {Itzhak Gilboa},
  pages = {97--110},
  publisher = {Morgan Kaufmann},
  address = {San Francisco, California},
  topic = {reasoning-about-knowledge;conditionals;
  	knowledge-based-programming;}
  }

@unpublished{ halpern-pearl:2000a,
  author = {Joseph Y. Halpern and Judea Pearl},
  title = {Causes and Explanations: A Structural-Model Approach},
  year = {2000},
  note = {Unpublished manuscript, Cornell University and UCLA.},
  rtnote = {In RHT collection.},
  topic = {causality;explanation;structural-models;}
  }

@unpublished{ halpern-pearl:2000b,
  author = {Joseph Y. Halpern and Judea Pearl},
  title = {Causes and Explanations: A Structural-Model Approach},
  year = {2000},
  note = {Unpublished manuscript, Department of Computer Science,
  	Cornell University.},
  rtnote = {In RHT collection.},
  topic = {causality;explanation;structural-models;}
  }

@inproceedings{ halpern-pearl:2001a,
  author = {Joseph Y. Halpern and Judea Pearl},
  title = {Causes and Explanations: A Structural-Model Approach},
  year = {2001},
  booktitle = {Uncertainty in Artificial Intelligence. Proceedings of the
  	Seventeenth Conference (2001)},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  pages = {194--202},
  missinginfo = {Editor},
  topic = {causality;explanation;structural-models;}
  }

@unpublished{ halpern-pucella:2006a,
  author = {Joseph Y. Halpern and Riccardo Pucella},
  title = {Dealing with Logical Omniscience},
  year = {2006},
  note = {Unpublished manuscript, Cornell University},
  rtnote = {In RHT collection.},
  URL = {http://arxiv.org/pdf/cs.LO/0702011},
  topic = {hyperintensionality;}
  }

@article{ halpern-rabin:1987a,
  author = {Joseph Y. Halpern and Michael O. Rabin},
  title = {A Logic to Reason about Likelihood},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {32},
  number = {3},
  pages = {379--405},
  acontentnote = {Abstract:
     We present a logic LL which uses a modal operator L to help
     capture the notion of being likely.  Despite the fact that
     likelihood is not assigned quantitative values through
     probabilities, LL captures many of the properties of likelihood
     in an intuitively appealing way.  We give a possible-worlds style
     semantics to LL, and, using standard techniques of modal logic,
     we give a complete axiomatization for LL and show that
     satisfiability of LL formulas can be decided in exponential
     time.  We discuss how the logic might be used in areas such as
     medical diagnosis, where decision making in the face of
     uncertainties is crucial.  We conclude by using LL to give a
     formal proof of correctness of some aspects of a protocol for
     exchanging secrets.  },
  topic = {probability-semantics;probabilistic-reasoning;}
  }

@incollection{ halpern-rego:2006a,
  author = {Joseph Y. Halpern and Leandro Chaves R\'ego},
  title = {Reasoning about Knowledge of Unawareness},
  booktitle = {{KR}2006: Proceedings, Tenth International Conference on
      Principles of  Knowledge Representation and Reasoning},
  publisher = {AAAI Press},
  year = {2006},
  editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty},
  pages = {6--13},
  address = {Menlo Park, California},
  topic = {epistemic-logic;awareness;completeness-theorems;}
  }

@article{ halpern-reif:1983a,
  author = {Joseph Y. Halpern and John H. Reif},
  title = {The Propositional Logic of Deterministic, Well-Structured
  	Programs},
  journal = {Theoretical Computer Science},
  year = {1983},
  volume = {27},
  pages = {127--165},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {theory-of-programming-languages;}
  }

@unpublished{ halpern-shoham_y1:1984a,
  author = {Joseph Y. Halpern and Yoav Shoham},
  title = {A Propositional Modal Interval Logic},
  year = {1984},
  note = {Unpublished manuscript, IBM ALmaden Research Center},
  rtnote = {In RHT collection.},
  topic = {temporal-logic;modal-logic;tmix-project;}
  }

@article{ halpern-tuttle:1993a,
  author = {Joseph Y. Halpern and M.R. Tuttle},
  title = {Knowledge, Probability and Adversaries},
  journal = {Journal of the {ACM}},
  year = {1993},
  volume = {40},
  number = {4},
  pages = {917--962},
  missinginfo = {A's 1st name},
  rtnote = {Check Topic.},
  topic = {epistemic-logic;}
  }

@inproceedings{ halpern-vardi:1986a,
  author = {Joseph Y. Halpern and Moshe Y. Vardi},
  title = {The Complexity of Reasoning about Knowledge and Time},
  booktitle = {Proceedings of the Eighteenth Annual {ACM} Symposium on
  	Theory of Computing},
  year = {1986},
  pages = {304--315},
  organization = {{ACM}},
  missinginfo = {Editor, Publisher, Address},
  topic = {algorithmic-complexity;epistemic-logic;}
  }

@inproceedings{ halpern-vardi:1988c,
  author = {Joseph Y. Halpern and Moshe Y. Vardi},
  title = {The Complexity of Reasoning about Knowledge and Time
  	in Asynchonous Systems},
  booktitle = {Proceedings of the Twentieth Annual {ACM} Symposium on
  	Theory of Computing},
  year = {1986},
  pages = {53--65},
  organization = {{ACM}},
  missinginfo = {Editor, Publisher, Address},
  topic = {algorithmic-complexity;epistemic-logic;distributed-systems;}
  }

@article{ halpern-vardi:1989a,
  author = {Joseph Y. Halpern and Moshe Y. Vardi},
  title = {The Complexity of Reasoning about Knowledge and Time {I}:
  	Lower Bounds},
  journal = {Journal of Computer and System Sciences},
  year = {1989},
  volume = {38},
  number = {1},
  pages = {195--237},
  topic = {algorithmic-complexity;epistemic-logic;distributed-systems;}
  }

@incollection{ halpern-vardi:1991a1,
  author = {Joseph Y. Halpern and Moshe Y. Vardi},
  title = {Model Checking Versus Theorem Proving: A Manifesto},
  booktitle = {{KR}'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {325--334},
  address = {San Mateo, California},
  xref = {halpern-vardi:1991a1},
  topic = {kr;kr-course;theorem-proving;model-checking;}
  }

@incollection{ halpern-vardi:1991a2,
  author = {Joseph Y. Halpern and Moshe W. Vardi},
  title = {Model Checking Versus Theorem Proving: A Manifesto},
  booktitle = {Artificial Intelligence and Mathematical Theory of
  	Computation},
  publisher = {Academic Press},
  year = {1991},
  editor = {Vladimir Lifschitz},
  pages = {151--176},
  address = {San Diego},
  topic = {kr;kr-course;theorem-proving;model-checking;}
  }

@article{ halpern-zuck:1992a,
  author = {Joseph Y. Halpern and L.D. Zuck},
  title = {A Little Knowledge Goes a Long Way: Knowledge-Based
  	Derivations and Correctness Proofs for a Family of Protocols},
  journal = {Journal of the {ACM}},
  year = {1992},
  volume = {39},
  number = {3},
  pages = {449--478},
  missinginfo = {A's 1st name},
  topic = {protocol-analysis;epistemic-logic;}
  }

@article{ halpin:1988a,
  author = {John F. Halpin},
  title = {Indeterminism, Indeterminateness, and Tense Logic},
  journal = {Journal of Philosophical Logic},
  year = {1988},
  volume = {17},
  number = {3},
  pages = {207--219},
  acontentnote = {Abstract:
     In this paper, I distinguish the concept of an indeterminate
     future from the more general concept of an indeterministic
     future.  I then consider tense logics appropriate for the
     context of an indeterminate future.  The bulk of the paper deals
     with Richmond Thomason's theory of tense; I argue that this
     theory of tense, though it has important motivations, makes
     problematic claims about past tense, future tense, and truth
     operators of English.  For instance, I show that on Thomason's
     theory a statement of the form `It will be true that...' can be
     true even though the component sentence which fills in ...'  Is
     true at no time in the future.  I also argue that certain
     revisions of this theory fail as well.    },
  topic = {branching-time;tmix-project;future-contingent-propositions;}
  }

@article{ halvorsen_pk:1978a,
  author = {Per-Kristian Halvorsen},
  title = {Syntax and Semantics of Cleft-Constructions},
  journal = {Texas Linguistic Forum},
  year = {1978},
  volume = {11},
  missinginfo = {number, pages},
  rtnote = {In RHT collection.},
  topic = {presupposition;pragmatics;cleft-constructions;}
  }

@article{ halvorsen_pk:1983a,
  author = {Per-Kristian Halvorsen},
  title = {Semantics for Lexical-Functional Grammar},
  journal = {Linguistic Inquiry},
  year = {1983},
  volume = {3},
  pages = {567--615},
  topic = {nl-semantics;LFG;}
  }

@inproceedings{ halvorsen_pk:1988a,
  author = {Per-Kristian Halvorsen},
  title = {Situation Semantics and Semantic Interpretation in
		Constraint-Based Grammars},
  booktitle = {Proceedings of the International Conference on Fifth
		Generation Computer Systems},
  year = {1988},
  missinginfo = {Organization, publisher, address, pages},
  rtnote = {In RHT collection.},
  topic = {situation-semantics;constraint-based-grammar;}
  }

@inproceedings{ halvorsen_pk-kaplan_rm:1988a,
  author = {Per-Kristian Halvorsen and Ronald M. Kaplan},
  title = {Projections and Semantic Description in
		Lexical-Functional Grammar},
  booktitle = {Proceedings of the International Conference on Fifth
		Generation Computer Systems},
  year = {1988},
  missinginfo = {Organization, publisher, address, pages},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;LFG;}
  }

@article{ halvorsen_pk-ladusaw:1979a,
  author = {Per-Kristian Halvorsen and William A. Ladusaw},
  title = {Montague's `{U}niversal {G}rammar': An Introduction to the
  	Linguist},
  journal = {Linguistics and Philosophy},
  year = {1979},
  volume = {3},
  number = {2},
  pages = {185--223},
  topic = {Montague-grammar;}
  }

@article{ halvorson_h:2001a,
  author = {Hans Halvorson},
  title = {On the Nature of Continuous Physical Quantities in
  	Classical and Quantum Mechanics},
  journal = {Journal of Philosophical Logic},
  year = {2001},
  volume = {30},
  number = {1},
  pages = {27--50},
  topic = {foundations-of-physics;foundations-of-quantum-mechanics;
  	continuity;}
  }

@article{ halvorson_h-clifton_r:2002a,
  author = {Hans Halvorson and Rob Clifton},
  title = {No Place for Particles in Relativistic Quantum Theories?},
  journal = {Philosophy of Science},
  year = {2002},
  volume = {69},
  number = {1},
  pages = {1--28},
  topic = {foundations-of-quantum-mechanics;quantum-electrodynamics;
  	philosophy-of-physics;}
  }

@incollection{ hamamoto:1998a,
  author = {Hideki Hamamoto},
  title = {Irony from a Cognitive Perspective},
  booktitle = {Relevance Theory: Applications and Implications},
  publisher = {John Benjamins Publishing Co.},
  year = {1998},
  editor = {Robyn Carston and Seiji Uchida},
  pages = {257--270},
  address = {Amsterdam},
  topic = {relevance-theory;irony;}
  }

@book{ hamblin:1970a,
  author = {Charles L. Hamblin},
  title = {Fallacies},
  publisher = {Methuen},
  year = {1970},
  address = {London},
  rtnote = {BC175 .H3 1970},
  topic = {argumentation;vagueness;}
 }

@article{ hamblin:1971a,
  author = {Charles L. Hamblin},
  title = {Mathematical Models of Dialogue},
  journal = {Theoria},
  year = {1971},
  volume = {37},
  pages = {130--155},
  missinginfo = {number},
  topic = {discourse;dialogue-logic;pragmatics;}
  }

@article{ hamblin:1972a,
  author = {Charles L. Hamblin},
  title = {Quandaries and the Logic of Rules},
  journal = {Journal of Philosophical Logic},
  year = {1972},
  volume = {1},
  number = {1},
  pages = {74--85},
  topic = {deontic-logic;moral-conflict;}
  }

@article{ hamblin:1973a1,
  author = {Charles Hamblim},
  title = {Questions in {M}ontague {E}nglish},
  journal = {Foundations of Language},
  year = {1973},
  volume = {10},
  number = {1},
  pages = {41--53},
  xref = {Republication: hamblin:1973a2},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;interrogatives;Montague-grammar;}
  }

@incollection{ hamblin:1973a2,
  author = {Charles L. Hamblin},
  title = {Questions in {M}ontague {E}nglish},
  booktitle = {Montague Grammar},
  publisher = {Academic Press},
  year = {1976},
  editor = {Barbara H. Partee},
  address = {New York},
  pages = {247--259},
  rtnote = {In RHT collection.},
  xref = {Journal Publication: hamblin:1973a1},
  topic = {nl-semantics;interrogatives;Montague-grammar;}
  }

@book{ hamblin:1987a,
  author = {Charles L. Hamblin},
  title = {Imperatives},
  publisher = {Blackwell Publishers},
  year = {1987},
  address = {London},
  rtnote = {P281 H36 1987},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  topic = {imperatives;deontic-logic;}
 }

@book{ hamburger-richards_d:2002a,
  author = {Henry Hamburger and Dana Richards},
  title = {Logic and Language Models for Computer Science},
  publisher = {Prentice Hall},
  year = {2002},
  address = {Upper Saddle River, New Jersey},
  ISBN = {0-13-065487-6},
  rtnote = {In RHT Collection.  CS General shelves.},
  topic = {logic-in-CS-intro;}
 }

@article{ hamid-etal:2009a,
  author = {Raffay Hamid and Siddhartha Maddi and Amos Johnson and Aaron
  		Bobick and Irfan Essa and Charles Isbell},
  title = {A Novel Sequence Representation for Unsupervised Analysis
  		of Human Activities},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {14},
  pages = {1221--1244},
  topic = {scene-reconstruction;classification-of-visual-information;}
  }

@article{ hamm-lambalgen:2003a,
  author = {Fritz Hamm and Michiel van Lambalgen},
  title = {Event Calculus, Nominalization, and the Progressive},
  journal = {Linguistics and Philosophy},
  year = {2003},
  volume = {26},
  number = {4},
  pages = {381--458},
  topic = {nl-semantics;progressive-aspect;}
  }

@unpublished{ hamm-vanlambalgen:2000a,
  author = {Fritz Hamm and Michiel van Lambalgen},
  title = {Event Calculus, Nominalization, and the Progressive},
  year = {2000},
  note = {Unpublished manuscript, University of T\"ubingen},
  rtnote = {In RHT collection.},
  topic = {action-formalisms;tense-aspect;Aktionsarten;}
  }

@book{ hammer:1995a,
  author = {Eric M. Hammer},
  title = {Logic and Visual Information},
  publisher = {CSLI Publications},
  year = {1995},
  address = {Stanford, California},
  xref = {Review: lemon_oj:1997a.},
  topic = {statecharts;reasoning-with-diagrams;diagrams;
  	visual-reasoning;}
 }

@article{ hammer:1996a,
  author = {Eric M. Hammer},
  title = {Symmetry as a Method of Proof},
  journal = {Journal of Philosophical Logic},
  year = {1996},
  volume = {25},
  number = {5},
  pages = {523--543},
  topic = {visual-reasoning;symmetry;visual-reasoning;}
  }

@article{ hammer:1998a,
  author = {Eric M. Hammer},
  title = {Semantics for Existential Graphs},
  journal = {Journal of Philosophical Logic},
  year = {1998},
  volume = {27},
  number = {5},
  pages = {489--503},
  topic = {Peirce;existential-graphs;history-of-logic;}
  }

@article{ hammer-danner:1996a,
  author = {Eric M. Hammer and Norman Danner},
  title = {Towards a Model Theory of Diagrams},
  journal = {Journal of Philosophical Logic},
  year = {1996},
  volume = {25},
  number = {5},
  pages = {463--482},
  topic = {diagrams;visual-reasoning;reasoning-with-diagrams;}
  }

@article{ hammer-kogan:1993a,
  author = {Peter L. Hammer and Alexander Kogan},
  title = {Optimal Compression of Propositional {H}orn Knowledge Bases:
  	Complexity and Approximation},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {64},
  number = {1},
  pages = {131--145},
  acontentnote = {Abstract:
     Horn formulae play a prominent role in artificial intelligence
     and logic programming. In this paper we investigate the problem
     of optimal compression of propositional Horn production rule
     knowledge bases. The standard approach to this problem,
     consisting in the removal of redundant rules from a knowledge
     base, leads to an ``irredundant'' but not necessarily optimal
     knowledge base.  We prove here that the number of rules in any
     irredundant Horn knowledge base involving n propositional
     variables is at most n-1 times the minimum possible number of
     rules.  Therefore, the quadratic time transformation of an
     arbitrary Horn production rule base to an equivalent irredundant
     and prime one (presented in [9]) provides a reasonable
     approximation algorithm. In order to formalize the optimal
     compression problem, we define a Boolean function of a knowledge
     base as being the function whose set of true points is the set
     of models of the knowledge base.  In this way the optimal
     compression of production rule knowledge bases becomes a problem
     of Boolean function minimization. In this paper we prove that
     the minimization of Horn functions (i.e. Boolean functions
     associated to Horn knowledge bases) is NP-complete.
  },
  topic = {complexity-in-AI;compression-algorithms;Horn-theories;}
  }

@inproceedings{ hammond:1983a,
  author = {Kristen J. Hammond},
  title = {Planning and Goal Interaction: The Use of Past Solutions
  	in Present Situations},
  booktitle = {Proceedings of the Third National Conference on
              Artificial Intelligence},
  year = {1983},
  pages = {148--151},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {planning;plan-reuse;}
 }

@article{ hammond:1990a,
  author = {Kristian J. Hammond},
  title = {Explaining and Repairing Plans that Fail},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {45},
  number = {1--2},
  pages = {173--228},
  topic = {planning;plan-reuse;}
  }

@article{ hammond-etal:1995a,
  author = {Kristian J. Hammond and Timothy M. Converse and Joshua W.
  	Grass},
  title = {The Stabilization of Environments},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {72},
  number = {1--2},
  pages = {305--327},
  acontentnote = {Abstract:
     In planning and activity research there are two common
     approaches to matching agents with environments.  Either the
     agent is designed with a specific environment in mind, or it is
     provided with learning capabilities so that it can adapt to the
     environment it is placed in.  In this paper we look at a third
     and underexploited alternative: designing agents which adapt
     their environments to suit themselves.  We call this
     stabilization, and we present a taxonomy of types of stability
     that human beings typically both rely on and enforce.  We also
     taxonomize the ways in which stabilization behaviors can be cued
     and learned.  We illustrate these ideas with a program called
     FIXPOINT, which improves its performance over time by
     stabilizing its environment.},
  topic = {adapting-to-environments;planning;}
  }

@inproceedings{ hamon-etal:1998a,
  author = {Thierry Hamon and Adeline Nazarenko and C\'ecile Gros},
  title = {A Step towards the Detection of Semantic Variants of Terms
  	in Technical Documents},
  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 = {498--504},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {computational-semantics;synonymy;corpus-linguistics;}
}

@incollection{ hamp-feldwig:1997a,
  author = {Birgit Hamp and Helmut Feldwig},
  title = {Germa{N}et---A Lexical-Semantic Net for {G}erman},
  booktitle = {Automatic Information Extraction and Building of
  	Lexical Semantic Resources for {NLP} Applications},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Piek Vossen and Geert Adriaens and Nicoletta Calzolari
  	and Antonio Sanfilippo and Yorick Wilks},
  pages = {9--15},
  address = {New Brunswick, New Jersey},
  topic = {WordNet;German-language;}
  }

@article{ hampshire:1948a,
  author = {Stuart Hampshire},
  title = {Subjunctive Conditionals},
  journal = {Analysis},
  year = {1948},
  volume = {9},
  number = {1},
  pages = {9--14},
  xref = {Review: baylis:1949a.},
  rtnote = {In RHT collection.},
  topic = {conditionals;}
  }

@article{ hampshire:1965a,
  author = {Stuart Hampshire},
  title = {J.{L}. {A}ustin and Philosophy},
  journal = {The Journal of Philosophy},
  year = {1965},
  volume = {62},
  number = {19},
  pages = {511--513},
  topic = {JL-Austin;}
  }

@incollection{ hampshire:1969a,
  author = {Stuart Hampshire},
  title = {{J.L Austin}, 1911--1960},
  booktitle = {Symposium on J.L. Austin},
  publisher = {Routledge and Kegan Paul},
  year = {1969},
  editor = {K.T. Fann},
  pages = {33--48},
  address = {London},
  contentnote = {Contains comments by J.O Urmson and G.J. Warnock.},
  missinginfo = {E's 1st name.},
  topic = {JL-Austin;ordinary-language-philosophy;}
  }

@book{ hampshire:1971a,
  author = {Stuart Hampshire},
  title = {Freedom of the Will and Other Essays},
  publisher = {Princeton University Press},
  year = {1971},
  address = {Princeton, New Jersey},
  topic = {freedom;}
 }

@article{ hamscher:1991a,
  author = {Walter C. Hamscher},
  title = {Modeling Digital Circuits for Troubleshooting},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {51},
  number = {1--3},
  pages = {223--271},
  topic = {diagnosis;}
  }

@article{ han_cc-lee_ch:1988a,
  author = {Ching-Chih Han and Chia-Hoang Lee},
  title = {Comments on {M}ohr and {H}enderson's Path Consistency
  	Algorithm},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {36},
  number = {1},
  pages = {125--130},
  acontentnote = {Abstract:
     Mohr and Henderson have presented new algorithms for arc and
     path consistency in [1].  Though the underlying ideas of their
     algorithms are correct, the path consistency algorithm PC-3 is
     in error.  In this paper we point out the errors in this
     algorithm and give a correct one.  The time complexity and space
     complexity of the revised algorithm are also analyzed.},
  topic = {arc-(in)consistency;complexity-in-AI;}
  }

@phdthesis{ han_ch:1998a,
  author = {{Chung-Hye} Han},
  title = {The Structure and Interpretation of Imperatives: Mood and
  		Force in Universal Grammar},
  year = {1998},
  school = {University of Pennsylvania},
  type = {Ph.D. Dissertation},
  address = {Philadelphia},
  topic = {imperatives;nl-syntax;}
 }

@book{ han_jw-kamber:2001a,
  author = {Jiawei Han and Micheline Kamber},
  title = {Data Mining: Concepts and Techniques},
  publisher = {Morgan Kaufmann Publishers},
  year = {2001},
  address = {San Francisco},
  ISBN = {1558604898},
  rtnote = {UMich Media Union Library, QA 76.9 .D343 H361 2001.},
  xref = {Review: zhou_zh:2003a.},
  topic = {data-mining;}
 }

@article{ han_ys-choi_ks:1996a,
  author = {Young S. Han and Key-Sun Choi},
  title = {A Chart Re-Estimation Algorithm for a Probabilistic
  	Recursive Transition Network},
  journal = {Computational Linguistics},
  year = {1996},
  volume = {22},
  number = {3},
  pages = {421--429},
  topic = {recursive-transition-networks;probabilistic-algorithms;
  	chart-parsing;parsing-algorithms;}
  }

@article{ hancher:1979a,
  author = {Michael Hancher},
  title = {The Classification of Co-Operative Illocutionary Acts},
  journal = {Language in Society},
  year = {1979},
  volume = {8},
  number = {1},
  pages = {1--14},
  topic = {speech-acts;pragmatics;}
  }

@book{ hancock_pa-chignell:1989a,
  editor = {P.A. Hancock and M.H. Chignell},
  title = {Intelligent Interfaces: Theory, Research, and Design},
  publisher = {North-Holland Publishing Co.},
  year = {1989},
  address = {Amsterdam},
  ISBN = {0444873139},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 I581 1989.},
  topic = {HCI;}
 }

@article{ hancock_r:1960a,
  author = {R. Hancock},
  title = {Presuppositions},
  journal = {The Philosophical Quarterly},
  year = {1960},
  volume = {10},
  pages = {73--78},
  missinginfo = {A's 1st name, number},
  topic = {presupposition;pragmatics;}
  }

@article{ hand:1988a,
  author = {Michael Hand},
  title = {The Dependency Constraint: A Global Constraint
  	on Strategies in Game-Theoretic Semantics},
  journal = {Linguistics and Philosophy},
  year = {1988},
  volume = {11},
  number = {4},
  pages = {395--413},
  topic = {game-theoretic-semantics;nl-semantics;interrogatives;}
  }

@article{ hand:1991a,
  author = {Michael Hand},
  title = {On Saying That Again},
  journal = {Linguistics and Philosophy},
  year = {1991},
  volume = {14},
  number = {4},
  pages = {349--365},
  xref = {Commentary on lepore-loewer:1989a.},
  topic = {indirect-discourse;propositional-attitudes;propositions
  	philosophy-of-language;}
  }

@article{ hand:1993a,
  author = {Michael Hand},
  title = {Parataxis and Parentheticals},
  journal = {Linguistics and Philosophy},
  year = {1993},
  volume = {16},
  number = {5},
  pages = {495--507},
  topic = {Davidson;indirect-discourse;parentheticals;}
  }

@book{ hand-etal:2001a,
  author = {David Hand and Heikki Mannila and Padhraic Smyth},
  title = {Principles of Data Mining},
  publisher = {The MIT Press},
  year = {2001},
  address = {Cambridge, Massachusetts},
  xref = {Review: zhou_zh:2003a.},
  ISBN = {026208290X},
  rtnote = {UMich MEDIA UNION LIBRARY, QA 76.9 .D343 H381 2001.},
  topic = {data-mining;}
 }

@article{ handelman:1996a,
  author = {Eliot Handelman},
  title = {Review of \emph{{I}nteractive Music Systems: Machine
  	Listening and Composing}, by Robert Rowe},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {79},
  number = {2},
  pages = {349--359},
  xref = {Review of rowe:1993a.},
  topic = {AI-and-music;}
  }

@article{ hanika:2008a,
  author = {J\i\v{r}\'i Hanika},
  title = {L\'evy Hierarchy in Weak Set Theories},
  journal = {Journal of Philosophical Logic},
  year = {2008},
  volume = {37},
  number = {2},
  pages = {121--140},
  topic = {set-theory;}
  }

@book{ hankinson:1998a,
  author = {R.J. Hankinson},
  title = {Cause and Explanation in Ancient {G}reek Thought},
  publisher = {Oxford University Press},
  year = {1998},
  address = {Oxford},
  xref = {Review: ferejohn:2002a},
  topic = {causality;explanation;ancient-philosophy;}
 }

@article{ hanks_p:2006a,
  author = {Peter Hanks},
  title = {Review of \emph{{B}eyond Rigidity:  The Unfinished Semantic
  	Agenda of {N}aming and {N}ecessity}},
  journal = {No\^us},
  year = {2006},
  volume = {40},
  number = {1},
  pages = {184--203},
  xref = {Review of: soames:2002a.},
  topic = {proper-names;common-nouns;natural-kinds;philosophy-of-language;}
  }

@inproceedings{ hanks_s:1990a,
  author = {Steven Hanks},
  title = {Practical Temporal Projection},
  booktitle = {Proceedings of the Eighth National Conference on
              Artificial Intelligence},
  year = {1990},
  editor = {Thomas Dietterich and William Swartout},
  pages = {158--163},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {temporal-reasoning;planning-formalisms;}
  }

@inproceedings{ hanks_s-etal:1995a,
  author = {Steve Hanks and David Madigan and Jonathan Gavrin},
  title = {Probabilistic Temporal Reasoning with Endogenous Change},
  booktitle = {Proceedings of the Eleventh Conference on
		Uncertainty in Artificial Intelligence (UAI-95)},
  year = {1995},
  missinginfo = {editor, publisher, address, pages},
  rtnote = {In RHT collection.},
  topic = {temporal-reasoning;probabilistic-reasoning;}
  }

@techreport{ hanks_s-mcdermott_d:1985a,
  author = {Steven Hanks and Drew McDermott},
  title = {Temporal Reasoning and Default Logics},
  institution = {Department of Computer Science, Yale University},
  number = {YALEU/CSD/RR\#430},
  year = {1985},
  address = {New Haven, Connecticut},
  rtnote = {In RHT collection.},
  topic = {temporal-reasoning;nonmonotonic-reasoning;}
  }

@inproceedings{ hanks_s-mcdermott_d:1986a1,
  author = {Steven Hanks and Drew McDermott},
  title = {Default Reasoning, Nonmonotonic Logics and the
		Frame Problem},
  booktitle = {Proceedings of the Fifth National Conference on
              Artificial Intelligence},
  year = {1986},
  editor = {Tom Kehler and Stan Rosenschein},
  pages = {328--333},
  organization = {American Association for Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  rtnote = {In RHT collection.},
  xref = {Republication: hanks_s-mcdermott_d:1986a2.},
  topic = {temporal-reasoning;nonmonotonic-reasoning;frame-problem;}
  }

@incollection{ hanks_s-mcdermott_d:1986a2,
  author = {Steven Hanks and Drew McDermott},
  title = {Default Reasoning, Nonmonotonic Logics and the Frame
      Problem},
  booktitle = {Readings in Nonmonotonic Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Matthew L. Ginsberg},
  pages = {390--395},
  address = {Los Altos, California},
  xref = {Original Publication: hanks_s-mcdermott_d:1986a1.},
  topic = {temporal-reasoning;nonmonotonic-reasoning;frame-problem;}
  }

@article{ hanks_s-mcdermott_d:1987a,
  author = {Steven Hanks and Drew McDermott},
  title = {Non-Monotonic Logics and Temporal Projection},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {33},
  number = {3},
  pages = {379--412},
  topic = {kr;yale-shooting-problem;kr-course;}
  }

@article{ hanks_s-mcdermott_d:1994a,
  author = {Steven Hanks and Drew McDermott},
  title = {Modeling a Dynamic and Uncertain World {I}: Symbolic and
  	Probabilistic Reasoning about Change},
  journal = {Artificial Intelligence},
  volume = {66},
  number = {1},
  year = {1994},
  pages = {1--55},
  topic = {kr;temporal-reasoning;kr-course;}
  }

@inproceedings{ hanks_s-weld:1992a,
  author = {Steven Hanks and David Weld},
  title = {Systematic Adaptation for Case-Based Planning},
  booktitle = {Proceedings of the First International Conference on
               Artificial Intelligence Planning Systems},
  year = {1992},
  pages = {96--105},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  topic = {planning;plan-reuse;}
  }

@article{ hanks_s-weld:1995a,
  author = {Steven Hanks and Daniel S. Weld},
  title = {A Domain-Independent Algorithm for Plan Adaptation},
  journal = {Journal of Artificial Intelligence Research},
  year = {1995},
  volume = {2},
  pages = {319--360},
  rtnote = {In RHT collection.},
  topic = {plan-reuse;}
  }

@book{ hanna:2006a,
  author = {Robert Hanna},
  title = {Rationality and Logic},
  publisher = {The {MIT} Press},
  year = {2006},
  address = {Cambridge, Massachusetts},
  ISBN = {9780-262-08349-2},
  topic = {logic-and-cognition;}
 }

@article{ hanna_r:2006a,
  author = {Robert Hanna},
  title = {Rationality and the Ethics of Logic},
  journal = {The Journal of Philosophy},
  year = {2006},
  volume = {103},
  number = {2},
  pages = {67--100},
  topic = {rationality;foundations-of-logic;}
  }

@inproceedings{ hanschke:1992a,
  author = {Philip Hanschke},
  title = {How to Benefit from Terminological Logics?},
  booktitle = {Working Notes, {AAAI} Fall Symposium on Issues in Description
  	Logics: Users Meet Developers},
  year = {1992},
  editor = {Robert MacGregor},
  pages = {45--48},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {kr;krcourse;description-logics;relational-reasoning;}
  }

@incollection{ hanschke:1992b,
  author = {Philipp Hanschke},
  title = {Specifying Role Interaction in Concept Languages},
  booktitle = {{KR}'92. Principles of Knowledge Representation and
  	Reasoning: Proceedings of the Third International Conference},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Bernhard Nebel and Charles Rich and William Swartout},
  pages = {318--329},
  address = {San Mateo, California},
  topic = {description-logics;}
  }

@article{ hansen_ea-zilberstein:2001a,
  author = {Eric A. Hansen and Shlomo Zilberstein},
  title = {Monitoring and Control of Anytime Algorithms:
  	A Dynamic Programming Approach},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {126},
  number = {1--2},
  pages = {139--157},
  topic = {anytime-algorithms;metareasoning;}
  }

@article{ hansen_ea-zilberstein:2001b,
  author = {Eric A. Hansen and Shlomo Zilberstein},
  title = {{LAO}: A Heuristic-Search Algorithm that Finds Solutions
  	with Loops},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {129},
  number = {1--2},
  pages = {35--62},
  topic = {heuristics;search;dynamic-programming;Markov-decision-processes;}
  }

@incollection{ hansen_j:1998a,
  author = {J\"org Hansen},
  title = {On Relations Between {A}qvist's Deontic System {G} and
	  {V}an {E}ck's Deontic Temporal Logic},
  booktitle = {Norms, Logics and Information Systems.  New Studies in
		Deontic Logic and Computer Science},
  publisher = {IOS Press},
  year = {1998},
  editor = {Henry Prakken and Paul McNamara},
  pages = {129--146},
  address = {Amsterdam},
  topic = {deontic-logic;temporal-logic;}
  }

@book{ hansen_kb:1996a,
  author = {Kaj B\"orge Hansen},
  title = {Applied Logic},
  publisher = {Studia Philosophica Upsaliensala},
  year = {1996},
  address = {Uppsala},
  ISBN = {91-554-3845-8},
  xref = {Reviews: restall:1999a, shramko:1999a},
  topic = {philosophical-logic;}
 }

@article{ hanson_nr:1958a,
  author = {Norwood Russell Hanson},
  title = {The Logic of Discovery},
  journal = {The Journal of Philosophy},
  year = {1958},
  volume = {55},
  pages = {1073--1089},
  topic = {scientific-discovery;}
  }

@article{ hanson_nr:1960a,
  author = {Norwood Russell Hanson},
  title = {More on `The Logic of Discovery'},
  journal = {The Journal of Philosophy},
  year = {1960},
  volume = {57},
  pages = {182--188},
  topic = {scientific-doscovery;}
  }

@book{ hanson_p-hunter_b:1965a,
  editor = {Philip Hanson and Bruce Hunter},
  title = {Return of the A Priori},
  publisher = {University of Calgary Press},
  year = {1965},
  address = {Calgary},
  ISBN = {0919491189},
  rtnote = {UMich Graduate Library B 1 .C23 no.18.},
  topic = {a-priori;}
 }

@book{ hanson_pp:1990a,
  editor = {Philip P. Hanson},
  title = {Information, Language, and Cognition},
  publisher = {University of British Columbia Press},
  year = {1990},
  address = {Vancouver},
  contentnote = {TC:
  	1. Philip P. Hanson, "Preface",
	2. David J. Israel and John Perry, "What Is Information?"
	3. John W. Heintz, "Comment"
	4. Nicholas Asher, "Verbal Information, Interpretation, and
		Attitudes"
	5. Edward P. Stabler, Jr., "Comment"
	6. Robert F. Hadley, "Truth Conditions and Procedural Semantics"
	7. Zenon W. Pylyshyn, "Comment"
       10. Fred Dretske, "Putting Information to Work"
       11. Brian Cantwell Smith, "Comment"
       12. Lee R. Brooks, "Concept Formation and Particularizing Learning"
       13. Paul Thagard,  "Comment"
       14. Jerry Fodor, "Information and Representation"
       15. Ali Akhtar Kazmi, "Comment"
       16. Nicholas Asher, Lee R. Brooks, Fred Dretske, Jerry Fodor,
           John Perry, Zenon W. Pylyshyn, and Brian Cantwell Smith,
       	   David J. Israel, "Roundtable Discussion"
       17. Scott Soames, "Belief and Mental Representation"
       18. Fred Landman, "Partial Information, Modality, and Intentionality"
       19. Carl J. Pollard and M. Andrew Moshier, "Unifying Partial
       		Descriptions of Sets"
       20. Kim Sterelny, "Animals and Individualism"
       22. David Kirsh, "When Is Information Explicitly Represented?"
       23. Ian Pratt, "Psychological Inference, Constitutive
       		Rationality, and Logical Closure"
       23. John D. Collier, "Intrinsic Information"
   },
  ISBN = {0774803274},
  rtnote = {UMich Graduate Library Q 360 .I5411 1990},
  topic = {foundations-of-semantics;nl-semantics-and-cognition;
  	theories-of-information;}
 }

@book{ hanson_pr:1990a,
  editor = {Philip R. Hanson},
  title = {Information, Language, and Cognition},
  publisher = {University of British Columbia Press},
  year = {1990},
  address = {Vancouver},
  contentnote = {TC:
  	1. Philip P. Hanson, "Preface",
	2. David J. Israel and John Perry, "What Is Information?"
	3. John W. Heintz, "Comment"
	4. Nicholas Asher, "Verbal Information, Interpretation, and
		Attitudes"
	5. Edward P. Stabler, Jr., "Comment"
	6. Robert F. Hadley, "Truth Conditions and Procedural Semantics"
	7. Zenon W. Pylyshyn, "Comment"
       10. Fred Dretske, "Putting Information to Work"
       11. Brian Cantwell Smith, "Comment"
       12. Lee R. Brooks, "Concept Formation and Particularizing Learning"
       13. Paul Thagard,  "Comment"
       14. Jerry Fodor, "Information and Representation"
       15. Ali Akhtar Kazmi, "Comment"
       16. Nicholas Asher, Lee R. Brooks, Fred Dretske, Jerry Fodor,
           John Perry, Zenon W. Pylyshyn, and Brian Cantwell Smith,
       	   David J. Israel, "Roundtable Discussion"
       17. Scott Soames, "Belief and Mental Representation"
       18. Fred Landman, "Partial Information, Modality, and Intentionality"
       19. Carl J. Pollard and M. Andrew Moshier, "Unifying Partial
       		Descriptions of Sets"
       20. Kim Sterelny, "Animals and Individualism"
       22. David Kirsh, "When Is Information Explicitly Represented?"
       23. Ian Pratt, "Psychological Inference, Constitutive
       		Rationality, and Logical Closure"
       23. John D. Collier, "Intrinsic Information"
   },
  ISBN = {0-19-507309-6},
  topic = {foundations-of-semantics;nl-semantics-and-cognition;
  	theories-of-information;}
 }

@book{ hanson_s-etal:1994a,
  editor = {Stephen J. Hanson and George A. Drastal and Ronald L. Rivest},
  title = {Computational Learning Theory and Natural Learning Systems},
  publisher = {The {MIT} Press},
  year = {1994},
  address = {Cambridge, Massachusetts},
  topic = {learning;learning-theory;}
 }

@article{ hanson_wh:1997a,
  author = {William H. Hanson},
  title = {The Concept of Logical Consequence},
  journal = {The Philosophical Review},
  year = {1997},
  volume = {106},
  number = {3},
  pages = {365--409},
  topic = {logical-consequence;a-priori;philosophy-of-logic;}
  }

@article{ hanson_wh:1999a,
  author = {William H. Hanson},
  title = {Ray on {T}arski on Logical Consequence},
  journal = {Journal of Philosophical Logic},
  year = {1999},
  volume = {28},
  number = {6},
  pages = {607--618},
  topic = {logical-consequence;Tarski;}
  }

@article{ hanson_wh:2002a,
  author = {William H. Hanson},
  title = {The Formal-Structural View of Logical Consequence:
  	A Reply to {G}ila {S}her},
  journal = {The Philosophical Review},
  year = {2002},
  volume = {111},
  number = {2},
  pages = {243--258},
  xref = {Commentary on: sher:2001a},
  topic = {logical-consequence;philosophy-of-logic;}
  }

@article{ hansson_b:1969a1,
  author = {Bengt Hansson},
  title = {An Analysis of Some Deontic Logics},
  journal = {No\^us},
  year = {1969},
  volume = {3},
  pages = {373--398},
  missinginfo = {number.},
  xref = {Republication: hansson_b:1969a2.},
  rtnote = {tmix-project;},
  rtnote = {Cites rescher:1962a, vonwright:1964a1 as early studies of
  	prim condit obligation},
  topic = {deontic-logic;conditional-obligation;}
 }

@incollection{ hansson_b:1969a2,
  author = {Bengt Hansson},
  title = {An Analysis of Some Deontic Logics},
  booktitle = {Deontic Logic: Introductory and Systematic Readings},
  publisher = {D. Reidel Publishing Company},
  address = {Dordrecht},
  year = {1971},
  editor = {Bengt Hansson},
  pages = {121--147},
  xref = {Republication of: hansson_b:1969a1.},
  rtnote = {tmix-project;},
  rtnote = {Cites rescher:1962a, vonwright:1964a1 as early studies of
  	prim condit obligation},
  topic = {deontic-logic;conditional-obligation;}
    }

@incollection{ hansson_b:1974a,
  author = {Bengt Hansson},
  title = {A Program for Pragmatics},
  booktitle = {Logical Theory and Semantic Analysis},
  publisher = {D. Reidel Publishing Co.},
  year = {1974},
  editor = {S{\o}ren Stenlund},
  pages = {163--174},
  address = {Dordrecht},
  topic = {pragmatics;}
  }

@article{ hansson_b:1990a,
  author = {Bengt Hansson},
  title = {Preference-Based Deontic Logic},
  journal = {Journal of Philosophical Logic},
  year = {1990},
  volume = {19},
  number = {1},
  pages = {75--93},
  missinginfo = {number},
  topic = {deontic-logic;preferences;qualitative-utility;}
 }

@incollection{ hansson_b-gaerdenfors:1973a,
  author = {Bengt Hansson and Peter Gaerdenfors},
  title = {A Guide to Intensional Semantics},
  booktitle = {Modality, Morality, and Other Problems of Sense
  		and Nonsense:  Essays Dedicated to {S}\"oren
		{H}alld\`en},
  publisher = {Liber F\"orlag},
  year = {1973},
  editor = {Bengt Hansson},
  pages = {151--167},
  address = {Lund},
  topic = {intensionality;nl-semantics;}
  }

@article{ hansson_o-etal:1992a,
  author = {Othar Hansson and Andrew Mayer and Marco Valtorta},
  title = {A New Result on the Complexity of Heuristic Estimates for
  	the {A}* Algorithm},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {55},
  number = {1},
  pages = {129--143},
  topic = {search;complexity-in-AI;A*-algorithm;}
  }

@article{ hansson_so:1986a,
  author = {Sven Ove Hansson},
  title = {Individuals and Collective Actions},
  journal = {Synth\'ese},
  year = {1986},
  volume = {52},
  pages = {87--97},
  missinginfo = {number},
  topic = {group-action;action;}
  }

@incollection{ hansson_so:1989a,
  author = {Sven Ove Hansson},
  title = {Hidden Structures of Belief},
  booktitle = {Logic, Action, and Information: Essays on Logic in
  	Philosophy and Artificial Intelligence},
  year = {1989},
  publisher = {Walter de Gruyter},
  editor = {Andr\'e Fuhrmann and Hans Rott},
  pages = {79--100},
  address = {Berlin},
  topic = {belief-revision;belief;}
  }

@article{ hansson_so:1989b,
  author = {Sven Ove Hansson},
  title = {New Operators for Theory Change},
  journal = {Theoria},
  year = {1955},
  volume = {55},
  pages = {114--132},
  missinginfo = {number},
  topic = {belief-revision;}
  }

@article{ hansson_so:1989c,
  author = {Sven Ove Hansson},
  title = {Reversing the {L}evi Identity},
  journal = {Journal of Philosophical Logic},
  year = {1989},
  volume = {22},
  pages = {175--203},
  missinginfo = {number},
  topic = {belief-revision;}
  }

@article{ hansson_so:1990a,
  author = {Sven Ove Hansson},
  title = {Preference-Based Deontic Logic ({PDL})},
  journal = {Journal of Philosophical Logic},
  year = {1990},
  volume = {19},
  number = {1},
  pages = {75--93},
  topic = {deontic-logic;preferences;}
  }

@phdthesis{ hansson_so:1991a,
  author = {Sven Ove Hansson},
  title = {Belief Base Dynamics},
  school = {Uppsala University},
  year = {1991},
  type = {Ph.{D}. Dissertation},
  missinginfo = {Address},
  topic = {belief-revision;}
 }

@article{ hansson_so:1991b,
  author = {Sven Ove Hansson},
  title = {Belief Contraction without Recovery},
  journal = {Studia Logica},
  year = {1991},
  volume = {50},
  number = {2},
  pages = {251--260},
  missinginfo = {number},
  topic = {belief-revision;}
  }

@article{ hansson_so:1992a,
  author = {Sven Ove Hansson},
  title

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib