text:
Oxford University Press},
  year = {2004},
  address = {Oxford},
  ISBN = {0199269556},
  rtnote = {UMich Hatcher Graduate BD 161 .O52 2004.  Also in Tanner.},
  xref = {Precis: hawthorne_j2:2004a},
  xref = {Commentary:  cohen_s:2004a, harman_gh-sherman_b:2004a,
  		vogel_j:2004a},
  xref = {Replies to commentary: hawthorne_j2:2004c},
  rtnote = {In RHT collection.  Out for Reading, Summer 2009.},
  topic = {knowledge;epistemology;factivity;context;epistemic-modals;}
 }

@book{ hawthorne_j2:2004b,
  editor = {John Hawthorne},
  title = {Philosophical Perspectives 18, 2004: Ethics},
  publisher = {Blackwell Publishers},
  year = {2004},
  address = {Oxford},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {ethics;metaethics;}
 }

@incollection{ hawthorne_j2:2004c,
  author = {John Hawthorne},
  title = {Replies},
  booktitle = {Epistemology},
  publisher = {Blackwell Publishers},
  year = {2004},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {510--523},
  address = {Oxford},
  xref = {Replies to commentary on: hawthorne_j2:2004a},
  topic = {knowledge;epistemology;factivity;context;epistemic-modals;}
  }

@book{ hawthorne_j2:2005a,
  editor = {John Hawthorne},
  title = {Philosophical Perspectives 19: Epistemology},
  publisher = {Blackwell Publishers},
  year = {2005},
  address = {Oxford},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {epistemology;skepticism;knowledge;}
 }

@book{ hawthorne_j2:2008a,
  editor = {John Hawthorne},
  title = {Philosophical Perspectives 22, 2008: Philosophy of
  		Language},
  publisher = {Blackwell Publishers},
  year = {2008},
  address = {Oxford},
  rtnote = {In RHT Collection.  Out for reading.},
  contentnote = {TC:
     1. Elizabeth Camp and John Hawthorne, "Sarcastic `Like':  A Case
     		Study in the Interface of Syntax and Semantics", pp. 1--21
     2. Herman Cappelen, "The Creative Interpreter:  Content Relativism
     		and Assertion", pp. 23--46
     3. Richard Dietz, "Betting on Borderline Cases", pp. 47--88
     4. Paul Elbourne, "The Argument from Binding", pp. 89--110
     5. Kit Fine, "The Impossibility of Vagueness", pp. 111--136
     6. Kai von Fintel, "What Is Presupposition Accommodation,
     		Again?", pp. 137--170
     7. Christopher Gauker, "Against Accommodation:  {H}eim, van
     		der {S}andt, and the Presupposition Projection
		Problem", pp. 171--205
     8. Michael Glanzberg, "Quantification and Contributing Objects to
     		Thoughts", pp. 207--231
     9. Paul Horwich, "A New Framework for Semantics", pp. 233--240
    10. Lloyd Humberstone, "Can Every Modifier be Treated as a
    		Sentence Modifier?", pp. 241--275
    11. Stephen Kearns and Ofra Magidor, "Epkstemicism about Vagueness
    		and Meta-Linguistic Safety", pp. 277--304
    12. Peter Lasersohn, "Quantification and Perspective in Relativist
    		Semantics", pp. 305--337
    13. Guy Longworth, "Comprehending Speech", pp. 339--373
    14. Stephen Neale, "Term Limits Revisited", pp. 375--442
    15. Fran\c{c}ois R\'ecanati, "Open Questions Revisited", pp. 443--471
    16. Daniel Rothschild, "Presupposition Projection and Logical
    		Equivalence", pp. 473--497
    17. Zolt\'an Gendler Sz\'abo, "Things in Progress", pp. 499--525
    18. Brian Weatherson, "Attitudes and Relativism", pp. 527--544
    19. Elia Zardini, "Truth and What is Said", pp. 545--574
  },
  topic = {philosophy-of-language;}
  }

@article{ hawthorne_j2-manley:2005a,
  author = {John Hawthorne and David Manley},
  title = {Review of \emph{{D}ispositions}, by {S}tephen {M}umford},
  journal = {No\^us},
  year = {2004},
  volume = {39},
  number = {1},
  pages = {179--195},
  xref = {Review of: mumford:1998a.},
  topic = {dispositions;}
  }

@article{ hawthorne_j2-stanley_j:2008a,
  author = {John Hawthorne and Jason Stanley},
  title = {Knowledge and Action},
  journal = {The Journal of Philosophy},
  year = {2008},
  volume = {105},
  number = {10},
  pages = {571--590},
  xref = {Discussion: littlejohn:2009a},
  topic = {knowledge;intention;reasons-for-action;practical-reasoning;}
  }

@book{ hawthorne_j2-zimmerman_d:2003a,
  editor = {John Hawthorne and Dean Zimmerman},
  title = {Philosophical Perspectives 17: Language and Philosophical
  	Linguistics, 2003},
  publisher = {Blackwell Publishers},
  year = {2003},
  address = {Oxford},
  contentnote = {TC:
     1. Joa\~o Branquinho, "In Defense of Obstinacy", pp. 1--23
     2. Herman Cappelen and Ernie Lepore, "Context Shifting
     		Arguments", pp. 25--50
     3. John Devlin, "An Argument for an Error Theory of
     		Truth", pp. 51--82
     4. Cian Dorr, "Vagueness without Ignorance", pp. 83--113
     5. Stacie Friend and Peter Ludlow, "Disagreement and Deference:
     		Is Diversity of Opinion a Precondition for
		Thought?", pp. 115--139
     6. Delia Graff, "Desires, Scope, and Tense", pp. 141--163
     7. Gilbert Harman, "Category Mistakes in {M}\&{E}", pp. 165--180
     8. James Higginbotham, "Conditionals and
     		Compositionality", pp. 181--194
     9. Jeffrey C. King, "Tense, Modality, and Semantic
     		Values", pp. 195--245
    10. Richard Larson, "Time and Event Measure", pp. 247--258
    11. Paul M. Pietroski, "Quantification and Second-Order
    		Monadicity", pp. 259--298
    12. Fran\c{c}ois R\'ecanati, "Embedded Implicatures", pp. 299--332
    13. Barry Schein, "Adverbial, Descriptive Reciprocals", pp. 333--367
    14. Scott Soames, "Understanding Deflationism", pp. 369--383
    15. Zolt\'an Gendler Szab\'o, "On Qualification", pp. 385--414
    16. Timothy Williamson, "Everything", pp. 415--465
    17. Stewart Shapiro, "All Sets Great and Small, and {I} Do Mean
    		All", pp. 467--490
  },
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {philosophy-of-language;}
 }

@incollection{ hax-wiig:1977a,
  author = {Arnaldo C. Hax and Karl M. Wiig},
  title = {The Use of Decision Analysis in Capital Investment Problems},
  booktitle = {Conflicting Objectives in Decisions},
  publisher = {John Wiley and Sons},
  year = {1977},
  editor = {David E. Bell and Ralph L. Keeney and Howard Raiffa},
  pages = {277--297},
  address = {New York},
  rtnote = {An applied paper.},
  topic = {decision-analysis;multiattribute-utility;foundations-of-utility;}
  }

@inproceedings{ hay-etal:1999a,
  author = {Jennifer Hay and Christopher Kennedy and Beth Levin},
  title = {Scalar Structure Underlies Telicity in `Degree
		Achievements'\,},
  booktitle = {Proceedings from Semantics and Linguistic Theory {IX}},
  publisher = {Cornell University},
  year = {1999},
  editor = {Tanya Matthews and Devon Strolovitch},
  pages = {127--44},
  address = {Ithaca, New York},
  topic = {lexical-semantics;Aktionsarten;degree-modifiers;}
  }

@inproceedings{ hayashi:1999a,
  author = {Hishashi Hayashi},
  title = {Abductive Constraint Logic Programming with
		Constructive Negation},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
	Nonmonotonic Reasoning, Action and Change},
  year = {1999},
  editor = {Michael Thielscher},
  pages = {87--94},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {action-formalisms;logic-programming;abduction;
		constraint-satisfaction;}
  }

@incollection{ haycock-zamparelli:1999a,
  author = {Caroline Haycock and Roberto Zamparelli},
  title = {Toward a Unified Analysis of {DP} Conjunction},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
	of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {127--132},
  address = {Amsterdam},
  topic = {conjunction;nl-semantics;}
  }

@book{ hayes_je-etal:1979a,
  editor = {Jean E. Hayes and others},
  title = {Machine Intelligence, Vol. 9: Machine Expertise and The Human
    Interface},
  publisher = {John Wiley and Sons},
  year = {1979},
  address = {New York},
  topic = {AI-survey;HCI;}
 }

@book{ hayes_je-etal:1988a,
  editor = {Jean E. Hayes and Donald Michie and J. Richards},
  title = {Machine Intelligence 11: Logic and the Acquisition of
  	Knowledge},
  publisher = {Oxford University Press},
  year = {1988},
  address = {Oxford},
  topic = {AI-survey;logic-in-AI;}
 }

@incollection{ hayes_pj1:1973a1,
  author = {Patrick J. Hayes},
  title = {The Frame Problem and Related Problems in Artificial
    	     Intelligence},
  booktitle = {Artificial and Human Thinking},
  editor = {Alick Elithorn and David Jones},
  publisher = {Jossey-Bass},
  address = {San Francisco},
  year = {1973},
  pages = {41--59},
  xref = {Republication: hayes_pj1:1973a2.},
  topic = {frame-problem;}
    }

@incollection{ hayes_pj1:1973a2,
  author = {Patrick Hayes},
  title = {The Frame Problem and Related Problems in Artificial
  	Intelligence},
  booktitle = {Readings in Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  year = {1981},
  editor = {Bonnie Webber and Nils J. Nilsson},
  pages = {223--230},
  address = {Los Altos, California},
  xref = {Journal Publication: hayes_pj1:1973a2.},
  rtnote = {The bibliography appears to be missing from this version.},
  topic = {frame-problem;}
  }

@inproceedings{ hayes_pj1:1977a,
  author = {Patrick Hayes},
  title = {In Defense of Logic},
  booktitle = {Proceedings of the Tenth International Joint
  	Conference on Artificial Intelligence},
  year = {1987},
  editor = {John McDermott},
  pages = {87--90},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  topic = {logic-in-AI;}
  }

@incollection{ hayes_pj1:1979a1,
  author = {Patrick J. Hayes},
  title = {The Logic of Frames},
  booktitle = {Frame Conceptions and Text Understanding},
  publisher = {Walter de Gruyter and Co.},
  year = {1979},
  editor = {D. Metzing},
  address = {Berlin},
  xref = {Republications: hayes_pj1:1979a2, hayes_pj1:1979a3},
  topic = {kr;frames;kr-course;}
  }

@incollection{ hayes_pj1:1979a2,
  author = {Patrick Hayes},
  title = {The Logic of Frames},
  booktitle = {Readings in Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  year = {1981},
  editor = {Bonnie Webber and Nils J. Nilsson},
  pages = {451--458},
  address = {Los Altos, California},
  xref = {Originally published in D. Metzing; Frame Conceptions and
  	Text Understanding; 1979.  See hayes_pj1:1979a1.},
  topic = {kr;frames;kr-course;}
  }

@incollection{ hayes_pj1:1979a3,
  author = {Patrick J. Hayes},
  title = {The Logic of Frames},
  booktitle = {Readings in Knowledge Representation},
  publisher = {Morgan Kaufmann},
  year = {1995},
  editor = {Ronald J. Brachman and Hector J. Levesque},
  address = {Los Altos, California},
  missinginfo = {pages},
  xref = {Originally published in D. Metzing; Frame Conceptions and
  	Text Understanding; 1979.  See hayes_pj1:1979a1.},
  topic = {inheritance-theory;frames;krcourse;kr;}
  }

@incollection{ hayes_pj1:1981a,
  author = {Patrick Hayes},
  title = {The Frame Problem and Related Problems in
          Artificial Intelligence},
  booktitle = {Readings in Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  year = {1981},
  editor = {Bonnie Webber and Nils J. Nilsson},
  pages = {223--230},
  address = {Los Altos, California},
  xref = {Journal Publication: },
  topic = {frame-problem;}
  }

@incollection{ hayes_pj1:1985a1,
  author = {Patrick J. Hayes},
  title = {Naive Physiscs {I}: Ontology for Liquids},
  publisher = {Ablex Publishing Corp.},
  address = {Norwood, New Jersey},
  year = {1985},
  editor = {Jerry Hobbs and Robert C. Moore},
  booktitle = {Formal Theories of the Commonsense World},
  pages = {71--107},
  xref = {Republication: hayes_pj1:1985a2.},
  topic = {common-sense-knowledge;qualitative-physics;}
  }

@incollection{ hayes_pj1:1985b1,
  author = {Patrick J. Hayes},
  title = {The Second Naive Physics Manifesto},
  booktitle = {Formal Theories of the Commonsense World},
  publisher = {Ablex Publishing Co.},
  year = {1985},
  editor = {Jerry R. Hobbs and Robert C. Moore},
  pages = {269--317},
  address = {New York},
  xref = {Reprinted in: hayes_pj1:1985b2},
  topic = {common-sense-knowledge;qualitative-physics;}
  }

@incollection{ hayes_pj1:1985b2,
  author = {Patrick J. Hayes},
  title = {The Second Naive Physics Manifesto},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {46--63},
  address = {San Mateo, California},
  xref = {Republication of: hayes_pj1:1985b1},
  topic = {common-sense-knowledge;qualitative-physics;}
  }

@incollection{ hayes_pj1:1987a,
  author = {Patrick Hayes},
  title = {What the Frame Problem Is and Isn't},
  booktitle = {The Robot's Dilemma: The Frame Problem in Artificial
  	Intelligence},
  publisher = {Ablex Publishing Corp.},
  year = {1987},
  editor = {Zenon Pylyshyn},
  address = {Norwood, New Jersey},
  pages = {123--137},
  topic = {frame-problem;philosophy-AI;}
  }

@article{ hayes_pj1:1987b,
  author = {Patrick Hayes},
  title = {A Critique of Pure Reason},
  journal = {Computational Intelligence},
  year = {1987},
  volume = {3},
  issue = {3},
  pages = {179--185},
  xref = {kr;foundations-of-kr;logic-in-AI;}
  }

@incollection{ hayes_pj1:1990a,
  author = {Patrick J. Hayes},
  title = {Naive Physics {I}: Ontology for Liquids},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {484--502},
  address = {San Mateo, California},
  xref = {Republication of: hayes_pj1:1985a1.},
  topic = {common-sense-knowledge;qualitative-physics;}
  }

@incollection{ hayes_pj1:1995a,
  author = {Patrick Hayes},
  title = {Introduction (To Part {II}: Theoretical Foundations)},
  booktitle = {Diagrammatic Reasoning},
  publisher = {The {MIT} Press},
  year = {1995},
  editor =  {Janice Glasgow and N. Hari Narayanan and B.
		Chandrasekaran},
  pages = {205--210},
  address = {Cambridge, Massachusetts},
  topic = {diagrams;reasoning-with-diagrams;visual-reasoning;}
  }

@inproceedings{ hayes_pj1:1995b,
  author = {Patrick Hayes},
  title = {What is a Context?},
  booktitle = {Formalizing Context},
  year = {1995},
  editor = {Sa\v{s}a Buva\v{c}},
  pages = {3},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  note = {Abstract.},
  topic = {context;}
  }

@inproceedings{ hayes_pj1:1997a,
  author = {Patrick J. Hayes},
  title = {Contexts in Context},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Context in Knowledge Representation and Natural Language},
  year = {1997},
  editor = {Sa\v{s}a Buva\v{c} and {\L}ucia Iwa\'nska},
  pages = {71--81},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {Copy in Pragmatics Course files.},
  rtnote = {Reading notes on file.},
  topic = {context;}
  }

@incollection{ hayes_pj1:1999a,
  author = {Patrick Hayes},
  title = {Knowledge Representation},
  booktitle = {{MIT} Encyclopedia of the Cognitive Sciences},
  editor = {Robert A. Wilson and Frank C. Keil},
  publisher = {The {MIT} Press},
  year = {1999},
  address = {Cambridge, Massachusetts},
  topic = {kr-survey;krcourse;}
}

@incollection{ hayes_pj1-etal:1996a,
  author = {Patrick J. Hayes and Kenneth M. Ford and Neil M. Agnew},
  title = {Epilog: {G}oldilocks and the Frame Problem},
  booktitle = {The Robot's Dilemma Revisited: The Frame Problem
	 in Artificial Intelligence},
  editor = {Kenneth M. Ford and Zenon Pylyshyn},
  publisher = {Ablex Publishing Co.},
  address = {Norwood, New Jersey},
  year = {1996},
  pages = {135--137},
  topic = {frame-problem;philosophy-AI;}
    }

@article{ hayes_pj1-morgenstern_l:2007a,
  author = {Patrick J. Hayes and Leora Morgenstern},
  title = {On {J}ohn {M}c{C}arthy's 80th Birthday, in Honor
  		of His Contributions},
  journal = {The {AI} Magazine},
  year = {2007},
  volume = {28},
  number = {4},
  pages = {93--102},
  topic = {John-McCarthy;history-of-AI;}
  }

@techreport{ hayes_pj2-carbonell:1983a,
  author = {Philip J. Hayes and Jaime G. Carbonell},
  title = {A Tutorial on Techniques and Applications for Natural
  	Language Processing},
  institution = {Department of Computer Science, Carnegie-Mellon
  	University},
  number = {CMU--CS--83--158},
  year = {1983},
  address = {Pittsburgh, Pennsylvania},
  rtnote = {In RHT collection.},
  topic = {computational-linguistics;}
  }

@article{ hayesroth_b:1985a,
  author = {Barbara Hayes-Roth},
  title = {A Blackboard Architecture for Control},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {26},
  number = {3},
  pages = {251--321},
  topic = {procedural-control;blackboard-architectures;}
  }

@article{ hayesroth_b:1993a,
  author = {Barbara Hayes-Roth},
  title = {Intelligent Control},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {213--220},
  topic = {procedural-control;}
  }

@article{ hayesroth_b:1993b,
  author = {Barbara Hayes-Roth},
  title = {On Building Integrated Cognitive Agents: A Review of
  	{A}llen {N}ewell's `Unified Theories of Cognition'},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {329--341},
  xref = {Review of newell:1992a.},
  topic = {SOAR;cognitive-architectures;}
  }

@article{ hayesroth_b:1995a,
  author = {Barbara Hayes-Roth},
  title = {An Architecture for Adaptive Intelligent Systems},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {72},
  number = {1--2},
  pages = {329--365},
  acontentnote = {Abstract:
     Our goal is to understand and build comprehensive agents that
     function effectively in challenging niches.  In particular, we
     identify a class of niches to be occupied by "adaptive
     intelligent systems (AISs)".  In contrast with niches occupied by
     typical AI agents, AIS niches present situations that vary
     dynamically along several key dimensions: different combinations
     of required tasks, different configurations of available
     resources, contextual conditions ranging from benign to
     stressful, and different performance criteria.  We present a
     small class hierarchy of AIS niches that exhibit these
     dimensions of variability and describe a particular AIS niche,
     ICU (intensive care unit) patient monitoring, which we use for
     illustration throughout the paper.  To function effectively
     throughout the range of situations presented by an AIS niche, an
     agent must be highly adaptive.  In contrast with the rather
     stereotypic behavior of typical AI agents, an AIS must adapt
     several key aspects of its behavior to its dynamic situation:
     its perceptual strategy, its control mode, its choices of
     reasoning tasks to perform, its choices of reasoning methods for
     performing chosen tasks; and its meta-control strategy for
     global coordination of all its behavior.  We have designed and
     implemented an agent architecture that supports all of these
     different kinds of adaptation by exploiting a single underlying
     theoretical concept: An agent dynamically constructs explicit
     control plans to guide its choices among situation-triggered
     behaviors.  The architecture has been used to build experimental
     agents for several AIS niches.  We illustrate the architecture
     and its support for adaptation with examples from Guardian, an
     experimental agent for ICU monitoring.},
  topic = {agent-architectures;machine-learning;}
  }

@article{ hayesroth_b-hayesroth_f:1979a,
  author = {Barbara Hayes-Roth and Frederick Hayes-Roth},
  title = {A Cognitive Model of Planning},
  journal = {Cognitive Science},
  year = {1979},
  volume = {3},
  number = {4},
  pages = {275--310},
  topic = {planning;cognitive-psychology;}
  }

@article{ hayesroth_f:1985a,
  author = {Frederick Hayes-Roth},
  title = {Rule-Based Systems},
  journal = {Communications of the {ACM}},
  year = {1985},
  volume = {28},
  number = {9},
  pages = {921--932},
  missinginfo = {number},
  topic = {rule-based-reasoning;}
  }

@book{ hayesroth_f-etal:1983a,
  editor = {Frederick Hayes-Roth and Donald A. Waterman and
  	Douglas B. Lenat},
  title = {Building Expert Systems},
  publisher = {Addison-Wesley Publizhing Co.},
  year = {1983},
  address = {Reading, Massachusetts},
  ISBN = {0201106868},
  rtnote = {UMich Media Union Library, QA76.9.E96 B841 1983.},
  xref = {Reviews: dym:1985a, dekleer:1985a.},
  topic = {expert-systems;}
  }

@article{ hayton-etal:1999a,
  author = {Paul M. Hayton and Michael Brady and Stephen M. Smith
  	and Niall Moore},
  title = {A Non-Rigid Registration Algorithm for Dynamic Breast
  	{MR} Images},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {114},
  number = {1--2},
  pages = {125--156},
  topic = {image-processing;}
  }

@incollection{ hazarika-cohn_ag:2002a,
  author = {Shyamanta H. Hazarika and Anthony G. Cohn},
  title = {Adducing Qualitative Spatio-Temporal Histories from
  	Partial Observations},
  booktitle = {{KR2002}: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {2002},
  editor = {Dieter Fensel and Fausto Giunchiglia and Deborah
  	L. McGuinness and Mary-Anne Williams},
  pages = {14--25},
  address = {San Francisco, California},
  topic = {kr;abduction;circumscription;spatial-reasoning;
  	temporal-reasoning;}
  }

@article{ hazen:1976a,
  author = {Allen P. Hazen},
  title = {Expressive Completeness in Modal Language},
  journal = {Journal of Philosophical Logic},
  year = {1976},
  volume = {5},
  number = {1},
  pages = {25--46},
  topic = {modal-logic;}
 }

@article{ hazen:1979a,
  author = {Allen P. Hazen},
  title = {Counterpart-Theoretic Semantics for Modal Logic},
  journal = {Journal of Philosophy},
  year = {1979},
  volume = {76},
  pages = {319--338},
  topic = {modal-logic;counterpart-theory;}
  }

@article{ hazen:1981a,
  author = {Allen P. Hazen},
  title = {Davis' Formulation of {K}ripke's Theory of Truth:
  	A Correction},
  journal = {Journal of Philosophical Logic},
  year = {1981},
  volume = {10},
  number = {2},
  pages = {309--311},
  topic = {truth;fixpoints;semantic-paradoxes;}
  }

@unpublished{ hazen:1981b,
  author = {Allen Hazen},
  title = {On a Possible Misinterpretation of {K}ripke's Semantics
  	for Intuitionistic Logic},
  year = {1981},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  topic = {intuitionistic-logic;}
  }

@incollection{ hazen:1983a,
  author = {Allen Hazen},
  title = {Predicative Logics},
  booktitle = {Handbook of Philosophical Logic, Volume {I}:
  	Elements of Classical Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1983},
  editor = {Dov Gabbay and Franz Guenther},
  pages = {331--407},
  address = {Dordrecht},
  topic = {ramified-type-theory;(im)predicativity;}
 }

@article{ hazen:1987a,
  author = {Allen P. Hazen},
  title = {Natural Deduction and {H}ilbert's $\epsilon$ Operator},
  journal = {Journal of Philosophical Logic},
  year = {1987},
  volume = {16},
  number = {4},
  pages = {411--421},
  topic = {proof-theory;epsilon-operator;}
  }

@article{ hazen:1990a,
  author = {Allen P. Hazen},
  title = {Actuality and Quantification},
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1990},
  volume = {31},
  pages = {498--508},
  topic = {modal-logic;actuality;}
  }

@article{ hazen:1995a,
  author = {Allen P. Hazen},
  title = {On Quantifying Out},
  journal = {Journal of Philosophical Logic},
  year = {1995},
  volume = {24},
  number = {3},
  pages = {291--319},
  topic = {quantification;intensionality;}
  }

@article{ hazen:1997a,
  author = {Allen P. Hazen},
  title = {Relations in Monadic Third-Order Logic},
  journal = {Journal of Philosophical Logic},
  year = {1997},
  volume = {26},
  number = {6},
  pages = {619--628},
  topic = {higher-order-logic;relations;}
  }

@article{ hazen-humberstone:2004a,
  author = {Allen P. Hazen and Lloyd Humberstone},
  title = {Similarity Relations and the Preservation of Solidity},
  journal = {Journal of Logic, Language, and Information},
  year = {2004},
  volume = {13},
  number = {1},
  pages = {25--46},
  topic = {similarity;}
  }

@article{ hazen-slote:1979a,
  author = {Allen P. Hazen and Michael Slote},
  title = {Even If},
  journal = {Analysis},
  year = {1979},
  volume = {39},
  pages = {34--41},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {`even';sentence-focus;pragmatics;}
  }

@article{ hazout:2004a,
  author = {Ilan Hazout},
  title = {The Syntax of Existential Constructions},
  journal = {Linguistic Inquiry},
  year = {2004},
  volume = {35},
  number = {3},
  pages = {393--430},
  topic = {existential-constructions;}
  }

@article{ he_j-yao_x:2001a,
  author = {Jun He and Xin Yao},
  title = {Drift Analysis and Average Time Complexity of Evolutionary
  	Algorithms},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {127},
  number = {1},
  pages = {57--85},
  xref = {Erratum: he-yao_x:2002a.},
  topic = {complexity-in-AI;genetic-algorithms;}
  }

@article{ he_j-yao_x:2002a,
  author = {Jun He and Xin Yao},
  title = {Erratum to `Drift Analysis and Average Time Complexity of
  	Evolutionary Algorithms'\,},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {140},
  number = {1--2},
  pages = {245--248},
  xref = {Erratum to: he-yao_x:2001a.},
  topic = {complexity-in-AI;genetic-algorithms;}
  }

@article{ he_j-yao_x:2003a,
  author = {Jun He and Xin Yao},
  title = {Towards an Analytic Framework for Analysing the
  	Computation Time of Evolutionary Algorithms},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {145},
  number = {1--2},
  pages = {59--97},
  topic = {genetic-algorithms;complexity-in-AI;}
  }

@article{ heal:1994a,
  author = {Jane Heal},
  title = {Semantic Holism: Still a Good Buy},
  journal = {Proceedings of the {A}ristotelian Society},
  year = {1994},
  volume = {94},
  note = {Supplementary Series.},
  pages = {323--329},
  topic = {philosophy-of-language;holism;foundations-of-semantics;}
 }

@article{ heal:1994b,
  author = {Jane Heal},
  title = {Moore's Paradox: A {W}ittgensteinian Approach},
  journal = {Mind},
  year = {1994},
  volume = {103},
  number = {409},
  pages = {5--24},
  topic = {Moore's-paradox;}
  }

@incollection{ heal:1995a,
  author = {Jane Heal},
  title = {How to Think about Thinking},
  booktitle = {Mental Simulation: Evaluations and Applications},
  publisher = {Blackwell Publishers},
  year = {1995},
  editor = {Martin Davies and Tony Stone},
  pages = {33--52},
  address = {Oxford},
  topic = {folk-psychology;mental-simulation;
  	propositional-attitude-ascription;}
  }

@incollection{ heal:1995b,
  author = {Jane Heal},
  title = {Replication and Functionalism},
  booktitle = {Mental Simulation: Evaluations and Applications},
  publisher = {Blackwell Publishers},
  year = {1995},
  editor = {Martin Davies and Tony Stone},
  pages = {45--59},
  address = {Oxford},
  topic = {folk-psychology;theory-theory-of-folk-psychology;
  	mental-simulation;propositional-attitude-ascription;}
  }

@inproceedings{ healey:1999a,
  author = {Patrick G.T. Healey},
  title = {Accounting for Communication:
			Estimating Effort, Transparency and Coherence},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Psychological Models of Communication in Collaborative
	Systems},
  year = {1999},
  editor = {Susan E. Brennan and Alain Giboin and David R. Traum},
  pages = {54--60},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {discourse;coherence;empirical-methods-in-discourse;}
  }

@incollection{ hearn:1991a,
  author = {Anthony C. Hearn},
  title = {Algebraic Computation: The Quiet Revolution},
  booktitle = {Artificial Intelligence and Mathematical Theory of
  	Computation},
  publisher = {Academic Press},
  year = {1991},
  editor = {Vladimir Lifschitz},
  pages = {177--186},
  address = {San Diego},
  topic = {algebraic-computation;computer-assisted-physics;
  	computer-assisted-science;}
  }

@book{ hearne:2007a,
  author = {Vicki Hearne},
  title = {Adam's Task: Calling Animals by Name},
  publisher = {Skyhorse Publishing},
  year = {2007},
  address = {New York},
  ISBN-13 = {978-1-60239-002-7},
  topic = {ethology;}
 }

@article{ hearst:1997a,
  author = {Marti A. Hearst},
  title = {Tex{T}iling: Segmenting Text into Multi-paragraph
  	Subtopic Passages},
  journal = {Computational Linguistics},
  year = {1997},
  volume = {23},
  number = {1},
  pages = {33--64},
  topic = {discourse-segmentation;corpus-linguistics;pragmatics;}
  }

@incollection{ hearst:1998a,
  author = {Marti A. Hearst},
  title = {Automated Discovery of {W}ord{N}et Relations},
  booktitle = {Word{N}et: An Electronic Lexical Database},
  publisher = {The {MIT} Press},
  year = {1998},
  editor = {Christaine Fellbaum},
  pages = {131--151},
  address = {Cambridge, Massachusetts},
  topic = {wordnet;nlp-lexicons;computational-lexicography;}
  }

@book{ hearst-ostendorf:2003a,
  editor = {Marti Hearst and Mari Ostendorf},
  title = {{HLT-NAACL} 2003: Human Language Technology Conference
  		of the {N}orth {A}merican {C}hapter of the
		{A}ssociation for {C}omputational {L}inguistics.
		Companion Volume: Short Papers, Student Research
		Workshop, Demonstrations, Tutorial Abstracts
			},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  address = {Somerset, New Jersey},
  rtnote = {In RHT Collection.  CL Conference shelves.},
  topic = {nl-processing;}
 }

@incollection{ heath:1991a,
  author = {Shirley Brice Heath},
  title = {\,`It's About Winning!' The language
     		of Knowledge in Baseball},
  booktitle = {Perspectives on Socially Shared Cognition},
  publisher = {American Psychological Association},
  year = {1991},
  editor = {Lauren B. Resnick and John M. Levine and
  	Stephanie D. Teasley},
  pages = {101--124},
  address = {Washington, D.C.},
  topic = {social-psychology;shared-cognition;}
  }

@book{ heath:2001a,
  author = {Joseph Heath},
  title = {Communicative Action and Rational Choice},
  publisher = {The {MIT} Press},
  year = {2001},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-08291-8},
  contentnote = {Habermas' theory of communication and decision
  	theory.},
  topic = {continental-philosophy;pragmatics;philosophy-of-language;}
 }

@article{ heck:1993a,
  author = {Richard G. {Heck, Jr.}},
  title = {A Note on the Logic of (Higher-Order) Vagueness},
  journal = {Analysis},
  year = {1993},
  volume = {53},
  number = {4},
  pages = {201--208},
  topic = {vagueness;}
  }

@article{ heck:1995a,
  author = {Richard G. {Heck, Jr.}},
  title = {The Sense of Communication},
  journal = {Mind, New Series},
  year = {1995},
  volume = {104},
  number = {413},
  pages = {79--106},
  topic = {Frege;sense-reference;}
  }

@article{ heck:1997a,
  author = {Richard G. {Heck, Jr.}},
  title = {Finitude and {H}ume's Principle},
  journal = {Journal of Philosophical Logic},
  year = {1997},
  volume = {26},
  number = {6},
  pages = {589--617},
  contentnote = {"Hume's Principle" says that no. of F's is same as
  	number of G's iff there is a one-one map between F and G.
	The paper gives no reference for this term.  The result here
	is that the axs for 2nd order arithmetic are derivable in
	2nd order logic from Hume's Principle restricted to finite
	concepts.},
  topic = {foundations-of-arithmetic;}
  }

@article{ heck:1997b,
  author = {Richard G. {Heck, Jr.}},
  title = {Tarski, Truth, and Semantics},
  journal = {The Philosophical Review},
  year = {1997},
  volume = {106},
  number = {4},
  pages = {533--554},
  topic = {Tarski;truth;}
  }

@article{ heck:2000a,
  author = {Richard G. {Heck, Jr.}},
  title = {Nonconceptual Content and the `Space of Reasons'\,},
  journal = {The Philosophical Review},
  year = {2000},
  volume = {109},
  number = {4},
  pages = {483--523},
  topic = {epistemology;}
  }

@incollection{ heck:2006a,
  author = {Richard G. {Heck, Jr.}},
  title = {Mac{F}arlane on Relative Truth},
  booktitle = {Philosophy of Language},
  publisher = {Blackwell Publishers},
  year = {2006},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {88--100},
  address = {Oxford},
  xref = {Commentary on: macfarlane:2002a},
  topic = {(in)determinism;branching-time;tense-logic;}
  }

@book{ heckerman-mamdani:1993a,
  editor = {David Heckerman and Abe Mamdani},
  title = {Uncertainty in Artificial Intelligence.  Proceedings of
  	the Ninth Conference (1993)},
  publisher = {Morgan Kaufmann Publishers},
  year = {1993},
  address = {San Francisco},
  topic = {reasoning-about-uncertainty;}
 }

@article{ heckerman-shachter_r:1995a,
  author = {David Heckerman and R. Shachter},
  title = {Decision-Theoretic Foundations for Causal Reasoning},
  journal = {Journal of Artificial Intelligence Research},
  year = {1995},
  volume = {3},
  pages = {405--430},
  topic = {decision-theoretic-planning;causality;}
  }

@article{ hedenius:1963a,
  author = {I. Hedenius},
  title = {Performatives},
  journal = {Theoria},
  year = {1963},
  volume = {29},
  pages = {115--136},
  missinginfo = {A's 1st name, number},
  topic = {speech-acts;pragmatics;}
  }

@article{ hedrick:1976a,
  author = {Charles L.  Hedrick},
  title = {Learning Production Systems from Examples},
  journal = {Artificial Intelligence},
  year = {1976},
  volume = {7},
  number = {1},
  pages = {21--49},
  topic = {machine-learning;rule-learning;rule-based-reasoning;}
  }

@techreport{ heeman:1991a,
  author = {Peter A. Heeman},
  title = {A Computational Model of Collaboration on Referring
  	Expressions},
  institution = {Computer Systems Research Institute, University
  	of Toronto},
  number = {CSRI--251},
  year = {1991},
  address = {Toronto},
  rtnote = {In RHT collection.  CL shelf.},
  topic = {referring-expressions;discourse;coord-in-conversation;}
  }

@inproceedings{ heeman-allen_jf:1997a,
  author = {Peter A. Heeman and James F. Allen},
  title = {Intonational Boundaries,  Speech Repairs, and
  	Discourse Markers: Modeling Spoken Dialog},
  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 = {254--261},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {intonation;discourse;discourse-segmentation;
		statistical-nlp;}
 }

@article{ heeman-allen_jf:1999a,
  author = {Peter A. Heeman and James F. Allen},
  title = {Speech Repairs, Intonational Phrases, and Discourse
  	Markers:  Modeling Speakers' Utterances in Spoken Dialogue},
  journal = {Computational Linguistics},
  year = {1999},
  volume = {25},
  number = {4},
  pages = {527--571},
  topic = {discourse-repairs;n-gram-models;corpus-tagging;
  	discourse-segmentation;}
  }

@incollection{ heeman-etal:2002a,
  author = {Peter A. Heeman and Fan Yang and Susan E. Strayer},
  title = {Dialogue View---An Annotation Tool for Dialogue},
  booktitle = {Third {SIGdial} Workshop on Discourse and Dialogue:
  		Proceedings of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {2002},
  editor = {Kristina Jokinen and Susan McRoy},
  pages = {50--59},
  address = {New Brunswick, New Jersey},
  topic = {discourse-tagging;}
  }

@article{ heeman-hirst_g:1995a,
  author = {Peter Heeman and Graeme Hirst},
  title = {Collaborating on Referring Expressions},
  journal = {Computational Linguistics},
  year = {1995},
  volume = {21},
  number = {3},
  pages = {351--382},
  topic = {nl-generation;collaboration;referring-expressions;}
  }

@incollection{ heeschen:1979a,
  author = {Claus Heeschen},
  title = {On the Representation of Classificatory and Propositional
  	Lexical Relations in the Human Brain},
  booktitle = {Semantics from Different Points of View},
  year = {1979},
  editor = {Rainer B\"auerle and Urs Egli and Arnim {von Stechow}},
  publisher = {Springer-Verlag},
  address = {Berlin},
  pages = {364--375},
  topic = {neurolinguistics;}
  }

@article{ hegarty:1996a,
  author = {Michael Hegarty},
  title = {The Role of Categorization in the Contribution of the
  	Conditional `then': Comments on Iatridou},
  journal = {Natural Language Semantics},
  year = {1996},
  volume = {4},
  number = {1},
  pages = {111--119},
  contentnote = {Useful as a summary of the recent linguistic work.},
  topic = {conditionals;nl-semantics;}
  }

@book{ heger-petofi_js:1977a,
  editor = {Klaus Heger and J\'anos S. Pet\"ofi},
  title = {{K}asustheorie, {K}lassifikation, {S}emantische {I}nterpretation:
  	{B}eitr.  Zur {L}exikologie und {S}emantik},
  publisher = {Buske},
  year = {1977},
  address = {Hamburg},
  ISBN = {3871182974 :},
  rtnote = {UMich Graduate Library, 805 P185 v.11.},
  topic = {lexical-semantics;}
 }

@incollection{ hegner:1997a,
  author = {Stephen J. Hegner},
  title = {A Family of Decidable Feature Logics
           which Support {HPSG}-Style Set and List Construction},
  booktitle = {{LACL}'96: First International Conference on
      Logical Aspects of Computational Linguistics},
  publisher = {Springer-Verlag},
  year = {1997},
  editor = {Christian Retor/'e},
  pages = {208--227},
  address = {Berlin},
  topic = {logic-and-computational-linguistics;HPSG;
		feature-structure-logics;}
  }

@article{ heidelberger:1974a,
  author = {Herbert Heidelberger},
  title = {Kaplan on {Q}uine and Suspension of Judgement},
  journal = {Journal of Philosophical Logic},
  year = {1974},
  volume = {3},
  number = {4},
  pages = {441--443},
  topic = {quantifying-in-modality;}
  }

@incollection{ heifitz:1994a,
  author = {Aviad Heifitz},
  title = {Infinitary Epistemic Logic},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fifth Conference ({TARK} 1994)},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Ronald Fagin},
  pages = {95--107},
  address = {San Francisco},
  topic = {epistemic-logic;infinitary-logic;}
  }

@article{ heifitz:1999a,
  author = {Aviad Heifitz},
  title = {Iterative and Fixed Point Common Belief},
  journal = {Journal of Philosophical Logic},
  year = {1999},
  volume = {28},
  number = {1},
  pages = {61--97},
  rtnote = {Apparently fix-pt def is stronger than the
  	infinitary one?  Check this out.},
  topic = {mutual-belief;infinitary-logic;}
  }

@inproceedings{ heifitz-mongin:1998a,
  author = {Aviad Heifitz and Philippe Mongin},
  title = {The Modal Logic of Probability (Extended Abstract)},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Seventh Conference ({TARK} 1998)},
  year = {1998},
  editor = {Itzhak Gilboa},
  pages = {175--185},
  publisher = {Morgan Kaufmann},
  address = {San Francisco, California},
  topic = {probability-semantics;modal-logic;}
  }

@article{ heil:1993a,
  author = {John Heil},
  title = {Review of \emph{{T}he Metaphysics of Consciousness},
  	by {W}illiam {S}eager},
  journal = {The Philosophical Review},
  year = {1993},
  volume = {102},
  number = {4},
  pages = {612--614},
  xref = {Review of seager:1991a.},
  topic = {consciousness;philosophy-of-mind;}
  }

@article{ heil:2004a,
  author = {John Heil},
  title = {Review of \emph{{P}owers:  A Study in Metaphysics}, by
  		{G}eorge {M}olnar},
  journal = {The Journal of Philosophy},
  year = {2004},
  volume = {101},
  number = {8},
  pages = {438--443},
  xref = {Review of: molnar:2003a.},
  topic = {metaphysics;dispositions;causality;}
  }

@article{ heil:2008a,
  author = {John Heil},
  title = {Review of \emph{{P}hysicalism, or {S}omething {N}ear
  		{E}nough}, by {J}aegwon {K}im},
  journal = {The Philosophical Review},
  year = {2008},
  volume = {117},
  number = {1},
  pages = {119--122},
  xref = {Review of: kim_j:2005a},
  topic = {philosophy-of-mind;supervenience;}
  }

@book{ heil-mele:1993a,
  editor = {John Heil and Alfred R. Mele},
  title = {Mental Causation},
  publisher = {Oxford University Press},
  year = {1993},
  address = {Oxford},
  contentnote = {TC:
  	1. Donald Davidson, "Thinking Causes", pp. 3--17
	2. Jaegwon Kim, "Can Supervenience and `Non-Strict Laws'
		Save Anomalous Monism?", pp. 19--26
	3. Brian P. McLaughlin, "On {D}avidson's Response to the
		Charge of Epiphenomenalism", pp. 27--40
	4. Ernest Sosa, "{D}avidson's Thinking Causes", pp. 41--50
	5. Robert Audi, "Mental Causation: Sustaining and Dynamic",
		pp. 53--74
	6. Lunne Rudder Baker, "Metaphysics and Mental Causation",
		pp. 75--95
	7. Tyler Burge, "Mind-Body Causation and Explanatory Practice",
		pp. 97--120
	8. Fred Dretske, "Mental Events as Structuring Causes of
		Behaviour", pp. 131--136
	9. Ted Honderich, "The Union Theory and Anti-Individualism",
		pp. 137--159
       10. Jennifer Hornsby, "Agency and Causal Explanation", pp.
       		161--188
       11. Jaegwon Kim, "The Non-Reductivist's Troubles with Mental
       		Causation", pp. 189--210
       12. Ruth Garrett Millikan, "Explanation in Biopsychology", pp.
       		pp. 211--232
       13. Robert van Gulick,  "Who's in Charge Here?  And Who's
       		Doing All the Work?", pp. 233--256
       14. Frank Jackson and Phillip Pettit, "Some Content is
       		Narrow", pp. 259--282
       15. H.W. Noonan, "Object-Dependent Thoughts: A Case
       		of Superficial Necessity but Deep Contingency?",
		pp. 283--308
       16. Ernest Sosa, "Abilities, Concepts, and Externalism",
       		pp. 309--328
   },
  rtnote = {In RHT collection.  Philosophy Collections.},
  topic = {mind-body-problem;causality;philosophy-of-action;}
 }

@book{ heilbroner-thurow:1975a,
  author = {Robert L. Heilbroner and Lester C. Thurow},
  edition = {3},
  title = {Understanding Microeconomics},
  publisher = {Englewood Cliffs, N.J. : Prentice-Hall, [},
  year = {1975},
  address = {Englewood},
  ISBN = {0139364358.0139364277},
  rtnote = {UMich Graduate Library, HB 171.5 .H47 1975.},
  topic = {microenomics;economics-intro;}
 }

@book{ heilbroner-thurow:1987a,
  author = {Robert L. Heilbroner and Lester C. Thurow},
  title = {Economics Explained},
  publisher = {Simon and Schuster},
  year = {1987},
  address = {New York},
  ISBN = {0671645560 (pbk.)},
  rtnote = {UMich Undergraduate, Hb171 .H4791 1987.},
  topic = {economics-intro;}
 }

@article{ heim_bw:2008a,
  author = {Bennett W. Heim},
  title = {Plural Agents},
  journal = {No\^us},
  year = {2008},
  volume = {42},
  number = {1},
  pages = {17--49},
  topic = {group-action;}
  }

@incollection{ heim_i:1979a,
  author = {Irene Heim},
  title = {Concealed Questions},
  booktitle = {Semantics from Different Points of View},
  year = {1979},
  editor = {Rainer B\"auerle and Urs Egli and Arnim {von Stechow}},
  publisher = {Springer-Verlag},
  address = {Berlin},
  pages = {51--60},
  contentnote = {The d.o. in `John knows Bill's telephone number'
  	is a concealed question.},
  topic = {interrogatives;nl-semantics;knowing-who;concealed-questions;}
  }

@phdthesis{ heim_i:1982a,
  author = {Irene Heim},
  title = {The Semantics of Definite and Indefinite Noun Phrases},
  school = {Linguistics Department, University of Massachusetts},
  year = {1982},
  address = {Amherst, Massachusetts},
  topic = {nl-semantics;discourse;definiteness;file-change-semantics;
  	donkey-anaphora;pragmatics;}
 }

@inproceedings{ heim_i:1983a,
  author = {Irene Heim},
  title = {On the Projection Problem for Presuppositions},
  booktitle = {Proceedings, Second {W}est {C}oast {C}onference on {F}ormal
  	{L}inguistics},
  year = {1983},
  editor = {Michael Barlow and Daniel P. Flickinger and Michael T.
  	Wescoat},
  pages = {114--125},
  publisher = {Stanford Linguistics Association},
  address = {Stanford, California},
  rtnote = {In RHT collection.},
  topic = {presupposition;pragmatics;}
  }

@incollection{ heim_i:1983b,
  author = {Irene Heim},
  title = {File Change Semantics and the Familiarity Theory of
  	Definiteness},
  booktitle = {Meaning, Use, and Interpretation of Language},
  publisher = {Walter de Gruyter},
  year = {1983},
  editor = {Rainer B\"auerle and Christoph Schwarze and Arnim von
  	Stechow},
  pages = {164--189},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {definiteness;file-change-semantics;dynamic-semantics;
  	donkey-anaphora;}
  }

@phdthesis{ heim_i:1986a1,
  author = {Irene Heim},
  title = {The Semantics of Definite and Indefinite Noun Phrases},
  school = {Linguistics Department, University of Massachusetts},
  year = {1986},
  type = {Ph.{D}. Dissertation},
  address = {Amherst, Massachusetts},
  xref = {Republication: heim_i:1986a1},
  topic = {nl-semantics;anaphora;indefiniteness;definiteness;
  	dynamic-semantics;}
 }

@book{ heim_i:1986a2,
  author = {Irene Heim},
  title = {The Semantics of Definite and Indefinite Noun Phrases},
  publisher = {Garland Publishing Company},
  year = {1988},
  address = {New York},
  topic = {nl-semantics;anaphora;indefiniteness;definiteness;
  	dynamic-semantics;}
 }

@incollection{ heim_i:1987a,
  author = {Irene Heim},
  title = {Where Does the Definiteness Restriction Apply?
	{E}vidence from the Definiteness of Variables.},
  booktitle = {The Representation of (In)definites},
  publisher = {The {MIT} Press},
  year = {1987},
  editor = {Eric Reuland and Alice {ter Meulen}},
  pages = {21--42},
  address = {Cambridge, Massachusetts},
  topic = {nl-semantics;(in)definiteness;}
  }

@article{ heim_i:1990a,
  author = {Irene Heim},
  title = {E-Type Pronouns and Donkey Anaphora},
  journal = {Linguistics and Philosophy},
  year = {1990},
  volume = {13},
  number = {2},
  pages = {137--178},
  topic = {nl-semantics;nl-quantifiers;anaphora;uniqueness;
  	file-change-semantics;definiteness;donkey-anaphora;}
  }

@inproceedings{ heim_i:1991a,
  author = {Irene Heim},
  title = {Little},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XVI}},
  year = {1991},
  editor = {Masayuki Gibson and Jonathan Howell},
  publisher = {CLC Publications},
  address = {Ithaca, New York},
  url = {http://research.nii.ac.jp/salt16/proceedings/Heim_SALT_16.pdf},
  topic = {nl-semantics;comparative-constructions;degree-modifiers;}
  }

@article{ heim_i:1992a,
  author = {Irene Heim},
  title = {Presupposition Projection and the Semantics
  	of Attitude Verbs},
  journal = {Journal of Semantics},
  year = {1992},
  volume = {9},
  number = {3},
  pages = {183--221},
  topic = {presupposition;anaphora;propositional-attitudes;conditionals;}
  }

@inproceedings{ heim_i:1997a,
  author = {Irene Heim},
  title = {Predicates or Formulas? Evidence from Ellipsis},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VII}},
  publisher = {Cornell University},
  year = {1997},
  editor = {Aaron Lawson},
  pages = {197--221},
  address = {Ithaca, New York},
  topic = {nl-semantics;ellipsis;nl-semantic-types;}
  }

@inproceedings{ heim_i:2000a,
  author = {Irene Heim},
  title = {Degree Operators and Scope},
  booktitle = {Proceedings from Semantics and Linguistic Theory {X}},
  publisher = {Cornell University},
  year = {2000},
  editor = {Brendan Jackson and Tanya Matthews},
  pages = {40--64},
  address = {Ithaca, New York},
  topic = {nl-semantics;adjectives;degree-modifiers;}
  }

@book{ heim_i-kratzer:1997a,
  author = {Irene Heim and Angelika Kratzer},
  title = {Semantics in Generative Grammar},
  publisher = {Blackwell Publishers},
  year = {1997},
  address = {Oxford},
  rtnote = {In RHT collection.  Shelf.},
  rtnote = {semantics-course;},
  xref = {Review: spenader:2005a.},
  topic = {nl-semantics;}
 }

@book{ heim_m:1993a,
  author = {Michael Heim},
  title = {The Metaphysics of Virtual Reality},
  publisher = {Oxford University Press},
  year = {1993},
  address = {Oxford},
  ISBN = {0195081781 (paper)},
  rtnote = {UMich Undergraduate, Qa 76.9 .H85 H451 1993.},
  topic = {virtual-reality;}
 }

@inproceedings{ heinamaki:1972a,
  author = {Orvokki Hein\"am\"aki},
  title = {{\em Before}},
  booktitle = {Proceedings of the Eighth Regional Meeting of the
  	Chicago Linguistics Society},
  year = {1972},
  pages = {139--151},
  publisher = {Chicago Linguistics Society},
  editor = {Paul M. Peranteau and Judith N. Levi and Gloria C. Phares},
  address = {Chicago University, Chicago, Illinois},
  rtnote = {pragmatics-course;},
  topic = {presupposition;pragmatics;}
  }

@book{ heine:1997a,
  editor = {Bernd Heine},
  title = {Cognitive Foundations of Grammar},
  publisher = {Oxford University Press},
  year = {1997},
  address = {Oxford},
  ISBN = {0-19-510251-7 (hardback), 0-19-510252-5 (paperback)},
  topic = {foundations-of-cognitive-science;foundations-of-grammar;}
 }

@incollection{ heinemann:1998a,
  author = {Bernhard Heinemann},
  title = {Topological Nexttime Logic},
  booktitle = {Advances in Modal Logic, Volume 1},
  publisher = {{CSLI} Publications},
  year = {1998},
  editor = {Marcus Kracht and Maarten de Rijke and Heinrich Wansing},
  pages = {99--113},
  address = {Stanford, California},
  topic = {modal-logic;tense-logic;}
  }

@article{ heinemann:2004a,
  author = {Bernhard Heinemann},
  title = {A Modal Logic for Discretely Descending Chains of Sets},
  journal = {Studia Logica},
  year = {2004},
  volume = {76},
  number = {1},
  pages = {67--90},
  topic = {modal-logic;topological-logics;}
  }

@article{ heinemann:2008a,
  author = {Bernhard Heinemann},
  title = {A Hybrid Logic for Reasoning about Knowledge and Topology},
  journal = {Journal of Logic, Language, and Information},
  year = {2008},
  volume = {17},
  number = {1},
  pages = {19--41},
  topic = {hybrid-logic;topological-logics;epistemic-logic;}
  }

@incollection{ heinsohn:1991a,
  author = {Jochen Heinsohn},
  title = {A Hybrid Approach to Modeling Uncertainty in Terminological
  	Logics},
  booktitle = {Symbolic and Quantitative Approaches for Uncertainty:
  	Proceedings of the {E}uropean Conference {ECSQAU}, Marseille,
	France, October 1991},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Rudolf Kruse and Pierre Siegel},
  pages = {198--205},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {description-logics;reasoning-about-uncertainty;}
  }

@inproceedings{ heinsohn-etal:1992a,
  author = {Jochen Heinsohn and Daniel Kudenko and Bernhard Nebel
  	and Hans-J\"urgen Profitlich},
  title = {An Empirical Analysis of Terminological Representation
  	Systems},
  rtnote = {Consider assigning this.},
  booktitle = {Proceedings of the Tenth National Conference on
              Artificial Intelligence},
  year = {1992},
  editor = {Paul Rosenbloom and Peter Szolovits},
  pages = {767--773},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  xref = {Journal Publication: heinsohn-etal:1994a.},
  topic = {kr;experimental-testing-of-kr-systems;description-logics;
  	AI-system-evaluation;kr-course;}
  }

@article{ heinsohn-etal:1994a,
  author = {Jochen Heinsohn and Daniel Kudenko and Bernhard Nebel and
  	Hans-J\"urgen Profitlich},
  title = {An Empirical Analysis of Terminological Representation
  	Systems},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {68},
  number = {2},
  pages = {367--397},
  acontentnote = {Abstract:
     The family of terminological representation systems has its
     roots in the representation system KL-ONE. Since the development
     of KL-ONE more than a dozen similar representation systems have
     been developed by various research groups. These systems vary
     along a number of dimensions. In this paper, we present the
     results of an empirical analysis of six such systems.
     Surprisingly, the systems turned out to be quite diverse,
     leading to problems when transporting knowledge bases from one
     system to another.  Additionally, the runtime performance of
     different systems and knowledge bases varied more than we
     expected.  Finally, our empirical runtime performance results
     give an idea of what runtime performance to expect from such
     representation systems.  These findings complement previously
     reported analytical results about the computational complexity
     of reasoning in such systems.
  },
  topic = {kr;experimental-testing-of-kr-systems;description-logics;
  	AI-system-evaluation;kr-course;}
  }

@article{ heintz-etal:2009a,
  author = {Jeffrey Heintz and Gregory M. Kobele and Jason Riggle},
  title = {Evaluating the Complexity of Optimality Theory},
  journal = {Linguistic Inquiry},
  year = {2009},
  volume = {40},
  number = {2},
  pages = {277--288},
  topic = {optimality-theory;complexity-in-linguistics;}
  }

@article{ heinze-etal:2001a,
  author = {Daniel F. Heinze and Mark Morsch and Ronald Sheffer and
  	Michelle Jimmink and Mark Jennings},
  title = {{LifeCode}: A Deployed Application for Medical Coding},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {22},
  number = {2},
  pages = {76--88},
  topic = {medical-AI;nl-processing;}
  }

@article{ heinze-oldfield:2002a,
  author = {Clinton Heinze and Simon Goss and Torgny Josefsson and
  	Kerry Bennett and Sam Waugh and Ian Lloyd and Graeme
	Murray and John Oldfield},
  title = {Interchanging Agents and Humans in Military Situations},
  journal = {The {AI} Magazine},
  year = {2002},
  volume = {23},
  number = {2},
  pages = {37--47},
  topic = {autonomous-agents;HIL-simulation;}
  }

@article{ heizmann:1995a,
  author = {Susanne Heizmann},
  title = {Review of \emph{{M}achine Translation: An Introductory Guide},
  	by {D}.{J}. {A}rnold and {L}. {B}alkan and {R}. {L}ee
	{H}umphreys and {S}. {M}eijer and {L}. {S}adler},
  journal = {Computational Linguistics},
  year = {1995},
  volume = {21},
  number = {4},
  pages = {577--578},
  xref = {Review of: arnold_dj-etal:1994a.},
  topic = {machine-translation;}
  }

@book{ helander-etal:1997a,
  editor = {Martin G. Helander and Thomas K. Landauer and Prasad V.
  	Prabhu},
  title = {Handbook of Human-Computer Interaction},
  publisher = {Elsevier},
  edition = {2},
  year = {1997},
  address = {Amsterdam},
  ISBN = {0444818626 (hardbound)},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 H361 1997.},
  topic = {HCI;}
 }

@article{ held:1970a,
  author = {Virginia Held},
  title = {Can a Random Collection of Individuals
             Be Morally Responsible?},
  journal = {Journal of Philosophy},
  volume = {67},
  year = {1970},
  pages = {471--481},
  topic = {blameworthiness;}
    }

@incollection{ helft:1989a,
  author = {Nicolas Helft},
  title = {Induction as Nonmonotonic Inference},
  booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1989},
  editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter},
  pages = {149--156},
  address = {San Mateo, California},
  topic = {kr;kr-course;induction;nonmonotonic-reasoning;}
  }

@article{ hella-etal:1997a,
  author = {Lauri Hella and Jouko V\"a\"an\"anen and Dag Westerst{\aa}hl},
  title = {Definability of Polyadic Lifts of Generalized Quantifiers},
  journal = {Journal of Logic, Language, and Information},
  year = {1997},
  volume = {6},
  number = {3},
  pages = {305--355},
  topic = {generalized-quantifiers;}
  }

@incollection{ hella-luosto:1995a,
  author = {Lauri Hella and Kerkko Luosto},
  title = {Finite Generation Problem and $n$-ary Quanfifiers},
  booktitle = {Quantifiers: Logic, Models, and Computation, Vol. 1},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {Micha{\l} Krynicki and Marcin Mostowski and Les{\l}aw W.
  	Szczerba},
  pages = {63--104},
  address = {Dordrecht},
  topic = {generalized-quantifiers;}
  }

@incollection{ hellendoorn-reinfrank:1991a,
  author = {Hans Hellendoorn and Michael Reinfrank},
  title = {Fuzzy Control Research at {S}iemens Corporate {R\&D}},
  booktitle = {Symbolic and Quantitative Approaches for Uncertainty:
  	Proceedings of the {E}uropean Conference {ECSQAU}, Marseille,
	France, October 1991},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Rudolf Kruse and Pierre Siegel},
  pages = {206--210},
  address = {Berlin},
  topic = {fuzzy-logic;fuzzy-control;}
  }

@article{ heller:1998a,
  author = {Mark Heller},
  title = {Property Counterparts in Ersatz Worlds},
  journal = {The Journal of Philosophy},
  year = {1998},
  volume = {95},
  number = {6},
  pages = {293--316},
  topic = {philosophy-of-possible-worlds;}
  }

@article{ heller:2002a,
  author = {Daphna Heller},
  title = {On the Relations of Connectivity and Specificational
  	Pseudoclefts},
  journal = {Natural Language Semantics},
  year = {2001},
  volume = {10},
  number = {4},
  pages = {243--284},
  topic = {cleft-constructions;Hebrew-language;}
  }

@article{ hellie:2007a,
  author = {Benj Hellie},
  title = {`There's Something it's Like' and the Structure of
  	Consciousness},
  journal = {The Philosophical Review},
  year = {2007},
  volume = {116},
  number = {3},
  pages = {441--463},
  topic = {consciousness;philosophy-of-mind;}
  }

@unpublished{ hellman_g:1981a,
  author = {Geoffrey Hellman},
  title = {Stochastic {E}instein-Locality and the {B}ell Theorem},
  year = {1981},
  note = {Unpublished manuscript, Indiana University},
  rtnote = {In RHT collection.},
  topic = {foundations-of-quantum-mechanics;}
  }

@unpublished{ hellman_g:1981b,
  author = {Geoffrey Hellman},
  title = {Types of Hidden-Variable Theories for Quantum
  	Mechanics and the Nonexistence Proofs},
  year = {1981},
  note = {Unpublished manuscript, Indiana University},
  rtnote = {In RHT collection.},
  topic = {foundations-of-quantum-mechanics;}
  }

@unpublished{ hellman_g:1981c,
  author = {Geoffrey Hellman},
  title = {A Modal Derivation of {B}ell's Theorem},
  year = {1981},
  note = {Unpublished manuscript, Indiana University},
  rtnote = {In RHT collection.},
  topic = {quantum-logic;}
  }

@article{ hellman_g:1985a,
  author = {Geoffrey Hellman},
  title = {Determination and Logical Truth},
  journal = {The Journal of Philosophy},
  year = {1985},
  volume = {82},
  number = {11},
  pages = {607--616},
  topic = {supervenience;}
  }

@book{ hellman_g:1989a,
  author = {Geoffrey Hellman},
  title = {Mathematics Without Numbers: Towards a Modal-Structural
         Interpretation},
  publisher = {Oxford University Press},
  year = {1989},
  address = {Oxford},
  rtnote = {Math QA37.2 H42 1989},
  topic = {philosophy-of-mathematics;}
 }

@article{ hellman_g:1990a,
  author = {Geoffrey Hellman},
  title = {Towards a Modal-Structural Interpretation of Set Theory},
  journal = {Synth\'ese},
  year = {1990},
  volume = {84},
  number = {3},
  pages = {409--443},
  topic = {foundations-of-set-theory;modal-logic;}
  }

@article{ hellman_g:1993a,
  author = {Geoffrey Hellman},
  title = {Gleason's Theorem is Not Constructively Provable},
  journal = {Journal of Philosophical Logic},
  year = {1993},
  volume = {22},
  number = {3},
  pages = {193--203},
  contentnote = {Gleason's theorem is important in QM, it says that
  	all probability measures over the projection lattice of
	Hilbert space can be represented as density operators.
	See billinge:1997a.},
  topic = {quantum-logic;foundations-of-quantum-mechanics;
  	constructive-mathematics;}
  }

@article{ hellman_g:1993b,
  author = {Geoffrey Hellman},
  title = {Constructive Mathematics and Quantum Mechanics: Unbounded
		Operators and the Spectral Theorem},
  journal = {Journal of Philosophical Logic},
  year = {1993},
  volume = {22},
  number = {3},
  pages = {221--248},
  xref = {Comment: bridges:1995a.},
  topic = {quantum-logic;}
  }

@article{ hellman_g:1997a,
  author = {Geoffrey Hellman},
  title = {Quantum Mechanical Unbounded Operators and Constructive
  	Mathematics---A Rejoinder to {B}ridges},
  journal = {Journal of Philosophical Logic},
  year = {1997},
  volume = {26},
  number = {2},
  pages = {121--127},
  topic = {quantum-logic;foundations-of-quantum-mechanics;
  	constructive-mathematics;}
  }

@article{ hellman_g:2006a,
  author = {Geoffrey Hellman},
  title = {Mathematical Pluralism:  The Case of Smooth Infinitesimal
  		Analysis},
  journal = {Journal of Philosophical Logic},
  year = {2006},
  volume = {35},
  number = {6},
  pages = {621--651},
  topic = {intuitionistic-logic;infinitesimals;}
  }

@incollection{ hellman_g:2006b,
  author = {Geoffrey Hellman},
  title = {Against `Absolutely Everything'!},
  booktitle = {Absolute Generality},
  publisher = {Oxford University Press},
  year = {2006},
  editor = {August\'in Rayo and Gabriel Uzquiano},
  pages = {75--97},
  address = {Oxford},
  topic = {philosophical-ontology;unrestrictive-quantification;}
  }

@book{ helm:1994a,
  author = {Paul Helm},
  title = {Belief Policies},
  publisher = {Cambridge University Press},
  year = {1994},
  address = {Cambridge, England},
  topic = {will-to-believe;}
 }

@article{ helm:2001a,
  author = {Bennett W. Helm},
  title = {Emotions and Practical Reason},
  journal = {No\^us},
  year = {2001},
  volume = {35},
  number = {2},
  pages = {190--213},
  topic = {emotion;practical-reason;}
  }

@article{ helm:2002a,
  author = {Bennet W. Helm},
  title = {Review of \emph{{T}he Emotions: A Philosophical Exploration},
  	by {P}eter {G}oldie},
  journal = {The Philosophical Review},
  year = {2002},
  volume = {111},
  number = {1},
  pages = {132--135},
  xref = {Review of: goldie:2000a.},
  topic = {emotion;philosophical-psychology;}
  }

@article{ helman:1977a,
  author = {Glen Helman},
  title = {Completeness of the Normal Typed Fragment of the
  	$\lambda$-System {U}},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {6},
  number = {1},
  pages = {33--46},
  topic = {higher-order-logic;relevance-logic;}
  }

@article{ helman:1983a,
  author = {Glen Helman},
  title = {An Interpretation of Classical Proofs},
  journal = {Journal of Philosophical Logic},
  year = {1983},
  volume = {12},
  number = {1},
  pages = {39--71},
  topic = {proof-theory;semantics-of-proofs;}
  }

@article{ helmert:2003a,
  author = {Malte Helmert},
  title = {Complexity Results for Standard Benchmark Domains in
  	Planning},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {143},
  number = {2},
  pages = {219--262},
  topic = {planning-algorithms;complexity-in-AI;}
  }

@article{ helmert:2009a,
  author = {Malte Helmert},
  title = {Concise Finite-Domain Representations for {PDDL} Planning Tasks},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {5--6},
  pages = {503--535},
  topic = {planning-algorithms;}
  }

@article{ hemaspaandra_e-etal:2007a,
  author = {Edith Hemaspaandra and Lane A. Hemaspaandra and J\"org Rothe},
  title = {Anyone but him: The Complexity of Precluding an Alternative},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {5--6},
  pages = {255--285},
  topic = {voting-procedures;complexity-theory;}
  }

@article{ hempel:1939a1,
  author = {Carl G. Hempel},
  title = {Vagueness and Logic},
  journal = {Philosophy of Science},
  year = {1939},
  volume = {6},
  number = {2},
  pages = {163--180},
  month = {April},
  xref = {Republication: hempel:1939a2},
  topic = {vagueness;}
  }

@incollection{ hempel:1939a2,
  author = {Carl G. Hempel},
  title = {Vagueness and Logic},
  booktitle = {Vagueness: A Reader},
  publisher = {The {MIT} Press},
  year = {1997},
  editor = {Rosanna Keefe and Peter Smith},
  pages = {82--84},
  address = {Cambridge, Massachusetts},
  xref = {Republication of: hempel:1939a1},
  topic = {vagueness;}
  }

@article{ hempel:1945a,
  author = {Carl G. Hempel},
  title = {On the Nature of Mathematical Truth},
  journal = {The American Mathematical Monthly},
  year = {1945},
  volume = {52},
  number = {10},
  pages = {543--556},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-mathematics;}
  }

@article{ hempel:1948a,
  author = {Carl G. Hempel},
  title = {The Covering Law Analysis of Scientific Explanation},
  journal = {Philosophy of Science},
  year = {1948},
  volume = {15},
  number = {2},
  pages = {135--146,157--157,172--174},
  rtnote = {In RHT collection.},
  topic = {explanation;philosophy-of-science;}
  }

@article{ hempel:1953a,
  author = {Carl G. Hempel},
  title = {Reflections on {N}elson {G}oodman's {\it {T}he
  		Structure of Appearance}},
  journal = {The Philosophical Review},
  year = {1953},
  volume = {63},
  pages = {108--116},
  xref = {Review: goodman_n:1951a.},
  topic = {phenomenalism;}
  }

@article{ hempel:1955a,
  author = {Carl G. Hempel},
  title = {Review of \emph{{N}omological Statements and Admissible
  		Operations}, by {H}ans {R}eichenbach},
  journal = {Journal of Symbolic Logic},
  year = {1955},
  volume = {20},
  number = {1},
  pages = {50--54},
  xref = {Review of: reichenbach:1954a.},
  topic = {natural-laws;conditionals;}
  }

@article{ hempel:1960a,
  author = {Carl G. Hempel},
  title = {Inductive Inconsistencies},
  journal = {Synth\'ese},
  year = {1960},
  volume = {12},
  number = {4},
  pages = {439--469},
  rtnote = {In RHT collection.},
  topic = {induction;Hempel-paradox;}
  }

@article{ hempel:1962a,
  author = {Carl G. Hempel},
  title = {Rational Action},
  journal = {Proceedings and Addresses of the American Philosophical
		Association},
  year = {1962},
  volume = {35},
  pages = {5--23},
  rtnote = {In RHT collection.},
  topic = {practical-reasoning;rationality;}
  }

@book{ hempel:1965a,
  author = {Carl G. Hempel},
  title = {Aspects of Scientific Explanation, and Other Essays in the
    Philosophy of Science},
  publisher = {The Free Press},
  year = {1965},
  address = {New York},
  rtnote = {UMich Graduate Library Call No: Q 175 .H488},
  topic = {explanation;philosophy-of-science;}
 }

@inproceedings{ henderson_j-titov:2005a,
  author = {James Henderson and Ivan Titov},
  title = {Data-Defined Kernels for Parse Reranking Derived from
  		Probabilistic Models},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {181--188},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1023},
  topic = {statistical-nlp;syntactic-disambiguation;}
  }

@incollection{ hendler:1992a,
  author = {James A. Hendler},
  title = {Massively-Parallel Marker-Passing in Semantic Networks},
  booktitle = {Semantic Networks in Artificial Intelligence},
  publisher = {Pergamon Press},
  year = {1992},
  editor = {Fritz Lehmann},
  pages = {277--291},
  address = {Oxford},
  topic = {kr;semantic-networks;marker-passing;parallel-processing;}
  }

@incollection{ hendler:1996a,
  author = {James Hendler},
  title = {Implementations and Research: Discussions at the Boundary
  	(Position Statement)},
  booktitle = {{KR}'96: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro},
  pages = {659--660},
  address = {San Francisco, California},
  topic = {kr;AI-implementations;kr-course;}
  }

@incollection{ hendler:2002a,
  author = {Jim Hendler},
  title = {The Semantic Web: {KR}'s Worst Nightmare?},
  booktitle = {{KR2002}: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {2002},
  editor = {Dieter Fensel and Fausto Giunchiglia and Deborah
  	L. McGuinness and Mary-Anne Williams},
  pages = {630},
  address = {San Francisco, California},
  topic = {kr;AI-and-the-internet;}
  }

@article{ hendler:2005a,
  author = {James Hendler},
  title = {Knowledge is Power:  A View from the Semantic Web},
  journal = {The {AI} Magazine},
  year = {2005},
  volume = {26},
  number = {4},
  pages = {76--84},
  topic = {semantic-web;}
  }

@article{ hendler-bernerslee:2009a,
  author = {Jim Hendler and Tim Berners-Lee},
  title = {From the Semantic Web to Social Machines:  {A} Research Challenge
  		for {AI} on the {W}orld {W}ide {W}eb},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {174},
  number = {2},
  pages = {156--161},
  topic = {AI-editorial;social-computing;semantic-web;}
  }

@inproceedings{ hendler-etal:1995a,
  author = {James Hendler and Jaime Carbonell and Douglas Lenat and
  	Riichiro Mizoguchi and Paul Rosenbloom},
  title = {{VERY} Large Knowledge Bases---Architecture Versus
  	Engineering},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {2033--2036},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.  Use in KR course?},
  topic = {large-kr-systems;kr;krcourse;}
  }

@article{ hendricks_vf:2003a,
  author = {Vincent F. Hendricks},
  title = {Active Agents},
  journal = {Journal of Logic, Language, and Information},
  year = {2003},
  volume = {12},
  number = {4},
  pages = {469--495},
  topic = {epistemic-logic;}
  }

@book{ hendricks_vf-etal:2000a,
  editor = {Vincent F. Hendricks and Stig Arthur Pederson and Klaus
  	Frovin J{\o}rgenson},
  title = {Proof Theory: History and Philosophical Significance},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  address = {Dordrecht},
  xref = {Review: vanplato:2002a},
  topic = {proof-theory;}
 }

@article{ hendricks_vf-pedersen_sa:2006a,
  author = {Vincent F. Hendricks and Stig Andur Pedersen},
  title = {Introduction},
  journal = {Studia Logica},
  year = {2006},
  volume = {82},
  number = {1},
  pages = {301--305},
  note = {Introduction to a special issue on possible worlds},
  topic = {possible-worlds-semantics;foundations-of-modal-logic;
  	philosophy-of-possible-worlds;}
  }

@article{ hendricks_vf-pedersen_sa:2006b,
  author = {Vincent F. Hendricks and Stig A. Pedersen},
  title = {Introduction (to a Special Issue on Ways of Worlds)},
  journal = {Studia Logica},
  year = {2006},
  volume = {84},
  number = {2},
  pages = {167--169},
  topic = {modal-logic;}
  }

@techreport{ hendriks_h:1987a,
  author = {Herman Hendriks},
  title = {Type Change in Semantics: The Scope of Quantification
		and Coordination},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {87--09},
  year = {1987},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland},
  rtnote = {In RHT collection.},
  topic = {Montague-grammar;polymorphism;nl-semantic-types;nl-quantifiers;
	coordination;}
  }

@phdthesis{ hendriks_h:1993a,
  author = {Herman Hendriks},
  title = {Studied Flexibility},
  school = {University of Amsterdam},
  year = {1993},
  type = {Ph.{D}. Dissertation},
  address = {Amsterdam},
  missinginfo = {department},
  topic = {nl-semantics;dynamic-logic;}
 }

@inproceedings{ hendriks_h:1996a,
  author = {Herman Hendriks},
  title = {Information Packaging: From Cards to Boxes},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VI}},
  publisher = {Cornell University},
  year = {1996},
  editor = {Teresa Galloway and Justin Spence},
  pages = {75--92},
  address = {Ithaca, New York},
  topic = {information-structure;sentence-focus;}
  }

@article{ hendriks_h:2001a,
  author = {Herman Hendriks},
  title = {Compositionality and Model-Theoretic Interpretation},
  journal = {Journal of Logic, Language, and Information},
  year = {2001},
  volume = {10},
  number = {1},
  pages = {29--48},
  topic = {compositionality;nl-semantics;}
  }

@article{ hendriks_l:1999a,
  author = {Lex Hendriks},
  title = {Review of \emph{Effective Logic Computation},
		by {K}lause {T}ruemper},
  journal = {Journal of Logic, Language, and Information},
  year = {1999},
  volume = {8},
  number = {4},
  pages = {481--484},
  xref = {Review of truemper:1998a.},
  topic = {model-checking;}
  }

@article{ hendriks_p-etal:2008a,
  author = {Petra Hendriks and Christina Englert and Ellis Wubs
  		and John Hoeks},
  title = {Age Differences in Adults' Use of Referring Expressions},
  journal = {Journal of Logic, Language, and Information},
  year = {2008},
  volume = {17},
  number = {4},
  pages = {443--466},
  topic = {psycholinguistics;referring-expressions;}
  }

@article{ hendriks_p-hoop:2001a,
  author = {Petra Hendriks and Helen de Hoop},
  title = {Optimality Theoretic Semantics},
  journal = {Linguistics and Philosophy},
  year = {2001},
  volume = {24},
  number = {1},
  pages = {1--32},
  topic = {nl-semantics;optimality-semantics;}
  }

@article{ hendriks_vf:2003a,
  author = {Vincent F. Hendriks},
  title = {Active Agents},
  journal = {Journal of Logic, Language, and Information},
  year = {2003},
  volume = {12},
  number = {4},
  pages = {469--495},
  topic = {epistemic-logic;}
  }

@incollection{ hendrix_gg:1973a2,
  author = {Gary G. Hendrix},
  title = {Modeling Simultaneous Actions and Continuous Processes},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {64--87},
  address = {San Mateo, California},
  xref = {Republication of: hendrix_gg:1973a1.},
  topic = {concurrent-actions;reasoning-about-continuous-time;
  	continuous-change;qualitative-physics;qualitative-reasoning;}
  }

@article{ hendrix_gg:1973a,
  author = {Gary G. Hendrix},
  title = {Modeling Simultaneous Actions and Continuous Processes},
  journal = {Artificial Intelligence},
  year = {1973},
  volume = {4},
  number = {3--4},
  pages = {145--180},
  xref = {Republication: hendrix_gg:1973a2.},
  topic = {concurrent-actions;reasoning-about-continuous-time;
  	continuous-change;qualitative-physics;qualitative-reasoning;}
  }

@incollection{ hendrix_gg:1978a,
  author = {Gary G. Hendrix},
  title = {The Representation of Semantic Knowledge},
  booktitle = {Understanding Spoken Language},
  publisher = {North-Holland},
  year = {1978},
  editor = {Donald E. Walker},
  pages = {121--181},
  address = {Amsterdam},
  topic = {computational-semantics;}
  }

@incollection{ hendrix_gg:1978b,
  author = {Gary G. Hendrix},
  title = {The Model of the Ship-Information Domain},
  booktitle = {Understanding Spoken Language},
  publisher = {North-Holland},
  year = {1978},
  editor = {Donald E. Walker},
  pages = {183--191},
  address = {Amsterdam},
  topic = {computational-ontology;speech-recognition;}
  }

@incollection{ hendrix_gg:1978c,
  author = {Gary G. Hendrix},
  title = {Semantic Aspects of Translation},
  booktitle = {Understanding Spoken Language},
  publisher = {North-Holland},
  year = {1978},
  editor = {Donald E. Walker},
  pages = {193--226},
  address = {Amsterdam},
  topic = {computational-semantics;speech-recognition;}
  }

@incollection{ hendrix_gg:1978d,
  author = {Gary G. Hendrix},
  title = {Determining an Appropriate Response},
  booktitle = {Understanding Spoken Language},
  publisher = {North-Holland},
  year = {1978},
  editor = {Donald E. Walker},
  pages = {347--353},
  address = {Amsterdam},
  topic = {computational-dialogue;discourse-reasoning;nl-generation;}
  }

@incollection{ hendrix_gg-etal:1994a,
  author = {Gary G. Hendrix and Earl D. Sacerdoti and Daniel
        Sagalowicz and Jonathan Slocum},
  title = {Developing a Natural Language Interface to
		Complex Data},
  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 = {59--107},
  address = {Pisa and Dordrecht},
  topic = {nl-interfaces;}
  }

@article{ henkin:1949a,
  author = {Leon Henkin},
  title = {The Completeness of the First-Order Functional Calculus},
  journal = {Journal of Symbolic Logic},
  year = {1949},
  volume = {14},
  pages = {159--166},
  missinginfo = {number.},
  topic = {logic-classic;}
 }

@article{ henkin:1950a,
  author = {Leon Henkin},
  title = {Completeness in the Theory of Types},
  journal = {Journal of Symbolic logic},
  year = {1950},
  volume = {15},
  pages = {81--91},
  missinginfo = {number.},
  topic = {higher-order-logic;}
 }

@article{ henkin:1954a,
  author = {Leon Henkin},
  title = {A Generalization of the Concept of $\omega$-Consistency},
  journal = {The Journal of Symbolic Logic},
  year = {1954},
  volume = {19},
  number = {3},
  pages = {183--196},
  xref = {Review:  JSL 23, p. 40.},
  rtnote = {Reading notes on file.},
  topic = {omega-consistency|completeness;}
  }

@article{ henkin:1957a,
  author = {Leon Henkin},
  title = {A Generalization of the Concept of $\omega$-Completeness},
  journal = {The Journal of Symbolic Logic},
  year = {1957},
  volume = {22},
  number = {4},
  pages = {1--14},
  rtnote = {Reading notes on file.},
  topic = {omega-consistency|completeness;}
  }

@article{ henkin:1963a,
  author = {Leon Henkin},
  title = {A Theory of Propositional Types},
  journal = {Fundamenta Mathematicae},
  year = {1963},
  volume = {52},
  pages = {323--350},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {propositional-quantifiers;}
  }

@article{ henkin:1996a,
  author = {Leon Henkin},
  title = {The Discovery of My Completeness Proofs},
  journal = {Bulletin of Symbolic Logic},
  year = {1996},
  volume = {2},
  number = {2},
  pages = {127--158},
  topic = {completeness-theorems;}
  }

@article{ henle:1961a,
  author = {Paul Henle},
  title = {On the Second Ontological Argument},
  journal = {The Philosophical Review},
  year = {1961},
  volume = {70},
  number = {1},
  pages = {85--109},
  rtnote = {In RHT collection.},
  topic = {ontological-argument;(non)existence;}
  }

@book{ henle-etal:1951a,
  editor = {Paul Henle and Horace M. Kallen and Susanne K. Langer},
  title = {Structure, Method, and Meaning: Essays in Honor of
		{H}enry M. {S}cheffer},
  publisher = {Liberal Arts Press},
  year = {1951},
  address = {New York},
  rtnote = {UMich Graduate Library: BC 135 .H52},
  topic = {analytic-philosophy;logic;}
 }

@article{ hennacy:2005a,
  author = {Ken Hennacy},
  title = {Wolfram's New Science:  A New Start?},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {169},
  number = {2},
  pages = {150--164},
  xref = {Review of: wolfram:2002a},
  topic = {cellular-automata;foundations-of-AI;}
  }

@inproceedings{ henninger-etal:2001a,
  author = {Amy E. Henninger and Avelino J.Gonzalez and Michael
    		Georgiopoulos and Michael De{M}aro},
  title = {A Connectionist-Symbolic Approach to Modeling Agent
		Behavior: Neural Networks Grouped by Contexts},
  booktitle = {Modeling and Using Context: Third International and
  	Interdisciplinary Conference, Context 2001},
  publisher = {Springer-Verlag},
  year = {2001},
  editor = {Varol Akman and Paolo Bouquet and Richmond Thomason
  	and Roger A. Young},
  pages = {198--209},
  address = {Berlin},
  topic = {context;connectionist-models;}
  }

@incollection{ henrion:1990a,
  author = {Max Henrion},
  title = {An Introduction to Algorithms for Inference in Belief Nets},
  booktitle = {Uncertainty in Artificial Intelligence 5},
  year = {1990},
  pages = {129--138},
  publisher = {Elsevier Science Publishers B.V.},
  address = {North Holland},
  editor = {M. Henrion and R.D. Shachter and L.N. Kanal and J.F. Lemmer},
  topic = {probabilistic-reasoning;Bayesian-networks;}
}

@incollection{ henrion:1990b,
  author = {Max Henrion},
  title = {Toward Efficient Probabilistic Diagnosis in Multiply
		Connected Belief Networks},
  booktitle = {Influence Diagrams, Belief Nets, and Decision Analysis},
  publisher = {John Wiley and Sons, Inc.},
  year = {1990},
  editor = {R.M. Oliver and J.Q. Smith},
  pages = {285--410},
  address = {New York},
  missinginfo = {E's 1st name.},
  topic = {Bayesian-networks;probabilistic-reasoning;}
  }

@book{ henrion-etal:1990a,
  editor = {Max Henrion and Ross D. Shachter and L.N. Kanal and J.F.
  	Lemmer},
  title = {Uncertainty in Artificial Intelligence},
  publisher = {Elsevier},
  year = {1990},
  volume = {5},
  address = {Amsterdam},
  ISBN = {0444887393},
  missinginfo = {E's 1st name.},
  topic = {uncertainty-in-AI;reasoning-about-uncertainty;}
 }

@book{ henrion-etal:1991a,
  editor = {Max Henrion and R.D. Shachter and L.N. Kanal
		and J.F. Lemmer},
  title = {Uncertainty in Artificial Intelligence. Proceedings of the
   Sixth Conference},
  publisher = {North-Holland},
  year = {1991},
  address = {Amsterdam},
  topic = {reasoning-about-uncertainty;}
 }

@book{ henry:1998a,
  author = {Philip R. Henry},
  title = {Belief Reports and the Structure of Believing},
  publisher = {CSLI Publications},
  year = {1998},
  address = {Stanford},
  topic = {belief;}
 }

@article{ henson:1972a,
  author = {C. Henson},
  title = {On Nonstandard Representation of Measures},
  journal = {Transactions of the American Mathematical Society},
  year = {1972},
  volume = {172},
  pages = {437--436},
  missinginfo = {A's 1st name},
  topic = {nonstandard-probability;}
  }

@book{ heny:1981a,
  editor = {Frank Heny},
  title = {Binding and Filtering},
  publisher = {Croom Helm},
  year = {1981},
  address = {London},
  contentnote = {TC:
     1. Frank Heny, "Introduction"
     2. Noam Chomsky, "On binding"
     3. Leland M. George and Jaklin Kornfilt, "Finiteness and
     		Boundedness in Turkish"
     4. Luigi Rizzi, "Nominative marking in Italian infinitives and
     		the nominative island constraint"
     5. Eric J. Reuland, "Empty subjects, case and agreement and the
     		grammar of Dutch"
     6. Richard S. Kayne, "Binding, quantifiers, clitics and control"
     7. Stephen Harlow, "Government and relativisation in Celtic"
     8. Joan Maling and Annie Zaenen, "Germanic word order and the
     		format of surface filters"
     9. Pieter Muysken, "Quecha word structure"
  },
  ISBN = {0709903863},
  rtnote = {UMich Graduate Library, P158 .B59.},
  topic = {government-binding-theory;}
}

@article{ heny:1982a,
  author = {Frank Heny},
  title = {Tense, Aspect and Time Adverbials, {II}},
  journal = {Linguistics and Philosophy},
  year = {1982},
  volume = {5},
  number = {1},
  pages = {109--154},
  topic = {nl-tense;nl-semantics;temporal-adverbials;}
  }

@inproceedings{ hepple:1997a,
  author = {Mark Hepple},
  title = {Maximal Incrementality in Linear Categorial Deduction},
  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 = {344--359},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {categorial-grammar;}
 }

@article{ herbert-karusch:1977a,
  author = {Nick Herbert and Jack Karusch},
  title = {Generalization of {B}ell's Theorem},
  journal = {Foundations of Physics},
  year = {1977},
  volume = {8},
  number = {3/4},
  pages = {313--317},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {foundations-of-quantum-mechanics;}
  }

@inproceedings{ herburger:1993a,
  author =  {Elena Herburger},
  title = {Focus and the {LF} of {NP} Quantification},
  booktitle = {Proceedings from Semantics and Linguistic Theory {III}},
  year = {1993},
  editor = {Utpal Lahiri and Zachary Wyner},
  pages = {77--96},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {sentence-focus;nl-quantification;}
  }

@article{ herburger:1997a,
  author = {Elena Herburger},
  title = {Focus and Weak Noun Phrases},
  journal = {Natural Language Semantics},
  year = {1997},
  volume = {5},
  number = {1},
  pages = {53--78},
  topic = {sentence-focus;pragmatics;}
  }

@article{ herburger:2001a,
  author = {Elena Herburger},
  title = {The Negative Concord Puzzle Revisited},
  journal = {Natural Language Semantics},
  year = {2001},
  volume = {9},
  number = {3},
  pages = {289--333},
  topic = {polarity;negative-concord;}
  }

@book{ heringer:1972a,
  author = {James T. Heringer},
  title = {Some Grammatical Correlates of Felicity Conditions and
  	Presuppositions},
  publisher = {Indiana University Linguistics Club},
  year = {1972},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {speech-acts;pragmatics;}
 }

@incollection{ heringer:1976a,
  author = {James T. Heringer},
  title = {Pre-sequences and Indirect Speech Acts},
  booktitle = {Discourse Structure Across Time and Space},
  publisher = {Linguistics Department, University of California},
  year = {1976},
  editor = {Edward L. Keenan and T. Bennett},
  pages = {169--180},
  address = {Los Angeles, California},
  topic = {speech-acts;pragmatics;}
  }

@book{ herkin:1988a,
  editor = {Rolf Herkin},
  title = {The Universal {T}uring Machine: A Half-Century
  	Survey},
  publisher = {Oxford University Press},
  year = {1988},
  address = {Oxford},
  contentnote = {TC:
  	1. Andrew Hodges, "Alan {T}uring and the {T}uring Machine",
		pp. 3--15
	2. Steven C. Kleene, "Turing's Analysis of Computability,
		and Major Applications of It", pp. 17--54
	3. Robin Gandy, "The Confluence of Ideas in
		1936", pp. 55--111
	4. Solomon Feferman, "Turing in the Land of
		{O}(z)", pp. 113--147
	5. Martin Davis, "Mathematical Logic and the Origin of
		Modern Computers", pp. 149--174
	6. Michael A. Arbib, "From Universal {T}uring Machines
		to Self-Reproduction", pp. 177--189
	7. Michael J. Beeson, "Computerizing Mathematics: Logic and
		Computation", pp. 191--225
       10. Charles H. Bennett, "Logical Depth and Physical
       		Complexity", pp. 227--257
       11. Allen H. Brady, "The Busy Beaver Game and the Meaning
       		of Life", pp. 259--277
       12. Gregory J. Chattin, "An Algebraic Equation for the Halting
       		Probability", pp. 279--283
       13. Michael Conrad, "The Price of Programmability", pp. 285--307
       14. Elias Dahlhaus and Johann A. Malowsky, "Gandy's
       		Principles for Mechanism as a Model of Parallel
		Computation", pp. 309--314
       15. Martin Davis, "Influences of Mathematical Logic on
       		Computer Science", pp. 315--326
       16. Jens Erik Fenstad, "Language and
       		Computations", pp. 327--347
       17. David Finkelstein, "Finite Physics", pp. 349--376
       18. Oded Goldreich, "Randomness, Interactive Proofs, and
       		Zero-Knowledge---A Survey", pp. 377--405
       19. Yuri Gurevich, "Algorithms in the World of Bounded
       		Resources", pp. 407--416
       20. Brosl Hasslacher, "Beyond the Turing
       		Machine", pp. 417--433
       21. Moshe Koppel, "Structure", pp. 435--452
       22. Johann A. Makowsky, "Mental Images and the Architecture
       		of Concepts", pp. 453--465
       23. Donald Michie, "The Fifth Generation's Unbridged
       		Gap", pp. 467--489
       24. Roger Penrose, "On the Physics and Mathematics of
       		Thought", pp. 491--522
       25. Robert Rosen, "Effective Processes and Natural
       		Law", pp. 523--537
       26. Helmut Schlelle, "Turing Naturalized: {V}on {N}eumann's
       		Unfinished Project", pp. 539--559
       27. Uwe Schoning, "Complexity Theory and
       		Interactions", pp. 561--580
       28. John C. Shepardson, "Mechanisms for Computing over
       		Arbitrary Structures", pp. 581--601
       29. Boris A. Trakhtenbrot, "Conparing the {C}hurch and {T}uring
       		Approaches: Two Prophetical Messages", pp. 603--630
       30. Oswald Weiner, "Form and Content in Thinking Turing
       		Machines", pp. 631--657
   },
  rtnote = {In RHT collection.  Logic Shelf.},
  topic = {Turing;theory-of-computation;history-of-computation;}
 }

@article{ herman-kanade:1986a,
  author = {Martin Herman and Takeo Kanade},
  title = {Incremental Reconstruction of 3D Scenes from
  	Multiple, Complex Images},
  journal = {Artificial Intelligence},
  year = {1986},
  volume = {30},
  number = {3},
  pages = {289--341},
  topic = {three-D-reconstruction;}
  }

@inproceedings{ hermjakob-mooney_rj:1997a,
  author = {Ulf Hermjakob and Raymond J. Mooney},
  title = {Learning Parse and Translation Decisions from Examples
  		with Rich Context},
  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 = {482--489},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;}
 }

@article{ hernandezorallo:2000a,
  author = {Jose Hernandez-Orallo},
  title = {Beyond the {T}uring Test},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {9},
  number = {4},
  pages = {447--446},
  topic = {foundations-of-AI;}
  }

@article{ hernandezorallo:2000b,
  author = {Jos\'e Hern\'andez-Orallo},
  title = {Review of \emph{{T}ruth from Trash: How Learning Makes Sense},
  	by Chris Thornton},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {124},
  number = {1},
  pages = {161--165},
  xref = {Review of: thornton:2000a.},
  topic = {machine-learning;}
  }

@incollection{ herre:1991a,
  author = {Heinich Herre},
  title = {Nonmonotonic Reasoning and Logic Programs},
  booktitle = {Nonmonotonic and Inductive Logics},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {J\"urgen Dix and Klaus P. Jantke and P.H. Schmidt},
  pages = {38--58},
  address = {Berlin},
  missinginfo = {E's 1st name.},
  topic = {nonmonotonic-logic;logic-programming;}
  }

@incollection{ herre:1994a,
  author = {Heinrich Herre},
  title = {Compactness Properties of Nonmonotonic Inference Operations},
  booktitle = {Logics in Artificial Intelligence},
  publisher = {Springer-Verlag},
  year = {1994},
  editor = {Craig Mac{N}ish and Lu\'is Moniz Pereira and David Pearce},
  pages = {19--33},
  address = {Berlin},
  topic = {nonmonotonic-logic;}
  }

@incollection{ herre:1995a,
  author = {Heinrich Herre},
  title = {Theory of Linear Order in Extended Logics},
  booktitle = {Quantifiers: Logic, Models, and Computation, Vol. 1},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {Micha{\l} Krynicki and Marcin Mostowski and Les{\l}aw W.
  	Szczerba},
  pages = {139--192},
  address = {Dordrecht},
  topic = {linear-orderings;decidability;}
  }

@book{ herrero:1988a,
  author = {Angel Herrero},
  title = {Semiotica y Creatividad: La Logica Abductiva},
  publisher = {Palas Atenea},
  year = {1988},
  address = {Madrid},
  topic = {semiotics;creativity;}
 }

@inproceedings{ herrman-thielscher:1996a,
  author = {Christoph Herrman and Mochael Thielscher},
  title = {Reasoning about Continuous Processes},
  booktitle = {Proceedings of the Thirteenth National Conference on
              Artificial Intelligence and the Eighth Innovative
	      Applications of Artificial Intelligence  Conference},
  year = {1996},
  editor =

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib