text:
osophy and {AI}: Essays at the Interface},
  publisher = {The {MIT} Press},
  year = {1991},
  editor = {Robert Cummins and John L. Pollock},
  pages = {105--128},
  address = {Cambridge, Massachusetts},
  topic = {complexity-in-AI;expected-complexity;}
  }

@incollection{ glymour-etal:1995a,
  author = { Clark Glymour and Kenneth M. Ford and and Patrick J. Hayes},
  title = {The Prehistory of Android Epistemology},
  booktitle = {Android Epistemology},
  publisher = {Cambridge University Press},
  year = {1995},
  editor = {Kenneth M. Ford and Clark Glymour and Patrick J. Hayes},
  pages = {3--21},
  address = {Cambridge, England},
  topic = {history-of-AI;philosophy-AI;}
  }

@inproceedings{ gmystrasiewicz:1995a,
  author = {Piotr Gmystrasiewicz},
  title = {On Rational Reasoning about Other Agents},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Rational Agency: Concepts, Theories, Models, and Applications},
  year = {1995},
  editor = {Michael Fehling},
  pages = {68--74},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {distributed-AI;interpersonal-reasoning;game-theory;
  	decision-theory;}
  }

@incollection{ gmytrasiewicz:1999a,
  author = {Piotr J. Gmytrasiewicz},
  title = {Toward Rational Interactions in Multiagent Domains},
  booktitle = {Foundations of Rational Agency},
  publisher = {Kluwer Academic Publishers},
  year = {1999},
  editor = {Michael Wooldridge and Anand Rao},
  pages = {81--103},
  address = {Dordrecht},
  topic = {multiagent-systems;agent-communication;}
  }

@article{ gmytrasiewicz-durfee:1993a,
  author = {Piotr J. Gmytrasiewicz and Edmund H. Durfee},
  title = {Toward a Theory of Honesty and Trust among Communicating
  	Autonomous Agents},
  journal = {Group Decision and Negotiation},
  volume = {2},
  year = {1993},
  pages = {237--258},
  rtnote = {In RHT collection.  Filed under "Durfee".},
  topic = {multiagent-systems;communication-protocols;}
  }

@inproceedings{ gmytrasiewicz-durfee:1993b,
  author = {Piotr J. Gmytrasiewicz and Edmund H. Durfee},
  title = {Elements of a Utilitarian Theory of Knowledge and Action},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {396--402},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  rtnote = {In RHT collection.},
  missinginfo = {Oops -- I didn't copy last page.},
  topic = {agent-modeling;decision-theory;branching-time;}
  }

@inproceedings{ gmytrasiewicz-etal:1991a,
  author = {Piotr J. Gmytrasiewicz and Edmund H. Durfee and David K.
  	Wehe},
  title = {The Utility of Communication in Coordinating Intelligent
  	Agents},
  booktitle = {Proceedings of the Ninth National Conference on
              Artificial Intelligence},
  year = {1991},
  editor = {Thomas Dean and Kathleen McKeown},
  pages = {166--172},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {discourse;coord-in-conversation;pragmatics;}
  }

@incollection{ goad:1991a,
  author = {Chris Goad},
  title = {Metaprogramming at Work in Automated Manufacturing},
  booktitle = {Artificial Intelligence and Mathematical Theory of
  	Computation},
  publisher = {Academic Press},
  year = {1991},
  editor = {Vladimir Lifschitz},
  pages = {109--128},
  address = {San Diego},
  topic = {metaprogramming;}
  }

@article{ goble:1974a,
  author = {Louis F. Goble},
  title = {Gentzen Systems for Modal Logic},
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1974},
  volume = {15},
  number = {3},
  pages = {455--461},
  rtnote = {In RHT collection.},
  topic = {modal-logic;proof-theory;}
  }

@article{ goble:1990a,
  author = {Louis F. Goble},
  title = {A Logic of `Good', `Should', and `Would', Part {I}},
  journal = {Journal of Philosophical Logic},
  year = {1990},
  volume = {19},
  number = {2},
  pages = {169--199},
  topic = {deontic-logic;qualitative-utility;practical-reasoning;
  	evaluative-terms;}
  }

@article{ goble:1990b,
  author = {Louis F. Goble},
  title = {A Logic of `Good', `Should', and `Would', Part {II}},
  journal = {Journal of Philosophical Logic},
  year = {1990},
  volume = {19},
  number = {3},
  pages = {252--276},
  topic = {deontic-logic;qualitative-utility;practical-reasoning;
  	evaluative-terms;}
  }

@incollection{ goble:1998a,
  author = {Louis F. Goble},
  title = {Deontic Logic with Relevance},
  booktitle = {Norms, Logics and Information Systems.  New Studies in
		Deontic Logic and Computer Science},
  publisher = {IOS Press},
  year = {1998},
  editor = {Henry Prakken and Paul McNamara},
  pages = {331--346},
  address = {Amsterdam},
  topic = {deontic-logic;relevance-logic;}
  }

@article{ goble:2000a,
  author = {Louis F. Goble},
  title = {An Incomplete Relevant Modal Logic},
  journal = {Journal of Philosophical Logic},
  year = {2000},
  volume = {29},
  number = {1},
  pages = {103--119},
  topic = {relevance-logic;modal-logic;}
  }

@article{ goble:2003a,
  author = {Louis F. Goble},
  title = {Neighborhoods for Entailment},
  journal = {Journal of Philosophical Logic},
  year = {2003},
  volume = {32},
  number = {2},
  pages = {531--548},
  topic = {relevance-logic;neighborhood-semantics;}
  }

@article{ goble:2007a,
  author = {Lou Goble},
  title = {Combinatory Logic and the Semantics of Substructural Logics},
  journal = {Studia Logica},
  year = {2007},
  volume = {85},
  number = {2},
  pages = {171--197},
  topic = {combinatory-logic;substructural-logic;}
  }

@article{ goble:2009a,
  author = {Lou Goble},
  title = {Normative Conflicts and the Logic of `Ought'$\,$},
  journal = {No\^us},
  year = {2009},
  volume = {43},
  number = {3},
  pages = {440--489},
  topic = {deontic-logic;moral-conflict;`ought';}
  }

@unpublished{ gochet:1975a,
  author = {Paul Gochet},
  title = {A New Argument to Support {Q}uine's Inteterminacy Thesis},
  year = {1975},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a guess.},
  topic = {indeterminacy-of-translation;}
  }

@article{ goddard_c:1998a,
  author = {Cliff Goddard},
  title = {Bad Arguments against Semantic Primitives},
  journal = {Theoretical Linguistics},
  year = {1998},
  volume = {24},
  number = {2/3},
  pages = {129--156},
  topic = {semantic-primitives;foundations-of-semantics;}
  }

@article{ goddard_n:1993a,
  author = {Nigel H. Goddard},
  title = {Review of \emph{{T}he Perception of Multiple Objects: A
  	Connectionist Approach}, by {M}ichael {C}. {M}ozer},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {62},
  number = {1},
  pages = {165--177},
  xref = {Review of mozer:1991a.},
  topic = {connectionist-models;computer-vision;}
  }

@article{ godel:1931a,
  author = {Kurt G\"odel},
  title = {\"{U}ber formal unentscheidbare {S}atze der {P}rincipia
  	{M}athematica und verwandter {S}ysteme {I}},
  journal = {{M}onatschefte fur {M}athematik und {P}hysik},
  year = {1931},
  volume = {38},
  pages = {173--198},
  xref = {English translation in vanheijenoort:1967a.},
  topic = {goedels-first-theorem;goedels-second-theorem;logic-classics;}
  }

@incollection{ godel:1944a1,
  author = {Kurt G\"odel},
  title = {Russell's Mathematical Logic},
  booktitle = {The Philosophy of {B}ertrand {R}ussell},
  publisher = {The Tudor Publishing Company},
  year = {1944},
  address = {New York},
  editor = {Paul A. Schilpp},
  pages = {125--153},
  xref = {Republication: godel:1944a2.},
  topic = {Russell;foundations-of-logic;type-theory;Russell-paradox;
  		vicious-circle-principle;ramified-type-theory;}
  }

@incollection{ godel:1944a2,
  author = {Kurt G\"odel},
  title = {Russell's Mathematical Logic},
  booktitle = {Philosophy of Mathematics: Selected Readings},
  publisher = {Prentice-Hall},
  year = {1964},
  address = {New York},
  editor = {Paul Benacerraf and Hilary Putnam},
  pages = {211--232},
  xref = {Republication of: godel:1944a1.},
  topic = {Russell;foundations-of-logic;type-theory;Russell-paradox;
  		vicious-circle-principle;ramified-type-theory;}
  }

@article{ godel:1980a,
  author = {Kurt G\"odel},
  title = {On a Hitherto Unexploited Extension of the Finitary
  	Standpoint},
  journal = {Journal of Philosophical Logic},
  year = {1980},
  volume = {9},
  number = {2},
  pages = {133--142},
  topic = {consistency-proofs;}
  }

@article{ godfreysmith:2003a,
  author = {Peter Godfrey-Smith},
  title = {Goodman's Problem and Scientific Methodology},
  journal = {The Journal of Philosophy},
  year = {2003},
  volume = {100},
  number = {11},
  pages = {573--588},
  topic = {un)natural-predicates;induction;philosophy-of-science;}
  }

@incollection{ godo-lopezdemantaras:1991a,
  author = {L. Godo and R. Lopez de Mantaras},
  title = {Linguistically Expressed Uncertainty:  Its Elicitation and
  	Use in Modular expert Systems},
  booktitle = {Symbolic and Quantitative Approaches for Uncertainty:
  	Proceedings of the {E}uropean Conference {ECSQAU}, Marseille,
	France, October 1991},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Rudolf Kruse and Pierre Siegel},
  pages = {76--80},
  address = {Berlin},
  topic = {reasoning-about-uncertainty;expert-systems;}
  }

@techreport{ goebel:1989a,
  author = {Randy Goebel},
  title = {A Sketch of Analogy as Reasoning with Equality Hypotheses},
  institution = {Department of Computing Science, The University of
  	Alberta},
  number = {TR89--20},
  year = {1989},
  address = {Edmonton},
  rtnote = {In RHT collection.},
  topic = {analogy;analogical-reasoning;}
  }

@article{ goertzel:2007a,
  author = {Ben Goertzel},
  title = {Human-Level Artificial General Intelligence and the
  	Possibility of a Technological Singularity: A Reaction to {R}ay
	{K}urzweil's {T}he Singularity Is Near, and {M}c{D}ermott's Critique
	of {K}urzweil},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {18},
  pages = {1161--1173},
  xref = {Commentary on: kurzweil:2005a, mcdermott_d:2006a},
  topic = {AI-editorial;}
  }

@article{ goethe:2006a,
  author = {Norma B. Goethe},
  title = {Review of \emph{Frege's Logic}, by {D}anielle {M}acBeth},
  journal = {The Bulletin of Symbolic Logic},
  year = {2006},
  volume = {12},
  number = {3},
  pages = {496--498},
  xref = {Review of: macbeth:2005a},
  topic = {Frege;history-of-logic;}
  }

@book{ goffman:1959a,
  author = {Erving Goffman},
  title = {Presentation of Self in Everyday Life},
  publisher = {Anchor Books},
  year = {1959},
  address = {New York},
  rtnote = {pragmatics-course;},
  topic = {sociolinguistics;discourse;indexicals;
  	pragmatics;}
 }

@book{ goffman:1974a,
  author = {Erving Goffman},
  title = {Frame Analysis},
  publisher = {Harper and Row},
  year = {1959},
  address = {New York},
  rtnote = {Check topics.},
  rtnote = {pragmatics-course;},
  topic = {sociolinguistics;discourse;pragmatics;}
 }

@article{ goffman:1974b1,
  author = {Erving Goffman},
  title = {Replies and Responses},
  journal = {Language in Society},
  year = {1974},
  volume = {5},
  pages = {257--313},
  missinginfo = {number},
  xref = {Revised republication: goffman:1974b2.},
  rtnote = {Reading notes on file.},
  rtnote = {pragmatics-course;},
  topic = {discourse;pragmatics;}
  }

@incollection{ goffman:1974b2,
  author = {Erving Goffman},
  title = {Replies and Responses},
  booktitle = {Forms of Talk},
  publisher = {University of Pennsylvania Press},
  year = {1981},
  editor = {Erving Goffman},
  chapter = {1},
  pages = {5--77},
  address = {Philadelphia, Pennsylvania},
  xref = {Republication of: goffman:1974b1.},
  rtnote = {Reading notes on file.},
  rtnote = {pragmatics-course;},
  topic = {discourse;speech-acts;context;
  	pragmatics;logic-of-context;}
  }

@article{ goffman:1978a1,
  author = {Erving Goffman},
  title = {Response Cries},
  journal = {Language},
  year = {1978},
  volume = {54},
  pages = {787--815},
  missinginfo = {number},
  xref = {Revised Republication: goffman:1978a2.},
  rtnote = {pragmatics-course;},
  topic = {discourse;pragmatics;}
  }

@incollection{ goffman:1978a2,
  author = {Erving Goffman},
  title = {Response Cries},
  booktitle = {Forms of Talk},
  publisher = {University of Pennsylvania Press},
  year = {1981},
  editor = {Erving Goffman},
  chapter = {2},
  pages = {78--123},
  address = {Philadelphia, Pennsylvania},
  xref = {Republication of: goffman:1978a1.},
  rtnote = {pragmatics-course;},
  topic = {discourse;pragmatics;}
  }

@article{ goffman:1979a1,
  author = {Erving Goffman},
  title = {Footing},
  journal = {Semiotica},
  year = {1979},
  volume = {25},
  pages = {1--29},
  missinginfo = {number},
  xref = {Revised republication: goffman:1979a2.},
  rtnote = {pragmatics-course;},
  topic = {discourse;pragmatics;}
  }

@incollection{ goffman:1979a2,
  author = {Erving Goffman},
  title = {Footing},
  booktitle = {Forms of Talk},
  publisher = {University of Pennsylvania Press},
  year = {1981},
  editor = {Erving Goffman},
  chapter = {3},
  pages = {124--159},
  address = {Philadelphia, Pennsylvania},
  xref = {Republication of: goffman:1979a1.},
  rtnote = {pragmatics-course;},
  topic = {discourse;pragmatics;}
  }

@book{ goffman:1981a,
  author = {Erving Goffman},
  title = {Forms of Talk},
  publisher = {University of Pennsylvania Press},
  year = {1981},
  address = {Philadelphia, Pennsylvania},
  rtnote = {pragmatics-course;},
  topic = {discourse;pragmatics;}
 }

@incollection{ goffman:1981b,
  author = {Erving Goffman},
  title = {The Lecture},
  booktitle = {Forms of Talk},
  publisher = {University of Pennsylvania Press},
  year = {1981},
  editor = {Erving Goffman},
  chapter = {4},
  pages = {160--196},
  address = {Philadelphia, Pennsylvania},
  rtnote = {pragmatics-course;},
  topic = {discourse;pragmatics;}
  }

@incollection{ goffman:1981c,
  author = {Erving Goffman},
  title = {Radio Talk},
  booktitle = {Forms of Talk},
  publisher = {University of Pennsylvania Press},
  year = {1981},
  editor = {Erving Goffman},
  chapter = {5},
  pages = {197--330},
  address = {Philadelphia, Pennsylvania},
  rtnote = {pragmatics-course;},
  topic = {discourse;pragmatics;}
  }

@inproceedings{ gogic-etal:1995a,
  author = {Goran Gogic and Henry A. Kautz and Christos Papidimitriou and
  	Bart Selman},
  title = {The Comparative Linguistics of Knowledge Representation},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {862--869},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.  Files.},
  topic = {kr;kr-course;}
 }

@article{ goguadze-etal:2003a,
  author = {George Goguadze and Carla Piazza and Yde Venema},
  title = {Simulating Polyadic Modal Logics by Monadic Ones},
  journal = {Journal of Symbolic Logic},
  year = {2003},
  volume = {68},
  number = {2},
  pages = {419--462},
  topic = {modal-logic;}
  }

@article{ goguen:1969a,
  author = {Joseph A. {Goguen, Jr.}},
  title = {The Logic of Inexact Concepts},
  journal = {Synth\'ese},
  year = {1969},
  volume = {1969},
  pages = {325--373},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {vagueness;}
  }

@unpublished{ goguen:1973a,
  author = {Joseph A. {Goguen, Jr.}},
  title = {Axioms, Extensions and Applications for Fuzzy Sets:
		Languages and the Representation of Concepts},
  year = {1973},
  note = {Unpublished manuscript, Computer Science Department, University
		of California at Los Angeles},
  rtnote = {In RHT collection.},
  topic = {vagueness;set-theory;}
  }

@techreport{ goguen:1984a,
  author = {Joseph A. {Goguen, Jr.}},
  title = {Parameterized Programming},
  institution = {Center for the Study of Language and Information,
  	Stanford University},
  number = {CSLI-84-10},
  year = {1984},
  address = {Stanford, California},
  rtnote = {In RHT collection.},
  topic = {software-engineering;}
  }

@article{ goguen:1988a,
  author = {Joseph A. Goguen},
  title = {Modular Algebraic Specification of Some
  	Basic Geometrical Constructions},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {37},
  number = {1--3},
  pages = {123--153},
  acontentnote = {Abstract:
     This paper applies some recent advances in algebraic
     specification technology to plane geometry.  The two most
     important specification techniques are parameterized modules and
     order-sorted algebra; the latter provides a systematic treatment
     of subtypes.  This exercise also indicates how a rigorous
     semantic foundation in equational logic can be given for many
     techniques in knowledge representation, including is-a
     hierarchies (with multiple inheritance), multiple
     representations, implicit (one-way) coercion of representation
     and parameterized modular structuring.  Degenerate cases (which
     can be a particular nuisance in computational geometry),
     exception handling, information hiding, block structure, and
     pattern-driven rules are also treated, and again have rigorous
     semantic foundations.  The geometric constructions which
     illustrate all this are specified over any ordered field having
     square roots of nonnegative elements; thus, we also specify some
     algebra, including rings, fields, and determinants.  All
     specifications are written in a variant of the OBJ language. },
  topic = {geometrical-reasoning;inheritance;computational-geometry;}
  }

@book{ goguen-malcom:1996a,
  author = {Joseph A. {Goguen, Jr.} and Grant Malcom},
  title = {Algebraic Semantics of Imperative Programs},
  publisher = {The {MIT} Press},
  year = {1996},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-07172-X},
  xref = {Review: plaice:1999a.},
  topic = {theory-of-computation;semantics-of-programming-languages;
  	imperative-logic;procedural-semantics;}
 }

@techreport{ goguen-meseguer_j:1984a,
  author = {Joseph A. {Goguen, Jr.} and J. Meseguer},
  title = {Completeness of Many-Sorted Equational Logic},
  institution = {Center for the Study of Language and Information,
  	Stanford University},
  number = {CSLI-84-15},
  year = {1984},
  address = {Stanford, California},
  rtnote = {In RHT collection.},
  topic = {algebraic-logic;}
  }

@inproceedings{ goguen-meseguer_j:1987a,
  author = {Joseph A. Goguen and Jos\'e Meseguer},
  title = {Models and Equality for Logical Programming},
  booktitle = {{TAPSOFT '87}: Proceedings of the International
		Joint Conference on Theory and Practice of Software
		Development},
  year = {1987},
  editor = {G. Goos and J. Hartmanis},
  pages = {1--22},
  publisher = {Springer-Verlag},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {logic-programming;}
  }

@techreport{ goguen-meseguer_j:1989a,
  author = {Joseph A. {Goguen, Jr.} and Jos\'e Meseguer},
  title = {Order-Sorted Algebra {I}},
  institution = {SRI International},
  number = {SRI--CSL--89--10},
  year = {1989},
  address = {333 Ravenswood Ave., Menlo Park, California},
  rtnote = {In RHT collection.  Marked to appear, Theoretical CS.},
  topic = {inheritance-theory;}
  }

@article{ gold_em:1967a,
  author = {E. Mark Gold},
  title = {Language Identification in the Limit},
  journal = {Information and Control},
  year = {1967},
  volume = {10},
  pages = {447--474},
  missinginfo = {number},
  topic = {learning-theory;language-learning;}
  }

@article{ gold_k-etal:2009a,
  author = {Kevin Gold and Marek Doniec and Christopher Crick and
  		Brian Scassellati},
  title = {Robotic Vocabulary Building Using Extension Inference and
  		Implicit Contrast},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {1},
  pages = {145--166},
  topic = {word-learning;developmental-robotics;}
  }

@article{ gold_n-sugden:2007a,
  author ={Natalie Gold and Robert Sugden},
  title =  {Collective Intentions and Team Agency},
  journal = {The Journal of Philosophy},
  year = {2007},
  volume = {104},
  number = {3},
  pages = {109--137},
  topic = {group-action;group-attitudes;}
  }

@incollection{ goldberg_ja:1983a,
  author = {Julia A. Goldberg},
  title = {A Move Towards Describing Conversational Coherence},
  booktitle = {Conversational Coherence:  Form, Structure and Strategy},
  publisher = {Sage Publications},
  year = {1983},
  editor = {Robert T. Craig and Karen Tracey},
  pages = {25--4},
  address = {London},
  topic = {discourse-coherence;discourse-analysis;pragmatics;}
  }

@article{ goldberg_sa:2009a,
  author = {Sanford Goldberg},
  title = {Experts, Semantic and Epistemic},
  journal = {No\^us},
  year = {2009},
  volume = {43},
  number = {4},
  pages = {581--598},
  topic = {expert-relativity;}
  }

@book{ goldberg_sa-pessin:1997a,
  editor = {Sanford Goldberg and Andrew Pessin},
  title = {Gray Matters: An Introduction to the Philosophy of
  	Mind},
  publisher = {M.E. Sharpe},
  year = {1997},
  address = {Armonk, NY},
  topic = {philosophy-of-mind;}
 }

@article{ goldberg_sc:2002a,
  author = {Sanford C. Goldberg},
  title = {Do Anti-Individualistic Construals of Propositional
  	Attitudes Capture the Agents' Conceptions?},
  journal = {No\^us},
  year = {2002},
  volume = {36},
  number = {4},
  pages = {597--621},
  topic = {propositional-attitudes;}
  }

@article{ goldblatt:1974a,
  author = {Robert L. Goldblatt},
  title = {Semantic Analysis of Orthologic},
  journal = {Journal of Philosophical Logic},
  year = {1974},
  volume = {3},
  number = {1--2},
  pages = {19--35},
  topic = {quantum-logic;}
  }

@article{ goldblatt:1980a,
  author = {Robert L. Goldblatt},
  title = {Diodorean Modality in {M}inkowski Spacetine},
  journal = {Studia Logica},
  year = {1980},
  volume = {39},
  pages = {219--236},
  topic = {modal-logic;}
  }

@book{ goldblatt:1987a,
  author = {Robert Goldblatt},
  title = {Logics of Time and Computation},
  publisher = {Center for the Study of Language and Information},
  year = {1987},
  address = {Stanford, California},
  edition = {1},
  rtnote = {In RHT Collection.  Logic shelves.  4 copies, 2 in office.},
  topic = {modal-logic;temporal-logic;temporal-logic;dynamic-logic;}
 }

@book{ goldblatt:1992a,
  author = {Robert Goldblatt},
  title = {Logics of Time and Computation},
  publisher = {Center for the Study of Language and Information},
  year = {1992},
  address = {Stanford, California},
  edition = {2},
  rtnote = {In RHT collection.},
  topic = {modal-logic;temporal-logic;temporal-logic;dynamic-logic;}
 }

@book{ goldblatt:1993a,
  author = {Robert Goldblatt},
  title = {Mathematics of Modality},
  publisher = {CSLI Publications},
  year = {1993},
  address = {Stanford, California},
  ISBN = {9781881526230 (pbk)},
  topic = {modal-logic;}
 }

@article{ goldblatt:2004a1,
  author = {Robert Goldblatt},
  title = {Mathematical Modal Logic: A View of Its Evolution},
  journal = {Journal of Applied Logic},
  year = {2003},
  volume = {1},
  pages = {309--392},
  topic = {history-of-logic;modal-logic;}
  }

@incollection{ goldblatt:2006a1,
  author = {Robert Goldblatt},
  title = {Mathematical Modal Logic:  A View of Its Evolution},
  booktitle = {Handbook of the History of Logic, Volume 6},
  publisher = {Elsevier Science Publishers},
  year = {2006},
  editor = {Dov M. Gabbay and John Woods},
  pages = {1--98},
  address = {Amsterdam},
  xref = {Expanded version: goldblatt:2006a2.},
  topic = {history-of-logic;modal-logic;}
  }

@unpublished{ goldblatt:2006a2,
  author = {Robert Goldblatt},
  title = {Mathematical Modal Logic:  A View of Its Evolution},
  year = {2006},
  url = {http://homepages.mcs.vuw.ac.nz/~rob/papers/modalhist.pdf},
  rtnote = {In RHT collection.},
  xref = {Expanded version of: goldblatt:2006a1.},
  topic = {history-of-logic;modal-logic;}
  }

@article{ goldblatt:2006a,
  author = {Robert Goldblatt},
  title = {Maps and Monoids for Modal Frames},
  journal = {Studia Logica},
  year = {2006},
  volume = {83},
  number = {1--3},
  pages = {309--331},
  topic = {modal-logic;category-theory;}
  }

@book{ golden_j-etal:1976a,
  editor = {James L. Golden and Goodwin F. Berquist and William E. Coleman},
  title = {The Rhetoric of {W}estern Thought},
  publisher = {Kendall/Hunt Publishing Co.},
  year = {1976},
  address = {Dubuque, Iowa},
  rtnote = {HILLMAN PN191 .G6.  Ch 12 "Stephen Toulmin on the
		nature of argument" in RT Files.  Pragmatics course files.},
  topic = {rhetoric;argumentation;}
 }

@incollection{ golden_k-weld:1996a,
  author = {Keith Golden and Daniel Weld},
  title = {Representing Sensing Actions: The Middle Ground Revisited},
  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 = {174--185},
  address = {San Francisco, California},
  topic = {kr;cognitive-robotics;reasoning-about-knowledge;actions;
  	sensing-actions;}
  }

@article{ goldfarb:2001a,
  author = {Warren Goldfarb},
  title = {First-Order {F}rege Theory is Undecidable},
  journal = {Journal of Philosophical Logic},
  year = {2001},
  volume = {30},
  number = {6},
  pages = {613--616},
  contentnote = {"First-order Frege theory" is the first-order theory
    of identity with the abstraction operator.  It has
    $\lambda x A(x)=\lambda x A(x) \rightleftarrow
    \forall x[A(x)\rightleftarrow B(x)]$ as its only axiom.},
  topic = {undecidability;identity;}
  }

@book{ goldie:2000a,
  author = {Peter Goldie},
  title = {The Emotions: A Philosophical Exploration},
  publisher = {Oxford University Press},
  year = {2000},
  address = {Oxford},
  xref = {Review: helm:2002a.},
  topic = {emotion;philosophical-psychology;}
 }

@inproceedings{ golding_ar:1995a,
  author = {Andrew R. Golding},
  title = {A {B}ayesian Hybrid Method for Context-Sensitive
				Spelling Correction},
  booktitle = {Proceedings of the Third Workshop on Very
		Large Corpora},
  year = {1995},
  editor = {David Yarovsky and Kenneth Church},
  pages = {39--53},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  rtnote = {In RHT collection.},
  topic = {corpus-linguistics;spelling-correction;Bayesian-classification;
		statistical-nlp;}
  }

@article{ golding_ar-rosenbloom:1996a,
  author = {Andrew R. Golding and Paul S. Rosenbloom},
  title = {Improving Accuracy by Combining Rule-Based and Case-Based
  	Reasoning},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {87},
  number = {1--2},
  pages = {215--254},
  topic = {expert-systems;case-based-reasoning;rule-based-reasoning;}
  }

@inproceedings{ golding_ar-schabes:1996a,
  author = {Andrew R. Golding and Yves Schabes},
  title = {Combining Trigram-Based and Feature-Based Methods for
  	Context-Sensitive Spelling Correction},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {71--78},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {spelling-correction;statistical-nlp;}
 }

@book{ golding_j-macleod:1997a,
  editor = {Jonathan M. Golding and Colin M. MacLeod},
  title = {Intentional Forgetting},
  publisher = {Lawrence Erlbaum Associates},
  year = {1997},
  address = {Mahwah, New Jersey},
  topic = {cognitive-psychology;memory;self-deception;}
 }

@book{ goldman_ai:1970a,
  author = {Alvin I. Goldman},
  title = {A Theory of Human Action},
  publisher = {Princeton University Press},
  year = {1970},
  address = {Princeton, New Jersey},
  topic = {action;philosophy-of-action;}
 }

@book{ goldman_ai:1986a,
  author = {Alvin I. Goldman},
  title = {Epistemology and Cognition},
  publisher = {Cambridge, Mass. : Harvard University Press},
  year = {1986},
  address = {Cambridge},
  ISBN = {0674258959 (alk. paper)},
  rtnote = {UMich Graduate Library, BF311 .G5821 1986.},
  topic = {philosophy-cogsci;epistemology;}
 }

@article{ goldman_ai:1989a,
  author = {Alvin I. Goldman},
  title = {Interpretation Psychologized},
  journal = {Mind and Language},
  year = {1989},
  volume = {4},
  number = {3},
  pages = {161--185},
  topic = {propositional-attitudes;philosophy-or-mind;}
  }

@incollection{ goldman_ai:1990a,
  author = {Alvin I. Goldman},
  title = {Action and Free Will},
  booktitle = {An Invitation to Cognitive Science.  Volume
  	2: Visual Cognition and Action},
  publisher = {The {MIT} Press},
  year = {1990},
  editor = {Daniel N. Osherson and Howard Lasnik},
  pages = {317--340},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.},
  topic = {action;freedom;}
  }

@book{ goldman_ai:1992a,
  author = {Alvin I. Goldman},
  title = {Liaisons:  Philosophy Meets the Cognitive and Social Sciences},
  publisher = {The {MIT} Press},
  year = {1992},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262007135-5 (hardcover)},
  rtnote = {UMich Tanner Library, B 945 .G593 L52 1991.},
  contentnote = {TC:
       1. "Interpretation Psychologized"
       2. "Metaphysics, Mind, and Mental Science"
       3. "Cognition and Modal Metaphysics"
       4. "A Causal Theory of Knowing"
       5. "Discrimination and Perceptual Knowledge"
       6. "What is Justified Belief?"
       7. "Strong and Weak Justification"
       8. "Psychology and Philosophical Analysis"
       9. "Epistemic Folkways and Scientific Epistemology"
      10. "Foundations of Social Epistemics"
      11. "Epistemic Paternalism: Communication Control in Law and
      		Society"
      12. "An Economic Model of Scientific Activity and Truth
      		Acquisition"
  },
  topic = {philosophy-and-cogsci;}
 }

@book{ goldman_ai:1992b,
  author = {Alvin I. Goldman},
  title = {Liaisons: Philosophy Meets The Cognitive and Social Sciences},
  publisher = {Cambridge, Mass.: MIT Press},
  year = {1992},
  address = {Cambridge},
  ISBN = {0262071355},
  rtnote = {UMich Graduate Library, B 945 .G593 L52 1992.},
  topic = {philosophy-cogsci;philosophy-and-social-science;}
 }

@book{ goldman_ai:1993a,
  editor = {Alvin I. Goldman},
  title = {Readings in Philosophy and Cognitive Science},
  publisher = {The {MIT} Press},
  year = {1993},
  address = {Cambridge, Massachusetts},
  ISBN = {0262071533 (hardcover), 0262571005 (pbk.)},
  rtnote = {UMich Undergraduate Library, B 67 .R431 1993.},
  contentnote = {An extensive collection.},
  topic = {philosophy-cogsci;}
 }

@book{ goldman_ai:1993b,
  author = {Alvin I. Goldman},
  title = {Philosophical Applications of Cognitive Science},
  publisher = {Westview Press},
  year = {1993},
  address = {Boulder, Colorado},
  ISBN = {0813380391},
  rtnote = {UMich Graduate Library, B 945 .G593 P55 1993.},
  topic = {philosophy-cogsci;}
 }

@incollection{ goldman_ai:1995a,
  author = {Alvin I. Goldman},
  title = {Empathy, Mind, and Morals},
  booktitle = {Mental Simulation: Evaluations and Applications},
  publisher = {Blackwell Publishers},
  year = {1995},
  editor = {Martin Davies and Tony Stone},
  pages = {185--208},
  address = {Oxford},
  topic = {mental-simulation;propositional-attitude-ascription;}
  }

@incollection{ goldman_ai:1995b,
  author = {Alvin I. Goldman},
  title = {Interpretation Psychologized},
  booktitle = {Mental Simulation: Evaluations and Applications},
  publisher = {Blackwell Publishers},
  year = {1995},
  editor = {Martin Davies and Tony Stone},
  pages = {74--100},
  address = {Oxford},
  topic = {folk-psychology;theory-theory-of-folk-psychology;
  	mental-simulation;propositional-attitude-ascription;}
  }

@incollection{ goldman_ai:1995c,
  author = {Alvin I. Goldman},
  title = {In Defense of the Simulation Theory},
  booktitle = {Mental Simulation: Evaluations and Applications},
  publisher = {Blackwell Publishers},
  year = {1995},
  editor = {Martin Davies and Tony Stone},
  pages = {191--206},
  address = {Oxford},
  topic = {folk-psychology;theory-theory-of-folk-psychology;
  	mental-simulation;propositional-attitude-ascription;}
  }

@article{ goldman_ai:1999a,
  author = {Alvin I. Goldman},
  title = {Internalism Exposed},
  journal = {The Journal of Philosophy},
  year = {1999},
  volume = {96},
  number = {6},
  pages = {271--293},
  topic = {internalism/externalism;epistemology;}
  }

@book{ goldman_ai:1999b,
  author = {Alvin I. Goldman},
  title = {Knowledge in a Social World},
  publisher = {Oxford University Press},
  year = {1999},
  address = {Oxford},
  ISBN = {ISBN 0198237774 (hardcover), 0198238207 (pbk)},
  rtnote = {UMich UnderGraduate Library, BD 175 .G641 1999.
  		Also in Tanner.},
  xref = {Review: depaul:2002a},
  topic = {epsitemology;social-philosophy;}
 }

@book{ goldman_ai:2002a,
  author = {Alvin I. Goldman},
  title = {Pathways to Knowledge: Public and Private},
  publisher = {Oxford University Press},
  year = {2002},
  address = {Oxford},
  xref = {Review: solomon_m:2003a},
  contentnote = {TC:
      1. "Internalism exposed"
      2. "A Priori Warrant and Naturalistic Epistemology"
      3. "The Unity of the Epistemic Virtues"
      4. "Philosophical Theory and Intuitional Evidence"
      5. "Science, Publicity, and Consciousness"
      6. "Can Science Know When You're Conscious?"
      7. "Experts: Which Should You Trust?"
      8. "Social Routes to Belief and Knowledge"
      9. "What is Social Epistemology?  A Smorgasbord of Projects"
    },
  ISBN = {0-19-517367-8},
  topic = {epistemology;philosophical-psychology;}
 }

@article{ goldman_h:1976a,
  author = {Holly Goldman},
  title = {Dated Rightness and Moral Imperfection},
  journal = {The Philosophical Review},
  year = {1976},
  pages = {449--487},
  missinginfo = {volume, number},
  rtnote = {In RHT collection.},
  topic = {deontic-logic;secondary-obligations;
  		predicted-behavior-and-obligation;}
 }

@unpublished{ goldman_h:1976b,
 author = {Holly Goldman},
 title = {Future and Derivative Rightness},
 year = {1976},
 note = {Unpublished manuscript.},
 rtnote = {In RHT collection.},
 topic = {deontic-logic;branching-time;practical-reasoning;
 		predicted-behavior-and-obligation;}
 }

@article{ goldman_h:1997a,
  author = {Holly Goldman},
  title = {A Paradox of Promising},
  journal = {The Philosophical Review},
  year = {1997},
  volume = {106},
  number = {2},
  pages = {153--196},
  topic = {utilitarianism;ethics;promising;}
  }

@article{ goldman_hs:1977a,
  author = {Holly S. Goldman},
  title = {David {L}ewis's Semantics for Deontic Logic},
  journal = {Mind},
  year = {1977},
  volume = {86},
  number = {342},
  pages = {242--248},
  rtnote = {In RHT collection.  \my10},
  topic = {deontic-logic;}
  }

@phdthesis{ goldman_rp:1990a,
  author = {Robert P. Goldman},
  title = {A Probabilistic Approach to Language Understanding},
  school = {Department of Computer Science, Brown University},
  year = {1990},
  type = {Ph.{D}. Dissertation},
  note = {Available as Report No. CS-90-34, Department of Computer
  	Science, Brown University.},
  address = {Providence, Rhode Island},
  topic = {nl-statistics;nl-interpretation;}
 }

@inproceedings{ goldman_rp:1994a,
  author = {Robert P. Goldman},
  title = {Conditional Linear Planning},
  booktitle = {Proceedings of 2nd International Conference on AI
  	Planning Systems},
  year = {1994},
  editor = {K. Hammond},
  pages = {80--85},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {planning;contingency-planning;conditional-reasoning;}
  }

@incollection{ goldman_rp-broddy:1994a,
  author = {Robert P. Goldman and Mark S. Broddy},
  title = {Representing Uncertainty in Simple Planners},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {238--245},
  address = {San Francisco, California},
  topic = {kr;planning;reasoning-about-uncertainty;kr-course;}
  }

@inproceedings{ goldman_rp-charniak:1988a,
  author = {Robert P. Goldman and Eugene Charniak},
  title = {A Probabilistic {ATMS} for Plan Recognition},
  booktitle = {Proceedings of the 1988 {AAAI} Workshop on Plan
  	Recognition},
  year = {1988},
  organization = {American Association for Artificial Intelligence},
  topic = {nl-statistics;plan-recognition;}
  }

@inproceedings{ goldman_rp-charniak:1990a,
  author = {Robert P. Goldman and Eugene Charniak},
  title = {Incremental Construction of Probabilistic Models for
  	Language Abduction: Work in Progress},
  booktitle = {Working Notes, {AAAI} Spring Symposium on Automated
  	Deduction},
  year = {1990},
  editor = {P. O'Rorke},
  pages = {1--4},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {nl-statistics;abduction;}
  }

@incollection{ goldreich:1988a,
  author = {Oded Goldreich},
  title = {Randomness, Interactive Proofs, and
       		Zero-Knowledge---A Survey},
  booktitle = {The Universal {T}uring Machine: A Half-Century
  	Survey},
  publisher = {Oxford University Press},
  year = {1988},
  editor = {Rolf Herkin},
  pages = {377--405},
  address = {Oxford},
  topic = {randomness;cryptography;}
  }

@book{ goldreich:2001a,
  author = {Oded Goldreich},
  title = {Foundations of Cryptography.  Volume {I}:  Basic Tools.},
  publisher = {Cambridge University Press},
  year = {2001},
  address = {Cambridge, England},
  ISBN = {0-521-79172-3},
  rtnote = {In RHT Collection.  CS General shelves.},
  topic = {cryptography;}
 }

@book{ goldsmith_j1:1993a,
  editor = {John Goldsmith},
  title = {The Last Phonological Rule: Reflections on Constraints and
  	Derivations},
  publisher = {University of Chicago Press},
  year = {1993},
  rtnote = {hillman P217 L36 1993},
  address = {Chicago},
  topic = {phonology;}
 }

@article{ goldsmith_j1:2001a,
  author = {John Goldsmith},
  title = {Unsupervised Learning of the Morphology of a Natural
  		Language},
  journal = {Computational Linguistics},
  year = {2001},
  volume = {27},
  number = {2},
  pages = {153--198},
  topic = {morphology;machine-language-learning;}
  }

@incollection{ goldsmith_j1-reutter:1998a,
  author = {John Goldsmith and Tom Reutter},
  title = {Automatic Collection and Analysis of {G}erman Compounds},
  booktitle = {The Computational Treatment of Nominals: Proceedings
  	of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Federica Busa and Inderjeet Mani and Patrick Saint-Dizier},
  pages = {61--69},
  address = {New Brunswick, New Jersey},
  topic = {compound-nouns;German-language;computational-linguistics;}
  }

@book{ goldsmith_j1-woisetschlaeger:1982a,
  author = {John Goldsmith and Erich Woisetschlaeger},
  title = {The Logic of the Progressive Aspect},
  publisher = {Indiana University Linguistics Club},
  year = {1982},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {tense-aspect;nl-semantics;}
 }

@article{ goldsmith_j2-etal:2004a,
  author = {Judy Goldsmith and Robert H. Sloan and Bal\'azs Sz\"or\'enyi},
  title = {Theory Revision with Queries:  {H}orn, Read-Once, and
  		Parity Formulas},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {156},
  number = {2},
  pages = {139--176},
  topic = {learning-theory;}
  }

@article{ goldsmith_j2-junker:2008a,
  author = {Judy Goldsmith and Ulrich Junker},
  title = {Preference Handling for Artificial Intelligence},
  journal = {The {AI} Magazine},
  year = {2008},
  volume = {29},
  number = {4},
  pages = {9--12},
  topic = {reasoning-about-preferences;}
  }

@book{ goldstein_g-hersen:2000a,
  editor = {Gerald Goldstein and Michel Hersen},
  title = {Handbook of Psychological Assessment},
  publisher = {Pergamon},
  year = {2000},
  address = {New York},
  contentnote = {TC:
     1. Gerald Goldstein, Michel Hersen, "Historical Perspectives"
     2. Michael C. Ramsay, Cecil R. Reynolds, "Psychometric
     		Foundations. Development of a Scientific Test: A
		Practical Guide ", pp.
     3. Mark D. Reckase, "Scaling Techniques ", pp.
     4. Kristee A. Beres and Alan S. Kaufman and Mitchel D.
     		Perlman, "Assessment of Intelligence.
		Assessment of Child Intelligence", pp.
     5. David S. Tulsky and Jianjun Zhu and Aurelio
     	Prifitera, "Assessment of Adult Intelligence with
	 	the {WAIS-III}", pp.
     6. Robert W. Motta, Jamie M. Joseph, "Group Intelligence Tests", pp.
     7. Lynda J. Katz and Gregory T. Slomka, "Achievement, Aptitude,
     	 	and Interest. Achievement Testing", pp.
     8. Daniel J. Reschly and Carol Robinson-Za=F1artu, "Evaluation of
     		Aptitudes", pp.
     9. Jo-Ida C. Hansen, "Interest inventories ", pp.
    10. Gerald Goldstein, "Neuropsychological Assessment.
    		Comprehensive Neuropsychological Assessment Batteries"
    11. Jane Holmes Bernstein and Michael D. Weiler, "Pediatric
    		Neuropsychological Assessment Examined", pp.
    12. Glenn J. Larrabee, "Specialized Neuropsychological
    		Assessment Methods", pp.
    13. Shawn Christopher Shea, "Interviewing. Contemporary Clinical
    		Interviewing: Integration of the {DSM-IV},
		Managed-Care Concerns, Mental Status, and Research", pp.
    14. Craig Edelbrock and Amy Bohnert, "Structured Interview for
    		Children and Adolescents", pp.
    15. Arthur N. Wiens and Patricia J. Brazil, "Structured Clinical
    		Interviews for Adults", pp.
    16. Elahe Nezami and James N. Butcher, "Personality Assessment.
    		Objective Personality Assessment", pp.
    17. Philip Erdberg, "Rorschach Assessment", pp.
    18. Ross W. Greene and Thomas H. Ollendick, "Behavioral
    		Assessment. Behavioral Assessment of Children", pp.
    19. Stephen N. Haynes, "Behavioral assessment of adults ", pp.
    20. Antonio E. Puente and Miguel Perez Garcia, "Special Topics
    		and Applications"
    21. Robert D. Gatewood and Robert Perloff and Evelyn Perloff,
    		"Psychological Assessment of Ethnic Minorities"
    22. Karen L. Dahlman and Teresa A. Ashman and Richard C.
    		Mohs, "Psychological Assessment of the Elderly"
  },
  ISBN = {0080436455 (hardcover)},
  rtnote = {UMich Graduate Library, BF 39 .G561 2000},
  topic = {psychological-assessment;psychometrics;}
 }

@article{ goldstein_ip:1975a,
  author = {Ira P. Goldstein},
  title = {Summary of {MYCROFT}: A System for Understanding Simple
  	Picture Programs},
  journal = {Artificial Intelligence},
  year = {1975},
  volume = {6},
  number = {3},
  pages = {249--288},
  acontentnote = {Abstract:
     A collection of powerful ideas -- description, plans, linearity,
     insertions, global knowledge and imperative semantics -- are
     explored which are fundamental to debugging skill.  To make these
     concepts precise, a computer monitor called MYCROFT is described
     that can debug elementary programs for drawing pictures.  The
     prograrns are those written for LOGO turtles. },
  topic = {automatic-debugging;line-drawings;}
  }

@article{ goldstein_l:1981a,
  author = {Laurence Goldstein},
  title = {Categories of Linguistic Aspects and {G}relling's
  	Paradox},
  journal = {Linguistics and Philosophy},
  year = {1981},
  volume = {4},
  number = {3},
  pages = {405--421},
  xref = {See goldstein_l:1982a, stone_jd:1981a.},
  topic = {semantic-paradoxes;truth-value-gaps;}
  }

@article{ goldstein_l:1982a,
  author = {Lawrence Goldstein},
  title = {Linguistic Aspects, Meaninglessness and Paradox:  A
  	Rejoinder to {J}ohn {D}avid {S}tone},
  journal = {Linguistics and Philosophy},
  year = {1982},
  volume = {4},
  number = {4},
  pages = {579--592},
  xref = {See goldstein_l:1981a, stone_jd:1981a.},
  topic = {semantic-paradoxes;truth-value-gaps;}
  }

@book{ goldstein_m-judah:1995a,
  author = {Martin Goldstein and Haim Judah},
  title = {The Incompleteness Phenomenon},
  publisher = {A.K. Peters},
  year = {1995},
  address = {Wellesley, Massachusetts},
  ISBN = {1-56881-02906},
  topic = {logic-intro;}
 }

@article{ goldstein_sc-etal:2009a,
  author = {Seth C. Goldstein and Todd C. Mowry and Jason D. Campbell
  	and Michael P. Ashley-Rollman and Michael De Rosa and
	Stanislav Funiak and James F. Hoburg and Mustafa E.
	Karagozler and Brian Kirby and Peter Lee and Padmanabhan Pillai and
	J. Robert Reid and Daniel D.  Stancil and Michael P. Weller},
  title = {Beyond Audio and Video: {U}sing Claytronics to Enable Pario},
  journal = {The {AI} Magazine},
  year = {2009},
  volume = {30},
  number = {2},
  pages = {29--45},
  topic = {cnanotechnology;}
  }

@article{ goldstick:1974a,
  author = {D. Goldstick},
  title = {Against Categories},
  journal = {Philosophical Studies},
  year = {1974},
  volume = {26},
  pages = {337--357},
  missinginfo = {number},
  topic = {category-mistakes;truth-value-gaps;}
  }

@phdthesis{ goldszmidt:1992a,
  author = {Mois\'es Goldszmidt},
  title = {Qualitative Probabilities: A Normative Framework for
  	Commonsense Reasoning},
  school = {Department of Computer Science, University of California
  	at Los Angeles},
  year = {1992},
  type = {Ph.{D}. Dissertation},
  address = {Los Angeles, California},
  note = {Also available as Technical Report R--190, Cognitive Systems
  	Laboratory, Department of Computer Science, UCLA, Los Angeles,
	California 90024.},
  rtnote = {In RHT collection.  Bookshelf.},
  topic = {qualitative-probability;}
 }

@inproceedings{ goldszmidt-etal:1990a,
  author = {{Mois\'es} Goldszmidt and Paul Morris and Judea Pearl},
  title = {A Maximum Entropy Approach to Nonmonotonic Reasoning},
  booktitle = {Proceedings of the Eighth National Conference on
              Artificial Intelligence},
  year = {1990},
  editor = {Thomas Dietterich and William Swartout},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  missinginfo = {pages},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-logic;world-entropy;probability-semantics;
  		maximum-entropy;}
  }

@techreport{ goldszmidt-pearl:1989a,
  author = {{Mois\'es} Goldszmidt and Judea Pearl},
  title = {Deciding Consistency of Databases Containing Defeasible
  	and Strict Information},
  institution = {UCLA, Computer Science Department},
  number = {R--122},
  year = {1991},
  address = {Los Angeles, California},
  rtnote = {In RHT collection.},
  topic = {kr;nonmonotonic-logic;databases;krcourse;}
  }

@article{ goldszmidt-pearl:1989b,
  author = {Mois\'{e}s Goldszmidt and Judea Pearl},
  title = {On the Consistency of Defeasible Databases},
  journal = {Artificial Intelligence},
  year = {1991},
  pages = {121--149},
  volume = {52},
  number = {2},
  topic = {kr;nonmonotonic-logic;databases;krcourse;}
    }

@techreport{ goldszmidt-pearl:1990a,
  author = {{Mois\'es} Goldszmidt and Judea Pearl},
  title = {On the Relation between Rational Closure and
  	System-{Z}},
  Institution = {UCLA, Computer Science Department},
  number = {R--139},
  year = {1990},
  address = {Los Angeles, California},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-reasoning;probability-semantics;
  	probabilistic-reasoning;}
  }

@article{ goldszmidt-pearl:1991a,
  author = {{Mois\'es} Goldszmidt and Judea Pearl},
  title = {On the Consistency of Defeasible Databases},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {52},
  number = {2},
  pages = {121--149},
  topic = {kr;nonmonotonic-reasoning;probability-semantics;}
  }

@inproceedings{ goldszmidt-pearl:1991b,
  author = {Mois\'es Goldszmidt and Judea Pearl},
  title = {System Z$^+$: A Formalism for Reasoning With
  	Variable-Strength Defaults},
  booktitle = {Proceedings of the Ninth National Conference on
              Artificial Intelligence},
  year = {1991},
  editor = {Thomas Dean and Kathleen McKeown},
  pages = {399--404},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {nonmonotonic-reasoning;probability-semantics;
  	probabilistic-reasoning;}
  }

@incollection{ goldszmidt-pearl:1992a,
  author = {Mois\'es Goldszmidt and Judea Pearl},
  title = {Rank-Based Systems: a Simple Approach to Belief Revision,
   	Belief Update, and Reasoning about Evidence and Actions},
  booktitle = {{KR}'92. Principles of Knowledge Representation and
  	Reasoning: Proceedings of the Third International Conference},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Bernhard Nebel and Charles Rich and William Swartout},
  pages = {661--672},
  address = {San Mateo, California},
  topic = {kr;nonmonotonic-reasoning;causality;Yale-shooting-problem;
   	kr-course;}
  }

@inproceedings{ goldszmidt-pearl:1992b,
  author = {Mois\'es Goldszmidt and Judea Pearl},
  title = {Stratified Rankings for Causal Relations},
  booktitle = {Proceedings of the Fourth Workshop on Nonmonotonic
  	 Reasoning},
  year = {1992},
  pages = {99--110},
  missinginfo = {editor,publisher,address,check topics},
  topic = {kr;nonmonotonic-reasoning;causality;}
  }

@inproceedings{ goldszmidt-pearl:1992c,
  author = {Mois\'es Goldszmidt and Judea Pearl},
  title = {Reasoning about Qualitative Probabilities Can Be Tractable},
  booktitle = {Proceedings of the 8th Conference on Uncertainty in
  	Artificial Intelligence (UAI92)},
  year = {1992},
  pages = {112--120},
  missinginfo = {Editor, Organization, Address},
  topic = {probabilistic-reasoning;qualitative-probability;}
  }

@article{ goldszmidt-pearl:1996a,
  author = {Mois\'es Goldszmidt and Judea Pearl},
  title = {Qualitative Probabilities for Default Reasoning, Belief
   	Revision, and Causal Modeling},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {84},
  pages = {57--112},
  number = {1--2},
  rtnote = {In RHT collection.},
  topic = {qualitative-probability;}
  }

@article{ goldwasser-etal:1989a,
  author = {S. Goldwasser and S. Micali and C. Rackoff},
  title = {The Knowledge Complexity of Interactive Systems},
  journal = {{SIAM} Journal of Computing},
  year = {1989},
  volume = {18},
  number = {1},
  pages = {186--208},
  missinginfo = {A's 1st name.},
  rtnote = {Get topic info.},
  topic = {complexity;complexity-in-AI;}
  }

@inproceedings{ goldwater-etal:2000a,
  author = {Sharon J. Goldwater and Elizabeth Owen Bratt and Jean Mark
    		Gawron and John Dowding},
  title = {Building a Robust Dialogue System with Limited Data},
  booktitle = {{ANLP/NAACL} Workshop on Conversational Systems},
  year = {2000},
  editor = {Candace Sidner and James Allen and Phil Cohen and
  	Justine Cassell and Laila Dybkjaer and X.D. Huang and
	Masato Ishizaki and Candace Kamm and Lin-Shan Lee and
	Susann Luperfoy and Patti Price and Owen Rambow and
	Norbert Reithinger and Alex Rudnicky and Stephanie
	Seneff and Dave Stallard and David R. Traum and Marilyn
	Walker and Wayne Ward},
  pages = {61--65},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;software-engineering;}
  }

@article{ golinskapilarek-huuskonen:2005a,
  author = {Joanna Goli\'nska-Pilarek and Taneli Huuskonen},
  title = {Number of Extensions of Non-Fregean Logics},
  journal = {Journal of Philosophical Logic},
  year = {2004},
  volume = {34},
  number = {2},
  pages = {193--206},
  topic = {exotic-logics;}
  }

@article{ golinskapilarek-orlowska:2007a,
  author = {Joanna Golinska-Pilarek and Ewa Orlowska},
  title = {Tableaux and Dual Tableaux: Transformation of Proofs},
  journal = {Studia Logica},
  year = {2007},
  volume = {85},
  number = {3},
  pages = {283--302},
  topic = {proof-theory;}
  }

@book{ golledge:1999a,
  editor = {Reginald G. Golledge},
  title = {Wayfinding Behavior: Cognitive Mapping and Other Spatial
    Processes},
  publisher = {Baltimore: Johns Hopkins University Press},
  year = {1999},
  address = {Baltimore},
  ISBN = {080185993X},
  contentnote = {TC:
  	1. Reginald G. Golledge, "Human wayfinding and cognitive
		maps"
	2. Gary L. Allen, "Spatial abilities, cognitive maps, and
		wayfinding: bases for individual differences in
		spatial cognition and behavior"
	3. Tommy G\"orling, "Human information processing in
		sequential spatial choice"
	4. Eliah Stern and Juval Portugali, "Environmental cognition
		and decision making in urban navigation"
	5. Jack M. Loomis, Roberta L. Klatzky, Reginald G. Golledge,
		and John W. Philbeck, "Human navigation by path
		integration"
	6. Michel-Ange Amorim, "A neurocognitive approach to human
		navigation"
	7. John J. Rieser, "Dynamic spatial orientation and the
		coupling of representation and action"
       10. Ariane S. Etienne, Roland Maurer, Josephine Georgakopoulos,
       		and Andrea Griffin, "Dead reckoning (path
		integration), landmarks, and representation of space
		in a comparative perspective"
       11. Simon P. D. Judd, Kyran Dale, and Thomas S. Collett, "On
       		the fine structure of view-based navigation in
		insects"
       12. Roswitha Wiltschko and Wolfgang Wiltschko, "Compass
       		orientation as a basic element in avian orientation
		and navigation"
       13. Catherine Thinus-Blanc and Florence Gaunet, "Spatial
       		processing in animals and humans: the organizing
		function of representations for information
		gathering"
       14. Lynn Nadel, "Neural mechanisms of spatial orientation and
       		wayfinding: an overview"
       15. Alain Berth\'ez, Michel-Ange Amorim, Stephan Glasauer,
       		Renato Grasso, Yasuiko Takei, and Isabelle
		Viaud-Delmon, "Dissociation between distance and
		direction during locomotor navigation"
       16. Eric Chown, "Error tolerance and generalization in
       		cognitive maps: performance without precision"
   },
  rtnote = {UMich Graduate Library, BF 314 .W381 1999},
  topic = {spatial-reasoning;cognitive-psychology;human-navigation;
  	animal-navigation;}
 }

@inproceedings{ golumbic-shamir:1992a,
  author = {Martin Golumbic and Ron Shamir},
  title = {Algorithms and Complexity for Reasoning about Time},
  booktitle = {Proceedings of the Tenth National Conference on
              Artificial Intelligence},
  year = {1992},
  editor = {Paul Rosenbloom and Peter Szolovits},
  pages = {741--747},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {kr;kr-complexity-analysis;temporal-reasoning;kr-course;}
  }

@article{ gomes-selman:2001a,
  author = {Carla P. Gomes and Bart Selman},
  title = {Algorithm Portfolios},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {126},
  number = {1--2},
  pages = {43--62},
  topic = {search;AI-algorithms;anytime-algorithms;}
  }

@incollection{ gomez_f:1998a,
  author = {Fernando Gomez},
  title = {Linking {W}ord{N}et Verb Classes to Semantic
  	Interpretation},
  booktitle = {Use of {W}ord{N}et in Natural Language Processing
  	Systems:  Proceedings of the Conference},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Sanda Harabagiu},
  pages = {58--64},
  address = {Somerset, New Jersey},
  topic = {nl-processing;WordNet;computational-semantics;}
  }

@article{ gomez_f-segami:1997a,
  author = {Fernando Gomez and Carlos Segami},
  title = {Determining Prepositional Attachment, Prepositional
  	Meaning, Verb Meaning, and Thematic Roles},
  journal = {Computational Intelligence},
  year = {1997},
  volume = {13},
  number = {1},
  pages = {1--31},
  topic = {prepositions;nl-interpretation;thematic-roles;verb-semantics;}
  }

@incollection{ gomezhidalgo-rodriguez_mb:1997a,
  author = {Jos\'e Gomez-Hidalgo and Manuel de Buenaga
     		Rodriguez},
  title = {Integrating a Lexical Database and a
		Training Collection for Text Categorization},
  booktitle = {Automatic Information Extraction and Building of
  	Lexical Semantic Resources for {NLP} Applications},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Piek Vossen and Geert Adriaens and Nicoletta Calzolari
  	and Antonio Sanfilippo and Yorick Wilks},
  pages = {39--44},
  address = {New Brunswick, New Jersey},
  topic = {document-classification;statistical-nlp;}
  }

@article{ gomeztorrente:2000a,
  author = {Mario G\'omez-Torrente},
  title = {A Note on Formality and Logical Consequence},
  journal = {Journal of Philosophical Logic},
  year = {2000},
  volume = {29},
  number = {5},
  pages = {529--539},
  topic = {logical-consequence;validity;}
  }

@article{ gomeztorrente:2002a,
  author = {March G\'omez-Torrente},
  title = {The Problem of Logical Constants},
  journal = {The Bulletin of Symbolic Logic},
  year = {2002},
  volume = {8},
  number = {1},
  pages = {1--37},
  topic = {logical-constants;}
  }

@incollection{ gomila:1995a,
  author = {Antoni Gomila},
  title = {From Cognitive Systems to Persons},
  booktitle = {Android Epistemology},
  publisher = {Cambridge University Press},
  year = {1995},
  editor = {Kenneth M. Ford and Clark Glymour and Patrick J. Hayes},
  pages = {73--92},
  address = {Cambridge, England},
  topic = {philosophy-AI;philosophy-of-mind;}
  }

@article{ gomolonska:1997a,
  author = {Anna Gomoli\'nska},
  title = {On the Logic of Acceptance and Rejection},
  journal = {Studia Logica},
  year = {1997},
  volume = {60},
  number = {2},
  pages = {233--251},
  topic = {nonmonotonic-logic;autoepistemic-logic;epistemic-logic;}
  }

@phdthesis{ gonnerman:1999a,
  author = {Laura Michelle Gonnerman},
  title = {Morphology and the Lexicon: Exploring the Semantics-Phonology
    Interface},
  school = {University of Southern California},
  year = {1999},
  type = {Ph.{D}. Dissertation},
  address = {Los Angeles},
  topic = {semantics;phonology;}
 }

@incollection{ gonzales-perny:2004a,
  author = {Christophe Gonzales and Patrice Perny},
  title = {{GAI} Networks for Utility Elicitation},
  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 = {224--233},
  address = {Menlo Park, California},
  topic = {qualitative-utility;multiattribute-utility;
  		preference-elicitation;}
  }

@inproceedings{ gonzalez_aj-sacki:2001a,
  author = {Avelino J. Gonzalez and Shinya Sacki},
  title = {Using Contexts Competition to Model Tactical Human
  	Behavior in a Simulation},
  booktitle = {Modeling and Using Context: Third International and
  	Interdisciplinary Conference, Context 2001},
  publisher = {Springer-Verlag},
  year = {2001},
  editor = {Varol Akman and Paolo Bouquet and Richmond Thomason
  	and Roger A. Young},
  pages = {453--456},
  address = {Berlin},
  topic = {context;cognitive-modeling;decision-making;}
  }

@article{ gonzalez_g-etal:2005a,
  author = {Gracelia Gonz\'alez and Chitta Baral and Michael Gelfond},
  title = {Alan: An Action Language for Modelling Non{M}arkovian
  		Domains},
  journal = {Studia Logica},
  year = {2005},
  volume = {79},
  number = {1},
  pages = {115--134},
  topic = {action-formalisms;}
  }

@book{ gonzalez_m:1994a,
  editor = {M. Gonzalez},
  title = {{NELS 24}: Proceedings of the Twenty-Fourth Conference of the
  	{N}orth {E}ast {L}inguistic {S}ociety},
  publisher = {GLSA Publications},
  year = {1994},
  address = {Amherst, Massachusetts},
  note = {URL FOR GLSA Publications:
  	http://www.umass.edu/linguist/glsa-pubs.html.},
  topic = {linguistics-proceedings;nl-syntax;nl-semantics;}
 }

@article{ good:1953a,
  author = {I.J. Good},
  title = {The Population Frequencies of Species and the
  	Estimation of Population Parameters},
  journal = {Biometrika},
  year = {1953},
  volume = {40},
  pages = {237--264},
  missinginfo = {A's 1st name, number},
  topic = {population-statistics;frequency-estimation;}
  }

@inproceedings{ goodall:1987a,
  author = {G. Goodall},
  title = {On Argument Structure and {L}-Marking with {M}andarin Ba},
  booktitle = {{NELS 17}: Proceedings of the Seventeenth Conference of the
  	{N}orth {E}ast {L}inguistic {S}ociety},
  year = {1987},
  editor = {Joyce McDonough and B. Plunkett},
  publisher = {GLSA Publications},
  address = {Amherst, Massachusetts},
  missinginfo = {A's 1st name, pages},
  topic = {argument-structure;Chinese-language;}
  }

@article{ goodenough:1956a,
  author = {Ward H. Goodenough},
  title = {Componential Analysis and the Study of Meaning},
  journal = {Language},
  year = {1956},
  volume = {32},
  pages = {195--215},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {semantic-fields;lexical-semantics;cultural-anthropology;}
  }

@book{ goodluck-rochemont:1992a,
  editor = {Helen Goodluck and Michael Rochemont},
  title = {Island Constraints: Theory, Acquisition, and Processing},
  publisher = {Kluwer Academic Publishers},
  year = {1992},
  address = {Dordrecht},
  ISBN = {0792316894},
  rtnote = {UMich Graduate Library, P 291 .I841 1992.},
  topic = {syntactic-islands;}
 }

@book{ goodman_ir:1991a,
  editor = {Irwin R. Goodman},
  title = {Conditional Logic in Expert Systems},
  publisher = {North-Holland},
  year = {1991},
  address = {Amsterdam},
  ISBN = {0444888195},
  rtnote = {UMich Media Union Library, QA 76.76 .E95 C66441 1991.},
  topic = {conditionals;logic-in-cs;expert-systems;}
 }

@book{ goodman_ir-etal:1991a,
  author = {Irwin R. Goodman and H.T. Nguyen and E.A. Walker},
  title = {Conditional Inference and Logic for Intelligent Systems:
  		A Theory of Measure-Free Conditioning},
  publisher = {North-Holland},
  year = {1991},
  address = {Amsterdam},
  ISBN = {0444886850},
  rtnote = {UMich Media Union Library, QA 76.76 .E95 G671 1991.},
  topic = {probability--semantics;probability-kinematics;}
 }

@inproceedings{ goodman_j:1996a,
  author = {Joshua Goodman},
  title = {Parsing Algorithms and Metrics},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {177--183},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {parsing-algorithms;software-engineering;}
 }

@incollection{ goodman_j:1996b,
  author = {Joshua Goodman},
  title = {Efficient Algorithms for Parsing the {DOP} Model},
  booktitle = {Proceedings of the Conference on Empirical
		Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1996},
  editor = {Eric Brill and Kenneth Church},
  pages = {143--152},
  address = {Somerset, New Jersey},
  contentnote = {"DOP" is "Data Oriented Parsing".  Term is
		due to Remko Scha.},
  topic = {parsing-algorithms;corpus-statistics;}
  }

@incollection{ goodman_j:1997a,
  author = {Joshua Goodman},
  title = {Global Thresholding and Multiple-Pass
				Parsing},
  booktitle = {Proceedings of the Second Conference on Empirical
		Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Claire Cardie and Ralph Weischedel},
  pages = {11--25},
  address = {Somerset, New Jersey},
  topic = {empirical-methods-in-nlp;parsing-algorithms;
		statistical-nlp;}
  }

@article{ goodman_j:1999a,
  author = {Joshua Goodman},
  title = {Semiring Parsing},
  journal = {Computational Linguistics},
  year = {1999},
  volume = {25},
  number = {4},
  pages = {573--603},
  topic = {parsing-algorithms;}
  }

@book{ goodman_k-nirenburg:1991a,
  editor = {Kenneth Goodman and Sergei Nirenburg},
  title = {The {KBMT} Project: A Case Study in Knowledge-Based
  	Machine Translation},
  publisher = {Morgan Kaufmann},
  year = {1991},
  address = {San Mateo, California},
  ISBN = {1-558-60129-5},
  topic = {machine-translation;}
 }

@article{ goodman_n:1943a,
  author = {Nelson Goodman},
  title = {A New Riddle of Induction},
  journal = {Journal of Philosophy},
  year = {1943},
  volume = {14},
  pages = {393--385},
  missinginfo = {number},
  topic = {disjunctive-properties;induction;}
  }

@article{ goodman_n:1947a,
  author = {Nelson Goodman},
  title = {The Problem of Counterfactual Conditionals},
  journal = {The Journal of Philosophy},
  year = {1947},
  volume = {44},
  pages = {113--118},
  missinginfo = {number},
  xref = {Reprinted in goodman_n:1955a.},
  xref = {Review: mckinsey:1947b.},
  topic = {conditionals;dispositions;}
  }

@article{ goodman_n:1949a1,
  author = {Nelson Goodman},
  title = {On Likeness of Meaning},
  journal = {Analysis},
  year = {1949},
  volume = {10},
  missinginfo = {number, pages},
  xref = {Republication: goodman_n:1949a2.},
  topic = {synonymy;philosophy-of-language;}
  }

@incollection{ goodman_n:1949a2,
  author = {Nelson Goodman},
  title = {On Likeness of Meaning},
  booktitle = {Semantics and the Philosophy of Language},
  publisher = {University of Illinois Press},
  year = {1952},
  editor = {Leonard Linsky},
  pages = {67--74},
  address = {Urbana, Illinois},
  xref = {Republication of: goodman_n:1949a1.},
  topic = {synonymy;philosophy-of-language;}
  }

@article{ goodman_n:1949b,
  author = {Nelson Goodman},
  title = {Some Reflections on the Theory of Systems},
  journal = {Philosophy and Phenomenological Research},
  year = {1949},
  volume = {9},
  number = {3},
  pages = {620--626},
  missinginfo = {number},
  xref = {Review: fitch:1950a.},
  topic = {definitions;nominalism;conditionals;}
  }

@book{ goodman_n:1951a,
  author = {Nelson Goodman},
  title = {The Structure of Appearance},
  edition = {1},
  publisher = {Harvard University Press},
  year = {1951},
  address = {Cambridge, Massachusetts},
  xref = {Critical Review: hempel:1953a.},
  topic = {phenomenalism;}
  }

@book{ goodman_n:1955a,
  author = {Nelson Goodman},
  title = {Fact, Fiction and Forecast},
  publisher = {Harvard University Press},
  year = {1955},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  xref = {Reviews: cooley:1957a, pap:1955a.},
  topic = {conditionals;induction;(un)natural-predicates;}
 }

@incollection{ goodman_n:1963a,
  author = {Nelson Goodman},
  title = {The Significance of {\em {D}er {l}ogische {A}ufbau {d}er {W}elt}},
  booktitle = {The Philosophy of {R}udolph {C}arnap},
  publisher = {Open Court},
  year = {1963},
  pages = {545--558},
  editor = {Paul A. Schilpp},
  address = {LaSalle, Illinois},
  topic = {Carnap;logical-empiricism;}
  }

@book{ goodman_n:1968a,
  author = {Nelson Goodman},
  title = {Languages of Art: An Approach to a Theory of Symbols},
  publisher = {The Bobbs-Merrill Company},
  year = {1968},
  address = {Indianapolis},
  rtnote = {UMich Undergraduate Bh 301 .S8 G65},
  topic = {aesthetics;metaphor;speaker-meaning;pragmatics;
  	representation;}
 }

@book{ goodman_n:1977a,
  author = {Nelson Goodman},
  title = {The Structure of Appearance},
  edition = {3},
  publisher = {D. Reidel Publishing Co.},
  year = {1977},
  address = {Dordrecht},
  topic = {phenomenalism;}
  }

@article{ goodman_n:1977b,
  author = {Nelson Goodman},
  title = {The Trouble with {R}oot},
  journal = {Linguistics and Philosophy},
  year = {1977},
  volume = {1},
  number = {2},
  pages = {277--278},
  xref = {Comment on root:1977a.},
  topic = {synonymy;philosophy-of-language;}
  }

@incollection{ goodman_n:1978a,
  author = {Nelson Goodman},
  title = {Predicates without Properties},
  booktitle = {Contemporary Perspectives in the Philosophy of Language},
  publisher = {University of Minnesota Press},
  year = {1978},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {347--348},
  address = {Minneapolis},
  topic = {nominalistic-semantics;}
  }

@book{ goodman_n:1978b,
  author = {Nelson Goodman},
  title = {Ways of Worldmaking},
  publisher = {Hackett Publishing Co.},
  year = {1978},
  address = {Indianapolis},
  rtnote = {UMich Graduate Library, BD 331 .G651.},
  topic = {aesthetics;}
 }

@book{ goodman_n-elgin:1988a,
  author = {Nelson Goodman and Catherine Z. Elgin},
  title = {Reconceptions in Philosophy and Other Arts and Sciences},
  publisher = {Hackett Publishing Co.},
  year = {1988},
  address = {Indianapolis},
  rtnote = {UMich Graduate Library, BD 241 .G6511 1988b.},
  topic = {aesthetics;reconception;metaphilosophy;}
 }

@book{ goodwin_c:1981a,
  author = {C. Goodwin},
  title = {Conversational Organization: Interaction Between Speakers and
  	Hearers},
  publisher = {Academic Press},
  year = {1981},
  address = {New York},
  missinginfo = {A's 1st name},
  rtnote = {check topic},
  rtnote = {Hillman  P95.45 .G6  Check topic},
  topic = {sociolinguistics;discourse;conversation-analysis;pragmatics;}
 }

@inproceedings{ goodwin_r:1994a,
  author = {Richard Goodwin},
  title = {Reasoning about When to Start Acting},
  booktitle = {Proceedings of 2nd International Conference on AI
  	Planning Systems},
  year = {1994},
  editor = {K. Hammond},
  pages = {86--91},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {planning;plan-exection;}
  }

@incollection{ goodwin_sd-etal:1991a,
  author = {Scott D. Goodwin and Eric Neufeld and Andr\'e Trudel},
  title = {Probabilistic Regions of Persistence},
  booktitle = {Symbolic and Quantitative Approaches for Uncertainty:
  	Proceedings of the {E}uropean Conference {ECSQAU}, Marseille,
	France, October 1991},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Rudolf Kruse and Pierre Siegel},
  pages = {182--189},
  address = {Berlin},
  contentnote = {This paper deals with the fact that in fact
  	circumstances are not expected to go unchanged indefinitely.},
  rtnote = {In RHT collection.},
  topic = {temporal-reasoning;frame-problem;}
  }

@techreport{ goodwin_sd-trudel:1989a,
  author = {Scott D. Goodwin and Andr\'e Trudel},
  title = {Persistence in Continuous First-Order Temporal Logics},
  institution = {Department of Computing Science, The University of
  	Alberta},
  number = {TR 89--24},
  year = {1989},
  address = {Edmonton},
  rtnote = {In RHT collection.},
  topic = {temporal-reasoning;frame-problem;nonmonotonic-logic;
  	continuous-change;}
  }

@book{ goosens-rahtz:1997a,
  author = {Michael Goosens and Sebastian Rahtz},
  title = {The \LaTeX{} Graphics Companion: Illustrating Documents
  	with \TeX{} and {PostScript}},
  publisher = {Addison Wesley},
  year = {1997},
  address = {Reading, Massachusetts},
  ISBN = {0-201-85469-4},
  rtnote = {In RHT collection.  Summer 2003.},
  topic = {html;computer-assisted-document-preparation;
  	TeX/LaTeX-manual;}
 }

@book{ gopalakrishnan:2006a,
  author = {Ganesh Gopalakrishnan},
  title = {Computation Engineering:  Applied Automata Theory and
  	Logic},
  publisher = {Springer-Verlag},
  year = {2006},
  address = {Berlin},
  ISBN = {0387244182},
  xref = {Review: tiede:2008b},
  topic = {automata-theory;}
 }

@book{ gopnik_a-melznoff:1996a,
  author = {Alison Gopnik and Andrew N. Melznoff},
  title = {Words, Thoughts, and Theories},
  publisher = {The {MIT} Press},
  year = {1996},
  address = {Cambridge, Massachusetts},
  topic = {L1-acquisition;}
 }

@book{ gopnik_a-mettzoff:1997a,
  author = {Allison Gopnik and Andrew N. Mettzoff},
  title = {Words, Thoughts, and Theories},
  publisher = {The {MIT} Press},
  year = {1997},
  address = {Cambridge, Massachusetts},
  contentnote = {This presents and defends the "theory theory"
  	of reasoning about attitudes.},
  topic = {developmental-psychology;cognitive-psychology;}
 }

@incollection{ gopnik_a-wellman_hm:1995a,
  author = {Alsion Gopnik and Henry M. Wellman},
  title = {Why the Child's Theory of Mind Really {\em Is} a Theory},
  booktitle = {Mental Simulation: Evaluations and Applications},
  publisher = {Blackwell Publishers},
  year = {1995},
  editor = {Martin Davies and Tony Stone},
  pages = {259--273},
  address = {Oxford},
  topic = {folk-psychology;developmental-psychology;
  	mental-simulation;propositional-attitude-ascription;}
  }

@incollection{ gopnik_mm:1976a,
  author = {Myrna M. Gopnik},
  title = {What the Theorist Saw},
  booktitle = {Assessing Linguistic Arguments},
  publisher = {Hemisphere Publishing Corporation},
  year = {1976},
  editor = {Jessica R. Wirth},
  pages = {217--248},
  address = {Washington, D.C.},
  topic = {philosophy-of-linguistics;foundations-of-linguistics;}
  }

@book{ gopnik_mm:1997a,
  editor = {Myrna M. Gopnik},
  title = {The Inheritance and Innateness of Grammars},
  publisher = {Oxford University Press},
  year = {1997},
  address = {Oxford},
  contentnote = {TC:
  	1. Myrna Gopnik, "Introduction"
	2. Patricia K. Kuhl and Andrew N. Meltzoff, "Evolution,
		Nativism and Learning in the Development of Language
		and Speech"
	3. Laura Ann Petitto, "In the Beginning: On the Genetic and
		Environmental Factors that Make Early Language
		Acquisition Possible"
	4. Martha B. Crago, Shanley E.M. Allen and Wendy P.
		Hough-Eyamie, "Exploring Innateness through Cultural
		and Linguistic Variation"
	5. J. Bruce Tomblin, "Epidemiology of Specific Language
		Impairment"
	6. Myrna Gopnik and Jenny Dalalakis, "The Biological Basis of
		Language:  Familial Language Impairment"
	7. Suzy E. Fukuda and Shinji Fukuda, "Dalalakis,"
       10. Harald Clahsen and Detlef Hansen, "The Grammatical
       		Agreement Deficit in Specific Language Impairment:
		Evidence from Therapy Experiments"
       11. Judith R. Johnston, "Specific Language Impairment,
       		Cognition and the Biological Basis of Language"
       12.  Steven Pinker, "Evolutionary Biology and the Evolution of
       		Language"
       13.  Harvey M. Sussman, "A Neurobiological Approach to the
       		Noninvariance Problem in Stop Consonant
		Categorization"
   },
  ISBN = {ISBN 0-19-511534-1 (paper), 0-19-511533-3 (cloth)},
  topic = {L1-acquisition;innateness-of-language-ability;}
 }

@article{ goranko:1990a,
  author = {Valentin Goranko},
  title = {Modal Definability in Enriched Languages},
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1990},
  volume = {31},
  number = {1},
  pages = {81--105},
  rtnote = {In RHT collection.},
  topic = {modal-logic;}
  }

@article{ goranko:1996a,
  author = {Valentin Goranko},
  title = {Hierarchies of Modal and Temporal Logics With Reference
  	Pointers},
  journal = {Journal of Logic, Language, and Information},
  year = {1996},
  volume = {5},
  number = {1},
  pages = {1--24},
  contentnote = {These are fairly powerful extensions of the propositional
  	logics; validity is undecidable.},
  topic = {modal-logic;temporal-logic;}
  }

@article{ goranko:1998a,
  author = {Valentin Goranko},
  title = {Axiomatizations with Context Rules of Inference
  	in Modal Logic},
  journal = {Studia Logica},
  year = {1998},
  volume = {61},
  number = {2},
  pages = {179--197},
  contentnote = {The formalization uses rules of proof that apply
  	only on certain contexts.},
  topic = {proof-theory;modal-logic;}
  }

@article{ goranko:1999a,
  author = {Valentin Goranko},
  title = {Review of \emph{{M}odal Logic},
		by {A}lexander {C}hagov and {M}ichael {Z}akharyaschev},
  journal = {Journal of Logic, Language, and Information},
  year = {1999},
  volume = {7},
  number = {1},
  pages = {255--258},
  xref = {Review of: chagov-zakharyaschev:1997a},
  topic = {modal-logic;}
  }

@article{ goranko:1999b,
  author = {Valentin Goranko},
  title = {Review of \emph{{R}easoning about Knowledge},
	by {R}onald {F}agin and {J}oseph {Y}. {H}alpern and {Y}oram {M}oses
	and {M}oshe {Y}. {V}ardi},
  journal = {Journal of Logic, Language, and Information},
  year = {1999},
  volume = {8},
  number = {4},
  pages = {469--473},
  xref = {Review of fagin-etal:1995b.},
  topic = {epistemic-logic;distributed-systems;communication-protocols;
  	game-theory;}
  }

@article{ goranko:2003a,
  author = {Valentin Goranko},
  title = {The Basic Algebra of Game Equivalences},
  journal = {Studia Logica},
  year = {2003},
  volume = {75},
  number = {2},
  pages = {221--238},
  topic = {game-algebra;}
  }

@article{ goranko:2004a,
  author = {Valentin Goranko},
  title = {Review of \emph{{M}odal Logic}, by {P}atrick {B}Lackburn,
  		{M}aarten de {R}ijke and {Y}de {V}enema},
  journal = {Studia Logica},
  year = {2004},
  volume = {76},
  number = {1},
  pages = {142--148},
  topic = {modal-logic;}
  }

@article{ goranko:2007a,
  author = {Valentin Goranko},
  title = {Review of \emph{{L}ogic in Computer Science: Modelling and
  		Reasoning about Systems}, edited by {M}ichael {H}uth and
		{M}ark {R}yan},
  journal = {The Bulletin of Symbolic Logic},
  year = {2007},
  volume = {13},
  number = {1},
  pages = {117--120},
  xref = {Review of: huth-ryan_md:2004a},
  topic = {logic-in-CS;program-verification;temporal-logic;}
  }

@article{ goranko:2010a,
  author = {Valentin Goranko},
  title = {Review of \emph{{T}emporal Logic and State Systems},
  		by {F}red {K}r\"oger and {S}tephan {M}etz},
  journal = {Studia Logica},
  year = {2010},
  volume = {94},
  number = {3},
  pages = {443--445},
  xref = {Review of:  kroger-metz:2008a},
  topic = {temporal-logic;state-transition-systems;}
  }

@unpublished{ goranko-otto:2005a,
  author = {Valentin Goranko and Martin Otto},
  title = {Model Theory of Modal Logic},
  year = {2005},
  note = {http://www.mathematik.tu-darmstadt.de/~otto/papers/MTML050817.pdf},
  rtnote = {In RHT collection.},
  topic = {model-theory;modal-logic;}
  }

@incollection{ goranko-otto:2006a,
  author = {Valentin Goranko and Martin Otto},
  title = {Model Theory of Modal Logic},
  booktitle = {Handbook of Modal Logic},
  year = {2006},
  editor = {Patrick Blackburn and Johan van Benthem and Frank Wolter},
  pages = {249--329},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {modal-logic;model-theory;}
  }

@book{ gordolopez-parker_i:1999a,
  editor = {Angel J. Gordo-Lopez and Ian Parker},
  title = {Cyberpsychology},
  publisher = {Routledge},
  year = {1999},
  address = {London},
  ISBN = {0 415 (Hb), 0 415 (Pb)},
  topic = {philosophy-of-psychology;}
 }

@incollection{ gordon-hendrick:1999a,
  author = {Peter C. Gordon and Randall Hendrick},
  title = {Comprehension of Coreferential Expressions},
  booktitle = {The Relation of Discourse/Dialogue Structure and
  	Reference},
  publisher = {Association for Computational Linguistics},
  year = {1999},
  editor = {Dan Cristea and Nancy Ide and Daniel Marcu},
  pages = {82--89},
  address = {Somerset, New Jersey},
  topic = {anaphora;}
  }

@article{ gordon_as:2001a,
  author = {Andrew S. Gordon},
  title = {The Representation of Planning Strategies},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {153},
  number = {5--6},
  pages = {287--305},
  contentnote = {Collects maxims or strategies from 10 different planning
  	domains.  E.g. counting, business, performance music.},
  topic = {common-sense-reasoning;intention;practical-reasoning;}
  }

@incollection{ gordon_as-hobbs_jr:2003a,
  author = {Andrew S. Gordon and Jerry R. Hobbs},
  title = {Coverage and Competency in Formal Theories: A Commonsense
  	Theory of Memory},
  booktitle = {Working Papers of the 2003 {AAAI} Spring Symposium on
  	Logical Formalization of Commonsense Reasoning},
  publisher = {AAAI Press},
  year = {2003},
  editor = {Patrick Doherty and John McCarthy and Mary-Anne Williams},
  pages = {64--73},
  address = {Menlo Park, California},
  topic = {common-sense-reasoning;intention;practical-reasoning;}
  }

@incollection{ gordon_d-lakoff_g:1975a1,
  author = {D. Gordon and George Lakoff},
  title = {Conversational Postulates},
  booktitle = {Syntax and Semantics 3: Speech Acts},
  publisher = {Academic Press},
  year = {1975},
  editor = {Peter Cole and Jerry Morgan},
  pages = {83--106},
  address = {New York},
  rtnote = {pragmatics-course;},
  topic = {implicature;pragmatics;generative-semantics;}
  }

@article{ gordon_gj:2007a,
  author = {Geoffrey J. Gordon},
  title = {Agendas for Multi-Agent Learning},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {7},
  pages = {392--401},
  topic = {multiagent-learning;}
  }

@article{ gordon_j-shortliffe:1985a,
  author = {Jean Gordon and Edward Shortliffe},
  title = {A Method of Managing Evidential Reasoning in a Hierarchical
  	Hypothesis Space},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {26},
  number = {3},
  pages = {323--357},
  acontentnote = {Abstract:
     Although informal models of evidential reasoning have been
     successfully applied in automated reasoning systems, it is
     generally difficult to define the range of their applicability.
     In addition, they have not provided a basis for consistent
     management of evidence bearing on hypotheses that are related
     hierarchically.  The Dempster-Shafer (D-S) theory of evidence is
     appealing because it does suggest a coherent approach for
     dealing with such relationships.  However, the theory's
     complexity and potential for computational inefficiency have
     tended to discourage its use in reasoning systems.  In this
     paper we describe the central elements of the D-S theory, basing
     our exposition on simple examples drawn from the field of
     medicine.  We then demonstrate the relevance of the D-S theory
     to a familiar expert-system domain, namely the
     bacterial-organism identification problem that lies at the heart
     of the MYCIN system.  Finally, we present a new adaptation of
     the D-S approach that achieves computational efficiency while
     permitting the management of evidential reasoning within an
     abstraction hierarchy.},
  rtnote = {First page in RHT collection.},
  topic = {probabilistic-reasoning;expert-systems;abduction;
	reasoning-about-uncertainty;diagnosis;Dempster-Shafer-theory;}
  }

@article{ gordon_j-shortliffe:1993a,
  author = {Jean Gordon and Edward H. Shortliffe},
  title = {A Method for Managing Evidential Reasoning in a
  	Hierarchical Hypothesis Space---A Retrospective},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {43--47},
  xref = {Retrospective commentary on gordon_j-shortliffe:1985a.},
  topic = {probabilistic-reasoning;expert-systems;
	reasoning-about-uncertainty;}
  }

@incollection{ gordon_pc-hendrick:1999a,
  author = {Peter C. Gordon and Randall Hendrick},
  title = {Comprehension of Coreferential Expressions},
  booktitle = {The Relation of Discourse/Dialogue Structure and
  	Reference},
  publisher = {Association for Computational Linguistics},
  year = {1999},
  editor = {Dan Cristea and Nancy Ide and Daniel Marcu},
  pages = {82--89},
  address = {New Brunswick, New Jersey},
  topic = {anaphora;nl-comprehension-psychology;}
  }

@incollection{ gordon_rm:1986a,
  author = {Robert M. Gordon},
  title = {The Circle of Desire},
       booktitle = {The Ways of Desire: New Essays in Philosophical
       	Psychology on the Concept of Wanting},
  publisher = {Precedent Publishing, Inc.},
  year = {1986},
  editor = {Joel Marks},
  pages = {101--114},
  address = {Chicago},
  contentnote = {Discusses dependencies of desires on one another.},
  topic = {desire;philosophical-psychology;practical-reasoning;}
  }

@article{ gordon_rm:1986b,
  author = {Robert M. Gordon},
  title = {The Passivity of Emotions},
  journal = {The Philosophical Review},
  year = {1986},
  volume = {95},
  number = {3},
  pages = {371--392},
  topic = {emotions;philosophical-psychology;}
  }

@incollection{ gordon_rm:1995a,
  author = {Robert M. Gordon},
  title = {Simulation without Introspection or
		Interference from Me to You},
  booktitle = {Mental Simulation: Evaluations and Applications},
  publisher = {Blackwell Publishers},
  year = {1995},
  editor = {Martin Davies and Tony Stone},
  pages = {53--67},
  address = {Oxford},
  topic = {folk-psychology;mental-simulation;
  	propositional-attitude-ascription;}
  }

@incollection{ gordon_rm:1995b,
  author = {Robert M. Gordon},
  title = {Folk Psychology as Simulation},
  booktitle = {Mental Simulation: Evaluations and Applications},
  publisher = {Blackwell Publishers},
  year = {1995},
  editor = {Martin Davies and Tony Stone},
  pages = {60--73},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {folk-psychology;mental-simulation;
  	propositional-attitude-ascription;}
  }

@incollection{ gordon_rm:1995c,
  author = {Robert M. Gordon},
  title = {The Simulation Theory: Objections
		and Misconceptions},
  booktitle = {Mental Simulation: Evaluations and Applications},
  publisher = {Blackwell Publishers},
  year = {1995},
  editor = {Martin Davies and Tony Stone},
  pages = {101--124},
  address = {Oxford},
  topic = {folk-psychology;theory-theory-of-folk-psychology;
  	mental-simulation;propositional-attitude-ascription;}
  }

@incollection{ gordon_rm:1995d,
  author = {Robert M. Gordon},
  title = {Reply to {S}tich and {N}ichols},
  booktitle = {Mental Simulation: Evaluations and Applications},
  publisher = {Blackwell Publishers},
  year = {1995},
  editor = {Martin Davies and Tony Stone},
  pages = {174--184},
  address = {Oxford},
  topic = {folk-psychology;mental-simulation;
  	propositional-attitude-ascription;}
  }

@incollection{ gordon_rm:1995e,
  author = {Robert M. Gordon},
  title = {Reply to {P}erner and {H}owes},
  booktitle = {Mental Simulation: Evaluations and Applications},
  publisher = {Blackwell Publishers},
  year = {1995},
  editor = {Martin Davies and Tony Stone},
  pages = {185--190},
  address = {Oxford},
  topic = {folk-psychology;mental-simulation;
  	propositional-attitude-ascription;}
  }

@article{ gordon_rm:1995f,
  author = {Robert M. Gordon},
  title = {Sympathy, Simulation, and the Impartial Spectator},
  journal = {Ethics},
  year = {1995},
  volume = {105},
  pages = {727--742},
  missinginfo = {number},
  topic = {propositional-attitude-ascription;}
  }

@incollection{ gordon_rm:1998a,
  author = {Robert M. Gordon},
  title = {Folk Psychology as Mental Simulation},
  year = {1998},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  publisher = {Stanford University},
  url = {http://plato.stanford.edu/archives/sum1998/entries/folkpsych-simulation/},
  rtnote = {In RHT collection.},
  topic = {folk-psychology;mental-simulation;
  	propositional-attitude-ascription;}
  }

@book{ gordon_tf:1995a,
  author = {T.F. Gordon},
  title = {The Pleadings Game: An Artificial Intelligence Model of
  	Procedural Justice},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  address = {Dordrecht},
  topic = {dialogue-games;AI-and-law;}
 }

@article{ gore:2000b,
  author = {Rajeev Gor\'e},
  title = {Review of \emph{{D}isplaying Modal Logic},
		by {H}einrich {W}ansing},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {9},
  number = {2},
  pages = {269--272},
  xref = {Review of: wansing:1998b.},
  topic = {display-logic;}
  }

@article{ gorogiannis-ryan_md:2002a,
  author = {Nikos Gorogiannis and Mark D. Ryan},
  title = {Implementation of Belief Change Operators using {BDD}'s},
  journal = {Studia Logica},
  year = {2002},
  volume = {68},
  number = {1},
  pages = {131--156},
  topic = {belief-revision;}
  }

@article{ gorovitz:1965a,
  author = {Samuel Gorovitz},
  title = {Causal Judgements and Causal Explanations},
  journal = {The Journal of Philosophy},
  year = {1965},
  volume = {62},
  number = {23},
  pages = {695--711},
  topic = {causality;explanation;}
  }

@incollection{ gorz-etal:2003a,
  author = {Gunther G\"orz and Alexander Huber and Bernd Ludwig and Peter
     		Reiss},
  title = {Combining the Practical Syllogism and Planning
		in Dialogue},
  booktitle = {Diabruck 2003: Proceedings of the 7th Workshop on the
  	Semantics and Pragmatics of Dialogue},
  publisher = {Universit\"at des Saarlandes},
  year = {2003},
  editor = {Ivana Kruijff-Korbayov\'a and Claudia Kosny},
  pages = {35--42},
  address = {Saarbr\"ucken},
  topic = {discourse;pragmatics;discourse-structure;}
  }

@article{ goto-nojima:1995a,
  author = {Shigeki Goto and Hisao Nojima},
  title = {Equilibrium Analysis of the Distribution of Information in
  	Human Society},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {75},
  number = {1},
  pages = {115--130},
  acontentnote = {Abstract:
     This paper applies equilibrium analysis in micro-economics to
     analyze a stable structure in a model of human society.  The
     structure is observed in the study of the distribution of
     information.  It forms a three-layered hierarchy.  These layers
     are called brains, gatekeepers and end users.
      The three-layer structure is widely observed in a variety of
     research fields.  For example, in computer networks, core
     gateways correspond to brains, stub gateways behave like
     gatekeepers, and local networks are end users.  The three-layer
     model is considered to be an essential extension of the popular
     ``client-server'' concept in computer science.
      This paper calculates the supply and demand curves in
     micro-economics to show how the equilibrium is established.  The
     law of diminishing utility is utilized to represent the
     distribution of information or knowledge.  The calculations are
     straightforward if the dependence of the end users on the other
     layers is taken into account.  The results can explain many
     properties of the three-layer model.},
  topic = {artificial-societies;}
  }

@article{ gottlieb:1975a,
  author = {Dale Gottlieb},
  title = {Rationality and the Theory of Projection},
  journal = {No\^us},
  year = {1975},
  volume = {9},
  number = {3},
  pages = {319--328},
  topic = {projectable-predicates;}
  }

@article{ gottlieb:1976a,
  author = {Dale Gottlieb},
  title = {Ontological Reduction},
  journal = {The Journal of Philosophy},
  year = {1964},
  volume = {62},
  number = {24},
  pages = {57--76},
  topic = {metaphysics;philosophical-ontology;}
  }

@article{ gottlieb:1978a,
  author = {Dale Gottlieb},
  title = {The Truth about Arithmetic},
  journal = {American Philosophical Quarterly},
  year = {1978},
  volume = {15},
  number = {2},
  pages = {81--90},
  topic = {philosophy-of-mathematics;truth;}
  }

@article{ gottlieb-davis_lh:1974a,
  author = {Dale V. Gottlieb and Lawrence H. Davis},
  title = {Extensionality and Singular Causal Sentences},
  journal = {Philosophical Studies},
  year = {1974},
  volume = {25},
  pages = {69--72},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {causality;intensional-transitive-verbs;intensionality;}
  }

@article{ gottlieb-mccarthy_t:1979a,
  author = {Dale Gottlieb and Timothy McCarthy},
  title = {Substitutional Quantification and Set Theory},
  journal = {Journal of Philosophical Logic},
  year = {1979},
  volume = {8},
  number = {3},
  pages = {315--331},
  topic = {substitutional-quantification;foundations-of-set-theory;
  	philosophical-ontology;}
  }

@inproceedings{ gottlob_g:1993a,
  author = {Georg Gottlob},
  title = {The Power of Beliefs: Or Translating Default Logic Into
  	Standard Autoepistemic Logic},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {570--575},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  topic = {kr;default-logic;autoepistemic-logic;}
  }

@incollection{ gottlob_g:1994a,
  author = {Georg Gottlob},
  title = {From {C}arnap's Modal Logic to Autoepistemic Logic},
  booktitle = {Logics in Artificial Intelligence},
  publisher = {Springer-Verlag},
  year = {1994},
  editor = {Craig Mac{N}ish and Lu\'is Moniz Pereira and David Pearce},
  pages = {1--18},
  address = {Berlin},
  contentnote = {Technical results relating Carnap's state description
  	approach to autoepistemic logic.},
  topic = {autoepistemic-logic;modal-logic;}
  }

@incollection{ gottlob_g:1996a,
  author = {Georg Gottlob},
  title = {Complexity and Power of {KR} Formalisms (Abstract)},
  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 = {647--649},
  address = {San Francisco, California},
  topic = {kr;complexity-in-AI;kr-course;}
  }

@inproceedings{ gottlob_g-etal:1999a,
  author = {Georg Gottlob and Erich Gr\"adel and Helmut Veith},
  title = {Datalog {LITE}: Temporal Versus Deductive Reasoning
  		in Verification},
  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 = {logic-programming;program-verification;datalog;}
  }

@incollection{ gottlob_g-etal:2000a,
  author = {Georg Gottlob and Erich Gr\"adel and Helmut Veith},
  title = {Linear Time Datalog and Branching Time Logic},
  booktitle = {Logic-Based Artificial Intelligence},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Jack Minker},
  pages = {443--467},
  address = {Dordrecht},
  rtnote = {tmix-project;},
  topic = {logic-in-AI;logic-programming;program-verification;
  	branching-time;datalog;}
  }

@article{ gottlob_g-etal:2000b,
  author = {Georg Gottlob and Nicola Leone and Francesco Scarello},
  title = {A Comparison of Structural {CSP} Decomposition
  	Methods},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {124},
  number = {2},
  pages = {243--282},
  topic = {constraint-satisfaction;AI-algorithms;AI-algorithms-analysis;}
  }

@article{ gottlob_g-etal:2002a,
  author = {Georg Gottlob and Francesco Scarcello and Martha Sideri},
  title = {Fixed-Parameter Complexity in {AI} and Nonmonotonic Reasoning},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {138},
  number = {1--2},
  pages = {55--86},
  topic = {nonmonotonic-reasoning;circumscription;complexity-in-AI;}
  }

@article{ gottlob_g-etal:2009a,
  author = {Georg Gottlob and Reinhard Pichler and Fang Wei},
  title = {Bounded Treewidth as a Key to Tractability of Knowledge
  		Representation and Reasoning},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {174},
  number = {1},
  pages = {105--132},
  topic = {abduction;disjunctive-logic-programming;}
  }

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit