text:
show what changes can be performed on the original set of
     defaults in order to take into account a particular conditional
     that has to retracted from or added to the primitive induced
     inference relation.
  },
  topic = {nonmonotonic-logic;belief-revision;default-logic;}
  }

@article{ freund_m:2000a,
  author = {Michael Freund},
  title = {A Complete and Consistent Formal System for
  	Sortals},
  journal = {Studia Logica},
  year = {2000},
  volume = {65},
  pages = {367--381},
  topic = {sortal-quantification;}
  }

@article{ freund_m:2004a,
  author = {Michael Freund},
  title = {On the Revision of Preferences and Rational Inference
  	Processes},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {152},
  number = {1},
  pages = {105--137},
  topic = {nonmonotonic-logics;qualitative-utility;preference-revision;}
  }

@article{ freund_m:2008a,
  author = {Michael Freund},
  title = {On the Notion of Concept {I}},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {4--5},
  pages = {570--590},
  topic = {foundations-of-set-theory;fuzzy-set-theory;concepts;}
  }

@article{ freund_m:2009a,
  author = {Michael Freund},
  title = {On the Notion of Concept {II}},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {1},
  pages = {167--179},
  topic = {concepts;conceptual-clustering;}
  }

@article{ freund_m-etal:1991a,
  author = {Michael Freund and Daniel Lehmann and Paul Morris},
  title = {Rationality, Transitivity, and Contraposition},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {52},
  number = {2},
  pages = {191--203},
  acontentnote = {Abstract:
     The purpose of this note is to compare the rule of Rational
     Monotonicity proposed in [3] and different rules expressing some
     weak forms of Transitivity and Contraposition. We present four
     weak forms of Transitivity that, in preferential logic, are
     equivalent to Rational Monotonicity and a weak form of
     Contraposition that is strictly weaker than Rational
     Monotonicity but equivalent to it in the presence of Disjunctive
     Rationality.
  },
  topic = {nonmonotonic-logic;model-preference;contraposition;}
  }

@article{ freund_m-lehmann_d:1991a,
  author = {Michael Freund and Daniel Lehmann},
  title = {Rationality, Transitivity, and Contraposition},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {52},
  number = {2},
  pages = {191--203},
  topic = {nonmonotonic-reasoning;}
  }

@techreport{ freund_m-lehmann_d:1992a,
  author = {Michael Freund and Daniel Lehmann},
  title = {Nonmonotonic Inference Operations},
  institution = {Department of Computer Science, Hebrew University},
  number = {TR--92--2},
  year = {1992},
  address = {Jerusalem},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-logic;}
  }

@techreport{ freund_m-lehmann_d:1994a,
  author = {Michael Freund and Daniel Lehmann},
  title = {Belief Revision and Rational Inference},
  institution = {Leibniz Center for Research in Computer Science,
  	The Hebrew University of Jerusalem},
  number = {TR 94--16},
  year = {1994},
  address = {Jerusalem 91904, Israel},
  rtnote = {In RHT collection.},
  topic = {belief-revision;}
  }

@article{ freund_ma:2007a,
  author = {Max A. Freund},
  title = {A Two Dimensional Tense-Modal Sortal Logic},
  journal = {Journal of Philosophical Logic},
  year = {2007},
  volume = {36},
  number = {5},
  pages = {571--598},
  topic = {sortal-quantification;semantics-of-common-nouns;individuation;
  		tense-logic;modal-logic;}
  }

@book{ fribourg-turini:1994a,
  editor = {Laurent Fribourg and Franco Turini},
  title = {Logic Programming Synthesis and Transformation,
  	Meta-Programming in Logic: Fourth International Workshops,
	{LOBSTR}'94 and	{META}'94, Pisa, Italy},
  publisher = {Springer-Verlag},
  year = {1994},
  address = {Berlin},
  ISBN = {3-540-58792-6},
  contentnote = {TC:
     1. David A. Basin, "Logic Frameworks for Logic Programs", pp. 1--16
     2. N. Bensaou and Irhne Guessarian, "An Extended Transformation
     		System for CLP Programs", pp. 17--35
     3. Dmitri Boulanger and Maurice Bruynooghe, "Using Call/Exit
     		Analysis for Logic Program Transformation", pp. 36--50
     4. J. Cook and John P. Gallagher, "A Transformation System for
     		Definite Programs Based on Termination Analysis", pp. 51--68
     5. Pierre Flener and Lubos Popelmnsky, "On the Use of Inductive
     		Reasoning in Program Synthesis: Prejudice and
		Prospects", pp. 69--87
     6. David Gilbert and Christopher J. Hogger and Jirm
     		Zlatuska, "Transforming Specifications of Observable
		Behaviour into Programs", pp. 88--103
     7. Kung-Kiu Lau and Mario Ornaghi, "On Specification Frameworks
     		and Deductive Synthesis of Logic
		Programs", pp.  104--121
     8. Michael Leuschel, "Partial Evaluation of the `Real
     		Thing'\,", pp. 122--137
     9. E. Marakakis and John P. Gallagher, "Schema-Based Top-Down
     		Design of Logic Programs Using Abstract Data
		Types", pp. 138--153
    10. Sophie Renault, "Generalizing Extended Execution for Normal
    		Programs", pp. 154--169
    11. Chiaki Sakama and Hirohisa Seki, "Partial Deduction of
    		Disjunctive Logic Programs: A Declarative
		Approach", pp. 170--182
    12. Giovanni Semeraro and Floriana Esposito and Donato Malerba
    		and Clifford Brunk and Michael J. Pazzani, "Avoiding
		Non-Termination when Learning Logical Programs: A
		Case Study with FOIL and FOCL", pp. 183--198
    13. Christine Solnon and Michel Rueher, "Propagation of
    		Inter-argument Dependencies in `Tuple--distributive'
		Type Inference Systems", pp. 199--214
    14. Paul Tarau and Veronica Dahl, "Logic Programming and Logic
    		Grammars with First-Order Continuations", pp. 215--230
    15. Geraint A. Wiggins, "Improving the Whelk System: A
    		Type-Theoretic Reconstruction", pp. 231--247
    16. Frank van Harmelen, "A Model of Costs and Benefits of
    		Meta-Level Computation", pp. 248--261
    17. Jonas Barklund and Katrin Boberg and Pierangelo Dell'Acqua,
    		"A Basis for a Multi-Level Meta-Logic Programming
		Language", pp. 262--275
    18. Marion Mircheva, "Logic Programs with Tests", pp. 276--292
    19. Barbara Dunin-Keplicz, "An Architecture with Multiple
    		Meta-Levels for the Development of Correct
		Programs", pp. 293--310
    20. Annalisa Bossi and Sandro Etalle, "More on Unfold/Fold
    		Transformations of Normal Programs: Preservation of
		{F}itting's Semantics', pp. 311--331
    21. Wiebe van der Hoek and John-Jules Ch. Meyer and Jan
    		Treur, "Formal Semantics of Temporal Epistemic
		Reflection", pp. 332--352
    22. Jan Treur, "Temporal Semantics of Meta-Level Architectures
    		for Dynamic Control of Reasoning", pp. 353--376
    23. Antonio Brogi and Simone Contiero, "G\"odel as a Meta-Language for
    		Composing Logic Programs", pp. 377--394
    24. Patricia M. Hill, "A Module System for
    		Meta-Programming", pp. 395--409
    25. Giuseppe Attardi and Maria Simi, "Building Proofs in Context",
    		pp. 410--424
    26. Fausto Giunchiglia and Alessandro Cimatti, "Introspective
    		Metatheoretic Reasoning", pp. 425--439
    27. Marco Comini and Giorgio Levi and Giuliana Vitiello, "Abstract
    		Debugging of Logic Program", pp. 440--450
  },
  topic = {logic-programming;metaprogramming;}
 }

@article{ fridlund:1991a,
  author = {Alan J. Fridlund},
  title = {Sociality of Solitary Smiling: Potentiation by an
  		Implicit Audience},
  journal = {Journal of Personality and Social Psychology},
  volume = {60},
  number = {2},
  pages = {229--240},
  year = {1991},
  topic = {facial-expression;}
  }

@article{ fridlund-etal:1990a,
  author = {Alan J. Fridlund and John P. Sabini and Laura E.
  	Hedlund and Julie A. Schaut and Joel I. Shenker and
  	Matthew J. Knauer},
  title = {Audience Effects on Solitary Faces During Imagery:
  	Displaying to the People in your Head},
  journal = {Journal of Nonverbal Behavior},
  volume = {12},
  number = {2},
  pages = {113--137},
  year = {1990},
  topic = {facial-expression;}
  }

@article{ fridlund-etal:1992a,
  author = {Alan J. Fridlund and Karen G. Kenworthy and Amy K.
  	Jaffey},
  title = {Audience Effects in Affective Imagery: Replication
  	and Extension to Dysphoric Imagery},
  journal = {Journal of Nonverbal Behavior},
  volume = {16},
  number = {3},
  pages = {191--212},
  year = {1992},
  topic = {facial-expression;}
  }

@incollection{ friedland_ns-etal:2004a,
  author = {Noah S. Friedland and Paul G. Allen and Michael Witbrock
  		and Gavin Matthews and Nancy Salay and Pierluigi
		Miraglia and Jurgen Angele and Steffen Staub and
		David Israel and Vinay Chaudhri and Bruce Porter and
		Ken Barker and Peter Clark},
  title = {Towards a Quantitative, Platform-Independent Analysis
  		of Knowledge Systems},
  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 = {507--514},
  address = {Menlo Park, California},
  topic = {kr-systems;computer-assisted-science;}
  }

@article{ friedland_pe-iwasaki:1985a,
  author = {P.E. Friedland and Yumi Iwasaki},
  title = {The Concept and Implementation of Skeletal Plans},
  journal = {Journal of Automated Reasoning},
  volume = {1},
  pages = {161--208},
  year = {1985},
  missinginfo = {A's 1st names, number, specific topics},
  topic= {planning;}
}

@incollection{ friedman_j1:1971a,
  author = {Joyce Friedman},
  title = {Computational Linguistics},
  booktitle = {A Survey of Linguistic Science},
  publisher = {Privately Published, Linguistics Program, University of
		Maryland.},
  year = {1971},
  editor = {William Orr Dingwall},
  pages = {718--755},
  address = {College Park, Maryland},
  topic = {nlp-survey;}
  }

@article{ friedman_j1:1979a,
  author = {Joyce Friedman},
  title = {An Unlabled Bracketing Solution to the Problem of Conjoined
  	Phrases in {M}ontague's {PTQ}},
  journal = {Journal of Philosophical Logic},
  year = {1979},
  volume = {8},
  number = {2},
  pages = {151--169},
  topic = {Montague-grammar;}
  }

@incollection{ friedman_j1-etal:1994a,
  author = {Joyce Friedman and Douglas B. Moran and David S. Warren},
  title = {Evaluating {E}nglish Sentences in a Logical Model},
  booktitle = {Current Issues in Computational Linguistics: Essays in
  	Honour of {D}on {W}alker},
  publisher = {Giardini Editori e Stampatori and Kluwer Academic
  	Publishers},
  year = {1994},
  editor = {Antonio Zampolli and Nicoletta Calzolari and Martha Palmer},
  pages = {535--551},
  address = {Pisa and Dordrecht},
  topic = {montague-grammar;nl-to-logic-mapping;model-checking;}
  }

@article{ friedman_j1-warren_ds:1978a,
  author = {Joyce Friedman and David S. Warren},
  title = {A Parsing Method for {M}ontague Grammars},
  journal = {Linguistics and Philosophy},
  year = {1978},
  volume = {2},
  number = {3},
  pages = {347--372},
  xref = {Erratum: friedman_j1-warren_ds:1979a.},
  topic = {Montague-grammar;parsing;nl-to-logic-mapping;}
  }

@article{ friedman_j1-warren_ds:1979a,
  author = {Joyce Friedman and David S. Warren},
  title = {Erratum},
  journal = {Linguistics and Philosophy},
  year = {1979},
  volume = {3},
  number = {1},
  pages = {139},
  xref = {Erratum to friedman_j1-warren_ds:1978a},
  topic = {Montague-grammar;parsing;nl-to-logic-mapping;}
  }

@inproceedings{ friedman_jh-etal:1996a,
  author = {Jerome H. Friedman and Ron Kohavi and Yeogirl Yun},
  title = {Lazy Decision Trees},
  booktitle = {Proceedings of the Thirteenth National Conference on
              Artificial Intelligence and the Eighth Innovative
	      Applications of Artificial Intelligence  Conference},
  year = {1996},
  editor = {William J. Clancey and Dan Weld},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {decision-trees;machine-learning;}
  }

@article{ friedman_ji:1995a,
  author = {Joel I. Friedman},
  title = {Towards an Adequate Definition of Distribution for
		First-Order Logic},
  journal = {Journal of Philosophical Logic},
  year = {1995},
  volume = {24},
  number = {2},
  pages = {161--192},
  topic = {aboutness;}
  }

@article{ friedman_ji:2005a,
  author = {Joel I. Friedman},
  title = {Modal {P}latonism: An Easy Way to Avoid Ontological
  		Commitment to Abstract Entities},
  journal = {Journal of Philosophical Logic},
  year = {2004},
  volume = {34},
  number = {3},
  pages = {227--273},
  topic = {philosophical-ontology;possibility;modal-logic;}
  }

@article{ friedman_m1-savage_l:1948a,
  author = {Milton Friedman and Leonard Savage},
  title = {The Utility Analysis of Choices Involving Risk},
  journal = {Journal of Political Economy},
  year = {1948},
  volume = {56},
  pages = {279--304},
  contentnote = {Uses sure-thing principle to argue for argue for
    independence axiom in decision theory.  I.e. For all gambles g1
    g2 g3 we have: g1 is preferred to g2 iff for all p>0 if
    (g1 with prob p and g3 with prob 1-p) is preferred to
    (g2 with prob p and g3 with prob 1-p).},
  topic = {decision-theory;}
  }

@book{ friedman_m2:1999a,
  author = {Michael Friedman},
  title = {Reconsidering Logical Positivism},
  publisher = {Cambridge University Press},
  year = {1999},
  address = {Cambridge, England},
  ISBN = {052162476-2},
  topic = {logical-positivism;history-of-philosophy;}
 }

@book{ friedman_m2-creath:2007a,
  editor = {Michael Friedman and Richard Creath},
  title = {The {C}ambridge Companion to {C}arnap},
  publisher = {Cambridge University Press},
  year = {2007},
  address = {Cambridge, England},
  xref = {Review: justus:2009a},
  topic = {Carnap;}
 }

@article{ friedman_m2-glymour:1972a,
  author = {Michael Friedman and Clark Glymour},
  title = {If Quanta Had Logic},
  journal = {Journal of Philosophical Logic},
  year = {1972},
  volume = {1},
  number = {1},
  pages = {16--28},
  topic = {quantum-logic;}
  }

@book{ friedman_m3:2000a,
  author = {Michael Friedman},
  title = {A Parting of the Ways: {C}arnap, {C}assirer, and {H}eidegger},
  publisher = {Open Court Press},
  year = {2000},
  address = {Chicago},
  xref = {Reviews: roubach:2002a, sluga:2002a.},
  topic = {Carnap;}
 }

@inproceedings{ friedman_n:1999a,
  author = {Nir Friedman},
  title = {Plausibility Measures and Default Reasoning},
  booktitle = {Workshop on Logic-Based Artificial Intelligence,
	       Washington, DC, June 14--16, 1999},
  year = {1999},
  editor = {Jack Minker},
  publisher = {Computer Science Department, University of Maryland},
  address = {College Park, Maryland},
  topic = {reasoning-about-uncertainty;qualitative-probability;
  	plausibility-measures;model-preference;nonmonotonic-logic;}
  }

@inproceedings{ friedman_n-halpern:1994a,
  author = {Nir Friedman and Joseph Y. Halpern},
  title = {Conditional Logics for Belief Change},
  booktitle = {Proceedings of the Twelfth National Conference on
              Artificial Intelligence},
  year = {1994},
  editor = {Barbara Hayes-Roth and Richard Korf},
  pages = {915--921},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {kr;conditionals;belief-revision;}
  }

@incollection{ friedman_n-halpern:1994b,
  author = {Nir Friedman and Joseph Y. Halpern},
  title = {A Knowledge-Based Framework for Belief Change, Part
  	{I}: Foundations},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fifth Conference ({TARK} 1994)},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Ronald Fagin},
  pages = {44--64},
  address = {San Francisco},
  topic = {belief-revision;epistemic-logic;}
  }

@incollection{ friedman_n-halpern:1994c,
  author = {Nir Friedman and Joseph Y. Halpern},
  title = {A Knowledge-Based Framework for Belief Change, Part {II}:
  	Revision and Update},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {190--201},
  address = {San Francisco, California},
  topic = {kr;belief-update;kr-course;}
  }

@incollection{ friedman_n-halpern:1994d,
  author = {Nir Friedman and Joseph Y. Halpern},
  title = {On the Complexity of Conditional Logics},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {202--213},
  address = {San Francisco, California},
  topic = {kr;kr-course;}
  }

@incollection{ friedman_n-halpern:1996a1,
  author = {Nir Friedman and Joseph Y. Halpern},
  title = {Belief Revision: A Critique},
  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 = {421--431},
  address = {San Francisco, California},
  xref = {Journal publication: friedman_n-halpern:1996a2.},
  topic = {belief-revision;}
  }

@article{ friedman_n-halpern:1996a2,
  author = {Nir Friedman and Joseph Y. Halpern},
  title = {Belief Revision:  A Critique},
  journal = {Journal of Logic, Language, and Information},
  year = {1999},
  volume = {8},
  number = {4},
  pages = {401--420},
  xref = {Conference publication: friedman_n-halpern:1996a1.},
  topic = {belief-revision;}
  }

@unpublished{ friedman_n-halpern:1996b,
  author = {Nir Friedman and Joseph Y. Halpern},
  title = {A Qualitative {M}arkov Assumption and Its Implications
  	for Belief Change},
  year = {1996},
  note = {Unpublished manuscript, Computer Science, Stanford
  	University.},
  rtnote = {In RHT collection.},
  topic = {belief-revision;}
  }

@article{ friedman_n-halpern:1997a,
  author = {Nir Friedman and Joseph Y. Halpern},
  title = {Modeling Belief in Dynamic Systems, Part {I}: Foundations},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {95},
  number = {2},
  pages = {257--316},
  topic = {belief-revision;epistemic-logic;conditionals;}
  }

@inproceedings{ friedman_n-koller_d:1996a,
 author = {Nir Friedman and Daphne Koller},
 title = {Qualitative Planning under Assumptions: A Preliminary
 	Report},
 booktitle = {Working Notes of the {AAAI} Fall Symposium on
 	Learning Complex Behaviors in Adaptive Intelligent Systems},
 year = {199?},
 organization = {American Association for Artificial Intelligence},
 address = {Menlo Park, CA},
 rtnote = {In RHT Collection.  DT Systs/QDT-Read File.},
 missinginfo = {pages},
 topic = {qdt;planning;}
 }

@book{ friedrich_cj:1963a,
  author = {Carl Joachim Friedrich},
  title = {The Philosophy of Law in Historical Perspective,
  	2nd edition},
  publisher = {University of Chicago Press},
  year = {1963},
  address = {Chicago},
  topic = {philosophy-of-law;}
 }

@article{ friedrich_g-etal:1999a,
  author = {Gerhard Friedrich and Markus Stumptner
  	and Franz Wotawa},
  title = {Model-Based Diagnosis of Hardware Designs},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {111},
  number = {1--2},
  pages = {3--39},
  topic = {diagnosis;device-modeling;model-based-reasoning;}
  }

@incollection{ friedrich_g-nejdl:1992a,
  author = {Gerhard Friedrich and Wolfgang Nejdl},
  title = {Choosing Observations and Actions in Model-Based
  	Diagnosis/Repair Systems},
  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 = {489--498},
  address = {San Mateo, California},
  topic = {kr;diagnosis;repair-planning;}
  }

@unpublished{ friend:2002a,
  author = {Stacie Friend},
  title = {The Great Beetle Debate: A Study in Imagining with Names},
  year = {2002},
  note = {Unpublished manuscript, University of Michigan},
  rtnote = {In RHT collection.  Partial Draft.},
  topic = {fictional-characters;(non)existence;}
  }

@incollection{ friend-ludlow:2003a,
  author = {Stacie Friend and Peter Ludlow},
  title = {Disagreement and Deference: Is Diversity of Opinion a
  	Precondition for Thought?},
  booktitle = {Philosophical Perspectives 17: Language and Philosophical
  	Linguistics, 2003},
  publisher = {Blackwell Publishers},
  year = {2003},
  editor = {John Hawthorne and Dean Zimmerman},
  pages = {115--139},
  address = {Oxford},
  contentnote = {The topic is semantic variation.},
  topic = {foundations-of-semantics;}
  }

@article{ fries:1954a,
  author = {Charles C. Fries},
  title = {Meaning and Linguistic Analysis},
  journal = {Language},
  year = {1954},
  volume = {30},
  number = {1},
  pages = {57--68},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;}
  }

@book{ frijda:1986a,
  author = {Nico H. Frijda},
  title = {The Emotions},
  publisher = {Cambridge University Press},
  year = {1986},
  address = {Cambridge},
  ISBN = {0521301556},
  rtnote = {UMich Graduate Library, BF531 .F751 1986.},
  topic = {emotion;philosophical-psychology;}
 }

@article{ frijda:1993a,
  author = {Nico H. Frijda},
  title = {The Place of Appraisal in Emotion},
  journal = {Cognition and Emotion},
  volume = {7},
  number = {3/4},
  pages = {357--387},
  year = {1993},
  topic = {emotion;}
  }

@article{ frisch_am:1986a,
  author = {Alan Frisch},
  title = {Parsing with Restricted Quantification: An Initial
 	Demonstration},
  journal = {Computational Intelligence},
  year = {1986},
  volume = {2},
  pages = {142--150},
  number = {3},
  rtnote = {In RHT collection.},
  topic = {parsing-algorithms;}
 }

@techreport{ frisch_am:1987a,
  author = {Alan M. Frisch},
  title = {Knowledge Retrieval as Specialized Inference},
  institution = {Department of Computer Science, University of
  	Rochester},
  number = {TR 214},
  year = {1987},
  address = {Rochester, NY 14627},
  rtnote = {In RHT collection.},
  topic = {theorem-proving;taxonomic-reasoning;knowledge-retrieval;}
  }

@book{ frisch_am:1988a,
  editor = {Alan M. Frisch},
  title = {Proceedings of the 1988 {AAAI} Workshop on Principles
  	of Hybrid Reasoning},
  publisher = {American Association for Artificial Intelligence},
  year = {1988},
  address = {Menlo Park, California},
  rtnote = {In RHT Collection.  CS MS shelves.},
  topic = {hybrid-kr-architectures;}
 }

@incollection{ frisch_am:1989a,
  author = {Alan M. Frisch},
  title = {A General Framework for Sorted Deduction:  Fundamental
  	Results in Hybrid Reasoning},
  booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1989},
  editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter},
  pages = {126--136},
  address = {San Mateo, California},
  topic = {kr;theorem-proving;hybrid-kr-architectures;sort-hierarchies;
  	kr-course;}
  }

@article{ frisch_am:1991a,
  author = {Alan M. Frisch},
  title = {The Substitutional Framework for Sorted Deduction:
  	Fundamental Results on Hybrid Reasoning},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {49},
  number = {1--3},
  pages = {161--198},
  contentnote = {Idea is to type variables with the elements of a sort
  	hierarchy.  This speeds up deductions considerably.},
  rtnote = {In RHT collection.},
  topic = {kr;theorem-proving;hybrid-kr-architectures;sort-hierarchies;
  	kr-course;}
  }

@inproceedings{ frisch_am:1996a,
  author = {Alan M. Frisch},
  title = {Using Model Theory to Specify {AI} Programs},
  booktitle = {Proceedings of the Thirteenth National Conference on
              Artificial Intelligence and the Ninth Innovative
	      Applications of Artificial Intelligence  Conference,
	      Vol. 1},
  year = {1996},
  editor = {William J. Clancey and Dan Weld},
  pages = {148--154},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {kr;program-specification;krcourse;}
  }

@article{ frisch_am-cohn_ag:1991a,
  author = {Alan M. Frisch and Anthony G. Cohn},
  title = {Thoughts and Afterthoughts on the 1988 Workshop on
  	Principles of Hybrid Reasoning},
  journal = {{AI} Magazine},
  year = {1981},
  volume = {11},
  number = {5},
  pages = {77--87},
  rtnote = {In RHT collection.},
  topic = {hybrid-kr-architectures;description-logics;}
  }

@article{ frisch_am-etal:2006a,
  author = {Alan M. Frisch and Brahim Hnich and Zeynep Kiziltan
  		and Ian Miguel and Toby Walsh},
  title = {Propagation Algorithms for Lexicographic Ordering
  		Constraints},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {10},
  pages = {803--834},
  topic = {constraint-propagation;}
  }

@article{ frisch_am-etal:2009a,
  author = {Alan M. Frisch and Brahim Hnich and Zeynep Kiziltan and
  		Ian Miguel and Toby Walsh},
  title = {Filtering Algorithms for the Multiset Ordering Constraint},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {2},
  pages = {299--328},
  topic = {constraint-programming;constraint-satisfaction;}
  }

@article{ frisch_am-haddawy:1994a,
  author = {Alan M. Frisch and Peter Haddawy},
  title = {Anytime Deduction for Probabilistic Logic},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {69},
  number = {1--2},
  pages = {93--122},
  acontentnote = {Abstract:
     This paper proposes and investigates an approach to deduction in
     probabilistic logic, using as its medium a language that
     generalizes the propositional version of Nilsson's probabilistic
     logic by incorporating conditional probabilities.  Unlike many
     other approaches to deduction in probabilistic logic, this
     approach is based on inference rules and therefore can produce
     proofs to explain how conclusions are drawn.  We show how these
     rules can be incorporated into an anytime deduction procedure
     that proceeds by computing increasingly narrow probability
     intervals that contain the tightest entailed probability
     interval.  Since the procedure can be stopped at any time to
     yield partial information concerning the probability range of
     any entailed sentence, one can make a tradeoff between precision
     and computation time.  The deduction method presented here
     contrasts with other methods whose ability to perform logical
     reasoning is either limited or requires finding all truth
     assignments consistent with the given sentences.},
  xref = {Modification of nilsson_nj:1986a.},
  topic = {probablilty;reasoning-about-uncertainty;}
  }

@inproceedings{ frisch_am-page:1990a,
  author = {Alan M. Frisch and C. David {Page, Jr.}},
  title = {Generalization with Taxonomic Information},
  booktitle = {Proceedings of the Eighth National Conference on
              Artificial Intelligence},
  year = {1990},
  editor = {Thomas Dietterich and William Swartout},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  missinginfo = {pages},
  rtnote = {In RHT collection.},
  topic = {theorem-proving;taxonomic-reasoning;}
  }

@incollection{ frisch_am-scherl:1991a,
  author = {Alan M. Frisch and Richard B. Scherl},
  title = {A General Framework for Modal Deduction},
  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 = {196--207},
  address = {San Mateo, California},
  topic = {kr;theorem-proving;modal-logic;kr-course;}
  }

@incollection{ frisch_m:2005a,
  author = {Mathias Frisch},
  title = {Counterfactuals and the Past Hypothesis},
  booktitle = {{PSA}04: Proceedings of the 2004 Biennial Meetings
  	of the Philosophy of Science Association, Part {I}:
	Contributed Papers},
  publisher = {Philosophy of Science Association},
  year = {2005},
  editor = {Miriam Solomon},
  pages = {739--750},
  address = {Newark, Delaware},
  topic = {conditionals;thermodynamics;}
  }

@incollection{ fritz_c-mcilraith:2006a,
  author = {Christian Fritz and Sheila McIlraith},
  title = {Decision-Theoretic {\sc Golog} with Qualitative
  		Preferences},
  booktitle = {{KR}2006: Proceedings, Tenth International Conference on
      Principles of  Knowledge Representation and Reasoning},
  publisher = {AAAI Press},
  year = {2006},
  editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty},
  pages = {153--163},
  address = {Menlo Park, California},
  topic = {golog;qualitative-utility;}
  }

@book{ fritz_g-hundsnurscher:1994a,
  editor = {Gerd Fritz and Franz Hundsnurscher},
  title = {Handbuch der {D}ialoganalyse},
  publisher = {M. Niemeyer},
  year = {1994},
  address = {T\"ubingen},
  rtnote = {HILLMAN P95.455 H36},
  topic = {discourse-analysis;}
}

@book{ frixione:1994a,
  author = {Marcello Frixione},
  title = {Logica, Significato e Intelligenza Artificiale},
  publisher = {Angeli},
  year = {1994},
  address = {Milan},
  topic = {philosophy-of-language;philosophy-and-AI;}
 }

@article{ froese-ziemke:2009a,
  author = {Tom Froese and Tom Ziemke},
  title = {Enactive Artificial Intelligence: Investigating the
  		Systemic Organization of Life and Mind},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {3-4},
  pages = {466--500},
  topic = {minimalist-robotics;agency;intentionality;}
  }

@incollection{ frohlich-etal:1996a,
  author = {Peter Fr\"ohlich and Wolfgang Nejdl and Michael Schroeder},
  title = {Design and Implementation of Diagnostic Strategies Using
  	Modal Logic},
  booktitle = {Logics in Artificial Intelligence: European Workshop,
  	{Jelia}'96, Ivora, Portugal, September 30 - October 3,
	1996.},
  publisher = {Springer-Verlag},
  year = {1996},
  editor = {Jos\'e J\'ulio Alferes and Lu\'is Moniz Pereira and Ewa Orlowska},
  pages = {104--118},
  address = {Berlin},
  topic = {diagnosis;modal-logic;}
  }

@incollection{ froidevaux-etal:1991a,
  author = {Christine Froidevaux and Philippe Chatalic and J\'er\^ome Mengin},
  title = {Graded Default Logics},
  booktitle = {Symbolic and Quantitative Approaches for Uncertainty:
  	Proceedings of the {E}uropean Conference {ECSQAU}, Marseille,
	France, October 1991},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Rudolf Kruse and Pierre Siegel},
  pages = {70--75},
  address = {Berlin},
  topic = {default-logic;possibilistic-logic;}
  }

@book{ frolund:1996a,
  author = {Svend Fr{\o}lund: An Actor-Based Approach to
  	Synchronization},
  title = {Coordinating Distributed Objects},
  publisher = {The {MIT} Press},
  year = {1996},
  address = {Cambridge, Massachusetts},
  topic = {distributed-processing;}
 }

@article{ fromhertz-etal:1999a,
  author = {Markus P.J. Fromhertz and Vijay A. Saraswat and Daniel
  	G. Bobrow},
  title = {Model-Based Computing: Developing Flexible Machine Control
  	Software},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {114},
  number = {1--2},
  pages = {157--202},
  topic = {model-based-reasoning;constraint-programming;scheduling;}
  }

@article{ fromherz-etal:2003a,
  author = {Markus P.J. Fromherz and Daniel G. Bobrow and Johan de Kleer},
  title = {Model-Based Computing for Design and Control of
  		Reconfigurable Systems},
  journal = {The {AI} Magazine},
  year = {2003},
  volume = {24},
  number = {4},
  pages = {120--130},
  topic = {qualitative-reasoning;automated-configuration;}
  }

@incollection{ fromkin:1977a,
  author = {Victoria A. Fromkin},
  title = {When Does a Test Count as a Hypothesis, or, What Counts as
  	Evidence?},
  booktitle = {Testing Linguistic Hypotheses},
  publisher = {John Wiley and Sons},
  year = {1977},
  editor = {David Cohen and Jessica Worth},
  pages = {43--64},
  address = {New York},
  topic = {philosophy-of-linguistics;}
  }

@book{ fromkin-rodman:1988a,
  author = {Victoria Fromkin and Robert Rodman},
  title = {An Introduction to Language},
  publisher = {Holt, Rinehart, and Winston},
  edition = {4},
  year = {1988},
  address = {New York},
  topic = {linguistics-intro;}
 }

@article{ frostarnold:2008a,
  author = {Greg Frost-Arnold},
  title = {Too Much Reference: Semantics For Multiply Signifying
  		Terms},
  journal = {Journal of Philosophical Logic},
  year = {2008},
  volume = {37},
  number = {3},
  pages = {239--257},
  topic = {reference;ambiguity;supervaluations;}
  }

@incollection{ fruhwirth:2002a,
  author = {Thom Fr\"uhwirth},
  title = {As Time Goes by: Automatic Complexity Analysis of
  	Simplification Rules},
  booktitle = {{KR2002}: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {2002},
  editor = {Dieter Fensel and Fausto Giunchiglia and Deborah
  	L. McGuinness and Mary-Anne Williams},
  pages = {547--557},
  address = {San Francisco, California},
  topic = {kr;complexity-in-AI;constraint-satisfaction;}
  }

@book{ fruhwirth-abdennadher:2003a,
  author = {Thom Fr\"uhwirth and S. Abdennadher},
  title = {Essentials of Constraint Programming},
  publisher = {Springer-Verlag},
  year = {2003},
  address = {Berlin},
  ISBN = {3-540-67623-6},
  xref = {Review: gennari:2005a.},
  topic = {constraint-programming;constraint-satisfaction;}
 }

@inproceedings{ fry:1997a,
  author = {John Fry},
  title = {Negative Polarity Licensing at the Syntax-Semantics
  	Interface},
  booktitle = {Proceedings of the Thirty-Fifth Annual Meeting of the
		{A}ssociation for {C}omputational {L}inguistics and Eighth
		Conference of the {E}uropean Chapter of the {A}ssociation
		for {C}omputational {L}inguistics},
  year = {1997},
  editor = {Philip R. Cohen and Wolfgang Wahlster},
  pages = {144--150},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {polarity;syntax-semantics-interface;linear-logic;
  	compositionality;}
 }

@article{ frye:1964a,
  author = {Marilyn Frye},
  title = {Inscriptions and Indirect Discourse},
  journal = {The Journal of Philosophy},
  year = {1964},
  volume = {62},
  number = {24},
  pages = {767--772},
  topic = {indirect-discourse;}
  }

@article{ frye:1973a,
  author = {Marilyn Frye},
  title = {Force and Meaning},
  journal = {The Journal of Philosophy},
  year = {1973},
  volume = {70},
  number = {10},
  pages = {281--294},
  topic = {speech-acts;pragmatics;}
  }

@inproceedings{ fuchi-takagi:1998a,
  author = {Takeshi Fuchi and Shinichiro Takagi},
  title = {Japanese Morphological Analyzer Using Word Co-Occurrence---
  	{JTAG}},
  booktitle = {Proceedings of the Thirty-Sixth Annual Meeting of the
  	{A}ssociation for {C}omputational {L}inguistics and
	Seventeenth International Conference on
	Computational Linguistics},
  year = {1998},
  editor = {Christian Boitet and Pete Whitelock},
  pages = {409--413},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {Japanese-language;computational-morphology;
  	word-sequence-probabilities;}
}

@inproceedings{ fuchs:1998a,
  author = {Dirk Fuchs},
  title = {Cooperation between Top-Down and Bottom-Up
       		Theorem Provers by Subgoal Clause Transfer},
  booktitle = {Artificial Intelligence and Symbolic Computation:
	Proceedings of {AISC'98}},
  year = {1998},
  editor = {Jacques Calmet and Jan Plaza},
  pages = {157--169},
  publisher = {Springer Verlag},
  address = {Berlin},
  topic = {theorem-proving;}
  }

@article{ fudenberg-levine_dk:2007a,
  author = {Drew Fudenberg and David K. Levine},
  title = {An Economist's Perspective on Multi-Agent Learning},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {7},
  pages = {378--381},
  topic = {multiagent-learning;machine-learning;}
  }

@book{ fudenberg-tirole:1991a,
  author = {D. Fudenberg and J. Tirole},
  title = {Game Theory},
  publisher = {The {MIT} Press},
  year = {1991},
  address = {Cambridge, Massachusetts},
  missinginfo = {A's 1st name.},
  topic = {game-theory;}
 }

@incollection{ fudge-shockey:1997a,
  author = {Erik Fudge and Linda Shockey},
  title = {The Reading Database of Syllable Structure},
  booktitle = {Linguistic Databases},
  publisher = {{CSLI} Publications},
  year = {1997},
  editor = {John Nerbonne},
  pages = {93--102},
  address = {Stanford, California},
  topic = {linguistic-databases;}
  }

@article{ fuhrmann:1991a,
  author = {Andr\'e Fuhrmann},
  title = {Theory Contraction Through Base Contraction},
  journal = {Journal of Philosophical Logic},
  year = {1991},
  volume = {20},
  pages = {175--203},
  number = {2},
  topic = {belief-revision;}
  }

@book{ fuhrmann:1997a,
  author = {Andr\'e Fuhrmann},
  title = {An Essay on Contraction},
  publisher = {Cambridge University Press},
  year = {1997},
  address = {Cambridge, England},
  topic = {belief-revision;}
 }

@article{ fuhrmann:1999a,
  author = {Andr\'e Fuhrmann},
  title = {When Hyperpropositions Meet $\ldots$},
  journal = {Journal of Philosophical Logic},
  year = {1999},
  volume = {28},
  number = {6},
  pages = {559--574},
  topic = {paraconsistency;belief-revision;}
  }

@article{ fuhrmann:2003a,
  author = {Andr\'e Fuhrmann},
  title = {Some Remarks on Ulrafilter and Normality Logics},
  journal = {Studia Logica},
  year = {2003},
  volume = {75},
  number = {2},
  pages = {197--207},
  topic = {belief-revision;nonmonotonic-logic;quantifiers;}
  }

@article{ fuhrmann-hansson_so:1994a,
  author = {Andr\'e Fuhrmann and Sven Ove Hansson},
  title = {A Survey of Multiple Contractions},
  journal = {Journal of Logic, Language, and Information},
  year = {1994},
  volume = {3},
  number = {1},
  pages = {39--76},
  topic = {belief-revision;}
  }

@article{ fuhrmann-levi_i:1994a,
  author = {Andr\'e Fuhrmann and Isaac Levi},
  title = {Undercutting and the {R}amsey Test for Conditionals},
  journal = {Synth\'ese},
  year = {1994},
  volume = {101},
  pages = {157--169},
  missinginfo = {number},
  topic = {CCCP;conditionals;probabilities;}
  }

@book{ fuhrmann-morreau:1991a,
  editor = {Andr\'e Fuhrmann and Michael Morreau},
  title = {The Logic of Theory Change},
  publisher = {Springer-Verlag},
  year = {1991},
  address = {Berlin},
  topic = {belief-revision;}
 }

@book{ fuhrmann-rott:1996a,
  editor = {Andr\'e Fuhrmann and Hans Rott},
  title = {Logic, Action, and Information: Essays on Logic in
  	Philosophy and Artificial Intelligence},
  publisher = {Walter de Gruyter},
  year = {1996},
  address = {Berlin},
  ISBN = {3110139944 (alk. paper)},
  rtnote = {UMich Undergraduate, Hm 131 .G4351 1996},
  topic = {philosophical-logic;logic-in-AI;}
 }

@incollection{ fujii-etal:1997a,
  author = {Atsushi Fujii and Toshihiro Hasegawa and Takenobu Tokunaga
     		and Hozumi Tanaka},
  title = {Integration of Hand-Crafted and Statistical Resources in
  		Measuring Word Similarity},
  booktitle = {Automatic Information Extraction and Building of
  	Lexical Semantic Resources for {NLP} Applications},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Piek Vossen and Geert Adriaens and Nicoletta Calzolari
  	and Antonio Sanfilippo and Yorick Wilks},
  pages = {45--51},
  address = {New Brunswick, New Jersey},
  topic = {word-classification;}
  }

@article{ fujii-etal:1998a,
  author = {Atsushi Fujii and Kentaro Inui and Takenobu
	Tokunaga and Hozumi Tanaka},
  title = {Selective Sampling for Example-Based Word Sense
	Disambiguation},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {4},
  pages = {573--597},
  topic = {lexical-disambiguation;nl-statistics;}
  }

@article{ fujimura:1984a,
  author = {Osamu Fujimura},
  title = {The Role of Linguistics for Future Speech Technology},
  journal = {Bulletin of the {L}inguistic {S}ociety of {A}merica},
  year = {1984},
  pages = {4--7},
  month = {June},
  rtnote = {In RHT collection.},
  topic = {speech-recognition;}
  }

@incollection{ fujisaki-etal:1981a,
  author = {T. Fujisaki and F. Jelinek and J. Cocke and E. Black
    		and T. Nishino},
  title = {A Probabilistic Parsing Method
		for Sentence Disambiguation},
  booktitle = {Current Issues in Parsing Technology},
  publisher = {Kluwer Academic Publishers},
  year = {1981},
  editor = {Masaru Tomita},
  pages = {139--152},
  address = {Dordrecht},
  topic = {parsing-algorithms;statistical-parsing;}
  }

@inproceedings{ fujita_ke:1998a,
  author = {Ken-Etzu Fujita},
  title = {Polymorphic Call-by-Value Calculus Based
       		on Classical Proofs},
  booktitle = {Artificial Intelligence and Symbolic Computation:
	Proceedings of {AISC'98}},
  year = {1998},
  editor = {Jacques Calmet and Jan Plaza},
  pages = {170--182},
  publisher = {Springer Verlag},
  address = {Berlin},
  topic = {higher-order-logic;intuitionistic-logic;
  	higher-order-programming-constructs;}
  }

@article{ fujita_m-etal:2000a,
  author = {Masahito Fujita and Manuela Veloso and William Uther and
  	Minoru Asada and Hiroaki Kitano and Vincent Hugel and Patrick
	Bonnin and Jean-Christophe Bouramou\'e and Pierre Blazevic},
  title = {Vision, Strategy, and Localization Using the {S}ony Legged
  	Robots at {R}ob o{C}up-98},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {21},
  number = {1},
  pages = {47--56},
  topic = {robotics;RoboCup;}
  }

@article{ fukushima:1991a,
  author = {Kazuhiko Fukushima},
  title = {Phrase Structure Grammar, {M}ontague Semantics,
  	and Floating Quantifiers in {J}apanese},
  journal = {Linguistics and Philosophy},
  year = {1991},
  volume = {14},
  number = {6},
  pages = {581--628},
  topic = {floating-quantifiers;Japanese-language;}
  }

@incollection{ fuller:1995a,
  author = {Gary Fuller},
  title = {Simulation and Psychological Concepts},
  booktitle = {Mental Simulation: Evaluations and Applications},
  publisher = {Blackwell Publishers},
  year = {1995},
  editor = {Martin Davies and Tony Stone},
  pages = {19--32},
  address = {Oxford},
  topic = {folk-psychology;mental-simulation-theory-of-folk-psychology;
	propositional-attitude-ascription;}
  }

@book{ fulop:2004a,
  author = {Sean A. Fulop},
  title = {On the Logic and Learning of Language},
  publisher = {Trafford Publishing},
  year = {2004},
  address = {Victoria, British Columbia},
  ISBN = {1-4120-2381-5},
  xref = {Review: hale_j:2007a.},
  topic = {type-theory;grammar-formalisms;L1-language-learning;}
 }

@article{ fulop:2005a,
  author = {Sean A. Fulop},
  title = {Semantic Bootstrapping of Type-Logical Grammar},
  journal = {Journal of Logic, Language, and Information},
  year = {2005},
  volume = {14},
  number = {1},
  pages = {49--86},
  topic = {higher-order-logic;categorial-grammar;machine-language-learning;}
  }

@incollection{ fumerton:1988a,
  author = {Richard Fumerton},
  title = {The Internalism/Externalism Controversy},
  booktitle = {Philosophical Perspectives 2: Epistemology},
  publisher = {Blackwell Publishers},
  year = {1988},
  editor = {James E. Tomberlin},
  pages = {443--459},
  address = {Oxford},
  topic = {internal/external-properties;philosophy-of-mind;}
  }

@incollection{ funakoshi-etal:2004a,
  author = {Kotaro Funakoshi and Satoru Watanabe and Naoko Kuriyama
  		and Takenobu Tokunaga},
  title = {Generating Referring Expressions Using Perceptual Groups},
  booktitle = {Natural Language Generation: Third International
	Conference, INLG 2004},
  publisher = {Springer-Verlag},
  year = {2004},
  editor = {Anja Belz and Roger Evans and Paul Piwek},
  pages = {51--60},
  address = {Berlin},
  topic = {nl-generation;referring-expressions;}
  }

@inproceedings{ fung:1995a,
  author = {Pascale Fung},
  title = {Compiling Bilingual Lexicon Entries from a Non-Parallel
				{E}nglish-{C}hinese Corpus},
  booktitle = {Proceedings of the Third Workshop on Very
		Large Corpora},
  year = {1995},
  editor = {David Yarovsky and Kenneth Church},
  pages = {173--183},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  rtnote = {In RHT collection.},
  topic = {corpus-linguistics;corpus-statistics;dictionary-construction;
		machine-learning;machine-translation;}
  }

@inproceedings{ fung-yee:1998a,
  author = {Pascale Fung and Lo Yuen Yee},
  title = {An {IR} Approach for Translating New Words from Nonparallel,
  	Comparable Texts},
  booktitle = {Proceedings of the Thirty-Sixth Annual Meeting of the
  	{A}ssociation for {C}omputational {L}inguistics and
	Seventeenth International Conference on
	Computational Linguistics},
  year = {1998},
  editor = {Christian Boitet and Pete Whitelock},
  pages = {414--420},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {word-acquisition;}
}

@article{ funkhauser:2006a,
  author = {Eric Funkhauser},
  title = {The Determinable-Determinate Relation},
  journal = {No\^us},
  year = {2006},
  volume = {40},
  number = {3},
  pages = {548--569},
  topic = {determinables;}
  }

@article{ funt:1980a1,
  author = {Brian V. Funt},
  title = {Problem Solving with Diagrammatic Representations},
  journal = {Artificial Intelligence},
  year = {1980},
  volume = {13},
  number = {3},
  pages = {201--230},
  acontentnote = {Abstract:
     Diagrams are of substantial benefit to WHISPER, a computer
     problem-solving system, in testing the stability of a ``blocks
     world'' structure and predicting the event sequences which occur
     as that structure collapses.  WHISPER's components include a
     high level reasoner which knows some qualitative aspects of
     Physics, a simulated parallel processing ``retina'' to ``look
     at'' its diagrams, and a set of re-drawing procedures for
     modifying these diagrams.  Roughly modelled after the human eye,
     WHISPER's retina can fixate at any diagram location, and its
     resolution decreases away from its center.  Diagrams enable
     WHISPER to work with objects of arbitrary shape, detect
     collisions and other motion discontinuities, discover
     coincidental alignments, and easily update its world model after
     a state change.  A theoretical analysis is made of the role of
     diagrams interacting with a general deductive mechanism such as
     WHISPER's high level reasoner.},
  xref = {Republication: funt:1980a2.},
  topic = {diagrams;reasoning-with-diagrams;qualitative-physics;}
  }

@incollection{ funt:1980a2,
  author = {Brian V. Funt},
  title = {Problem Solving with Diagrammatic Representations},
  booktitle = {Diagrammatic Reasoning},
  publisher = {The {MIT} Press},
  year = {1995},
  editor =  {Janice Glasgow and N. Hari Narayanan and B.
		Chandrasekaran},
  pages = {33--68},
  address = {Cambridge, Massachusetts},
  xref = {Journal Publication: funt:1980a1.},
  topic = {diagrams;reasoning-with-diagrams;qualitative-physics;}
  }

@incollection{ furbach:1998a,
  author = {Ulrich Furbach},
  title = {Introduction (to Part {I}: Tableau and Connection
		Calculi)},
  booktitle = {Automated Deduction: A Basis for Applications.
  	Volume {I}, Foundations: Calculi and Methods},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Wolfgang Bibel and Peter H. Schmidt},
  address = {Dordrecht},
  missinginfo = {A's 1st name, pages},
  topic = {theorem-proving;applied-logic;proof-theory;}
  }

@article{ furbach:2003a,
  author = {Ulrich Furbach},
  title = {{AI}---A Multiple Book Review},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {145},
  number = {1--2},
  pages = {245--252},
  contentnote = {A reflective commentary on several introductory
  	textbooks.},
  xref = {Review of: charniak-mcdermott_d:1985a, dean_t-etal:1995b,
  	nilsson_nj:1971a, nilsson_nj:1980a, nilsson_nj:1998a,
	poole-etal:1988a, rich_e:1983a, russell_sj-norvig:1995a.},
  topic = {AI-intro;AI-text;AI-editorial;}
  }

@book{ furberg:1963a,
  author = {Mats Furberg},
  title = {Locutionary and Illocutionary Acts: A Main Theme in {J}.{L}.
  	{A}ustin's Philosophy},
  publisher = {Elanders Boktryckerii Aktiebolag},
  year = {1963},
  address = {G\"oteborg},
  rtnote = {HILLMAN B1618 A83L 8
  	I should read this at some point.},
  contentnote = {	TC:
	1. Austin's Approach
		I. The inheritance from Moore
	       II. Some main characteristics of Austin's approach
              III. Wittgenstein and Austin
        2. The locutionary act: speech and language
		I. Language
	       II. Language and speech
              III. Speech
        3. The locutionary act: truth and knowledge
		I. Truth
	       II. Knowledge
        4. The illocutionary act
		I. Performatives and their functions
	       II. Two kinds of force-showing
  	},
  xref = {Review: searle:1966b},
  topic = {speech-acts;pragmatics;ordinary-language-philosophy;}
 }

@incollection{ furberg:1969a,
  author = {Mats Furberg},
  title = {Meaning and Illocutionary Force},
  booktitle = {Symposium on J.L. Austin},
  publisher = {Routledge and Kegan Paul},
  year = {1969},
  editor = {K.T. Fann},
  pages = {445--468},
  address = {London},
  missinginfo = {E's 1st name.},
  note = {Contains a brief note by L.J. Cohen.},
  xref = {Comments on \cite{cohen_lj:1964a2}.},
  topic = {JL-Austin;speech-acts;pragmatics;}
  }

@book{ furberg:1971a,
  author = {Mats Furberg},
  title = {Saying and Meaning},
  publisher = {Blackwell Publishers},
  year = {1971},
  address = {Oxford},
  topic = {speech-acts;pragmatics;ordinary-language-philosophy;}
 }

@article{ furth:1967a,
  author = {Montgomery Furth},
  title = {Monadology},
  journal = {The Philosophical Review},
  year = {1967},
  volume = {76},
  number = {2},
  pages = {169--200},
  topic = {Leibniz;metaphysics;}
  }

@unpublished{ furth-etal:1971a,
  author = {Montgomery Furth and C.C. Chang and Alonzo Church},
  title = {Orbituary of {R}ichard {M}. {M}ontague},
  year = {1971},
  note = {Unpublished manuscript, UCLA Philosophy Department},
  rtnote = {In RHT collection.},
  url = {http://dynaweb.oac.cdlib.org:8088/dynaweb/uchist/public/inmemoriam/inmemoriam1974/@Generic__BookTextView/1450},
  rtnote = {In RHT collection.  Montague correspondence file.},
  topic = {Montague;}
  }

@book{ furukawa-etal:1994a,
  editor = {K. Furukawa and Donald Michie and Steven H. Muggleton},
  title = {Machine Intelligence 13: Machine Intelligence and Inductive
    Learning},
  publisher = {Oxford University Press},
  year = {1994},
  address = {Oxford},
  ISBN = {0198538502},
  rtnote = {UMich Media Union Library, Q 335 .M15 1992.},
  topic = {AI-survey;induction;machine-learning;}
 }

@book{ furukawa-etal:1995a,
  editor = {K. Furukawa and Donald Michie and Steven H. Muggleton},
  title = {Machine Intelligence 14: Applied Machine Intelligence},
  publisher = {Oxford University Press},
  year = {1995},
  address = {Oxford},
  ISBN = {019853860X},
  topic = {AI-survey;}
 }

@book{ furukawa-etal:1999a,
  editor = {K. Furukawa, Donald Michie and Steven H. Muggleton},
  title = {Machine Intelligence 15 : Intelligent Agents},
  publisher = {Oxford University Press},
  year = {1999},
  address = {Oxford},
  ISBN = {0198538677},
  topic = {AI-survey;}
 }

@inproceedings{ furuse-etal:1998a,
  author = {Osamu Furuse and Setsuo Yamada and Kazuhide Yamamoto},
  title = {Splitting Long or Ill-formed Input for Robust
  	Spoken-language Translation},
  booktitle = {Proceedings of the Thirty-Sixth Annual Meeting of the
  	{A}ssociation for {C}omputational {L}inguistics and
	Seventeenth International Conference on
	Computational Linguistics},
  year = {1998},
  editor = {Christian Boitet and Pete Whitelock},
  pages = {421--427},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {ill-formed-nl-input;speech-to-speech-machine-translation;}
}

@inproceedings{ fusaoka:1996a,
  author = {Akira Fusaoka},
  title = {Situation Calculus on a Dense Flow of Time},
  booktitle = {Proceedings of the Thirteenth National Conference on
              Artificial Intelligence and the Eighth Innovative
	      Applications of Artificial Intelligence  Conference},
  year = {1996},
  editor = {William J. Clancey and Dan Weld},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {temporal-reasoning;reasoning-about-continuous-time;}
  }

@book{ fussell-kreuz:1997a,
  editor = {Susan R. Fussell and Roger J. Kreuz},
  title = {Social and Cognitive Approaches to Interpersonal
  	Communication},
  publisher = {Lawrence Erlbaum Associates},
  year = {1997},
  address = {Mahwah, New Jersey},
  topic = {pragmatics;discourse;cognitive-psychology;pragmatics;}
 }

@techreport{ gaasterland-etal:1990a,
  author = {Terry Gaasterland and Jack Minker and Arcot Rajasekar},
  title = {Deductive Database Systems and Knowledge Base Systems},
  institution = {Institute for Advanced Computer Studies,
           University of Maryland},
  number = {UMIACS--TR--90--116},
  year = {1990},
  address = {College Park, Maryland},
  rtnote = {In RHT collection.},
  topic = {deductive-databases;}
  }

@inproceedings{ gabaldon:2002a,
  author = {Alfredo Gabaldon},
  title = {Non-{M}arkovian Control in the Situation Calculus},
  booktitle = {Proceedings of the Eighteenth National Conference on
              Artificial Intelligence},
  year = {2002},
  editor = {Rina Dechter and Michael Kearns and Richard S. Sutton},
  pages = {519--524},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  contentnote = {The Markovian property says that the executability
  	and effects of an action depend only on the current
	situation},
  topic = {action-formalisms;situation-calculus;}
  }

@incollection{ gabaldon:2004a,
  author = {Alfredo Gabaldon},
  title = {Precondition Control and the Progression Algorithm},
  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 = {634--643},
  address = {Menlo Park, California},
  topic = {action-formalisms;progression;}
  }

@article{ gabbay:1972a,
  author = {Dov M. Gabbay},
  title = {A General Filtration Method for Modal Logics},
  journal = {Journal of Philosophical Logic},
  year = {1972},
  volume = {1},
  number = {1},
  pages = {29--34},
  topic = {modal-logic;completeness-theorems;}
  }

@article{ gabbay:1972b,
  author = {Dov M. Gabbay},
  title = {Tense Logics with Discrete Moments of Time, Part {I}},
  journal = {Journal of Philosophical Logic},
  year = {1972},
  volume = {1},
  number = {1},
  pages = {35--44},
  topic = {temporal-logic;}
  }

@unpublished{ gabbay:1972c1,
  author = {Dov Gabbay},
  title = {A General Theory of The Conditional in Terms of a Ternary
  	Operator},
  year = {1972},
  note = {Unpublished manuscript, Stanford University},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  rtnote = {This has probably been published.},
  xref = {Journal publication: gabbay:1972c2.},
  topic = {conditionals;modal-logic;}
  }

@article{ gabbay:1972c2,
  author = {Dov Gabbay},
  title = {A General Theory of The Conditional in Terms of a Ternary
  	Operator},
  journal = {Theoria},
  year = {1984},
  volume = {38},
  pages = {97--104},
  rtnote = {In RHT collection.},
  xref = {Publication of: gabbay:1972c1.},
  topic = {conditionals;modal-logic;}
  }

@article{ gabbay:1973a,
  author = {Dov Gabbay},
  title = {Applications of {S}cott's Notion of Consequence to the
  	Study of General Binary Intensional Connectives and
	Entailment},
  journal = {Journal of Philosophical Logic},
  year = {1973},
  volume = {2},
  number = {3},
  pages = {340--351},
  topic = {relevance-logic;}
  }

@article{ gabbay:1974a,
  author = {Dov M. Gabbay},
  title = {On 2nd Order Intuitionistic Propositional Calculus
  	with Full Comprehension},
  journal = {Annals of Mathematical Logic},
  year = {1974},
  volume = {16},
  pages = {177--186},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {intuitionistic-logic;higher-order-logic;}
  }

@article{ gabbay:1975a,
  author = {Dov M. Gabbay},
  title = {Model Theory for Tense Logics},
  journal = {Annals of Mathematical Logic},
  year = {1975},
  volume = {8},
  pages = {185--236},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {temporal-logic;}
  }

@incollection{ gabbay:1976a,
  author = {Dov M. Gabbay},
  title = {Two-Dimensional Propositional Tense Logics},
  booktitle = {Language in Focus},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  editor = {Asa Kasher},
  pages = {569--583},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {temporal-logic;}
  }

@incollection{ gabbay:1980a,
  author = {Dov Gabbay},
  title = {Time, Tense, and Quantifiers},
  booktitle = {Proceedings of the {S}tuttgart Conference on the
  	Logic of Tense and Quantification},
  publisher = {Max Niemeyer Verlag},
  year = {1980},
  editor = {Christian Rohrer},
  pages = {59--82},
  address = {T\"ubingen},
  topic = {temporal-logic;tense-aspect;}
  }

@incollection{ gabbay:1981a,
  author = {Dov Gabbay},
  title = {An Irreflexivity Lemma With Applications to
  	Axiomatizations of Conditions on Tense Frames},
  booktitle = {Aspects of Philosophical Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1981},
  editor = {Uwe M\"onnich},
  pages = {67--89},
  address = {Dordrecht},
  topic = {temporal-logic;modal-logic;completeness-theorems;}
  }

@incollection{ gabbay:1981b,
  author = {Dov M. Gabbay},
  title = {Functional Completeness in Tense Logic},
  booktitle = {Aspects of Philosophical Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1981},
  editor = {Uwe M\"onnich},
  pages = {91--117},
  address = {Dordrecht},
  topic = {temporal-logic;expressive-completeness;}
  }

@inproceedings{ gabbay:1982a,
 author = {Dov M. Gabbay},
 title = {Intuitionistic Basis for Non-Monotonic Logic},
 booktitle = {Proceedings of the Sixth Conference on Automated
 	Deduction},
 year = {1982},
 editor = {Donald W. Loveland},
 number = {138},
 series = {Lecture Notes in Computer Science},
 pages = {260--273},
 publisher = {Springer-Verlag},
 address = {Berlin},
 rtnote = {In RHT collection.},
 topic = {nonmonotonic-logic;intuitionistic-logic;}
 }

@article{ gabbay:1984a,
  author = {Dov Gabbay},
  title = {A General Theory of The Conditional in Terms of a Ternary
  	Operator},
  journal = {Theoria},
  year = {1984},
  volume = {38},
  pages = {97--104},
  rtnote = {In RHT collection.},
  topic = {conditionals;modal-logic;}
  }

@incollection{ gabbay:1985a,
  author = {Dov M. Gabbay},
  title = {Theoretical Foundations for Non-Monotonic Reasoning in
  	Expert Systems},
  booktitle = {Logics and Models of Concurrent Systems},
  publisher = {Springer Verlag},
  year = {1985},
  editor = {Krzysztof R. Apt},
  pages = {439--457},
  address = {Berlin},
  topic = {kr;nonmonotonic-reasoning;expert-systems;kr-course;}
  }

@incollection{ gabbay:1991a,
  author = {Dov Gabbay},
  title = {Abduction in Labelled Deductive Systems: A Conceptual
  	Abstract},
  booktitle = {Symbolic and Quantitative Approaches for Uncertainty:
  	Proceedings of the {E}uropean Conference {ECSQAU}, Marseille,
	France, October 1991},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Rudolf Kruse and Pierre Siegel},
  pages = {3--11},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {labeled-deductive-systems;abduction;}
  }

@incollection{ gabbay:1992a,
  author = {Dov Gabbay},
  title = {Quantifier Elimination in Second-Order Predicate Logic},
  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 = {425--435},
  address = {San Mateo, California},
  topic = {higher-order-logic;}
  }

@incollection{ gabbay:1993a,
  author = {Dov Gabbay},
  title = {Preface},
  booktitle = {The Handbook of Logic in Artificial Intelligence and
  	Logic Programming, Volume 1: Deductive Methodologies},
  editor = {Dov Gabbay and Christopher Hogger and J.A. Robinson},
  publisher = {Oxford University Press},
  pages = {v--viii},
  address = {Oxford},
  year = {1993},
  rtnote = {Use in course?  In RHT collection.},
  topic = {kr;logic-in-AI-survey;kr-course;}
  }

@book{ gabbay:1994a,
  editor = {Dov Gabbay},
  title = {What is a Logical System?},
  publisher = {Oxford University Press},
  year = {1994},
  address = {Oxford},
  topic = {logic-general;}
 }

@incollection{ gabbay:1995a,
  author = {Dov M. Gabbay},
  title = {Conditional Implications and Non-Monotonic Consequence},
  booktitle = {Conditionals: From Philosophy to Computer Science},
  publisher = {Oxford University Press},
  year = {1995},
  editor = {Gabriella Crocco and Luis Fari\~nas del Cerro and Andreas Herzig},
  pages = {337--359},
  address = {Oxford},
  topic = {conditionals;nonmonotonic-logic;}
  }

@article{ gabbay:1996a,
  author = {Dov Gabbay},
  title = {Fibred Semantics and the Weaving of Logics.  Part {I}:
  	Modal and Intuitionistic Logics},
  journal = {The Journal of Symbolic Logic},
  year = {1996},
  volume = {61},
  number = {4},
  pages = {1057--1120},
  rtnote = {tmix-project;},
  topic = {modal-logic;intuitionistic-logic;fibred-semantics;}
  }

@book{ gabbay:1996b,
  author = {Dov M. Gabbay},
  title = {Labelled Deductive Systems, Volume 1},
  publisher = {Oxford University Press},
  year = {1996},
  address = {Oxford},
  rtnote = {In RHT collection.  Shelf.},
  topic = {proof-theory;labeled-deductive-systems;}
 }

@book{ gabbay:1996c,
  editor = {Dov Gabbay and Kosta Dosen},
  title = {Labelled Deductive Systems, Volume 1},
  publisher = {Oxford University Press},
  year = {1996},
  address = {Oxford},
  topic = {labeled-deductive-systems;}
 }

@book{ gabbay:1999a,
  author = {Dov M. Gabbay},
  title = {Fibring Logics},
  publisher = {Oxford University Press},
  year = {1999},
  address = {Oxford},
  ISBN = {0198503814},
  rtnote = {UMich Media Union Library, QA 9 .G117 1999},
  xref = {Reviews: sernadas:2000a, kracht:2004a.},
  topic = {fibred-semantics;modal-logic;}
 }

@article{ gabbay:2002a,
  author = {Dov M. Gabbay},
  title = {A Theory of Hypermodal Logics:  Mode Shifting in Modal
  	Logic},
  journal = {Journal of Philosophical Logic},
  year = {2002},
  volume = {31},
  number = {3},
  pages = {211--243},
  topic = {modal-logic;(in)completeness;}
  }

@article{ gabbay:2009a,
  author = {Dov M. Gabbay},
  title = {Fibring Argumentation Frames},
  journal = {Studia Logica},
  year = {2009},
  volume = {93},
  number = {2--3},
  pages = {231--295},
  topic = {argumentation-theory;fibred-semantics;}
  }

@article{ gabbay:2009b,
  author = {Dov M. Gabbay},
  title = {Semantics for Higher-Level Attacks in Extended Argumentation
  		Frames Part {I}: Overview},
  journal = {Studia Logica},
  year = {2009},
  volume = {93},
  number = {2--3},
  pages = {357--381},
  topic = {argumentation-theory;}
  }

@book{ gabbay-derijke:1999a,
  editor = {Dov M. Gabbay and Maarten de Rijke},
  title = {Frontiers of Combining Systems 2},
  publisher = {Research Studies Press},
  year = {1999},
  address = {Philadelphia},
  ISBN = {0863802524 (alk. paper)},
  rtnote = {UMich Graduate Library, No call number available.},
  topic = {combining-logics;combining-systems;}
 }

@book{ gabbay-derijke:2000a,
  editor = {Dov M. Gabbay and Maarten de Rijke},
  title = {Frontiers of Combining Systems 3},
  publisher = {Research Studies Press},
  year = {2000},
  address = {Berlin},
  ISBN = {0863802524},
  rtnote = {UMich Media Union Qa 9 .A1 F761},
  topic = {combining-logics;combining-systems;}
 }

@inproceedings{ gabbay-etal:1980a,
  author = {Dov Gabbay and Amir Pnueli and Sharanon Shelah and
  	J. Stavi},
  title = {On the Temporal Analysis of Fairness},
  booktitle = {Proceedings of the Seventh {ACM} Symposium on Principles
  	of Programming Languages},
  year = {1980},
  pages = {163--173},
  organization = {{ACM}},
  missinginfo = {editor, publisher, address},
  topic = {program-verification;temporal-logic;}
  }

@book{ gabbay-etal:1993a,
    editor = {Dov Gabbay and Christopher Hogger and  J.A. Robinson},
    title = {Handbook of Logic in Artificial Intelligence
    	         and Logic Programming, Volume 1: Deductive
		 Methodologies},
    publisher = {Oxford University Press},
    address = {Oxford},
    missinginfo = {Editor's first names.},
    year = {1993},
    contentnote = {TC:
    1. David J. Israel, "The Role(s) of Logic in Artificial Intelligence"
    2. Martin Davis, "First Order Logic"
    3. Wolfgang Bibel and Elmar Eder, "Methods and Calculi for Deduction"
    4. Norbert Eisinger and Hans J\"urgen Olbach, "Deduction Systems
    	Based on Resolution"
    5. David A. Plaisted, "Equational Reasoning and Term Rewriting Systems"
    6. Melvin Fitting, "Basic Modal Logic"
    7. Wilfrid Hodges, "Logical Features of Horn Clauses"
    },
  ISBN = {019853745X},
  rtnote = {UMich Media Union Library Call No: QA 76.63 .H361 1993},
    topic = {theorem-proving;}
    }

@book{ gabbay-etal:1994a,
  editor = {Dov Gabbay and Christopher J. Hogger and J. A. Robinson},
  title = {Handbook of Logic in Artificial Intelligence
   	         and Logic Programming, Volume 3: Nonmonotonic
		 Reasoning and Uncertain Reasoning},
  publisher = {Oxford University Press},
  year = {1994},
  address = {Oxford},
  contentnote = {TC:
  	1. Matthew L. Ginsberg, "{AI} and Nonmonotonic
		Reasoning", pp. 1--33
	2. David C. Makinson, "General Patterns in Nonmonotonic
		Reasoning", pp. 35--111
	3. John F. Horty, "Some Direct Theories of Nonmonotonic
		Inheritance", pp. 112--187
	4. David Poole, "Default Logic", pp. 189--215
	5. Kurt Konolige, "Autoepistemic Logic", pp. 217--295
	6. Vladimir Lifschitz, "Circumscription", pp. 297--352
	7. Donald Nute, "Defeasible Logic", pp. 353--395
       10. Henry E. {Kyburg, Jr.}, "Uncertainty Logics", pp. 397--438
       11. Didier Dubois and J. Lang and Henri Prade, "Possibilistic
       		Logic", pp. 439--513
   },
  xref = {Review: antonelli:2000a.},
  topic = {nonmonotonic-logic;}
 }

@book{ gabbay-etal:1994b,
  author = {Dov M. Gabbay and Ian Hodkinson and Mark Reynolds},
  title = {Temporal Logics: Mathematical Foundations and Computational
  		Aspects, Volume 1},
  publisher = {Oxford University Press},
  year = {1994},
  address = {Oxford},
  ISBN = {0 19 853769 7},
  rtnote = {In RHT Collection.  Logic shelves.},
  contentnote = {TC:
     1. "The Handling of Time: Introduction and Survey"
     2. "Semantical Presentation of Temporal Connectives"
     3. "Axiomatic Presentation of Propositional Connectives"
     4. "Predicate Temporal Logics"
     5. "Temporal Logics Presented in the Predicate Calculus:
     		Language-Metalanguage"
     6. "A General Theory of Axiomatization for Propositional
     		Temporal Logic"
     7. "Basic Many-Dimensional Systems"
     8. "Propositional Quantifiers and Fixed Point Operators"
     9. "Expressive Power of One-Dimensional Temporal Connectives:
     		Basic Concepts"
    10. "Expressive Completeness of Since and Until over Integer
    		and Real Time"
    11. "Expressive Completeness of Stavi Connectives over General
    		Linear Time"
    12. "Further Expressive Completeness Results"
    13. "H-Dimension"
    14. "Adding a Temporal Dimension to a Logical System"
    15. "Decidability in Temporal Logic"
  },
  topic = {modal-logic;temporal-logic;}
 }

@book{ gabbay-etal:1995a,
    editor = {Dov Gabbay and Christopher Hogger and  J.A. Robinson},
    title = {Handbook of Logic in Artificial Intelligence
    	         and Logic Programming, Volume 4: Epistemic
		 and Temporal Logics},
    publisher = {Oxford University Press},
    address = {Oxford},
    missinginfo = {Editor's first names},
    year = {1995},
    rtnote = {UMich Media Union Library, QA 76.63 .H361 1993.},
    topic = {epistemic-logic;temporal-logic;}
    }

@article{ gabbay-etal:1998a,
  author = {Dov M. Gabbay and Nicola Olivetti},
  title = {Algorithmic Proof Methods and Cut Elimination
  	for Implicational Logics, Part {I}: Modal Implication},
  journal = {Studia Logica},
  year = {1998},
  volume = {61},
  number = {2},
  pages = {237--280},
  topic = {proof-theory;modal-logic;implicational-logics;}
  }

@book{ gabbay-etal:1998b,
    editor = {Dov Gabbay and Christopher Hogger and  J.A. Robinson},
    title = {Handbook of Logic in Artificial Intelligence
    	         and Logic Programming, Volume 5:  Logic Programming},
    publisher = {Oxford University Press},
    address = {Oxford},
    missinginfo = {Editor's first names},
    year = {1998},
    rtnote = {UMich Media Union Library QA 76.63 .H361 1993.},
    topic = {logic-programming;}
    }

@book{ gabbay-etal:2000a,
  author = {Dov M. Gabbay and Mark A. Reynolds and Marcelo Finger},
  title = {Temporal Logic: Mathematical Foundations and Computational
  	Aspects, Volume 2},
  publisher = {Oxford University Press},
  year = {2000},
  address = {Oxford},
  ISBN = {0-19-853768-9},
  xref = {Review: hustadt:2001a.},
  topic = {temporal-logic;}
 }

@book{ gabbay-etal:2003a,
  author = {Dov M. Gabbay and \'Agnes Kurucz and Frank Wolter
  		and Michael Zakharyaschev},
  title = {Many-Dimensional Modal Logics: Theory and Applications},
  publisher = {Elsevier},
  year = {2003},
  address = {Amsterdam},
  xref = {Review: reynolds_m:2003a},
  topic = {many-dimensional-modal-logic;modal-logic;multimodal-logic;}
 }

@article{ gabbay-etal:2006a,
  author = {Dov Gabbay and Rolf Nossum and John Woods},
  title = {Context-Dependent Abduction and Relevance},
  journal = {Journal of Philosophical Logic},
  year = {2006},
  volume = {35},
  number = {1},
  pages = {65--81},
  topic = {context;relevance-logic;contextual-reasoning;}
  }

@article{ gabbay-garcez:2009a,
  author = {Dov M. Gabbay and Artur S. D'Avila Garcez},
  title = {Logical Modes of Attack in Argumentation Networks},
  journal = {Studia Logica},
  year = {2009},
  volume = {93},
  number = {2--3},
  pages = {199--230},
  topic = {argumentation-theory;nonmonotonic-logic;}
  }

@incollection{ gabbay-governatori:1998a,
  author = {Dov M. Gabbay and G. Governatori},
  title = {Dealing with Label Dependent Deontic Modalities},
  booktitle = {Norms, Logics and Information Systems.  New Studies in
		Deontic Logic and Computer Science},
  publisher = {IOS Press},
  year = {1998},
  editor = {Henry Prakken and Paul McNamara},
  pages = {311--330},
  address = {Amsterdam},
  topic = {deontic-logic;labeled-deductive-systems;}
  }

@book{ gabbay-guenthner_f:1983a,
  editor = {Dov Gabbay and Franz Guenther},
  title =  {Handbook of Philosophical Logic, Volume {I}:
  	Elements of Classical Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1983},
  address = {Dordrecht},
  rtnote = {In RHT collection.  Handbook shelf.},
  contentnote = {TC:
  	1.  Wilfrid Hodges, "Elementary Predicate Logic"
	2.  G\o"ran Sundholm, "Systems of Deduction"
	3.  Hughes Leblanc, "Alternatives to Standard First-Order
		Semantics"
	4.  Johan van Bentem and Kees Doets, "Higher-Order Logic"
	5.  Allen Hazen, "Predicative Logics"
	6.  Dirk van Dalen, "Algorithms and Decision Problems:
		A Crash Course in Decision Theory"
  	},
  topic = {philosophical-logic;}
 }

@book{ gabbay-guenthner_f:1984a,
  editor = {Dov Gabbay and Franz Guenther},
  title =  {Handbook of Philosophical Logic, Volume {II}:
  	Extensions of Classical Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1984},
  address = {Dordrecht},
  rtnote = {In RHT collection.  Handbook shelf.},
  contentnote = {TC:
  	1.  Robert A. Bull and Krister Segerberg, "Basic Modal
		Logic"
	2.  John P. Burgess, "Basic Tense Logic"
	3.  Richmond H. Thomason, "Combinations of Tense and
		Modality"
	4.  Johan van Benthem, "Correspondence Theory"
	5.  James W. Garson, "Quantification in Modal Logic"
	6.  Nino B. Cocchiarella, "Philosophical Perspectives on
		Quantification in Tense and Modal Logic"
	7.  C. Anthony Anderson, "General Intensional Logic"
	8.  Donald Nute, "Conditional Logic"
	9.  Craig Smorynski, "Modal Logic and Self-Reference"
	10. David Harel, "Dynamic Logic"
	11. Lennart {\AA}qvist, "Deontic Logic"
	12. David Harrah, "The Logic of Questions"
  	},
  topic = {philosophical-logic;}
 }

@book{ gabbay-guenthner_f:1986a,
  editor = {Dov Gabbay and Franz Guenther},
  title =  {Handbook of Philosophical Logic, Volume {III}:
  	Alternatives in Classical Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1986},
  address = {Dordrecht},
  rtnote = {In RHT collection.  Handbook shelf.},
  contentnote = {TC:
  	1.  Stephen Blamey, "Partial Logic"
	2.  Alisdair Urquhart, "Many-Valued Logic"
	3.  J. Michael Dunn, "Relevance Logic and Entailment"
	4.  Dirk van Dalen, "Intuitionistic Logic"
	5.  Walter Felscher, "Dialogues as a Foundation for Intuionistic
		Logic"
	6.  Ermanno Bencivenga, "Free Logics"
	7.  Maria Luisa dalla Chiara, "Quantum Logic"
	8.  G\"oran Sundholm, "Proof Theory and Meaning"
  	},
  topic = {philosophical-logic;}
 }

@book{ gabbay-guenthner_f:1986b,
  editor = {Dov Gabbay and Franz Guenther},
  title =  {Handbook of Philosophical Logic, Volume {VII}},
  edition = {2},
  publisher = {D. Reidel Publishing Co.},
  year = {2002},
  address = {Dordrecht},
  rtnote = {In RHT collection.  Handbook shelf.},
  topic = {philosophical-logic;}
 }

@book{ gabbay-guenthner_f:1989a,
  editor = {Dov Gabbay and Franz Guenthner},
  title = {Topics in the Philosophy of Language},
  publisher = {D. Reidel Publishing Co.},
  year = {1989},
  address = {Dordrecht},
  ISBN = {9027716064 (Netherlands)},
  rtnote = {UMich Graduate Library, BC 6 .H361 1983 v.4.},
  topic = {philosophy-of-language;}
 }

@incollection{ gabbay-hodkinson:1996a,
  author = {Dov Gabbay and Ian Hodkinson},
  title = {Temporal Logic in the Context of Databases},
  booktitle = {Logic and Reality: Essays on the Legacy of {A}rthur
  	{P}rior},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Jack Copeland},
  pages = {69--87},
  address = {Oxford},
  topic = {temporal-logic;temporal-reasoning;kr;databases;kr-course;}
  }

@article{ gabbay-kasher:1976a,
  author = {Dov M. Gabbay and Asa Kasher},
  title = {On the Semantics and Pragmatics of Specific and
  	Non-Specific Indefinite Expressions},
  journal = {Theoretical Linguistics},
  year = {1976},
  volume = {3},
  number = {1/2},
  pages = {145--190},
  topic = {indefiniteness;nl-semantics;}
  }

@unpublished{ gabbay-kempson:1991a,
  author = {Dov Gabbay and Ruth Kempson},
  title = {Labelled Abduction and Relevance Reasoning},
  year = {1991},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript.},
  topic = {abduction;relevance-logic;labeled-deductive-systems;}
  }

@article{ gabbay-kempson:1994a,
  author = {Dov Gabbay and Ruth Kempson},
  title = {Language and Proof Theory},
  journal = {Journal of Logic, Language, and Information},
  year = {1994},
  volume = {5},
  number = {3--4},
  pages = {247--251},
  topic = {proof-theory;foundations-of-grammar;labeled-deductive-systems;}
  }

@article{ gabbay-malod:2002a,
  author = {Dov M. Gabbay and G. Malod},
  title = {Naming Worlds in Modal and Temporal Logic},
  journal = {Journal of Logic, Language, and Information},
  year = {2002},
  volume = {11},
  number = {1},
  pages = {29--65},
  topic = {modal-logic;tense-logic;}
  }

@article{ gabbay-marcelino:2009a,
  author = {Dov M. Gabbay and S\'ergio Marcelino},
  title = {Modal Logics of Reactive Frames},
  journal = {Studia Logica},
  year = {2009},
  volume = {93},
  number = {2--3},
  pages = {405-446},
  topic = {argumentation-theory;}
  }

@article{ gabbay-moravcsik_j:1973a,
  author = {Dov Gabbay and Julius Moravcsik},
  title = {Sameness and Individuation},
  journal = {The Journal of Philosophy},
  year = {1973},
  volume = {70},
  number = {16},
  pages = {513--526},
  topic = {identity;individuation;}
  }

@inproceedings{ gabbay-nossum:1997a,
  author = {Dov Gabbay and Rolf T. Nossum},
  title = {Structured Contexts with Fibred 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 = {48--57},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {context;fibred-semantics;logic-of-context;}
  }

@incollection{ gabbay-nossum:2000a,
  author = {Dov M. Gabbay and Rolf Nossum},
  title = {Structured Contexts with Fibred Semantics},
  booktitle = {Formal Aspects of Context},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Pierre Bonzon and Marcos Cavalcanti and Rolf Nossum},
  pages = {193--209},
  address = {Dordrecht},
  topic = {context;fibred-semantics;}
  }

@article{ gabbay-pirri:1997a,
  author = {Dov Gabbay and Fiori Pirri},
  title = {Introduction},
  journal = {Studia Logica},
  year = {1997},
  volume = {59},
  number = {1},
  pages = {1--4},
  contentnote = {Introduction to a special issue on "combining logics".},
  topic = {modal-logic;tmix-project;combining-logics;}
  }

@article{ gabbay-reyle:1997a,
  author = {Dov Gabbay and Uwe Reyle},
  title = {Labelled Resolution for Classical and Non-Classical
		Logics},
  journal = {Studia Logica},
  year = {1997},
  volume = {59},
  number = {2},
  pages = {179--216},
  topic = {resolution;labeled-deductive-systems;
		intuitionistic-logic;modal-logic;}
  }

@incollection{ gabbay-rohrer:1979a,
  author = {Dov Gabbay and Christian Rohrer},
  title = {Do We Really Need Tenses Other Than Future and Past?},
  booktitle = {Semantics from Different Points of View},
  year = {1979},
  editor = {Rainer B\"auerle and Urs Egli and Arnim {von Stechow}},
  publisher = {Springer-Verlag},
  address = {Berlin},
  pages = {15--20},
  topic = {nl-tense;}
  }

@article{ gabbay-schlechta:2010a,
  author = {Dov M. Gabbay and Karl Schlechta},
  title = {A Theory of Hierarchical Consequence and Conditionals},
  journal = {Journal of Logic, Language, and Information},
  year = {2010},
  volume = {19},
  number = {1},
  pages = {3--32},
  topic = {deontic-logic;}
  }

@article{ gabbay-shehtman:2003a,
  author = {Dov Gabbay and Valentin Shehtman},
  title = {Products of Modal Logics, Part 3: Products of Modal
  	and Temporal Logics},
  journal = {Studia Logica},
  year = {2003},
  volume = {72},
  number = {2},
  pages = {157--183},
  topic = {temporal-logics;modal-logic;}
  }

@article{ gabbay-shetman:1998a,
  author = {Dov M. Gabbay and V. Shetman},
  title = {Products of Modal Logics, Part {I}},
  journal = {Journal of the {IGPL}},
  year = {1998},
  volume = {6},
  pages = {73--146},
  missinginfo = {A's 1st name, number},
  topic = {modal-logic;}
  }

@book{ gabbay-smets:1998a,
  editor = {Dov M. Gabbay and Philippe Smets},
  title = {Handbook of Defeasible Reasoning and Uncertainty
	Management Systems, Vol. 1: Quantified Representation of
	Uncertainty and Imprecision},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  address = {Dordrecht},
  contentsnote = {TC:
    1. Philippe Smets, "Probability, Possibility, Belief: Which
	and Where?", pp. 1--24
    2. Giovanni Panti, "Multi-Valued Logics", pp. 25--74
    3. Vil\'em Nov\'ak, "Fuzzy Logic", pp. 75--
    4. Colin Howson, "The {B}ayesian Approach", pp. 111--134
    5. Donald Gillies, "Confirmation Theory", pp. 135--167
    6. Didier Dubois and Henri Prade, "Possibility Theory: Qualitative
		and Quantitative Aspects", pp. 169--226
    7. Henry E. Kyberg, Jr., "Families of Probabilities", pp. 227--245
    8. Nils-Eric Sahlin and Wlodek Rabinowicz, "The Evidentiary
        Value Model", pp. 247--265
    9. Phillipe Smets, "The Transferable Belief Model for
		Quantified Belief Representation", pp. 267--301
   10. Salem Benferhat, "Infinitesimal Theories of
		Uncertainty for Plausible Reasoning", pp. 303--356
   11. Anthony W.F. Edwards, "Statistical Inference", pp. 357--366
   12. Judea Pearl, "Graphical Models for Probabilistic
		and Causal Reasoning", pp. 367--389
   13. Brian Skyrms and Peter Vanderschraaf, "Game Theory", pp. 391--
   14. Gerd Gigerenzer, "Psychological Challenges for Normative
		Models", pp. 441--439
	},
  note = {This volume edited by Philippe Smets},
  topic = {reasoning-about-uncertainty;}
 }

@book{ gabbay-smets:1998b,
  editor = {Dov M. Gabbay and Philippe Smets},
  title = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 2: Reasoning with
		Actual and Potential Contradictions},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  address = {Dordrecht},
  ISBN = {0792351614},
  note = {This volume edited by Philippe Besnard and Anthony Hunter},
  rtnote = {UMich Engineering Library, Q275 .H32 1998},
  contentsnote = {TC:
    1. Philippe Besnard and Anthony Hunter, "Introduction
		to Actual and Potential Contradictions", pp. 1--9
    2. Anthony Hunter, "Paraconsistent Logics", pp. 11--36
    3. J.-J. Ch. Meyer and W. van der Hoek, "Modal Logics
		for Representing Incoherent Knowledge", pp. 37--75
    4. Torsten Schaub, "The Family of Default Logics", pp. 77--133
    5. James P. Delgrande, "Conditional Logics for Defeasible
		Logics", pp. 135--173
    6. P. Geerts and E. Laenans and D. Vermeir, "Defeasible
    		Logics", pp. 175--210
    7. Wolfgang Lenzen, "Necessary Conditions for Negation-Operators
    		(with Particular Applications to Paraconsistent
		Negation)", pp. 211--239
    8. Carlos Viegas Dam\'asio and Lu\'is Moniz Pereira, "A Survey of
		Paraconsistent Semantics for Logic Programs", pp. 241--320
	},
  topic = {paraconsistent-reasoning;paraconsistency;
  	inconsistency-detection;}
 }

@book{ gabbay-smets:1998c,
  editor = {Dov M. Gabbay and Philippe Smets},
  title = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 3:  Belief Change},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  address = {Dordrecht},
  note = {This volume edited by Didier Dubois and Henri Prade},
  contentsnote = {TC:
    1. Didier Dubois and Henri Prade, "Introduction: Revising,
		Updating and Combining Knowledge", pp. 1--15
    2. Sven Ove Hansson, "Revision of Belief Sets and Belief
		Bases", pp. 17--75
    3. Bernhard Nebel, "How Hard is it to Revise a
    		Belief Base?", pp. 77--145
    4. Sten Lindstr\"om and Wlodek Rabinowicz, "Conditionals
		and the {R}amsey Test", pp. 147--188
    5. Andreas Herzig, "Logics for Belief Base Updating, pp. 189--231
    6. Laurence Cholvy, "Reasoning about Merged Information", pp. 233--263
    7. Philippe Smets, "Numerical Representation of
    		Uncertainty", pp. 265--309
    8. Didier Dubois and Serafin Moral and Henri Prade, "Belief
		Change Rules in Ordinal and Numerical Uncertainty
		Theories", pp. 311--392
    9. J\"org Gebhardt and Rudolf Kruse, "Parallel Combination of
		Information Sources", pp. 393--439
	},
  rtnote = {In RHT collection.},
  topic = {belief-revision;}
 }

@article{ gabbay-szalas:2009a,
  author = {Dov M. Gabbay and Andrzej Sza{\l}as},
  title = {Annotation Theories over Finite Graphs},
  journal = {Studia Logica},
  year = {2009},
  volume = {93},
  number = {2--3},
  pages = {147--180},
  topic = {argumentation-theory;labeled-graphs;logic-programming;}
  }

@article{ gabbay-vandertorre:2009a,
  author = {Dov M. Gabbay and Leendert van der Torre},
  title = {Preface for {S}tudia {L}ogica Special Issue},
  journal = {Studia Logica},
  year = {2009},
  volume = {93},
  number = {2--3},
  pages = {105--108},
  topic = {argumentation-theory;}
  }

@incollection{ gabbay-wansing:1996a,
  author = {Dov Gabbay and Heinrich Wansing},
  title = {What is Negation in a System?  Negation in Structured
  	Consquence Relations},
  booktitle = {Logic, Action, and Information: Essays on Logic in
  	Philosophy and Artificial Intelligence},
  year = {1996},
  publisher = {Walter de Gruyter},
  editor = {Andr\'e Fuhrmann and Hans Rott},
  pages = {328--350},
  address = {Berlin},
  topic = {proof-theory;negation;nonmonotonic-logic;}
  }

@book{ gabbay-woods_j:2004a,
  editor = {Dov M. Gabbay and John Woods},
  title = {Handbook of the History of Logic, Volume 1:
  		{G}reek, {I}ndian and {A}rabic Logic},
  publisher = {Elsevier Science Publishers},
  address = {Amsterdam},
  year = {2004},
  ISBN-10 = {0-444-50466-4},
  ISBN-13 = {0-444-50466-1},
  contentnote = {TC:
     1. D.M. Gabbay and J. Woods, "Preface"
     2. J. Moravcsik, "Logic before Aristotle: Development or Birth?"
     3. J. Woods, A. Irvine, "Aristotle's Early Logic"
     4. G. Boger, "Aristotle's Underlying Logic"
     5. F. Johnson, "Aristotle's Modal Syllogisms"
     6. J. Ganeri, "Indian Logic"
     7. R. R. O'Toole, R. E. Jennings, "The Megarians and the Stoics"
     8. T. Street, "Arabic Logic"
     9. C. Burnett, "The Translation of {A}rabic Works on Logic into
     		Latin in the Middle Ages and Renaissance"
  },
  topic = {history-of-logic;ancient-logic;}
  }

@book{ gabbay-woods_j:2004b,
  editor = {Dov M. Gabbay and John Woods},
  title = {Handbook of the History of Logic, Volume 3:
  		from {L}eibniz to {F}rege},
  publisher = {Elsevier Science Publishers},
  address = {Amsterdam},
  year = {2004},
  ISBN-10 = {0-444-51611-5},
  ISBN-13 = {0-444-51611-4},
  contentnote = {TC:
     1. D.M. Gabbay and J. Woods, "Preface"
     2. W. Lenzen, "Leibniz's Logic"
     3. M. Tiles, "Kant: From General to Transcendental Logic"
     4. J.W. Burbidge, "Hegel's Logic"
     5. P. Rusnock, R. George, "Bolzano as Logician"
     6. R. Tieszen, "Husserl's Logic"
     7. T. Hailperin, "Algebraical Logic 1685-1900"
     8. V.S. Valencia, "The Algebra of Logic"
     9. I. Grattan-Guinness, "The Mathematical Turn in Logic"
    10. V. Peckhaus, "Schroder's Logic"
    11. R. Hilpinen, "Peirce's Logic"
  },
  topic = {history-of-logic;}
  }

@book{ gabbay-woods_j:2006a,
  editor = {Dov M. Gabbay and John Woods},
  title = {Handbook of the History of Logic, Volume 7:
  		Logic and the Modalities in the Twentieth Century},
  publisher = {Elsevier Science Publishers},
  address = {Amsterdam},
  year = {2006},
  ISBN-10 = {0-444-51622-0},
  ISBN-13 = {978-0-444-51622-0},
  contentnote = {TC:
     1. Rob Goldblatt, "Mathematical Modal Logic: A View of its Evolution"
     2. Paul Gochet and Pascal Gribomont, "Epistemic Logic"
     3. Paul McNamara, "Deontic Logic"
     4. Greg Restall, "Relevant and Substructural Logics"
     5. Peter {\O}hrstr{\o}m and Per F.V. Hasle, "Prior's Logic"
     6. Peter {\O}hrstr{\o}m and Per F.V. Hasle, "Modern Temporal
     		Logic: The Philosophical Background"
     7. Jan van Eijck and Martin Stockhof, "The Gamut of Dynamic Logics"
     8. Keith Devlin, "Situation Theory and Situation Semantics"
     9. Erik Krabbe, "Dialogue Logic"
  },
  topic = {history-of-loguc;modal-logic;}
  }

@book{ gabbay-woods_j:2007a,
  editor = {Dov M. Gabbay and John Woods},
  title = {Handbook of the History of Logic, Volume 8:
  		The Many Valued and Nonmonotonic Turn in Logic},
  publisher = {Elsevier Science Publishers},
  address = {Amsterdam},
  year = {2007},
  ISBN-10 = {0-444-51623-9},
  ISBN-13 = {978-0-444-51623-7},
  contentnote = {TC:
     1. Grzegorz Malinowski, "Many-valued Logic"
     2. Bryson Brown, "Paraconsistent Logic: Preservationist Variations"
     3. Graham Priest, "Paraconsistent Logic: Dialethic Variations"
     4. M. Dalla Chiara and Roberto Giuntini and Miklos Redei, "Quantum Logic"
     5. Dominic Hyde, "Logic of Vagueness"
     6. Didier Dubois and Henri Prade and Lluis Godo, "Fuzzy Logic"
     7. Karl Schlechta, "Non-monotonic Logic"
     8. Grigoris Antoniou and Kewen Wang, "Default Logic"
     9. Alexander Bochman, "Non-monotonic Reasoning and Belief Change"
    10. Carl Posy, "Free Logic"
  },
  topic = {history-of-logic;multivalued-logic;reference-gaps;
  	nonmonotonic-logic;}
 }

@book{ gabbay-woods_j:2008a,
  editor = {Dov M. Gabbay and John Woods},
  title = {Handbook of the History of Logic, Volume 2:
  		Mediaeval and Renaissance Logic},
  publisher = {Elsevier Science Publishers},
  address = {Amsterdam},
  year = {2008},
  ISBN-10 = {0-444-51610-5},
  ISBN-13 = {978-0-444-51610-7},
  contentnote = {TC:
     1. John Marenbon, "Logic before 1100: The {L}atin Tradition"
     2. Yukio Iwakuma, "Beginning of Scholastic Logic before {A}belard"
     3. Ian Wilks, "The Logic of {A}belard and His Contemporaries"
     4. Terence Parsons, "The Development of Supposition Theory in
     		the Later 12th and Early 13th Centuries"
     5. Henrik Lagerlund, "Assimilation of {A}ristotelian and {A}rabic
     		Logic up to the Later 13th Century"
     6. Ria van der Lecq, "Logic and Theories of Meaning in the Late
     		13th and Early 14th Century Including the Modistae"
     7. Gyula Klima, "The Nominalist Semantics of {W}illiam {O}ckham and
     		{J}ohn {B}uridan"
     8. Catarina Dutilh-Novaes, "Logic in the 14th Century after {O}ckham"
     9. Simo Knuuttila, "Treatments of Modal and Other 'Opaque'
     		Contexts in Mediaeval Logic"
    10. Mikko Yrjonsuuri, "Treatments of the Paradoxes of Self-reference"
    11. Jennifer Ashworth, "Developments in the 15th and 16th Centuries"
    12. Petr Dvorak, "Relational Logic of Juan Caramuel"
    13. Russell Wahl, "Port Royal: The Stirrings of Modernity"
  },
  topic = {history-of-logic;ancient-logic;medieval-logic;}
  }

@article{ gabbay-woods_j:2008b,
  author = {Dov Gabbay and John Woods},
  title = {Resource-Origins of Non-Monotonicity},
  journal = {Studia Logica},
  year = {2008},
  volume = {88},
  number = {1},
  pages = {85--112},
  topic = {nonmonotonic-logic;foundations-of-logic;}
  }

@book{ gabbay-woods_j:2008c,
  editor = {Dov M. Gabbay and John Woods},
  title = {Handbook of the History of Logic, Volume 4:
  		{B}ritish Logic in the Nineteenth Century},
  publisher = {Elsevier Science Publishers},
  address = {Amsterdam},
  year = {2008},
  ISBN-10 = {0-444-51610-7},
  ISBN-13 = {978-0-444-51610-7},
  contentnote = {TC:
     1. Charissa Varma and Gordon McOuat, "Bentham's Logic"
     2. Timothy Milnes, "Coleridge's Logic"
     3. James Van Evra, "Whately's Logic"
     4. Ralph Jessop, "Hamilton's Logic"
     5. Laura Snyder, "Whewell's Logic"
     6. Fred Wilson, "Mill's Logic"
     7. Michael Hobards & Joan Richards, "DeMorgan's Logic"
     8. Dale Jacquette, "Boole's Logic"
     9. Maria Panteki, "French Logique and {B}ritish Logic: On the
     		Origins of {A}ugustus de{M}organ early Logical
		Enquiries 1805-1835"
    10. Amirouche Moktefi, "Lewis Carroll's Logic"
    11. James Van Evra, "Venn's Logic"
    12. Bert Mosselmans and Ard Van Moer, "Jevons' Logic"
    13. Shahid Rahman, "MacColl's Logic"
    14. David Sullivan, "The Idealists"
  },
  topic = {history-of-logic;}
  }

@article{ gabelaia-etal:2005a,
  author = {D. Gabelaia and \'Agnes Kurucz and Frank Wolter and
  		Michael Zakharyaschev},
  title = {Products of `Transitive' Modal Logics},
  journal = {Journal of Symbolic Logic},
  year = {2005},
  volume = {70},
  number = {3},
  pages = {993--1021},
  topic = {modal-logic;model-theory;}
  }

@incollection{ gabriel:1991a,
  author = {Richard P. Gabriel},
  title = {The Design of Parallel Programming Languages},
  booktitle = {Artificial Intelligence and Mathematical Theory of
  	Computation},
  publisher = {Academic Press},
  year = {1991},
  editor = {Vladimir Lifschitz},
  pages = {91--108},
  address = {San Diego},
  topic = {theory-of-programming-languages;parallel-processing;}
  }

@incollection{ gabsdil:2003a,
  author = {Malte Gabsdil},
  title = {Clarification in Spoken Dialogue Systems},
  booktitle = {Working Papers of the 2003 {AAAI} Spring Symposium on
  	Natural Language Generation in Spoken and Written
	Dialogue},
  publisher = {AAAI Press},
  year = {2003},
  editor = {Reva Freedman and Charles Callaway},
  pages = {28--35},
  address = {Menlo Park, California},
  topic = {nl-generation;computational-dialogue;clarification-dialogues;}
  }

@incollection{ gacogne:1991a,
  author = {L. Ga\^cogne},
  title = {An Extension of the Possibility Theory in View of the
  	Formalization of Approximate Reasoning},
  booktitle = {Symbolic and Quantitative Approaches for Uncertainty:
  	Proceedings of the {E}uropean Conference {ECSQAU}, Marseille,
	France, October 1991},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Rudolf Kruse and Pierre Siegel},
  pages = {176--181},
  address = {Berlin},
  topic = {possibility-theory;}
  }

@article{ gagnon-lapalme:1996a,
  author = {Michel Gagnon and Guy Lapalme},
  title = {From Conceptual Time to Linguistic Time},
  journal = {Computational Linguistics},
  year = {1996},
  volume = {22},
  number = {1},
  pages = {91--127},
  topic =

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit