text:
anakopolos:1994b,
  author = {John Geanakopolos},
  title = {Common Knowledge},
  booktitle = {Handbook of Game Theory, with Economic Applications, Vol. 2},
  publisher = {North-Holland},
  year = {1994},
  address = {Amsterdam},
  editor = {Robert Aumann and Serigiu Hart},
  chapter = {40},
  missinginfo = {pages},
  topic = {mutual-belief;game-theory;}
  }

@incollection{ gebhardt-kruse:1998a,
  author = {J\"org Gebhardt and Rudolf Kruse},
  title = {Parallel Combination of Information Sources},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 3:  Belief Change},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Didier Dubois and Henri Prade},
  pages = {393--439},
  address = {Dordrecht},
  topic = {knowledge-integration;}
  }

@incollection{ gebhart-kruse:1998a,
  author = {J\"org Gebhardt and Rudolf Kruse},
  title = {Parallel Combination of Information Sources},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 3},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Dov M. Gabbay and Philippe Smets},
  pages = {393--439},
  address = {Dordrecht},
  topic = {reasoning-about-uncertainty;knowledge-integration;}
  }

@incollection{ geckeler:1981a,
  author = {Horst Geckeler},
  title = {Structural Semantics},
  booktitle = {Words, Worlds, and Contexts: New Approaches to Word
  	Semantics},
  publisher = {Walter de Gruyter},
  year = {1981},
  editor = {Hans-J\"urgen Eikmeyer and Hannes Rieser},
  pages = {381--413},
  address = {Berlin},
  topic = {structuralist-linguistics;nl-semantics;}
 }

@article{ gediga-duntsch:2001a,
  author = {G\"unther Gediga and Ivo D\"untsch},
  title = {Rough Approximation Quality Revisited},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {132},
  number = {2},
  pages = {219--234},
  topic = {rough-sets;}
  }

@article{ gee-grosjean:1983a,
  author = {J. Gee and F. Grosjean},
  title = {Saying What You Mean in Dialogue: A Study in Conceptual
  	Coordination},
  journal = {Cognitive Psychology},
  year = {1983},
  volume = {15},
  number = {3},
  missinginfo = {pages},
  topic = {discourse;coord-in-conversation;pragmatics;}
  }

@incollection{ geerts-etal:1998a,
  author = {P. Geerts and E. Laenens and D. Vermeir},
  title = {Defeasible Logics},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 2: Reasoning with
                Actual and Potential Contradictions},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Dov M. Gabbay and Philippe Smets},
  pages = {175--210},
  address = {Dordrecht},
  topic = {nonmonotonic-logics;argument-based-defeasible-reasoning;}
  }

@book{ geertz:1973a,
  author = {Clifford Geertz},
  title = {The Interpretation of Cultures: Selected Essays},
  publisher = {Basic Books},
  year = {1973},
  address = {New York},
  ISBN = {046503425X},
  rtnote = {UMich Graduate Library, GN 315 .G29},
  topic = {ethnology;}
 }

@inproceedings{ geffet-dagan:2005a,
  author = {Maayan Geffet and Ido Dagan},
  title = {The Distributional Inclusion Hypotheses and Lexical Entailment},
  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 = {107--114},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1014},
  topic = {distributional-similarity;semantic-similarity;lexical-semantics;}
  }

@inproceedings{ geffner:1988a,
  author = {H\'ector Geffner},
  title = {On the Logic of Defaults},
  booktitle = {Proceedings of the Seventh National Conference on
              Artificial Intelligence},
  year = {1988},
  editor = {Reid Smith and Tom Mitchell},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  missinginfo = {pages},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-logic;}
  }

@incollection{ geffner:1989a,
  author = {H\'ector Geffner},
  title = {Default Reasoning, Minimality and Coherence},
  booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1989},
  editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter},
  pages = {137--148},
  address = {San Mateo, California},
  topic = {kr;kr-course;nonmonotonic-logic;model-preference;}
  }

@unpublished{ geffner:1989b,
  author = {H\'ector Geffner},
  title = {Conditional Entailment: CLosing the Gap between
  	Defaults and Conditionals},
  year = {1989},
  note = {Unpublished manuscript, IBM Watson Research Center.},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-logic;conditionals;}
  }

@inproceedings{ geffner:1990a,
  author = {H\'ector Geffner},
  title = {Causal Theories of Nonmonotonic Reasoning},
  booktitle = {Proceedings of the Eighth National Conference on
              Artificial Intelligence},
  year = {1990},
  editor = {Thomas Dietterich and William Swartout},
  pages = {524--530},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  rtnote = {In RHT collection.},
  topic = {causality;nonmonotonic-reasoning;}
  }

@incollection{ geffner:1991a,
  author = {H\'ector Geffner},
  title = {Beyond Negation as Failure},
  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 = {218--229},
  address = {San Mateo, California},
  topic = {kr;model-preference;nonmonotonic-logic;negation-as-failure;
  	kr-course;}
  }

@unpublished{ geffner:1992b,
  author = {H\'ector Geffner},
  title = {Conditional Entailment: Closing the Gap Between Defaults
  	and Conditionals},
  year = {1992},
  rtnote = {In RHT collection.},
  note = {Unpublished extended abstract, T.J. Watson Research Center,
  	Yorktown Heights, NY 10598.},
  contentnote = {Summarizes results of geffner:1992a.},
  missinginfo = {Year is a guess.},
  topic = {probabilistic-reasoning;conditionals;}
  }

@book{ geffner:1992c,
  author = {H\'ector Geffner},
  title = {Default Reasoning: Causal and Conditional Theories},
  publisher = {{MIT} Press},
  year = {1992},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.  AI Shelves.},
  topic = {kr;nonmonotonic-reasoning;causality;probabilistic-reasoning;
  	kr-course;}
 }

@inproceedings{ geffner:1994a,
  author = {H\'ector Geffner},
  title = {Causal Default Reasoning: Principles and Algorithms},
  booktitle = {Proceedings of the Twelfth National Conference on
              Artificial Intelligence},
  year = {1994},
  pages = {245--250},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  missinginfo = {editor},
  topic = {kr;nonmonotonic-reasoning;causality;kr-course;}
  }

@incollection{ geffner:2000a,
  author = {H\'ector Geffner},
  title = {Functional {\sc Strips}},
  booktitle = {Logic-Based Artificial Intelligence},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Jack Minker},
  pages = {187--209},
  address = {Dordrecht},
  topic = {logic-in-AI;STRIPS;planning-formalisms;}
  }

@incollection{ geffner:2004a,
  author = {Hector Geffner},
  title = {Planning Graphs and Knowledge Compilation},
  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 = {662--672},
  address = {Menlo Park, California},
  topic = {planning-algorithms;graph-based-reasoning;}
  }

@unpublished{ geffner-bonet_b:1995a,
  author = {H\'ector Geffner and Blai Bonet},
  title = {Causal Systems as Dynamic Systems},
  year = {1995},
  note = {Unpublished manuscript, Unerversidad Sim\'on Bolivar.},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a guess.},
  topic = {causality;Bayesian-networks;dynamic-systems;}
  }

@inproceedings{ geffner-bonet_b:1999a,
  author = {H\'ector Geffner and Blai Bonet},
  title = {Functional Strips: A More General Language for
		Planning and Problem Solving},
  booktitle = {Workshop on Logic-Based Artificial Intelligence,
	       Washington, DC, June 14--16, 1999},
  year = {1999},
  editor = {Jack Minker},
  publisher = {Computer Science Department, University of Maryland},
  address = {College Park, Maryland},
  topic = {planning-formalisms;}
  }

@inproceedings{ geffner-etal:1995a,
  author = {H\'ector Geffner and Jimena Llopis and Gisela M\'endez},
  title = {Sound and Efficient Non-Monotonic Inference},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {1495--1500},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-reasoning;}
  }

@techreport{ geffner-pearl:1987a,
  author = {H\'ector Geffner and Judea Pearl},
  title = {Sound Defeasible Inference},
  institution = {Cognitive Systems Laboratory, Department of Computer
  	Science, UCLA},
  number = {CSD--8700XX R--94},
  year = {1987},
  address = {Los Angeles, CA 90024--1596},
  rtnote = {In RHT collection.},
  xref = {Revised as geffner-pearl:1987b, geffner-pearl:1990a},
  topic = {nonmonotonic-logic;probability-semantics;}
  }

@unpublished{ geffner-pearl:1987b,
  author = {H\'ector Geffner and Judea Pearl},
  title = {A Framework for Reasoning With Defaults},
  year = {1987},
  note = {Unpublished manuscript, Cognitive Systems Laboratory,
  	Department of Computer Science, UCLA.},
  rtnote = {In RHT collection.},
  xref = {Revised as geffner-pearl:1990a},
  topic = {nonmonotonic-logic;uncertainty-in-AI;nonmonotonic-reasoning;}
  }

@incollection{ geffner-pearl:1990a,
  author = {H\'ector Geffner and Judea Pearl},
  title = {A Framework for Reasoning With Defaults},
  booktitle = {Knowledge Representation and Defeasible Reasoning},
  publisher = {Kluwer Academic Publishers},
  year = {1990},
  editor = {Henry Kyburg and Ronald Loui and Greg Carlson},
  pages = {69--87},
  address = {Dordrecht},
  topic = {nonmonotonic-logic;uncertainty-in-AI;nonmonotonic-reasoning;}
  }

@article{ geffner-pearl:1992a,
  author = {H\'ector Geffner and Judea Pearl},
  title = {Conditional Entailment: Bridging Two Approaches to Default
  	Reasoning},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {53},
  number = {2--3},
  pages = {209--244},
  contentnote = {Seeks to unify belief update formulations of NM reasoning
  	and contextualized-belief accounts.  Develops a model theory that
	generalizes preferential entailment.},
  topic = {kr;nonmonotonic-logic;belief-revision;kr-course;}
  }

@inproceedings{ geffner-verna:1989a,
  author =  {H\'ector Geffner and Tom Verna},
  title = {Inheritance $=$ Chaining $+$ Defeat},
  booktitle = {Proceedings of the Fourth International Symposium on
  	Methodologies for Intelligent Systems},
  year = {1989},
  editor = {Zbigniew Raz},
  pages = {411--418},
  publisher = {North-Holland},
  address = {Amsterdam},
  topic = {inheritance-theory;}
  }

@inproceedings{ gehrke:1992a,
  author = {Manfred Gehrke},
  title = {Particles of the Part-Whole Relation},
  booktitle = {Working Notes, {AAAI} Fall Symposium on Issues in Description
  	Logics: Users Meet Developers},
  year = {1992},
  editor = {Robert MacGregor},
  pages = {36--38},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {kr;krcourse;mereology;description-logics;}
  }

@article{ gehrke:2006a,
  author = {Mai Gehrke},
  title = {Generalized {K}ripke Frames},
  journal = {Studia Logica},
  year = {2006},
  volume = {84},
  number = {2},
  pages = {241--275},
  topic = {modal-logic;algebraic-logic;substructural-logics;}
  }

@article{ geib-goldman_rp:2009a,
  author = {Christopher W. Geib and Robert P. Goldman},
  title = {A Probabilistic Plan Recognition Algorithm Based on Plan
  		Tree Grammars},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {11},
  pages = {1101--1132},
  topic = {plan-recognition;plan-execution;}
  }

@article{ geiger-heckerman:1996a,
  author = {Dan Geiger and David Heckerman},
  title = {Knowledge Representation and Inference in Similarity
  	Networks and {B}ayesian Multinets},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {82},
  number = {1--2},
  pages = {45--74},
  topic = {Bayesian-networks;}
  }

@book{ geis:1995a,
  author = {Michael L. Geis},
  title = {Speech Acts and Conversational Interaction},
  publisher = {Cambridge University Press},
  year = {1995},
  address = {Cambridge, England},
  rtnote = {pragmatics-course;},
  topic = {speech-acts;pragmatics;}
 }

@article{ geis-lycan:1993a,
  author = {Michael L. Geis and William G. Lycan},
  title = {Nonconditional Conditionals},
  journal = {Philosophical Topics},
  year = {1994},
  volume = {21},
  number = {2},
  pages = {35--56},
  topic = {JL-Austin;conditionals;}
  }

@article{ geis-zwicky:1971a,
  author = {Michale L. Geis and Arnold Zwicky},
  title = {On Invited Inferences},
  journal = {Linguistic Inquiry},
  year = {1971},
  volume = {2},
  pages = {561--566},
  topic = {implicature;}
  }

@incollection{ geisl-etal:1998a,
  author = {J. Geisl et al.},
  title = {Termination Analysis for Functional Programs},
  booktitle = {Automated Deduction: A Basis for Applications.
  	Volume {III}, Applications},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Wolfgang Bibel and Peter H. Schmidt},
  address = {Dordrecht},
  missinginfo = {A's 1st name, pages},
  topic = {theorem-proving;applied-logic;software-engineering;}
  }

@inproceedings{ geissler-konolige:1986a,
  author = {Christopher Geissler and Kurt Konolige},
  title = {A Resolution Method for Quantified Modal Logics of
  	Knowledge and Belief},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the First Conference},
  year = {1986},
  editor = {Joseph Y. Halpern},
  pages = {309--324},
  publisher = {Morgan Kaufmann Publishers, Inc.},
  address = {Los Altos, California},
  topic = {modal-logic;theorem-proving;}
  }

@article{ gelain-etal:2009a,
  author = {Mirco Gelain and Maria Silvia Pini and Francesca Rossi and K.
  		Brent Venable and Toby Walsh},
  title = {Elicitation Strategies for Soft Constraint Problems with
  		Missing Preferences: Properties, Algorithms and
		Experimental Studies},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {174},
  number = {3--4},
  pages = {270--294},
  topic = {preferences;soft-constraints;}
  }

@article{ gelbukh:2000a,
  author = {Alexander F. Gelbukh},
  title = {Review of \emph{{F}oundations of Computational Linguistics:
  	Man-Machine Communication in Natural Language}, by {R}oland
	{H}ausser},
  journal = {Computational Linguistics},
  year = {2000},
  volume = {26},
  number = {3},
  pages = {449--455},
  xref = {Review of hausser:1999a.},
  topic = {computational-linguistics;}
  }

@incollection{ geldof:1999a,
  author = {Sabine Geldof},
  title = {Parrot-Talk Requires Multiple Context
			Dimensions},
  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 = {467--470},
  address = {Berlin},
  topic = {context;nl-generation;}
  }

@unpublished{ gelfond:1980a,
  author = {Michael Gelfond},
  title = {A Class of Theorems With Constructive Counterparts},
  year = {1980},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript.},
  topic = {constructivity;}
  }

@inproceedings{ gelfond:1987a,
  author = {Michael Gelfond},
  title = {Autoepistemic Logic and Formalization of Commonsense Reasoning:
  	A Preliminary Report},
  booktitle = {Second International Workshop on Non-Monotonic Reasoning},
  year = {1987},
  editor = {Michael Reinfrank and Johan de Kleer and Eric Sandewall},
  pages = {177--186},
  publisher = {Springer Verlag},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {autoepistemic-logic;Yale-shooting-problem;inheritance-theory;}
  }

@unpublished{ gelfond:1988a,
  author = {Michael Gelfond},
  title = {Autoepistemic Logic and the Formalization of Commonsense
  	Reasoning},
  year = {1988},
  note = {Unpublished manuscript, Computer Science Department, University of
  	Texas at El Paso, El Paso, TX 79968.},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a guess.},
  topic = {autoepistemic-logic;nonmonotonic-logic;Yale-shooting-problem;}
  }

@article{ gelfond:1994a,
  author = {Michael Gelfond},
  title = {Logic Programming and Reasoning with Incomplete Information},
  journal = {Annals of Mathematics and Artificial Intelligence},
  year = {1994},
  volume = {12},
  pages = {89--116},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  rtnote = {Available at http://www.cs.ttu.edu/\user{}mgelfond/.},
  topic = {logic-programming;reasoning-about-uncertainty;}
  }

@article{ gelfond:1998a,
  author = {Michael Gelfond},
  title = {Review of \emph{{S}olving the Frame Problem},  by
  	{M}urray {S}hanahan},
  journal = {Journal of Symbolic Logic},
  year = {1998},
  volume = {63},
  number = {3},
  pages = {1186--1188},
  xref = {Review of: shanahan:1997a.},
  topic = {kr;temporal-reasoning;frame-problem;krcourse;}
  }

@unpublished{ gelfond:2001a,
  author = {Michael Gelfond},
  title = {Representing Knowledge in A-Prolog},
  year = {2001},
  note = {Unpublished manuscript, Texas Tech University},
  rtnote = {In RHT collection.},
  rtnote = {Available at http://www.cs.ttu.edu/\user{}mgelfond/.},
  contentnote = {"A-Prolog" is logic programming with the stable
  	models / answer set semantics.},
  topic = {kr;logic-programming;nonmonotonic-logic;planning-formalisms;
  		stable-models;}
  }

@incollection{ gelfond-etal:1986a,
  author = {Michael Gelfond and Vladimir Lifschitz
  	and A. Rabinov},
  title = {What are the Limitations of the Situation Calculus?},
  booktitle = {Automated Reasoning: Essays in Honor of {W}oody
  	{B}ledsoe},
  publisher = {Kluwer Academic Publishers},
  year = {1986},
  address = {Dordrecht},
  pages = {167--179},
  missinginfo = {editor},
  topic = {foundations-of-planning;situation-calculus;
  	temporal-reasoning;}
  }

@unpublished{ gelfond-etal:1986b1,
  author = {Michael Gelfond and Halina Przymusinska and Teodor Przymusinski},
  title = {On the Relationship between Circumscription and Negation as
		Failure},
  year = {1986},
  note = {Unpublished manuscript, University of Texas at El Paso.},
  rtnote = {In RHT collection.},
  xref = {Journal publication: gelfond-etal:1986b2.},
  topic = {circumscription;negation-as-failure;}
  }

@article{ gelfond-etal:1986b2,
  author = {Michael Gelfond and Halina Przymusinska and Teodor
  	Przymusinski},
  title = {On the Relationship between Circumscription and Negation
  	as Failure},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {38},
  number = {1},
  pages = {75--94},
  topic = {circumscription;negation-as-failure;}
  }

@unpublished{ gelfond-etal:1987a,
  author = {Michael Gelfond and Halina Przymusinska},
  title = {On the Relationship between Autoepistemic Logic
		and Parallel Circumscription},
  year = {1987},
  note = {Unpublished manuscript, University of Texas at El Paso.},
  rtnote = {In RHT collection.},
  topic = {circumscription;autoepistemic-logic;}
  }

@unpublished{ gelfond-etal:1988a,
  author = {Michael Gelfond and Vladimir Lifschitz and Arkady Rabinow},
  title = {A Theory of Concurrent Actions: Preliminary Report},
  year = {1988},
  month = {December},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection. Find Ref.  Use WWW?},
  topic = {concurrency;action;}
 }

@unpublished{ gelfond-etal:1988b,
  author = {Michael Gelfond and Halina Przymusinska and Teodor
  	Przymusinski},
  title = {On the Relationship between {CWA}, Minimal Model
  	and Minimal {H}erbrand Model Semantics},
  year = {1988},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-logic;closed-world-reasoning;minimal-models;}
  }

@incollection{ gelfond-etal:1991a,
  author = {Michael L. Gelfond and Halina Przymusinska and Vladimir
  	Lifschitz and Miroslaw Truszczy\'nski},
  title = {Disjunctive Defaults},
  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 = {230--237},
  address = {San Mateo, California},
  contentnote = {The problem is how to extend DL so that from defaults
  		A ~~> C and B ~~> C you can infer C from A V B.},
  topic = {kr;kr-course;default-logic;}
  }

@incollection{ gelfond-etal:1991b,
  author = {Michael Gelfond and Vladimir Lifschitz and Arkady Rabinov},
  title = {What are the Limitations of the Situation Calculus?},
  booktitle = {Automated Reasoning: Essays in Honor of {W}oody {B}ledsoe},
  publisher = {Kluwer Academic Publishers},
  year = {1991},
  editor = {Robert Boyer},
  pages = {167--179},
  address = {Dordrecht},
  topic = {action-formalisms;temporal-reasoning;concurrent-actions;
  	foundations-of-planning;situation-calculus;
  	temporal-reasoning;}
  }

@incollection{ gelfond-etal:1994a,
  author = {Michael Gelfond and Vladimir Lifschitz and Halina
  	Przymusinska and Grigori Schwartz},
  title = {Autoepistemic Logic and Introspective Circumscription},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fifth Conference ({TARK} 1994)},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Ronald Fagin},
  pages = {197--207},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-logic;circumscription;autoepistemic-logic;}
  }

@book{ gelfond-etal:1999a,
  editor = {Michael Gelfond and Nicola Leone and Gerald Pfeifer},
  title = {Logic Programming and Nonmonotonic Reasoning: Proceedings
  	of the 5th International Conference, LPNMR '99, El Paso,
	Texas, December 2--4, 1999},
  publisher = {Springer-Verlag},
  year = {1999},
  address = {Berlin},
  ISBN = {3-540-66749-0 (Softcover)},
  contentnote = {Blurb:
     This book constitutes the refereed proceedings of the 5th
     International Conference on Logic Programming and Nonmonotonic
     Reasoning, LPNMR '99, held in El Paso, Texas, USA, in December
     1999.  The volume presents 26 contributed papers and four
     invited talks, three appearing as extended abstracts and one as
     a full paper.  Topics covered include logic programming,
     non-monotonic reasoning, knowledge representation, semantics,
     complexity, expressive power, and implementation and
     applicatons.     },
  topic = {logic-programming;nonmonotonic-logic;}
 }

@unpublished{ gelfond-etal:2002a,
  author = {Michael Gelfond and Marcello Balduccini and Joel Galloway},
  title = {Diagnosing Physical Systems in {A}-Prolog},
  year = {2002},
  note = {Unpublished manuscript, Texas Tech University},
  rtnote = {In RHT collection.},
  topic = {diagnosis;logic-programming;stable-models;}
  }

@article{ gelfond-leone:2002a,
  author = {Michael Gelfond and Nicola Leone},
  title = {Logic Programming and Knowledge Representation---The {A}-Prolog
  	Perspective},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {138},
  number = {1--2},
  pages = {3--38},
  topic = {kr;logic-programming;Prolog;}
  }

@unpublished{ gelfond-lifschitz:1988a,
  author = {Michael Gelfond and Vladimir Lifschitz},
  title = {A Theory of Concurrent Actions: Preliminary Report},
  year = {1988},
  month = {December},
  rtnote = {In RHT collection.},
  note = {Unpublished MS, Computer Science Department, University of Texas
  	at El Paso.},
  topic = {concurrent-actions;}
  }

@inproceedings{ gelfond-lifschitz:1988b,
  author = {Michael Gelfond and Vladimir Lifschitz},
  title = {The Stable Model Semantics for Logic Programming},
  booktitle = {Proceedings of the Fifth International Conference on
		Logic Programming},
  year = {1988},
  editor = {Robert A. Kowalski and Kenneth Bowen},
  pages = {1070--1080},
  publisher = {The {MIT} Press},
  address = {Cambridge, Massachusetts},
  topic = {logic-programming;stable-models;nonmonotonic-logic;}
  }

@unpublished{ gelfond-lifschitz:1988c,
  author = {Michael Gelfond and Vladimir Lifschitz},
  title = {Compiling Circumscriptive Theories into Logic Programs},
  year = {1988},
  note = {Unpublished manuscript, Computer Science Department, University of
  	Texas at El Paso, El Paso, TX 79968.},
  rtnote = {In RHT collection.},
  topic = {circumscription;logic-programming;}
  }

@article{ gelfond-lifschitz:1991a,
  author = {Michael Gelfond and Vladimir Lifschitz},
  title = {Classical Negation in Logic Programs and Disjunctive
		Databases},
  journal = {New Generation Computing},
  year = {1991},
  pages = {365--385},
  missinginfo = {volume.number},
  topic = {logic-programming;negation;}
  }

@inproceedings{ gelfond-lifschitz:1992a,
  author = {Michael Gelfond and Vladimir Lifschitz},
  title = {Describing Action and Change by Logic Programs},
  booktitle = {Proceedings of the Joint International Conference and
  	Symposium of Logic Programming},
  year = {1992},
  missinginfo = {editor, org, pages, conf info, publisher, address,
  	topic specs},
  topic = {action;}
  }

@inproceedings{ gelfond-lifschitz:1992b,
  author = {Michael Gelfond and Vladimir Lifschitz},
  title = {Representing Actions in Extended Logic Programs},
  booktitle = {International Conference on Logic Programming},
  year = {1992},
  pages = {559--573},
  topic = {action;extended-logic-programming;}
  }

@article{ gelfond-lifschitz:1993a,
  author = {Michael Gelfond and Vladimir Lifschitz},
  title = {Representing Action and Change by Logic Programs},
  journal = {Journal of Logic Programming},
  year = {1993},
  volume = {17},
  number = {2,3,4},
  pages = {301--323},
  rtnote = {In RHT collection.},
  rtnote = {Available at http://www.cs.ttu.edu/\user{}mgelfond/.},
  topic = {logic-programming;action-formalisms;}
  }

@article{ gelfond-lifschitz:1998a,
  author = {Michael Gelfond and Vladimir Lifschitz},
  title = {Action Languages},
  journal = {Electronic Transactions on {AI}},
  year = {1998},
  volume = {3},
  note = {Available at http://www.ep.liu.se/rs/cis/1998/016/},
  rtnote = {In RHT collection.},
  contentnote = {Defines a series ${\cal A}$, ${\cal B}$, ${\cal
  	C}$ of increasingly more powerful action formalisms and
	gives their semantics.},
  topic = {action-formalisms;}
  }

@article{ gelfond-przymusinska:1986a,
  author = {Michael Gelfond and Halina Przymusinska},
  title = {Negation as Failure: Careful Closure Principle},
  journal = {Artificial Intelligence},
  year = {1986},
  volume = {30},
  number = {3},
  pages = {273--287},
  rtnote = {In RHT collection.},
  topic = {negation-as-failure;logic-programming;}
  }

@unpublished{ gelfond-przymusinska:1987a,
  author = {Michael Gelfond and Halina Przymusinska},
  title = {On the Relationship between Autoepistemic Logic and Parallel
		Circumscription},
  year = {1987},
  rtnote = {In RHT collection.},
  note = {Unpublished MS, Computer Science Department, University of
  	Texas at El Paso, El Paso, TX 79968.},
  missinginfo = {Year is a guess.},
  topic = {autoepistemic-logic;circumscription;}
  }

@unpublished{ gelfond-przymusinska:1988a,
  author = {Michael Gelfond and Halina Przymusinska},
  title = {Inheritance Hierarchies and Autoepistemic Logic},
  year = {1988},
  rtnote = {In RHT collection.},
  note = {Unpublished MS, Computer Science Department, University of
  	Texas at El Paso, El Paso, TX 79968.},
  topic = {inheritance-theory;autoepistemic-logic;}
  }

@unpublished{ gelfond-przymusinska:1988b,
  author = {Michael Gelfond and Halina Przymusinska},
  title = {Inheritance Reasoning in Autoepistemic Logic},
  year = {1988},
  rtnote = {In RHT collection.},
  note = {Unpublished MS, Computer Science Department, University of
  	Texas at El Paso, El Paso, TX 79968.},
  missinginfo = {Year is a guess.},
  topic = {inheritance-theory;autoepistemic-logic;}
  }

@unpublished{ gelfond-przymusinska:1988c,
  author = {Michael Gelfond and Halina Przymusinska},
  title = {On the Relationship between {CWA}, Minimal
  	Model and Minimal {H}erbrand Model Semantics},
  year = {1988},
  rtnote = {In RHT collection.},
  note = {Unpublished MS, Computer Science Department, University of
  	Texas at El Paso, El Paso, TX 79968.},
  topic = {closed-world-reasoning;nonmonotonic-loguc;}
  }

@inproceedings{ gelfond-przymusinska:1989a,
  author = {Michael Gelfond and Halina Przymusinska},
  title = {Inheritance Reasoning in Autoepistemic Logic},
  booktitle = {Methodologies for Intelligent Systems},
  year = {1989},
  editor = {Zbigniew Ras},
  pages = {419--429},
  publisher = {North-Holland},
  address = {Amsterdam},
  rtnote = {Manuscript version in RHT collection.},
  topic = {inheritance-theory;autoepistemic-logic;}
  }

@unpublished{ gelfond-przymusinska:1989b,
  author = {Michael Gelfond and Halina Przymusinska},
  title = {Inheritance Reasoning with Maximum Power Principle},
  year = {1989},
  note = {Unpublished manuscript, University of Texas at El Paso.},
  rtnote = {In RHT collection.},
  topic = {inheritance-theory;}
  }

@article{ gelfond-przymusinska:1990a,
  author = {Michael Gelfond and Halina Przymusinska},
  title = {Formalization of Inheritance Reasoning in Autoepistemic
		Logic},
  journal = {Fundamenta Informaticae},
  year = {1990},
  volume = {13},
  pages = {403--443},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {inheritance-theory;autoepistemic-logic;}
  }

@incollection{ gelfond-przymusinska:1993a,
  author = {Michael Gelfond and Halina Przymusinska},
  title = {Reasoning in Open Domains},
  booktitle = {Logic Programming and Nonmonotonic Reasoning},
  publisher = {The {MIT} Press},
  year = {1993},
  editor = {L Pereira and Anil Nerode},
  pages = {397--413},
  address = {Cambridge, Massachusetts},
  topic = {logic-programming;closed-world-reasoning;}
  }

@article{ gelfond-przymusinska:1996a,
  author = {Michael Gelfond and Halina Przymusinska},
  title = {Towards a Theory of Elaboration Tolerance: Logic
  	Programming Approach},
  journal = {Journal on Software and Knowledge Engineering},
  year = {1996},
  volume = {6},
  number = {1},
  pages = {89--112},
  rtnote = {In RHT collection.},
  rtnote = {Available at http://www.cs.ttu.edu/\user{}mgelfond/.},
  topic = {elaboration-tolerance;logic-programming;}
  }

@incollection{ gelfond-son_tc:1998a,
  author = {Michael Gelfond and Tran Cao Son},
  title = {Reasoning with Prioritized Defaults},
  booktitle = {Logic Programming and Knowledge Representation},
  publisher = {Springer-Verlag},
  year = {1998},
  editor = {J\"urgen Dix and Lu\'is Moniz Pereira and Teodor C.
  	Przymusinski},
  pages = {164--224},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-prioritization;nonmonotonic-logic;
  	logic-programming;stable-models;}
  }

@incollection{ gelman-etal:1991a,
  author = {Rochel Gelman and Christine M.  Massey and Mary
    		McManus},
  title = {Characterizing Supporting Environments for
		Cognitive Development: Lessons from Children in a
		Museum},
  booktitle = {Perspectives on Socially Shared Cognition},
  publisher = {American Psychological Association},
  year = {1991},
  editor = {Lauren B. Resnick and John M. Levine and
  	Stephanie D. Teasley},
  pages = {226--256},
  address = {Washington, D.C.},
  topic = {social-psychology;shared-cognition;}
  }

@article{ gelperin:1977a,
  author = {David Gelperin},
  title = {On the Optimality of A*},
  journal = {Artificial Intelligence},
  year = {1977},
  volume = {8},
  number = {1},
  pages = {69--76},
  topic = {search;AI-algorithms-analysis;A*-algorithm;optimality;}
  }

@article{ gelsey:1995a,
  author = {Andrew Gelsey},
  title = {Automated Reasoning about Machines},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {74},
  number = {1},
  pages = {1--53},
  acontentnote = {Abstract:
     Numerical simulation is often used in predicting machine
     behavior, a basic capability for many tasks such as design and
     fault diagnosis.  However, using simulators requires considerable
     human effort both to create behavioral models and to analyze and
     understand simulation results.  I describe algorithms which
     automate the kinematic and dynamical analysis needed to create
     behavioral models and which automate the intelligent control of
     computational simulations needed to understand a machine's
     behavior over both short and long time scales.  The input is a
     description of a machine's geometry and material properties, and
     the output is a behavioral model for the machine and a concise
     qualitative/quantitative prediction of the machine's long-term
     behavior.  My algorithms have been implemented in a working
     program which can predict a machine's behavior over both short
     and long time periods.  At present this work is limited to
     mechanical devices, particularly clockwork mechanisms.},
  topic = {device-modeling;dynamic-systems;}
  }

@article{ gelsey-etal:1998a,
  author = {Andrew Gelsey and Mark Schwabacher and Don Smith},
  title = {Using Modeling Knowledge to Guide Design Space
  	Search},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {101},
  number = {1--2},
  pages = {35--62},
  topic = {computer-aided-design;}
  }

@article{ gemes:1994a,
  author = {Ken Gemes},
  title = {A New Theory of Content {I}: Basic Content},
  journal = {Journal of Philosophical Logic},
  year = {1994},
  volume = {23},
  number = {6},
  pages = {596--620},
  contentnote = {An attempt to produce a more useful account of
  	the content of a formula for use in philosophy of science,
	e.g. in the theory of confirmation or verisimilitude.  The
	notion of content as set of consequences implies that any
	two formulas overlap in content.  This approach uses classical
	logic and is language-dependent, i.e. uses the notion of an
	atomic formula.},
  topic = {logical-content;}
  }

@article{ gemes:1994b,
  author = {Ken Gemes},
  title = {Explanation, Unification, and Content},
  journal = {No\^us},
  year = {1994},
  volume = {28},
  pages = {225--240},
  missinginfo = {number},
  topic = {logical-content;explanation;}
  }

@article{ gemes:1997a,
  author = {Ken Gemes},
  title = {A New Theory of Content {II}: Model Theory and Some
  	Alternatives},
  journal = {Journal of Philosophical Logic},
  year = {1997},
  volume = {26},
  number = {4},
  pages = {449--476},
  topic = {logical-content;}
  }

@article{ gendler:2004a,
  author = {Tamar Szabo Gendler},
  title = {Thought Experiments Rethought---and Repercieved},
  journal = {Philosophy of Science},
  year = {2004},
  volume = {71},
  number = {5},
  pages = {1152--1163},
  note = {Philosophy of Science: Proceedings of the
  	2002 Biennial Meeting of the
	Philosophy of Science Association, Part 2: Symposia
	Papers.  Edited by Sandra D. Mitchell.},
  topic = {scientific-thought-experiments;}
  }

@incollection{ gendler:2007a,
  author = {Tamar Szabo Gendler},
  title = {Self-Deception as Pretense},
  booktitle = {Philosophy of Mind},
  publisher = {Blackwell Publishers},
  year = {2007},
  editor = {John Hawthorne},
  pages = {231--230},
  address = {Oxford},
  topic = {self-deception;pretense;}
  }

@article{ gendler:2008a,
  author = {Tarar Szab\'o Gendler},
  title = {Alief and Belief},
  journal = {The Journal of Philosophy},
  year = {2008},
  volume = {105},
  number = {10},
  pages = {634--663},
  topic = {belief;philosophical-psychology;}
  }

@book{ gendler-hawthorne:2008a,
  editor = {Tamar Szabo Gendler and John Hawthorne},
  title = {Oxford Studies in Epistemology, Volume 2},
  publisher = {Oxford University Press},
  year = {2008},
  address = {Oxford},
  ISBN13 = {9780199237067},
  ISBN10 = {0199237069},
  contentsnote = {TC:
    1. David Christensen, "Does Murphy's Law Apply in Epistemology?:
           Self-Doubt and Rational Ideals", pp. 3--31
    2. Kai von Fintel and Anthony Gillies, "An Opinionated Guide to
    	   Epistemic Modality", pp. 32--52
    3. Richard Fumerton, "Epistemic Conservatism: Theft or Honest
    	   Toil?, pp. 63--86
    4. Laurie Santos, "The Evolution of Irrationality: Insights from
           Non-human Primates", pp. 87--107
    5. Nico Silins, "Basic Justification and the Moorean Response to
           the Skeptic", pp. 108--142
    6. Allan Gibbard, "Rational Credence and the Value of Truth", pp.
    7. Frank Arntzenius, "Rationality and Self-Confidence", pp. 143--164
    8. Eric Swanson, "A Note on Gibbard's Rational Credence and the
            Value of Truth", pp. 165--178
    9. Allan Gibbard, "Aiming at Truth over Time: Reply to Arntzenius
            and Swanson", pp. 179--204
  },
  topic = {epistemology;}
 }

@incollection{ genesereth:1982a,
  author = {Michael Genesereth},
  title = {The Role of Plans in Intelligent Teaching Systems},
  booktitle = {Intelligent Tutoring Systems},
  publisher = {Academic Press},
  year = {1982},
  editor = {Derek H. Sleeman and John Seely Brown},
  pages = {137--155},
  address = {New York},
  topic = {plan-recognition;}
  }

@article{ genesereth:1984a,
  author = {Michael R. Genesereth},
  title = {The Use of Design Descriptions in Automated Diagnosis},
  journal = {Artificial Intelligence},
  year = {1984},
  volume = {24},
  number = {1--3},
  pages = {411--436},
  topic = {qualitative-physics;qualitative-reasoning;diagnosis;}
  }

@incollection{ genesereth:1991a,
  author = {Michael R. Genesereth},
  title = {Knowledge Interchange Format},
  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 = {599--600},
  address = {San Mateo, California},
  contentnote = {This is a position statement, prepared in connection
  	with a conference panel.  There is no bibliography.},
  topic = {kr;kr-course;knowledge-sharing;}
  }

@incollection{ genesereth:1991b,
  author = {Michael Genesereth},
  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 = {599--600},
  address = {San Mateo, California},
  topic = {kr;large-kr-systems;}
  }

@article{ genesereth:1993a,
  author = {Michael R. Genesereth},
  title = {From {D}art to {D}esignworld: A Chronicle
  	of Research on Automated Engineering in the {S}tanford
	Logic Group},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {159--165},
  topic = {diagnosis;automated-engineering;}
  }

@incollection{ genesereth:1996a,
  author = {Michael R. Genesereth},
  title = {Mc{C}arthy's Idea},
  booktitle = {Logics in Artificial Intelligence: European Workshop,
  	{Jelia}'96, Ivora, Portugal, September 30 - October 3,
	1996.},
  publisher = {Springer-Verlag},
  year = {1996},
  editor = {Jos\'e J\'ulio Alferes and Lu\'is Moniz Pereira and Ewa Orlowska},
  pages = {134--142},
  address = {Berlin},
  topic = {J-McCarthy;}
  }

@techreport{ genesereth-fikes:1992a,
  author = {Michael R. Genesereth and Richard E. Fikes},
  title = {Knowledge Interchange Format, Version 0.3},
  institution = {Knowledge Systems Laboratory, Stanford University},
  year = {1992},
  address = {Stanford, California},
  topic = {computational-ontology;}
  }

@incollection{ genesereth-hsu_yj:1991a,
  author = {Michael Genesereth and Jane Yungjen Hsu},
  title = {Partial Programs},
  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 = {238--249},
  address = {San Mateo, California},
  topic = {kr;underspecification;programming-languages;
  	constraint-programming;}
  }

@book{ genesereth-nilsson_nj:1987a,
  author = {Michael Genesereth and Nils J. Nilsson},
  title = {Logical Foundations of Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  year = {1987},
  address = {San Mateo, California},
  xref = {Reviews: smoliar:1989a, sowa:1989a.  Response to reviews:
  		nilsson_nj:1989a.},
  topic = {kr;AI-intro;AI-text;AI-and-logic;kr-course;}
 }

@inproceedings{ gennari:1999a,
  author = {Silvia Gennari},
  title = {Embedded Present Tense and Attitude Reports},
  booktitle = {Proceedings from Semantics and Linguistic Theory {IX}},
  publisher = {Cornell University},
  year = {1999},
  editor = {Tanya Matthews and Devon Strolovitch},
  pages = {91--108},
  address = {Ithaca, New York},
  topic = {nl-semantics;propositional-attitude-reports;nl-tense;}
  }

@article{ gennari:2005a,
  author = {Rosalla Gennari},
  title = {Review of \emph{{E}ssentials of Constraint Programming}, by
  		{T}. {F}r\"uhwirth and {S}. {A}bdennadher},
  journal = {Journal of Logic, Language, and Information},
  year = {2005},
  volume = {14},
  number = {1},
  pages = {119--122},
  xref = {Review of: fruhwirth-abdennadher:2003a},
  topic = {constraint-programming;constraint-satisfaction;}
  }

@article{ gennari-etal:1989a,
  author = {John H. Gennari and Pat Langley and Doug Fisher},
  title = {Models of Incremental Concept Formation},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {40},
  number = {1--3},
  pages = {11--61},
  acontentnote = {Abstract:
     Given a set of observations, humans acquire concepts that
     organize those observations and use them in classifying future
     experiences.  This type of concept formation can occur in the
     absence of a tutor and it can take place despite irrelevant and
     incomplete information.  A reasonable model of such human concept
     learning should be both incremental and capable of handling the
     type of complex experiences that people encounter in the real
     world.  In this paper, we review three previous models of
     incremental concept formation and then present CLASSIT, a model
     that extends these earlier systems.  All of the models integrate
     the process of recognition and learning, and all can be viewed
     as carrying out search through the space of possible concept
     hierarchies.  In an attempt to show that CLASSIT is a robust
     concept formation system, we also present some empirical studies
     of its behavior under a variety of conditions.},
  topic = {machine-learning;concept-learning;concept-formation;}
  }

@article{ gent-etal:2000a,
  author = {Ian Gent and Kostas Stergiou and Toby Walsh},
  title = {Decomposable Constraints},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {123},
  number = {1--2},
  pages = {133--156},
  topic = {constraint-satisfaction;search;arc-(in)consistency;}
  }

@article{ gent-etal:2008a,
  author = {Ian P. Gent and Peter Nightingale and Andrew Rowley and
  		Kostas Stergiou},
  title = {Solving Quantified Constraint Satisfaction Problems},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {6--7},
  pages = {738--771},
  topic = {constraint-satisfaction;}
  }

@article{ gent-etal:2008b,
  author = {Ian P. Gent and Ian Miguel and Peter Nightingale},
  title = {Generalised Arc Consistency for the {A}ll{D}ifferent
  		Constraint: An Empirical Survey},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {18},
  pages = {1973--2000},
  topic = {arc-(in)consistency;}
  }

@article{ gent-walsh_t:1994a,
  author = {Ian P. Gent and Toby Walsh},
  title = {Easy Problems are sometimes hard},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {70},
  number = {1--2},
  pages = {335--345},
  acontentnote = {Abstract:
     We present a detailed experimental investigation of the
     easy-hard-easy phase transition for randomly generated instances
     of satisfiability problems. Problems in the hard part of the
     phase transition have been extensively used for benchmarking
     satisfiability algorithms. This study demonstrates that problem
     classes and regions of the phase transition previously thought
     to be easy can sometimes be orders of magnitude more difficult
     than the worst problems in problem classes and regions of the
     phase transition considered hard.  These difficult problems are
     either hard unsatisfiable problems or are satisfiable problems
     which give a hard unsatisfiable subproblem following a wrong
     split.  Whilst these hard unsatisfiable problems may have short
     proofs, these appear to be difficult to find, and other proofs
     are long and hard.},
  topic = {computational-phase-transitions;
  	experiments-on-theorem-proving-algs;}
  }

@article{ gent-walsh_t:1996a,
  author = {Ian P. Gent and Toby Walsh},
  title = {The Satisfiability Constraint Gap},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {81},
  number = {1--2},
  pages = {59--80},
  topic = {search;experiments-on-theorem-proving-algs;
  	computational-phase-transitions;}
  }

@article{ gent-walsh_t:1996b,
  author = {Ian P. Gent and Toby Walsh},
  title = {The {TSP} Phase Transition},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {88},
  number = {1--2},
  pages = {349--358},
  topic = {computational-phase-transitions;}
  }

@article{ gent-walsh_t:1999a,
  author = {Ian P. Gent and Toby Walsh},
  title = {Review of \emph{{E}mpirical Methods for Artificial
  	Intelligence}, by {P}aul {R}. {C}ohen},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {113},
  number = {1--2},
  pages = {285--290},
  xref = {Review of: cohen_pr2:1995a.},
  topic = {experimental-AI;}
  }

@incollection{ gentner:2003a,
  author = {Dedre Gentner},
  title = {Why We're So Smart},
  booktitle = {Language in Mind: Advances in the Study of Language
  		and Thought},
  publisher = {The {MIT} Press},
  year = {2003},
  editor = {Dedre Gentner and Susan Goldin-Meadow.},
  pages = {195--235},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.  File drawers. },
  topic = {cognitive-psychology;symbol-systems;analogical-reasoning;}
  }

@book{ gentner-goldinmeadow:2003a,
  editor = {Dedre Gentner and Susan Goldin-Meadow},
  title = {Language in Mind},
  publisher = {The {MIT} Press},
  year = {2003},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-57163-3},
  topic = {philosophy-of-mind;}
 }

@article{ gentzen:1934a,
  author = {Gerhard Gentzen},
  title = {Untersuchungen {\"u}ber das Logische Schliessen},
  journal = {Mathematische Zeitschrift},
  volume = {39},
  year = {1934},
  pages = {176--210},
  xref = {English translation (as ``Investigations into logical
            deduction'') in szabo_me:1969a, pages 68--131.},
  topic = {proof-theory;logic-classics;}
    }

@article{ gentzen:1965a,
  author = {Gerhard Gentzen},
  title = {Investigations into Logical Deduction {II}},
  journal = {American Philosophical Quarterly},
  year = {1965},
  volume = {2},
  number = {3},
  pages = {204--218},
  note = {Originally published in 1935.  (Translated by M. Szabo.)},
  topic = {proof-theory;cut-free-deduction;logic-classics;}
  }

@article{ georgacarakos:1979a,
  author = {G.N. Georgacarakos},
  title = {Orthomodularity and Relevance},
  journal = {Journal of Philosophical Logic},
  year = {1979},
  volume = {8},
  number = {4},
  pages = {415--432},
  topic = {quantum-logic;relevance-logic;}
  }

@article{ georgalis:1989a,
  author = {Nicholas Georgalis},
  title = {Review of \emph{{F}oundations of Illocutionary
  	Logic}, by {J}ohn {R}. {S}earle and {D}aniel
	{V}andervecken},
  journal = {Linguistics and Philosophy},
  year = {1989},
  volume = {12},
  number = {6},
  xref = {Review of searle-vandervecken:1985a.},
  pages = {745--748},
  topic = {speech-acts;pragmatics;}
  }

@article{ georgatos:1997a,
  author = {Konstantinos Georgatos},
  title = {Knowledge on Treelike Spaces},
  journal = {Studia Logica},
  year = {1997},
  volume = {59},
  number = {2},
  pages = {271--301},
  topic = {epistemic-logic;branching-time;}
  }

@article{ george_a:1988a,
  author = {Alexander George},
  title = {The Conveyability of Intuitionism, an Essay on
  	Mathematical Cognition},
  journal = {Journal of Philosophical Logic},
  year = {1988},
  volume = {17},
  number = {2},
  pages = {133--156},
  topic = {foundations-of-mathematics;philosophy-of-mathematics;
  	intuitionism;}
  }

@book{ george_a:1989a,
  editor = {Alexander George},
  title = {Reflections On {C}homsky},
  publisher = {Basil Blackwell Publishers},
  year = {1989},
  address = {Oxford},
  ISBN = {0631159762},
  rtnote = {UMich Graduate Library, P 26 .C53 R441 1989.},
  topic = {Chomsky;nl-syntax;philosophy-of-linguistics;}
 }

@article{ george_a-velleman_dj:2000a,
  author = {Alexander George and Daniel J. Velleman},
  title = {Leveling the Playing Field between Mind and Machine:
  	A Reply to {M}cC{a}ll},
  journal = {The Journal of Philosophy},
  year = {2000},
  volume = {97},
  number = {8},
  pages = {456--461},
  xref = {Comment on mccall:1999a.},
  topic = {philosophy-of-computation;goedels-first-theorem;}
  }

@article{ george_r:1983a,
  author = {Rolf George},
  title = {A Postscript on Fallacies},
  journal = {Journal of Philosophical Logic},
  year = {1983},
  volume = {12},
  number = {3},
  pages = {319--325},
  topic = {Bolzano;fallacies;}
  }

@article{ george_r:1988a,
  author = {Rolf George},
  title = {Bolzano's Consequence, Relevance, and Enthymemes},
  journal = {Journal of Philosophical Logic},
  year = {1983},
  volume = {12},
  number = {3},
  pages = {299--318},
  topic = {Bolzano;logical-consequence;}
  }

@article{ georgeff:1982a,
  author = {Michael P. Georgeff},
  title = {Procedural Control in Production Systems},
  journal = {Artificial Intelligence},
  year = {1982},
  volume = {18},
  number = {2},
  pages = {175--201},
  topic = {rule-based-reasoning;procedural-control;}
  }

@article{ georgeff:1983a,
  author = {Michael P. Georgeff},
  title = {Strategies in Heuristic Search},
  journal = {Artificial Intelligence},
  year = {1983},
  volume = {20},
  number = {4},
  pages = {393--425},
  topic = {search;}
  }

@inproceedings{ georgeff:1986a,
  author = {Michael Georgeff},
  title = {The Representation of Events in Multiagent Domains},
  booktitle = {Proceedings of the Fifth National Conference on
              Artificial Intelligence},
  year = {1986},
  pages = {70--75},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  missinginfo = {editors, checkpub},
  topic = {concurrent-actions;}
  }

@incollection{ georgeff:1986b,
  author = {Michael P. Georgeff},
  title = {Actions, Processes, and Causality},
  booktitle = {Reasoning about Actions and Plans},
  publisher = {Morgan Kaufmann},
  year = {1986},
  editor = {Michael P. Georgeff and Amy Lansky},
  pages = {99--122},
  address = {Los Altos, California},
  topic = {action;causality;action-effects;concurrent-action;}
  }

@inproceedings{ georgeff:1987a,
  author = {Michael Georgeff},
  title = {Many Agents Are Better Than One},
  booktitle = {The Frame Problem in Artificial Intelligence: Proceedings
  	of the 1987 Workshop},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Frank M. Brown},
  pages = {59--75},
  address = {Los Altos, California},
  topic = {kr;frame-problem;concurrence;causality;}
  }

@book{ georgeff:1991a,
  editor = {Michael Georgeff},
  title = {Proceedings of the {IJCAI-91} Workshop on
  	Theoretical and Practical Design of Rational Agents},
  year = {1991},
  rtnote = {In RHT Collection.  CS MS shelves.},
  topic = {agent-architectures;}
 }

@techreport{ georgeff-bodnar:1984a,
  author = {Michael Georgeff and Stephen Bodnar},
  title = {A Simple and Efficient Implementation of Higher-Order
		Functions in {\sc lisp}},
  institution = {Center for the Study of Language and Information,
  	Stanford University},
  number = {CSLI--84--19},
  year = {1984},
  address = {Stanford, CA},
  rtnote = {In RHT collection.},
  topic = {higher-order-programming-constructs;}
  }

@techreport{ georgeff-etal:1986a,
  author = {Michael Georgeff and Amy Lansky and M.  Schoppers},
  title = {Reasoning and Planning in Dynamic Domains: An Experiment
	 with a Mobile Robot},
  number = {380},
  institution = {AI Center, SRI International},
  year = {1986},
  topic = {planning;robotics;}
  }

@techreport{ georgeff-lansky:1985a,
  author = {Michael P. Georgeff and Amy L. Lansky},
  title = {A System for Reasoning in Dynamic
  	Domains: Fault Diagnosis on the Space Shuttle},
  institution = {SRI International},
  number = {375},
  year = {1985},
  topic = {diagnosis;temporal-reasoning;}
  }

@article{ georgeff-lansky:1985b,
  author = {Michael Georgeff and Amy Lansky},
  title = {Procedural Knowledge},
  journal = {Proceedings of the {IEEE} Special Issue on Knowledge
  	Representation},
  year = {1985},
  pages = {1383--1398},
  missinginfo = {Volume?  Is information in right form?  Check this issue
  	for KR.},
  topic = {knowing-how;kr-course;}
  }

@book{ georgeff-lansky:1986b,
  editor = {Michael P. Georgeff and Amy Lansky},
  title = {Reasoning about Actions and Plans},
  publisher = {Morgan Kaufmann},
  year = {1986},
  address = {Los Altos, California},
  topic = {action;action-formalisms;foundations-of-planning;planning;}
 }

@inproceedings{ georgeff-rao_a:1995a,
  author = {Michael Georgeff and Anand Rao},
  title = {The Semantics of Intention Maintenance for Rational Agents},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {704--710},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {foundations-of-planning;intention-maintenance;}
 }

@article{ gerber_r-nagel_hh:2008a,
  author = {Ralf Gerber and Hans-Hellmut Nagel},
  title = {Representation of Occurrences for Road Vehicle Traffic},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {4--5},
  pages = {351--391},
  topic = {visual-reasoning;}
  }

@incollection{ gerbrandy:2000a,
  author = {Jelle Gerbrandy},
  title = {Identity in Epistemic Semantics},
  booktitle = {Logic, Language, and Computation, Volume 3},
  publisher = {CSLI Publications},
  year = {2000},
  editor = {Lawrence Cavedon and Patrick Blackburn and Nick Braisby
  	and Atushi Shimojina},
  pages = {147--159},
  address = {Stanford, California},
  topic = {epistemic-logic;knowing-who;}
  }

@article{ gerbrandy-groeneveld:1997a,
  author = {Jelle Gerbrandy and Willem Groeneveld},
  title = {Reasoning about Information Change},
  journal = {Journal of Logic, Language, and Information},
  year = {1997},
  volume = {6},
  number = {2},
  pages = {147--169},
  topic = {dynamic-logic;multiagent-epistemic-logic;}
  }

@incollection{ gerevini:1997a,
  author = {Alfonso Gerevini},
  title = {Reasoning about Time and Actions in {A}rtificial
  	{I}ntelligence: Major Issues},
  booktitle = {Spatial and Temporal Reasoning},
  publisher = {Kluwer Academic Publishers},
  year = {1997},
  editor = {Oliviero Stock},
  pages = {43--70},
  address = {Dordrecht},
  rtnote = {In RHT collection.  Out to be read.  Bib is in "bibs".},
  topic = {temporal-reasoning;foundations-of-planning;actions;
  	action-formalisms;}
  }

@article{ gerevini:2005a,
  author = {Alfonso Gerevini},
  title = {Incremental Qualitative Temporal Reasoning:  Algorithms
  		for the Point Algebra and the {ORD}-{H}orn Class},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {166},
  number = {1--2},
  pages = {37--80},
  topic = {temporal-reasoning;constraint-satisfaction;}
  }

@article{ gerevini-etal:2008a,
  author = {Alfonso E. Gerevini and Alessandro Saetti and Ivan Serina},
  title = {An Approach to Efficient Planning with Numerical Fluents
  		and Multi-Criteria Plan Quality},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {8--9},
  pages = {899--944},
  topic = {planning-algorithms;}
  }

@article{ gerevini-etal:2009a,
  author = {Alfonso Gerevini and Patrik Haslum and Derek Long and
  	Alessandro Saetti and Yannis Dimopoulos},
  title = {Deterministic Planning in the Fifth International Planning
  	Competition: {PDDL3} and Experimental Evaluation of the Planners},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {5--6},
  pages = {619--668},
  topic = {planning-systems;AI-system-evaluation;}
  }

@article{ gerevini-renz:2002a,
  author = {Alfonso Gerevini and Jochen Renz},
  title = {Combining Topological and Size Information for Spatial
  	Reasoning},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {137},
  number = {1--2},
  pages = {1--42},
  topic = {spatial-reasoning;constraint-based-reasoning;
  	constraint-satisfaction;complexity-in-AI;}
  }

@inproceedings{ gerevini-schubert:1993a,
  author = {Alfonso Gerevini and Lenhart Schubert},
  title = {Efficient Temporal Reasoning Through Timegraphs},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {648--654},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  rtnote = {In RHT collection.},
  xref = {See gerevini-schubert:1995a.},
  topic = {temporal-reasoning;qualitative-reasoning;}
  }

@incollection{ gerevini-schubert:1994a,
  author = {Alfonso Gereveni and Lenhart Schubert},
  title = {An Efficient Method for Managing Disjunctions in Qualitative
  	Temporal Reasoning},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {214--225},
  address = {San Francisco, California},
  xref = {See gerevini-schubert:1995a.},
  topic = {kr;temporal-reasoning;kr-course;}
  }

@article{ gerevini-schubert:1994b,
  author = {Alfonso Gerevini and Lenhart Schubert},
  title = {On Point-Based Temporal Disjointness},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {70},
  number = {1--2},
  pages = {347--361},
  acontentnote = {Abstract:
     We address the problems of determining consistency and of
     finding a solution for sets of three-point relations expressing
     exclusion of a point from an interval, and for sets of
     four-point relations expressing interval disjointness.
     Availability of these relations is an important requirement for
     dealing with the sorts of temporal constraints encountered in
     many AI applications such as plan reasoning. We prove that
     consistency testing is NP-complete and finding a solution is
     NP-hard.},
  topic = {complexity-in-AI;interval-logic;}
  }

@article{ gerevini-schubert:1995a,
  author = {Alfonso Gerevini and Lenhart Schubert},
  title = {Efficient Algorithms for Qualitative Reasoning about Time},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {74},
  number = {2},
  pages = {207--248},
  rtnote = {Use in KR course?},
  topic = {kr;temporal-reasoning;qualitative-reasoning;kr-course;}
  }

@article{ gerla:1994a,
  author = {Giangiacomo Gerla},
  title = {Inferences in Probability Logic},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {70},
  number = {1--2},
  pages = {33--52},
  topic = {probability-semantics;}
  }

@article{ gerla:2005a,
  author = {Giangiacomo Gerla},
  title = {Fuzzy Logic Programming and Fuzzy Control},
  journal = {Studia Logica},
  year = {2005},
  volume = {79},
  number = {2},
  pages = {231--254},
  topic = {fuzzy-logic;}
  }

@article{ gerla:2007a,
  author = {Giangiacomo Gerla},
  title = {Point-Free Geometry and Verisimilitude Theories},
  journal = {Journal of Philosophical Logic},
  year = {2007},
  volume = {36},
  number = {6},
  pages = {707--733},
  topic = {truthlikeness;geometry;}
  }

@incollection{ german:1995a,
  author = {Alan M. Leslie and Tim P. German},
  title = {Knowledge and Ability in `Theory of Mind': One-Eyed
  	Overview of a Debate},
  booktitle = {Mental Simulation: Evaluations and Applications},
  publisher = {Blackwell Publishers},
  year = {1995},
  editor = {Martin Davies and Tony Stone},
  pages = {123--150},
  address = {Oxford},
  topic = {folk-psychology;theory-theory-of-folk-psychology;
  	mental-simulation;propositional-attitude-ascription;}
  }

@article{ germann-etal:2004a,
  author = {Ulrich Germann and Michael Jahr and Kevin Knight and
  	Daniel Marcu and Kenji Yamada},
  title = {Fast and Optimal Decoding for Machine Translation},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {154},
  number = {1--2},
  pages = {127--143},
  topic = {machine-translation;}
  }

@article{ gerner:2009a,
  author = {Matthias Gerner},
  title = {Assessing the Modality Particles of the {Y}i Group in
  		Fuzzy Possible Worlds Semantics},
  journal = {Linguistics and Philosophy},
  year = {2009},
  volume = {32},
  number = {2},
  pages = {143--184},
  topic = {evidential-constructions;modals;nl-semantics;}
  }

@article{ gerrig-healy:1983a,
  author = {R.J. Gerrig and A.F. Healy},
  title = {Dual Processes in Metaphor Understanding: Comprehension and
        Appreciation},
  journal = {Journal of Experimental Psychology: Learning, Memory, and
  	Cognition},
  year = {1983},
  volume = {9},
  pages = {667--675},
  missinginfo = {A's 1st name, number},
  topic = {metaphor;cognitive-psychology;}
  }

@incollection{ gerstl:1995a,
  author = {Peter Gerstl},
  title = {Word Meaning Between Lexical and Conceptual Structure},
  booktitle = {Computational Lexical Semantics},
  publisher = {Cambridge University Press},
  year = {1995},
  editor = {Patrick Saint-Dizier and Evelyne Viegas},
  pages = {185--206},
  address = {Cambridge, England},
  topic = {computational-lexical-semantics;nl-kr;}
  }

@book{ gert:2004a,
  author = {Joshua Gert},
  title = {Brute Rationality},
  publisher = {Cambridge University Press},
  year = {2004},
  address = {Cambridge, England},
  ISBN-10 = {0521833183},
  ISBN-13 = {9780521833189},
  topic = {practical-reasonint;rationality;rational-action;}
 }

@article{ gert_h:1998a,
  author = {Heather J. Gert},
  title = {Review of \emph{{C}oming to Our Senses: A Naturalistic
  	Program for Semantic Localism}, by {M}ichael {D}evitt},
  journal = {Philosophical Review},
  year = {1998},
  volume = {107},
  number = {1},
  pages = {123--125},
  xref = {Review of devitt:1995a.},
  topic = {philosophy-of-language;foundations-of-semantics;}
  }

@article{ gert_j:2003a,
  author = {Joshua Gert},
  title = {Brute Rationality},
  journal = {No\^us},
  year = {2003},
  volume = {37},
  number = {3},
  pages = {417--446},
  topic = {philosophy-of-action;intention;}
  }

@article{ gertler:2009a,
  author = {Brie Gertler},
  title = {Stoljar's \emph{{I}gnorance and Imagination: The Epistemic
  	Origin of the Problem of Consciousness}},
  journal = {No\^us},
  year = {2009},
  volume = {43},
  number = {2},
  pages = {378--393},
  topic = {philosophy-of-mind;consciousness;}
  }

@article{ gerts:2000a,
  author = {Bart Gerts},
  title = {Indefinites and Choice Functions},
  journal = {Linguistic Inquiry},
  year = {2000},
  volume = {31},
  number = {4},
  pages = {731--738},
  topic = {epsilon-operator;indefiniteness;}
  }

@article{ gervais:2009a,
  author = {Pablo Gervais},
  title = {Computational Approaches to Storytetting and Creativity},
  journal = {The {AI} Magazine},
  year = {2009},
  volume = {30},
  number = {3},
  pages = {49--63},
  topic = {computational-creativity;storytelling;AI-and-fiction;}
  }

@article{ gettier:1963a,
  author = {Edmund Gettier},
  title = {Is Justified True Belief Knowledge?},
  journal = {Analysis},
  year = {1963},
  volume = {23},
  pages = {121--123},
  rtnote = {In RHT collection.},
  topic = {belief;analytic-philosophy;epistemic-logic;belief;
  	philosophy-of-belief;}
}

@phdthesis{ geurts:1994a,
  author = {Bart Geurts},
  title = {Presupposing},
  school = {University of Stuttgart},
  year = {1994},
  type = {Ph.D. Dissertation},
  address = {Stuttgart},
  topic = {pragmatics;presupposition;}
 }

@article{ geurts:1996a,
  author = {Bart Geurts},
  title = {Local Satisfaction Guaranteed: A Presupposition Theory and
  	Its Problems},
  journal = {Linguistics and Philosophy},
  year = {1996},
  volume = {19},
  number = {3},
  pages = {259--294},
  topic = {presupposition;pragmatics;accommodation;}
  }

@article{ geurts:1996b,
  author = {Bart Geurts},
  title = {Review of \emph{{M}emory and Context for Language
  	Interpretaion}, by {H}iyan {A}lshawi},
  journal = {Journal of Semantics},
  year = {1996},
  volume = {6},
  pages = {95--98},
  topic = {memory-models;memory;context;nl-interpretation;}
  }

@article{ geurts:1998a,
  author = {Bart Geurts},
  title = {Presuppositions and Anaphors in Attitude Contexts},
  journal = {Linguistics and Philosophy},
  year = {1998},
  volume = {21},
  number = {6},
  pages = {545--601},
  topic = {presupposition;anaphora;propositional-attitudes;}
  }

@book{ geurts:1999a,
  author = {Bart Geurts},
  title = {Presuppositions and Pronouns},
  publisher = {Elsevier},
  year = {1999},
  address = {Amsterdam},
  ISBN = {0-08-043592-0},
  topic = {presuppositions;dynamic-semantics;binding-theory;
  	pronouns;anaphora;propositional-attitudes;}
 }

@article{ geurts:2000a,
  author = {Bart Geurts},
  title = {Review of \emph{{I}nvestigations into Universal Grammar:
  	A Guide to Experiments on the Acquisition of Syntax}, by
  	Stephen Crain and Rosalind Thornton},
  journal = {Linguistics and Philosophy},
  year = {2000},
  volume = {23},
  number = {5},
  pages = {523--532},
  xref = {Review of: crain-thornton:1998a},
  topic = {L1-acquisition;}
  }

@article{ geurts:2002a,
  author = {Bart Geurts},
  title = {Donkey Business},
  journal = {Linguistics and Philosophy},
  year = {2002},
  volume = {25},
  number = {2},
  pages = {129--156},
  topic = {donkey-anaphora;semantic-processing;world-knowledge;}
  }

@article{ geurts:2005a,
  author = {Bart Geurts},
  title = {Entertaining Alternatives: Disjunctions as Modals},
  journal = {Natural Language Semantics},
  year = {2005},
  volume = {13},
  number = {4},
  pages = {383--410},
  topic = {disjunction;modality;alternatives;nl-semantics;}
  }

@inproceedings{ ghalib-alaoui:1989a,
  author = {Malik Ghalib and Mounir Alaoui},
  title = {Managing Efficiently Temporal Relations Through Indexed
  	Spanning Trees},
  booktitle = {Proceedings of the Eleventh International Joint
  	Conference on Artificial Intelligence},
  year = {1989},
  editor = {N.S. Sridharan},
  pages = {1297--1303},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  topic = {temporal-reasoning;}
  }

@incollection{ ghallib:1996a,
  author = {Malik Ghallib},
  title = {On Chronicles: Representations, On-Line Recognition and
  	Learning},
  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 = {597--606},
  address = {San Francisco, California},
  topic = {kr;temporal-reasoning;kr-course;}
  }

@book{ ghezzi-etal:1991a,
  author = {Carlo Ghezzi and Mehdi Jazayeri and Dino Mandrioli},
  title = {Introduction to the Personal Software Process},
  publisher = {Addison-Wesley},
  year = {1997},
  address = {Reading, Massachusetts},
  ISBN = {0201548097},
  rtnote = {UMich Media Union Library, QA 76.758 .H8581 1997.},
  topic = {software-engineering;}
 }

@phdthesis{ ghidini:1998a,
  author = {Chiara Ghidini},
  title = {A Semantics for Contextual Reasoning: Theory and Two
  	Relevant Applications},
  school = {Department of Computer Science, University of Rome
  	``La Sapienza''},
  year = {1998},
  type = {Ph.{D}. Dissertation},
  address = {Rome},
  topic = {context;contextual-reasoning;}
 }

@incollection{ ghidini:1999a,
  author = {Chiara Ghidini},
  title = {Modelling (Un)Bounded Beliefs},
  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 = {145--158},
  address = {Berlin},
  topic = {context;multimodal-logic;epistemic-logic;
		logic-of-context;}
  }

@article{ ghidini-giunchiglia_f:2001a,
  author = {Chiara Ghidini and Fausto Giunchiglia},
  title = {Local Models Semantics, or Contextual Reasoning $=$
		Locality$\,+\,$Compatibility},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {127},
  number = {2},
  pages = {221--259},
  xref = {Conference Publication: ghidini-giunchiglia_f:1998a.},
  topic = {kr;context;epistemic-logic;propositional-attitudes;
		reasoning-about-knowledge;kr-course;}
  }

@incollection{ ghidini-giunchiglia_f:2007a,
  author = {Chiara Ghidini and Fausto Giunchiglia},
  title = {What is Local Models Semantics?},
  booktitle = {Perspectives on Context},
  publisher = {CSLI Publications},
  year = {2007},
  editor = {Paolo Bouquet and Luciano Serafini and Richmond H. Thomason},
  pages = {19--41},
  address = {Stanford, California},
  topic = {context;logic-of-context;contextual-reasoning;}
  }

@inproceedings{ ghidini-serafini:1996a,
  author = {Chiara Ghidini and Luciano Serafini},
  title = {Distributed First Order Logics},
  booktitle = {Frontiers of Combining Systems 2},
  year = {1996},
  editor = {Franz Baader and Klaus Ulrich Schulz},
  publisher = {Research Studies Press},
  address = {Berlin},
  missinginfo = {pages},
  note = {Also IRST-Technical Report 9709-02, IRST, Trento, Italy},
  topic = {context;}
  }

@incollection{ ghidini-serfini:1999a,
  author = {Chiara Ghidini and Luigi Serfini},
  title = {A Context-Based Logic for Distributed Knowledge
  	Representation and Reasoning},
  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 = {159--172},
  address = {Berlin},
  topic = {context;logic-of-context;}
  }

@article{ ghidini-turner_r:2003a,
  author = {Chiara Ghidini and Roy Turner},
  title = {Report on the {F}ourth {I}nternational and
  		{I}nterdisciplinary {C}onference on {M}odeling
		and {U}sing {C}ontext},
  journal = {The {AI} Magazine},
  year = {2003},
  volume = {24},
  number = {4},
  pages = {133--134},
  xref = {Report on: blackburn_p-etal:2003a.},
  topic = {context;}
  }

@incollection{ ghilardi-etal:2006a,
  author = {Silvio Ghilardi and Carsten Lutz and Frank Woller},
  title = {Did {I} Damage My Ontology?  A Case for Conservative
		Extensions in Description Logics},
  booktitle = {{KR}2006: Proceedings, Tenth International Conference on
      Principles of  Knowledge Representation and Reasoning},
  publisher = {AAAI Press},
  year = {2006},
  editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty},
  pages = {187--197},
  address = {Menlo Park, California},
  topic = {computational-ontology;knowledge-base-revision;}
  }

@article{ ghilardi-sacchetti:2004a,
  author = {Silvio Ghilardi and Lorenzo Sacchetti},
  title = {Filtering Unification and Most General Unifiers in
  		Modal Logic},
  journal = {Journal of Symbolic Logic},
  year = {2004},
  volume = {69},
  number = {3},
  pages = {879--906},
  topic = {modal-logic;unification-of-FSs;}
  }

@article{ ghilardi-zawadowski:1995a,
  author = {Silvio Ghilardi and Marek Zawadowski},
  title = {Undefinability of Propositional Quantifiers in the System
  	A4},
  journal = {Studia Logica},
  year = {1995},
  volume = {55},
  number = {2},
  pages = {259--271},
  rtnote = {Wasn't this proved much earlier by Fine?  And/or Scott?},
  topic = {propositional-quantifiers;}
  }

@inproceedings{ ghirardato-marinacci:1998a,
  author = {Paolo Ghirardato and Massimo Marinacci},
  title = {Ambiguity Made Precise: A Comparative Foundation},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Seventh Conference ({TARK} 1998)},
  year = {1998},
  editor = {Itzhak Gilboa},
  pages = {293--296},
  publisher = {Morgan Kaufmann},
  address = {San Francisco, California},
  topic = {foundations-of-probability;}
  }

@book{ ghirardi:2005a,
  author = {GianCarlo Ghirardi},
  title = {Sneaking a Look at {G}od's Cards},
  edition = {Revised},
  publisher = {Princeton University Press},
  year = {2005},
  address = {Princeton, New Jersey},
  ISBN = {0-691-121397 (hbk)},
  topic = {quantum-mechanics;}
 }

@book{ ghirardi:2005b,
  author = {GianCarlo Ghirardi},
  title = {Sneaking a Look at {G}od's Cards},
  edition = {Revised},
  publisher = {Princeton University Press},
  year = {2005},
  address = {Princeton, New Jersey},
  ISBN = {0-691-121397 (hbk)},
  topic = {quantum-mechanics;}
 }

@incollection{ ghose-goebel:1998a,
  author = {Adiyata K. Ghose and Randy Goebel},
  title = {Belief States as Default Theories:  Studies in
  	Non-Prioritized Belief Change},
  booktitle = {{ECAI}98, Thirteenth European Conference on
  	Artificial Intelligence},
  publisher = {John Wiley and Sons},
  year = {1998},
  editor = {Henri Prade},
  pages = {8--12},
  address = {Chichester},
  contentnote = {This paper suggests using default theories to model
  	belief states.},
  rtnote = {Relevant to my work on practical reasoning.},
  topic = {belief-revision;default-logic;}
  }

@article{ giambrone:1985a,
  author = {Steve Giambrone},
  title = {$TW_{+}$ and $RW_{+}$ Are Decidable},
  journal = {Journal of Philosophical Logic},
  year = {1985},
  volume = {14},
  number = {3},
  pages = {235--254},
  topic = {relevance-logic;}
  }

@article{ giang-shenoy:2005a,
  author = {Phan H. Giang and Prakash P. Shenoy},
  title = {Decision Making on the Sole Basis of Statistical Likelihood},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {165},
  number = {2},
  pages = {137--185},
  topic = {decision-theory;foundations-of-decision-theory;}
  }

@inproceedings{ giannakidou:1995a,
  author = {Anastasia Giannakidou},
  title = {Subjunctive, Habituality and Negative Polarity Markers},
  booktitle = {Proceedings from Semantics and Linguistic Theory {V}},
  year = {1995},
  editor = {Mandy Simons and Teresa Galloway},
  pages = {94--111},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {nl-semantics;polarity;subjunctive-mood;}
  }

@article{ giannakidou:1999b,
  author = {Anastasia Giannakidou},
  title = {Affective Dependencies},
  journal = {Linguistics and Philosophy},
  year = {1999},
  volume = {22},
  number = {4},
  pages = {367--421},
  topic = {negation;polarity;}
  }

@article{ giannakidou:2001a,
  author = {Anastasia Giannakidou},
  title = {The Meaning of Free Choice},
  journal = {Linguistics and Philosophy},
  year = {2001},
  volume = {24},
  number = {6},
  pages = {659--735},
  topic = {free-choice-`any/or';Greek-language;}
  }

@inproceedings{ giannakidou:2002a,
  author = {Anastasia Giannakidou},
  title = {{UNTIL}, Aspect, and Negation: A Novel
     		Argument for two Untils},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XII}},
  publisher = {Cornell University},
  year = {2002},
  editor = {Brendan Jackson},
  pages = {84--103},
  address = {Ithaca, New York},
  topic = {nl-semantics;temporal-adverbials;}
  }

@book{ giaquinto:2002a,
  author = {Marcus Giaquinto},
  title = {The Search for Certainty:  A Philosophical
  		Account of Foundations of Mathematics},
  publisher = {Oxford University Press},
  year = {2002},
  address = {Oxford},
  xref = {Review: colyvan:2004a.},
  topic = {foundations-of-mathematics;foundations-of-set-theory;}
 }

@book{ giaquinto:2007a,
  author = {Marcus Giaquinto},
  title = {Visual Thinking in Mathematics},
  publisher = {Oxford University Press},
  year = {2007},
  address = {Oxford},
  topic = {mathematical-reasoning;visual-reasoning;}
 }

@phdthesis{ gibbard:1971a1,
  author = {Allan F. Gibbard},
  title = {Utilitarianism and Coordination},
  school = {Philosophy Department, Harvard University},
  year = {1971},
  type = {Ph.{D}. Dissertation},
  address = {Cambridge, Massachusetts},
  xref = {Book Publication: gibbard:1971a2},
  topic = {utilititarianism;game-theoretic-coordination;}
 }

@book{ gibbard:1971a2,
  author = {Allan F. Gibbard},
  title = {Utilitarianism and Coordination},
  publisher = {Garland Publishing Co.},
  year = {1990},
  series = {Distinguished Harvard Dissertations in Philosophy},
  address = {New York},
  xref = {Republication of gibbard:1971a1.},
  topic = {utilititarianism;game-theoretic-coordination;}
 }

@article{ gibbard:1972a,
  author = {Allan F. Gibbard},
  title = {Doing No More Harm Than Good},
  journal = {Philosophical Studies},
  year = {1972},
  volume = {24},
  pages = {158--173},
  rtnote = {In RHT collection.},
  topic = {foundations-of-utility;}
  }

@article{ gibbard:1973a1,
  author = {Allan F. Gibbard},
  title = {Manipulation of Voting Schemes: A General Result},
  journal = {Econometrica},
  year = {1973},
  volume = {41},
  number = {4},
  pages = {587--601},
  xref = {Republication: gibbard:1973a2},
  topic = {welfare-economics;social-choice-theory;strategic-voting;}
  }

@incollection{ gibbard:1973a2,
  author = {Allan F. Gibbard},
  title = {Manipulation of Voting Schemes: A General Result},
  booktitle = {Social Choice Theory},
  publisher = {Elgar},
  year = {1993},
  editor = {Charles Kershaw Rowley},
  address = {Aldershot, England},
  note = {International Library of Critical
     Writings in Economics, 27. Elgar Reference Collection.},
  missinginfo = {pages},
  xref = {Republication of gibbard:1973a1},
  topic = {welfare-economics;social-choice-theory;strategic-voting;}
  }

@article{ gibbard:1973b,
  author = {Allan F. Gibbard},
  title = {Doing No More Harm Than Good},
  journal = {Philosophical Studies},
  year = {1973},
  volume = {24},
  number = {3},
  pages = {158--173},
  topic = {utilitatianism;}
  }

@article{ gibbard:1974a1,
  author = {Allan F. Gibbard},
  title = {A Pareto-Consistent Libertarian Claim},
  journal = {Journal of Economic Theory},
  year = {1974},
  volume = {7},
  pages = {338--410},
  missinginfo = {number},
  xref = {Republication: gibbard:1974a2},
  topic = {welfare-economics;ethics;}
  }

@incollection{ gibbard:1974a2,
  author = {Allan F. Gibbard},
  title = {A {P}areto-Consistent Libertarian Claim},
  booktitle = {Social Choice Theory},
  publisher = {Elgar},
  year = {1993},
  editor = {Charles Kershaw Rowley},
  address = {Aldershot, England},
  note = {International Library of Critical Writings in Economics,
  	27.  Elgar Reference Collection.},
  xref = {Republication of gibbard:1974a1},
  missinginfo = {pages},
  topic = {welfare-economics;ethics;}
  }

@article{ gibbard:1975a,
  author = {Allan F. Gibbard},
  title = {Contingent Identity},
  journal = {Journal of Philosophical Logic},
  year = {1975},
  volume = {4},
  number = {2},
  pages = {187--221},
  topic = {identity;individuation;}
  }

@unpublished{ gibbard:1975b,
  author = {Allan F. Gibbard},
  title = {Non-{B}ayesian News Items},
  year = {1975},
  note = {Unpublished manuscript, University of Pittsburgh.},
  rtnote = {In RHT collection.},
  topic = {probability-kinematics;foundations-of-utility;}
  }

@article{ gibbard:1977a1,
  author = {Allan F. Gibbard},
  title = {Manipulation of Schemes That Mix Voting with Chance},
  journal = {Econometrica},
  year = {1977},
  volume = {45},
  number = {3},
  pages = {665--681},
  topic = {welfare-economics;social-choice-theory;strategic-voting;}
  }

@article{ gibbard:1978a,
  author = {Allan F. Gibbard},
  title = {Straightforwardness of Game Forms with Lotteries as Outcomes},
  journal = {Econometrica},
  year = {1978},
  volume = {46},
  number = {3},
  pages = {595--614},
  topic = {foundations-of-game-theory;}
  }

@incollection{ gibbard:1978b,
  author = {Allan F. Gibbard},
  title = {Act-Utilitarian Agreements},
  booktitle = {Values and Morals: Essays in Honor of {W}illiam
  	{F}rankena, {C}harles {S}tevenson, and {R}ichard {B}randt},
  publisher = {D. Reidel Publishing Co.},
  year = {1978},
  editor = {Alvin I. Goldman and Jaegwon Kim},
  pages = {91--119},
  address = {Dordrecht},
  topic = {utilitarianism;}
  }

@article{ gibbard:1978c,
  author = {Allan F. Gibbard},
  title = {Preference Strength and Two Kinds of Ordinalism},
  journal = {Philosophia},
  year = {1978},
  volume = {7},
  number = {2},
  pages = {255--264},
  topic = {preferences;utilities;}
  }

@incollection{ gibbard:1978d,
  author = {Allan F. Gibbard},
  title = {Social Decision, Strategic Behavior, and Best Outcomes},
  booktitle = {Decision Theory and Social Ethics: Issues in Social
  	Choice},
  publisher = {D. Reidel Publishing Co.},
  year = {1978},
  editor = {Hans W. Gottinger and Werner Leinfellner},
  pages = {153--168},
  address = {Dordrecht},
  topic = {social-choice-theory;}
  }

@article{ gibbard:1979a,
  author = {Allan F. Gibbard},
  title = {Disparate Goods and {R}awls' Difference Principle: A
  	Social Choice Theoretic Treatment},
  journal = {Theory and Decision},
  year = {1979},
  volume = {11},
  number = {3},
  pages = {267--288},
  topic = {social-choice;social-justice;}
  }

@incollection{ gibbard:1981a,
  author = {Allan F. Gibbard},
  title = {Two Recent Theories of Conditionals},
  booktitle = {Ifs: Conditionals, Beliefs, Decision, Chance, Time},
  publisher = {D. Reidel Publishing Co.},
  year = {1981},
  editor = {William L. Harper and Robert C. Stalnaker and G. Pearce},
  pages = {211--247},
  address = {Dordrecht},
  topic = {conditionals;}
  }

@incollection{ gibbard:1981b,
  author = {Allan F. Gibbard},
  title = {Indicative Conditionals and Conditional Probability: Reply to
     {P}ollock},
  booktitle = {Ifs: Conditionals, Beliefs, Decision, Chance, Time},
  publisher = {D. Reidel Publishing Co.},
  year = {1981},
  editor = {William L. Harper and Robert C. Stalnaker and G. Pearce},
  pages = {253--256},
  address = {Dordrecht},
  topic = {cccp;conditionals;probability;}
  }

@incollection{ gibbard:1982a,
  author = {Allan F. Gibbard},
  title = {Inchoately Utilitarian Common Sense: The Bearing of a Thesis of
     {S}idgwick's on Moral Theory},
  booktitle = {The Limits of Utilitarianism},
  publisher = {University of Minnesota Press},
  year = {1982},
  editor = {Harlan B. Miller and William H. Williams},
  pages = {71--85},
  address = {Minneapolis},
  topic = {utilitarianism;}
  }

@incollection{ gibbard:1982b,
  author = {Allan F. Gibbard},
  title = {Human Evolution and the Sense of Justice},
  booktitle = {Social and Political Philosophy},
  publisher = {University of Minnesota Press},
  year = {1982},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {31--46},
  address = {Minneapolis, Minnesota},
  topic = {evolution;ethics;political-philosophy;}
  }

@article{ gibbard:1983a,
  author = {Allan F. Gibbard},
  title = {A Noncognitivistic Analysis of Rationality in Action},
  journal = {Social Theory and Practice},
  year = {1983},
  volume = {9},
  pages = {199--222},
  missinginfo = {number},
  topic = {rationality;action;ethics;}
  }

@article{ gibbard:1984a1,
  author = {Allan F. Gibbard},
  title = {Utilitarianism and Human Rights},
  journal = {Social Philosophy and Policy},
  year = {1984},
  volume = {1},
  number = {2},
  pages = {92--102},
  xref = {Republished in gibbard:1984a2, gibbard:1984a3.},
  topic = {utilitarianism;ethics;}
  }

@incollection{ gibbard:1984a2,
  author = {Allan F. Gibbard},
  title = {Utilitarianism and Human Rights},
  booktitle = {Human Rights},
  publisher = {Blackwell Publishers},
  year = {1984},
  editor = {Ellen Paul Frankel and Fred {Miller, Jr.} and Jeffrey Paul},
  pages = {92--102},
  address = {Oxford},
  xref = {Republication of gibbard:1984a1.},
  topic = {utilitarianism;ethics;}
  }

@incollection{ gibbard:1984a3,
  author = {Allan F. Gibbard},
  title = {Utilitarianism and Human Rights},
  booktitle = {Readings in Social and Political Philosophy},
  publisher = {Prentice-Hall},
  year = {1992},
  editor = {John Arthur and William H. Shaw},
  address = {Englewood Cliffs, New Jersey},
  missinginfo = {pages},
  xref = {Republication of gibbard:1984a1.},
  topic = {utilitarianism;ethics;}
  }

@article{ gibbard:1985a,
  author = {Allan F. Gibbard},
  title = {Normative Objectivity},
  journal = {No\^us},
  year = {1985},
  volume = {19},
  number = {1},
  pages = {41--51},
  topic = {ethics;}
  }

@article{ gibbard:1985b1,
  author = {Allan F. Gibbard},
  title = {Moral Judgment and the Acceptance of Norms},
  journal = {Ethics},
  year = {1985},
  volume = {96},
  number = {1},
  pages = {5--21},
  xref = {Republcations: gibbard:1985b2, gibbard:1985b3.},
  topic = {ethics;}
  }

@incollection{ gibbard:1985b2,
  author = {Allan F. Gibbard},
  title = {Moral Judgment and the Acceptance of Norms},
  booktitle = {Ethics and Economics},
  publisher = {Elgar},
  year = {1996},
  editor = {Alan P. Hamlin},
  address = {Aldershot, England},
  note = {International Library of Critical
     Writings in Economics. Elgar Reference Collection.},
  missinginfo = {pages},
  xref = {Republcation of gibbard:1985b1.},
  topic = {ethics;}
  }

@incollection{ gibbard:1985b3,
  author = {Allan F. Gibbard},
  title = {Moral Judgment and the Acceptance of Norms},
  booktitle = {Moral Philosophy: Selected Readings},
  publisher = {Harcourt Brace College Publishers},
  year = {1996},
  editor = {George Sher},
  address = {Fort Worth},
  missinginfo = {pages},
  xref = {Republcation of gibbard:1985b1.},
  topic = {ethics;}
  }

@incollection{ gibbard:1986a,
  author = {Allan F. Gibbard},
  title = {Risk and Value},
  booktitle = {Values at Risk},
  publisher = {Rowman and Allanheld},
  year = {1986},
  editor = {Douglas MacLean},
  pages = {94--112},
  address = {Totowa, New Jersey},
  note = {Maryland Studies in Public Philosophy},
  topic = {utility;risk;decision-theory;}
  }

@incollection{ gibbard:1987a,
  author = {Allan F. Gibbard},
  title = {Ordinal Utilitarianism},
  booktitle = {Arrow and the Foundations of the Theory of Economic
  	Policy},
  publisher = {New York University Press},
  year = {1987},
  editor = {George R. Feiwel},
  pages = {135--153},
  address = {New York},
  topic = {utilitarianism;}
  }

@book{ gibbard:1990a,
  author = {Allan F. Gibbard},
  title = {Wise Choices, Apt Feelings: A Theory of Normative Judgement},
  publisher = {Harvard University Press},
  year = {1990},
  address = {Cambridge, Massachusetts},
  topic = {ethics;}
 }

@article{ gibbard:1992a,
  author = {Allan Gibbard},
  title = {Reply to {B}lackburn, {C}arson, {H}ill, and {R}ailton},
  journal = {Philosophy and Phenomenological Research},
  pages = {969--980},
  volume = {52},
  year = {1992},
  Url = {http://www.jstor.org/stable/2107924},
  topic = {expressivism;}
  }

@incollection{ gibbard:2003a,
  author = {Allan Gibbard},
  title = {Thoughts and Norms},
  booktitle = {Philosophy of Mind},
  publisher = {Blackwell Publishers},
  year = {2003},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {83--98},
  address = {Oxford},
  topic = {normativity;foundations-of-semantics;philosophy-of-mind;}
  }

@book{ gibbard:2003b,
  author = {Allen Gibbard},
  title = {Thinking How to Live},
  publisher = {Harvard University Press},
  year = {2003},
  address = {Cambridge, Massachusetts},
  xref = {Review: brink_do:2007a},
  topic = {ethics;expressivism;}
 }

@unpublished{ gibbard:2004a,
  author = {Allan Gibbard},
  title = {Supplement to `Propositions: Not What We Believe'\,},
  year = {2004},
  note = {Unpublished manuscript, Philosophy Department, University of
  	Michigan},
  rtnote = {In RHT collection.},
  topic = {propositions;propositional-attitudes;}
  }

@book{ gibbard:2008a,
  author = {Allan F. Gibbard},
  title = {Reconciling Our Aims:  In Search of Bases for Ethics},
  publisher = {Oxford University Press},
  year = {2008},
  address = {Oxford},
  xref = {Review: star:2010a},
  topic = {ethics;}
 }

@incollection{ gibbard-harper_wl:1978a1,
  author = {Allan F. Gibbard and William L. Harper},
  title = {Counterfactuals and Two Kinds of Expected Utility},
  booktitle = {Foundations and Applications of Decision Theory},
  publisher = {D. Reidel Publishing Co.},
  year = {1978},
  editor = {Clifford Hooker and James J. Leach and Edward McClennen},
  pages = {125--162},
  address = {Dordrecht},
  xref = {Republished in harper-etal:1981a.},
  rtnote = {Reading notes on file.},
  topic = {conditionals;decision-theory;causal-decision-theory;
  	Newcomb-problem;}
  }

@incollection{ gibbard-harper_wl:1978a2,
  author = {Allan F. Gibbard and William L. Harper},
  title = {Counterfactuals and Two Kinds of Expected Utility},
  booktitle = {Ifs: Conditionals, Belief, Decision, Chance, and Time},
  publisher = {D. Reidel Publishing Co.},
  year = {1981},
  editor = {William L. Harper and Robert Stalnaker and Glenn Pearce},
  pages = {153--190},
  address = {Dordrecht},
  xref = {Originally Published in hooker-etal:1978a.},
  rtnote = {Reading notes on file.},
  topic = {conditionals;decision-theory;}
  }

@article{ gibbins:1982a,
  author = {P.F. Gibbins},
  title = {The Strange Modal Logic of Indeterminacy},
  journal = {Logique et Analyse, Nouvelle S\'erie},
  year = {1982},
  volume = {50},
  pages = {443--446},
  missinginfo = {A's 1st name},
  topic = {vagueness;identity;}
  }

@unpublished{ gibbon_d:1990a,
  author = {Daffyd Gibbon},
  title = {Prosodic Association by Template Inheritance},
  year = {1990},
  month = {March},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript.},
  topic = {lexical-prosody;}
  }

@unpublished{ gibbon_d:1998a,
  author = {Daffyd Gibbon},
  title = {{ZDATR} Version 2.0},
  year = {1998},
  rtnote = {In RHT collection.},
  note = {Version 1.  Available from http://coral.lili.uni-bielefeld.de.},
  rtnote = {In RHT collection.  Manuals Drawer.},
  topic = {DATR;}
  }

@book{ gibbon_d-etal:1997a,
  editor = {Daffyd Gibbon and Roger Moore and Richard Winski},
  title = {Handbook of Standards and Resources for Spoken Language
  	Systems},
  publisher = {Mouton de Gruyter},
  year = {1997},
  address = {Berlin},
  ISBN = {3-11-015366-1},
  xref = {Review: vansanten:1998a},
  topic = {speech-generation;speech-recognition;}
 }

@book{ gibbon_d-richter:1984a,
  editor = {Dafydd Gibbon and Helmut Richter},
  title = {Intonation, Accent, and Rhythm: Studies in Discourse
  	Phonology},
  publisher = {Walter de Gruyter},
  year = {1984},
  address = {Berlin},
  rtnote = {HILLMAN P224 I5 1984},
  topic = {discourse-analysis;}
}

@article{ gibbons:1996a,
  author = {John Gibbons},
  title = {Externalism and the Knowledge of Content},
  journal = {The Philosophical Review},
  year = {1996},
  volume = {105},
  number = {3},
  pages = {287--310},
  topic = {propositional-attitudes;}
  }

@article{ gibbons:2006a,
  author = {John Gibbons},
  title = {Mental Causation without Downward Causation},
  journal = {The Philosophical Review},
  year = {2006},
  volume = {115},
  number = {1},
  pages = {79--103},
  topic = {causality;volition;philosophy-of-mind;}
  }

@article{ gibbons:2009a,
  author = {John Gibbons},
  title = {You Gotta Do What You Gotta Do},
  journal = {No\^us},
  year = {2009},
  volume = {43},
  number = {1},
  pages = {157--177},
  topic = {practical-reasoning;motivation;desires;}
  }

@article{ gibbs_jrw-obrian_j:1991a,
  author = {J.R.W. Gibbs and J. O'Brian},
  title = {Psychological Aspects of Irony Understanding},
  journal = {Journal of Pragmatics},
  year = {1991},
  volume = {16},
  number = {6},
  pages = {523--530},
  missinginfo = {A's 1st name},
  topic = {irony;cognitive-psychology;}
  }

@article{ gibbs_rl-etal:1994a,
  author = {Raymond L. Gibbs, Jr. and Dinara A. Beitel and
  	Michael Harrington and Paul E. Sanders},
  title = {Taking a Stand on the Meanings of {\em Stand}: Bodily
  	Experience as a Motivation for Polysemy},
  journal = {Journal of Semantics},
  year = {1994},
  volume = {11},
  number = {3},
  pages = {231--251},
  topic = {semantic-processing;lexical-semantics;}
  }

@article{ gibbs_rw:1980a,
  author = {Raymond W.. {Gibbs, Jr.}},
  title = {Spilling the Beans on Understanding and Memory for Idioms
  	in Conversation},
  journal = {Memory and Cognition},
  year = {1980},
  volume = {8},
  pages = {149--156},
  missinginfo = {A's 1st name, number},
  topic = {idioms;pragmatics;cognitive-psychology;}
  }

@article{ gibbs_rw:19

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit