text:
An iterative implementation is shown which successfully
     computes the optical flow for a number of synthetic image
     sequences.  The algorithm is robust in that it can handle image
     sequences that are quantized rather coarsely in space and time.
     It is also insensitive to quantization of brightness levels and
     additive noise.  Examples are included where the assumption of
     smoothness is violated at singular points or along lines in the
     image.},
  topic = {computer-vision;optical-flow;}
  }

@article{ horn_bkp-schunck:1993a,
  author = {Berthold K.P. Horn and B.G. Schunck},
  title = {`{D}etermining Optical Flow': A Retrospective},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {81--87},
  topic = {computer-vision;}
  }

@inproceedings{ horn_lr:1969a,
  author = {Laurence R. Horn},
  title = {A Presuppositional Analysis of `Only' and `Even'},
  booktitle = {Proceedings From the Fifth Regional Meeting of the
  	Chicago Linguistic Society},
  year = {1969},
  pages = {125--142},
  organization = {Chicago Linguistic Society},
  publisher = {Chicago Linguistic Society},
  address = {Chicago, IL},
  topic = {`only';`even';presupposition;pragmatics;}
  }

@inproceedings{ horn_lr:1971a,
  author = {Lawrence R. Horn},
  title = {Negative Transportation: Unsafe at Any Speed},
  booktitle = {Papers from the Seventh Regional Meeting of the
  	{C}hicago Linguistic Society},
  year = {1971},
  pages = {120--133},
  editor = {Douglas Adams and Mary Ann Campbell and Victor Cohen and
  	Julie Lovins and Edward Maxwell and Carolyn Nygren and
	John Reighard},
  organization = {Chicago Linguistic Society},
  publisher = {Chicago Linguistic Society},
  address = {Goodspeed Hall, 1050 East 59th Street, Chicago, Illinois},
  topic = {negation;generative-semantics;propositional-attitudes;}
  }

@inproceedings{ horn_lr:1972a,
  author = {Laurence R. Horn},
  title = {Greek {G}rice},
  booktitle = {Proceedings of the Ninth Regional Meeting of the
  	Chicago Linguistics Society},
  year = {1972},
  pages = {205--214},
  publisher = {Chicago Linguistics Society},
  address = {Chicago University, Chicago, Illinois},
  missinginfo = {editor},
  topic = {implicature;pragmatics;}
  }

@phdthesis{ horn_lr:1972b1,
  author = {Laurence R. Horn},
  title = {On the Semantic Properties of the Logical Operators in
  	{E}nglish},
  school = {University of California at Los Angeles},
  year = {1972},
  type = {Ph.{D}. Dissertation},
  address = {Los Angeles, California},
  xref = {Republished by IULC. See horn_lr:1972b2.},
  topic = {presupposition;pragmatics;nl-and-logic;negation;}
 }

@book{ horn_lr:1972b2,
  author = {Laurence R. Horn},
  title = {On the Semantic Properties of the Logical Operators in
  	{E}nglish},
  publisher = {Indiana University Linguistics Club},
  year = {1972},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  xref = {Republished PhD theses. See horn_lr:1972b1.},
  topic = {presupposition;pragmatics;nl-and-logic;negation;}
 }

@incollection{ horn_lr:1979a,
  author = {Laurence R. Horn},
  title = {Some Aspects of Negation},
  booktitle = {Universals of Human Language, Volume 4: Syntax},
  publisher = {Stanford University Press},
  year = {1979},
  editor = {Joseph H. Greenburg},
  pages = {127--210},
  topic = {negation;presupposition;pragmatics;}
  }

@article{ horn_lr:1981a,
  author = {Laurence R. Horn},
  title = {A Pragmatic Approach to Certain Ambiguities},
  journal = {Linguistics and Philosophy},
  year = {1979},
  volume = {4},
  number = {3},
  pages = {321--358},
  topic = {ambiguity;}
  }

@incollection{ horn_lr:1984a,
   author = {Laurence R. Horn},
   title = {Toward a New Taxonomy for Pragmatic Inference: Q-Based
   	and R-Based Implicature},
   booktitle = {Meaning, Form, and Use in Context: Linguistic Applications},
   publisher = {Georgetown University Press},
   year = {1984},
   editor = {Deborah Schiffrin},
   pages = {11--42},
   address = {Washington, {DC}},
   topic = {implicature;pragmatics;}
  }

@article{ horn_lr:1985a,
  author = {Laurence R. Horn},
  title = {Metalinguistic Negation and Pragmatic Ambiguity},
  journal = {Language},
  year = {1985},
  volume = {61},
  number = {1},
  pages = {121--174},
  topic = {negation;ambiguity;pragmatics;}
  }

@book{ horn_lr:1989a,
  author = {Lawrence R. Horn},
  title = {A Natural History of Negation},
  publisher = {Chicago University Press},
  year = {1989},
  address = {Chicago},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {negation;presupposition;pragmatics;nl-and-logic;}
 }

@incollection{ horn_lr:1992a,
  author = {Laurence R. Horn},
  title = {Pragmatics, Implicature, and Presupposition},
  booktitle = {International Encyclopedia of Linguistics},
  publisher = {Oxford University Press},
  year = {1992},
  editor = {William Bright},
  pages = {260--266},
  address = {Oxford},
  rtnote = {pragmatics-course;},
  topic = {presupposition;implicature;pragmatics;}
  }

@incollection{ horn_lr:1996a,
  author = {Lawrence R. Horn},
  title = {Presupposition and Implicature},
  booktitle = {The Handbook of Contemporary Semantic Theory},
  publisher = {Blackwell Publishers},
  year = {1996},
  address = {Oxford},
  editor = {Shalom Lappin},
  pages = {299--319},
  topic = {presupposition;implicature;pragmatics;}
  }

@incollection{ horn_lr:2007a,
  author = {Laurence R. Horn},
  title = {Toward a {F}regean Pragmatics: \emph{{V}oraussetzung},
  	\emph{{N}ebengedanke}, \emph{{A}ndeutung}},
  booktitle = {Explorations in Pragmatics:  Linguistic, Cognitive
  		and Intercultural Aspects},
  publisher = {Mouton de Gruyter},
  year = {2007},
  editor = {Istvan Kecskes and Laurence R. Horn},
  pages = {39--69},
  address = {Berlin},
  topic = {pragmatics;conventional-implicature;presupposition;}
  }

@article{ horn_lr-bayer:1984a,
  author = {Laurence R. Horn and Samuel Bayer},
  title = {Short-Circuited Implicature: A Negative Contribution},
  journal = {Linguistics and Philosophy},
  year = {1984},
  volume = {7},
  number = {4},
  pages = {397--414},
  topic = {implicature;negation;pragmatics;}
  }

@book{ horne:2000a,
  editor = {Merle Horne},
  title = {Prosody, Theory and Experiment:  Studies Presented
  	to {G}\"osta {B}ruce},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  address = {Dordrecht},
  ISBN = {0792365798},
  rtnote = {UMich Graduate Library P 224 .P771 2000},
  xref = {Review: shih-sproat:2001a.},
  topic = {prosody;}
 }

@article{ hornsby:1979a,
  author = {Jennifer Hornsby},
  title = {Actions and Identities},
  journal = {Analysis},
  year = {1979},
  volume = {39},
  pages = {195--201},
  missinginfo = {number},
  topic = {action;}
  }

@book{ hornsby:1980a,
  author = {Jennifer Hornsby},
  title = {Actions},
  publisher = {Routledge and Kegan Paul},
  year = {1980},
  address = {London},
  xref = {Review: watson_g1:1982a.},
  topic = {action;}
 }

@incollection{ hornsby:1986a,
  author = {Jennifer Hornsby},
  title = {Bodily Movements, Actions, and Intentionality},
  booktitle = {Midwest Studies in Philosophy Volume {X}:
  	Studies in the Philosophy of Mind},
  publisher = {University of Minnesota Press},
  year = {1986},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {275--286},
  address = {Minneapolis},
  topic = {intentionality;action;}
  }

@incollection{ hornsby:1989a,
  author = {Jennifer Hornsby},
  title = {Semantic Innocence and Psychological Understanding},
  booktitle = {Philosophical Perspectives 3:
  	Philosophy of Mind and Action Theory},
  publisher = {Ridgeview Publishing Company},
  year = {1989},
  editor = {James E. Tomberlin},
  pages = {549--574},
  address = {Atasacadero, California},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {foundations-of-semantics;nl-semantics-and-cognition;
  		philosophy-of-language;propositional-attitudes;}
  }

@incollection{ hornsby:1993a,
  author = {Jennifer Hornsby},
  title = {Agency and Causal Explanation},
  booktitle = {Mental Causation},
  publisher = {Oxford University Press},
  year = {1993},
  editor = {John Heil and Alfred R. Mele},
  pages = {161--188},
  address = {Oxford},
  topic = {agency;causality;}
  }

@book{ hornstein:1984a,
  author = {Norbert Hornstein},
  title = {Logic as Grammar},
  publisher = {The {MIT} Press},
  year = {1984},
  address = {Cambridge, Massachusetts},
  rtnote = {Computer Science P325 .H62 1984},
  topic = {foundations-of-semantics;quantifiers;belief;
  	definite-sescriptions;}
 }

@article{ hornstein:1984b,
  author = {Norbert Hornstein},
  title = {Interpreting Quantification in Natural Language},
  journal = {Synth\'ese},
  year = {1984},
  volume = {59},
  number = {2},
  pages = {117--150},
  topic = {nl-quantifiers;nl-quantifier-scope;
  	foundations-of-semantics;}
  }

@article{ hornstein:1988a,
  author = {Norbert Hornstein},
  title = {The Heartbreak of Semantics},
  journal = {Mind and Language},
  year = {1988},
  volume = {3},
  number = {1},
  pages = {9--27},
  xref = {Discussion of schiffer:1987a.},
  topic = {philosophy-of-language;foundations-of-semantics;}
  }

@book{ hornstein:1990a,
  author = {Norbert Hornstein},
  title = {As Time Goes By: Tense and Universal Grammar},
  publisher = {The {MIT} Press},
  year = {1990},
  address = {Cambridge, Massachusetts},
  ISBN = {0262081911},
  rtnote = {UMich Graduate Library P 281 .H661 1990},
  topic = {nl-semantics;tense-aspect;universal-grammar;}
 }

@book{ hornstein:1994a,
  author = {Norbert Hornstein},
  title = {{LF}: The Grammar of Logical Form from {GB} to Minimalism},
  publisher = {Blackwell Publishers},
  year = {1994},
  address = {Oxford},
  rtnote = {Hillman P291 H66 1995},
  topic = {nl-semantics;LF;minimalist-syntax;}
 }

@book{ hornstein:1995a,
  author = {Norbert Hornstein},
  title = {Logical Form: From {GB} to Minimalism},
  publisher = {Oxford University Press},
  year = {1995},
  address = {Oxford},
  ISBN = {0631179127 (hardcover), 0631189424 (pbk.)},
  rtnote = {UMich Graduate Library, P 291 .H661 1995.},
  topic = {logical-form;government-binding-theory;minimalist-syntax;
  		nl-semantics;}
 }

@article{ hornstein:1995b,
  author = {Norbert Hornstein},
  title = {Putting Truth into Universal Grammar},
  journal = {Linguistics and Philosophy},
  year = {1995},
  volume = {18},
  number = {4},
  pages = {381--400},
  topic = {nl-semantics;nl-quantifiers;}
  }

@article{ hornstein:1999a,
  author = {Norbert Hornstein},
  title = {Movement and Control},
  journal = {Linguistic Inquiry},
  year = {1999},
  volume = {30},
  number = {1},
  pages = {69--96},
  topic = {syntactic-control;minimalist-syntax;}
  }

@book{ hornstein-lightfoot:1981a,
  editor = {Norbert Hornstein and David Lightfoot},
  title = {Explanation in Linguistics:  The Logical Problem of
  	Language Acquisition},
  publisher = {Longman},
  year = {1981},
  address = {london},
  topic = {L1-acquisition;learning-theory;}
 }

@incollection{ hornstein-uriagerika:2002a,
  author = {Norbert Hornstein and Juan Uriagerika},
  title = {Reprojections},
  booktitle = {Derivation and Explanation in the Minimalist Program},
  publisher = {Blackwell Publishing},
  year = {2002},
  editor = {Samuel David Epstein and T. Daniel Seeley},
  pages = {106--132},
  address = {Oxford},
  topic = {minimalist-syntax;}
  }

@book{ horrocks_gc:1987a,
  author = {Geoffrey C. Horrocks},
  title = {Generative Grammar},
  publisher = {Longman},
  year = {1987},
  address = {London},
  topic = {nl-syntax;GB-syntax;}
 }

@incollection{ horrocks_ir:1998a,
  author = {Ian R. Horrocks},
  title = {Using an Expressive Description Logic: {FaCT} or
		Fiction?},
  booktitle = {{KR}'98: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1998},
  editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C.
		Shapiro},
  pages = {636--645},
  address = {San Francisco, California},
  topic = {kr;extensions-of-kl1;kr-course;}
  }

@incollection{ horrocks_ir:2003a,
  author = {Ian Horrocks},
  title = {Implementation and Optimization Techniques},
  booktitle = {The Description Logic Handbook:  Theory, Implementation
  		and Applications},
  publisher = {Cambridge University Press},
  year = {2003},
  editor = {Franz Baader and Diego Calvanese and Deborah L. McGuinness
  		and Daniele Nardi and Peter Patel-Schneider},
  pages = {306--346},
  address = {Cambridge, England},
  topic = {description-logics;AI-implementations;}
  }

@incollection{ horrocks_ir-etal:2003a,
  author = {Ian Horrocks and Deborah L. McGuinness and Christopher L.
    		Welty},
  title = {Digital Libraries and Information Systems},
  booktitle = {The Description Logic Handbook:  Theory, Implementation
  		and Applications},
  publisher = {Cambridge University Press},
  year = {2003},
  editor = {Franz Baader and Diego Calvanese and Deborah L. McGuinness
  		and Daniele Nardi and Peter Patel-Schneider},
  pages = {427--449},
  address = {Cambridge, England},
  topic = {description-logics;AI-applications;information-retrieval;}
  }

@incollection{ horrocks_ir-etal:2006a,
  author = { Ian R. Horrocks and Ullrich Hustadt and Ulrike Sattler and Renate
   		Schmidt},
  title = {Computational Modal Logic},
  booktitle = {Handbook of Modal Logic},
  year = {2006},
  editor = {Patrick Blackburn and Johan van Benthem and Frank Wolter},
  pages = {181--245},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {modal-logic;theorem-proving;model-checking;}
  }

@incollection{ horrocks_ir-etal:2006b,
  author = {Ian Horrocks and Oliver Kutz and Ulrike Sattler},
  title = {The Even More Irresistible {SROIQ}},
  booktitle = {{KR}2006: Proceedings, Tenth International Conference on
      Principles of  Knowledge Representation and Reasoning},
  publisher = {AAAI Press},
  year = {2006},
  editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty},
  pages = {57--67},
  address = {Menlo Park, California},
  topic = {description-logics;semantic-web;}
  }

@inproceedings{ horrocks_ir-patelschneider:1998a,
  author = {Ian R. Horrocks and Peter F. Patel-Schneider},
  title = {Optimising Propositional Modal Satisfiability for Description
		Logic Subsumption},
  booktitle = {Artificial Intelligence and Symbolic Computation:
	Proceedings of {AISC'98}},
  year = {1998},
  editor = {Jacques Calmet and Jan Plaza},
  pages = {234--246},
  publisher = {Springer Verlag},
  address = {Berlin},
  topic = {modal-logic;description-logics;subsumption;}
  }

@article{ horrocks_ir-sattler:2004a,
  author = {Ian Horrocks and Ulrike Sattler},
  title = {Decidabiltiy of ${\cal SHIQ}$ with Complex Role
  		Inclusion Axioms},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {160},
  number = {1--2},
  pages = {79--104},
  topic = {description-logics;decidability;}
  }

@book{ horst:1996a,
  author = {Steven W. Horst},
  title = {Symbols, Computation, and Intentionality: A
  	Critique of the Computational Theory of Mind},
  publisher = {University of California Press},
  year = {1996},
  address = {Berkeley, California},
  xref = {Review: wilson_r:1998a.},
  topic = {foundations-of-semantics;intentionality;
  	foundations-of-cognition;philosophy-of-psychology;}
 }

@incollection{ horst:2003a,
  author = {Steven Horst},
  title = {The Computational Theory of Mind},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  publisher = {Stanford University},
  editor = {Edward N. Zalta},
  url = {
    http://plato.stanford.edu/archives/fall2003/entries/computational-mind/},
  year = {Fall 2003},
  rtnote = {In RHT collection.},
  topic = {foundations-of-cognition;foundations-of-cognitive-science;}
}

@article{ horsten:1996a,
  author = {Leon Horsten},
  title = {Reflecting in Epistemic Arithmetic},
  journal = {The Journal of Symbolic Logic},
  year = {1996},
  volume = {61},
  number = {3},
  pages = {788--801},
  topic = {epistemic-arithmetic;provability-logic;semantic-reflection;}
  }

@article{ horsten:1997a,
  author = {Leon Horsten},
  title = {Provability in Principle and Controversial
  	Constructivistic Principles},
  journal = {Journal of Philosophical Logic},
  year = {1997},
  volume = {26},
  number = {6},
  pages = {635--660},
  topic = {Church's-thesis;epistemic-logic;epistemic-arithmetic;
  	constructive-mathematics;}
  }

@article{ horswill:1995a,
  author = {Ian Horswill},
  title = {Analysis of Adaptation and Environment},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {73},
  number = {1--2},
  pages = {1--30},
  acontentnote = {Abstract:
     Designers often improve the performance of artificial agents by
     specializing them.  We can make a rough, but useful distinction
     between specialization to a task and specialization to an
     environment.  Specialization to an environment can be difficult
     to understand: it may be unclear on what properties of the
     environment the agent depends, or in what manner it depends on
     each individual property.  In this paper, I discuss a method for
     analyzing specialization into a series of conditional
     optimizations: formal transformations which, given some
     constraint on the environment, map mechanisms to more efficient
     mechanisms with equivalent behavior.  I apply the technique to
     the analysis of the vision and control systems of a working
     robot system in day to day use in our laboratory.  The method is
     not intended as a general theory for automated synthesis of
     arbitrary specialized agents.  Nonetheless, it can be used to
     perform post-hoc analysis of agents so as to make explicit the
     environment properties required by the agent and the
     computational value of each property.  This post-hoc analysis
     helps explain performance in normal environments and predict
     performance in novel environments.  In addition, the
     transformations brought out in the analysis of one system can be
     reused in the synthesis of future systems.  },
  topic = {adapting-to-environments;robotics;}
  }

@article{ horton-keysar:1996a,
  author = {W.S. Horton and B. Keysar},
  title = {When Do Speakers Take into Account Common Ground?},
  journal = {Cognition},
  year = {1996},
  volume = {59},
  pages = {91--117},
  missinginfo = {A's 1st name, number},
  topic = {conversational-record;cognitive-psychology;}
  }

@article{ horton-spenser:1997a,
  author = {J.D. Horton and Bruce Spenser},
  title = {Clause Trees: A Tool for Understanding and Implementing
  	Resolution in Automated Reasoning},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {92},
  number = {1--2},
  pages = {25--89},
  missinginfo = {A's 1st name.},
  topic = {theorem-proving;resolution;krcourse;}
  }

@incollection{ horty:1990a,
  author = {John Horty},
  title = {A Credulous Theory of Mixed Inheritance},
  booktitle = {Inheritance Hierarchies in Knowledge Representation and
                 Programming Languages},
  editor = {Maurizio Lenzerini and Daniele Nardi and Maria Simi},
  publisher = {John Wiley and Sons},
  year = {1991},
  topic = {inheritance-theory;}
    }

@unpublished{ horty:1990b,
  author = {John Horty},
  title = {Defeasible Arguments: A Logical Extension of
             Path-based Inheritance Reasoning},
  year = {1992},
  note = {Manuscript, Institute for Advanced Computer Studies,
            University of Maryland},
  topic = {inheritance-theory;}
    }

@article{ horty:1993a,
  author = {John F. Horty},
  title = {Deontic Logic as Founded on Nonmonotonic Logic},
  journal = {Annals of Mathematics and Artificial Intelligence},
  volume = {9},
  year = {1993},
  pages = {69--91},
  topic = {nonmonotonic-logic;deontic-logic;}
    }

@inproceedings{ horty:1993b,
  author = {John F. Horty},
  title = {Nonmonotonic Techniques in the Formalization of Commonsense
  	Normative Reasoning},
  booktitle = {Proceedings of the Second Symposium on
  	Logical Formalizations of Commonsense Reasoning},
  year = {1993},
  editor = {Vladimir Lifschitz and John McCarthy and Leora
  	Morgenstern and Yoav Shoham},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  missinginfo = {pages},
  topic = {nonmonotonic-logic;common-sense-reasoning;deontic-logic;}
  }

@incollection{ horty:1994a,
  author = {John F. Horty},
  title = {Some Direct Theories of Nonmonotonic Inheritance},
  booktitle = {Handbook of Logic in Artificial Intelligence
   	         and Logic Programming, Volume 3: Nonmonotonic
		 Reasoning and Uncertain Reasoning},
  publisher = {Oxford University Press},
  year = {1994},
  editor = {Dov Gabbay and Christopher J. Hogger and J. A. Robinson},
  pages = {111--187},
  topic = {inheritance-theory;}
  }

@article{ horty:1994b,
  author = {John Horty},
  title = {Agency and Obligation},
  journal = {Synth\'ese},
  volume = {108},
  year = {1996},
  pages = {269--307},
  topic = {agency;obligation;deontic-logic;}
    }

@article{ horty:1994c,
  author = {John F. Horty},
  title = {Moral Dilemmas and Nonmonotonic Logic},
  journal = {Journal of Philosophical Logic},
  year = {1994},
  volume = {23},
  number = {1},
  pages = {35--65},
  topic = {nonmonotonic-logic;deontic-logic;}
  }

@unpublished{ horty:1994d,
  author = {John F. Horty},
  title = {Utilitarianism in an Indeterministic Setting},
  year = {1994},
  note = {Manuscript, Philosophy Department
   	    and Institute for Advanced Computer Studies,
           University of Maryland.},
  topic = {decision-theory;qualitative-utility;}
  }

@incollection{ horty:1995a,
  author = {John F. Horty},
  title = {Deontic Logic and Nonmonotonic Reasoning},
  booktitle = {Essays in Defeasible Deontic Logic},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {Donald Nute},
  address = {Dordrecht},
  missinginfo = {pages},
  topic = {deontic-logic;nonmonotonic-logic;}
  }

@inproceedings{ horty:1995b,
  author = {John F. Horty},
  title = {Intentions as Filters},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Rational Agency: Concepts, Theories, Models, and Applications},
  year = {1995},
  editor = {Michael Fehling},
  pages = {82--88},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {intention;practical-reasoning;foundations-of-planning;}
  }

@article{ horty:1996a,
  author = {John F. Horty},
  title = {Agency and Obligation},
  journal = {Synth\'ese},
  year = {1996},
  volume = {108},
  pages = {269--307},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {agency;stit;deontic-logic;}
  }

@incollection{ horty:1997a,
  author = {John Horty},
  title = {Nonmonotonic Foundations for Deontic Logic},
  booktitle = {Defeasible Deontic Logic},
  editor = {Donald Nute},
  publisher = {Kluwer Academic Publishers},
  address = {Dordrecht},
  year = {1997},
  pages = {17--44},
  topic = {nonmonotonic-logic;deontic-logic;}
    }

@unpublished{ horty:1997b,
  author = {John F. Horty},
  title = {Agency and Deontic Logic},
  year = {1997},
  note = {Unpublished manuscript, University of Maryland.},
  rtnote = {In RHT collection. LL Shelves.},
  topic = {deontic-logic;stit;}
  }

@unpublished{ horty:1997c,
  author = {John F. Horty},
  title = {Notes on Cases and Deontic Logic},
  year = {1997},
  note = {Unpublished manuscript, University of Maryland.},
  rtnote = {In RHT collection.},
  topic = {deontic-logic;case-based-reasoning;}
  }

@unpublished{ horty:1998a,
  author = {John F. Horty},
  title = {Precedent, Deontic Logic, and Inheritance},
  year = {1998},
  note = {Unpublished manuscript, University of Maryland},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a guess.},
  topic = {deontic-logic;inheritance-theory;legal-reasoning;}
  }

@unpublished{ horty:2000a,
  author = {John F. Horty},
  title = {Argument Construction and Reinstatement in Logics
  	for Defeasible Reasoning},
  year = {2000},
  note = {Unpublished manuscript, University of Maryland.},
  rtnote = {In RHT collection. LL Shelves.},
  topic = {nonmonotonic-reasoning;argument-based-defeasible-reasoning;}
  }

@book{ horty:2001a,
  author = {John F. Horty},
  title = {Agency and Deontic Logic},
  publisher = {Oxford University Press},
  year = {2001},
  address = {Oxford},
  ISBN = {0195134613},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  rtnote = {UMich Graduate Library BC 145 .H671 2001,
                  Undergraduate Bc 145 .H671 2001.},
  xref = {Review: wansing:2004a.},
  topic = {deontic-logic;practical-reasoning;
  	ability;stit;foundations-of-decision-theory;}
 }

@article{ horty:2002a,
  author = {John F. Horty},
  title = {Skepticism and Floating Conclusions},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {135},
  number = {1--2},
  pages = {55--72},
  topic = {nonmonotonic-logic;inheritance-theory;argumentation;
  	skepticisml;}
  }

@unpublished{ horty:2002b,
  author = {John F. Horty},
  title = {Reasoning with Moral Conflicts},
  year = {2002},
  note = {Unpublished manuscript, University of Maryland},
  rtnote = {In RHT collection.},
  rtnote = {To appear in Nous.},
  topic = {moral-conflict;deontic-logic;prima-facie-obligation;
  	nonmonotonic-reasoning;}
  }

@article{ horty:2003a,
  author = {John F. Horty},
  title = {Reasoning with Moral Conflicts},
  journal = {No\^us},
  year = {2003},
  volume = {37},
  number = {4},
  pages = {557--605},
  topic = {moral-conflict;deontic-logic;}
  }

@unpublished{ horty:2005a,
  author = {John F. Horty},
  title = {Defaults with Priorities},
  year = {2005},
  note = {Unpublished manuscript, Philosophy Department, University
  		of Maryland},
  rtnote = {In RHT collection.},
  rtnote = {Title page says "Draft of March 8, 2005".},
  topic = {nonmonotonic-logic;nonmonotonic-prioritization;}
  }

@article{ horty:2007a,
  author = {John F. Horty},
  title = {Reasons as Defaults},
  journal = {Philosopher's Imprint},
  year = {2007},
  volume = {7},
  number = {3},
  url = {http://www.philosophersimprint.org/007003},
  rtnote = {In RHT collection.  Summer, 2008.},
  topic = {reasons-for-action;reasons-for-conclusions;
  		nonmonotonic-reasoning;}
  }

@article{ horty:2007b,
  author = {John F. Horty},
  title = {Defaults with Priorities},
  journal = {Journal of Philosophical Logic},
  year = {2007},
  volume = {36},
  number = {4},
  pages = {367--413},
  topic = {default-logic;nonmonotonic-prioritization;}
  }

@article{ horty-belnap:1995a,
  author = {John F. Horty and Nuel D. {Belnap, Jr.}},
  title = {The Deliberative {\sc stit}: A Study of Action, Omission,
  	and Obligation},
  journal = {Journal of Philosophical Logic},
  year = {1995},
  volume = {24},
  number = {6},
  pages = {583--644},
  topic = {ability;agency;action;deontic-logic;stit;}
 }

@inproceedings{ horty-etal:1987a,
  author = {John F. Horty and Richmond Thomason and David Touretzky},
  title = {A Skeptical Theory of Inheritance in Nonmonotonic Semantic
  	Nets},
  booktitle = {Proceedings of the Sixth National Conference on
              Artificial Intelligence},
  year = {1987},
  editor = {Kenneth Forbus and Howard Shrobe},
  pages = {358--363},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {inheritance-theory;}
  }

@article{ horty-etal:1990a,
  author = {John F. Horty and Richmond Thomason and David Touretzky},
  title = {A Skeptical Theory of Inheritance in Nonmonotonic Semantic
        Networks},
  journal = {Artificial Intelligence},
  volume = {42},
  number = {3},
  year = {1990},
  pages = {311--349},
  topic = {inheritance-theory;}
  }

@inproceedings{ horty-pollack_me:1998a,
  author = {John F. Horty and Martha Pollack},
  title = {Evaluating Options in a Context},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Seventh Conference ({TARK} 1998)},
  year = {1998},
  editor = {Itzhak Gilboa},
  pages = {249--262},
  publisher = {Morgan Kaufmann},
  address = {San Francisco, California},
  topic = {plan-evaluation;plan-maintenance;}
  }

@article{ horty-pollack_me:2001a,
  author = {John F. Horty and Martha E. Pollack},
  title = {Evaluating New Options in the Context of Existing Plans},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {127},
  number = {2},
  pages = {199--220},
  topic = {practical-reasoning;plan-maintenance;limited-rationality;}
  }

@inproceedings{ horty-thomason_rh:1987a,
  author = {John F. Horty and Richmond H. Thomason},
  title = {Logics for Nonmonotonic Inheritance},
  booktitle = {Second International Workshop on Non-Monotonic Reasoning},
  year = {1987},
  editor = {Michael Reinfrank and Johan de Kleer and Eric Sandewall},
  pages = {220--237},
  publisher = {Springer Verlag},
  address = {Berlin},
  rtnote = {Handwritten version in RHT collection.},
  topic = {nonmonotonic-reasoning;inheritance-theory;}
  }

@inproceedings{ horty-thomason_rh:1988a,
  author = {John F. Horty and Richmond Thomason},
  title = {Mixing Strict and Defeasible Inheritance},
  booktitle = {Proceedings of the Sixth National Conference on
              Artificial Intelligence},
  year = {1988},
  editor = {Reid Smith and Tom Mitchell},
  pages = {427--432},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {inheritance-theory;}
  }

@inproceedings{ horty-thomason_rh:1990a,
  author = {John F. Horty and Richmond H. Thomason},
  title = {Boolean Extensions of Inheritance Networks},
  booktitle = {Proceedings of the Eighth National Conference on
              Artificial Intelligence},
  year = {1990},
  pages = {633--639},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  missinginfo = {editor},
  topic = {inheritance-theory;}
  }

@article{ horty-thomason_rh:1991a,
  author = {John F. Horty and Richmond Thomason},
  title = {Conditionals and Artificial Intelligence},
  journal = {Fundamenta Informaticae},
  year = {1991},
  volume = {15},
  number = {3--4},
  pages = {301--324},
  rtnote = {This volume in RHT collection.},
  topic = {conditionals;}
 }

@article{ horvath-turan:2001a,
  author = {Tam\'as Horv\'ath and Gy\"orgy Tur\'an},
  title = {Learning Logic Programs with Structured Background Knowledge},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {128},
  number = {1--2},
  pages = {31--97},
  topic = {rule-learning;}
  }

@techreport{ horvitz:1986a,
  author = {Eric J. Horvitz},
  title = {Toward a Science of Expert Systems},
  institution = {Medical Computer Science Group, Stanford University},
  number = {KSL--86--75},
  year = {1986},
  address = {Stanford, California},
  rtnote = {In RHT collection.},
  topic = {expert-systems;}
  }

@techreport{ horvitz:1987a,
  author = {Eric J. Horvitz},
  title = {A Multivariate Utility Approach to Inference
		Understandability and Explanation},
  institution = {Medical Computer Science Group, Stanford University},
  number = {KSL--87--28},
  year = {1987},
  address = {Stanford, California},
  rtnote = {In RHT collection.},
  topic = {multiattribute-utility;decision-theoretic-reasoning;}
  }

@techreport{ horvitz:1987b1,
  author = {Eric J. Horvitz},
  title = {Reasoning about Beliefs and Actions Under Computational
	Resource Constraints},
  institution = {Knowledge Systems Laboratory, Stanford University},
  number = {KSL--87--29},
  year = {1987},
  address = {Stanford, California},
  rtnote = {In RHT collection.},
  topic = {resource-limited-reasoning;}
  }

@incollection{ horvitz:1987b2,
  author = {Eric J. Horvitz},
  title = {Reasoning about Beliefs and Actions Under Computational
	Resource Constraints},
  booktitle = {Uncertainty in Artificial Intelligence~5},
  year = {1990},
  pages = {301--324},
  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 = {resource-limited-reasoning;}
}

@book{ horvitz:1996a,
  editor = {Eric J. Horvitz},
  title = {Uncertainty in Artificial Intelligence. Proceedings of the
  Twelfth Conference (1996)},
  publisher = {Morgan Kaufmann Publishers},
  year = {1996},
  address = {San Francisco},
  topic = {reasoning-about-uncertainty;}
 }

@article{ horvitz:2001a,
  author = {Eric J. Horvitz},
  title = {Principles and Applications of Continual Computation},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {126},
  number = {1--2},
  pages = {159--196},
  topic = {bounded-rationality;metareasoning;}
  }

@article{ horvitz:2007a,
  author = {Eric J, Horvitz},
  title = {Reflections on Challenges and Promises of Mixed-Initiative
  		Interaction},
  journal = {The {AI} Magazine},
  year = {2007},
  volume = {28},
  number = {2},
  pages = {19--22},
  topic = {mixed-initiative-systems;}
  }

@techreport{ horvitz-etal:1988a,
  author = {Eric J. Horvitz},
  title = {Reasoning under Varying and Uncertain Resource
  	Constraints},
  institution = {Knowledge Systems Laboratory, Stanford University},
  number = {KSL--88--35},
  year = {1988},
  address = {Stanford, California},
  rtnote = {In RHT collection.},
  topic = {resource-limited-reasoning;}
  }

@techreport{ horvitz-etal:1988b,
  author = {Eric J. Horvitz and Gregory F. Cooper and David E.
  	Heckerman},
  title = {Reflection and Action under Scarce Resources:  Theoretical
  	Principles and Empirical Study},
  institution = {Knowledge Systems Laboratory, Stanford University},
  number = {KSL--89--1},
  year = {1988},
  address = {Stanford, California},
  rtnote = {In RHT collection.  Submitted to IJCAI-89.  Check TC.},
  topic = {resource-limited-reasoning;}
  }

@techreport{ horvitz-etal:1989a,
  author = {Eric J. Horvitz and David E. Heckerman and Keung C. Ng
  	and Bharat N. Nathwani},
  title = {Heuristic Abstraction in the Decision-Theoretic
  	Pathfinder System},
  institution = {Knowledge Systems Laboratory, Stanford University},
  number = {KSL--89--24},
  year = {1989},
  address = {Stanford, California},
  rtnote = {In RHT collection.},
  topic = {diagnosis;decision-theoretic-reasoning;abstraction;}
  }

@article{ horvitz-zilberstein:2001a,
  author = {Eric J. Horvitz and Shlomo Zilberstein},
  title = {Computational Resources under Bounded Resources (Editorial)},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {126},
  number = {1--2},
  pages = {1--4},
  topic = {resource-bounded-reasoning;}
  }

@book{ horwich:1990a,
  author = {Paul Horwich},
  title = {Truth},
  publisher = {Basil Blackwell Publishers},
  year = {1990},
  address = {Oxford},
  topic = {truth;philosophy-of-language;}
 }

@article{ horwich:1997a,
  author = {Paul Horwich},
  title = {Implicit Definition, Analytic Truth, and Apriori Knowledge},
  journal = {No\^us},
  year = {1997},
  volume = {31},
  number = {4},
  pages = {423--440},
  topic = {definition;analyticity;a-priori;}
  }

@article{ horwich:1997b,
  author = {Paul Horwich},
  title = {The Composition of Meanings},
  journal = {The Philosophical Review},
  year = {1997},
  volume = {106},
  number = {4},
  pages = {503--532},
  rtnote = {In RHT collection.},
  topic = {foundations-of-semantics;compositionality;}
  }

@book{ horwich:1998a,
  author = {Paul Horwich},
  title = {Meaning},
  publisher = {Oxford University Press},
  year = {1998},
  address = {Oxford},
  rtnote = {UMich Graduate B840 .H651 1998},
  ISBN = {0198237286 (pbk)},
  xref = {Reviews: sidner_t:2001a, borg:2001a.
  	  Commentary: gupta:2003a.},
  topic = {foundations-of-semantics;philosophy-of-language;}
 }

@incollection{ horwich:2000a,
  author = {Paul Horwich},
  title = {Steven {S}chiffer's Theory of Vagueness},
  booktitle = {Skepticism},
  publisher = {Blackwell Publishers},
  year = {2000},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {271--281},
  address = {Oxford},
  topic = {vagueness;sorites-paradox;}
  }

@incollection{ horwich:2005a,
  author = {Paul Horwich},
  title = {The {F}rege-{G}each Point},
  booktitle = {Philosophical Issues 15: Normativity},
  publisher = {Blackwell Publishers},
  year = {2005},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {78--93},
  address = {Oxford},
  topic = {deflationary-analyses;use-based-meaning;}
 }

@book{ horwich:2006a,
  author = {Paul Horwich},
  title = {Reflections on Meaning},
  publisher = {Oxford University Press},
  year = {2006},
  address = {Oxford},
  ISBN = {978-0-19-925124-7 (pbk)},
  xref = {Review: swanson_e:2003a.},
  topic = {philosophy-of-language;}
 }

@incollection{ horwich:2008a,
  author = {Paul Horwich},
  title = {A New Framework for Semantics},
  booktitle = {Philosophical Perspectives 22, 2008: Philosophy of
  		Language},
  publisher = {Blackwell Publishers},
  year = {2008},
  editor = {John Hawthorne},
  pages = {233--240},
  address = {Oxford},
  topic = {truth;philosophy-of-language;}
  }

@article{ horwich:2008b,
  author = {Paul Horwich},
  title = {What's Truth Got to Do with It?},
  journal = {Linguistics and Philosophy},
  year = {2008},
  volume = {31},
  number = {3},
  pages = {309--322},
  topic = {foundations-of-semantics;}
  }

@article{ horwitz-zilberstein:2001a,
  author = {Eric J. Horwitz and Shlomo Zilberstein},
  title = {Computational Tradeoffs under Bounded Resources (Editorial)},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {126},
  number = {1--2},
  pages = {1--4},
  topic = {resource-limited-reasoning;}
  }

@article{ hosni:2006a,
  author = {Hykel Hosni},
  title = {Review of \emph{{B}ridges from Classical to
  		Nonmonotonic Logic}, by {D}avid {M}akinson},
  journal = {The Bulletin of Symbolic Logic},
  year = {2006},
  volume = {12},
  number = {3},
  pages = {499--502},
  xref = {makinson:2005a},
  topic = {nonmonotonic-logic;}
  }

@article{ hossain-ray:1997a,
  author = {Abul Hossain and Kumar S. Ray},
  title = {An Extension of {QSIM} with Qualitative Curvature},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {96},
  number = {2},
  pages = {303--350},
  topic = {qualitative-simulation;}
  }

@article{ hou:1994a,
  author = {Aimin Hou},
  title = {A Theory of Measurement in Diagnosis from First
  	Principles},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {65},
  number = {2},
  pages = {281--328},
  acontentnote = {Abstract:
     Reiter and de Kleer have independently developed a theory of
     diagnosis from first principles.  Reiter's approach to computing
     all diagnoses for a given faulty system is based upon the
     computation of all minimal hitting sets for the collection of
     conflict sets for (SD,COMPONENTS,OBS).  Unfortunately, his theory
     does not include a theory of measurement.  De Kleer and Williams
     have developed GDE-general diagnostic engine.  Their procedure
     computes all minimal conflict sets resulting from a measurement
     before discriminating the candidate space.  However, they do not
     provide a formal justification for their theory.
      We propose a general theory of measurement in diagnosis and
     provide a formal justification for our theory.  Several novel
     contributions make up the central focus of this paper.  First,
     this work provides an efficient incremental method for computing
     new diagnoses given a new measurement, based on the previous
     diagnoses predicting the opposite.  Second, this work defines
     the concepts of conflict set resulting from a measurement,
     equivalence classes and homogeneous diagnoses as the basis of
     the method.  Finally, this work leads to a procedure for
     computing all diagnoses and discriminating among competing
     diagnoses resulting from a measurement.},
  topic = {diagnosis;}
  }

@phdthesis{ houghton:1986a,
  author = {George Houghton},
  title = {The Production of Language in Dialogue: A
  		Computational Model},
  year = {1986},
  school = {University of Sussex},
  topic = {discourse;nl-generation;}
  }

@incollection{ houghton:1990a,
  author = {George Houghton},
  title = {The Problem of Serial Order: A Neural Network Model
  	of Sequence Learning and Recall},
  booktitle = {Current Research in Natural Language Generation},
  year = {1990},
  editor = {Robert Dale and Chris Mellish and Michael Zock},
  publisher = {Academic Press},
  address = {London},
  pages = {287--319},
  topic = {nl-generation;connectionist-models;}
}

@article{ hourdequin:2006a,
  author = {Marion Hourdequin},
  title = {Review of \emph{{N}either Brain Nor Ghost: A Nondualist
  		Alternative to the Mind-Brain Identity Theory},
		by {W}. {T}eed {R}ockwell},
  journal = {Philosophy of Science},
  year = {2006},
  volume = {73},
  number = {1},
  pages = {131--133},
  xref = {Review of: rockwell:2005a},
  topic = {philosophy-of-mind;mind-body-problem;}
  }

@incollection{ householder:1962a,
  author = {F.W. Householder},
  title = {Lists in Grammar},
  booktitle = {Logic, Methodology, and Philosophy of Science: Proceedings
  		of the 1960 International Congress},
  publisher = {Stanford University Press},
  year = {1962},
  editor = {Ernest Nagel and Patrick Suppes and Alfred Tarski},
  pages = {567--576},
  address = {Stanford, California},
  topic = {foundations-of-linguistics;}
  }

@article{ householder:1973a,
  author = {F.W. Householder},
  title = {On Arguments from Asterisks},
  journal = {Foundations of Language},
  year = {1973},
  volume = {10},
  number = {3},
  pages = {365--376},
  missinginfo = {A's 1st name},
  topic = {linguistics-methodology;}
  }

@unpublished{ hovav-levin_b:1996a,
  author = {Malka {Rappaport Hovav} and Beth C. Levin},
  title = {Building Verb meanings},
  year = {1996},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Bar Ilan University and
  	Northwestern University.},
  topic = {lexical-semantics;}
  }

@article{ hovda:2009a,
  author = {Paul Hovda},
  title = {What is Classical Mereology?},
  journal = {Journal of Philosophical Logic},
  year = {2009},
  volume = {38},
  number = {1},
  pages = {55--82},
  topic = {mereology;boolean-algebras;}
  }

@inproceedings{ hovy:1988a,
  author = {Eduard H. Hovy},
  title = {Two Types of Planning in Language Generation},
  booktitle = {Proceedings of the Twenty-Sixth Annual Meeting of the
  	{A}ssociation for {C}omputational {L}inguistics},
  year = {1988},
  pages = {179--186},
  missinginfo = {editor},
  topic = {discourse-planning;nl-generation;pragmatics;}
}

@inproceedings{ hovy:1988b,
  author = {Eduard H. Hovy},
  title = {Planning Coherent Multisentential Text},
  booktitle = {Proceedings of the Twenty-Eighth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1988},
  editor = {Robert C. Berwick},
  pages = {163--169},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  topic = {discourse-generation;coherence;pragmatics;}
 }

@article{ hovy:1990a,
  author = {Eduard H. Hovy},
  title = {Pragmatics and Natural Language Generation.},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {43},
  number = {2},
  pages = {153--198},
  rtnote = {pragmatics-course;},
  topic = {discourse-planning;nl-generation;
  	discourse;pragmatics;}
}

@incollection{ hovy:1990b,
  author = {Eduard H. Hovy},
  title = {Unresolved Issues in Paragraph Planning},
  booktitle = {Current Research in Natural Language Generation},
  year = {1990},
  editor = {Robert Dale and Chris Mellish and Michael Zock},
  publisher = {Academic Press},
  address = {London},
  pages = {17--45},
  rtnote = {In RHT collection.},
  topic = {discourse-planning;nl-generation;pragmatics;}
}

@incollection{ hovy:1991a,
  author = {Eduard H. Hovy},
  title = {Approaches to the Planning of Coherent Text},
  booktitle = {Natural Language Generation in Artificial Intelligence
  	and Computational Linguistics},
  year = {1991},
  editor = {C\'ecile L. Paris and William R. Swartout and William C. Mann},
  publisher = {Kluwer Academic Publishers},
  pages = {83--102},
  address = {Dordrecht},
  topic = {discourse-planning;nl-generation;discourse-coherence;
  	pragmatics;discourse-structure;}
}

@incollection{ hovy:1992a,
  author = {Eduard Hovy},
  title = {Constructing an Interlingua Using Grammar Resources},
  booktitle = {Aspects of Automated Natural Language Generation: 6th
    International Workshop on Natural Language Generation, {T}rento,
    {I}taly, April 5--7, 1992},
  publisher = {Springer-Verlag},
  year = {1992},
  editor = {Robert Dale and Eduard Hovy and Dietmar R\"ossner and
  	Oliviero Stock},
  pages = {294--296},
  address = {Berlin},
  topic = {machine-translation;interlinguas;}
  }

@article{ hovy:1993a,
  author = {Eduard H. Hovy},
  title = {Automated Discourse Generation Using Discourse Structure
  	Relations},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {63},
  number = {1--2},
  pages = {341--385},
  topic = {discourse-structure;nl-generation;pragmatics;}
  }

@book{ hovy:1998a,
  editor = {Eduard Hovy},
  title = {Proceedings of the Ninth International Workshop
  	on Natural Language Generation},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  address = {New Brunswick, New Jersey},
  contentnote = {TC:
  	1.  James C. Lester and William H. Bares and Charles
		B. Callaway and Stuart G. Towns, "Natural
		Language Generation Journeys to Interactive
		{3D} Worlds", pp. 2--7
        2.  John Bateman and Thomas Kamps and J\"org Kleinz and
		Klaus Reichenberger, "Communicative Goal-Driven
		{NL} Generation and Data-Driven Graphics Generation:
		An Architectural Synthesis for Multimedia Page
		Generation", pp. 8--17
        3.  Nancy L. Green and Giuseppe Carenini and Johanna Moore,
		"A Principled Representation of Attributive
		Descriptions for Generating Integrated Text and
		Information Graphics Presentations", pp. 18--27
        4.  Chris Mellish and Mick O'Donnell and Jon Oberlander
		and Alistair Knott, "An Architecture for
		Opportunistic Text Generation", pp. 28--37
        5.  David McDonald, "Controlled Realization of Complex
		Objects by Reversing the Output of a Parser", pp. 38--47
        6.  Stephen Beale and Sergei Nirenburg and Evelyne Viegas
		and Leo Wanner, "De-Constraining Text Generation", pp. 48--57
        7.  Lidia Fraczak and Guy Lapalme and Michael Zock,
                "Automatic Generation of Subway Direction:
		Salience Gradation as a Factor for Determining
		Message and Form", pp. 58--67
	8.  Edwin Marsi, "Introducing Maximal Variation in Text
		Planning for Small Domains", pp. 68--77
        9.  Regina Barzilay and Daryl McCullough and Owen Rambow
		and Jonathan DeChristofaro, "A New Approach to
		Expert System Explanations", pp. 78--87
        10.  Armin Fiedler, "Macroplanning with a Cognitive
		Architecture for the Adaptive Explanation
		of Proofs", pp. 88--97
        11.  Chris Mellish and Alisdair Knott and Jon Oberlander and
		Mick O'Donnell, "Experiments Using Stochastic Search
		for Text Planning", pp. 98--107
        12.  Ralf Klabunde and Martin Jansche, "Abductive Reasoning
		for Syntactic Realization", pp. 108--117
        13.  Daniel Ansari and Graeme Hirst, "Generating Warning
		Instructions by Planning Accidents and Injuries", pp. 118--127
        14.  Brigitte Grote and Manfred Stede, "Discourse Marker
		Choice in Sentence Planning", pp. 128--137
        15.  James Shaw, "Clause Aggregation Using Linguistics
		Knowledge", pp. 138--147
        16.  Ingrid Zukerman and Richard McConachy and Kevin Korb,
                "Attention during Argument Generation and
		Presentation", pp. 148--157
        17.  Kristina Jokinen and Hideki Tanaka and Akio Yokoo, "Planning
		Dialogue Contributions with New Information", pp. 158--167
        18.  Yael Dahan Netzer and Michael Elhadad, "Generation of
		Noun Compounds in {H}ebrew: Can Syntactic Knowledge
		be Fully Encapsulated?", pp. 168--177
        19.  Matthew Stone and Bonnie Webber, "Textual Economy
		through Close Coupling of Syntax and Semantics", pp. 178--187
        20.  Murai Temizsoy and Hyas Ciceki, "A Language-Independent
		System for Generating Feature Structures from
		Interlingua Representations", pp. 188--197
        21.  Jan Alexandersson and Peter Poller, "Toward Multilingual
		Protocol Generation for Spontaneous Speech
		Dialogues", pp. 198--207
        22.  Tilman Becker, "Fully Lexicalized Head-Driven Syntactic
		Generation", pp. 208--217
        23.  Graham Wilcock, "Approaches to Syntactic realization
		with {HPSG}", pp. 218--227
        24.  Christian Matthiessen and Licheng Zeng and Marilyn Cross
		and Ichiro Kobayashi and Kazuhiro Teruya and Canzhong
		Wu, "The {M}ultex Generator Environment: Application
		and Development", pp. 228--237
        25.  Stephen Busemann and Helmut Horacek, "A Flexible Shallow
		Approach to Text Generation", pp. 238--247
        26.  Irene Langkilde and Kevin Knight, "The Practical Value
		of N-Grams in Derivation", pp. 248--255
        27.  Donia Scott and Richard Power and Roger Evans,
		"Generation as a Solution to Its Own Problem", pp. 256--265
        28.  Michael White and Ted Caldwell, "{EXEMPLARS}: A
		Practical, Extensible Framework for Dynamic Text
		Generation", pp. 266--275
  	},
  rtnote = {In RHT Collection.  CL Workshop shelves.},
  topic = {nl-generation;}
 }

@incollection{ hovy-etal:1992a,
  author = {Eduard Hovy and Richard Kittredge and Christian M.
  	Matthiessen and Sergei Nirenburg and Dieter Roesner},
  title = {Panel Statements on: Multilinguality and Generation},
  booktitle = {Proceedings of the Sixth International Workshop on
  	Natural Language Generation, Trento, Italy},
  year = {1992},
  editor = {Robert Dale and Eduard Hovy and Dieter Roesner and
  	Oliviero Stock},
  pages = {277--292},
  publisher = {Springer Verlag. Lecture Notes in Artificial Intelligence},
  topic = {nl-generation;machine-translation;}
}

@incollection{ hovy-etal:1992b,
  author = {Eduard Hovy and Julia Lavid and Elisabeth Maier and
     		C\'ecile Paris},
  title = {Employing Knowledge Resources
		in a New Text Planner Architecture},
  booktitle = {Aspects of Automated Natural Language Generation: 6th
    International Workshop on Natural Language Generation, {T}rento,
    {I}taly, April 5--7, 1992},
  publisher = {Springer-Verlag},
  year = {1992},
  editor = {Robert Dale},
  pages = {57--72},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {nl-generation;document-planning;}
  }

@unpublished{ hovy-maier_e1:1995a,
  author = {Eduard H. Hovy and Elisabeth Maier},
  title = {Parsimonious or Profligate: How Many and Which Discourse
  	Structure Relations?},
  year = {1995},
  note = {Unpublished manuscript, available at
    http://www.isi.edu/natural-language/people/hovy/papers/93discproc.pdf},
  rtnote = {In RHT collection.},
  topic = {discourse-structure;}
  }

@book{ hovy-scott_dr:1996a,
  editor = {Eduard H. Hovy and Donia R. Scott},
  title = {Computational and Conversational
  	Discourse: Burning Issues---An Introductory Account},
  publisher = {Springer-Verlag},
  year = {1996},
  address = {Berlin},
  contentnote = {TC:
  	1.  Emanual A. Schlegoff, "Issues of Relevance for
		Discourse Analysis: Contingency in Action,
		Interaction, and Participant Context"
	2.  James R. Martin, "Types of Structure: Deconstructing
		Notions of Constituency in Clause and Text"
	3.  Tsuyoshi Ono and Sandra A. Thompson, "Interaction and
		Syntax in the Structure of Conversational Discourse:
		Collaboration, Overlap, and Syntactic Dissassociation"
	4.  Eva Hajicov\'a, "The Information Structure of the Sentence
		and the Coherence of Discourse"
	5.  Kathleen Dahlgren, "Discourse Coherence and Segmentation"
	6.  Jerry R. Hobbs, "On the Relation between the Informational
		and Intentional Perspectives on Discourse"
	7.  Rebbecca J. Passonneau and Diane J. Litman, "Empirical
		Analysis of Three Dimensions of Spoken Discourse:
		Segmentation, Coherence, and Linguistic Devices"
  	},
  ISBN = {3-540-60948-2},
  xref = {Review: kehler_a:1998a},
  topic = {discourse;pragmatics;}
 }

@book{ howard_da:1998a,
  editor = {Don A. Howard},
  title = {{PSA}98: Proceedings of the Biennial Meeting of the
	Philosophy of Science Association, Part 1: Contributed
	Papers},
  publisher = {University of Chicago Press},
  year = {1998},
  address = {Chicago, Illinois},
  rtnote = {In RHT collection.  Philsci Shelves.},
  topic = {philosophy-of-science;}
 }

@book{ howard_da:2000a,
  editor = {Don A. Howard},
  title = {{PSA}'1998: Proceedings of the 1998 Biennial Meetings
  	of the Philosophy of Science Association, Part {II}:
	Symposium Papers},
  publisher = {Philosophy of Science Association},
  year = {2000},
  address = {Newark, Delaware},
  rtnote = {In RHT collection.  Philosophy of Science Area.},
  topic = {philosophy-of-science;}
 }

@book{ howard_n:1971a,
  author = {Nigel Howard},
  title = {The Paradoxes of Rationality: Theory of Metagames and
  	Political Behavior},
  publisher = {The {MIT} Press},
  year = {1971},
  address = {Cambridge, Massachusetts},
  contentnote = {One avowed aim of the book (p.2) is "to reconstruct
  	game theory on a nonquantitative basis"},
  topic = {rationality;game-theory;qualitative-utility;}
 }

@book{ howard_ra:1971a,
  author = {Ronald A. Howard},
  title = {Dynamic Probabilistic Systems, Volume 1},
  publisher = {John Wiley and Sons},
  year = {1971},
  address = {New York},
  ISBN = {0471416657},
  rtnote = {UMich Media Union Library QA 274.7 .H85},
  topic = {probability;}
 }

@book{ howard_ra:1971b,
  author = {Ronald A. Howard},
  title = {Dynamic Probabilistic Systems, Volume 2},
  publisher = {John Wiley and Sons},
  year = {1971},
  address = {New York},
  ISBN = {0471416665},
  rtnote = {UMich Media Union Library QA 274.7 .H85},
  topic = {probability;}
 }

@article{ howarth:1998a,
  author = {Richard J. Howarth},
  title = {Interpreting a Dynamic and Uncertain World: Task-Based
  	Control},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {100},
  number = {1--2},
  pages = {5--85},
  topic = {attention;computer-vision;}
  }

@inproceedings{ howe_ae:1992a,
  author = {Adele E. Howe},
  title = {Failure Recovery Analysis as a Tool for Plan Debugging},
  booktitle = {Working Notes of the {AAAI} Spring Symposium on
  	Computational Considerations in Supporting Incremental
	Modification and Reuse},
  year = {1992},
  pages = {25--30},
  organization = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {Unpublished other than distribution to conferees. --RT},
  missinginfo = {A's 1st name.},
  topic = {planning;plan-reuse;}
  }

@article{ howe_ae-cohen_pr:1995a,
  author = {Adele E. Howe and Paul R. Cohen},
  title = {Understanding Planner Behavior},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {76},
  number = {1--2},
  pages = {125--166},
  acontentnote = {Abstract:
     As planners and their environments become increasingly complex,
     planner behavior becomes increasingly difficult to understand.
     We often do not understand what causes them to fail, so that we
     can debug their failures, and we may not understand what allows
     them to succeed, so that we can design the next generation.  This
     paper describes a partially automated methodology for
     understanding planner behavior over long periods of time.  The
     methodology, called Dependency Interpretation, uses statistical
     dependency detection to identify interesting patterns of
     behavior in execution traces and interprets the patterns using a
     weak model of the planner's interaction with its environment to
     explain how the patterns might be caused by the planner.
     Dependency Interpretation has been applied to identify possible
     causes of plan failures in the Phoenix planner.  By analyzing
     four sets of execution traces gathered from about 400 runs of
     the Phoenix planner, we showed that the statistical dependencies
     describe patterns of behavior that are sensitive to the version
     of the planner and to increasing temporal separation between
     events, and that dependency detection degrades predictably as
     the number of available execution traces decreases and as noise
     is introduced in the execution traces.  Dependency
     Interpretation is appropriate when a complete and correct model
     of the planner and environment is not available, but execution
     traces are available.  },
  topic = {planning;experimental-AI;}
  }

@book{ howie:2002a,
  author = {David Howie},
  title = {Interpreting Probability: Controversies and Developments
  	in the Early Twentieth Century},
  publisher = {Cambridge University Press},
  year = {2002},
  address = {Cambridge, England},
  xref = {Review: shelley:2003a},
  topic = {foundations-of-probability;}
 }

@incollection{ howson:1998a,
  author = {Colin Howson},
  title = {The {B}ayesian Approach},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 1:  Quantified Representation
		of Uncertainty and Imprecision},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Dov M. Gabbay and Philippe Smets},
  pages = {111--134},
  address = {Dordrecht},
  topic = {reasoning-about-uncertainty;Bayesian-statistics;}
  }

@book{ howson-urbach:1993a,
  author = {Colin Howson and Peter Urbach},
  title = {Scientific Reasoning: The {B}ayesian Approach},
  publisher = {Open Court},
  year = {1993},
  address = {Chicago},
  ISBN = {0812692349},
  rtnote = {UMich Graduate Library, Q 175 .H871 1993.},
  topic = {philosophy-of-science;Bayesian-reasoning;}
 }

@incollection{ hristova-grinberg:2005a,
  author = {Evgenia Hristova and Maurice Grinberg},
  title = {Investigation of Context Effects in Iterated Prisoner's
  		Dilemma Game},
  booktitle = {Modeling and Using Context: 5th International and
  	Interdisciplinary Conference},
  publisher = {Springer-Verlag},
  year = {2005},
  editor = {Anind Dey and Boicho Kokinov and David Leake and Roy Turner},
  pages = {183--196},
  address = {Berlin},
  topic = {context;cognitive-psychology;prisoner's-dilemma;}
  }

@article{ hrubes:2007a,
  author = {Pavel Hrube\v{s}},
  title = {Lower Bounds for Modal Logics},
  journal = {Journal of Symbolic Logic},
  year = {2007},
  volume = {72},
  number = {4},
  pages = {941--858},
  topic = {modal-logic;proof-theory;complexity-theory;}
  }

@article{ hrycej:1990a,
  author = {Tomas Hrycej},
  title = {Gibbs Sampling In Bayesian Networks},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {46},
  number = {3},
  pages = {351--363},
  topic = {Bayesian-networks;}
  }

@article{ hsiang:1985a,
  author = {Jieh Hsiang},
  title = {Refutational Theorem Proving Using Term-Rewriting
  	Systems},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {25},
  number = {3},
  pages = {255--300},
  topic = {theorem-proving;}
  }

@article{ hsiung_m:2008a,
  author = {Ming Hsiung},
  title = {An Intuitionistic Characterization of Classical Logic},
  journal = {Journal of Philosophical Logic},
  year = {2008},
  volume = {37},
  number = {4},
  pages = {299--317},
  topic = {intuitionistic-logic;}
  }

@incollection{ huang_ct:1987a,
  author = {C.-T. James Huang},
  title = {Existential Sentences in {C}hinese and (In)definiteness},
  booktitle = {The Representation of (In)definites},
  publisher = {The {MIT} Press},
  year = {1987},
  editor = {Eric Reuland and Alice {ter Meulen}},
  pages = {226--253},
  address = {Cambridge, Massachusetts},
  topic = {(in)definiteness;existential-constructions;Chinese-language;}
  }

@phdthesis{ huang_j:1982a,
  author = {J. Huang},
  title = {Logical Relations in {C}hinese and the Theory of
  	Grammar},
  school = {Department of Linguistics, Massachusetts
  	Institute of Technology},
  year = {1982},
  type = {Ph.{D}. Dissertation},
  address = {Cambridge, Massachusetts},
  missinginfo = {A's 1st name},
  topic = {LF;nl-semantics;Chinese-language;}
 }

@article{ huang_t-russell_s:1998a,
  author = {Timothy Huang and Stuart Russell},
  title = {Object Identification: A {B}ayesian Analysis
  	with Application to Traffic Surveillance},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {103},
  number = {1--2},
  pages = {77--93},
  topic = {object-identification;probabilistic-reasoning;}
  }

@book{ huang_xd-etal:1990a,
  author = {X. D. Huang and Y. Ariki and M. A. Jack},
  title = {Hidden Markov Models for Speech Recognition},
  publisher = {Edinburgh University Press},
  year = {1990},
  address = {Edinburgh},
  topic = {speech-recognition;hidden-Markov-models;}
 }

@inproceedings{ huang_xm-etal:1991a,
  author = {Xueming Huang and Gordon I. McCalla and Eric Neufeld},
  title = {Using Attention in Belief Revision},
  booktitle = {Proceedings of the Ninth National Conference on
              Artificial Intelligence},
  year = {1991},
  editor = {Thomas Dean and Kathleen McKeown},
  pages = {275--280},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {belief-revision;relevance;}
  }

@techreport{ huang_xr:1991a,
  author = {Xiaorong Huang},
  title = {An Extensible Natural Calculus for Argument Presentation},
  institution = {Fachbereich Informatik, Universit\"at Kaiserslautern},
  number = {SR--91--3},
  year = {1990},
  address = {D--6750 Kaiserslautern},
  rtnote = {In RHT collection.},
  topic = {theorem-proving;argumentation;nl-generation-from-proofs;}
  }

@phdthesis{ huang_xr:1994a,
  author = {Xiarong Huang},
  title = {Human Oriented Proof Presentation: A Reconstructive Approach},
  school = {Universit\"at des Saarlandes},
  year = {1994},
  type = {Ph.D. Dissertation},
  address = {Saarbr\"ucken},
  rtnote = {In RHT collection.},
  topic = {theorem-proving;argumentation;nl-generation-from-proofs;}
 }

@inproceedings{ huang_xr:1994b,
  author = {Xiarong Huang},
  title = {The Presentation of Proofs at the Assertion Level},
  booktitle = {Twelfth International Conference on Automated Deduction
  	{CADE}94},
  publisher = {Springer-Verlag},
  year = {1994},
  address = {Berlin},
  missinginfo = {Editor, pages},
  rtnote = {In RHT collection.},
  topic = {theorem-proving;argumentation;nl-generation-from-proofs;}
  }

@inproceedings{ huang_xr:1996a,
  author = {Xiarong Huang},
  title = {Translating Machine-Generated Resolution Proofs into
  	{ND}-Proofs at the Assertion Level},
  booktitle = {{PRICAI'96}: Topics in Artificial Intelligence, 4th
  	{P}acific {R}im Conference on Artificial Intelligence},
  year = {1996},
  editor = {Norman Y. Foo and Randy Goebel},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = {1114},
  address = {Berlin},
  rtnote = {In RHT collection.},
  missinginfo = {pages},
  topic = {theorem-proving;argumentation;nl-generation-from-proofs;}
  }

@inproceedings{ huang_xr:1997a,
  author = {Xiaorong Huang},
  title = {Planning reference Choices for Argumentative Texts},
  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 = {190--197},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {nl-generation;referring-expressions;argumentation;}
 }

@inproceedings{ huang_xr-fiedler:1996a,
  author = {Xiarong Huang and Armin Fiedler},
  title = {Presenting Machine-Found Proofs},
  booktitle = {Thirteenth International Conference on Automated Deduction
  	{CADE}92},
  year = {1996},
  editor = {Michael McRobbie and John Slaney},
  pages = {221--225},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {theorem-proving;argumentation;nl-generation-from-proofs;}
  }

@inproceedings{ huang_xr-fiedler:1997a,
  author = {Xiarong Huang and Armin Fiedler},
  title = {Proof Verbalization as an Application of {NLG}},
  booktitle = {Proceedings of the Fifteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1997},
  editor = {Martha Pollack},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  missinginfo = {pages},
  rtnote = {In RHT collection.},
  topic = {theorem-proving;argumentation;nl-generation-from-proofs;}
  }

@book{ huang_y:2006a,
  author = {Yan Huang},
  title = {Pragmatics},
  publisher = {Oxford University Press},
  year = {2006},
  address = {Oxford},
  ISBN = {978-0-19-924368-6 (pbk)},
  topic = {pragmatics;}
 }

@techreport{ huang_zs:1989a,
  author = {Zhisheng Huang},
  title = {Dependency of Belief in Distributed Systems},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {LP--89--09},
  year = {1989},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland},
  rtnote = {In RHT collection.},
  topic = {epistemic-logic;belief;distributed-systems;}
  }

@techreport{ huang_zs:1990a,
  author = {Zisheng Huang},
  title = {Logics for Belief Dependence},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {LP-90-13},
  year = {1990},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018TV Amsterdam, Holland },
  rtnote = {In RHT collection.},
  topic = {belief-revision;}
  }

@article{ huang_zs-etal:1996a,
  author = {Zhisheng Huang and Michael Masuch and L\'asl/'o P\'olos},
  title = {{ALX}, an Action Logic for Agents with Bounded Rationality},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {82},
  number = {1--2},
  pages = {75--127},
  rtnote = {Read this.},
  topic = {action-formalisms;conditionals;limited-rationality;}
  }

@incollection{ huang_zs-kwast:1991a,
  author = {Z. Huang and K. Kwast},
  title = {Awareness, Negation and Logical Omniscience},
  booktitle = {Logics in {AI}, Proceedings {JELIA}'90},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Jan {van Eijk}},
  series = {Lecture Notes in Computer Science},
  volume = {478},
  pages = {282--300},
  address = {Berlin},
  missinginfo = {A's 1st name, E's 1st name},
  topic = {hyperintensionality;awareness;epistemic-logic;}
  }

@techreport{ huang_zs-vanemdeboas:1991a,
  author = {Zhisheng Huang and Peter {van Emde Boas}},
  title = {Belief Dependence, Revision and Persistence},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {LP--91--06},
  year = {1991},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland},
  rtnote = {In RHT collection.},
  topic = {belief-revision;}
  }

@techreport{ huang_zs-vanemdeboas:1991b,
  author = {Zhisheng Huang and Peter {van Emde Boas}},
  title = {The {S}choenmaker's Paradox: Its Solution in a Belief Dependence
  	Framework},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {LP--91--05},
  year = {1991},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland},
  rtnote = {In RHT collection.},
  topic = {belief-revision;}
  }

@incollection{ huang_zs-vanemdeboas:1994a,
  author = {Zhisheng Huang and Peter {van Emde Boas}},
  title = {Information Acquisition from Multi-Agent Resources},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fifth Conference ({TARK} 1994)},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Ronald Fagin},
  pages = {65--79},
  address = {San Francisco},
  topic = {belief-acquisition;epistemic-logic;}
  }

@article{ huber_f:2006a,
  author = {Franz Huber},
  title = {Ranking Functions and Rankings on Languages},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {4--5},
  pages = {462--471},
  topic = {ranking-functions;qualitative-probability;}
  }

@article{ huber_f:2007a,
  author = {Franz Huber},
  title = {The Consistency Argument for Ranking Functions},
  journal = {Studia Logica},
  year = {2007},
  volume = {86},
  number = {2},
  pages = {299--329},
  topic = {qualitative-probability;belief-revision;}
  }

@article{ huber_f:2007b,
  author = {Franz Huber},
  title = {The Logic of Theory Assessment},
  journal = {Journal of Philosophical Logic},
  year = {2007},
  volume = {36},
  number = {5},
  pages = {511--538},
  topic = {confirmation-theory;}
  }

@article{ huberman-hogg:1987a,
  author = {Bernardo A. Huberman and Tad Hogg},
  title = {Phase Transitions in Artificial Intelligence Systems},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {33},
  number = {3},
  pages = {155--171},
  topic = {computational-phase-transitions;}
  }

@article{ hubin:1996a,
  author = {Donald C. Hubin},
  title = {Hypothetical Motivation},
  journal = {No\^us},
  year = {1996},
  volume = {30},
  number = {1},
  pages = {31--54},
  topic = {motivation;practical-reasoning;}
  }

@article{ hubner-etal:2000a,
  author = {Andr\'e H\"ubner and Mario Lenz and Roman Borch
  	and Michael Posthoff},
  title = {Last-Minute Travel Application},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {21},
  number = {4},
  pages = {58--62},
  topic = {case-based-reasoning;}
  }

@book{ huddleston-pullum:2002a,
  author = {Rodney Huddleston and Geoffrey K.Pullum},
  title = {The {C}ambridge Grammar of the {E}nglish Language},
  publisher = {Cambridge University Press},
  year = {2002},
  address = {Cambridge, England},
  ISBN = {0-521=43146-8},
  xref = {Review: brew:2003a.},
  topic = {reference-grammars;English-language;}
 }

@article{ hudson_h:2006a,
  author = {Hud Hudson},
  title = {Confining Composition},
  journal = {The Journal of Philosophy},
  year = {2006},
  volume = {103},
  number = {1},
  pages = {631--651},
  topic = {mereology;metaphysics;}
  }

@article{ hudson_ra:1975a,
  author = {Richard A. Hudson},
  title = {The Meaning of Questions},
  journal = {Language},
  year = {1975},
  volume = {51},
  number = {1},
  pages = {1--31},
  topic = {interrogatives;speech-acts;}
  }

@book{ hudson_ra:1995a,
  author = {Richard A. Hudson},
  title = {Word Meaning},
  publisher = {Routledge},
  year = {1995},
  address = {London},
  rtnote = {In RHT collection.  LLP Shelves.},
  topic = {lexical-semantics;}
 }

@book{ hudson_wd:1969a,
  editor = {W.D. Hudson},
  title = {The Is-Ought Question},
  publisher = {The MacMillan Company},
  year = {1969},
  address = {New York},
  xref = {Review: },
  topic = {logical-autonomy;metaethics;}
 }

@incollection{ hudsondzmura:1997a,
  author = {Susan Hudson-D'Zmura},
  title = {Control and Event Structure: The View from the Center},
  booktitle = {Centering Theory in Discourse},
  publisher = {Oxford University Press},
  year = {1997},
  editor = {Marilyn A. Walker and Arivind K. Joshi and Ellen Prince},
  pages = {71--88},
  address = {Oxford},
  topic = {anaphora-resolution;discourse;pragmatics;
  	discourse-structure;lexical-semantics;centering;}
  }

@incollection{ hudsondzmura-tannenhaus:1997a,
  author = {Susan Hudson-D'Zmura and Michael K. Tanenhaus},
  title = {Assigning Antecedents to Ambiguous Pronouns: The Role of
  	the Center of Attention as the Default Assignment},
  booktitle = {Centering Theory in Discourse},
  publisher = {Oxford University Press},
  year = {1997},
  editor = {Marilyn A. Walker and Arivind K. Joshi and Ellen Prince},
  pages = {199--226},
  address = {Oxford},
  topic = {anaphora-resolution;discourse;pragmatics;attention;centering;}
  }

@article{ huemer:2000a,
  author = {Michael Huemer},
  title = {Van {I}nwagen's Consequence Argument},
  journal = {The Philosophical Review},
  year = {2000},
  volume = {109},
  number = {4},
  pages = {525--544},
  topic = {freedom;volition;}
  }

@article{ huemer:2004a,
  author = {Michael Huemer},
  title = {Review of \emph{{T}he {O}xford Handbook of Free Will},
  	edited by by {R}obert {K}ane},
  journal = {The Philosophical Review},
  year = {2004},
  volume = {113},
  number = {2},
  pages = {279--283},
  xref = {Review of: kane:2002a.},
  topic = {freedom;volition;}
  }

@incollection{ huemer:2009a,
  author = {Michael Huemer},
  title = {Values and Morals: Outline of a Skeptical Realism},
  booktitle = {Metaethics},
  publisher = {Blackwell Publishers},
  year = {2009},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {113--130},
  address = {Oxford},
  topic = {evaluative-terms;realism;expressivism;}
  }

@book{ huet-plotkin:1991a,
  editor = {G\'irard Huet and Gerald Plotkin},
  title = {Logical Frameworks},
  publisher = {Cambridge University Press},
  year = {1991},
  address = {Cambridge},
  ISBN = {0521413001},
  rtnote = {UMich Media Union Library, QA 76.63 .L66 1991.},
  topic = {logic-programming;}
 }

@inproceedings{ huettner-etal:1987a,
  author = {Alison Huettner and Marie Vaughan and David McDonald},
  title = {Constraints on the Generation of Adjunct Clauses},
  booktitle = {Proceedings of the 25th Annual Meeting of the {ACL}},
  year = {1987},
  pages = {207--214},
  publisher = {Association for Computational Linguistics},
  abstract = {This paper presents an analysis of a family of
    particular English constructions, all of which roughly express
    "purpose". In particular we look at the purpose clause, rationale
    clause, and infinitival relative clause.  We (1) show that
    couching the analysis in a computational framework, specifically
    generation, provides a more satisfying account than analyses
    based strictly on descriptive linguistics, (2) describe an
    implementation of our analysis in the natural language generation
    system MUMBLE-86, and (3) discuss how our architecture improves
    upon the techniques used by other generation systems for handling
    these and other adjunct constructions.},
  url = {http://www.aclweb.org/anthology/P87-1029},
  topic = {nl-generation;}
}

@article{ hugel-etal:2000a,
  author = {Vincent Hugel and Patrick Bonnin and Pierre Blazevic},
  title = {Using Reactive and Adaptive Behaviors to Play Soccer},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {21},
  number = {3},
  pages = {53--59},
  topic = {RoboCup;robotics;minimalist-robotics;}
  }

@article{ huggett:1999a,
  author = {Nick Huggett},
  title = {Atomic Metaphysics},
  journal = {Journal of Philosophy},
  year = {1999},
  volume = {96},
  number = {1},
  pages = {5--24},
  topic = {philosophy-of-physics;foundations-of-quantum-mechanics;}
  }

@book{ hughes_ge-cresswell_mj:1968a,
  author = {Max J. Cresswell and G.E. Hughes},
  title = {An Introduction to Modal Logic},
  publisher = {Methuen},
  year = {1968},
  address = {London},
  xref = {Superceded by hughes_ge-cresswell_mj:1996a},
  topic = {modal-logic;}
 }

@book{ hughes_ge-cresswell_mj:1968b,
  author = {Max J. Cresswell and G.E. Hughes},
  title = {A Companion to Modal Logic},
  publisher = {Methuen},
  year = {1984},
  address = {London},
  topic = {modal-logic;}
 }

@book{ hughes_ge-cresswell_mj:1996a,
  author = {Max J. Cresswell and G.E. Hughes},
  title = {A New Introduction to Modal Logic},
  publisher = {Routledge},
  year = {1996},
  address = {London},
  xref = {Review: crivelli-williamson_t:1998a.},
  rtnote = {In RHT Collection.  Logic shelves.},
  topic = {modal-logic;}
 }

@article{ hughes_j1:1984a,
  author = {Justin Hughes},
  title = {Group Speech Acts},
  journal = {Linguistics and Philosophy},
  year = {1984},
  volume = {7},
  number = {4},
  pages = {379--395},
  topic = {speech-acts;group-action;}
  }

@article{ hughes_j2-etal:2006a,
  author = {Jesse Hughes and Albert Esterline and Bahram Kimiaghalam},
  title = {Means-End Relations and a Measure of Efficacy},
  journal = {Journal of Logic, Language, and Information},
  year = {2006},
  volume = {15},
  number = {1--2},
  pages = {83--108},
  topic = {probability-semantics;dynamic-logic;}
  }

@book{ hughes_jk-etal:1987a,
  author = {Joan K. Hughes and Glen C. Michtom and Jay I. Michtom},
  edition = {2},
  title = {A Structured Approach to Programming},
  publisher = {Prentice-Hall},
  year = {1987},
  address = {Englewood Cliffs, New Jersey},
  ISBN = {0138541590},
  rtnote = {UMich Media Union Library, QA76.6 .H89 1987.},
  topic = {structured-programming;}
 }

@article{ hughes_rig:1985a,
  author = {R.I.G. Hughes},
  title = {Semantic Alternatives in Partial {B}oolean Quantum Logic},
  journal = {Journal of Philosophical Logic},
  year = {1985},
  volume = {14},
  number = {4},
  pages = {411--446},
  topic = {quantum-logic;}
  }

@article{ hugly-sayward:1977a,
  author = {Philip Hugly and Charles Sayward},
  title = {Theories of Truth and Semantical Primitives},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {6},
  number = {3},
  pages = {349--35},
  contentnote = {This is a comment on cummins_r:1975a.},
  topic = {logical-form;truth-definitions;Davidson-semantics;}
  }

@article{ hugly-sayward:1979a,
  author = {Philip Hugly and Charles Sayward},
  title = {A Problem about Conversational Implicature},
  journal = {Linguistics and Philosophy},
  year = {1979},
  volume = {3},
  number = {1},
  pages = {19--25},
  topic = {implicature;pragmatics;}
  }

@article{ hugly-sayward:1990a,
  author = {Philip Hugly and Charles Sayward},
  title = {Moral Relativism and Deontic Logic},
  journal = {Synth\'ese},
  year = {1990},
  volume = {85},
  number = {1},
  pages = {139--152},
  topic = {deontic-logic;ethics;}
  }

@article{ hugly-sayward:1993a,
  author = {Philip Hugly and Charles Sayward},
  title = {Theories of Truth and Truth-Value Gaps},
  journal = {Linguistics and Philosophy},
  year = {1993},
  volume = {16},
  number = {6},
  pages = {551--559},
  topic = {truth;Donald-Davidson;truth-value-gaps;}
  }

@book{ hugly-sayward:1996a,
  editor = {Philip Hugly and Charles Sayward},
  title = {Intensionality and Truth: An Essay on the Philosophy of
  	{A}.{N}. {P}rior},
  publisher = {Kluwer Academic Publishers},
  year = {1996},
  address = {Dordrecht},
  topic = {propositional-attitudes;intensionality;truth;}
 }

@article{ hukari-levine_rd:1990a,
  author = {Thomas Hukari and Robert D. Levine},
  title = {Jacobson on {GKPS}: A Rejoinder},
  journal = {Linguistics and Philosophy},
  year = {1990},
  volume = {13},
  number = {3},
  pages = {363--381},
  xref = {Commentary on jacobson_p:1987a.},
  topic = {GPSG;}
  }

@incollection{ hull:1975a,
  author = {R.D. Hull},
  title = {A Semantics for Superficial and Embedded Questions},
  booktitle = {Formal Semantics of Natural Language},
  publisher = {Cambridge University Press},
  year = {1975},
  editor = {Edward L. Keenan},
  pages = {35--45},
  address = {Cambridge, England},
  missinginfo = {A's 1st name},
  topic = {interrogatives;}
  }

@incollection{ hull:1987a,
  author = {Richard Hull},
  title = {A Survey of Theoretical Resarch on Typed Complex
		Database Objects},
  booktitle = {Databases},
  publisher = {Academic Press},
  year = {1987},
  editor = {J. Paradaens},
  pages = {193--256},
  address = {New York},
  rtnote = {In RHT collection.  Filed with hull:1987a.},
  topic = {databases;}
  }

@article{ hullermeier-etal:2008a,
  author = {Eyke H\"ullermeier and Johannes F\"rnkranz and
  		Weiwei Cheng and Klaus Brinker},
  title = {Label Ranking by Learning Pairwise Preferences},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {16--17},
  pages = {1897--1916},
  topic = {preference-learning;}
  }

@article{ hullmeyer:2003a,
  author = {Eyke H\"ullmeyer},
  title = {Possibilistic Instance-Based Learning},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {148},
  number = {1--2},
  pages = {335--383},
  topic = {possibility-theory;machine-learning;}
  }

@incollection{ hulser:1979a,
  author = {Karlheinz H\"ulser},
  title = {Expression and Content in {S}toic Linguistic Theory},
  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 = {284--303},
  topic = {Stoic-philosophy;}
  }

@article{ hulsey-sutherland:2006a,
  author = {Sarah Hulsey and Uli Sutherland},
  title = {Sorting out Relative Clauses},
  journal = {Natural Language Semantics},
  year = {2006},
  volume = {14},
  number = {2},
  pages = {111--137},
  topic = {nl-syntax;nl-semantics;relative-clauses;}
  }

@inproceedings{ hulstijn:1999a,
  author = {Joris Hulstijn},
  title = {Modeling Usability:  Development Methods for
  	 	Dialogue Systems},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
  	Knowledge and Reasoning in Practical Dialogue Systems},
  year = {1999},
  editor = {Jan Alexandersson},
  pages = {49--56},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {computational-dialogue;}
  }

@incollection{ hulstijn:2003a,
  author = {Joris Hulstijn},
  title = {Roles in Dialogue},
  booktitle = {Diabruck 2003: Proceedings of the 7th Workshop on the
  	Semantics and Pragmatics of Dialogue},
  publisher = {Universit\"at des Saarlandes},
  year = {2003},
  editor = {Ivana Kruijff-Korbayov\'a and Claudia Kosny},
  pages = {43--50},
  address = {Saarbr\"ucken},
  topic = {pragmatics;dialogue-games;}
  }

@article{ humberstone:1971a,
  author = {I. L. Humberstone},
  title = {Two Sorts of `Ought's},
  journal = {Analysis},
  volume = {32},
  year = {1971},
  pages = {8--11},
  topic = {obligation;deontic-logic;`ought'}
    }

@article{ humberstone:1979a,
  author = {Lloyd Humberstone},
  title = {Interval Semantics for Tense Logic},
  journal = {Journal of Philosophical Logic},
  year = {1979},
  volume = {8},
  number = {2},
  pages = {171--196},
  topic = {temporal-logic;interval-logic;}
  }

@article{ humberstone:1981a,
  author = {Lloyd Humberstone},
  title = {From Worlds to Possibilities},
  journal = {Journal of Philosophical Logic},
  year = {1981},
  volume = {10},
  number = {2},
  pages = {313--339},
  contentnote = {The idea is to see what might stand to worlds in
  	modal logic as intervals stand to moments in tense logic.},
  topic = {modal-logic;possibility;}
  }

@article{ humberstone:1986a,
  author = {Lloyd Humberstone},
  title = {Extensionality in Sentence Position},
  journal = {Journal of Philosophical Logic},
  year = {1986},
  volume = {15},
  number = {1},
  pages = {27--54},
  note = {A correction appears in \cite{humberstone:1988a}.},
  topic = {intensionality;intensional-logic;}
  }

@article{ humberstone:1988a,
  author = {Lloyd Humberstone},
  title = {The Lattice of Extensional Connectives:  A Correction},
  journal = {Journal of Philosophical Logic},
  year = {1988},
  volume = {17},
  number = {3},
  pages = {221--223},
  note = {A correction to \cite{humberstone:1986a}.},
  topic = {intensionality;intensional-logic;}
  }

@article{ humberstone:1993a,
  author = {Lloyd Humberstone},
  title = {Functional Dependencies, Supervenience, and Consequence
  	Relations},
  journal = {Journal of Logic, Language, and Information},
  year = {1993},
  volume = {2},
  number = {4},
  pages = {309--336},
  topic = {logical-consequence;}
  }

@article{ humberstone:1996a,
  author = {Lloyd Humberstone},
  title = {Valuational Semantics of Rule Derivability},
  journal = {Journal of Philosophical Logic},
  year = {1996},
  volume = {25},
  number = {5},
  pages = {451--461},
  topic = {semantics-of-inference-rules;}
  }

@incollection{ humberstone:1996b,
  author = {Lloyd Humberstone},
  title = {Homophony, Validity, Modality},
  booktitle = {Logic and Reality: Essays on the Legacy of {A}rthur
  	{P}rior},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Jack Copeland},
  address = {Oxford},
  pages = {215--236},
  topic = {modal-logic;truth-definitions;}
  }

@article{ humberstone:1996c,
  author = {Lloyd Humberstone},
  title = {Intrinsic/Extrinsic},
  journal = {Synth\'ese},
  year = {1990},
  volume = {108},
  pages = {205--267},
  topic = {internal/external-properties;}
  }

@article{ humberstone:1997a,
  author = {I.L. Humberstone},
  title = {Singulary Extensional Connectives:  A Closer Look},
  journal = {Journal of Philosophical Logic},
  year = {1997},
  volume = {26},
  number = {3},
  pages = {341--356},
  topic = {algebraic-logic;modal-logic;}
  }

@article{ humberstone:1999a,
  author = {LLoyd Humberstone},
  title = {Review of \emph{{N}egation: A Notion in Focus},
  	edited by {H}einrich {W}ansing},
  journal = {Studia Logica},
  year = {1999},
  volume = {63},
  number = {2},
  pages = {283--296},
  xref = {Review of: wansing:1996a.},
  topic = {negation;}
  }

@article{ humberstone:2000a,
  author = {Lloyd Humberstone},
  title = {The Revival of Rejective Negation},
  journal = {Journal of Philosophical Logic},
  year = {2000},
  volume = {29},
  number = {4},
  pages = {331--381},
  topic = {negation;assertion;}
  }

@article{ humberstone:2001a,
  author = {Lloyd Humberstone},
  title = {The Pleasures of Anticipation: Enriching Intuitionistic
  	Logic},
  journal = {Journal of Philosophical Logic},
  year = {2001},
  volume = {30},
  number = {5},
  pages = {395--438},
  topic = {intuitionistic-logic;}
  }

@article{ humberstone:2003a,
  author = {Lloyd Humberstone},
  title = {False though Partly True---An Experiment in Logic},
  journal = {Journal of Philosophical Logic},
  year = {2003},
  volume = {32},
  number = {6},
  pages = {612--665},
  topic = {multivalued-logic;truth;}
  }

@article{ humberstone:2005a,
  author = {Lloyd Humberstone},
  title = {Geach's Categorial Grammar},
  journal = {Linguistics and Philosophy},
  year = {2005},
  volume = {28},
  number = {2},
  pages = {281--317},
  topic = {categorial-grammar;}
  }

@article{ humberstone:2006a,
  author = {Lloyd Humberstone},
  title = {Identical Twins, Deduction Theorems, and Pattern Functions:
  		Exploring the Implicative \emph{BCSK} Fragment of {\bf S5}},
  journal = {Journal of Philosophical Logic},
  year = {2006},
  volume = {35},
  number = {5},
  pages = {435--487},
  xref = {Erratum: humberstone:2007b.},
  topic = {modal-logic;}
  }

@article{ humberstone:2007a,
  author = {Lloyd Humberstone},
  title = {Modal Logic for Other-World Agnostics:  Neutrality and
  		{H}alld\'en Incompleteness},
  journal = {Journal of Philosophical Logic},
  year = {2007},
  volume = {36},
  number = {1},
  pages = {1--32},
  topic = {modal-logic;philosophy-of-possible-worlds;}
  }

@article{ humberstone:2007b,
  author = {Lloyd Humberstone},
  title = {Investigations into a Left-Structural Right-Substructural
  		Sequent Calculus},
  journal = {Journal of Logic, Language, and Information},
  year = {2007},
  volume = {16},
  number = {2},
  pages = {141--171},
  topic = {substructural-logics;proof-theory;}
  }

@article{ humberstone:2007c,
  author = {Lloyd Humberstone},
  title = {Identical Twins, Deduction Theorems, and Pattern Functions:
  		Exploring the Implicative \emph{BCSK} Fragment of {\bf S5}},
  journal = {Journal of Philosophical Logic},
  year = {2007},
  volume = {36},
  number = {1},
  pages = {249},
  xref = {Erratum to: humberstone:2006a.},
  topic = {modal-logic;}
  }

@incollection{ humberstone:2008a,
  author = {Lloyd Humberstone},
  title = {Can Every Modifier be Treated as a Sentence Modifier?},
  booktitle = {Philosophical Perspectives 22, 2008: Philosophy of
  		Language},
  publisher = {Blackwell Publishers},
  year = {2008},
  editor = {John Hawthorne},
  pages = {241--275},
  address = {Oxford},
  topic = {adverbs;}
  }

@article{ humberstone-williamson_t:1997a,
  author = {Lloyd Humberstone and Timothy Williamson},
  title = {Inverses for Normal Modal Operators},
  journal = {Studia Logica},
  year = {1997},
  volume = {59},
  number = {1},
  pages = {33--64},
  topic = {modal-logic;}
  }

@unpublished{ hume_b:1993a,
  author = {Beth Hume},
  title = {Nonlinear Phonology},
  year = {1993},
  note = {Course Packet for 1993 Linguistic Institute},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {nonlinear-phonology;}
  }

@article{ humphrey_n:1997a,
  author = {Nicholas Humphrey},
  title = {Review of \emph{Kinds of Minds: Toward an Understanding
		of Consciousness}, by {D}aniel {C}. {D}ennett},
  journal = {The Journal of Philosophy},
  year = {1997},
  volume = {94},
  number = {2},
  pages = {97},
  topic = {consciousness;}
  }

@book{ humphrey_n:2006a,
  author = {Nicholas Humphrey},
  title = {Seeing Red: A Study in Consciousness},
  publisher = {Harvard University Press},
  year = {2006},
  address = {Cambridge, Massachusetts},
  ISBN = {0-674-02179-7},
  xref = {Review: newton:2006a},
  topic = {philosophy-of-mind;consciousness;}
 }

@book{ humphrey_ws:1990a,
  author = {Watts S. Humphrey},
  title = {Managing the Software Process},
  publisher = {Addison-Wesley},
  year = {1990},
  address = {Reading, Massachusetts},
  ISBN = {0201180952},
  rtnote = {UMich Media Union Library, QA 76.758 .H861 1990.},
  topic = {software-engineering;}
 }

@article{ humphreys_l:1993a,
  author = {Lee Humphreys},
  title = {Book Review: The Linguistics of Punctuation},
  journal = {Machine Translation},
  year = {1993},
  volume = {7},
  pages = {199--201},
  topic = {punctuation;}
}

@phdthesis{ humphreys_p:1989a,
  author = {Paul Humpreys},
  title = {The Chances of Explanation},
  school = {Philosophy Department, Princeton University},
  year = {1989},
  type = {Ph.{D}. Dissertation},
  address = {Princeton, New Jersey},
  contentnote = {Evidently, there is a def of causality here in terms
  	of linear regression models.  See glennan:1997a.},
  topic = {causality;explanation;}
 }

@article{ humphreys_p:2000a,
  author = {Paul Humphreys},
  title = {Review of \emph{{C}ausality and Explanation}, by {W}esley
  	{S}almon},
  journal = {The Journal of Philosophy},
  year = {2000},
  volume = {97},
  number = {9},
  pages = {523--527},
  xref = {Review of salmon_wc:1999a.},
  topic = {causality;explanation;}
  }

@book{ humphreys_p-fetzer_jh:1998a,
  editor = {Paul Humphreys and James H. Fetzer},
  title = {The New Theory of Reference: {K}ripke, {M}arcus, and
  	Its Origins},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  address = {Dordrecht},
  ISBN = {0-7923-4898-2},
  topic = {reference;modal-logic;philosophy-of-language;}
 }

@incollection{ hung_ky-etal:2000a,
  author = {K.Y. Hung and R.W.P. Luk and D. Yeung and K.F.L. Chung and
    		W. Shu},
  title = {Detection of Language (Model) Errors},
  booktitle = {Proceedings of the 2000 Joint {SIGDAT} Conference
  	on Empirical Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Hinrich Sch\"utze and Keh-Yih Su},
  pages = {87--94},
  address = {Somerset, New Jersey},
  topic = {n-gram-models;Chinese-language;Bayesian-classification;}
  }

@article{ hungerland:1960a,
  author = {I.C. Hungerland},
  title = {Contextual Implication},
  journal = {Inquiry},
  year = {1960},
  volume = {3},
  pages = {211--258},
  missinginfo = {A's 1st name, number},
  topic = {implicature;context;}
  }

@book{ hunston-francis_g:2000a,
  author = {Susan Hunston and Gill Francis},
  title = {Pattern Grammar: A Corpus-Driven Approach to the
  	Lexical Grammar of {E}nglish},
  publisher = {John Benjamins},
  year = {2000},
  address = {Amsterdam},
  ISBN = {90-272-2273-8},
  xref = {Review: johnson_c:2001a.},
  topic = {descriptive-grammar;corpus-linguistics;}
 }

@book{ hunt_eb:1975a,
  author = {Earl B. Hunt},
  title = {Artificial intelligence},
  publisher = {Academic Press},
  year = {1975},
  address = {New York},
  xref = {Review: shapiro_sc:1976a.},
  topic = {AI-intro;AI-text;}
 }

@incollection{ hunter_a:1994a,
  author = {Anthony Hunter},
  title = {Defeasible Reasoning with Structured Information},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {281--262},
  address = {San Francisco, California},
  topic = {kr;labeled-deductive-systems;nonmonotonic-logic;kr-course;}
  }

@incollection{ hunter_a:1998a,
  author = {Anthony Hunter},
  title = {Paraconsistent Logics},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 2: Reasoning with
                Actual and Potential Contradictions},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Dov M. Gabbay and Philippe Smets},
  pages = {11--36},
  address = {Dordrecht},
  topic = {paraconsistency;}
  }

@inproceedings{ hunter_a:2002a,
  author = {Anthony Hunter},
  title = {Measuring Inconsistency in Knowledge via Quasi-Classical Models},
  booktitle = {Proceedings of the Eighteenth National Conference on
              Artificial Intelligence},
  year = {2002},
  editor = {Rina Dechter and Michael Kearns and Richard S. Sutton},
  pages = {68--73},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {paraconsistency;}
  }

@incollection{ hunter_a-konieczny:2006a,
  author = {Anthony Hunter and Sebastian Konieczny},
  title = {Shapley Inconsistency Values},
  booktitle = {{KR}2006: Proceedings, Tenth International Conference on
      Principles of  Knowledge Representation and Reasoning},
  publisher = {AAAI Press},
  year = {2006},
  editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty},
  pages = {249--258},
  address = {Menlo Park, California},
  topic = {belief-revision;paraconsistency;game-theory;}
  }

@article{ hunter_jfm:1968a,
  author = {J.F.M. Hunter},
  title = {Aune and Others on Ifs and Cans},
  journal = {Analysis},
  year = {1968},
  volume = {28},
  pages = {107--112},
  missinginfo = {A's 1st name, number},
  rtnote = {In RHT collection.},
  topic = {ability;conditionals;JL-Austin;}
  }

@book{ hunter_jfm:1978a,
  author = {John

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit