text:
81a,
  author = {Raymond W. {Gibbs, Jr.}},
  title = {Your Wish Is My Command: Convention and Context in
  	Interpreting Indirect Requests},
  journal = {Journal of Verbal Learning and Verbal Behavior},
  year = {1981},
  volume = {20},
  pages = {431--444},
  missinginfo = {A's 1st name, number},
  topic = {indirect-speech-acts;cognitive-psychology;}
  }

@article{ gibbs_rw:1983a,
  author = {Raymond W. {Gibbs, Jr.}},
  title = {Literal Meaning and Psychological Theory},
  journal = {Cognitive Science},
  year = {1983},
  volume = {8},
  pages = {275--304},
  missinginfo = {number},
  topic = {speaker-meaning;cognitive-psychology;foundations-of-semantics;}
  }

@article{ gibbs_rw:1983b,
  author = {Raymond W. {Gibbs, Jr.}},
  title = {Do People Always Process the Literal Meanings of Indirect
  	Requests?},
  journal = {Journal of Experimental Psychology: Learning, Memory,
  	and Cognition},
  year = {1983},
  volume = {9},
  pages = {524--533},
  topic = {indirect-speech-acts;cognitive-psychology;
  	foundations-of-semantics;}
  }

@article{ gibbs_rw:1986a,
  author = {Raymond W. {Gibbs, Jr.}},
  title = {On the Psycholinguistics of Sarcasm},
  journal = {Journal of Experimental Psychology: General},
  year = {1986},
  volume = {115},
  pages = {3--15},
  missinginfo = {number},
  topic = {irony;cognitive-psychology;}
  }

@article{ gibbs_rw:1986b,
  author = {Raymond W.. {Gibbs, Jr.}},
  title = {What Makes Some Indirect Speech Acts Conventional?},
  journal = {Journal of Memory and Language},
  year = {1986},
  volume = {25},
  pages = {181--196},
  missinginfo = {A's 1st name, number},
  topic = {indirect-speech-acts;}
  }

@book{ gibbs_rw:1999a,
  author = {Raymond W. {Gibbs, Jr.}},
  title = {Intentions in the Experience of Meaning},
  publisher = {Cambridge University Press},
  year = {1999},
  address = {Cambridge, England},
  ISBN = {0521572452 (hardcover) 052157630X (pbk.)},
  rtnote = {UMich Graduate, Undergraduate Libraries, BF 463 .M4 G531 1999.},
  topic = {intentions;speaker-meaning;cognitive-psychology;}
 }

@article{ gibbs_rw:1999b,
  author = {Raymond W. {Gibbs, Jr.}},
  title = {Speakers' Intuitions and Pragmatic Theory},
  journal = {Cognition},
  year = {1999},
  volume = {69},
  pages = {355--359},
  missinginfo = {A's 1st name, number},
  topic = {pragmatics;cognitive-psychology;}
  }

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

@article{ gibbs_rw-gerrig:1989a,
  author = {Raymond W. {Gibbs, Jr.} and R.J. Gerrig},
  title = {How Context Makes Metaphor Comprehension Seem `Special'\,},
  journal = {Metaphor and Symbolic Activity},
  year = {1989},
  volume = {4},
  pages = {145--158},
  missinginfo = {A's 1st name, number},
  topic = {metaphor;cognitive-psychology;context;}
  }

@article{ gibbs_rw-moise:1997a,
  author = {Raymond W. {Gibbs, Jr.} and J.F. Moise},
  title = {Pragmatics in Understanding What Is Said},
  journal = {Cognition},
  year = {1997},
  volume = {62},
  pages = {51--74},
  missinginfo = {A's 1st name, number},
  topic = {pragmatics;speaker-meaning;cognitive-psychology;}
  }

@article{ gibbs_rw-nayak_np:1988a,
  author = {Raymond W. {Gibbs, Jr.} and N.P. Nayak},
  title = {Psycholinguistic Studies on the Syntactic Behavior of Idioms},
  journal = {Cognitive Psychology},
  year = {1988},
  volume = {21},
  pages = {100--138},
  missinginfo = {A's 1st name, number},
  topic = {idioms;cognitive-psychology;}
  }

@book{ gibbs_rw-steen:1999a,
  editor = {Raymond W. {Gibbs, Jr.} and Gerard J. Steen},
  title = {Metaphor in Cognitive Linguistics: Selected Papers from
  	the Fifth International Cognitive Linguistics Conference},
  publisher = {J. Benjamins},
  year = {1999},
  address = {Amsterdam},
  ISBN = {1556198922},
  rtnote = {UMich Graduate Library, P 301.5 .M48 I581 1997.},
  topic = {metaphor;cognitive-psychology;}
 }

@incollection{ gibert:1992a,
  author = {Jacek Gibert},
  title = {Declarative Knowledge Representation in Planning and
  	Scheduling},
  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 = {1--12},
  address = {San Mateo, California},
  topic = {kr;planning;scheduling;kr-course;}
  }

@incollection{ giboin:1999a,
  author = {Alain Giboin},
  title = {Contextual Divorces: Towards a Framework for Identifying
  	Critical Context Issues in Collaborative-Argumentation System
	Design},
  booktitle = {Modeling and Using Contexts: Proceedings of
	the Second International and Interdisciplinary
	Conference, {CONTEXT}'99},
  publisher = {Springer-Verlag},
  year = {1999},
  editor = {Paolo Bouquet and Luigi Serafini and Patrick
	Br\'ezillon	and Massimo Benerecetti and Francesca
	Castellani},
  pages = {471--474},
  address = {Berlin},
  topic = {context;computer-aided-design;}
  }

@article{ giere:1976a,
  author = {Ronald N. Giere},
  title = {A {L}aplacian Formal Semantics for Single-Case
  	Propensities},
  journal = {Journal of Philosophical Logic},
  year = {1976},
  volume = {5},
  number = {3},
  pages = {321--353},
  topic = {foundations-of-probability;propensity;}
  }

@article{ giere:2000a,
  author = {Ronald N. Giere},
  title = {Review of \emph{{T}he Dappled World: A Study in the
  	Boundaries of Science}, by },
  journal = {Philosophy of Science},
  year = {2000},
  volume = {67},
  number = {3},
  pages = {527--530},
  xref = {Review of cartwright_n:1999a.},
  topic = {philosophy-of-science;natural-laws;}
  }

@article{ giere:2009a,
  author = {Ronald W. Giere},
  title = {Review of \emph{Scientific Representation: Paradoxes of
  		Perspective}},
  journal = {Philosophy of Science},
  year = {2009},
  volume = {76},
  number = {1},
  pages = {101--111},
  xref = {Review of: vanfraassen:2008a},
  topic = {philosophy-of-science;empiricism;quantum-mechanics;}
  }

@incollection{ gigerenzer:1998a,
  author = {Gerd Gigerenzer},
  title = {Psychological Challenges for Normative Models},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 1:  Quantified Representation
		of Uncertainty and Imprecision},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Dov M. Gabbay and Philippe Smets},
  pages = {441--467},
  address = {Dordrecht},
  topic = {psychology-of-decision-theory;foundations-of-economics;
	rationality-and-cognition;cognitive-psychology;}
  }

@book{ gigerenzer-etal:1999a,
  author = {Gerd Gigerenzer and Peter M. Todd and the ABC Research
  	Group},
  title = {Simple Heuristics That Make Us Smart},
  publisher = {Oxford University Press},
  year = {1999},
  address = {New York},
  ISBN = {0195121562 (alk. paper)},
  contentnote = {TC:
     1. Gerd Gigerenzer and Peter M. Todd, "Fast and frugal
     		heuristics: the adaptive toolbox"
     2. Daniel G. Goldstein and Gerd Gigerenzer, "The recognition
     		heuristic: how ignorance makes us smart"
     3. Bernhard Borges, [et al.]..., "Can ignorance beat the stock
     		market?"
     4. Gerd Gigerenzer and Daniel G.Goldstein, "Betting on one good
     		reason: the take the best heuristic"
     5. Jean Czerlinski, Gerd Gigerenzer, and Daniel G.  Goldstein,
     		"How good are simple heuristics?"
     6. Laura Martignon and Ulrich Hoffrage, "Why does one-reason
     		decision making work?: a case study in ecological
		rationality"
     7. J\"org Rieskamp and Ulrich Hoffrage, "When do people use simple
     		heuristics and how can we tell?"
     8. Laura Martignon and Kathryn Blackmond Laskey, "Bayesian
     		benchmarks for fast and frugal heuristics"
     9. Ulrich Hoffrage and Ralph Hertwig, "Hindsight bias: a price
     		worth paying forfast and frugal memory"
    10. Ralph Hertwig,Ulrich Hoffrage, and Laura Martignon, "Quick
    		estimation: letting the environment do the work"
    11. Patricia M. Berretty, Peter M. Todd, and Laura Martignon,
    		"Categorization by elimination:using few clues to
		choose"
    12. Philip W. Blythe, Peter M. Todd, and Geoffrey F.Miller, "How
    		motion reveals intention: categorizing social
		interactions"
    13. Peter M. Todd and Geoffrey F. Miller, "From pride and
    		prejudice to persuasion: satisficing in mate search"
    14. Jennifer Nerissa Davis and Peter M. Todd, "Parental
    		investment by simple decision rules"
    15. Adam S. Goodie, [etal.]..., "Demons versus heuristics in
    		artificial intelligence, behavioural ecology, and
		economics"
    16. Peter M. Todd and Gerd Gigenrenzer, "What we have learned (so
    		far)"
  },
  rtnote = {UMich Graduate Library, BD 260 .G541 1999.},
  topic = {heuristics;}
 }

@incollection{ gigerenzer-etal:2002a,
  author = {Gerd Gigerenzer and Jean Czerlinski and Laura Martignon},
  title = {How Good Are Fast and Frugal Heuristics?},
  booktitle = {Common Sense, Reasoning, and Rationality},
  publisher = {Oxford University Press},
  year = {2002},
  editor = {Ren\'ee Elio},
  pages = {148--173},
  address = {Oxford},
  abstract = {This chapter argues that models of reasonable and
    rational judgment should look outside the mind to the structure
    of the environment in which the mind must operate.  The everyday
    world presents reasoners with finite computational resources and
    limited time to solve problems for which there is often scarce
    and uncertain information. Problem-solving heuristics that are
    fast and frugal would seem particularly effective in such
    environments.  Using several real-world data sets, it is shown in
    this chapter that certain fast and frugal heuristics performed
    nearly as accurately as and sometimes better than optimality
    methods (such as decision models that employ linear and multiple
    regression techniques).  Such heuristics are ecologically valid
    satisficing strategies, that is, information-processing
    strategies that are effective for the real-world environment in
    which people must render most of their decisions.},
  topic = {limited-rationality;common-sense-reasoning;}
  }

@article{ gil:1982a,
  author = {David Gil},
  title = {Quantifier Scope, Linguistic Variation and Natural
  	Language Semantics},
  journal = {Linguistics and Philosophy},
  year = {1982},
  volume = {5},
  number = {4},
  pages = {421--472},
  topic = {nl-semantics;quantifier-scope;nl-quantifiers;
  	foundations-of-semantics;}
  }

@incollection{ gil:1985a,
  author = {David Gil},
  title = {Universal Quantifiers and Distributivity},
  booktitle = {Quantification in Natural Languages, Vol. 1},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {Emmon Bach and Eloise Jelinek and Angelika Kratzer and
   	Barbara Partee},
  pages = {321--362},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;nl-quantifiers;distributivity-of-quantifiers;}
  }

@incollection{ gil:1987a,
  author = {David Gil},
  title = {Definiteness, Noun Phrase Configuationality, and the
		Count-Mass Distinction},
  booktitle = {The Representation of (In)definites},
  publisher = {The {MIT} Press},
  year = {1987},
  editor = {Eric Reuland and Alice {ter Meulen}},
  pages = {254--269},
  address = {Cambridge, Massachusetts},
  topic = {(in)definiteness;mass-term-semantics;}
  }

@article{ gil:2005a,
  author = {Yolanda Gil},
  title = {Description Languages and Planning},
  journal = {The {AI} Magazine},
  year = {2005},
  volume = {26},
  number = {2},
  pages = {73--84},
  topic = {planning;planning-systems;description-logics;}
  }

@article{ gilbert_c:1998a,
  author = {Christopher Gilbert},
  title = {The Role of Thoughts in {W}ittgenstein's Tractatus},
  journal = {Linguistics and Philosophy},
  year = {1998},
  volume = {21},
  number = {4},
  pages = {341--352},
  topic = {early-Wittgenstein;}
  }

@incollection{ gilbert_d-etal:1994a,
  author = {David Gilbert and Christopher J. Hogger and Jirm
     		Zlatuska},
  title = {Transforming Specifications of Observable
		Behaviour into Programs},
  booktitle = {Logic Programming Synthesis and Transformation,
  	Meta-Programming in Logic: Fourth International Workshops,
	{LOBSTR}'94 and	{META}'94, Pisa, Italy},
  publisher = {Springer-Verlag},
  year = {1994},
  editor = {Laurent Fribourg and Franco Turini},
  pages = {88--103},
  address = {Berlin},
  topic = {software-engineering;logic-program-synthesis;}
  }

@book{ gilbert_dt-etal:1998a,
  editor = {Daniel T. Gilbert and Susan T. Fiske and Gardner Lindzey},
  title = {The Handbook of Social Psychology},
  edition = {4},
  publisher = {McGraw-Hill},
  year = {1998},
  address = {New York},
  contentnote = {TC:
     VOL. 1. MAJOR DEVELOPMENTS IN FIVE DECADES OF SOCIAL
     	PSYCHOLOGY
     1. Shelley E. Taylor, "The Social Being in Social Psychology"
     2. Elliot Aronson and Timothy D. Wilson and Marilynn B.
     		Brewer, "Experimentation in Social Psychology"
     3. Norbert Schwarz and Robert M. Groves and Howard
     		Schuman, "Survey Methods"
     4. Charles M. Judd and Gary H. McClelland, "Measurement"
     5. David A. Kenny and Deborah A. Kashy and Niall Bolger, "Data
     		Analysis in Social Psychology"
     6. Alice H. Eagly, Shelly Chaiken, "Attitude structure and
     		Function"
     7. Richard E. Petty and Duane T. Wegener, "Attitude Change:
     		Multiple Roles for Persuation Variables"
     8. Eliot R. Smith,  "Gender"
     9. Daniel M. Wegner and John A. Bargh, "Control and
     		Automaticity in Social Life"
    10. Robyn M. Dawes, "Behavioral Decision Making and Judgment"
    11. Thane S. Pittman, "Motivation"
    12. Robert B. Zajonc, "Emotions"
    13. Mark Snyder, Nancy Cantor, "Understanding Personality and
    		Social Behavior: A Functionalist Strategy"
    14. Roy Baumeister, "The Self"
    15. Dianne N. Ruble and Jacqueline J. Goodnow, "Social Development
    		in Childhood and Adulthood"
    16. Kay Deaux, Marianne LaFrance, "Gender"
     VOL. 2. NONVERBAL COMMUNICATION
     1. Robert M. Krauss and Chi-Yue Chiu, "Language and Social Behavior"
     2. Daniel T. Gilbert, "Ordinary Personality"
     3. Robert B. Cialdini and Melanie R. Trost, "Social Influence:
     		Social Norms, Conformity, and Compliance"
     4. Ellen Bersheid and Harry T. Reis, "Attraction and Close
     		Relationships"
     5. C. Daniel Batson, "Altruism and Prosocial Behavior"
     6. Russell G. Geen, "Aggression and Antisocial Behavior"
     7. Susan T. Fiske, "Stereotyping, Prejudice, and Discrimination"
     8. John M. Levine, Richard L. Moreland, "Small Groups"
     9. Dean G. Pruitt, "Social Conflict"
    10. Jennifer Crocker and Brenda Major and Claude Steele, "Social
    		Stigma"
    11. Marilynn B. Brewer and Rupert J. Brown, "Intergroup Relations"
    12. Tom R. Tyler and Heather J. Smith, "Social Justice and Social
    		Movements"
    13. Peter Salovey and Alexander J. Rothman and Judith
    		Rodin, "Health Behavior"
    14. Phoebe C. Ellsworth, Robert Mauro, "Psychology and Law"
    15. Jeffrey Pfeffer, "Understanding Organizations: Concepts
    		and Controversies"
    16. Donald R. Kinder, "Opinion and Action in the
    		Realm of Politics"
    17. Philip E. Tetlock, "Social Psychology and World Politics"
    18. Alan Page Fiske et al., "The Cultural Matrix of Social
    		Psychology"
    19. David M. Buss, Douglas T. Kenrick, "Evolutionary Social
    		Psychology"
  },
  ISBN = {0195213769 (cloth)},
  rtnote = {UMich GRAD REFERENCE (Non-Circulating), HM 251 .L75 1998.},
  topic = {social-psychology;}
 }

@article{ gilbert_m:1987a,
  author = {Margaret Gilbert},
  title = {Modelling Collective Belief},
  journal = {Synth\'ese},
  year = {1987},
  volume = {73},
  pages = {185--204},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {mutual-belief;}
  }

@book{ gilbert_m:1989a,
  author = {Margaret Gilbert},
  title = {On Social Facts},
  publisher = {Routledge},
  year = {1989},
  address = {London},
  ISBN = {0415024447},
  rtnote = {UMich Graduate Library HM 24 .G4791 1988},
  topic = {social-philosophy;convention;foundations-of-sociology;}
 }

@article{ gilbert_m:1990a,
  author = {Margaret Gilbert},
  title = {Rationality, Coordination, and Convention},
  journal = {Synth\'ese},
  year = {1990},
  volume = {84},
  number = {1},
  pages = {1--22},
  topic = {convention;rationality;}
  }

@book{ gilbert_m:1996a,
  author = {Margaret Gilbert},
  title = {Living Together: Rationality, Sociality, and Obligation},
  publisher = {Rowman \& Littlefield Publishers},
  year = {1996},
  address = {Lanham, Maryland},
  ISBN = {0847681505 (cloth)},
  rtnote = {UMich Undergraduate, Hm 131 .G4351 1996},
  topic = {social-philosophy;rationality;}
 }

@article{ gilbert_m:1998a,
  author = {Margaret Gilbert},
  title = {Review of \emph{{R}ationality and Coordination}, by
  	{C}ristina {B}iccieri},
  journal = {The Philosophical Review},
  year = {1998},
  volume = {105},
  number = {1},
  pages = {105--107},
  xref = {Review of biccieri:1993a.},
  topic = {foundations-of-game-theory;game-theoretic-coordination;
  	rationality;}
  }

@article{ gilbert_m:1998b,
  author = {Margaret Gilbert},
  title = {Review of \emph{{O}ne for All: The Logic of Group
  	Conflict}, by {R}ussell {H}ardin},
  journal = {Philosophical Review},
  year = {1998},
  volume = {107},
  number = {1},
  pages = {135--137},
  xref = {Review of hardin:1995a.},
  topic = {group-action;foundations-of-sociology;}
  }

@book{ gilbert_m:2000a,
  author = {Margaret Gilbert},
  title = {Sociality and Responsibility: New Essays in Plural Subject
    Theory},
  publisher = {Rowman \& Littlefield Publishers},
  year = {2000},
  address = {Lanham, Maryland},
  ISBN = {0847697622 (cloth)},
  rtnote = {UMich Graduate Library, HM 716 .G551 2000.},
  topic = {social-philosophy;convention;foundations-of-sociology;
  	group-attitudes;}
 }

@article{ gilbert_m:2004a,
  author = {Margaret Gilbert},
  title = {Review of {\it {P}ractical Reasoning in a Social World},
  		by {K}eith {G}raham},
  journal = {The Philosophical Review},
  year = {2004},
  volume = {113},
  number = {1},
  pages = {130--132},
  xref = {Review of: graham_k:2002a.},
  topic = {group-action;practical-reasoning;}
  }

@inproceedings{ gilboa:1988a,
  author = {Itzhak Gilboa},
  title = {Information and Meta Information},
  booktitle = {Proceedings of the Second Conference on Theoretical
  	Aspects of Reasoning about Knowledge},
  year = {1988},
  editor = {Moshe Y. Vardi},
  pages = {227--243},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  topic = {game-theory;mutual-belief;}
  }

@inproceedings{ gilboa:1990a,
  author = {Itzhak Gilboa},
  title = {A Note on the Consistency of Game Theory},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Third Conference ({TARK} 1990)},
  year = {1990},
  editor = {Rohit Parikh},
  pages = {201--208},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  topic = {foundations-of-decision-theory;foundations-of-game-theory;}
  }

@incollection{ gilboa:1994a,
  author = {Itzhak Gilboa},
  title = {Case-Based Decision Theory and Knowledge Representation},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fifth Conference ({TARK} 1994)},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Ronald Fagin},
  pages = {175--181},
  address = {San Francisco},
  topic = {foundations-of-decision-theory;}
  }

@inproceedings{ gilboa-schmeidler:1988b,
  author = {Itzhak Gilboa and David Schmeidler},
  title = {Information-Dependent Games: Can Common Sense Be Common
  	Knowledge?},
  booktitle = {Proceedings of the Second Conference on Theoretical
  	Aspects of Reasoning about Knowledge (Abstract)},
  year = {1988},
  editor = {Moshe Y. Vardi},
  pages = {397--400},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  topic = {game-theory;mutual-belief;}
  }

@incollection{ gilboa-schmeidler:1992a,
  author = {Itzhak Gilboa and David Schmeidler},
  title = {Updating Ambiguous Beliefs},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fourth Conference ({TARK} 1992)},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Yoram Moses},
  pages = {143--162},
  address = {San Francisco},
  topic = {belief-revision;}
  }

@incollection{ gilboa-schmeidler:1998a,
  author = {Itzhak Gilboa and David Schmeidler},
  title = {Case-Based Decision: An Extended Abstract},
  booktitle = {{ECAI}98, Thirteenth European Conference on
  	Artificial Intelligence},
  publisher = {John Wiley and Sons},
  year = {1998},
  editor = {Henri Prade},
  pages = {706--710},
  address = {Chichester},
  topic = {case-based-reasoning;practical-reasoning;decision-theory;}
  }

@incollection{ gilboa-schmeidler:2004a,
  author = {Itzhak Gilboa and David Schmeidler},
  title = {Evidence and Belief},
  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 = {733--734},
  address = {Menlo Park, California},
  topic = {knowledge;belief;foundations-of-decision-theory;
  		case-based-reasoning;}
  }

@article{ gildea-jurafsky:2002a,
  author = {Daniel Gildea and Daniel Jurafsky},
  title = {Automatic Labeling of Semantic Roles},
  journal = {Computational Linguistics},
  year = {2002},
  volume = {28},
  number = {3},
  pages = {245--288},
  topic = {computational-semantics;machine-learning;}
  }

@unpublished{ giles:1980a,
  author = {Robin Giles},
  title = {A Nonclassical Logic for Reasoning with Beliefs},
  year = {1980},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a highly uncertain guess.},
  topic = {epistemic-logic;}
  }

@inproceedings{ giles:1985a,
  author = {Robin Giles},
  title = {A Resolution Logic for Fuzzy Reasoning},
  booktitle = {Proceedings of the Fifteenth International Symposium
  	on Multiple-Valued Logic},
  year = {1985},
  pages = {60--67},
  missinginfo = {editor, organization, address, publisher},
  topic = {qualitative-probability;theorem-proving;}
  }

@article{ giles:1988a,
  author = {Robin Giles},
  title = {A Utility-Valued Logic for Decision-Making},
  journal = {International Journal of Approximate Reasoning},
  year = {1988},
  volume = {2},
  pages = {113--141},
  missinginfo = {number},
  topic = {utility-semantics;}
  }

@incollection{ giles:1990a,
  author = {Robin Giles},
  title = {Introduction to a Logic of Assertions},
  booktitle = {Knowledge Representation and Defeasible Reasoning},
  publisher = {Kluwer Academic Publishers},
  year = {1990},
  editor = {Henry Kyburg and Ronald Loui and Greg Carlson},
  pages = {361--385},
  address = {Dordrecht},
  topic = {utility-semantics;}
  }

@article{ gillespie-perlman:2002a,
  author = {Steven B. Gillespie and Michael D. Perlman},
  title = {The Size Distribution for {M}arkov Equivalence Classes of
  	Acyclic Digraph Models},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {141},
  number = {1--2},
  pages = {137--155},
  topic = {Bayesian-networks;graph-based-representations;}
  }

@incollection{ gillies_as:1999a,
  author = {Anthony S. Gillies},
  title = {The Epistemics of Presupposition},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
		of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {25--30},
  address = {Amsterdam},
  topic = {presupposition;}
  }

@article{ gillies_as:2001a,
  author = {Anthony S. Gillies},
  title = {A New Solution to {M}oore's Paradox},
  journal = {Philosophical Studies},
  year = {2001},
  volume = {105},
  pages = {237--250},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {Moore's-paradox;epistemic-logic;dynamic-logic;}
  }

@unpublished{ gillies_as:2003a,
  author = {Anthony S. Gillies},
  title = {Epistemic Conditionals and Conditional Epistemics},
  year = {2003},
  note = {Unpublished manuscript, Harvard University.},
  rtnote = {In RHT collection.},
  topic = {conditionals;dynamic-logic;}
  }

@article{ gillies_as:2004a,
  author = {Anthony S. Gillies},
  title = {Epistemic Conditionals and Conditional Epistemics},
  journal = {No\^us},
  year = {2004},
  volume = {38},
  number = {4},
  pages = {585--616},
  topic = {conditionals;dynamic-logic;}
  }

@article{ gillies_as:2004b,
  author = {Anthony S. Gillies},
  title = {New Foundations for Epistemic Change},
  journal = {Synth\'ese},
  year = {2004},
  volume = {138},
  number = {1},
  pages = {1--48},
  rtnote = {In RHT collection.},
  topic = {belief-revision;}
  }

@unpublished{ gillies_as:2005a,
  author = {Anthony S. Gillies},
  title = {Counterfactual Scorekeeping},
  year = {2005},
  month = {November},
  note = {Unpublished manuscript, University of Pittsburgh},
  rtnote = {In RHT collection.},
  topic = {conditionals;dynamic-semantics;}
  }

@article{ gillies_as:2006a,
  author = {Anthony S. Gillies},
  title = {What Might be the Case after a Change in View},
  journal = {Journal of Philosophical Logic},
  year = {2006},
  volume = {35},
  number = {2},
  pages = {117--145},
  topic = {belief-revision;epistemic-logic;}
  }

@unpublished{ gillies_as:2007a1,
  author = {Anthony S. Gillies},
  title = {Iffiness},
  year = {2007},
  url = {http://semanticsarchive.net/Archive/TI1OGVlY/iffiness.pdf},
  xref = {Revision: gillies:2007a2.},
  topic = {conditionals;indicative-conditionals;epistemic-modals;}
  }

@unpublished{ gillies_as:2007a2,
  author = {Anthony S. Gillies},
  title = {Iffiness},
  year = {2007},
  xref = {Revision of gillies:2007a2, posted June, 2008.},
  url = {http://semanticsarchive.net/Archive/TI1OGVlY/iffiness-revised-june2008.pdf},
  topic = {conditionals;indicative-conditionals;epistemic-modals;}
  }

@article{ gillies_as:2007b,
  author = {Anthony S. Gillies},
  title = {Counterfactual Scorekeeping},
  journal = {Linguistics and Philosophy},
  year = {2007},
  volume = {30},
  number = {3},
  pages = {329--360},
  topic = {conditionals;dynamic-semantics;}
  }

@unpublished{ gillies_as:2007c,
  author = {Anthony S. Gillies},
  title = {On Truth Conditions for \emph{If} (but Not Quite
  	Only \emph{If}},
  year = {2007},
  rtnote = {In RHT collection.},
  topic = {conditionals;}
  }

@article{ gillies_as:2009a,
  author = {Anthony S. Gillies},
  title = {On Truth Conditions for \emph{If}(but Not Quite Only
  	\emph{If})},
  journal = {The Philosophical Review},
  year = {2009},
  volume = {118},
  number = {3},
  pages = {325--345},
  topic = {conditionals;}
  }

@incollection{ gillies_d:1998a,
  author = {Donald Gillies},
  title = {Confirmation Theory},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 1},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Dov M. Gabbay and Philippe Smets},
  pages = {135--167},
  address = {Dordrecht},
  topic = {confimation-theory;}
  }

@article{ gillogly:1972a,
  author = {James J.  Gillogly},
  title = {The Technology Chess Program},
  journal = {Artificial Intelligence},
  year = {1972},
  volume = {3},
  number = {1--3},
  pages = {145--163},
  topic = {game-playing;}
  }

@article{ gillon:1987a,
  author = {Brendon S. Gillon},
  title = {The Readings of Plural Noun Phrases in {E}nglish},
  journal = {Linguistics and Philosophy},
  year = {1987},
  volume = {10},
  number = {2},
  pages = {199--219},
  rtnote = {Discusses ambiguity/generality.},
  topic = {nl-semantics;ambiguity;plural;}
  }

@incollection{ gillon:1990a,
  author = {Brendon S. Gillon},
  title = {Bare Plurals as Plural Indefinite Noun Phrases},
  booktitle = {Knowledge Representation and Defeasible Reasoning},
  publisher = {Kluwer Academic Publishers},
  year = {1990},
  editor = {Henry {Kyburg, Jr.} and Ronald Loui and Greg Carlson},
  pages = {119--166},
  address = {Dordrecht},
  contentnote = {Takes bare plurals to quantifier phrases.  Defends
                  view against Carlson's arguments. --Delia Graff.},
  topic = {nl-semantics;plural;generics;}
  }

@article{ gillon:1990b,
  author = {Brendan S. Gillon},
  title = {Plural Noun Phrases and Their Readings: a Reply to
  	{L}asersohn},
  journal = {Linguistics and Philosophy},
  year = {1990},
  volume = {13},
  number = {4},
  pages = {477--485},
  xref = {Commentary on lasersohn:1989a.},
  topic = {nl-semantics;plural;}
  }

@article{ gillon:1990c,
  author = {Brendon S. Gillon},
  title = {Ambiguity, Generality, and Indeterminacy: Tests and
  	Definitions},
  journal = {Synth\'ese},
  year = {1990},
  volume = {85},
  number = {3},
  pages = {391--416},
  rtnote = {In RHT collection.  Use this in Semantics.},
  topic = {ambiguity;}
  }

@article{ gillon:1992a,
  author = {Brendan S. Gillon},
  title = {Towards a Common Semantics for {E}nglish Count and Mass Nouns},
  journal = {Linguistics and Philosophy},
  year = {1992},
  volume = {15},
  number = {6},
  pages = {537--639},
  topic = {nl-semantics;plural;mass-terms;}
  }

@article{ gilmore_pc:1970a,
  author = {Paul C. Gilmore},
  title = {An Examination of the Geometry Theorem Machine},
  journal = {Artificial Intelligence},
  year = {1970},
  volume = {1},
  number = {3--4},
  pages = {171--187},
  topic = {theorem-proving;computer-assisted-mathematics;}
  }

@article{ gilmore_pc:2001a,
  author = {Paul C. Gilmore},
  title = {An Intensional Type Theory: Motivation and Cut-Elimination},
  journal = {Journal of Symbolic Logic},
  year = {2001},
  volume = {66},
  number = {1},
  pages = {383--400},
  topic = {higher-order-logic;nominalism;formalizations-of-nominalism;}
  }

@book{ gilmore_pc:2005a,
  author = {Paul C. Gilmore},
  title = {Logicism Renewed: Logical Foundations for Mathematics and
  	Computer Science},
  publisher = {A.K. Peters, Ltd.},
  year = {2005},
  address = {Wellesley, Massachusetts},
  ISBN = {1-56881-276-0},
  rtnote = {In RHT Collection.  Logic shelves.},
  rtnote = {UMich Shapiro Science QA 9.2 .G551 2005},
  xref = {Review: andrews_jh:2007a},
  topic = {logicism;formalizations-of-nominalism;nominalism;}
 }

@article{ ginet:1962a,
  author = {Carl Ginet},
  title = {Can the Will Be Caused?},
  journal = {The Philosophical Review},
  year = {1962},
  volume = {71},
  pages = {49--92},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {freedom;causality;}
  }

@article{ ginet:1979a,
  author = {Carl Ginet},
  title = {Performativity},
  journal = {Linguistics and Philosophy},
  year = {1979},
  volume = {3},
  number = {2},
  pages = {245--265},
  topic = {JL-Austin;speech-acts;pragmatics;}
  }

@incollection{ ginet:1989a,
  author = {Carl Ginet},
  title = {Reasons Explanation of Action: An
		Incompatibilist Account},
  booktitle = {Philosophical Perspectives 3:
  	Philosophy of Mind and Action Theory},
  publisher = {Ridgeview Publishing Company},
  year = {1989},
  editor = {James E. Tomberlin},
  pages = {17--46},
  address = {Atasacadero, California},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {reasons-for-action;desires;}
  }

@article{ ginet:1998a,
  author = {Carl Ginet},
  title = {Review of \emph{{T}he Significance of Free Will}, by
  	{R}obert {K}ane},
  journal = {The Philosophical Review},
  year = {1998},
  volume = {107},
  number = {2},
  pages = {312--315},
  xref = {Review of kane:1996a.},
  topic = {freedom;volition;}
  }

@incollection{ ginet:2000a,
  author = {Carl Ginet},
  title = {The Epistemic Requirements for Moral
    		Responsibility},
  booktitle = {Philosophical Perspectives 14: Action and Freedom},
  publisher = {Blackwell Publishers},
  year = {2000},
  editor = {James E. Tomberlin},
  pages = {279--300},
  address = {Oxford},
  topic = {blameworthiness;}
  }

@article{ ginsberg_a-etal:1988a,
  author = {Allen Ginsberg and Sholom M. Weiss and Peter Politakis},
  title = {Automatic Knowledge Base Refinement for Classification Systems},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {35},
  number = {2},
  pages = {197--226},
  acontentnote = {Abstract:
     An automated approach to knowledge base refinement, an important
     aspect of knowledge acquisition is described.  Using empirical
     performance analysis, SEEK2 extends the capabilities of its
     predecessor rule refinement system, SEEK [17].  In this paper,
     the progress made since the original SEEK program is described:
     (a) SEEK2 works with a more general class of knowledge bases
     than SEEK, (b) SEEK2 has an automatic refinement capability, it
     can perform many of the basic tasks involved in knowledge base
     refinement without human interaction, (c) a metalanguage for
     knowledge base refinement has been specified which describes
     knowledge about the refinement process.  Methods for estimating
     the expected gain in performance for a refined knowledge base
     and prospective test cases are described and some results are
     reported.  An approach to justifying refinement heuristics is
     discussed.},
  topic = {knowledge-acquisition;}
  }

@techreport{ ginsberg_ml:1984a,
  author = {Matthew L. Ginsberg},
  title = {Analyzing Incomplete Information},
  institution = {Department of Computer Science, Stanford University},
  number = {Hpp 84--17},
  year = {1984},
  address = {Palo Alto, California},
  rtnote = {In RHT collection.},
  topic = {probability-semantics;conditionals;}
  }

@inproceedings{ ginsberg_ml:1985a,
  author = {Matthew L. Ginsburg},
  title = {Counterfactuals},
  booktitle = {Proceedings of the Ninth International Joint
  	Conference on Artificial Intelligence},
  year = {1985},
  editor = {Arivind Joshi},
  pages = {80--86},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  contentnote = {Attempts to define a selection function for a
  	circuits domain.},
  rtnote = {In RHT collection.},
  xref = {Journal Publication: ginsberg:1986c.},
  topic = {kr;conditionals;kr-course;}
 }

@inproceedings{ ginsberg_ml:1986a1,
  author = {Matthew L. Ginsberg},
  title = {Multi-Valued Logics},
  booktitle = {Proceedings of the Fifth National Conference on
              Artificial Intelligence},
  year = {1986},
  editor = {Tom Kehler and Stan Rosenschein},
  pages = {243--247},
  organization = {American Association for Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  xref = {Republication: ginsberg_ml:1986a2.},
  topic = {bilattices;multivalued-logic;}
  }

@incollection{ ginsberg_ml:1986a2,
  author = {Matthew L. Ginsberg},
  title = {Multi-Valued Logics},
  booktitle = {Readings in Nonmonotonic Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Matthew L. Ginsberg},
  pages = {251--255},
  address = {Los Altos, California},
  xref = {Original Publication: ginsberg_ml:1986a1.},
  topic = {bilattices;multivalued-logic;}
  }

@incollection{ ginsberg_ml:1986b,
  author = {Matthew L. Ginsberg},
  title = {Possible Worlds Planning},
  booktitle = {Reasoning about Actions and Plans},
  publisher = {Morgan Kaufmann},
  year = {1986},
  editor = {Michael P. Georgeff and Amy Lansky},
  pages = {213--243},
  address = {Los Altos, California},
  topic = {foundations-of-planning;action-formalisms;qualification-problem;}
  }

@article{ ginsberg_ml:1986c,
  author = {Matthew L. Ginsberg},
  title = {Counterfactuals},
  journal = {Artificial Intelligence},
  year = {1986},
  volume = {30},
  number = {1},
  pages = {35--79},
  topic = {kr;conditionals;kr-course;}
  }

@book{ ginsberg_ml:1987a,
  editor = {Matthew L. Ginsberg},
  title = {Readings in Nonmonotonic Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1987},
  address = {Los Altos, California},
  note = {(Out of print.)},
  contentnote = {TC:
     1. Matthew L. Ginsberg, "Introduction", pp. 1--23
     2. John McCarthy and Patrick J. Hayes, "Some Philosophical
         Problems from the Standpoint of Artificial
         Intelligence", pp. 26--45
     3. John McCarthy, "Epistemological Problems of Artificial
         Intelligence", pp. 46--55
     4. David J. Israel, "What's Wrong with Nonmonotonic
         Logic?", pp. 53--55
     5. Donald Perlis, "On the Consistency of Commonsense
         Reasoning", pp. 56--66
     6. Raymond Reiter, "A Logic for Default Reasoning", pp. 68--93
     7. Raymond Reiter and Giovanni Criscuolo, "On Interacting
         Defaults", pp. 94--100
     8. David Etherington and Raymond Reiter, "On Inheritance
         Hierarchies with Exceptions", pp. 101--105
     9. David S. Touretzky, "Implicit Ordering of Defaults in
         Inheritance Systems", pp. 106--109
    10. Drew McDermott and Jon Doyle, "Non-Monotonic Logic
         {I}", pp. 111--126
    11. Robert C. Moore, "Semantical Considerations on Nonmonotonic
         Logic", pp. 127--136
    12. Robert Moore, "Possible Worlds Semantics for Autoepistemic
         Logic", pp. 137--142
    13. John McCarthy, "Circumscription---a Form of Non-Monotonic
         Reasoning", pp. 145--152
    14. John McCarthy, "Applications of Circumscription to
         Formalizing Common-Sense Knowledge", pp. 153--166
    15. Vladimir Lifschitz, "Computing Circumscription", pp. 167--173
    16. David W. Etherington and Robert E. Mercer and and Raymond
  	Reiter, "On the Adequacy or Predicate Circumscription for
  	Closed-World Reasoning", pp. 174--178
    17. Vladimir Lifschitz, "Pointwise circumscription", pp. 179--193
    18. Kurt Konolige, "On the Relation Between Default and
         Autoepistemic Logic", pp. 195--226
    19. Yoav Shoham, "A Semantical Approach to Nonmonotonic
         Logics", pp. 227--250
    20. Matthew L. Ginsberg, "Multi-Valued Logics", pp. 251--255
    21. Jon Doyle, "A Truth Maintenance System", pp. 259--279
    22. Johan de Kleer, "An Assumption-Based {TMS}", pp. 280--297
    23. Raymond Reiter, "On Closed World Data Bases", pp. 300--310
    24. Keith L. Clark, "Negation as Failure", pp. 311--325
    25. Jack Minker, "On Indefinite Databases and the Closed World
         Assumption", pp. 326--333
    26. Vladimir Lifschitz, "Closed-World Databases and
         Circumscription", pp. 334--336
    27. Vladimir Lifschits, "On the Declarative Semantics of Logic
         Programs with Negation", pp. 337--350
    28. Raymond Reiter, "A Theory of Diagnosis from First
         Principles", pp. 352--371
    29. Johan de Kleer and Brian C. Williams, "Diagnosing Multiple
         Faults", pp. 372--388
    30. Steven Hanks and Drew McDermott, "Default Reasoning,
         Nonmonotonic Logics and the Frame Problem", pp. 390--395
    31. Yoav Shoham, "Chronological Ignorance: An Experiment in
        Nonmonotonic Temporal Reasoning", pp. 396--409
    32. Vladimir Lifschitz, "Formal Theories of Action", pp. 410--432
    33. Matthew L. Ginsberg and David E.  Smith, "Reasoning about
         Action {I}: A Possible Worlds Approach", pp. 433--463
    34. Donald Perlis, "A Bibliography of Literature on Non-Monotonic
         Reasoning", pp. 466--477
  },
  topic = {kr;nonmonotonic-reasoning;kr-course;}
 }

@incollection{ ginsberg_ml:1987b,
  author = {Matthew L. Ginsberg},
  title = {Introduction},
  booktitle = {Readings in Nonmonotonic Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Matthew L. Ginsberg},
  pages = {1--23},
  address = {Los Altos, California},
  rtnote = {Several copies in RHT collection.  Files.},
  topic = {kr;nonmonotonic-reasoning;nonmonotonic-reasoning-survey;kr-course;}
  }

@article{ ginsberg_ml:1988a,
  author = {Matthew L. Ginsberg},
  title = {Multivalued Logics: A Uniform Approach to Reasoning in Artificial
  	Intelligence},
  journal = {Computational Intelligence},
  year = {1988},
  volume = {4},
  pages = {265--316},
  rtnote = {Draft copy in RT collection.},
  missinginfo = {number},
  topic = {kr;nonmonotonic-logic;
        multivalued-logic;kr-course;}
  }

@article{ ginsberg_ml:1989c,
  author = {Matthew L. Ginsberg},
  title = {A Circumscriptive Theorem Prover},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {39},
  number = {2},
  pages = {209--230},
  topic = {nonmonotonic-reasoning;circumscription;
  	theorem-proving;}
  }

@inproceedings{ ginsberg_ml:1990a,
  author = {Matthew L. Ginsberg},
  title = {A Local Formalization of Inheritance},
  booktitle = {Proceedings of the 1990 Non-Monotonic Reasoning Workshop},
  year = {1990},
  organization = {American Association for Artificial Intelligence},
  missinginfo = {Get exact info on this conference},
  rtnote = {In RHT collection.},
  topic = {inheritance-theory;}
  }

@article{ ginsberg_ml:1990b,
  author = {Matthew L. Ginsberg},
  title = {Bilattices and Modal Operators},
  journal = {Journal of Logic and Computation},
  year = {1990},
  rtnote = {Draft In RT collection.},
  missinginfo = {number,volume,pages},
  topic = {kr;nonmonotonic-logic;multivalued-logic;kr-course;}
  }

@inproceedings{ ginsberg_ml:1991a,
 author = {Matthew L. Ginsberg},
 title = {The Computational Value of Nonmonotonic Reasoning},
 booktitle = {Proceedings of the Second International Conference on
		Principles of Knowledge Representation and Reasoning},
 year = {1991},
 editor = {James Allen and Richard Fikes and Erik Sandewall},
 pages = {262--268},
 publisher = {Morgan Kaufmann},
 address = {San Mateo, California},
 topic = {kr;nonmonotonic-reasoning;hierarchical-planning;}
  }

@incollection{ ginsberg_ml:1991b,
  author = {Matthew L. Ginsberg},
  title = {Computational Considerations in Reasoning about Action},
  booktitle = {{KR}'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {250--261},
  address = {San Mateo, California},
  topic = {kr;planning-algorithms;foundations-of-planning;kr-course;
  		planning-formalisms;action-formalisms;temporal-reasoning;}
  }

@article{ ginsberg_ml:1992a,
  author = {Matthew L. Ginsberg},
  title = {Multivalued Logics: A Uniform Approach to Inference
  	in Artificial Intelligence},
  journal = {Computational Intelligence},
  year = {1992},
  volume = {4},
  number = {3},
  pages = {256--316},
  topic = {bilattices;multivalued-logic;nonmonotonic-logic;}
  }

@book{ ginsberg_ml:1993a,
  author = {Matthew L. Ginsberg},
  title = {Essentials of Artificial Intelligence},
  publisher = {Morgan Kaufmann Publishers},
  year = {1993},
  address = {San Mateo, California},
  topic = {AI-intro;AI-text;}
 }

@incollection{ ginsberg_ml:1994a,
  author = {Matthew L. Ginsberg},
  title = {{AI} and Nonmonotonic Reasoning},
  booktitle = {Handbook of Logic in Artificial Intelligence
   	         and Logic Programming, Volume 3: Nonmonotonic
		 Reasoning and Uncertain Reasoning},
  publisher = {Oxford University Press},
  year = {1994},
  editor = {Dov Gabbay and Christopher J. Hogger and J. A. Robinson},
  pages = {1--33},
  address = {Oxford},
  topic = {nonmonotonic-reasoning;nonmonotonic-logic;logic-in-AI;}
  }

@article{ ginsberg_ml:1995a,
  author = {Matthew L. Ginsberg},
  title = {Approximate Planning},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {76},
  number = {1--2},
  pages = {89--123},
  contentnote = {Formalizes idea of plan that is expected -- not
  	guaranteed -- to achieve its goal. Argues that this more relaxed
	sort of plan is needed in planning.},
  topic = {planning;}
  }

@incollection{ ginsberg_ml:1996a,
  author = {Matthew L. Ginsberg},
  title = {A New Algorithm for Generative Planning},
  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 = {186--197},
  address = {San Francisco, California},
  topic = {foundations-of-planning;kr;planning-algorithms;kr-course;}
  }

@incollection{ ginsberg_ml:1996b,
  author = {Matthew L. Ginsberg},
  title = {Do Computers Need Common Sense?},
  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 = {620--626},
  address = {San Francisco, California},
  topic = {kr;foundations-of-AI;kr-course;}
  }

@inproceedings{ ginsberg_ml:1996c,
  author = {Matthew L. Ginsberg},
  title = {Partition Search},
  booktitle = {Proceedings of the Thirteenth National Conference on
              Artificial Intelligence and the Eighth Innovative
	      Applications of Artificial Intelligence  Conference,
	      Vol. 2},
  year = {1996},
  editor = {William J. Clancey and Dan Weld},
  pages = {228--233},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {search;game-playing;}
  }

@inproceedings{ ginsberg_ml-holbrook:1992a,
  author = {Matthew L. Ginsberg and Hugh Holbrook},
  title = {What Defaults Can Do that Hierarchies Can't},
  booktitle = {Proceedings of the Fourth Workshop on Nonmonotonic
  	Reasoning},
  year = {1992},
  organization = {American Association for Artificial Intelligence},
  missinginfo = {Check on all info on this publication.},
  topic = {nonmonotonic-reasoning;hierarchical-planning;}
  }

@incollection{ ginsberg_ml-mcallester_da:1994a,
  author = {Matthew L. Ginsberg and Davis A. McAllester},
  title = {{GSAT} and Efficient Backtracking},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {226--227},
  address = {San Francisco, California},
  topic = {kr;search;complexity-in-AI;backtracking;kr-course;}
  }

@inproceedings{ ginsberg_ml-parker_aj:2000a,
  author = {Matthew L. Ginsberg and Andrew J. Parker},
  title = {Satisfiability Algorithms and Finite Quantification},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {690--701},
  topic = {planning;search;model-checking;}
  }

@inproceedings{ ginsberg_ml-smith_de:1987a,
  author = {Matthew L. Ginsberg and David E.  Smith},
  title = {Reasoning about Action {I}:  the Qualification Problem},
  booktitle = {Proceedings of the 1987 Workshop on the Frame Problem in
  	Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  location = {Lawrence, Kansas},
  year = {1987},
  editor = {Frank M. Brown},
  xref = {Revised version in Artificial Intelligence:
  	ginsberg_ml-smith_de:1988a.},
  topic = {qualification-problem;action;foundations-of-planning;}
}

@inproceedings{ ginsberg_ml-smith_de:1987b1,
  author = {Matthew L. Ginsberg and David E. Smith},
  title = {Reasoning about Action {II}: The Qualification Problem},
  booktitle = {The Frame Problem in Artificial Intelligence: Proceedings
  	of the 1987 Workshop},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Frank M. Brown},
  pages = {259--287},
  address = {Los Altos, California},
  xref = {Reprinted: ginsberg_ml-smith_de:1987b2.},
  topic = {kr;frame-problem;qualification-problem;
  	Yale-shooting-problem;}
  }

@article{ ginsberg_ml-smith_de:1987b2,
  author = {Matthew L. Ginsberg and David E. Smith},
  title = {Reasoning about Action {II}: The Qualification Problem},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {35},
  number = {3},
  pages = {311--342},
  xref = {Journal publication of: ginsberg_ml-smith_de:1987b1.},
  topic = {kr;frame-problem;qualification-problem;
  	Yale-shooting-problem;}
  }

@article{ ginsberg_ml-smith_de:1988a1,
  author = {Matthew L. Ginsberg and David E.  Smith},
  title = {Reasoning about Action {I}:  A Possible Worlds Approach},
  journal = {Artificial Intelligence},
  volume = {35},
  number = {2},
  pages = {165--195},
  year = {1988},
  xref = {Revision of ginsberg_ml-smith_de:1987a.},
  xref = {Republication: ginsberg_ml-smith_de:1988a2.},
  topic = {qualification-problem;action;foundations-of-planning;}
}

@incollection{ ginsberg_ml-smith_de:1988a2,
  author = {Matthew L. Ginsberg and David E.  Smith},
  title = {Reasoning about Action {I}: A Possible Worlds Approach},
  booktitle = {Readings in Nonmonotonic Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Matthew L. Ginsberg},
  pages = {433--463},
  address = {Los Altos, California},
  xref = {Original Publication: ginsberg_ml-smith_de:1988a1.},
  topic = {qualification-problem;action;foundations-of-planning;}
  }

@techreport{ ginsburg_s-partee:1968a,
  author = {Seymour Ginsburg and Barbara Partee},
  title = {A Mathematical Model of Transformational Grammars},
  institution = {System Development Corporation},
  number = {TM--738--048--00},
  year = {1968},
  address = {Santa Monica},
  rtnote = {In RHT collection.  Filed under "Partee".},
  topic = {transformational-grammar;}
  }

@phdthesis{ ginzburg:1992a,
  author = {Jonathan Ginzburg},
  title = {Questions, Queries, and Facts: A Semantics and
  	Pragmatics for Interrogatives},
  school = {Stanford University},
  year = {1992},
  type = {Ph.{D}. Dissertation},
  address = {Stanford},
  topic = {interrogatives;facts;}
 }

@article{ ginzburg:1995a,
  author = {Jonathan Ginzburg},
  title = {Resolving Questions {I}},
  journal = {Linguistics and Philosophy},
  year = {1995},
  volume = {18},
  pages = {459--527},
  number = {5},
  topic = {interrogatives;situation-semantics;}
  }

@article{ ginzburg:1995b,
  author = {Jonathan Ginzburg},
  title = {Resolving Questions {II}},
  journal = {Linguistics and Philosophy},
  year = {1995},
  volume = {18},
  number = {6},
  pages = {567--609},
  topic = {interrogatives;situation-semantics;}
  }

@book{ ginzburg:1996a,
  author = {Jonathan Ginzburg},
  title = {Questions, Queries, and Facts},
  publisher = {Cambridge University Press},
  year = {1996},
  address = {Cambridge, England},
  topic = {interrogatives;facts;}
 }

@incollection{ ginzburg:1996b,
  author = {Jonathan Ginzburg},
  title = {Interrogatives: Questions, Facts, and Dialogue},
  booktitle = {The Handbook of Contemporary Semantic Theory},
  publisher = {Blackwell Publishers},
  year = {1996},
  address = {Oxford},
  editor = {Shalom Lappin},
  pages = {385--422},
  topic = {nl-semantics;interrogatives;dialogue-logic;}
  }

@article{ ginzburg-cooper_r:2004a,
  author = {Jonathan Ginzburg and Robin Cooper},
  title = {Clarification, Ellipsis and the Nature of Contextual Updates
  		in Dialogue},
  journal = {Linguistics and Philosophy},
  year = {2004},
  volume = {27},
  number = {3},
  pages = {297--365},
  topic = {ellipsis;pragmatics;}
  }

@inproceedings{ ginzburg-fernandez:2005a,
  author = {Jonathan Ginzburg and Fern\'{a}ndez, Raquel},
  title = {Scaling up from Dialogue to Multilogue: Some Principles
  		and Benchmarks},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {231--238},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1029},
  topic = {computational-dialogue;}
  }

@incollection{ ginzburg-sag:1999a,
  author = {Jonathan Ginzburg and Ivan Sag},
  title = {Constructional Ambiguity in Conversation},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
		of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {31--36},
  address = {Amsterdam},
  topic = {intonation;pragmatics;ambiguity;HPSG;}
  }

@book{ ginzburg-sag:2000a,
  author = {Jonathan Ginzburg and Ivan A. Sag},
  title = {Interrogative Investigations:  The Form, Meaning, and
  		Use of {E}nglish Interrogatives},
  publisher = {{CSLI} Publications},
  year = {2000},
  address = {Stanford, California},
  ISBN = {1-57586-277-8 (hbk), 1-57586-278-6 (pbk)},
  xref = {Review: nelken:2005a},
  topic = {interrogatives;nl-semantics;}
 }

@article{ giora:1995a,
  author = {R. Giora},
  title = {On Irony and Negation},
  journal = {Discourse Processes},
  year = {1995},
  volume = {19},
  number = {2},
  pages = {239--264},
  missinginfo = {number},
  topic = {irony;negation;}
  }

@article{ giordano:2005a,
  author = {Laura Giordano},
  title = {Weak {AGM} Postulates and Strong {R}amsey Test:  A
  		Logical Formalization},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {168},
  number = {1--2},
  pages = {1--37},
  topic = {belief-revision;conditionals;}
  }

@inproceedings{ giordano-etal:1998a,
  author = {Laura Giordano and Alberto Martelli and Camilla B. Schwind},
  title = {Dealing with Concurrent Actions in Modal Action Logic},
  booktitle = {Proceedings of the Thirteenth {E}uropean Conference on
  	{A}rtificial {I}ntelligence},
  year = {1998},
  pages = {537--541},
  missinginfo = {A's 1st name, editor, publisher, address},
  topic = {concurrence;action-formalisms;modal-logic;}
  }

@article{ giordano-etal:2002a,
  author = {Laura Giordano and Valentina Gliozzi and Nicola Olivetti},
  title = {Iterated Belief Revision and Conditional Logic},
  journal = {Studia Logica},
  year = {2002},
  volume = {68},
  number = {1},
  pages = {23--47},
  topic = {belief-revision;conditionals;CCCP;}
  }

@article{ giordano-martelli:1994a,
  author = {Laura Giordano and Alberto Martelli},
  title = {On Cumulative Default Logics},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {66},
  number = {1},
  pages = {161--179},
  topic = {default-logic;nonmonotonic-logic;}
  }

@article{ giordano-schwind:2004a,
  author = {Laura Giordano and Camilla Schwind},
  title = {Conditional Logic of Actions and Causation},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {157},
  number = {1--2},
  pages = {239--279},
  topic = {nonmonotonic-logic;action-formalisms;causality;conditionals;}
  }

@inproceedings{ giorgi-pianesi:2001a,
  author = {Alessandra Giorgi and Fabio Pianesi},
  title = {Tense, Attitudes, and Subjects},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XI}},
  publisher = {Cornell University},
  year = {2001},
  editor = {Rachel Hastings and Brendan Jackson and Zsofia Zvolenszky},
  pages = {212--230},
  address = {Ithaca, New York},
  topic = {nl-semantics;sequence-of-tense;}
  }

@book{ gipper:1987a,
  author = {Helmut Gipper},
  title = {Das {S}prachapriori: {S}prache als {V}oraussetzung Menschlichen
	{D}enkens und {E}rkennens},
  publisher = {Frommann-Holzboog},
  year = {1987},
  address = {Stuttgart},
  ISBN = {3772809340},
  rtnote = {UMich Graduate Library, P 106 .G5471 1987},
  topic = {a-priori;}
 }

@incollection{ gips:1995a,
  author = {James Gips},
  title = {Towards the Ethical Robot},
  booktitle = {Android Epistemology},
  publisher = {Cambridge University Press},
  year = {1995},
  editor = {Kenneth M. Ford and Clark Glymour and Patrick J. Hayes},
  pages = {253--265},
  address = {Cambridge, England},
  topic = {automated-ethical-reasoning;}
  }

@book{ girard:1989a,
  author = {Jean-Yves Girard},
  title = {Proofs and Types},
  publisher = {Cambridge University Press},
  year = {1989},
  address = {Cambridge, England},
  ISBN = {0521371813},
  note = {Translated and with appendices by {P}aul {T}aylor and
  	{Y}ves {L}afont.},
  rtnote = {UMich Science, QA 76.6 .G56 1989.},
  topic = {proof-theory;type-theory;}
 }

@incollection{ giraudet-rounes:1999a,
  author = {Guillaume Giraudet and Corinne Rounes},
  title = {Independence from Context Information Provided by Spatial
  	Signature Learning in a Natural Object Identification Task},
  booktitle = {Modeling and Using Contexts: Proceedings of
	the Second International and Interdisciplinary
	Conference, {CONTEXT}'99},
  publisher = {Springer-Verlag},
  year = {1999},
  editor = {Paolo Bouquet and Luigi Serafini and Patrick
	Br\'ezillon	and Massimo Benerecetti and Francesca
	Castellani},
  pages = {173--185},
  address = {Berlin},
  topic = {context;cognitive-psychology;}
  }

@article{ girle:1971a,
  author = {Roderic A. Girle},
  title = {Quantification into Epistemic Contexts},
  journal = {Logique et Analyse, Nouvelle S\'erie},
  year = {1971},
  volume = {17},
  number = {65--66},
  missinginfo = {A's 1st name, pages},
  topic = {epistemic-logic;quantifying-in-modality;}
  }

@book{ girle:2001a,
  author = {Roderic A. Girle},
  title = {Modal Logics and Philosophy},
  publisher = {McGill-Queen's University Press},
  year = {2001},
  address = {Montreal},
  ISBN = {0773521496},
  rtnote = {UMich Hatcher Graduate BC 199 .M6 G57 2000},
  topic = {modal-logic;logic-and-philosophy;}
 }

@article{ girle:2002a,
  author = {Roderic A. Girle},
  title = {Review of \emph{{F}irst Order Modal Logic},
  	by {M}elvin {F}itting and {R}ichard {L}. {M}endelsohn},
  journal = {The Bulletin of Symbolic Logic},
  year = {2002},
  volume = {8},
  number = {3},
  pages = {429--431},
  xref = {Review of: },
  topic = {modal-logic;}
  }

@incollection{ giuliani:1998a,
  author = {Diego Giuliani and Daniele Falavigna and Renato de
		Mori},
  title = {Parameter Transformation},
  booktitle = {Spoken Dialogues with Computers},
  publisher = {Academic Press},
  year = {1998},
  editor = {Renato de Mori},
  pages = {123--139},
  address = {New York},
  topic = {speech-recognition;feature-selection;feature-extraction;}
  }

@incollection{ giuliani-demori:1998a,
  author = {Diego Giuliani and Renato de Mori},
  title = {Speaker Adaptation},
  booktitle = {Spoken Dialogues with Computers},
  publisher = {Academic Press},
  year = {1998},
  editor = {Renato de Mori},
  pages = {363--403},
  address = {New York},
  topic = {acoustic-model-adaptation;speech-recognition;}
  }

@incollection{ giunchiglia_e:1996a,
  author = {Enrico Giunchiglia},
  title = {Determining Ramifications in the Situation Calculus},
  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 = {76--88},
  address = {San Francisco, California},
  topic = {kr;action-formalisms;ramification-problem;situation-calculus;
  	kr-course;}
  }

@inproceedings{ giunchiglia_e:2000a,
  author = {Enrico Giunchiglia},
  title = {Planning as Satisfiability with Expressive Action
  	Languages: Concurrency, Constraints, and Nondeterminism},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {657--666},
  topic = {planning-formalisms;concurrency;model-checking;}
  }

@article{ giunchiglia_e-etal:1997a,
  author = {Enrico Giunchiglia and G. Neelakantan Kartha and Vladimir
  	Lifschitz},
  title = {Representing Action: Indeterminacy and Ramifications},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {95},
  number = {2},
  pages = {409--438},
  topic = {action-formalisms;ramification-problem;nondeterministic-action;}
  }

@incollection{ giunchiglia_e-etal:1998a,
  author = {Enrico Giunchiglia and Fausto Giunchiglia and
		Roberto Sebastiani and Armando Tacchella},
  title = {More Evaluation of Decision Procedures for Modal
		Logics},
  booktitle = {{KR}'98: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1998},
  editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C.
		Shapiro},
  pages = {626--635},
  address = {San Francisco, California},
  topic = {kr;theorem-proving;modal-logic;
  	experiments-on-theorem-proving-algs;kr-course;}
  }

@article{ giunchiglia_e-etal:2003a,
  author = {Enrico Giunchiglia and Massimo Narizzano and Armando
  	Tacchella},
  title = {Backjumping for Quantified {B}oolean Logic Satisfiability},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {145},
  number = {1--2},
  pages = {99--120},
  topic = {quantified-boolean-logic;model-construction;}
  }

@article{ giunchiglia_e-etal:2004a,
  author = {Enrico Giunchiglia and Joohyung Lee and Vladimir Lifschitz
  	and Norman McCain and Hudson Turner},
  title = {Nonmonotonic Causal Theories},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {153},
  number = {5--6},
  pages = {49--104},
  topic = {common-sense-reasoning;causal-reasoning;action-formalisms;
  	nonmonotonic-reasoning;}
  }

@inproceedings{ giunchiglia_e-lifschitz:1995a,
  author = {Enrico Giunchiglia and Vladimir Lifschitz},
  title = {Dependent Fluents},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {1964--1969},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {planning-formalisms;temporal-reasoning;}
  }

@inproceedings{ giunchiglia_e-lifschitz:1998a,
  author = {Enrico Giunchiglia and Vladimir Lifschitz},
  title = {An Action Language Based on Causal Explanation},
  booktitle = {Proceedings of the Fourteenth National Conference on
              Artificial Intelligence and the Ninth Innovative
	      Applications of Artificial Intelligence  Conference},
  year = {1998},
  editor = {Benjamin J. Kuipers and Bonnie Webber},
  pages = {623--628},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {causality;explanation;action-formalisms;}
  }

@inproceedings{ giunchiglia_e-lifschitz:1999a,
  author = {Enrico Giunchiglia and Vladimir Lifschitz},
  title = {Action Languages, Temporal Action Logics and
		the Situation Calculus},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
	Nonmonotonic Reasoning, Action and Change},
  year = {1999},
  editor = {Michael Thielscher},
  pages = {33--40},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {action-formalisms;temporal-reasoning;}
  }

@techreport{ giunchiglia_f:1991a,
  author = {Fausto Giunchiglia},
  title = {Contextual Reasoning},
  institution = {Istituto per la Ricerca Scientifica e Technoligica},
  number = {9211--20},
  year = {1992},
  address = {Trento, Italy},
  rtnote = {In RHT collection.},
  topic = {context;}
  }

@techreport{ giunchiglia_f:1992a,
  author = {Fausto Giunchiglia},
  title = {Contextual Reasoning},
  institution = {Istituto per la Ricerca Scientifica e Technoligica},
  number = {9211--20},
  year = {1992},
  address = {Trento, Italy},
  rtnote = {In RHT collection.},
  topic = {context;}
  }

@article{ giunchiglia_f:1993a,
  author = {Fausto Giunchiglia},
  title = {Contextual Reasoning},
  journal = {Epistemologica},
  year = {1993},
  volume = {16},
  pages = {345--364},
  note = {Also IRST-Technical Report 9211-20, IRST, Trento, Italy},
  topic = {context;}
 }

@techreport{ giunchiglia_f:1994a,
  author = {Fausto Giunchiglia},
  title = {Planning With Failure},
  institution = {Istituto per la Ricerca Scientifica e Technoligica},
  number = {9401--02},
  year = {1994},
  address = {Trento, Italy},
  rtnote = {In RHT collection.},
  contentnote = {Review of J. Mccarthy's collected papers.},
  topic = {planning;execution-monitoring;}
  }

@techreport{ giunchiglia_f:1994b,
  author = {Fausto Giunchiglia},
  title = {Reasoning about Theory Adequacy: A New Solution to the
  	Qualification Problem},
  institution = {Istituto per la Ricerca Scientifica e Technoligica},
  number = {9406--13},
  year = {1994},
  address = {Trento, Italy},
  rtnote = {In RHT collection.},
  topic = {qualification-problem;}
  }

@techreport{ giunchiglia_f:1995a,
  author = {Fausto Giunchiglia},
  title = {An Epistemological Science of Commonsense},
  institution = {Istituto per la Ricerca Scientifica e Technoligica},
  number = {9503--09},
  year = {1995},
  address = {Trento, Italy},
  rtnote = {In RHT collection.},
  xref = {Also in AIJ.},
  note = {Review of \emph{{F}ormalizing Common Sense: Papers by
  	{J}ohn {M}c{C}arthy}.},
  topic = {common-sense-logicism;}
  }

@article{ giunchiglia_f:1995b,
  author = {Fausto Giunchiglia},
  title = {Review of \emph{{F}ormalizing Common Sense: Papers by
  	{J}ohn {M}c{C}arthy}},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {77},
  number = {2},
  pages = {371--392},
  topic = {J-McCarthy;}
  }

@techreport{ giunchiglia_f:1996a,
  author = {Fausto Giunchiglia},
  title = {Using {A}bstrips Abstractions---Where Do We Stand?},
  institution = {Istituto per la Ricerca Scientifica e Tecnologica},
  number = {9607--10},
  year = {1996},
  address = {Trento},
  rtnote = {In RHT collection.},
  topic = {hierarchical-planning;abstraction;planning-algorithms;}
  }

@incollection{ giunchiglia_f-bouquet:1997a,
  author = {Fausto Giunchiglia and Paolo Bouquet},
  title = {{I}ntroduction to Contextual Reasoning. {A}n
         {A}rtificial {I}ntelligence Perspective},
  booktitle = {Perspectives on Cognitive Science},
  publisher = {NBU Press},
  year = {1997},
  editor = {B.~Kokinov},
  volume = {3},
  address = {Sofia},
  note = {Lecture Notes of a course on {``Contextual Reasoning''} of the
        European Summer School on Cognitive Science, Sofia, 1996},
  topic = {context;}
  }

@incollection{ giunchiglia_f-cimatti:1994a,
  author = {Fausto Giunchiglia and Alessandro Cimatti},
  title = {Introspective Metatheoretic Reasoning},
  booktitle = {Logic Programming Synthesis and Transformation,
  	Meta-Programming in Logic: Fourth International Workshops,
	{LOBSTR}'94 and	{META}'94, Pisa, Italy},
  publisher = {Springer-Verlag},
  year = {1994},
  editor = {Laurent Fribourg and Franco Turini},
  pages = {425--439},
  address = {Berlin},
  topic = {metareasoning;metaprogramming;}
  }

@techreport{ giunchiglia_f-etal:1992a,
  author = {Fausto Giunchiglia and Enrico Giunchiglia and Tom Costello and
  	Paolo Bouquet},
  title = {Dealing With Expected and Unexpected Obstacles},
  institution = {Istituto per la Ricerca Scientifica e Technoligica},
  number = {9211--06},
  year = {1992},
  address = {Trento, Italy},
  rtnote = {In RHT collection.},
  topic = {plan-maintenance;}
  }

@techreport{ giunchiglia_f-etal:1992b1,
  author = {Fausto Giunchiglia and Luciano Serafini and Enrico
  	Giunchiglia and Marcello Frixione},
  title = {Non-Omniscient Belief as Context-Based Reasoning},
  institution = {Istituto per la Ricerca Scientifica e Technoligica},
  number = {9206--03},
  year = {1992},
  address = {Trento, Italy},
  rtnote = {In RHT collection.},
  xref = {Conference publication IJCAI93: giunchiglia_f-etal:1993b2.},
  topic = {propositional-attitudes;context;hyperintensionality;}
  }

@inproceedings{ giunchiglia_f-etal:1993a,
  author = {Fausto Giunchiglia and Luciano Serafini and Enrico
  	Giunchiglia and Marcello Frixione},
  title = {Non-Omniscient Belief as Context-Based Reasoning},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {548--553},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  rtnote = {In RHT collection.},
  xref = {giunchiglia_f-etal:1992b1.},
  topic = {propositional-attitudes;context;hyperintensionality;}
  }

@inproceedings{ giunchiglia_f-etal:1993b2,
  author = {Fausto Giunchiglia and Luciano Serafini and Enrico
  	Giunchiglia and Marcello Frixione},
  title = {Non-Omniscient Belief as Context-Based Reasoning},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {548--554},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  xref = {Techreport: giunchiglia_f-etal:1993b1.},
  topic = {propositional-attitudes;context;hyperintensionality;}
  }

@article{ giunchiglia_f-etal:1996a,
  author = {Fausto Giunchiglia and Enrico Giunchiglia and Tom
  	Costello and Paolo Bouquet},
  title = {{D}ealing with Expected and Unexpected Obstacles},
  journal = {Journal of Experimental and Theoretical Artificial
  	Intelligence},
  volume = {8},
  year = {1996},
  note = {Also IRST-Technical Report 9211-06, IRST, Trento, Italy},
  topic = {context;}
  }

@inproceedings{ giunchiglia_f-ghidini:1997a,
  author = {Fausto Giunchiglia and Chiara Ghidini},
  title = {Local Models Semantics},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Context in Knowledge Representation and Natural Language},
  year = {1997},
  editor = {Sa\v{s}a Buva\v{c} and {\L}ucia Iwa\'nska},
  pages = {58--64},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {context;logic-of-context;}
  }

@incollection{ giunchiglia_f-ghidini:1998a,
  author = {Fausto Giunchiglia and Chiara Ghidini},
  title = {Local Models Semantics, or Contextual Reasoning $=$
		Locality$\,+\,$Compatibility},
  booktitle = {{KR}'98: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1998},
  editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C.
		Shapiro},
  pages = {282--289},
  address = {San Francisco, California},
  xref = {Also IRST-Technical Report 9701-07, IRST, Trento, Italy},
  xref = {Journal Publication: ghidini-giunchiglia_f:2001a.},
  topic = {kr;context;epistemic-logic;propositional-attitudes;
		reasoning-about-knowledge;kr-course;}
  }

@incollection{ giunchiglia_f-ghidini:2000a,
  author = {Fausto Giunchiglia and Chiara Ghidini},
  title = {A Local Models Semantics for Propositional Attitudes},
  booktitle = {Formal Aspects of Context},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Pierre Bonzon and Marcos Cavalcanti and Rolf Nossum},
  pages = {161--174},
  address = {Dordrecht},
  topic = {context;hyperintensionality;propositional-attitudes;}
  }

@incollection{ giunchiglia_f-sebastiani:1996a,
  author = {Fausto Giunchiglia and Roberto Sebastiani},
  title = {A {SAT}-Based Decision Procedure for {ALC}},
  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 = {304--314},
  address = {San Francisco, California},
  topic = {kr;theorem-proving;description-logics;}
  }

@techreport{ giunchiglia_f-serafini:1991a,
  author = {Fausto Giunchiglia and Luciano Serafini},
  title = {Multilanguage Hierarchical Logics},
  institution = {Istituto per la Ricerca Scientifica e Technoligica (IRST)},
  number = {9110--07},
  year = {1991},
  address = {Trento, Italy},
  rtnote = {In RHT collection.},
  topic = {context;logic-of-context;}
  }

@techreport{ giunchiglia_f-serafini:1993a,
  author = {Fausto Giunchiglia and Luciano Serafini},
  title = {On the Proof Theory of Hierarchical Meta-Logics},
  institution = {Istituto per la Ricerca Scientifica e Technoligica (IRST)},
  number = {9301--07},
  year = {1993},
  address = {Trento, Italy},
  topic = {metareasoning;}
  }

@article{ giunchiglia_f-serafini:1994a,
  author = {Fausto Giunchiglia and Luciano Serafini},
  title = {Multilanguage Hierarchical Logics, or: How to Do without
  	Modal Logics},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {65},
  number = {1},
  pages = {29--70},
  note = {Also IRST-Technical Report 9110-07, IRST, Trento, Italy},
  topic = {kr;context;propositional-attitudes;kr-course;}
  }

@article{ giunchiglia_f-spalazzi:1999a,
  author = {Fausto Giunchiglia and Luca Spalazzi},
  title = {Review of \emph{{I}ntelligent Planning: A Decomposition
  	and Abstraction Based Approach to Classical Planning}, by
	{Q}iang {Y}ang},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {111},
  number = {1--2},
  pages = {329--338},
  xref = {Review of yang_q:1997a.},
  topic = {planning;foundations-of-planning;situation-calculus;}
  }

@article{ giunchiglia_f-traverso:1996a,
  author = {Fausto Giunchiglia and Paolo Traverso},
  title = {A Metatheory of Mechanized Object Theory},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {80},
  number = {2},
  pages = {197--241},
  topic = {metareasoning;automatic-programming;}
  }

@article{ giunchiglia_f-walsh_t:1992a,
  author = {Fausto Giunchiglia and Toby Walsh},
  title = {A Theory of Abstraction},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {57},
  number = {2--3},
  pages = {323--389},
  rtnote = {Read this.},
  topic = {abstraction;context;}
 }

@techreport{ giunchiglia_f-weyhrauch:1991a,
  author = {Fausto Giunchiglia and Richard Weyhrauch},
  title = {A Multi-Context Monotonic Axiomatization of Inessential
  	Nonmonotonicity},
  institution = {Dipartimento Informatica Sistematica Telematica,
  	Universit\`a di Genova, Facult\`a di Ingegneria},
  number = {MRG/DIST 9105--02},
  month = {May},
  year = {1991},
  address = {Trento, Italy},
  rtnote = {In RHT collection.},
  topic = {context;non-monotonic-reasoning;logic-of-context;}
  }

@article{ giuntini:1991a,
  author = {Roberto Giuntini},
  title = {A Semantical Investigation on {B}rouer-{Z}adeh Logic},
  journal = {Journal of Philosophical Logic},
  year = {1991},
  volume = {20},
  number = {4},
  pages = {411--433},
  topic = {quantum-logic;}
  }

@article{ givan-etal:2000a,
  author = {Robert Givan and Sonia Leach and Thomas Dean},
  title = {Bounded-Parameter {M}arkov Decision Processes},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {122},
  number = {1--2},
  pages = {71--109},
  topic = {Markov-decision-processes;}
  }

@article{ givan-etal:2003a,
  author = {Robert Givan and Thomas Dean and Matthew Grieg},
  title = {Equivalence Notions and Model Minimization in {M}arkov
  	Decision Processes},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {147},
  number = {1--2},
  pages = {163--223},
  topic = {Markov-decision-processes;}
  }

@incollection{ givan-mcallester_da:1992a,
  author = {Robert Givan and David McAllester},
  title = {New Results on Local Inference Relations},
  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 = {403--412},
  address = {San Mateo, California},
  topic = {kr;theorem-proving;tractable-logics;}
  }

@article{ givant-andreka:2002a,
  author = {Steven Givant and Hajnal Andr\'eka},
  title = {Groups and Algebras of Binary Relations},
  journal = {The Bulletin of Symbolic Logic},
  year = {2002},
  volume = {8},
  number = {1},
  pages = {38--64},
  topic = {relation-algebras;}
  }

@book{ givon:1979a,
  editor = {T. Giv\'on},
  title = {Syntax and Semantics 12: Discourse and Syntax},
  publisher = {Academic Press},
  year = {1979},
  address = {New York},
  missinginfo = {A's 1st name.},
  topic = {discourse;pragmatics;}
 }

@book{ givon:1989a,
  author = {T. Giv\'on},
  title = {Mind, Code, and Context},
  publisher = {Lawrence Erlbaum Associates},
  year = {1989},
  address = {Hillsdale, New Jersey},
  rtnote = {In RHT collection.},
  topic = {pragmatics;context;}
 }

@article{ gjelsvik:1991a,
  author = {Olav Gjelsvik},
  title = {Dretske on Knowledge and Content},
  journal = {Synth\'ese},
  year = {1991},
  volume = {86},
  number = {3},
  pages = {425--441},
  topic = {agent-attitudes;philosophy-of-mind;}
  }

@book{ gladney:1983a,
  author = {Frank Y. Gladney},
  title = {Handbook of {P}olish},
  publisher = {G\&G Press},
  year = {1983},
  address = {Urbana},
  ISBN = {0961219602.},
  rtnote = {UMich Graduate Library, 891.855 G542ha.},
  topic = {Polish-language;reference-grammars;}
 }

@article{ glaister:2000a,
  author = {Stephen Murray Glaister},
  title = {Recovery Recovered},
  journal = {Journal of Philosophical Logic},
  year = {2000},
  volume = {29},
  number = {2},
  pages = {171--206},
  topic = {belief-revision;}
  }

@article{ glannon:1995a,
  author = {Walter Glannon},
  title = {Responsibility and the Principle of Possible Action},
  journal = {The Journal of Philosophy},
  year = {1995},
  volume = {92},
  number = {5},
  pages = {261--274},
  topic = {freedom;}
  }

@article{ glanzberg:2000a,
  author = {Michael Glanzberg},
  title = {Review of \emph{{T}he Taming of the True}, by {N}eil {T}ennant},
  journal = {The Philosophical Review},
  year = {2000},
  volume = {109},
  number = {2},
  pages = {290--292},
  xref = {Review of tennant_n:1997a.},
  topic = {realism;}
  }

@article{ glanzberg:2001a,
  author = {Michael Glanzberg},
  title = {Supervenience and Infinitary Logic},
  journal = {No\^us},
  year = {2001},
  volume = {35},
  number = {3},
  pages = {419--439},
  topic = {supervenience;infinitary-logic;}
  }

@article{ glanzberg:2002a,
  author = {Michael Glanzberg},
  title = {Review of \emph{{C}ircularity, Definition, and Truth},
  	by {M}ichael {G}lanzberg},
  journal = {The Philosophical Review},
  year = {2002},
  volume = {111},
  number = {3},
  pages = {465--469},
  xref = {Review of: chapuis-gupta_a1:2000a},
  topic = {definitions;truth;}
  }

@article{ glanzberg:2004a,
  author = {Michael Glanzberg},
  title = {A Context-Hierarchical Approach to Truth and the Liar
  	Paradox},
  journal = {Journal of Philosophical Logic},
  year = {2004},
  volume = {33},
  number = {1},
  pages = {27--88},
  topic = {semantic-paradoxes;context;}
  }

@incollection{ glanzberg:2005a,
  author = {Michael Glanzberg},
  title = {Presuppositions, Truth Values, and Expressing Propositions},
  booktitle = {Contextualism in Philosophy: Knowledge, Meaning, and Truth},
  publisher = {Oxford University Press},
  year = {2005},
  editor = {Gerhard Preyer and Georg Peter},
  pages = {349--396},
  address = {Oxford},
  topic = {context;presupposition;}
  }

@incollection{ glanzberg:2006a,
  author = {Michael Glanzberg},
  title = {Context and Unrestricted Quantification},
  booktitle = {Absolute Generality},
  publisher = {Oxford University Press},
  year = {2006},
  editor = {August\'in Rayo and Gabriel Uzquiano},
  pages = {45--74},
  address = {Oxford},
  topic = {philosophical-ontology;unrestrictive-quantification;}
  }

@incollection{ glanzberg:2008a,
  author = {Michael Glanzberg},
  title = {Quantification and Contributing Objects to Thoughts},
  booktitle = {Philosophical Perspectives 22, 2008: Philosophy of
  		Language},
  publisher = {Blackwell Publishers},
  year = {2008},
  editor = {John Hawthorne},
  pages = {207--231},
  address = {Oxford},
  contentnote = {This is a study of the det "both".},
  topic = {nl-quantification;nl-semantics;}
  }

@article{ glanzberg-siegel_s:2006a,
  author = {Michael Glanzberg and Susanna Siegel},
  title = {Presupposition and Policing in Complex Demonstratives},
  journal = {No\^us},
  year = {2006},
  volume = {40},
  number = {1},
  pages = {1--42},
  topic = {nl-semantics;complex-demonstratives;demonstratives;
  	presupposition;}
  }

@article{ glasbey:1996a,
  author = {Sheila Glasbey},
  title = {The Progressive: A Channel-Theoretic Analysis},
  journal = {Journal of Semantics},
  year = {1996},
  volume = {13},
  pages = {331--361},
  missinginfo = {number},
  topic = {tense-aspect;progressive-aspect;}
  }

@inproceedings{ glasbey:1997a,
  author = {Sheila Glasbey},
  title = {I-Level Predicates that Allow Existential
     		Readings for Bare Plurals},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VII}},
  publisher = {Cornell University},
  year = {1997},
  editor = {Aaron Lawson},
  pages = {169--179},
  address = {Ithaca, New York},
  topic = {nl-semantics;i-level/s-level;plurals;}
  }

@article{ glasbey:2004a,
  author = {Sheila A. Glasbey},
  title = {Event Structure, Punctionality, and `When'\,},
  journal = {Natural Language Semantics},
  year = {2003},
  volume = {12},
  number = {2},
  pages = {191--211},
  topic = {event-structure;tense-aspect;}
  }

@book{ glasgow-etal:1995a,
  editor = {Janice Glasgow and N. Hari Narayanan and B.
		Chandrasekaran},
  title = {Diagrammatic Reasoning},
  publisher = {The {MIT} Press},
  year = {1995},
  address = {Cambridge, Massachusetts},
  contentnote = {TC:
     0. B. Chandrasekaran, Janice Glasgow and N. Hari Narayanan,
			"Introduction"
     0'. Aaron Sloman, "Introduction (To Part {I}: Theoretical
			Foundations")
     1. Aaron Sloman, "Musings on the Roles of Logical and
			Non-Logical Representations in Intelligence"
     2. Brian Funt, "Problem Solving with Diagrammatic Representations"
     3. Jill Larkin and Herbert Simon, "Why a Diagram Is (Sometimes)
			Worth 10000 Words"
     4. Robert Lindsay, "Imagery and Inference"
     5. Nancy Nercessian, "How Do Scientists Think?  Capturing the
			Dynamics of COncedptual Change in Science"
     6. Kenneth Forbus, "Qualitative Spatial Reasoning: Framework
			and Frontiers"
    0'. Patrick Hayes, "Introduction (To Part {II}: Theoretical
			Foundations)"
     7. Jon Barwise and John Etchemendy, "Heterogeneous Logic"
     8. David Harel, "On Visual Formalisms"
     9. Karen Myers and Kurt Konolige, "Reasoning with Analogical
			Representations"
    10. Keith Stenning and Robert Inder and Irene Nelson,
			"Applying Semantic Concepts to Analyzing Media and
			Modalities"
    11. Dejuan Wang and John Lee and Henk Zeevat, "Reasoning
			with Diagrammatic Representations"
   0''. David Waltz, "Introduction (To Part {III}: Cognitive and
			Computational Models"
    12. Yulin Qin and Herbert Simon, "Imagery and Mental
			Models in Problem Solving"
    13. Janice Glasgow and Dmitri Papadias, "Computational
			Imagery"
    14. Erika Rogers, "Visual Interaction:  A Link between
			Perception and Problem Solving"
    15. N. Hari Narayanan and Masaki Suwa and Hiroshi Motoda,
			"Behavior Hypothesis from Schematic Diagrams"
    16. Mary Hegarty, "Mental Animation: Inferring Motion from
			Static Displays of Mechanical Systems"
    17. Kenenth Koedinger and John Anderson, "Abstract Planning
			and Perceptual Chunks: Elements of Expertise in
			Geometry"
    18. Christopher Habel and Simone Pribbenow and Geoffrey Simmons,
			"Partonomies and Depictions: A Hybrid Approach"
  0'''. Yumi Iwasaka, "Introduction (To Part {IV}: Problem Solving
			with Diagrams)"
    19. Francesco Gardin and Bernard Meltzer, "Analogical
			Representations of Naive Physics"
    20. Timothy McDougal, "A Model of Interaction with Geometry
			Diagrams"
    21. Shirley Tessler and Yumi Iwasaki and Kincho Law,
			"Qualitative Structural Analysis Using Diagrammatic
			Reasoning"
    22. Jo DeKuyper and Didier Keymeulen and Luc Steels, "A
			Hybrid Architecture for Modeling Liquid Behavior"
    23. Gordon Novak, "Diagrams for Solving Physical Problems"
	},
  rtnote = {In Jamie Tappenden collection.},
  topic = {diagrams;reasoning-with-diagrams;
  	cognitive-psychology;visual-reasoning;}
 }

@incollection{ glass-eugenio:2002a,
  author = {Michael Glass and Barbara di Eugenio},
  title = {{MUP}---The {UIC} Standoff Markup Tool},
  booktitle = {Third {SIGdial} Workshop on Discourse and Dialogue:
  		Proceedings of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {2002},
  editor = {Kristina Jokinen and Susan McRoy},
  pages = {37--41},
  address = {New Brunswick, New Jersey},
  topic = {discourse-tagging;}
  }

@article{ gleitman:1990a,
  author = {Lila Gleitman},
  title = {The Structural Sources of Verb Meanings},
  journal = {Language Acquisition},
  year = {1990},
  volume = {1},
  number = {1},
  pages = {3--55},
  topic = {L1-acquisition;semantics-acquisition;}
  }

@book{ gleitman-landau:1994a,
  author = {Leila Gleitman and Barbara Landau},
  title = {The Acquisition of the Lexicon},
  publisher = {The {MIT} Press},
  year = {1994},
  address = {Cambridge, Massachusetts},
  topic = {word-acquisition;L1-acquisition;}
 }

@book{ gleitman-liberman:1995a,
  editor = {Lila R. Gleitman and Mark Liberman},
  title = {Language: An Invitation to Cognitive Science, Vol. 1,
  	2nd ed.},
  publisher = {The {MIT} Press},
  year = {1995},
  address = {Cambridge, Massachusetts},
  topic = {linguistics-general;}
  }

@article{ glennan:1997a,
  author = {Stuart S. Glennan},
  title = {Probable Causes and the Distinction between Subjective
	and Objective Chance},
  journal = {No\^us},
  year = {1997},
  volume = {31},
  number = {4},
  pages = {496--519},
  topic = {causality;chance;foundations-of-probability;}
  }

@incollection{ glennan:2000a,
  author = {Stuart Glennan},
  title = {Rethinking Mechanistic Explanation},
  booktitle = {{PSA}'00: Proceedings of the 2000 Biennial Meetings
  	of the {P}hilosophy of {S}cience {A}ssociation, Part {II}:
	Symposium Papers},
  publisher = {Philosophy of Science Association},
  year = {2002},
  editor = {Jeffrey A. Barrett and J. McKenzie Alexander},
  pages = {S342--S353},
  address = {Newark, Delaware},
  topic = {philosophy-of-science;explanation;mechanisms;}
  }

@article{ glennan:2002a,
  author = {Stuart Glennan},
  title = {Contextual Unanimity and the Units of Selection Problem},
  journal = {Philosophy of Science},
  year = {2002},
  volume = {69},
  number = {1},
  pages = {118--137},
  topic = {philosophy-of-biology;evolution;}
  }

@article{ glezakos:2009a,
  author = {Stavroula Glezakos},
  title = {Public Proper Names and Ideolectal Identifying Descriptions},
  journal = {Linguistics and Philosophy},
  year = {2009},
  volume = {32},
  number = {3},
  pages = {317--326},
  topic = {proper-names;semantics-of-proper-names;}
  }

@book{ glickstein:1997a,
  author = {Bob Glickstein},
  title = {Writing {GNU} Emacs Extensions},
  publisher = {O'Reilly and Associates, Inc.},
  year = {1997},
  address = {Sebastopol, California},
  ISBN = {1-56922-261-1},
  xref = {Review: },
  topic = {emacs-manual;programming-manual;LISP;}
 }

@book{ glimcher:2004a,
  author = {Paul M. Glimcher},
  title = {Decisions, Uncertainty, and the Brain},
  publisher = {The {MIT} Press},
  year = {2004},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-57227-3},
  topic = {foundations-of-cognitive-science;}
 }

@book{ glinz:1973a,
  author = {Hans Glinz},
  title = {Textanalyse und Verstehenstheorie},
  publisher = {Athen\"aum},
  year = {1973},
  address = {Frankfurt},
  ISBN = {046503425X},
  rtnote = {UMich Graduate Library, GN 315 .G29},
  topic = {discourse-analysis;}
 }

@inproceedings{ gliozzo-etal:2005a,
  author = {Alfio Gliozzo and Claudio Giuliano and Carlo Strapparava},
  title = {Domain Kernels for Word Sense Disambiguation},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {403--410},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1050},
  topic = {lexical-disambiguation;machine-learning;}
  }

@incollection{ glouberman:1976a,
  author = {M. Glouberman},
  title = {Prime Matter, Predication, and the Semantics of
  		Feature-Placing},
  booktitle = {Language in Focus},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  editor = {Asa Kasher},
  pages = {75--104},
  address = {Dordrecht},
  topic = {predication;Aristotle;}
  }

@book{ gluck-rumelhart:1990a,
  editor = {Mark A. Gluck and David E. Rumelhart},
  title = {Neuroscience and Connectionist Theory},
  publisher = {Lawrence Erlbaum Associates},
  year = {1990},
  address = {Hillsdale, New Jersey},
  ISBN = {0805805044},
  rtnote = {UMich TAUBMAN MEDICAL, QP 356 .N48291 1990.},
  topic = {connectionism;neurocognition;}
 }

@article{ gluer-pagin:2006a,
  author = {Kathrin Gluer and Peter Pagin},
  title = {Proper Names and Relational Modality},
  journal = {Linguistics and Philosophy},
  year = {2006},
  volume = {29},
  number = {5},
  pages = {507--535},
  topic = {proper-names;modality;}
  }

@article{ gluer-pagin:2008a,
  author = {Kathrin Gl\"uer and Peter Pagin},
  title = {Relational Modality},
  journal = {Journal of Logic, Language, and Information},
  year = {2008},
  volume = {17},
  number = {3},
  pages = {307--322},
  topic = {modal-logic;proper-names;definite-descriptions;}
  }

@article{ glymour:1985a,
  author = {Clark Glymour},
  title = {Independence Assumptions and {B}ayesian Updating},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {25},
  number = {1},
  pages = {95--99},
  topic = {probabilistivc-reasoning;Bayesian-reasoning;}
  }

@incollection{ glymour:1987a,
  author = {Clark Glymour},
  title = {Android Epistemology and the Frame Problem:
         Comments on {D}ennett's `Cognitive Wheels'\, },
  booktitle = {The Robot's Dilemma: The Frame Problem
    		 in Artificial Intelligence},
  editor = {Zenon Pylyshyn},
  publisher = {Ablex Publishing Co.},
  address = {Norwood, New Jersey},
  year = {1987},
  pages = {65--75},
  topic = {frame-problem;philosophy-AI;}
    }

@incollection{ glymour:1988a,
  author = {Clark Glymour},
  title = {Artificial Intelligence for Statistical and Causal Modelling},
  booktitle = {Causation in Decision, Belief Change, and Statistics,
  	Vol. 2},
  publisher = {Kluwer Academic Publishers},
  year = {1988},
  editor = {William L. Harper and Brian Skyrms},
  pages = {223--247},
  address = {Dordrecht},
  topic = {causality;statistical-explanation;statistical-inference;}
  }

@book{ glymour:1992a,
  author = {Clark Glymour},
  title = {Thinking Things Through},
  publisher = {The {MIT} Press},
  year = {1992},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-57119-6},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  topic = {philosophy-of-logic;induction;philosophy-of-mind;}
 }

@incollection{ glymour:1996a,
  author = {Clark Glymour},
  title = {The Adventures among the Asteroids of
         {A}ngela {A}ndroid, Series 8400XF with an Afterword
         on Planning, Prediction, Learning, the Frame Problem,
         and a Few Other Subjects},
  booktitle = {The Robot's Dilemma Revisited: The Frame Problem
             in Artificial Intelligence},
  publisher = {Ablex Publishing Co.},
  year = {1996},
  editor = {Kenneth M. Ford and Zenon Pylyshyn},
  pages = {25--34},
  address = {Norwood, New Jersey},
  topic = {frame-problem;philosophy-AI;}
  }

@incollection{ glymour:1996b,
  author = {Clark Glymour},
  title = {The Hierarchies of Knowledge},
  booktitle = {Machines and Thought: The Legacy of {A}lan {T}uring:
  	Volume {I}},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Peter J.R. Millican and A. Clark},
  pages = {265--291},
  address = {Oxford},
  topic = {learning-theory;automated-scientific-discovery;}
  }

@article{ glymour:1999a,
  author = {Clark Glymour},
  title = {A Mind is a Terrible Thing to Waste---Critical
  	Notice: Jaegwon Kim, {\it Mind in a Physical World: An
	Essay on the Mind-Body Problem and Mental Causation}},
  journal = {Philosophy of Science},
  year = {1999},
  volume = {66},
  number = {3},
  pages = {455--471},
  xref = {Review of kim_jw:1998a.},
  topic = {mind-body-problem;causality;}
  }

@article{ glymour:2004a,
  author = {Clark GLymour},
  title = {Review of \emph{{C}hemical Explanations: Characteristics,
  	Development, Autonomy}, edited by {J}oseph {E}. {E}arley, {S}r.},
  journal = {Philosophy of Science},
  year = {2004},
  volume = {71},
  number = {3},
  pages = {415--418},
  xref = {Review of: earley:2003a.},
  topic = {philosophey-of-chemistry;}
  }

@article{ glymour:2007a,
  author = {Clark Glymour},
  title = {When is a Brain Like the Planet?},
  journal = {Philosophy of Science},
  year = {2007},
  volume = {74},
  number = {4},
  pages = {330--346},
  topic = {philosophy-of-computation;foundations-of-cognition;
  		philosophy-of-mind;}
  }

@unpublished{ glymour-etal:1985a,
  author = {Clark Glymour and Richard Sheines and Peter Spirtes},
  title = {Discovering Causal Structure: Text and User's Manual for
		{\sc tetrad}},
  year = {1985},
  note = {Unpublished manuscript, Philosophy Department, Carnegie-Mellon
		University},
  rtnote = {In RHT collection.  Shelf},
  topic = {causality;induction;}
  }

@techreport{ glymour-etal:1987a,
  author = {Clark Glymour and Kevin Kelly and Peter Spirtes},
  title = {The Expected Complexity of Problem Solving is Less
  	Than 2},
  institution = {Laboratory for Computational Linguistics, Carnegie
  	Mellon University},
  number = {CMU--LCL--87--6},
  year = {1987},
  address = {Pittsburgh},
  rtnote = {In RHT collection.},
  topic = {complexity-theory;problem-solving;}
  }

@incollection{ glymour-etal:1991a,
  author = {Clark Glymour and Kevin Kelley and Peter Spirtes},
  title = {Artificial Intelligence and Hard Problems: The Expected
  		Complexity of Problem Solving},
  booktitle = {Phil

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib