text:
0},
  note = {Unpublished manuscript, IBM T.J. Watson Research Center},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-logic;belief-revision;}
  }

@incollection{ grosof:1991a,
  author = {Benjamin J. Grosof},
  title = {Generalizing Prioritization},
  booktitle = {KR'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {289--300},
  address = {San Mateo, California},
  topic = {kr;nonmonotonic-logic;circumscription;nonmonotonic-prioritization;}
  }

@techreport{ gross_d-etal:1989a,
  author = {Derek Gross and Judy Kegl and Patricia Gildea and
		George A. Miller},
  title = {A Coded Corpus and Commentary on Children's Dictionary
		Strategies},
  institution = {Cognitive Science Laboratory, Princeton University},
  number = {CSL Report 39},
  year = {1989},
  address = {Princeton, New Jersey},
  rtnote = {In RHT collection. Files under "Miller".},
  topic = {word-learning;}
  }

@book{ gross_pr-etal:1996a,
  editor = {Paul R. Gross and Norman Levitt and Martin W. Lewis},
  title = {The Flight from Science and Reason},
  publisher = {The New York Academy of Sciences},
  year = {1996},
  address = {New York},
  ISBN = {1573310026},
  rtnote = {UMich Science, Q 11 .N525 v.775.},
  topic = {creationism;fundamentalism;}
 }

@book{ gross_pr-levitt_n:1994a,
  author = {Paul R. Gross and Norman Levitt},
  title = {Higher Superstition: The Academic Left and
  	Its Quarrels with Science},
  publisher = {Johns Hopkins Press},
  year = {1994},
  address = {Baltimore},
  ISBN = {0801847664 (alk. paper)},
  rtnote = {UMich Graduate Library, Q 175.5 .G7571 1994.},
  topic = {academic-politics;science-and-contemporary-culture;
  	social-constructivism;}
 }

@article{ gross_s:2006a,
  author = {Steven Gross},
  title = {Can Empirical Theories of Semantic Competence Really Help
  	Limn the Structure of Reality?},
  journal = {No\^us},
  year = {2006},
  volume = {40},
  number = {1},
  pages = {43--81},
  topic = {ontology;truth;competence;}
  }

@article{ gross_s:2009a,
  author = {Stephen Gross},
  title = {Review of \emph{{V}agueness in Context}, by
  		{S}tewart {S}hapiro},
  journal = {The Philosophical Review},
  year = {2009},
  volume = {118},
  number = {2},
  pages = {261--266},
  xref = {Review of: shapiro_s1:2006a.},
  topic = {vagueness;context;}
  }

@incollection{ grosse:1994a,
  author = {Gerd Grosse},
  title = {Propositional State Event Logic},
  booktitle = {Logics in Artificial Intelligence},
  publisher = {Springer-Verlag},
  year = {1994},
  editor = {Craig Mac{N}ish and Lu\'is Moniz Pereira and David Pearce},
  address = {Berlin},
  missinginfo = {pages},
  topic = {concurrent-actions;action-effects;causality;modal-logic;}
  }

@incollection{ grossof:1991a,
  author = {Benjamin N. Grosof},
  title = {Generalizing Prioritization},
  booktitle = {{KR}'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {289--300},
  address = {San Mateo, California},
  topic = {kr;circumscription;nonmonotonic-prioritization;kr-course;}
  }

@article{ grosu:1973a,
  author = {Alexander Grosu},
  title = {A Note on Implicatures, Invited Inferences, and Syntactic Form},
  journal = {Die {S}prache},
  year = {1973},
  volume = {1973},
  pages = {59--61},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {implicature;pragmatics;}
  }

@article{ grosu-krifka:2007a,
  author = {Alexander Grosu and Manfred Krifka},
  title = {\emph{The Gifted Mathematician that You Claim to be}:
  	Equational Intensional `Reconstruction' Relatives},
  journal = {Linguistics and Philosophy},
  year = {2007},
  volume = {30},
  number = {4},
  pages = {445--485},
  topic = {nl-semantics;intensionality;relative-clauses;}
  }

@article{ grosu-landman:1998a,
  author = {Alexander Grosu and Fred Landman},
  title = {Strange Relatives of the Third Kind},
  journal = {Natural Language Semantics},
  year = {1998},
  volume = {6},
  number = {2},
  pages = {125--170},
  topic = {relative-clauses;nl-semantics;comparative-constructions;
  	measurement-theory;}
  }

@techreport{ grosz:1977a,
  author = {Barbara J. Grosz},
  title = {The Representation and Use of Focus in Dialogue
  	Understanding},
  institution = {SRI International},
  number = {Technical Note 151},
  year = {1977},
  address = {Menlo Park, California},
  topic = {discourse;discourse-referents;}
  }

@incollection{ grosz:1978a,
  author = {Barbara J. Grosz},
  title = {Discourse},
  booktitle = {Understanding Spoken Language},
  publisher = {North-Holland},
  year = {1978},
  editor = {Donald E. Walker},
  pages = {229--234},
  address = {Amsterdam},
  topic = {computational-dialogue;focus;}
  }

@incollection{ grosz:1978b,
  author = {Barbara J. Grosz},
  title = {Discourse Analysis},
  booktitle = {Understanding Spoken Language},
  publisher = {North-Holland},
  year = {1978},
  editor = {Donald E. Walker},
  pages = {235--268 },
  address = {Amsterdam},
  topic = {computational-dialogue;focus;}
  }

@incollection{ grosz:1978c,
  author = {Barbara J. Grosz},
  title = {Focus Spaces: A Representation of
    		the Focus of Attention of a Dialog},
  booktitle = {Understanding Spoken Language},
  publisher = {North-Holland},
  year = {1978},
  editor = {Donald E. Walker},
  pages = {269--285},
  address = {Amsterdam},
  topic = {computational-dialogue;focus;}
  }

@incollection{ grosz:1978d,
  author = {Barbara J. Grosz},
  title = {Resolving Definite Noun Phrases},
  booktitle = {Understanding Spoken Language},
  publisher = {North-Holland},
  year = {1978},
  editor = {Donald E. Walker},
  pages = {287--298},
  address = {Amsterdam},
  topic = {computational-dialogue;reference-resolution;}
  }

@incollection{ grosz:1978e,
  author = {Barbara J. Grosz},
  title = {Shifting Focus},
  booktitle = {Understanding Spoken Language},
  publisher = {North-Holland},
  year = {1978},
  editor = {Donald E. Walker},
  pages = {299--314},
  address = {Amsterdam},
  topic = {computational-dialogue;focus;}
  }

@incollection{ grosz:1978f,
  author = {Barbara J. Grosz},
  title = {Ellipsis},
  booktitle = {Understanding Spoken Language},
  publisher = {North-Holland},
  year = {1978},
  editor = {Donald E. Walker},
  pages = {315--337},
  address = {Amsterdam},
  topic = {computational-dialogue;ellipsis;}
  }

@incollection{ grosz:1978g,
  author = {Barbara J. Grosz},
  title = {Discourse: Recapitulation and a Look Ahead},
  booktitle = {Understanding Spoken Language},
  publisher = {North-Holland},
  year = {1978},
  editor = {Donald E. Walker},
  pages = {339--344},
  address = {Amsterdam},
  topic = {computational-dialogue;}
  }

@article{ grosz:1982a,
  author = {Barbara J. Grosz},
  title = {Natural Language Processing},
  journal = {Artificial Intelligence},
  year = {1982},
  volume = {19},
  number = {2},
  pages = {131--136},
  topic = {nl-processing;}
  }

@article{ grosz:1985a,
  author = {Barbara J. Grosz},
  title = {Natural-Language Processing},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {25},
  number = {1},
  pages = {1--4},
  topic = {nl-processing;}
  }

@incollection{ grosz:1994a,
  author = {Barbara Grosz},
  title = {Utterance and Objective: Issues in Natural Language
  	Computation},
  booktitle = {Current Issues in Computational Linguistics: Essays in
  	Honour of {D}on {W}alker},
  publisher = {Giardini Editori e Stampatori and Kluwer Academic
  	Publishers},
  year = {1994},
  editor = {Antonio Zampolli and Nicoletta Calzolari and Martha Palmer},
  pages = {21--39},
  address = {Pisa and Dordrecht},
  topic = {nlp-survey;discourse;}
  }

@inproceedings{ grosz:1995a,
  author = {Barbara Grosz},
  title = {Essential Ambiguity:  The Role of Context in
		Natural-Language Processing},
  booktitle = {Formalizing Context},
  year = {1995},
  editor = {Sa\v{s}a Buva\v{c}},
  pages = {1},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  note = {Abstract.},
  topic = {context;ambiguity;}
  }

@article{ grosz:2005a,
  author = {Barbara J. Grosz},
  title = {Whither {AI}: Identity Challenges of 1993--95},
  journal = {The {AI} Magazine},
  year = {2005},
  volume = {26},
  number = {4},
  pages = {42--44},
  topic = {AI-editorial;}
  }

@inproceedings{ grosz-etal:1982a,
  author = {Barbara Grosz and Norman Haas and Gary Hendrix and Jerry
  	Hobbs and Paul Martin and Robert Moore and Jane Robinson and
	Stanley Rosenschein},
  title = {{DIALOGIC:} A Core Natural-Language Processing System},
  booktitle = {COLING 82},
  year = {1982},
  editor = {J. Horeck\'y},
  pages = {95--100},
  publisher = {North-Holland Publishing Company},
  address = {Amsterdam},
  missinginfo = {E's 1st name, Full Proceedings Title},
  rtnote = {In RHT collection.},
  topic = {nl-interpretation;}
  }

@inproceedings{ grosz-etal:1983a,
  author = {Barbara J. Grosz and Arivind K. Joshi and Scott Weinstein},
  title = {Providing a Unified Account of Definite Noun Phrases in
  	Discourse},
  booktitle = {Proceedings of the Twenty-First Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1983},
  pages = {44--50},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  editor = {Mitch Marcus},
  contentnote = {This is the original paper on centering theory.},
  xref = {Revised, extended version of centering:  grosz-etal:1995a.},
  topic = {definiteness;discourse;centering;anaphora;pragmatics;}
 }

@book{ grosz-etal:1986a,
  editor = {Barbara G. Grosz and Karen Sparck Jones and Bonnie L. Webber},
  title = {Readings in Natural Language Processing},
  publisher = {Morgan Kaufmann},
  year = {1986},
  address = {Los Altos, California},
  ISBN = {0934613117},
  rtnote = {UMich Graduate Library Call No: P98 .R431 1986},
  rtnote = {In RHT collection.  CS 8x11 Shelf.},
  topic = {nlp-intro;nlp-survey;}
 }

@article{ grosz-etal:1987a,
  author = {Barbara J. Grosz and Douglas E.  Appelt and Paul A.
  	Martin and Fernando C.N. Pereira},
  title = {{TEAM}: An Experiment in the Design of Transportable
  	Natural-Language Interfaces},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {32},
  number = {2},
  pages = {173--243},
  topic = {nl-interfaces;}
  }

@incollection{ grosz-etal:1989a,
  author = {Barbara J. Grosz and Martha E. Pollack and Candace L. Sidner},
  title = {Discourse},
  booktitle = {Foundations of Cognitive Science},
  publisher = {The {MIT} Press},
  year = {1989},
  editor = {Michael I. Posner},
  chapter = {11},
  pages = {437--468},
  address = {Cambridge, Massachusetts},
  topic = {discourse-survey;}
  }

@article{ grosz-etal:1995a,
  author = {Barbara J. Grosz and Arivind Joshi and Scott Weinstein},
  title = {Centering: A Framework for Modeling the Local Coherence of
  	Discourse},
  journal = {Computational Linguistics},
  year = {1995},
  volume = {21},
  number = {2},
  pages = {227--253},
  xref = {Original centering paper: grosz-etal:1983a.},
  rtnote = {Reading notes on file.},
  rtnote = {pragmatics-course;},
  topic = {anaphora;discourse-coherence;discourse;
  	anaphora-resolution;centering;pragmatics;}
  }

@article{ grosz-etal:1999a,
  author = {Barbara Grosz and Luke Hunsberger and Sarit Kraus},
  title = {Planning and Acting Together},
  journal = {The {AI} Magazine},
  year = {1999},
  volume = {20},
  number = {4},
  pages = {23--34},
  topic = {sharedplans;multiagent-planning;}
  }

@article{ grosz-etal:2002a,
  author = {Barbara J. Grosz and Sarit Kraus and David G; Sullivan
  	and Sammay Das},
  title = {The Influence of Social Norms and Social Consciousness on
  	Intention Reconciliation},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {142},
  number = {2},
  pages = {147--177},
  topic = {multiagent-systems;intention;collaboration;}
  }

@article{ grosz-gordon_pc:1999a,
  author = {Barbara Grosz and Peter C. Gordon},
  title = {Conceptions of Limited Attention and Discouse
  	Focus},
  journal = {Computational Linguistics},
  year = {1999},
  volume = {25},
  number = {4},
  pages = {617--624},
  topic = {attention;attentional-state;discourse-focus;}
  }

@inproceedings{ grosz-kraus_s:1993a,
  author = {Barbara J. Grosz and Sarit Kraus},
  title = {Collaborative Plans for Group Activities},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  pages = {367--373},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  missinginfo = {editor},
  rtnote = {In RHT collection.},
  topic = {planning;group-plans;}
  }

@techreport{ grosz-kraus_s:1995a1,
  author = {Barbara J. Grosz and Sarit Kraus},
  title = {Collaborative Plans for Complex Group Action},
  institution = {Center for Research in Computing Technology,
  	Harvard University},
  number = {TR--20--95},
  year = {1995},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.},
  xref = {Journal publication: kraus_s:1995a2.},
  topic = {sharedplans;}
  }

@article{ grosz-kraus_s:1995a2,
  author = {Barbara J. Grosz and Sarit Kraus},
  title = {Collaborative Plans for Complex Group Action},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {86},
  number = {2},
  pages = {269--357},
  topic = {sharedplans;}
  }

@incollection{ grosz-kraus_s:1999a,
  author = {Barbara J. Grosz and Sarit Kraus},
  title = {The Evolution of Shared Plans},
  booktitle = {Foundations of Rational Agency},
  publisher = {Kluwer Academic Publishers},
  year = {1999},
  editor = {Michael Wooldridge and Anand Rao},
  pages = {227--261},
  address = {Dordrecht},
  topic = {sharedplans;multiagent-planning;}
  }

@article{ grosz-sidner_cl:1986a,
  author = {Barbara J. Grosz and Candice L. Sidner},
  title = {Attention, Intentions, and the Structure of Discourse},
  journal = {Computational Linguistics},
  year = {1986},
  volume = {12},
  pages = {175--204},
  missinginfo = {number},
  rtnote = {Reading notes on file.},
  rtnote = {pragmatics-course;},
  topic = {discourse;discourse-intentions;nl-interpretation;
  	pragmatics;}
  }

@unpublished{ grosz-sidner_cl:1988a,
  author = {Barbara J. Grosz and Candace L. Sidner},
  title = {Distributed Know-How and Active: Research on
  	Collaborative Planning},
  year = {1988},
  note = {Unpublished manuscript, Harvard University},
  rtnote = {In RHT collection.},
  topic = {sharedplans;collaboration;}
  }

@incollection{ grosz-sidner_cl:1990a,
  author = {Barbara J. Grosz and Candace L. Sidner},
  title = {Plans for Discourse},
  booktitle = {Intentions in Plans and Communication},
  editor = {Philip Cohen and Jerry Morgan and Martha Pollack},
  year = {1990},
  publisher = {MIT Press},
  pages = {417--444},
  address = {Cambridge, Massachusetts},
  rtnote = {Reading notes on file.},
  topic = {discourse-planning;group-planning;group-plans;
           plan-recognition;discourse;pragmatics;}
  }

@incollection{ grosz-sidner_cl:1997a,
  author = {Barbara J. Grosz and Candace L. Sidner},
  title = {Lost Intuitions and Forgotten Intentions},
  booktitle = {Centering Theory in Discourse},
  publisher = {Oxford University Press},
  year = {1997},
  editor = {Marilyn A. Walker and Arivind K. Joshi and Ellen Prince},
  pages = {39--51},
  address = {Oxford},
  contentnote = {This is a survey of work in centering theory; the
  	title refers to the original intuitions and intentions
	behind the theory.},
  topic = {anaphora-resolution;discourse;pragmatics;centering;}
  }

@incollection{ grosz-ziv:1997a,
  author = {Barbara J. Grosz and Yale Ziv},
  title = {Centering, Global Focus, and Right Dislocation},
  booktitle = {Centering Theory in Discourse},
  publisher = {Oxford University Press},
  year = {1997},
  editor = {Marilyn A. Walker and Arivind K. Joshi and Ellen Prince},
  pages = {293--307},
  address = {Oxford},
  topic = {anaphora-resolution;discourse;pragmatics;centering;}
  }

@incollection{ grote:1998a,
  author = {Brigitte Grote},
  title = {Representing Temporal Discourse Markers
		for Generation Purposes},
  booktitle = {Discourse Relations and Discourse Markers:  Proceedings
  	of the Conference},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Manfred Stede and Leo Wanner and Eduard Hovy},
  pages = {28--35},
  address = {Somerset, New Jersey},
  topic = {discourse-cue-words;discourse-structure;nl-generation;}
  }

@incollection{ grote-stede:1998a,
  author = {Brigitte Grote and Manfred Stede},
  title = {Discourse Marker Choice in Sentence Planning},
  booktitle = {Proceedings of the Ninth International Workshop
  	on Natural Language Generation},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Eduard Hovy},
  pages = {128--137},
  address = {New Brunswick, New Jersey},
  topic = {nl-generation;discourse-cue-words;}
  }

@article{ grove:1988a,
  author = {Adam Grove},
  title = {Two Modelings for Theory Change},
  journal = {Journal of Philosophical Logic},
  year = {1988},
  volume = {17},
  pages = {157--170},
  contentnote = {Semantics for AGM.},
  missinginfo = {number},
  topic = {belief-revision;}
  }

@incollection{ grove:1992a,
  author = {Adam J. Grove},
  title = {Semantics for Knowledge and Communication},
  booktitle = {{KR}'92. Principles of Knowledge Representation and
  	Reasoning: Proceedings of the Third International Conference},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Bernhard Nebel and Charles Rich and William Swartout},
  pages = {213--224},
  address = {San Mateo, California},
  topic = {multiagent-systems;epistemic-logic;communication-protocols;}
  }

@article{ grove:1995a,
  author = {Adam J. Grove},
  title = {Naming and Identity in Epistemic Logic Part {II}: A
  	First-Order Logic for Naming},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {74},
  number = {2},
  pages = {311--350},
  topic = {quantifying-in-modality;}
  }

@article{ grove-etal:1994a,
  author = {Adam J. Grove and Joseph Y. Halpern and Daphne Koller},
  title = {Random Worlds and Maximum Entropy},
  journal = {Journal of Artificial Intelligence Research},
  year = {1994},
  volume = {2},
  pages = {33--88},
  contentnote = {Discusses the random-worlds method for computing a
     degree of belief in Phi given KB.  In monadic case
     there is a natural association of an entropy with
     each world. As N grows larger, there are many more worlds
     with higher entropy. So use a maximum-entropy computation to
     compute the degree of belief.  The methods don't appear to
     generalize to the relational case.},
  topic = {world-entropy;probabilistic-reasoning;}
  }

@article{ grove-etal:1996a,
  author = {Adam J. Grove and Joseph Y. Halpern and Daphne Koller},
  title = {Asymptotic Conditional Probabilities: The Non-Unary Case},
  journal = {The Journal of Symbolic Logic},
  year = {1996},
  volume = {61},
  number = {1},
  pages = {250--39},
  topic = {probabilistic-algorithms;complexity;}
  }

@incollection{ grove-halpern:1991a,
  author = {Adam J. Grove and Joseph Y. Halpern},
  title = {Naming and Identity in a Multi-Agent Epistemic Logic},
  booktitle = {{KR}'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {301--312},
  address = {San Mateo, California},
  topic = {kr;kr-course;epistemic-logic;individuation;
		quantification-in-modality;}
  }

@unpublished{ grove-halpern:1995a1,
  author = {Adam J. Grove and Joseph Y. Halpern},
  title = {On the Expected Value of Games With Absentmindedness},
  year = {1995},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, {NEC}.},
  rtnote = {In RHT collection.},
  xref = {Journal publication: grove-halpern:1995a2.},
  topic = {game-theory;epistemic-logic;reasoning-about-knowledge;
  		resource-limited-reasoning;absent-minded-driver-problem;}
  }

@article{ grove-halpern:1995a2,
  author = {Adam J. Grove and Joseph Y. Halpern},
  title = {On the Expected Value of Games With Absentmindedness},
  journal = {Games and Economic Behavior},
  year = {1997},
  volume = {20},
  pages = {51--65},
  xref = {Prepublication: grove-halpern:1995a1.},
  missinginfo = {number},
  topic = {game-theory;epistemic-logic;reasoning-about-knowledge;
  		resource-limited-reasoning;absent-minded-driver-problem;}
  }

@article{ grover:1972a,
  author = {Dorothy Grover},
  title = {Propositional Quantifiers},
  journal = {Journal of Philosophical Logic},
  year = {1972},
  volume = {1},
  number = {2},
  pages = {111--136},
  topic = {propositional-quantifiers;}
  }

@article{ grover-etal:1974a,
  author = {Dorothy L. Grover and Joseph L. {Camp, Jr.} and
  	Nuel D. {Belnap, Jr.}},
  title = {A Prosentential Theory of Truth},
  journal = {Philosophical Studies},
  year = {1974},
  volume = {27},
  pages = {73--125},
  rtnote = {In RHT collection.},
  topic = {truth;propositional-quantifiers;}
  }

@phdthesis{ gruber_js:1965a1,
  author = {Jeffrey S. Gruber},
  title = {Studies in Lexical Relations},
  school = {{MIT}},
  year = {1965},
  address = {Cambridge, Massachusetts},
  xref = {Republication: gruber:1965a2.},
  topic = {thematic-roles;lexical-semantics;}
 }

@book{ gruber_js:1965a2,
  author = {Jeffrey S. Gruber},
  title = {Studies in Lexical Relations},
  publisher = {North-Holland},
  year = {1976},
  address = {Amsterdam},
  xref = {Originally published in 1965 as an {MIT} dissertation: gruber:1965a1.},
  topic = {thematic-roles;lexical-semantics;}
 }

@techreport{ gruber_js:1967a,
  author = {Jeffrey S. Gruber},
  title = {Functions of the Lexicon in Formal Descriptive Grammars},
  institution = {System Development Corporation},
  year = {1967},
  address = {Santa Monica, California},
  rtnote = {In RHT collection.  LL Shelves.},
  topic = {lexical-semantics;}
  }

@book{ gruber_js:1976a,
  author = {Jeffrey S. Gruber},
  title = {Lexical Structures in Syntax and Semantics},
  publisher = {North-Holland Publishing Co.},
  year = {1976},
  address = {Amsterdam},
  ISBN = {0444110585 (American Elsevier)},
  rtnote = {UMich Graduate Library, P326 .G71 1976.},
  topic = {lexicon;lexical-semantics;}
 }

@incollection{ gruber_tr:1991a,
  author = {Thomas R. Gruber},
  title = {Panel: Achieving Large Scale Knowledge Sharing},
  booktitle = {KR'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {601--602},
  address = {San Mateo, California},
  topic = {kr;large-kr-systems;}
  }

@incollection{ gruber_tr:1991b,
  author = {Thomas R. Gruber},
  title = {The Role of Common Ontology in Achieving Sharable,
  	Reusable Knowledge Bases},
  booktitle = {{KR}'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {601--602},
  address = {San Mateo, California},
  contentnote = {This is a position statement, prepared in connection
  	with a conference panel.  There is a brief bibliography.},
  topic = {kr;kr-course;knowledge-sharing;computational-ontology;}
  }

@incollection{ gruber_tr-olsen_gr:1994a,
  author = {Thomas R. Gruber and Gregory R. Olsen},
  title = {An Ontology for Engineering Mathematics},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {258--269},
  address = {San Francisco, California},
  topic = {kr;computational-ontology;kr-course;}
  }

@article{ grunbaum:1960a,
  author = {Adolf Gr\"unbaum},
  title = {The Duhemian Argument},
  journal = {Philosophy of Science},
  year = {1960},
  volume = {27},
  number = {1},
  pages = {75--87},
  topic = {philosophy-of-science;falsifiability;}
  }

@incollection{ grunbaum:1972a,
  author = {Adolf Gr\"unbaum},
  title = {Free Will and Laws of Human Behavior},
  booktitle = {New Readings in Philosophical Analysis},
  publisher = {Appleton-Century-Crofts},
  year = {1972},
  editor = {Herbert Feigl and Wilfrid Sellars and Keith Lehrer},
  pages = {605--627},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {freedom;volition;}
  }

@incollection{ grunbaum:1977a,
  author = {Adolf Gr\"unbaum},
  title = {Absolute and Relational Theories of Space and Space-Time},
  booktitle = {Foundations of Space-Time Theories},
  publisher = {University of Minnesota Press},
  year = {1977},
  editor = {John Earman and Clark Glymour and John J. Stachel},
  pages = {303--373},
  address = {Minneapolis},
  topic = {philosophy-of-physics;philosophy-of-space;philosophy-of-time;}
  }

@article{ grunbaum:1977b,
  author = {Adolf Gr\"unbaum},
  title = {Is There Backwards Causation in Classical Electrodynamics?},
  journal = {Journal of Philosophy},
  year = {1977},
  volume = {74},
  pages = {475--482},
  missinginfo = {number},
  topic = {causality;philosophy-of-physics;}
  }

@article{ grunbaum:1978a,
  author = {Adolf Gr\"unbaum},
  title = {Can the Effect Precede Its Cause in Classical
  	Electrodynamics?},
  journal = {American Journal of Physics},
  year = {1987},
  volume = {46},
  number = {4},
  pages = {337--341},
  rtnote = {In RHT collection.},
  topic = {causality;philosophy-of-physics;}
  }

@inproceedings{ gruninger-fox_ms:1995a,
  author = {Michael Gr\"uninger and Mark S. Fox},
  title = {The Role of Competency Questions in Enterprise Engineering},
  booktitle = {{IFIP} {WG5.7} Workshop on Benchmarking---Theory
  	and Practice},
  year = {1994},
  missinginfo = {editor, publisher, address, pages},
  contentnote = {This is a TOVE paper.},
  topic = {computational-ontologies;}
  }

@article{ gruninger-kopena:2005a,
  author = {Michael Gr\"uninger and Joseph B. Kopena},
  title = {Semantic Integration through Invariants},
  journal = {The {AI} Magazine},
  year = {2005},
  volume = {26},
  number = {1},
  pages = {11--20},
  topic = {knowledge-integration;computational-ontology;}
  }

@article{ gruninger-lee_jt:2002a,
  author = {Michael Gruninger and Jintae Lee},
  title = {Ontology Applications and Design: Introduction},
  journal = {Communications of the {ACM}},
  year = {2002},
  volume = {45},
  number = {2},
  pages = {39--41},
  rtnote = {In RHT collection.},
  topic = {computational-ontology;}
 }

@incollection{ grunwald:1997a,
  author = {Peter D. Gr\"unwald},
  title = {Causation and Nonmonotonic Temporal Reasoning},
  booktitle = {{KI}-97: Advances in Artificial Intelligence},
  publisher = {Springer-Verlag},
  year = {1997},
  editor = {Gerhard Brewka and Christopher Habel and Bernhard Nebel},
  pages = {159--170},
  address = {Berlin},
  missinginfo = {A's 1st name},
  topic = {causality;nonmonotonic-logic;}
  }

@article{ grunwald-halpern:2003a,
  author = {Peter D. Gr\"unwald and Joseph Y. Halpern},
  title = {Updating Probabilities},
  journal = {Journal of Artificial Intelligence Research},
  year = {2003},
  volume = {19},
  pages = {243--378},
  topic = {probability-kinematics;}
  }

@article{ grunwald-vitanyi:2003a,
  author = {Peter D. Gr\"unwald and Paul M.B. Vit\'anyi},
  title = {Kolmogorov Complexity and Information Theory, with an
  	Interpretation in Terms of Questions and Answers},
  journal = {Journal of Logic, Language, and Information},
  year = {2003},
  volume = {12},
  number = {4},
  pages = {497--529},
  topic = {algorithmic-information-theory;information-theory;}
  }

@article{ gruzzynski-pietruszcak:2008a,
  author = {Rafal Gruszcy\'nski and Andrzej Pietruszcak},
  title = {Full Development of {T}arski's Geometry of Solids},
  journal = {The Bulletin of Symbolic Logic},
  year = {2008},
  volume = {14},
  number = {4},
  pages = {481--540},
  topic = {formalizations-of-geometry;}
  }

@article{ gryzmalabusse:1999a,
  author = {Jerzy W. Gryzmala-Busse},
  title = {Review of \emph{{R}epresenting and Reasoning with Probabilistic
  	Knowledge}, by {F}ahiem {B}acchus},
  journal = {Journal of Symbolic Logic},
  year = {1999},
  volume = {64},
  number = {4},
  pages = {1837},
  xref = {Review of bacchus:1990a.},
  topic = {probabilistic-reasoning;reasoning-about-uncertainty;}
  }

@book{ grzegorczyk:1961a,
  editor = {Andrzej Grzegorczyk et al.},
  title = {Infinitestic Methods},
  publisher = {Pergamon Press},
  year = {1961},
  address = {London},
  rtnote = {In RHT Collection.  Logic shelves.},
  topic = {model-theory;mathematical-logic;}
 }

@article{ grzegorczyk:1968a,
  author = {Andrzej Grzegorczyk},
  title = {Assertions Depending on Time and Corresponding Logical
  	Calculi},
  journal = {Compositio Mathematica},
  year = {1968},
  volume = {20},
  pages = {83--87},
  rtnote = {In RHT collection.},
  topic = {temporal-logic;}
  }

@article{ grzegorczyk:2005a,
  author = {Andrzej Grzegorczyk},
  title = {Undecidability without Arithmetization},
  journal = {Studia Logica},
  year = {2005},
  volume = {79},
  number = {2},
  pages = {305--313},
  contentnote = {This paper contains a first-order theory of
     concatentation and proves, without using arithmetization,
     that the theory is undecidable. },
  topic = {(un)decidability;concatenation;}
  }

@article{ gu:1992a,
  author = {J. Gu},
  title = {Efficient Local Search of Very Large-Scale Satisfiability
  	Problems},
  journal = {{SIGART} Bulletin},
  year = {1992},
  volume = {3},
  number = {1},
  pages = {8--12},
  topic = {experiments-on-theorem-proving-algs;}
  }

@article{ gu:1992b,
  author = {J. Gu},
  title = {Local Search for Satisfiability (SAT) Problem},
  journal = {{IEEE} Transactions on Systems, man, and Cybernetics},
  year = {1992},
  volume = {28},
  number = {4},
  pages = {1108--1128},
  topic = {experiments-on-theorem-proving-algs;}
  }

@article{ guala:2006a,
  author = {Francesco Guala},
  title = {Has Game Theory Been Refuted?},
  journal = {The Journal of Philosophy},
  year = {2006},
  volume = {103},
  number = {1},
  pages = {239--263},
  topic = {philosophy-of-economics;foundations-of-game-theory;}
  }

@inproceedings{ gualmini-etal:2001a,
  author = {Andrea Gualmini and Stephen Crain and Luisa Meroni and Gennaro
     		Chierchia and Maria Teresa Guasti},
  title = {At the Semantics/Pragmatics Interface in Child Language},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XI}},
  publisher = {Cornell University},
  year = {2001},
  editor = {Rachel Hastings and Brendan Jackson and Zsofia Zvolenszky},
  pages = {231--247},
  address = {Ithaca, New York},
  topic = {nl-semantics;pragmatics;L1-acquisition;}
  }

@article{ gualmini-etal:2008a,
  author = {Andrea Gualmini and Sarah Halsey and Valentine Hacquard
  		and Danny Fox},
  title = {The Question-Answer Requirement for Scope Assignment},
  journal = {Natural Language Semantics},
  year = {2008},
  volume = {16},
  number = {3},
  pages = {205--237},
  topic = {nl-quantifier-scope;L1-acquisition;}
  }

@article{ guan-bell_da:1998a,
  author = {J.W. Guan and D.A. Bell},
  title = {Rough Computational Methods for Information Systems},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {105},
  number = {1--2},
  pages = {77--103},
  contentnote = {This paper uses a technique called "rough set theory"
  	See pawlak-etal:1995a and pawlak:1991a.},
  topic = {kr;vagueness;krcourse;databases;}
  }

@article{ guarini:2000a,
  author = {Marcello Guarini},
  title = {Horgan and {T}ienson on Ceteris Paribus Laws},
  journal = {Philosophy of Science},
  year = {2000},
  volume = {67},
  number = {2},
  pages = {301--315},
  topic = {natural-laws;ceteris-paribus-generalizations;}
  }

@inproceedings{ guarino:1992a,
  author = {Nicola Guarino},
  title = {Kinds of Relations: Some Methodological Principles for
  	Using Description Logics},
  booktitle = {Working Notes, {AAAI} Fall Symposium on Issues in Description
  	Logics: Users Meet Developers},
  year = {1992},
  editor = {Robert MacGregor},
  pages = {39--44},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {kr;krcourse;computational-ontology;description-logics;}
  }

@book{ guarino:1998a,
  editor = {Nicola Guarino},
  title = {Formal Ontology in Information Systems: Proceedings of
  	the First International Conference},
  publisher = {IOS Press},
  year = {1998},
  address = {Amsterdam},
  ISBN = {9051993994},
  rtnote = {UMich Media Union Library, Q 387 .F651 1998.},
  topic = {computational-ontology;information-retrieval;}
 }

@incollection{ guarino-carrara:1994a,
  author = {Nicola Guarino and Massimiliano Carrara and Pierdaniele
  	Giaretta},
  title = {An Ontology of Meta-Level Categories},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {270--280},
  address = {San Francisco, California},
  topic = {kr;computational-ontology;kr-course;}
  }

@article{ guarino-welty:2002a,
  author = {Nicola Guarino and Christopher A. Welty},
  title = {Ontology Applications and Design: Evaluating Ontological
  		Decisions with {O}nto{C}lean},
  journal = {Communications of the {ACM}},
  year = {2002},
  volume = {45},
  number = {2},
  pages = {61--65},
  rtnote = {In RHT collection.},
  topic = {computational-ontology;}
 }

@article{ guelev:1999a,
  author = {Dimitar P. Guelev},
  title = {A Propositional Dynamic Logic with Qualitative
  	Probabilities},
  journal = {Journal of Philosophical Logic},
  year = {1999},
  volume = {28},
  number = {6},
  pages = {575--605},
  topic = {dynamic-logic;qualitative-probability;}
  }

@article{ guenthner_f:1977a,
  author = {Franz Guenthner},
  title = {Review of \emph{{L}ogics and Language}, by {M}ax
  	{C}resswell},
  journal = {Studies in Language},
  year = {1977},
  volume = {1},
  number = {3},
  pages = {437--453},
  xref = {Review of cresswell_mj:1973a.},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;pragmatics;speech-acts;pragmatics;
  	categorial-grammar;}
  }

@incollection{ guenthner_f:1978a,
  author = {Franz Guenthner},
  title = {Time Schemes, Tense Logic and the Analysis of {E}nglish
  	Tenses},
  booktitle = {Formal Semantics and Pragmatics for Natural Languages},
  publisher = {D. Reidel Publishing Co.},
  year = {1978},
  editor = {Franz Guenthner and S.J. Schmidt},
  pages = {201--222},
  address = {Dordrecht},
  topic = {nl-semantics;temporal-logic;}
  }

@incollection{ guenthner_f:1989a,
  author = {Franz Guenthner},
  title = {Discourse: Understanding in Context},
  booktitle = {Logic and Linguistics},
  publisher = {Lawrence Earlbaum Associates},
  year = {1989},
  editor = {Helmut Schnelle and Niels Ole Bernsen},
  pages = {127--142},
  address = {Hillsdale, New Jersey},
  topic = {doscourse;speech-acts;context;}
  }

@book{ guenthner_f-guenthnerreutter:1978a,
  editor = {Franz Guenthner and Monica Guenthner-Reutter},
  title = {Meaning and Translation: Philosophical and Logical
  	Approaches},
  publisher = {New York University Press},
  year = {1978},
  address = {New York},
  contentnote = {`Translation' is in the title because the editors
  	thought that this had something to do with refuting Quine on
	inteterminacy of translation.  It does have to do with
	translation of NL to LF, but little to do with NL to NL
	translation.  Contains papers by Cresswell; Tymoczko;
	Wallace; Putnam; Wheeler; NL Wilson; Bigelow; Burge; Keenan;
	Katz; Givon; Kamp; Cooper; Aqvist-Guenthner.},
  topic = {nl-semantics;syntax-semantics-interface;}
 }

@book{ guenthner_f-rohrer:1978a,
  editor = {Franz Guenthner and Christian Rohrer},
  title = {Studies in Formal Semantics: Intensionality, Temporality,
  	Negation},
  publisher = {North-Holland Publishing Co},
  year = {1978},
  address = {Amsterdam},
  ISBN = {0720405084},
  rtnote = {UMich Graduate Library, P325 .S8471.},
  topic = {nl-semantics;}
 }

@incollection{ guenthner_f-rohrer:1978b,
  author = {Franz Guenthner and Christian Rohrer},
  title = {Introduction: Formal Semantics, Logic and Linguistics},
  booktitle = {Studies in Formal Semantics},
  publisher = {North-Holland Publishing Company},
  year = {1978},
  editor = {Franz Guenthner and Christian Rohrer},
  pages = {1--10},
  address = {Amsterdam},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;}
  }

@book{ guenthner_f-schmidt_sj:1978a,
  editor = {Franz Guenthner and S.J. Schmidt},
  title = {Formal Semantics and Pragmatics for Natural Languages},
  publisher = {D. Reidel Publishing Co.},
  year = {1978},
  address = {Dordrecht},
  contentnote = {TC: Hintikka-Carlson, Conditionals, Generic Quantifiers, and
  			Other Applications of Subgames.
                  Smaby, Ambiguous Coreference With Quantifiers.
                  Keenan, Negative Coreference: Generalizing Quantification
		  	for Natural Language
                  Reinhardt, Syntactic Domains for Semantic Rules
                  Cooper, Variable Binding for Relative Clauses
                  Cresswell, Adverbs of Space and Time
                  Aqvist, A System of Chronological Tense Logic
                  Kamp, Semantics Versus Pragmatics
                  Petofi, Structure and Function of the Grammatical
		  	Component of the Text-Structure World-Structure
			Theory
                  Hausser-Zaefferer, Questions and Answers in a
		  	Context-Dependent Montague Grammar
                  Kindt, THe Introduction of Truth Predicates Into
		  	First-Order Languages},
  topic = {nl-semantics;}
 }

@inproceedings{ guerreiro-etal:1990a,
  author = {Ramiro {A}. {d}e {T.} Guerreiro and Andrea Hemerly and
  	Yoav Shoham},
  title = {On the Complexity of Monotonic Inheritance With Roles},
  booktitle = {Proceedings of the Ninth National Conference on
        Artificial Intelligence},
  year = {1990},
  editor = {Thomas Dean and Kathleen R. McKeown},
  publisher = {{MIT} Press},
  address = {Cambridge, Massachusetts},
  pages = {627--632},
  rtnote = {In RHT collection.},
  topic = {inheritance-theory;kr-complexity-analysis;inheritance-roles;}
 }

@article{ guerts:1998a,
  author = {Bart Guerts},
  title = {The Mechanisms of Denial},
  journal = {Language},
  year = {1998},
  volume = {74},
  number = {2},
  pages = {274--307274--307},
  topic = {nl-semantics;negation;direct-discourse;}
  }

@article{ guerzoni:2004a,
  author = {Elena Guerzoni},
  title = {`Even'-NPIs in Yes-No Questions},
  journal = {Natural Language Semantics},
  year = {2004},
  volume = {12},
  number = {4},
  pages = {319--343},
  topic = {nl-semantics;`even';interrogatives;}
  }

@article{ guerzoni-sharvit:2007a,
  author = {Elena Guerzoni and Yael Sharvit},
  title = {A Question of Strength: On {NPI}s in Interrogative Clauses},
  journal = {Linguistics and Philosophy},
  year = {2007},
  volume = {30},
  number = {3},
  pages = {361--391},
  xref = {Discussion:  hoeksma_j1:2008a.},
  topic = {polarity;interrogatives;}
  }

@inproceedings{ guestrin-etal:2002a,
  author = {Carlos Guestrin and Shobha Venkatataman and Daphne Koller},
  title = {Context-Specific Multiagent Coordination and Planning},
  booktitle = {Proceedings of the Eighteenth National Conference on
              Artificial Intelligence},
  year = {2002},
  editor = {Rina Dechter and Michael Kearns and Richard S. Sutton},
  pages = {253--259},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {group-planning;}
  }

@techreport{ guha:1990a,
  author = {Ramanathan Guha},
  title = {The Representation of Defaults in {CYC}},
  institution = {MCC},
  number = {ACT--CYC--083--90},
  year = {1990},
  address = {Austin, TX},
  rtnote = {In RHT collection.},
  missinginfo = {Published in a conference
  	proceedings.  AAAI? Get reference.},
  topic = {applied-nonmonotonic-reasoning;inheritance-theory;}
  }

@techreport{ guha:1991a,
  author = {Ramanathan V. Guha},
  title = {Contexts: a Formalization and Some Applications},
  institution = {Stanford Computer Science Department},
  number = {STAN-CS-91-1399},
  year = {1991},
  address = {Stanford, California},
  rtnote = {Reading notes on file.},
  rtnote = {In RHT collection.  AI Shelves.},
  topic = {kr;context;context;kr-course;contextual-reasoning;
		logic-of-context;}
  }

@inproceedings{ guha:1995a,
  author = {Ramanathan  Guha},
  title = {Mechanisms in Implemented {KR} Systems},
  booktitle = {Formalizing Context},
  year = {1995},
  editor = {Sa\v{s}a Buva\v{c}},
  pages = {2},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  note = {Abstract.},
  topic = {context;}
  }

@article{ guha-lenat:1992a,
  author = {Ramanathan Guha and Douglas Lenat},
  title = {Language, Representation and Contexts},
  journal = {Journal of Information Processing},
  year = {1992},
  volume = {15},
  number = {3},
  pages = {340--349},
  topic = {context;}
  }

@inproceedings{ guha-mccarthy_j1:2003a,
  author = {Ramanathan Guha and John McCarthy},
  title = {Varieties of Context},
  booktitle = {Modeling and Using Context: Fourth International and
  	Interdisciplinary Conference, Context 2003},
  publisher = {Springer-Verlag},
  year = {2003},
  editor = {Patrick Blackburn and Chiara Ghidini and Roy M. Turner
  	and Fausto Giunchiglia},
  pages = {164--177},
  address = {Berlin},
  topic = {context;}
  }

@incollection{ guha_rv-etal:2004a,
  author = {Ramanathan V. Guha and Rob McCool and Richard Fikes},
  title = {Contexts for the Semantic Web},
  booktitle = {The Semantic Web---{ISWC} 2004: Third International
  	Semantic Web Conference},
  publisher = {Springer-Verlag},
  year = {2004},
  editor = {Sheila A. McIlraith and Dimitris Plexousakis and Frank
  	van Harmelen},
  pages = {32--46},
  address = {Berlin},
  topic = {semantic-web;context;}
  }

@article{ guijarroberdinas-etal:2002a,
  author = {Bertha Guijarro-Berdi\~nas and Amparo Alonso-Betanzos and
  	Oscar Fontenla-Romero},
  title = {Intelligent Analysis and Pattern Recognition in Cardiographic
  	Signals using a Tightly Coupled Hybrid System},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {136},
  number = {1},
  pages = {1--27},
  topic = {diagnosis;pattern-recognition;connectionist-modeling;}
  }

@inproceedings{ guillen:1997a,
  author = {Rocio Guillen},
  title = {Using Context in Aspectual Processing},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Context in Knowledge Representation and Natural Language},
  year = {1997},
  editor = {Sa\v{s}a Buva\v{c} and {\L}ucia Iwa\'nska},
  pages = {65--70},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {context;}
  }

@book{ guindon:1988a,
  editor = {Raymonde Guindon},
  title = {Cognitive Science and Its Applications for Human-Computer
  	Interaction},
  publisher = {Lawrence Erlbaum Associates},
  year = {1988},
  address = {Hillsdale, New Jersey},
  ISBN = {0898598842},
  rtnote = {UMich Media Union Library, QA76.9.I58 C631 1988.},
  topic = {HCI;}
 }

@phdthesis{ guinn:1995a,
  author = {Curry I. Guinn},
  title = {Meta-Dialogue Behaviors: Improving the Efficiency of
  	Human-Machine Dialogue},
  school = {Department of Computer Science, Duke University},
  year = {1985},
  type = {Ph.{D}. Dissertation},
  address = {Durham, North Carolina},
  rtnote = {In RHT Collection.  CS MS shelves.},
  topic = {computational-dialogue;}
 }

@inproceedings{ guinn:1996a,
  author = {Curry I. Guinn},
  title = {Mechanisms for Mixed-Initiative Human-Computer
  	Collaborative Discourse},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {278--285},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {discourse;discourse-simulation;pragmatics;}
 }

@book{ gumperz-levinson_sc:1996a,
  editor = {John J. Gumperz and Stephen C. Levinson},
  title = {Rethinking Linguistic Relativity},
  publisher = {Cambridge University Press},
  year = {1996},
  address = {Cambridge, England},
  rtnote = {In RHT collection.  Shelf.},
  topic = {linguistic-relativity;}
 }

@phdthesis{ gundel:1974a,
  author = {Jeanette K. Gundel},
  title = {The Role of Topic and Comment in Linguistic Theory},
  school = {University of Texas at Austin},
  year = {1974},
  type = {Ph.{D}. Dissertation},
  address = {Austin, Texas},
  topic = {s-topic;}
 }

@techreport{ gundel:1976a,
  author = {Jeanette K. Gundel},
  title = {Left Dislocation and Topic-Comment Structure in Linguistic
  	Theory},
  institution = {Linguistics Department, The Ohio State University},
  year = {1976},
  address = {Columbus, Ohio},
  note = {OSU Working Papers in Linguistics, volume 18},
  topic = {s-topic;}
 }

@incollection{ gundel:1997a,
  author = {Jeanette K. Gundel},
  title = {Centering Theory and the Givenness
       		Hierarchy: Towards a Synthesis},
  booktitle = {Centering Theory in Discourse},
  publisher = {Oxford University Press},
  year = {1997},
  editor = {Marilyn A. Walker and Arivind K. Joshi and Ellen Prince},
  pages = {182--198},
  address = {Oxford},
  topic = {anaphora-resolution;discourse;pragmatics;given-new;
  	centering;}
  }

@incollection{ gundel-etal:1999a,
  author = {Jeanette K. Gundel and Kaja Borthen and Thorstein
			Fretheim},
  title = {The Role of Context in {E}nglish
			and {N}orwegian},
  booktitle = {Modeling and Using Contexts: Proceedings of
	the Second International and Interdisciplinary
	Conference, {CONTEXT}'99},
  publisher = {Springer-Verlag},
  year = {1999},
  editor = {Paolo Bouquet and Luigi Serafini and Patrick
	Br\'ezillon	and Massimo Benerecetti and Francesca
	Castellani},
  pages = {475--478},
  address = {Berlin},
  topic = {context;English-language;Norwegian-language;}
  }

@article{ gundel-etal:2003a,
  author = {Jeanette K. Gundel and Michael Hegarty and Kaja Borthen},
  title = {Cognitive Status, Information Structure, and Pronominal
  		Reference to Clausally Introduced Entities},
  journal = {Journal of Logic, Language, and Information},
  year = {2003},
  volume = {12},
  number = {3},
  pages = {281--299},
  topic = {information-structure;anaphora;}
  }

@article{ gundel_jk-etal:1993a,
  author = {Jeanette K. Gundel and Nancy Hedberg and Ron Zacharski},
  title = {Cognitive Status and the Form of Referring
   		Expressions in Discourse},
  journal = {Language},
  volume = {69},
  number = {2},
  year = {1993},
  pages = {274--307},
  topic = {information-structure;definiteness;referring-expressions;}
  }

@article{ gunderson:1964a,
  author = {Keith Gunderson},
  title = {The Imitation Game},
  journal = {Mind},
  year = {1964},
  volume = {73},
  pages = {234--235},
  xref = {Revised in editions of gunderson:1985a.},
  xref = {Commentary: stevenson_jg:1976a},
  topic = {Turing-test;philosophy-AI;philosophy-of-mind;}
  }

@book{ gunderson:1975a,
  editor = {Keith Gunderson},
  title = {Language, Mind, and Knowledge.  {M}innesota Studies in
  	the Philosophy of Science, Vol. 7},
  publisher = {University of Minnesota Press},
  year = {1975},
  address = {Minneapolis, Minnesota},
  xref = {Review: bigelow:1977a.},
  contentnote = {TC:
     1. David K. Lewis, "Languages and Language", pp. 3--35
     2. Jerrold J. Katz, "Logic and Language: An Examination of
     		Recent Criticisms of Intensionalism", pp. 36--130
     3. Hilary Putnam, "The Meaning of `Meaning'\,", pp. 131--193
     4. Charles Chastain, "Reference and Context", pp. 194--269
     5. Gilbert Harman, "Language, Thought, and
     		Communication", pp. 270--298
     6. Noam Chomsky, "Knowledge of Language", pp. 299--320
     7. Michael D. Root, "Language, Rules, and Complex
     		Behavior", pp. 321--343
     8. John R. Searle, "A Taxonomy of Illocutionary Acts", pp. 344--369
     9. Zeno Vendler, "On What We Know", pp. 370--390
    10. Bruce Aune, "Vendler on Knowledge and Belief", pp. 391--399
    11. Zeno Vendler, "Reply to {P}rofessor {A}une", pp. 400--402
    12. Douglas C. Dennett, "Brain Writing and Mind
    		Reading", pp. 403--415
  },
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {philosophy-of-language;}
 }

@book{ gunderson:1985a,
  author = {Keith Gunderson},
  edition = {2},
  title = {Mentality and Machines},
  publisher = {University of Minnesota Press},
  year = {1985},
  address = {Minneapolis},
  ISBN = {0-8166-1362-1 (pbk)},
  rtnote = {In RHT collection.  Cogsci Shelves.},
  topic = {philosophy-of-mind;philosophy-of-AI;Turing-test;}
 }

@incollection{ gunderson:1990a,
  author = {Keith Gunderson},
  title = {Consciousness and Intentionality:
       		Robots with and without the Right Stuff},
  booktitle = {Propositional Attitudes: The Role of Content in Logic,
  	Language, and Mind},
  publisher = {Center for the Study of Language and Information},
  year = {1990},
  editor = {C. Anthony Anderson and Joseph Owens},
  pages = {285--324},
  address = {Stanford, California},
  topic = {philosophy-AI;consciousness;intentionality;}
  }

@book{ gunji:1982a,
  author = {Takao Gunji},
  title = {Toward a Computational Theory of Pragmatics:  Discourse,
		Presupposition, and Implicature},
  publisher = {Indiana University Linguistics Club},
  year = {1982},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.  Reprint Files. },
  topic = {pragmatics;implicature;presupposition;pragmatics;}
 }

@article{ gunji:1983a,
  author = {Takao Gunji},
  title = {Generalized Phrase Structure Grammar and {J}apanese
  	Reflexivization},
  journal = {Linguistics and Philosophy},
  year = {1983},
  volume = {6},
  number = {1},
  pages = {115--156},
  topic = {GPSG;Japanese-language;reflexive-constructions;}
  }

@article{ gunkel:1998a,
  author = {Luiz Gunkel},
  title = {Review of \emph{{C}omplex Predicates}, by {A}lex {A}lsina,
  	{J}oan {B}resnan, and {P}eter {S}ells},
  journal = {Theoretical Linguistics},
  year = {1998},
  volume = {24},
  number = {2/3},
  pages = {265--271},
  xref = {Review of alsina-etal:1997a.},
  topic = {complex-predicates;morphology;syntax;}
  }

@inproceedings{ gunlogson:2002a,
  author = {Christine Gunlogson},
  title = {Declarative Questions},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XII}},
  publisher = {Cornell University},
  year = {2002},
  editor = {Brendan Jackson},
  pages = {124--143},
  address = {Ithaca, New York},
  topic = {nl-semantics;interrogatives;}
  }

@article{ gunnarsson:2003a,
  author = {Logi Gunnarsson},
  title = {Review of {\it {T}he Architecture of Reason: The Structure
  		and Substance of Rationality}, by {R}obert {A}udi},
  journal = {The Philosophical Review},
  year = {2003},
  volume = {112},
  number = {3},
  pages = {432--434},
  topic = {rationality;practical-reason;}
  }

@book{ gunter:1992a,
  author = {Carl A. Gunter},
  title = {Semantics of Programming Languages: Programming Techniques},
  publisher = {The {MIT} Press},
  year = {1992},
  address = {Cambridge, Massachusetts},
  topic = {semantics-of-programming-languages;}
 }

@article{ gunter-etal:1997a,
  author = {Carl A. Gunter and Teow-Hin Ngair and Devika Subramanian},
  title = {The Common Order-Theoretic Structure of Version Spaces and
  	{ATMS}s},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {95},
  number = {2},
  pages = {357--407},
  topic = {order-theory;version-spaces;truth-maintenance;}
  }

@book{ gunter-mitchell_jc:1994a,
  editor = {Carl A. Gunter and John C. Mitchell},
  title = {Theoretical Aspects of Object-Oriented Programming},
  publisher = {The {MIT} Press},
  year = {1994},
  address = {Cambridge, Massachusetts},
  topic = {object-oriented-systems;theory-of-computation;}
 }

@book{ guo:1995a,
  editor = {Cheng-Ming Guo},
  title = {Machine Tractable Dictionaries: Design and Contruction},
  publisher = {Ablex Publishing Co.},
  year = {1995},
  address = {Norwood, New Jersey},
  ISBN = {0893918539},
  rtnote = {UMich Graduate Library, P 327 .M251 1995},
  topic = {computational-lexicography;}
 }

@inproceedings{ guo:1998a,
  author = {Jin Guo},
  title = {One Tokenization Per Source},
  booktitle = {Proceedings of the Thirty-Sixth Annual Meeting of the
  	{A}ssociation for {C}omputational {L}inguistics and
	Seventeenth International Conference on
	Computational Linguistics},
  year = {1998},
  editor = {Christian Boitet and Pete Whitelock},
  pages = {457--463},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {sentence-tokenization;}
}

@article{ gupta_a1:1978a,
  author = {Anil Gupta},
  title = {Modal Logic and Truth},
  journal = {Journal of Philosophical Logic},
  year = {1978},
  volume = {7},
  number = {4},
  pages = {441--472},
  topic = {modal-logic;Davidson-semantics;}
  }

@book{ gupta_a1:1980a,
  author = {Anil Gupta},
  title = {The Logic of Common Nouns},
  publisher = {Yale University Press},
  year = {1980},
  address = {New Haven, Connecticut},
  rtnote = {In RHT collection.},
  xref = {Review: bressan:1993a.},
  topic = {semantics-of-common-nouns;identity;individuation;}
 }

@article{ gupta_a1:1982a,
  author = {Anil Gupta},
  title = {Truth and Paradox},
  journal = {Journal of Philosophical Logic},
  year = {1982},
  volume = {11},
  number = {1},
  pages = {1--60},
  topic = {truth;semantic-paradoxes;}
  }

@incollection{ gupta_a1:1987a,
  author = {Anil Gupta},
  title = {The Meaning of Truth},
  booktitle = {New Directions in Semantics, Volume 2},
  publisher = {Academic Press},
  year = {1987},
  editor = {Ernest LePore},
  pages = {453--480},
  address = {London},
  topic = {truth;}
  }

@article{ gupta_a1:1988a,
  author = {Anil Gupta},
  title = {Remarks on Definitions and the Concept of Truth},
  journal = {Proceedings of the {A}ristotelian Society},
  year = {1988},
  volume = {89},
  pages = {227--246},
  topic = {truth;semantic-paradoxes;definitions;}
  }

@incollection{ gupta_a1:1993a,
  author = {Anil Gupta},
  title = {Minimalism},
  booktitle = {Philosophical Perspectives, Volume 7:
  	Language and Logic},
  publisher = {Blackwell Publishers},
  year = {1993},
  editor = {James E. Tomberlin},
  pages = {359--369},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {truth;deflationary-analyses;}
  }

@article{ gupta_a1:1993b,
  author = {Anil Gupta},
  title = {A Critique of Deflationism},
  journal = {Philosophical Topics},
  year = {1993},
  volume = {21},
  pages = {57--81},
  topic = {truth;}
  }

@article{ gupta_a1:2003a,
  author = {Anil Gupta},
  title = {Deflationism, the Problem of Representation, and {H}orwich's
  		Use Theory of Meaning},
  journal = {Philosophy and Phenomenological Research},
  year = {2003},
  volume = {67},
  number = {3},
  pages = {654--666},
  xref = {Commentary on: horwich:1998a.},
  topic = {foundations-of-semantics;philosophy-of-language;}
  }

@book{ gupta_a1-belnap:1993a,
  author = {Anil Gupta and Nuel D. {Belnap, Jr.}},
  title = {The Revision Theory of Truth},
  publisher = {The {MIT} Press},
  year = {1993},
  address = {Cambridge, Massachusetts},
  topic = {truth;semantic-paradoxes;fixpoints;}
 }

@article{ gupta_a1-savion:1987a,
  author = {Anil Gupta and Leah Savion},
  title = {Semantics of Propositional Attitudes:  A Critical Study of
		{C}resswell's {\it Structured Meanings}},
  journal = {Journal of Philosophical Logic},
  year = {1987},
  volume = {16},
  number = {4},
  pages = {395--410},
  xref = {Review of cresswell_mj:1985a.},
  topic = {foundations-of-semantics;propositional-attitudes;
  	structured-propositions;}
  }

@article{ gupta_nc-kanal:1995a,
  author = {Naresh C. Gupta and Laveen N. Kanal},
  title = {{3-D} Motion Estimation from Motion Field},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {78},
  number = {1--2},
  pages = {45--86},
  topic = {motion-reconstruction;}
  }

@article{ gupta_nc-nau:1992a,
  author = {Naresh C. Gupta and Dana S. Nau},
  title = {On the Complexity of Blocks-World Planning},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {56},
  number = {2--3},
  pages = {223--254},
  topic = {planning;complexity-in-AI;}
  }

@techreport{ gupta_p-touretzky:1993a,
  author = {Prahlad Gupta and David S. Touretzky},
  title = {Connectionist Models and Linguistic Theory:
  	Investigations of Stress Systems in Language},
  institution = {Computer Science Department, CArnegie Mellon
  	University},
  number = {CMU-CS-93-146},
  year = {1993},
  address = {Pittsburgh, PA 15213},
  rtnote = {In RHT collection.},
  topic = {connectionist-models;phonology;}
  }

@inproceedings{ gupta_v-lamping:1998a,
  author = {Vineet Gupta and John Lamping},
  title = {Efficient Linear Logic Meaning Assembly},
  booktitle = {Proceedings of the Thirty-Sixth Annual Meeting of the
  	{A}ssociation for {C}omputational {L}inguistics and
	Seventeenth International Conference on
	Computational Linguistics},
  year = {1998},
  editor = {Christian Boitet and Pete Whitelock},
  pages = {464--470},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {computational-semantics;LFG;nl-to-logic-mapping;}
}

@unpublished{ gurevich:1983a,
  author = {Yuri Gurevich},
  title = {Monadic Second-Order Theories},
  year = {1983},
  note = {Unpublished manuscript, University of Michigan},
  rtnote = {In RHT collection.},
  topic = {second-order-logic;decidability;}
  }

@incollection{ gurevich:1988a,
  author = {Yuri Gurevich},
  title = {Algorithms in the World of Bounded
       		Resources},
  booktitle = {The Universal {T}uring Machine: A Half-Century
  	Survey},
  publisher = {Oxford University Press},
  year = {1988},
  editor = {Rolf Herkin},
  pages = {407--416},
  address = {Oxford},
  topic = {theory-of-computation;resource-limited-reasoning;}
  }

@incollection{ gurevich:1988b,
  author = {Yuri Gurevich},
  title = {Logic and the Challenge of Computer Science},
  booktitle = {Current Trends in Theoretical Computer Science},
  publisher = {Computer Science Press},
  year = {1988},
  editor = {Egon B\"orger},
  chapter = {1},
  pages = {1--57},
  address = {Rockville, Maryland},
  topic = {logic-and-computer-science;finite-models;dynamic-logic;
  	semantics-of-programming-languages;logic-in-CS;}
  }

@inproceedings{ gurevich-harrington:1982a,
  author = {Yuri Gurevich and L. Harrington},
  title = {Trees, Automata and Games},
  booktitle = {{ACM} Symposium on Theory of Computing},
  year = {1982},
  pages = {60--65},
  organization = {ACM},
  missinginfo = {publisher, address},
  topic = {branching-time;game-theory;}
  }

@article{ gurevich-shelah:1985a,
  author = {Yuri Gurevich and Sharanon Shelah},
  title = {The Decision Problem in Branching Time Logic},
  journal = {Journal of Symbolic Logic},
  year = {1985},
  volume = {50},
  pages = {668--661},
  missinginfo = {number},
  rtnote = {tmix-project;},
  topic = {branching-time;}
  }

@incollection{ gurevich-shelah:1985b,
  author = {Yuri Gurevich and Sharanon Shelah},
  title = {To the Decision Problem in Branching Time Logic},
  booktitle = {Foundations of Logic and Linguistics: Problems and
  	Solutions},
  publisher = {Plenum Press},
  year = {1985},
  editor = {Georg Dorn and Paul Weingartner},
  pages = {181--198},
  address = {New York},
  topic = {branching-time;}
  }

@article{ gurevich-shelah:1996a,
  author = {Yuri Gurevich and Sharanon Shelah},
  title = {On Finite Rigid Structures},
  journal = {Journal of Symbolic Logic},
  year = {2000},
  volume = {65},
  number = {3},
  pages = {549--562},
  xref = {Review: stolboushkin:2000a},
  topic = {finite-models;}
  }

@incollection{ gurevych-etal:2002a,
  author = {Iryna Gurevych and Robert Porzel and Michael Strube},
  title = {Annotating the Semantic Comsistency of
		Speech Recognition Hypotheses},
  booktitle = {Third {SIGdial} Workshop on Discourse and Dialogue:
  		Proceedings of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {2002},
  editor = {Kristina Jokinen and Susan McRoy},
  pages = {46--49},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;speech-recognition;}
  }

@unpublished{ gurney-etal:1996a,
  author = {John Gurney and Don Perlis and Khemdut Purang},
  title = {Updating Discourse Context With Active Logic},
  year = {1996},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, University of Maryland.},
  topic = {discourse;pragmatics;active-logic;}
  }

@article{ gurney-etal:1997a,
  author = {John Gurney and Don Perlis and Khemdut Purang},
  title = {Interpreting Presuppositions Using Active Logic: From Contexts
  	to Utterances},
  journal = {Computational Intelligence},
  year = {1997},
  volume = {13},
  number = {3},
  pages = {391--426},
  topic = {context;presupposition;pragmatics;active-logic;}
  }

@book{ gurtz-hvlldobler:1996a,
  editor = {G. Gurtz and S. Hvlldobler},
  title = {KI-96: Advances in Artificial Intelligence 20th Annual
  	{G}erman Conference on Artificial Intelligence {D}resden,
	{G}ermany, September 17--19, 1996},
  publisher = {Springer-Verlag},
  year = {1996},
  address = {Berlin},
  ISBN = {3-540-61708-6 (Softcover)},
  topic = {AI-general;}
 }

@book{ gusfield:1997a,
  author = {Dan Gusfield},
  title = {Algorithms on Strings, Trees, and Sequences: Computer
  	Science and Computational Biology},
  publisher = {Cambridge University},
  year = {1997},
  address = {Cambridge},
  ISBN = {0521585198 (hc)},
  rtnote = {Umich Science, QA 76.9 .A43 G871 1997.},
  rtnote = {In RHT collection.  Summer 2003.},
  topic = {algorithms;sequence-analysis;molecular-biology;}
 }

@article{ gusgen-hertzberg:1988a,
  author = {Hans-Werner G\"usgen and Joachim Hertzberg},
  title = {Some Fundamental Properties of Local Constraint
  	Propagation},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {36},
  number = {2},
  pages = {237--247},
  topic = {constraint-propagation;}
  }

@incollection{ gustaffson_j-doherty:1996a,
  author = {Joakim Gustaffson and Patrick Doherty},
  title = {Embracing Occlusion in Specifying the Indirect Effects of
  	Actions},
  booktitle = {{KR}'96: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro},
  pages = {87--98},
  address = {San Francisco, California},
  missinginfo = {Check spelling of "Gustaffson".},
  contentnote = {PMON is the Linkoping action formalism.  This is an
  	extension to include nondet actions among other things.
	Occlusion is a form of formalizing causal reasoning.  For
	occlusion, see sandewall:1989a and sandewall:1994a.},
  topic = {kr;causality;action-formalisms;kr-course;action-effects;}
  }

@article{ gustafson_df:1968a,
  author = {Donald F. Gustafson},
  title = {Momentary Intentions},
  journal = {Mind, New Series},
  year = {1968},
  volume = {77},
  number = {305},
  pages = {1--13},
  topic = {philosophy-of-action;intention;}
  }

@article{ gustafson_df:1974a,
  author = {Donald F. Gustafson},
  title = {On Doubting One's Intentions},
  journal = {Mind, New Series},
  year = {1974},
  volume = {83},
  number = {329},
  pages = {114--115},
  xref = {Commentary: whiteley_ch:1971a.},
  topic = {intention;philosophy-of-action;}
  }

@book{ gustafson_df:1986a,
  author = {Donald F. Gustafson},
  title = {Intention and Agency},
  publisher = {D. Reidel Publishing Co.},
  year = {1986},
  address = {Dordrecht},
  rtnote = {HILLMAN B105.A35 G87 1986},
  topic = {philosophy-of-action;intention;}
 }

@article{ gustafson_j-kvarnstrom:2001a,
  author = {Joakim Gustafson and Jonas Kvarnstr\"om},
  title = {Elaboration Tolerance through Object-Orientation},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {153},
  number = {5--6},
  pages = {239--285},
  topic = {common-sense-reasoning;elaboration-tolerance;
  	macro-formalization;object-oriented-formalisms;}
  }

@inproceedings{ gutiirrezrexach:1997a,
  author = {Javier Gutiirrez-Rexach},
  title = {Dynamic Action Semantics and Deontic Operators},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VII}},
  publisher = {Cornell University},
  year = {1997},
  editor = {Aaron Lawson},
  pages = {180--196},
  address = {Ithaca, New York},
  topic = {nl-semantics;dynamic-semantics;permission;}
  }

@book{ gutirrezrexach:2003a,
  editor = {Juvier Gutirrez-Rexach},
  title = {Semantics:  Critical Concepts in Linguistics},
  publisher = {Routledge and Kegan Paul},
  year = {2003},
  address = {London},
  ISBN = {0 415 26632 7},
  topic = {philosophy-of-language;}
 }

@unpublished{ gutman-stillings:1977a,
  author = {Sam Gutman and Justine Stillings},
  title = {Some Formal Properties of Core Grammars with the
  	Hypothesis of Indeterminacy},
  year = {1977},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  topic = {grammar-formalisms;formal-language-theory;}
  }

@book{ guttenplan:1994a,
  editor = {Samuel Guttenplan},
  title = {A Companion to the Philosophy of Mind},
  publisher = {Blackwell Publishers},
  address = {Oxford},
  year = {1994},
  ISBN = {0-631-20218-8 (pb)},
  topic = {philosophy-of-mind;}
}

@book{ guttenplan:2000a,
  author = {Samuel Guttenplan},
  title = {Mind's Landscape:  An Introduction to the Philosophy
  		of Mind},
  publisher = {Blackwell Publishers},
  year = {2000},
  address = {Oxford},
  ISBN = {0-631-20217-X (hardcover), 0-631-20218-8 (pbk)},
  rtnote = {UMich Undergraduate Library, BD 418.3 .G881 2000.},
  rtnote = {In RHT Collection.  LLP single author shelves.  m&mcourse;},
  topic = {philosophy-of-mind;}
 }

@techreport{ guttman_j-etal:1990a,
  author = {Joshua Guttman and William Farmer and F. Javier Thayer},
  title = {{IMPS}: A Proof System for a Generic Logic},
  institution = {The Mitre Corporation},
  year = {1990},
  address = {Bedford, MA},
  rtnote = {In RHT collection.},
  topic = {theorem-proving;}
  }

@article{ guttman_js-etal:2000b,
  author = {Jem-Steffan Guttman and Wolfgang Hatzack and Immanuel
  	Hermann and Bernhard Nebel and Frank Rittinger and Augustinus
	Topor and Thilo Weigel},
  title = {The {CS} {F}reiburg Team},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {21},
  number = {1},
  pages = {37--46},
  topic = {robotics;RoboCup;}
  }

@incollection{ gutuerrezrexach:1999a,
  author = {Javier Gutu\'errez-Rexach},
  title = {Cross-Linguistic Semantics of
	Weak Pronouns in Doubling Structures},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
	of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {115--120},
  address = {Amsterdam},
  topic = {clitic-doubling;clitics;}
  }

@book{ gvozdanovic-etal:1991a,
  editor = {Jadranka Gvozdanovic and Theo A.J.M. Janssen and \"Osten Dahl},
  title = {The Function of Tense in Texts},
  publisher = {North-Holland Publishing Co.},
  year = {1991},
  address = {Amsterdam},
  ISBN = {044485732X},
  rtnote = {UMich Graduate Library, AS 244 .A434 n.s. v.144},
  topic = {tense-aspect;narrative-representation;narrative-understanding;}
 }

@article{ gyssens-etal:1994a,
  author = {Marc Gyssens and Peter G. Jeavons and David A. Cohen},
  title = {Decomposing Constraint Satisfaction Problems Using
  	Database Techniques},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {66},
  number = {1},
  pages = {57--89},
  acontentnote = {Abstract:
     There is a very close relationship between constraint
     satisfaction problems and the satisfaction of join-dependencies
     in a relational database which is due to a common underlying
     structure, namely a hypergraph.  By making that relationship
     explicit we are able to adapt techniques previously developed
     for the study of relational databases to obtain new results for
     constraint satisfaction problems.  In particular, we prove that
     a constraint satisfaction problem may be decomposed into a
     number of subproblems precisely when the corresponding
     hypergraph satisfies a simple condition.  We show that combining
     this decomposition approach with existing algorithms can lead to
     a significant improvement in efficiency.  },
  topic = {constraint-satisfaction;problem-decomposition;}
  }

@incollection{ gyuris:1996a,
  author = {Viktor Gyuris},
  title = {Associativity Does Not Imply Undecidability
		without the Axiom of Modal Distribution},
  booktitle = {Arrow Logic and Multimodal Logic},
  publisher = {{CLSI} Publications},
  year = {1996},
  editor = {Maarten Marx and L\'azl\'o P\'olos and Michael Masuch},
  pages = {101--107},
  address = {Stanford, California},
  topic = {arrow-logic;}
  }

@unpublished{ ha-etal:1997a,
  author = {Vu Ha and Tri Li and Peter Haddawy},
  title = {Case-Based Preference Elicitation (Preliminary Report)},
  year = {1997},
  note = {Unpublished manuscript, Department of Electrical Engineering
		and Computer Science, University of Wisconsin-Milwaukee},
  rtnote = {In RHT collection.},
  rtnote = {In RHT collection.},
  topic = {qualitative-utility;decision-analysis;decision-theoretic-planning
		multiattribute-utility;}
  }

@inproceedings{ ha-haddawy:1997c,
  author = {Vu Ha and Peter Haddawy},
  title = {Problem-Focused Incremental Elicitation of Multi-Attribute
  	Utility Models},
  booktitle = {Proceedings of the Thirteenth Conference on
		Uncertainty in Artificial Intelligence ({UAI}-97)},
  year = {1997},
  pages = {215--222},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  rtnote = {In RHT collection.  },
  topic = {qualitative-utility;decision-analysis;decision-theoretic-planning
		multiattribute-utility;}
  }

@incollection{ ha-haddawy:1998a,
  author = {Va Ha and Peter Haddawy},
  title = {Geometric Foundations for Interval-Based Probabilities},
  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 = {582--593},
  address = {San Francisco, California},
  topic = {kr;interval-based-probabilities;kr-course;}
  }

@inproceedings{ ha-haddawy:1998b,
  author = {Vu Ha and Peter Haddawy},
  title = {Toward Case-Based Preference Elicitation: Similarity
  	Measures on Preference Structures},
  booktitle = {Proceedings of the Fourteenth Conference on Uncertainty in
	Artificial Intelligence},
  month = {July},
  pages = {193--201},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  year = {1998},
  topic = {preference-elicitation;case-based-reasoning;}
	}

@article{ ha-haddawy:2003a,
  author = {Vu Ha and Peter Haddawy},
  title = {Similarity of Personal Preferences: Theoretical Foundations
  	and Empirical Analysis},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {146},
  number = {2},
  pages = {149--173},
  topic = {preference-elicitation;qualitative-utility;}
  }

@article{ haack_rj:1971a,
  author = {R.J. Haack},
  title = {On {D}avidson's Paratactic Theory of Oblique Objects},
  journal = {No\^us},
  year = {1971},
  volume = {5},
  number = {4},
  pages = {351--361},
  topic = {indirect-discourse;propositional-attitudes;propositions
  	philosophy-of-language;}
  }

@book{ haaparanta:2009a,
  editor = {Leila Haaparanta},
  title = {The Development of Modern Logic},
  publisher = {Oxford University Press},
  year = {2009},
  address = {Oxford},
  ISBN = {978-0-19-513731-6},
  rtnote = {In RHT collection.  Handbooks},
  contentnote = {TC:
     1. Leila Haaparanta, "Introduction", pp. 3--10
     2. Tuomo Aho and Mikko Yr\"onsuuri, "Late Medieval Logic", pp. 11--77
     3. Mirella Capazzi and Gino Roncaglia, "Logic and Philosophy of Logic
     		from Humanism to Kant", pp. 78--158
     4. Volker Peckhaus, "The Mathematical Origins of Nineteenth-Century
     		Algebra of Logic", pp. 159--195
     5. Christian Thiel, "Gottlob Frege and the Interplay between
     		Logic and Mathematics", pp. 196--202
     6. Risto Vilkko, "The Logic Question during the First Half of
     		the Nineteenth Century", pp. 203--221
     7. Leila Haaparanta, "The Relations between Logic and Philosophy:
     		1874--1931", pp. 222--262
     8. G\"oran Sundholm, "A Century of Judgment and Inference,
     		1837--1936:  Some Strands in the Development of
		Logic", pp. 263--317
     9. Paolo Mancosu and Richard Zach and Calixto Badesa, "The
     		Devellopment of Mathematical Logic from Russell
		to Tarski, 1900--1935", pp. 318--470
    10. Wilfrid Hodges, "Set Theory, Model Theory, and Computability
    		Theory", pp. 471--498
    11. Jan von Plato, "Proof Theory of Classical and Intuitionistic
    		Logic", pp. 499--515
    12. Tapio Korte and Ari Maunu and Tuomo Aho, "Modal Logic from
    		Kant to Possible Worlds Semantics", pp. 516--
    13. Risto Hilpinen, "Conditionals and Possible Worlds: On C.S.
    		Peirce's Conception of Conditionals and
		Modalities", pp. 551--561
    14. Gabriel Sandhu and Tuomo Aho, "Logic and Semantics in the
    		Twentieth Century", pp. 562--612
    15. Andrew Aberdein and Stephen Read, "The Philosophy of
    		Alternative Logics", pp. 613--723
    16. Sandy Zabell, "Philosophy of Inductive Logic:  The Bayesian
    		Perspective", pp. 724--774
    17. Alessandro Lenci and Gabriel Sandhu, "Logic and Linguistics in the
    		Twentieth Century", pp. 775--847
    18. Richmond H. Thomason, "Logic and Artificial
    		Intelligence", pp. 848--902
    19. Sibajiban Bhattacharyya, "Indian Logic", pp. 903--961
  },
  topic = {history-of-logic;}
 }

@incollection{ haaparanta:2009b,
  author = {Leila Haaparanta},
  title = {Introduction},
  booktitle = {The Development of Modern Logic},
  publisher = {Oxford University Press},
  year = {2009},
  editor = {Leila Haaparanta},
  pages = {3--10},
  address = {Oxford},
  topic = {history-of-logic;philosophy-of-logic;}
  }

@incollection{ haaparanta:2009c,
  author = {Leila Haaparanta},
  title = {The Relations between Logic and Philosophy: 1874--1931},
  booktitle = {The Development of Modern Logic},
  publisher = {Oxford University Press},
  year = {2009},
  editor = {Leila Haaparanta},
  pages = {222--262},
  address = {Oxford},
  topic = {history-of-logic;Frege;Husserl;}
  }

@article{ haapararnta:1988a,
  author = {Leila Haaparanta},
  title = {Analysis as the Method of Logical Discovery:
  	Some Remarks on {F}rege and {H}usserl},
  journal = {Synth\'ese},
  year = {1988},
  volume = {77},
  number = {1},
  pages = {73--97},
  topic = {history-of-logic;Frege;Husserl;}
  }

@incollection{ haarslev-etal:1998a,
  author = {Volker Haarslev and Carsten Lutz and Ralf M\"oller},
  title = {Foundations of Spatiotemporal Reasoning with Description
		Logics},
  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 = {112--123},
  address = {San Francisco, California},
  topic = {kr;description-logics;spatial-reasoning;temporal-reasoning;
  	kr-course;}
  }

@inproceedings{ haarslev-moller:2000a,
  author = {Volker Haarslev and Ralf M\"oller},
  title = {Expressive {AB}ox Reasoning with Number Restrictions,
        Role Hierarchies, and Transitively Closed Roles},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {273--284},
  topic = {description-logics;}
  }

@incollection{ haarslev-moller:2004a,
  author = {Volker Haarslev and Ralf M\"oller},
  title = {Optimization Techniques for Retrieving Resources Described
  		in {OWL/RDF} Documents:  First Results},
  booktitle = {{KR}2004: Principles of Knowledge Representation and
  		Reasoning},
  publisher = {AAAI Press},
  year = {2004},
  editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams},
  pages = {163--173},
  address = {Menlo Park, California},
  topic = {computational-ontology;ontological-query-processing;}
  }

@article{ haas:1950a,
  author = {W. Haas},
  title = {On Speaking a Language},
  journal = {Proceedings of the {A}ristotelian Society, New Series},
  year = {1950--51},
  volume = {70},
  pages = {129--166},
  topic = {philosophy-of-linguistics;}
 }

@article{ haas:1986a,
  author = {Andrew Haas},
  title = {A Syntactic Theory of Belief and Action},
  journal = {Artificial Intelligence},
  year = {1986},
  volume = {28},
  number = {3},
  pages = {245--292},
  topic = {propositional-attitudes;}
  }

@incollection{ haas:1992a,
  author = {Andrew R. Haas},
  title = {A Reactive Planner that Uses Explanation Closure},
  booktitle = {{KR}'92. Principles of Knowledge Representation and
  	Reasoning: Proceedings of the Third International Conference},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Bernhard Nebel and Charles Rich and William Swartout},
  pages = {93--102},
  address = {San Mateo, California},
  topic = {planning-algorithms;}
  }

@article{ haase:1995a,
  author = {Kenneth B. Haase},
  title = {Too Many Ideas, Just One Word: A Review of {M}argaret
  	{B}oden's {\it The Creative Mind: Myths and Mechanisms}},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {79},
  number = {1},
  pages = {69--82},
  xref = {Review of boden:1990a.},
  topic = {creativity;}
  }

@incollection{ habash:2004a,
  author = {Nizar Habash},
  title = {The Use of a Structural N-gram Language Model
     		in Generation-Heavy Hybrid Machine Translation},
  booktitle = {Natural Language Generation: Third International
	Conference, INLG 2004},
  publisher = {Springer-Verlag},
  year = {2004},
  editor = {Anja Belz and Roger Evans and Paul Piwek},
  pages = {61--69},
  address = {Berlin},
  topic = {nl-generation;machine-translation;n-gram-models;}
  }

@inproceedings{ habash-rambow:2005a,
  author = {Nizar Habash and Owen Rambow},
  title = {Arabic Tokenization, Part-of-Speech Tagging and
  		Morphological Disambiguation in One Fell Swoop},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {573--580},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1071},
  topic = {morphological-disambiguation;Arabic-language;}
  }

@incollection{ habel:1987a,
  author = {Christopher Habel},
  title = {Propositional and Depictorial Representation
     		of Spatial Knowledge: The Case of {\em
		Path\/}-Concepts},
  booktitle = {Natural Language and Logic},
  year = {1987},
  editor = {Rudi Studer},
  pages = {94--117},
  publisher = {Springer-Verlag},
  address = {Berlin},
  topic = {spatial-representation;}
  }

@incollection{ habel:2003a,
  author = {Christopher Habel},
  title = {Incremental Generation of Multimodal Route Instructions},
  booktitle = {Working Papers of the 2003 {AAAI} Spring Symposium on
  	Natural Language Generation in Spoken and Written
	Dialogue},
  publisher = {AAAI Press},
  year = {2003},
  editor = {Reva Freedman and Charles Callaway},
  pages = {44--51},
  address = {Menlo Park, California},
  topic = {nl-generation;computational-dialogue;}
  }

@incollection{ habel-etal:1995a,
  author = {Christopher Habel and Simone Pribbenow and Geoffrey Simmons},
  title = {Partonomies and Depictions: A Hybrid Approach},
  booktitle = {Diagrammatic Reasoning},
  publisher = {The {MIT} Press},
  year = {1995},
  editor =  {Janice Glasgow and N. Hari Narayanan and B.
		Chandrasekaran},
  pages = {527--653},
  address = {Cambridge, Massachusetts},
  topic = {diagrams;reasoning-with-diagrams;
  	cognitive-psychology;visual-reasoning;partonomies;}
  }

@book{ habermas:1988a,
  author = {J\"urgen Habermas},
  title = {On the Logic of the Social Sciences},
  publisher = {The {MIT} Press},
  year = {1988},
  address = {Cambridge, Massachusetts},
  note = {Translated by Shierry Weber Nicholsen and Jerry A. Stark},
  ISBN = {0262081776},
  rtnote = {UMich Undergraduate, H 61 .H2513 1988.},
  topic = {philosophy-of-social-science;}
 }

@book{ habermas:1990a,
  author = {J\"urgen Habermas},
  title = {Moral Consciousness and Communicative Action},
  publisher = {The {MIT} Press},
  year = {1990},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-58118-3},
  topic = {continental-philosophy;pragmatics;philosophy-of-language;
  	ethics;}
 }

@book{ habermas:1998a,
  author = {J\"urgen Habermas},
  title = {On the Pragmatics of Communication},
  publisher = {The {MIT} Press},
  year = {1998},
  address = {Cambridge, Massachusetts},
  note = {Edited by Maeve Cook.},
  ISBN = {0-262-58187-6},
  topic = {continental-philosophy;pragmatics;philosophy-of-language;}
 }

@book{ habermas:2000a,
  author = {J\"urgen Habermas},
  title = {On the Pragmatics of Social Interaction},
  publisher = {The {MIT} Press},
  year = {2000},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-08288-8},
  topic = {continental-philosophy;pragmatics;philosophy-of-language;}
 }

@book{ hacker:1990a,
  author = {Peter M.S. Hacker},
  title = {Wittgenstein, Meaning and Mind},
  publisher = {Basil Blackwell Publishers},
  year = {1990},
  address = {Oxford},
  ISBN = {0631167846},
  rtnote = {UMich Graduate Library, B 3376 .W83 P64 B17 1980 v.3.},
  topic = {Wittgenstein;philosophy-of-language;philosophy-of-mind;}
 }

@article{ hacking:1967a,
  author = {Ian Hacking},
  title = {Slightly More Realistic Personal Probability},
  journal = {Philosophy of Science},
  year = {1967},
  volume = {34},
  pages = {311--325},
  missinginfo = {number},
  topic = {foundations-of-probability;}
  }

@article{ hacking:1975a,
  author = {Ian Hacking},
  title = {All Kinds of Possibility},
  journal = {The Philosophical Review},
  year = {1975},
  volume = {84},
  pages = {321--337},
  missinginfo = {number},
  topic = {ability;possibility;}
  }

@book{ hacking:1975b,
  author = {Ian Hacking},
  title = {Why Does Language Matter to Philosophy?},
  publisher = {Cambridge University Press},
  year = {1975},
  address = {Cambridge, England},
  xref = {Review: },
  topic = {philosophy-of-language;poststructuralism;}
 }

@book{ hacking:1983a,
  author = {Ian Hacking},
  title = {Representing and Intervening},
  publisher = {Cambridge University Press},
  year = {1983},
  address = {Cambridge, England},
  rtnote = {Needs better topic classification.},
  topic = {philosophy-of-science;}
 }

@book{ hacking:1999a,
  author = {Ian Hacking},
  title = {The Social Construction of What?},
  publisher = {Harvard University Press},
  year = {1999},
  address = {Cambridge, Massachusetts},
  topic = {social-constructivism;philosophy-of-science;}
 }

@incollection{ hacking:2000a,
  author = {Ian Hacking},
  title = {How Inevitable Are the Results of Successful Science?},
  booktitle = {{PSA}'1998: Proceedings of the 1998 Biennial Meetings
  	of the Philosophy of Science Association, Part {II}:
	Symposium Papers},
  publisher = {Philosophy of Science Association},
  year = {2000},
  editor = {Don A. Howard},
  pages = {S58--S71},
  address = {Newark, Delaware},
  topic = {philosophy-of-science;}
  }

@book{ hacking:2001a,
  author = {Ian Hacking},
  title = {An Introduction to Probability and Inductive Logic},
  publisher = {Cambridge University Press},
  year = {2001},
  address = {Cambridge, England},
  ISBN = {0-521-77501-9},
  topic = {logic-intro;probability-intro;foundations-of-probability;}
 }

@article{ hackl:2009a,
  author = {Martin Hackl},
  title = {On the Grammar and Processing of Proportional Quantifiers:
  		\emph{Most} Versus \emph{More Than Half}},
  journal = {Natural Language Semantics},
  year = {2009},
  volume = {17},
  number = {1},
  pages = {63--98},
  topic = {proportional-quantifiers;}
  }

@article{ hacquard:2009a,
  author = {Valentine Hacquard},
  title = {On the Interaction of Aspect and Modal Auxiliaries},
  journal = {Linguistics and Philosophy},
  year = {2009},
  volume = {32},
  number = {3},
  pages = {278--315},
  topic = {tense-aspect;modal-auxiliaries;nl-semantics;}
  }

@incollection{ haddadi:1999a,
  author = {Afsaneh Haddadi},
  title = {Communication among Rational Agents},
  booktitle = {Foundations of Rational Agency},
  publisher = {Kluwer Academic Publishers},
  year = {1999},
  editor = {Michael Wooldridge and Anand Rao},
  pages = {203--225},
  address = {Dordrecht},
  topic = {multiagent-systems;agent-communication;}
  }

@incollection{ haddaway-frisch_am:1990a,
  author = {Peter Haddaway and Alan Frisch},
  title = {Modal Logics of Higher-Order Probability},
  booktitle = {Uncertainty in Artificial Intelligence, Volume 4},
  publisher = {Springer-Verlag},
  year = {1990},
  editor = {Max Henrion and Ross D. Shachter and L.N. Kanal and J.F.
  	Lemmer},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {higher-order-probability;probability-semantics;}
  }

@incollection{ haddawy:1991a,
  author = {Peter Haddawy},
  title = {A Temporal Probability Logic for Representing Actions},
  booktitle = {{KR}'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {313--324},
  address = {San Mateo, California},
  topic = {kr;branching-time;probabilistic-planning;action-formalisms;
		probabilistic-reasoning;kr-course;}
  }

@inproceedings{ haddawy:1994a,
  author = {Peter Haddawy},
  title = {Decision-Theoretic Refinement Planning Using Inheritance
  	Abstraction},
  booktitle = {Proceedings of 2nd International Conference on
  	{AI} Planning Systems},
  year = {1994},
  editor = {K. Hammond},
  pages = {266--271},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {planning;decision-theoretic-planning;inheritance;}
  }

@article{ haddawy:1996a,
  author = {Peter Haddawy},
  title = {Believing Change and Changing Belief},
  journal = {{IEEE} Transactions on Systems, Man, and Cybernetics.  Special
  	Issue on Higher-Order Uncertainty.},
  year = {1996},
  volume = {26},
  number = {5},
  rtnote = {Evidently this involves branching time models.},
  missinginfo = {pages,topics},
  topic = {belief-revision;}
  }

@article{ haddawy:1996b,
  author = {Peter Haddawy},
  title = {A Logic of Time, Change, and Action for Representing Plans},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {80},
  number = {2},
  pages = {243--308},
  topic = {temporal-reasoning;}
  }

@inproceedings{ haddawy-frisch_am:1987a,
  author = {Peter Haddawy and Alan M. Frisch},
  title = {Convergent Deduction for Probabilistic Logic},
  booktitle = {Proceedings of the {AAAI} Workshop on Uncertainty
  	in Artificial Intelligence},
  year = {1987},
  pages = {125--143},
  organization = {{AAAI}},
  missinginfo = {editor, publisher, address, pages},
  rtnote = {In RHT collection.},
  topic = {probability-semantics;}
  }

@inproceedings{ haddawy-hanks_s:1990a,
  author = {Peter Haddawy and Steven Hanks},
  title = {Issues in Decision-Theoretic Planning: Symbolic Goals
  	and Numeric Utilities},
  booktitle = {{DARPA} Workshop on Innovative Applications to Planning,
  	Scheduling, and Control},
  year = {1990},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  missinginfo = {editor,pages},
  topic = {decision-theoretic-planning;}
  }

@incollection{ haddawy-hanks_s:1992a,
  author = {Peter Haddawy and Steven Hanks},
  title = {Representations of Decision-Theoretic Planning: Utility
  	Functions for Deadline Goals},
  booktitle = {{KR}'92. Principles of Knowledge Representation and
  	Reasoning: Proceedings of the Third International Conference},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Bernhard Nebel and Charles Rich and William Swartout},
  pages = {71--82},
  address = {San Mateo, California},
  rtnote = {Reading notes on file.},
  topic = {kr;decision-theoretic-planning;kr-course;}
  }

@techreport{ haddawy-hanks_s:1993a,
  author = {Peter Haddawy and Steve Hanks},
  title = {Utility Models for Goal-Directed Decision-Theoretic
  	Planners},
  institution = {Department of EE\&CS, University of Wisconsin-Milwaukee},
  number = {93--06--04},
  year = {1993},
  address = {Milwaukee, Wisconsin},
  rtnote = {In RHT collection.},
  topic = {decision-theoretic-planning;}
  }

@inproceedings{ haddawy-suwandi:1994a,
  author = {Peter Haddawy and Meliani Suwandi},
  title = {Decision Theoretic Planning using Inheritance
  	Abstraction},
  booktitle = {Proceedings of the Second International Conference on
  	{AI} Planning Systems},
  year =   {1994},
  editor = {K. Hammond},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  missinginfo = {pages},
  rtnote = {In RHT collection.},
  topic = {planning;decision-theoretic-planning;inheritance;}
  }

@incollection{ haddock:1987a,
  author = {Nicolas Haddock},
  title = {Incremental Interpretation and Combinatory Categorical
  	Grammar},
  booktitle = {Working Papers in Cognitive Science, Volume 1: Categorial
  	Grammar, Unification Grammar and Parsing},
  publisher = {Centre for Cognitive Science, University of Edinburgh},
  year = {1987},
  editor = {Nicholas Haddock and Ewan Klein and Glyn Morrill},
  pages = {71--84},
  address = {Edinburgh},
  topic = {categorial-grammar;}
  }

@book{ haddock-etal:1987a,
  editor = {Nicholas Haddock and Ewan Klein and Glyn Morrill},
  title = {Working Papers in Cognitive Science, Volume 1: Categorial
  	Grammar, Unification Grammar and Parsing},
  publisher = {Centre for Cognitive Science, University of Edinburgh},
  year = {1987},
  address = {Edinburgh},
  contentnote = {TC:
     1. Glyn Morrill, "Meta-Categorial Grammar", pp. 1--29
     2. Mark Steedman, "Combinatory Grammar and Parasitic
     		Gaps", pp. 30--70
     3. Nicolas Haddock, "Incremental Interpretation and
     		Combinatory Categorical Grammar", pp. 71--84
     4. Remo Pareschi, "Combinatory Grammar, Logic Programming,
     		and Natural Language Processing", pp. 85--114
     5. John Phillips and Henry Thompson, "A Parser for Generalized
     		Phrase Structure Grammars", pp. 115--136
     6. Graeme Ritchie, "The Computational Complexity of
     		{GPSG} Parsing", pp. 137--142
     7. Einar Jowsey, "Montague Grammar and First-Order
     		Logic", pp. 143--194
     8. Henk Zeevat and Ewan Klein and Jo Calder, "Unification
     		Categorial Grammar", pp. 195--223
  },
 topic = {categorial-grammar;unification-grammars;}
  }

@inproceedings{ hadzilacos:1987a,
  author = {V. Hadzilacos},
  title = {A Knowledge-Theoretic Analysis of Atomic Commitment
  	Protocols},
  booktitle = {Proceedings of the Sixth {ACM} Symposium on Principles of
  	Database Systems},
  year = {1987},
  pages = {129--134},
  missinginfo = {A's 1st name, organization, publisher, addresss},
  topic = {communication-protocols;}
  }

@book{ haegeman:1991a,
  author = {Liliane M.V. Haegeman},
  title = {Introduction to Government and Binding Theory},
  publisher = {Blackwell Publishers},
  year = {1991},
  address = {Oxford},
  topic = {nl-syntax;GB-syntax;}
 }

@book{ hage:1997a,
  author = {Jaap Haage},
  title = {Reasoning with Rules},
  publisher = {Kluwer Academic Publishers},
  year = {1997},
  address = {Dordrecht},
  topic = {philosophy-of-law;legal-reasoning;argumentation;}
 }

@incollection{ hage:1998a,
  author = {J. Hage},
  title = {Moderately Naturalistic Deontic Logic},
  booktitle = {Norms, Logics and Information Systems.  New Studies in
		Deontic Logic and Computer Science},
  publisher = {IOS Press},
  year = {1998},
  editor = {Henry Prakken and Paul McNamara},
  pages = {73--92},
  address = {Amsterdam},
  topic = {deontic-logic;}
  }

@incollection{ hagen-grote:1997a,
  author = {Eli Hagen and Brigitte Grote},
  title = {Planning Efficient Mixed Initiative Dialogue},
  booktitle = {Interactive Spoken Dialog Systems:  Bridging
  	Speech and {NLP} Together in Real Applications},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Julia Hirschberg and Candace Kamm and Marilyn Walker},
  pages = {53--56},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;mixed-initiative-systems;
  	discourse-planning;}
  }

@incollection{ hagen-popowich:2000a,
  author = {Eli Hagen and Fred Popowich},
  title = {Flexible Speech Act Based Dialogue Management},
  booktitle = {Proceedings of the First {SIGdial} Workshop on Discourse
  	and Dialogue},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Laila Dybkjaer and Koiti Hasida and David R. Traum},
  pages = {131--140},
  address = {Somerset, New Jersey},
  topic = {computational-dialogue;speech-acts;}
  }

@incollection{ hagert-waern:1985a,
  author = {G. Hagert and Y. Waern},
  title = {On Implicit Assumptions in Reasoning},
  booktitle = {Reasoning

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit