text:
= {1991},
  editor = {Masaru Tomita},
  chapter = {2},
  pages = {9--24},
  address = {Dordrecht},
  topic = {principle-based-parsing;}
  }

@inproceedings{ fong_v:1997a,
  author = {Vivienne Fong},
  title = {A Diphasic Approach to Directional Locatives},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VII}},
  publisher = {Cornell University},
  year = {1997},
  editor = {Aaron Lawson},
  pages = {135--150},
  address = {Ithaca, New York},
  topic = {nl-semantics;locative-constructions;}
  }

@article{ font:2006a,
  author = {Josep Maria Font},
  title = {Beyond {R}asiowa's Algebraic Approach to Non-Classical
  		Logics},
  journal = {Studia Logica},
  year = {2006},
  volume = {82},
  number = {2},
  pages = {170--209},
  topic = {algebraic-logic;}
  }

@article{ font:2009a,
  author = {Josep Maria Font},
  title = {Taking Degrees of Truth Seriously},
  journal = {Studia Logica},
  year = {2009},
  volume = {91},
  number = {3},
  pages = {383--406},
  topic = {multivalued-logic;algebraic-logic;}
  }

@book{ fontentelle:1997a,
  author = {Thierry Fontentelle},
  title = {Turning a Bilingual Dictionary
  	into a Lexical-Semantic Database},
  publisher = {Max Niemeyer Verlag},
  year = {1997},
  address = {T\"ubingen},
  topic = {multilingual-lexicons;}
 }

@article{ foo-peppas:2001a,
  author = {Norman Y. Foo and Pavlos Peppas},
  title = {Realization for Causal Non-Deterministic Input-Output
  	Systems},
  journal = {Studia Logica},
  year = {2001},
  volume = {67},
  number = {3},
  pages = {439--440},
  topic = {input-output-systems;causality;action-formalisms;
  	concurrent-actions;}
  }

@inproceedings{ foo-zhang_dm:1999a,
  author = {Norman Y. Foo and Dongmo Zhang},
  title = {Convergency of Iterated Belief Changes},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
	Nonmonotonic Reasoning, Action and Change},
  year = {1999},
  editor = {Michael Thielscher},
  pages = {73--78},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {belief-change;}
  }

@incollection{ foot:1978a,
  author = {Phillipa R. Foot},
  title = {Reasons for Acting and Desires},
  booktitle = {Practical Reasoning},
  publisher = {Oxford University Press},
  year = {1978},
  editor = {Joseph Raz},
  pages = {178--184},
  address = {Oxford},
  topic = {motivation;desires;reasons-for-action;}
  }

@article{ foot:1983a,
  author = {Philippa Foot},
  title = {Moral Realism and Moral Dilemma},
  journal = {Journal of Philosophy},
  volume = {80},
  year = {1983},
  pages = {379--398},
  topic = {ethics;moral-conflict;}
    }

@unpublished{ forbes_g:1980a,
  author = {Graeme Forbes},
  title = {Thisness and Vagueness},
  year = {1980},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a guess.},
  topic = {vagueness;individuation;haecceity;}
  }

@article{ forbes_g:1981a,
  author = {Graham Forbes},
  title = {Conditional Obligation and Counterfactuals},
  journal = {Journal of Philosophical Logic},
  year = {1981},
  volume = {10},
  number = {1},
  pages = {73--99},
  topic = {modal-logic;quantifying-in-modality;individuation;}
  }

@article{ forbes_g:1982a,
  author = {Graham Forbes},
  title = {Canonical Counterpart Theory},
  journal = {Analysis},
  year = {1982},
  volume = {42},
  number = {1},
  pages = {33--37},
  topic = {counterpart-theory;}
  }

@article{ forbes_g:1983a,
  author = {Graham Forbes},
  title = {More on Counterpart Theory},
  journal = {Analysis},
  year = {1983},
  volume = {43},
  number = {3},
  pages = {149--152},
  topic = {counterpart-theory;}
  }

@article{ forbes_g:1988a,
  author = {Graeme Forbes},
  title = {Physicalism, Instrumentalism and the Semantics of Modal
  	Logic},
  journal = {Journal of Philosophical Logic},
  year = {1983},
  volume = {12},
  number = {3},
  pages = {271--298},
  topic = {philosophy-of-possible-worlds;foundations-of-modal-logic;}
  }

@incollection{ forbes_g:1989a,
  author = {Graeme Forbes},
  title = {Indexicals},
  booktitle = {Handbook of Philosophical Logic, Volume 4},
  publisher = {D. Reidel Publishing Co.},
  year = {1989},
  editor = {Dov Gabbay and Franz Guenthner},
  pages = {464--490},
  address = {Dordrecht},
  topic = {nl-semantics;indexicals;}
  }

@incollection{ forbes_g:1989b,
  author = {Graeme Forbes},
  title = {Biosemantics and the Normative Properties of Thought},
  booktitle = {Philosophical Perspectives 3:
  	Philosophy of Mind and Action Theory},
  publisher = {Ridgeview Publishing Company},
  year = {1989},
  editor = {James E. Tomberlin},
  pages = {533--547},
  address = {Atasacadero, California},
  note = {Also available at http://www.jstor.org/journals/.},
  rtnote = {In RHT collection. Zip disk.},
  topic = {foundations-of-semantics;biosemantics;}
  }

@article{ forbes_g:1993a,
  author = {Graeme Forbes},
  title = {Solving the Iteration Problem},
  journal = {Linguistics and Philosophy},
  year = {1993},
  volume = {16},
  number = {3},
  pages = {311--330},
  topic = {nl-semantics;propositional-attitudes;}
  }

@incollection{ forbes_g:1994a,
  author = {Graeme Forbes},
  title = {A New Riddle of Existence},
  booktitle = {Philosophical Perspectives, Volume 8:
  	Logic and Language},
  publisher = {Blackwell Publishers},
  year = {1994},
  editor = {James E. Tomberlin},
  pages = {415--430},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {philosophical-thought-experiments;proper-names;
  	philosophical-ontology;(non)existence;}
  }

@book{ forbes_g:1995a,
  author = {Graham Forbes},
  title = {The Metaphysics of Modality},
  publisher = {Oxford University Press},
  year = {1995},
  address = {Oxford},
  topic = {metaphysics;modal-logic;philosophy-of-possible-worlds;}
 }

@article{ forbes_g:1996a,
  author = {Graeme Forbes},
  title = {Substitutivity and the Coherence of Quantifying In},
  journal = {The Philosophical Review},
  year = {1996},
  volume = {105},
  number = {3},
  pages = {337--372},
  topic = {quantifying-in-modality;}
  }

@incollection{ forbes_g:1996b,
  author = {Graeme Forbes},
  title = {Logic, Logical Form, and the Open Future},
  booktitle = {Philosophical Perspectives 10: Metaphysics, 1996},
  publisher = {Blackwell Publishers},
  year = {1996},
  editor = {James E. Tomberlin},
  pages = {73--92},
  address = {Oxford},
  topic = {branching-time;}
  }

@article{ forbes_g:2000a,
  author = {Graeme Forbes},
  title = {Objectual Attitudes},
  journal = {Linguistics and Philosophy},
  year = {2000},
  volume = {23},
  number = {2},
  pages = {141--183},
  topic = {propositional-attitudes;individual-attitudes;}
  }

@unpublished{ forbes_g:2000b,
  author = {Graeme Forbes},
  title = {The Logic of Intensional Transitives: Some Questions},
  year = {2000},
  note = {Unpublished manuscript, Tulane University.},
  rtnote = {In RHT collection.  Filed with RT comments.},
  topic = {propositional-attitudes;individual-attitudes;}
  }

@unpublished{ forbes_g:2000c,
  author = {Graeme Forbes},
  title = {Intensional Transitive Verbs: The Limitations of
  	a Clausal Analysis},
  year = {2000},
  note = {Unpublished manuscript, Tulane University.},
  rtnote = {In RHT collection.},
  topic = {propositional-attitudes;individual-attitudes;}
  }

@article{ forbes_g:2003a,
  author = {Graeme Forbes},
  title = {Meaning Postulates, Inference, and the
  	Relational/Notional Ambiguity},
  journal = {Acta Philosophica},
  year = {2003},
  volume = {5},
  pages = {49--74},
  topic = {propositional-attitudes;}
  }

@incollection{ forbes_g:2004a,
  author = {Graeme Forbes},
  title = {Intensional Transitive Verbs},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  publisher = {Stanford University},
  editor = {Edward N. Zalta},
  url = {
 http://plato.stanford.edu/archives/win2004/entries/intensional-trans-verbs/},
  year = {2004},
  topic = {intensional-transitive-verbs;intensionality;}
  }

@book{ forbes_g:2006a,
  author = {Graeme Forbes},
  title = {Attitude Problems},
  publisher = {Oxford University Press},
  year = {2006},
  address = {Oxford},
  ISBN = {978-0-19-927494-9},
  rtnote = {Umich Tanner: PE 1315 T72 F67 2006},
  topic = {intensionality;nl-semantics;}
 }

@article{ forbes_g:2008a,
  author = {Graeme Forbes},
  title = {Critical Notice of \emph{{M}odality and Tense:  Philosophical
  		Papers}, by {K}it {F}ine},
  journal = {The Philosophical Review},
  year = {2008},
  volume = {117},
  number = {1},
  pages = {275--287},
  xref = {Review of: fine_k:2007a},
  topic = {philosophy-of-possible-worlds;quantifying-in-modality;}
  }

@article{ forbes_k-etal:2003a,
  author = {Katherine Forbes and Elini Miltsakaki and Rashimi Prasad
  		and Anoop Sarkar and Arivind Joshi and Bonnie Webber},
  title = {{D-Ltag} System: Discourse Parsing with a Lexicalized
  	Tree-Adjoining Grammar},
  journal = {Journal of Logic, Language, and Information},
  year = {2003},
  volume = {12},
  number = {3},
  pages = {261--279},
  topic = {discourse-structure;discourse-parsing;parsing-algorithms;}
  }

@incollection{ forbes_k-webber_b:2002a,
  author = {Kate Forbes and Bonnie Webber},
  title = {A Semantic Account of Adverbials as Discourse
  		Connectives},
  booktitle = {Third {SIGdial} Workshop on Discourse and Dialogue:
  		Proceedings of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {2002},
  editor = {Kristina Jokinen and Susan McRoy},
  pages = {27--36},
  address = {New Brunswick, New Jersey},
  topic = {discourse-connectives;}
  }

@article{ forbus:1984a1,
  author = {Kenneth D. Forbus},
  title = {Qualitative Process Theory},
  journal = {Artificial Intelligence},
  year = {1984},
  volume = {24},
  number = {1--3},
  pages = {85--168},
  xref = {Republication: forbus:1984a2.},
  topic = {qualitative-physics;qualitative-reasoning;}
  }

@incollection{ forbus:1984a2,
  author = {Kenneth D. Forbus},
  title = {Qualitative Process Theory},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {178--219},
  address = {San Mateo, California},
  xref = {Republication of: forbus:1984a1.},
  topic = {qualitative-physics;qualitative-reasoning;}
  }

@techreport{ forbus:1985a,
  author = {Kenneth D. Forbus},
  title = {The Problem of Existence},
  institution = {Department of Computer Science, University
  	of Illinois at Urbana-Champaign},
  number = {UIUCDCS--R--85--1239},
  year = {1985},
  address = {Urbana, Illinois},
  rtnote = {In RHT collection.},
  topic = {qualitative-physics;}
  }

@article{ forbus:1987a1,
  author = {Kenneth D. Forbus},
  title = {Interpreting Observations of Physical Systems},
  journal = {{IEEE} Transactions on Systems, Man, and Cybernetics},
  year = {1987},
  volume = {13},
  pages = {350--359},
  missinginfo = {number},
  xref = {Republication: forbus:1987a2.},
  topic = {qualitative-physics;qualitative-reasoning;
  		reasoning-about-observations;}
  }

@incollection{ forbus:1987a2,
  author = {Kenneth D. Forbus},
  title = {Interpreting Observations of Physical Systems},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {441--450},
  address = {San Mateo, California},
  xref = {Republication of: forbus:1987a1.},
  topic = {qualitative-physics;qualitative-reasoning;
  		reasoning-about-observations;}
  }

@incollection{ forbus:1988a1,
  author = {Kenneth D. Forbus},
  title = {Qualitative Physics: Past, Present, and Future},
  booktitle = {Exploring Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  year = {1988},
  editor = {Howard E. Shrobe},
  pages = {239--296},
  address = {San Mateo, California},
  xref = {Republication: forbus:1988a2.},
  topic = {qualitative-physics;qualitative-reasoning;kr-course;}
  }

@incollection{ forbus:1988a2,
  author = {Kenneth D. Forbus},
  title = {Qualitative Physics: Past, Present, and Future},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {11--39},
  address = {San Mateo, California},
  xref = {Republication of: forbus:1988a1.},
  topic = {qualitative-physics;qualitative-reasoning;kr-course;}
  }

@unpublished{ forbus:1988b1,
  author = {Kenneth D. Forbus},
  title = {The Qualitative Process Engine},
  year = {1988},
  note = {Unpublished manuscript, Beckman Institute, University of
  	Illinois},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a guess.},
  xref = {Republication: forbus:1988b2.},
  topic = {qualitative-reasoning;qualitative-reasoning;
  	qualitative-simulation;}
  }

@incollection{ forbus:1988b2,
  author = {Kenneth D. Forbus},
  title = {The Qualitative Process Engine},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {220--235},
  address = {San Mateo, California},
  xref = {Republication of: forbus:1988b1.},
  topic = {qualitative-reasoning;qualitative-reasoning;
  	qualitative-simulation;}
  }

@inproceedings{ forbus:1989a,
  author = {Kenneth D. Forbus},
  title = {Introducing Actions into Qualitative Simulation},
  booktitle = {Proceedings of the Eleventh International Joint
  	Conference on Artificial Intelligence},
  year = {1989},
  editor = {N.S. Sridharan},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, CA},
  missinginfo = {pages},
  rtnote = {In RHT collection.},
  topic = {qualitative-reasoning;qualitative-simulation;action;
  	action-formalisms;}
  }

@article{ forbus:1993a,
  author = {Kenneth D. Forbus},
  title = {Qualitative Process Theory: Twelve Years After},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {115--123},
  topic = {qualitative-physics;qualitative-reasoning;}
  }

@inproceedings{ forbus:1995a,
  author = {Kenneth D. Forbus},
  title = {Introducing Actions Into Qualitative Simulation},
  booktitle = {Proceedings of the Eleventh International Joint
  	Conference on Artificial Intelligence},
  year = {1989},
  editor = {N.S. Sridharan},
  pages = {1273--1278},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  topic = {actions;}
  }

@incollection{ forbus:1995b,
  author = {Kenneth Forbus},
  title = {Qualitative Spatial Reasoning: Framework and Frontiers},
  booktitle = {Diagrammatic Reasoning},
  publisher = {The {MIT} Press},
  year = {1995},
  editor =  {Janice Glasgow and N. Hari Narayanan and B.
		Chandrasekaran},
  pages = {183--202},
  address = {Cambridge, Massachusetts},
  topic = {diagrams;reasoning-with-diagrams;
  	qualitative-physics;visual-reasoning;}
  }

@inproceedings{ forbus:1998a,
  author = {Kenneth D. Forbus},
  title = {Causal Reasoning in Common Sense Physics---Global Theories
  	or Local Bootstraps?},
  booktitle = {Working Notes of the {AAAI} Spring Symposium on
 	Prospects for a Commonsense Theory of Causation},
  year = {1998},
  organization = {American Association for Artificial Intelligence},
  publication = {American Association for Artificial Intelligence},
  address = {Menlo Park, CA},
  editor = {Charles L. {Ortiz, Jr.}},
  pages = {12},
  note = {Abstract.},
  rtnote = {In RHT Collection.  Shelf.},
  topic = {causality;qualitative-physics;}
 }

@inproceedings{ forbus-etal:1987a1,
  author = {Kenneth D. Forbus and Paul Nielsen and Boi Faltings},
  title = {Qualitative Kinematics: A Framework},
  booktitle = {Proceedings of the Tenth International Joint
  	Conference on Artificial Intelligence},
  year = {1987},
  editor = {John McDermott},
  pages = {430--436},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  xref = {Republication: forbus-etal:1987a2.},
  topic = {qualitative-physics;qualitative-reasoning;spatial-reasoning;}
  }

@incollection{ forbus-etal:1987a2,
  author = {Kenneth D. Forbus and Paul Nielsen and Boi Faltings},
  title = {Qualitative Kinematics: A Framework},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {562--567},
  address = {San Mateo, California},
  xref = {Republication of: forbus-etal:1987a1.},
  topic = {qualitative-physics;qualitative-reasoning;spatial-reasoning;}
  }

@article{ forbus-etal:1991a,
  author = {Kenneth D. Forbus and Paul Nielsen and Boi Faltings},
  title = {Qualitative Spatial Reasoning: The {\sc Clock} Project},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {51},
  number = {1--3},
  pages = {417--471},
  topic = {qualitative-physics;spatial-reasoning;}
  }

@article{ forbus-etal:1999a,
  author = {Kenneth D. Forbus and Peter B. Whalley and John O. Everett
  	and Leo Ureel and Mike Brokowski and Julie Baher and
	Sven E. Kuehne},
  title = {Cycle{P}ad: An Articulate Virtual Laboratory for Engineering
  	Thermodynamics},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {114},
  number = {1--2},
  pages = {297--347},
  acontentnote = {Abstract:
     One of the original motivations for research in qualitative
     physics was the development of intelligent tutoring systems and
     learning environments for physical domains and complex systems.
     This article demonstrates how a synergistic combination of
     qualitative reasoning and other AI techniques can be used to
     create an intelligent learning environment for students learning
     to analyze and design thermodynamic cycles.  Pedagogically this
     problem is important because thermodynamic cycles express the
     key properties of systems which interconvert work and heat, such
     as power plants, propulsion systems, refrigerators, and heat
     pumps, and the study of thermodynamic cycles occupies a major
     portion of an engineering student's training in thermodynamics.
     This article describes CyclePad, a fully implemented articulate
     virtual laboratory that captures a substantial fraction of the
     knowledge in an introductory thermodynamics textbook and
     provides explanations of calculations and coaching support for
     students who are learning the principles of such cycles.
     CyclePad employs a distributed coaching model, where a
     combination of on-board facilities and a server-based coach
     accessed via email provide help for students, using a
     combination of teleological and case-based reasoning.  CyclePad
     is a fielded system, in routine use in classrooms scattered all
     over the world.  We analyze the combination of ideas that made
     CyclePad possible and comment on some lessons learned about the
     utility of various AI techniques based on our experience in
     fielding CyclePad.
  },
  topic = {qualitative-physics;intelligent-tutoring;
  	computer-assisted-science;}
  }

@inproceedings{ forbus-gentner:1986a1,
  author = {Kenneth D. Forbus and Dedre Gentner},
  title = {Causal Reasoning about Quantities},
  journal = {Proceedings of the Eighth Annual Conference of the
  		Cognitive Science Society},
  year = {1986},
  pages = {196--207},
  publisher = {Lawrence Erlbaum Associates},
  address = {Mahweh, New Jersey},
  xref = {Republication: forbus-gentner:1986a2},
  topic = {qualitative-physics;qualitative-reasoning;}
  }

@incollection{ forbus-gentner:1986a2,
  author = {Kenneth D. Forbus and Dedre Gentner},
  title = {Causal Reasoning about Quantities},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {666--677},
  address = {San Mateo, California},
  xref = {Republication of: forbus-gentner:1986a1},
  topic = {qualitative-physics;qualitative-reasoning;}
  }

@article{ forbus-hinrichs_tr:2006a,
  author = {Kenneth D. Forbus and Thomas R. Hinrichs},
  title = {Companion Cognitive Systems: A Step toward Human-Level {AI}},
  journal = {The {AI} Magazine},
  year = {2006},
  volume = {27},
  number = {2},
  pages = {83--95},
  topic = {collaboration;large-kr-systems;qualitative-physics;}
  }

@incollection{ ford_j:1996a,
  author = {Joseph Ford},
  title = {Chaos: Its Past, Its Present, but Mostly Its Future},
  booktitle = {Machines and Thought: The Legacy of {A}lan {T}uring:
  	Volume {I}},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Peter J.R. Millican and A. Clark},
  pages = {255--264},
  address = {Oxford},
  topic = {chaos-theory;}
  }

@book{ ford_km-etal:1995a,
  editor = {Kenneth M. Ford and Clark Glymour and Patrick J. Hayes},
  title = {Android Epistemology},
  publisher = {Cambridge University Press},
  year = {1995},
  address = {Cambridge, England},
  ISBN = {0262061848},
  contentnote = {TC:
   1.  Clark Glymour, Kenneth M. Ford, and Patrick J. Hayes, "The
   		Prehistory of Android Epistemology", pp. 3--21
   2.  Herbert A. Simon, "Machine as Mind", pp. 23--40
   3.  Anatol Rapoport, "The Vitalists' Last Stand", pp. 41--49
   4.  Margaret A. Boden, "Could a Robot Be Creative---And Would
   		We Know", pp. 51--72
   5.  Antoni Gomila, "From Cognitive Systems to Persons", pp. 73--92
   6.  Selmer Bringsjord, "Could, How Could We Tell if, and Why
   		Should---Androids Have Inner Lives?", pp, 93--121
   7.  Kalyan Shankar Basu, "Android Epistemology:  An Essay on
   		Interpretation and Intentionality", pp. 123--140
   8.  Ronald L. Chrisley, "Taking Embodiment Seriously:  Nonconceptual
   		Content and Robotics", pp. 141--166
   9.  Lynn Andrea Stein, "Imagination and Situated Cognition", pp. 167--182
   10. Chris Stary and Markus F. Peschl, "Towards Constructivist
   		Unification of Machine Learning and Parallel
		Distributed Processing", pp. 183--214
   11. Gary G. deBessonet, "Towards a Sentential `Reality' for the
   		Android", pp. 215--241
   12. James Gips, "Towards the Ethical Robot", 243--252
   13. A.F. Umar Khan, "The Ethics of Autonomous Learning
   		Systems", pp. 253--265
   14. Henry E. Kyburg, Jr., "How to Settle an Argument", pp. 267--278
   15. Paul M. Churchland, "Machine Stereopsis:  A Feedforward
   		Network for Fast Stereo Vision with Movable
		Fusion Plane", pp. 279--306
   16. Marvin Minsky, "Alienable Rights", pp. 307--312
    },
  rtnote = {In RHT collection.  Cogsci Shelves.},
  rtnote = {UMich Media Union Library, TJ 211 .A541 1995},
  topic = {epistemology;philosophy-of-AI;philosophy-AI;}
 }

@book{ ford_km-etal:2006a,
  editor = {Kenneth M. Ford and Clark Glymour and Patrick J. Hayes},
  title = {Thinking about Android Epistemology},
  publisher = {The {MIT} Press},
  year = {2006},
  address = {Cambridge, Massachusetts},
  ISBN = {978-0-262-56217-1},
  xref = {Review: morris_r1:2006a},
  topic = {epistemology;philosophy-of-AI;philosophy-AI;consciousness;}
 }

@book{ ford_km-hayes_pj1:1991a,
  editor = {Kenneth M. Ford and Patrick J. Hayes},
  title = {Reasoning Agents in a Dynamic World: The Frame Problem},
  publisher = {JAI Press},
  year = {1991},
  address = {Greenwich, Connecticut},
  ISBN = {1559380829},
  rtnote = {UMich Media Union Library, Q 335 .R4521 1991},
  xref = {Review: toth:1995a.},
  topic = {frame-problem;philosophy-AI;}
 }

@book{ ford_km-pylyshyn:1996a,
  editor = {Kenneth M. Ford and Zenon Pylyshyn},
  title = {The Robot's Dilemma Revisited: The Frame Problem
             in Artificial Intelligence},
  publisher = {Ablex Publishing Co.},
  address = {Norwood, New Jersey},
  year = {1996},
  contentnote = {TC:
     0. Zenon Pylyshyn, "The Frame Problem Blues: Once More, with
         Feeling", pp. xi-- xviii
     1. Daniel C. Dennett, "Producing Future by Telling
         Stories", pp. 1--7
     2. Eric Dietrich and Chris Fields, "The Role of the Frame
         Problem in Fodor's Modularity Thesis: A Case Study of
         Rationalist Cognitive Science", pp. 9--24
     3. Clark Glymour, "The Adventures among the Asteroids of
         {A}ngela {A}ndroid, Series 8400XF with an Afterword
         on Planning, Prediction, Learning, the Frame Problem,
         and a Few Other Subjects", pp. 25--34
     4. Lars-Erik Janlert, "The Frame Problem: Freedom or
         Stability?  With Pictures we can Have Both", pp. 35--48
     5. Henry J. Kyburg, Jr., "Dennett's Beer", pp. 49--60
     6. Eric Lormand, "The Holorobophobe's Dilemma", pp. 61--88
     7. Ronald P. Loui, "Back to the Scene of the Crime: Or,
         Who Survived the {Y}ale Shooting?", pp. 89--98
     8. Leora Morgenstern, "The Problem with Solutions to the
          Frame Problem", pp. 99--133
     9. Patrick J. Hayes and Kenneth M. Ford and Neil M. Agnew,
         "Epilog: {G}oldilocks and the Frame Problem", pp. 135--137
  },
  ISBN = {1567501435 (pbk)},
  rtnote = {UMich Media Union Library Q 335 .R621 1996},
  topic = {frame-problem;philosophy-AI;}
    }

@article{ forguson:1966a1,
  author = {Lynd W. Forguson},
  title = {In Pursuit of Performatives},
  journal = {Philosophy},
  year = {1966},
  volume = {41},
  pages = {341--347},
  missinginfo = {number},
  xref = {Reprinted in fann:1969a; see forguson:1966a2.},
  topic = {JL-Austin;ordinary-language-philosophy;}
  }

@incollection{ forguson:1966a2,
  author = {Lynd W. Forguson},
  title = {In Pursuit of Performatives},
  booktitle = {Symposium on J.L. Austin},
  publisher = {Routledge and Kegan Paul},
  year = {1969},
  editor = {K.T. Fann},
  pages = {412--419},
  address = {London},
  missinginfo = {E's 1st name.},
  xref = {Reprinted in; see forguson:1966a2.},
  topic = {JL-Austin;ordinary-language-philosophy;}
  }

@incollection{ forguson:1969a,
  author = {Lynd W. Forguson},
  title = {Austin's Philosophy of Action},
  booktitle = {Symposium on J.L. Austin},
  publisher = {Routledge and Kegan Paul},
  year = {1969},
  editor = {K.T. Fann},
  pages = {127--147},
  address = {London},
  missinginfo = {E's 1st name.},
  topic = {JL-Austin;ordinary-language-philosophy;}
  }

@incollection{ forguson:1969b,
  author = {Lynd W. Forguson},
  title = {Has {A}yer Vindicated the Sense-Datum Theory?},
  booktitle = {Symposium on J.L. Austin},
  publisher = {Routledge and Kegan Paul},
  year = {1969},
  editor = {K.T. Fann},
  pages = {309--341},
  address = {London},
  missinginfo = {E's 1st name.},
  topic = {JL-Austin;phenomenalism;}
  }

@incollection{ forguson:1973a,
  author = {Lynd W. Forguson},
  title = {Locutionary and Illocutionary Acts},
  booktitle = {Essays on J.L. Austin},
  publisher = {Oxford University Press},
  year = {1973},
  editor = {Isiah Berlin et al.},
  pages = {160--185},
  address = {Oxford},
  topic = {JL-Austin;ordinary-language-philosophy;speech-acts;pragmatics;}
  }

@book{ forguson:1989a,
  author = {Lynd W. Forguson},
  title = {Common Sense},
  publisher = {Richard Clay, Ltd.},
  year = {1989},
  address = {Bungay, England},
  contentnote = {This is a psychological and philosophical study.
  	There is a discussion of the acquisition of common sense
	birth to 4 years.  Reid and Moore are discussed.  The general
	purpose is to defend common sense philosophy from skeptical
	attacks.},
  topic = {common-sense;skepticism;}
 }

@article{ forgy:1982a,
  author = {Charles L. Forgy},
  title = {Rete: A Fast Algorithm for the Many Pattern/Many Object
  	Pattern Match Problem},
  journal = {Artificial Intelligence},
  year = {1982},
  volume = {19},
  number = {1},
  pages = {17--37},
  acontentnote = {Abstract:
     The Rete Match Algorithm is an efficient method for comparing a
     large collection of patterns to a large collection of objects.
     It finds all the objects that match each pattern. The algorithm
     was developed for use in production system interpreters, and it
     has been used for systems containing from a few hundred to more
     than a thousand patterns and objects. This article presents the
     algorithm in detail. It explains the basic concepts of the
     algorithm, it describes pattern and object representations that
     are appropriate for the algorithm, and it describes the
     operations performed by the pattern matcher.  },
  topic = {rete-networks;AI-algorithms;}
  }

@inproceedings{ forman:1974a,
  author = {Donald Forman},
  title = {The Speaker Knows Best Principle},
  booktitle = {Proceedings of the Tenth Regional Meeting of the
  	Chicago Linguistics Society},
  year = {1974},
  pages = {162--177},
  publisher = {Chicago Linguistics Society},
  address = {Chicago University, Chicago, Illinois},
  missinginfo = {editor},
  topic = {philosophy-of-linguistics;}
  }

@unpublished{ forman:1976a,
  author = {Donald Forman},
  title = {Common Sense and Indirect Speech Acts},
  year = {1976},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Linguistics Progam, State University
  	of New York at Binghamton.},
  contentnote = {Idea: to deploy a speaker-meaning interpretive
  	theory of indirect speech acts.},
  topic = {speech-acts;pragmatics;}
  }

@article{ forrester:1984a,
  author = {James W. Forrester},
  title = {Gentle Murder, or the Adverbial {S}amaritan},
  journal = {Journal of Philosophy},
  year = {1984},
  volume = {81},
  pages = {193--197},
  missinginfo = {A's 1st name, number},
  topic = {deontic-logic;}
  }

@book{ forrester:1996a,
  author = {James W. Forrester},
  title = {Being Good and Being Logical: Philosophical
  	Groundwork for a New Deontic Logic},
  publisher = {M.E. Sharpe},
  year = {1996},
  address = {Armouk, New York},
  ISBN = {1-56324-880-8},
  xref = {Review: swirydowicz:1999a.},
  rtnote = {UMich Graduate Library, BC 145 .F651 1996.},
  topic = {deontic-logic;metaethics;}
 }

@incollection{ forster_ki:1990a,
  author = {Kenneth I. Forster},
  title = {Lexical Processing},
  booktitle = {Language: An Invitation to Cognitive Science,
     Vol. 1.},
  publisher = {The {MIT} Press},
  year = {1990},
  editor = {Daniel N. Osherson and Howard Lasnik},
  pages = {95--131},
  address = {Cambridge, Massachusetts},
  topic = {psycholinguistics;lexicon;}
  }

@article{ forster_t:2001a,
  author = {Thomas Forster},
  title = {Review of \emph{{M}athematical Logic for Computer Science},
  	by {Z}hongwan {L}u},
  journal = {Studia Logica},
  year = {2001},
  volume = {67},
  number = {1},
  pages = {149--150},
  xref = {Review of: lu_zw:1998a.},
  topic = {logic-in-cs;logic-in-cs-intro;}
  }

@incollection{ forster_t:2005a,
  author = {Thomas Forster},
  title = {The Modal Aether},
  booktitle = {Intensionality},
  publisher = {A.K. Peters, Ltd.},
  year = {2005},
  editor = {Reinhard Kahle},
  pages = {1--19},
  address = {Wellesley, Massachusetts},
  topic = {philosophy-of-possible-worlds;foundations-of-modal-logic;}
  }

@article{ forster_t:2008a,
  author = {Thomas Forster},
  title = {The Iterative Conception of Sets},
  journal = {The Review of Symbolic Logic},
  year = {2008},
  volume = {1},
  number = {1},
  pages = {97--110},
  topic = {foundations-of-set-theory;}
  }

@article{ forster_t:2008b,
  author = {Thomas Forster},
  title = {Sharvy's {L}ucy and {B}enjamin Puzzle},
  journal = {Studia Logica},
  year = {2008},
  volume = {90},
  number = {2},
  pages = {249--256},
  topic = {mutual-belief;}
  }

@article{ forster_te-rood:1996a,
  author = {T.E. Forster and C.M. Rood},
  title = {Sethood and Situations},
  journal = {Computational Linguistics},
  year = {1996},
  volume = {22},
  number = {3},
  pages = {405--408},
  topic = {situation-semantics;}
  }

@inproceedings{ fortnow-kimmel:1998a,
  author = {Lance Fortnow and Peter Kimmel},
  title = {Beating a Finite Automaton in the Big Match},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Seventh Conference ({TARK} 1998)},
  year = {1998},
  editor = {Itzhak Gilboa},
  pages = {225--234},
  publisher = {Morgan Kaufmann},
  address = {San Francisco, California},
  topic = {game-theory;finite-state-automata;}
  }

@incollection{ fortu-moldovan:2005a,
  author = {Ovidiu Fortu and Dan Moldovan},
  title = {Identification of Textual Contexts},
  booktitle = {Modeling and Using Context: 5th International and
  	Interdisciplinary Conference},
  publisher = {Springer-Verlag},
  year = {2005},
  editor = {Anind Dey and Boicho Kokinov and David Leake and Roy Turner},
  pages = {169--182},
  address = {Berlin},
  topic = {context;text-understanding;machine-learning;}
  }

@inproceedings{ fosler:1996a,
  author = {J. Eric Fosler},
  title = {On Reversing the Generation Process in Optimality Theory},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {354--365},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {optimality-theory;parsing-algorithms;}
 }

@incollection{ foss-fay:1977a,
  author = {Donald J. Foss and David Fay},
  title = {Linguistic Theory and Performance Models},
  booktitle = {Testing Linguistic Hypotheses},
  publisher = {John Wiley and Sons},
  year = {1977},
  editor = {David Cohen and Jessica Worth},
  pages = {65--91},
  address = {New York},
  topic = {parsing-psychology;competence;philosophy-of-linguistics;}
  }

@incollection{ foster:2004a,
  author = {Mary Ellen Foster},
  title = {Corpus-Based Planning of Deictic Gestures in {COMIC}},
  booktitle = {Natural Language Generation: Third International
	Conference, INLG 2004},
  publisher = {Springer-Verlag},
  year = {2004},
  editor = {Anja Belz and Roger Evans and Paul Piwek},
  pages = {198--204},
  address = {Berlin},
  topic = {gestures;nl-generation;}
  }

@incollection{ foster_g:2000a,
  author = {George Foster},
  title = {Incorporating Position Information into a
     	     Maximum Entropy/Minimum Divergence Translation Model},
  booktitle = {Proceedings of the Fourth Conference on Computational
  	Natural Language Learning and of the Second Learning Language
	in Logic Workshop, {L}isbon, 2000},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Claire Cardie and Walter Daelemans and Claire N\'edellec
  	and Erik Tjong Kim Sang},
  pages = {37--42},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;statistical-nlp;machine-translation;
  		maximum-entropy;}
  }

@book{ foster_j:2000a,
  author = {John Foster},
  title = {The Nature of Perception},
  publisher = {Oxford University Press},
  year = {2000},
  address = {Oxford},
  xref = {Review: jackson_f:2000a.},
  topic = {epistemology;perception;}
 }

@incollection{ foster_ja:1976a,
  author = {J.A. Foster},
  title = {Meaning and Truth Theory},
  booktitle = {Truth and Meaning: Essays in Semantics},
  publisher = {Oxford University Press},
  year = {1976},
  editor = {Gareth Evans and John Mc{D}owell},
  pages = {1--32 },
  address = {Oxford},
  topic = {Davidson-semantics;}
 }

@article{ foucoult:1971a,
  author = {M. Foucoult},
  title = {The Discourse on Language},
  journal = {Social Science Information},
  year = {1971},
  pages = {7--10},
  note = {Translated by Rupert Swyer.},
  rtnote = {In RHT collection.},
  missinginfo = {A's 1st name, volume, number},
  rtnote = {In RHT collection.},
  topic = {continental-philosophy;philosophy-of-language;}
  }

@article{ fouks-signac:2001a,
  author = {J.-D. Fouks and L. Signac},
  title = {The Problem of Survival from an Algorithmic Point of View},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {133},
  number = {1--2},
  pages = {87--116},
  topic = {behavior-based-AI;reactive-AI;emergent-behavior;}
  }

@article{ foulks:1999a,
  author = {Frank Foulks},
  title = {On the Concept of the Scale},
  journal = {Journal of Philosophical Logic},
  year = {1999},
  volume = {28},
  number = {3},
  pages = {235--264},
  topic = {foundations-of-music;phenomenalism;}
  }

@article{ foulser-etal:1992a,
  author = {David E. Foulser and Ming Li and Quang Ling},
  title = {Theory and Algorithms for Plan Merging},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {57},
  number = {2--3},
  pages = {143--181},
  topic = {plan-reuse;}
  }

@article{ fowler-etal:1983a,
  author = {Glenn Fowler and Robert Haralick and F. Gail Gray and
  	Charles Feustel and Charles Grinstead},
  title = {Efficient Graph Automorphism by Vertex Partitioning},
  journal = {Artificial Intelligence},
  year = {1983},
  volume = {21},
  number = {1--2},
  pages = {245--269},
  acontentnote = {Abstract:
     We describe a vertex partitioning method and squeeze tree search
     technique, which can be used to determine the automorphism
     partition of a graph in polynomial time for all graphs tested,
     including those which are strongly regular.  The vertex
     partitioning procedure is based on first transforming the graph
     by the 1- or 2-subdivision transform or the 1- or 2-superline
     transform and then employing a distance signature coding
     technique on the vertices of the transformed graph.  The
     resulting adjacency refinement partition of the transformed
     graph is reflected back to the original graph where it can be
     used as an initial vertex partition which is equal to or coarser
     than the desired automorphism partition.
      The squeeze tree search technique begins with two partitions,
     one finer than the automorphism partition and one coarser than
     the automorphism partition.  In essence, it searches through all
     automorphisms refining the coarser partition and coarsening the
     finer partition until the two are equal.  At this point the
     result is the automorphism partition.  The vertex partitioning
     method using the 2-superline graph transform preceding the
     squeeze tree search is so powerful that for all the graphs in
     our catalog (random, regular, strongly regular, and balanced
     incomplete block designs) it produces the automorphism
     partition, thereby making the tree search nothing more than a
     verification that the initial partition is indeed the
     automorphism partition.},
  topic = {search;graph-based-reasoning;}
  }

@article{ fox_ba:1987a,
  author = {B.A. Fox},
  title = {Interactional Reconstruction in Real-Time Language Processing},
  journal = {Cognitive Science},
  year = {1987},
  volume = {11},
  pages = {365--388},
  missinginfo = {A's 1st name, number},
  topic = {psycholinguistics;nl-processing;nl-understanding;}
  }

@book{ fox_ba:1996a,
  author = {Barbara Fox},
  title = {Studies in Anaphora},
  publisher = {John Benjamins Publishing Company},
  year = {1996},
  address = {Amsterdam},
  topic = {anaphora;}
 }

@book{ fox_c-lappin:2005a,
  author = {Chris Fox and Shalom Lappin},
  title = {Foundations of Intensional Semantics},
  publisher = {Blackwell Publishing},
  year = {2005},
  address = {Oxford},
  ISBN = {0-631-23375-6 (hbk), 0-631-23376-8 (pbk)},
  xref = {Review: pelletier:2006a},
  rtnote = {In RHT Collection.  LLP single author shelves.
  		OUT FOR READING},
  topic = {nl-semantics;Montague-grammar;hyperintensionality;polymorphism;}
 }

@article{ fox_d:1995a,
  author = {Danny Fox},
  title = {Economy and Scope},
  journal = {Natural Language Semantics},
  year = {1995},
  volume = {3},
  number = {3},
  pages = {283--341},
  topic = {nl-quantifier-scope;}
  }

@article{ fox_d:1999a,
  author = {Danny Fox},
  title = {Reconstruction, Binding Theory, and the Interpretation
  	of Chains},
  journal = {Linguistic Inquiry},
  year = {1999},
  volume = {30},
  number = {2},
  pages = {157--196},
  topic = {nl-quantifier-scope;binding-theory;}
  }

@inproceedings{ fox_d:1999b,
  author = {Danny Fox},
  title = {Focus, Parallelism, and Accommodation},
  booktitle = {Proceedings from Semantics and Linguistic Theory {IX}},
  publisher = {Cornell University},
  year = {1999},
  editor = {Tanya Matthews and Devon Strolovitch},
  pages = {70--90},
  address = {Ithaca, New York},
  topic = {nl-semantics;sentence-focus;ellipsis;accommodation;}
  }

@book{ fox_d:2000a,
  author = {Danny Fox},
  title = {Economy and Semantic Interpretation},
  publisher = {The {MIT} Press},
  year = {2000},
  address = {Cambridge, Massachusetts},
  xref = {Review: bhatt:2002a,},
  topic = {syntax-semantics-interface;nl-quantifier-scope;}
 }

@article{ fox_d-hackl:2006a,
  author = {Danny Fox and Martin Hackl},
  title = {The Universal Density of Measurement},
  journal = {Linguistics and Philosophy},
  year = {2006},
  volume = {29},
  number = {5},
  pages = {537--586},
  topic = {measures;}
  }

@inproceedings{ fox_j1-clarke_m:1991a,
  author = {J. Fox and M. Clarke},
  title = {Towards a Formalization of Arguments in Decision Making},
  booktitle = {Proceedings of the 1991 {AAAI} Spring Symposium on
  	Argument and Belief},
  year = {1991},
  pages = {92--99},
  organization = {AAAI},
  missinginfo = {A's 1st name, number},
  topic = {practical-reasoning;argumentation;}
  }

@incollection{ fox_j2-etal:1991a,
  author = {John Fox and Paul Krause and Mirko Dohnal},
  title = {An Extended Logic Language for Representing Belief},
  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 = {63--69},
  address = {Berlin},
  topic = {belief;reasoning-about-uncertainty;}
  }

@inproceedings{ fox_j2-parsons_s:1997a,
  author = {John Fox and Simon Parsons},
  title = {On Using Arguments for Reasoning about Actions and Values},
  booktitle = {Working Papers of the {AAAI} Spring Symposium on
  	Qualitative Preferences in Deliberation and Practical
	Reasoning},
  year = {1997},
  editor = {Jon Doyle and Richmond H. Thomason},
  pages = {55--63},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {qualitative-utility;practical-reasoning;practical-argumentation;}
  }

@article{ fox_m-etal:2006a,
  author = {Maria Fox and Malik Ghallab and Guillaume Infantes and
  		Derek Long},
  title = {Robot Introspection through Learned Hidden {M}arkov Models},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {2},
  pages = {59--113},
  topic = {machine-learning;cognitive-robotics;introspection;}
  }

@article{ fox_m-long_d:2001a,
  author = {Maria Fox and Derek Long},
  title = {{STAN}4: A Hybrid Planning Strategy Based on Subproblem
  	Abstraction},
  journal = {The {AI} Magazine},
  year = {2001},
  volume = {22},
  number = {1},
  pages = {81--84},
  topic = {planning;planning-algorithms;planning-systems;}
  }

@article{ fox_m-thiebaux:2009a,
  author = {Maria Fox and Sylvie Thi\'ebaux},
  title = {Advances in Automated Plan Generation},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {5--6},
  pages = {501--502},
  topic = {AI-editorial;planning;planning-algorithms;}
  }

@article{ fox_ms-gruninger:1998a,
  author = {Mark S. Fox and Michael Gruninger},
  title = {Enterprise Modeling},
  journal = {The {AI} Magazine},
  year = {1998},
  volume = {19},
  number = {3},
  pages = {109--121},
  topic = {enterprise-modeling;}
  }

@techreport{ fox_r-josephson_jr:1991a,
  author = {Richard Fox and John R. Josephson},
  title = {An Abductive Articulatory Recognition System},
  institution = {The Ohio State University},
  year = {1991},
  address = {Columbus, Ohio},
  note = {{LAIR} Technical Report},
  topic = {abduction;}
  }

@article{ fraassen:1979a,
  author = {Bas C. van Fraassen},
  title = {Propositional Attitudes in Weak Pragmatics},
  journal = {Studia Logica},
  year = {1979},
  volume = {38},
  pages = {365--374},
  missinginfo = {number},
  topic = {context;propositional-attitudes;}
  }

@incollection{ fraczak-etal:1998a,
  author = {Lidia Fraczak and Guy Lapalme and Michael Zock},
  title = {Automatic Generation of Subway Direction:
		Salience Gradation as a Factor for Determining
		Message and Form},
  booktitle = {Proceedings of the Ninth International Workshop
  	on Natural Language Generation},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Eduard Hovy},
  pages = {58--67},
  address = {New Brunswick, New Jersey},
  topic = {nl-generation;discourse-planning;}
  }

@book{ fraenkel-barhillel:1958a,
  author = {Abraham A. Fraenkel and Yehoshua Bar-Hillel},
  title = {Foundations of Set Theory},
  edition = {1st},
  publisher = {North-Holland Publishing Co.},
  year = {1958},
  address = {Amsterdam},
  rtnote = {In RHT Collection.  Logic shelves.},
  topic = {foundations-of-set-theory;}
 }

@book{ fraenkel-etal:1973a,
  author = {Abraham A. Fraenkel and Yehoshua Bar-Hillel and Azrael L\'evy},
  title = {Foundations of Set Theory},
  edition = {2nd},
  publisher = {North-Holland Publishing Co.},
  year = {1973},
  address = {Amsterdam},
  topic = {foundations-of-set-theory;}
 }

@incollection{ frampton-gutmann:2002a,
  author = {John Frampton and Sam Gutmann},
  title = {Crash-Proof Syntax},
  booktitle = {Derivation and Explanation in the Minimalist Program},
  publisher = {Blackwell Publishing},
  year = {2002},
  editor = {Samuel David Epstein and T. Daniel Seeley},
  pages = {90-- 104},
  address = {Oxford},
  topic = {minimalist-syntax;}
  }

@inproceedings{ frana:1991a,
  author = {Ilaria Frana},
  title = {The de re Analysis of Concealed Questions: A Unified
  	Approach to Definite and Indefinite Concealed Questions},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XVI}},
  year = {1991},
  editor = {Masayuki Gibson and Jonathan Howell},
  publisher = {CLC Publications},
  address = {Ithaca, New York},
  url = {http://research.nii.ac.jp/salt16/proceedings/frana-salt16.pdf},
  topic = {concealed-questions;nl-semantics;interrogatives;}
  }

@article{ francescotti:1995a,
  author = {Robert M. Francescotti},
  title = {Even: The Conventional Implicature Approach Reconsidered},
  journal = {Linguistics and Philosophy},
  year = {1995},
  volume = {18},
  number = {2},
  pages = {153--173},
  topic = {`even';conventional-implicature;}
  }

@article{ francescotti:1999a,
  author = {Robert M. Francescotti},
  title = {How to Define Intrinsic Properties},
  journal = {No\^us},
  year = {1999},
  volume = {33},
  number = {4},
  pages = {590--609},
  topic = {internal/external-properties;}
  }

@article{ francez-etal:2010a,
  author = {Nissim Francez and Roy Dyckhoff and Gilad Ben-Avi},
  title = {Proof-Theoretic Semantics for Subsential Phrases},
  journal = {Studia Logica},
  year = {2010},
  volume = {94},
  number = {3},
  pages = {381--401},
  topic = {nl-semantics;proof-theoretic-semantics;}
  }

@article{ francez-kaminski:2007a,
  author = {Nissim Francez and Michael Kaminski},
  title = {Commutation-Augmented Pregroup Grammars and Mildly
  		Context-Sensitive Languages},
  journal = {Studia Logica},
  year = {2007},
  volume = {87},
  number = {2--3},
  pages = {295--321},
  topic = {pregroups;grammar-formalisms;}
  }

@article{ francez-steedman:2006a,
  author = {Nissim Francez and Mark Steedman},
  title = {Categorial Grammar and the Semantics of Contextual
  		Prepositional Phrases},
  journal = {Linguistics and Philosophy},
  year = {2006},
  volume = {29},
  number = {4},
  pages = {381--417},
  topic = {categorial-grammar;nl-semantics;prepositions;}
  }

@inproceedings{ francez-winter:1996a,
  author = {Nissim Francez and Yoad Winter},
  title = {A Generalized Definition of Quantifier Absorption},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VI}},
  publisher = {Cornell University},
  year = {1996},
  editor = {Teresa Galloway and Justin Spence},
  pages = {69--74},
  address = {Ithaca, New York},
  topic = {nl-semantics;nl-quantifiers;Bach-Peters-sentences;}
  }

@inproceedings{ francheset-montanari_a:1999a,
  author = {Massimo Francheset and Angelo Montanari},
  title = {Pairing Transitive Closure and Reduction to
		Efficiently Reason about Partially Ordered Events},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
	Nonmonotonic Reasoning, Action and Change},
  year = {1999},
  editor = {Michael Thielscher},
  pages = {79--86},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {action-formalisms;event-calculus;planning-algorithms;}
  }

@book{ francis_wn:1964a,
  author = {W. Nelson Francis},
  year = {1964},
  title = {A Standard Sample of Present-day {E}nglish for use with
	Digital Computers.  Report to the U.S. Office of
	Education on Cooperative Research Project No.~E--007},
  publisher = {Brown University},
  address = {Providence},
  topic = {corpus-linguistics;}
  }

@unpublished{ francis_wn-kucera_h:1979a,
  author = {W. Nelson Francis and H. Ku\c{c}era},
  title = {Brown Corpus Manual},
  year = {1979},
  note = {URL: http://khnt.hit.uib.no/icame/manuals/brown/INDEX.HTM},
  topic = {corpus-linguistics;}
  }

@book{ francis_wn-kucera_h:1982a,
  author = {W. N. Francis and H. Ku\c{c}era},
  title = {Frequency Analysis of {E}nglish Usage: Lexicon and Grammar},
  publisher = {Houghton Mifflin},
  year = {1982},
  address = {Boston},
  topic = {corpus-linguistics;English-language;}
}

@inproceedings{ franconi:1992a,
  author = {Enrico Franconi},
  title = {Collective Entities and Relations in Concept Languages},
  booktitle = {Working Notes, {AAAI} Fall Symposium on Issues in Description
  	Logics: Users Meet Developers},
  year = {1992},
  editor = {Robert MacGregor},
  pages = {31--35},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {kr;krcourse;extensions-f-KL1;description-logics;}
  }

@incollection{ franconi:2003a,
  author = {Enrico Franconi},
  title = {Natural Language Processing},
  booktitle = {The Description Logic Handbook:  Theory, Implementation
  		and Applications},
  publisher = {Cambridge University Press},
  year = {2003},
  editor = {Franz Baader and Diego Calvanese and Deborah L. McGuinness
  		and Daniele Nardi and Peter Patel-Schneider},
  pages = {450--461},
  address = {Cambridge, England},
  topic = {description-logics;AI-applications;}
  }

@incollection{ franconi-etal:1992a,
  author = {Enrico Franconi and Bernardo Magnini and Oliviero Stock},
  title = {Prototypes in a Hybrid Language with Primitive
  	Descriptions},
  booktitle = {Semantic Networks in Artificial Intelligence},
  publisher = {Pergamon Press},
  year = {1992},
  editor = {Fritz Lehmann},
  pages = {543--555},
  address = {Oxford},
  topic = {kr;semantic-networks;nonmonotonic-reasoning;
  	kr-course;}
  }

@inproceedings{ frank_a-kamp:1997a,
  author = {Anette Frank and Hans Kamp},
  title = {On Context Dependence in Modal Constructions},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VII}},
  publisher = {Cornell University},
  year = {1997},
  editor = {Aaron Lawson},
  pages = {151--168},
  address = {Ithaca, New York},
  topic = {nl-semantics;context;modals;
  		discourse-representation-theory;}
  }

@article{ frank_au:1996a,
  author = {Andrew U. Frank},
  title = {Qualitative Spatial Reasoning: Cardinal Directions as an
  	Example},
  journal = {International Journal of Geographical Information Science},
  year = {1996},
  volume = {10},
  number = {3},
  pages = {269--290},
  topic = {spatial-representation;spatial-reasoning;qualitative-reasoning;}
  }

@incollection{ frank_au:1997a,
  author = {Andrew U. Frank},
  title = {Spatial Ontology},
  booktitle = {Spatial and Temporal Reasoning},
  publisher = {Kluwer Academic Publishers},
  year = {1997},
  editor = {Oliviero Stock},
  pages = {135--153},
  address = {Dordrecht},
  topic = {spatial-representation;computational-ontology;}
  }

@article{ frank_i-basin:1998a,
  author = {Ian Frank and David Basin},
  title = {Search in Games with Incomplete Information; a Case Study
  	Using Bridge Card Play},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {100},
  number = {1--2},
  pages = {87--127},
  topic = {search;decision-making-under-uncertainty;
  	game-theoretic-reasoning;game-playing;}
  }

@article{ frank_mg-etal:1993a,
  author = {Mark G. Frank and Paul Ekman and Wallace V.  Friesen},
  title = {Behavioral Markers and Recognizability of the Smile
  	of Enjoyment},
  journal = {Journal of Personality and Social Psychology},
  volume = {64},
  number = {1},
  pages = {83--93},
  year = {1993},
  topic = {facial-expressions;}
  }

@article{ frank_r-satta:1998a,
  author = {Robert Frank and Giorgio Satta},
  title = {Optimality Theory and the Generative Complexity of
  	Constraint Volatility},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {2},
  pages = {306--315},
  topic = {optimality-theory;complexity-theory;}
  }

@article{ frank_s:2007a,
  author = {Stefan Frank},
  title = {Review of \emph{{F}rom Molecule to Metaphor: A Neural
  		Theory of Language}, by {J}erone {A}. {F}eldman},
  journal = {Computational Linguistics},
  year = {2006},
  volume = {33},
  number = {2},
  pages = {259--261},
  xref = {Review of: feldman_ja:2006a},
  topic = {foundations-of-grammar;neural-computation;}
  }

@article{ frankfurt:1958a,
  author = {Harry G. Frankfurt},
  title = {Peirce's Notion of Abduction},
  journal = {The Journal of Philosophy},
  year = {1958},
  volume = {55},
  pages = {588--597},
  topic = {abduction;Peirce;}
  }

@article{ frankfurt:1969a,
  author = {Harry G. Frankfurt},
  title = {Alternate Possibilities and Moral Responsibility},
  journal = {Journal of Philosophy},
  year = {1969},
  volume = {66},
  pages = {828--839},
  missinginfo = {number},
  number = {23},
  xref = {Critical commentary: levy_n:2008a, mckenna:2008a},
  topic = {blameworthiness;freedom;}
  }

@article{ frankfurt:1971a,
  author = {Harry Frankfurt},
  title = {Freedom of the Will and the Concept of a Person},
  journal = {Journal of Philosophy},
  year = {1971},
  volume = {68},
  pages = {5--20},
  rtnote = {In RHT collection.  Copy in file drawers.},
  rtnote = {Reading notes on file.},
  url = {http://www.jstor.org/view/0022362x/di972992/97p0089v/0},
  topic = {freedom;volition;metacognition;}
 }

@book{ frankfurt:2005a,
  author = {Harry G. Frankfurt},
  title = {On Bullshit},
  publisher = {Princeton University Press},
  year = {2005},
  address = {Princeton, New Jersey},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  topic = {philosophy-essays;}
 }

@book{ franklin:1995a,
  editor = {Stan Franklin},
  title = {Artificial Minds},
  publisher = {The {MIT} Press},
  year = {1995},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-56109-3},
  rtnote = {In RHT Collection.  Cogsci Shelves. m&mcourse;},
  topic = {philosophy-of-mind;philosophy-of-computation;}
 }

@book{ franklin:2009a,
  author = {James Franklin},
  title = {What Science Knows and How it Knows it},
  publisher = {Encounter Books},
  year = {2009},
  address = {New York},
  ISBN-13 = {978-1-59403-207-3},
  rtnote = {In RHT collection.  Philsci Shelves.},
  topic = {scientific-methodology;philosophy-of-science;}
 }

@article{ frankot-chellappa:1990a,
  author = {Robert T. Frankot and Rama Chellappa},
  title = {Estimation of Surface Topography from Sar Imagery Using
  	Shape from Shading Techniques},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {43},
  number = {3},
  pages = {271--310},
  topic = {computer-vision;map-building;}
  }

@book{ franz:1996a,
  author = {Alexander Franz},
  title = {Ambiguity Resolution in Natural Language},
  publisher = {Springer-Verlag},
  year = {1996},
  address = {Berlin},
  xref = {Review: monz:1999a.},
  topic = {part-of-speech-tagging;corpus-linguistics;}
 }

@inproceedings{ franz:1997a,
  author = {Alexander Franz},
  title = {Independence Assumptions Considered Harmful},
  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 = {182--189},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {statistical-nlp;}
 }

@book{ franzen:2004a,
  author = {Torkel Franz\'en},
  title = {Inexhaustibility:  A Non-Exhaustive Treatment},
  year = {2004},
  publisher = {A.K. Peters, Ltd.},
  ISBN = {1-565881-174-8 (pbk)},
  topic = {(in)completeness;}
 }

@book{ franzen:2005a,
  author = {Torkel Franz\'en},
  title = {G\"odel's Theorem:  An Incomplete Guide to its Use and Abuse},
  publisher = {A.K. Peters, Ltd.},
  year = {2005},
  address = {Wellesley, Massachusetts},
  ISBN = {1-56881-238-8},
  xref = {Review: beklemishev:2007a},
  topic = {(in)completeness;goedels-first-theorem;
  	philosophy-of-computation;}
 }

@incollection{ franzin-etal:2002a,
  author = {M.S. Franzin and E.C. Freuder and Francesca Rossi and
     		R. Wallace},
  title = {Multi-Agent Meeting Scheduling
		with Preferences: Efficiency, Privacy Loss,
		and Solution Quality},
  booktitle = {Preferences in {AI} and {CP}: Symbolic Approaches},
  publisher = {AAAI Press},
  year = {2002},
  editor = {Ulrich Junker},
  pages = {25--32},
  address = {Menlo Park, California},
  topic = {preferences;qualitative-utility;constraint-satisfaction;}
  }

@incollection{ fraser_b:1971a,
  author = {Bruce Fraser},
  title = {An analysis of `even' in {E}nglish},
  booktitle = {Studies in Linguistic Semantics},
  publisher = {Holt, Rinehart and Winston},
  year = {1971},
  editor = {Charles J. Fillmore and D. Terence Langendoen},
  pages = {150--178},
  address = {New York},
  topic = {even;sentence-focus;pragmatics;}
  }

@book{ fraser_b:1971b,
  author = {Bruce Fraser},
  title = {An Examination of the Performative Analysis},
  publisher = {Indiana University Linguistics Club},
  year = {1972},
  address = {310 Lindley Hall, Bloomington, Indiana},
  xref = {Revised publication: fraser:74a},
  topic = {speech-acts;pragmatics;}
 }

@article{ fraser_b:1974a,
  author = {Bruce Fraser},
  title = {An Examination of the Performative Analysis},
  journal = {Papers in Linguistics},
  year = {1974},
  volume = {7},
  pages = {1--40},
  missinginfo = {number},
  topic = {speech-acts;pragmatics;}
  }

@incollection{ fraser_b:1974b,
  author = {Bruce Fraser},
  title = {An Analysis of Vernacular Performative Verbs},
  booktitle = {Towards Tomorrow's Linguistics},
  publisher = {Georgetown University Press},
  year = {1974},
  editor = {R.W. Shuy and {C.-J.} Bailey},
  address = {Washington, DC},
  missinginfo = {pages},
  topic = {speech-acts;pragmatics;}
  }

@article{ fraser_b:1988a,
  author = {Bruce Fraser},
  title = {Motor Oil is Motor Oil: An Account of {E}nglish
  	Nominal Tautologies},
  journal = {Journal of Pragmatics},
  year = {1988},
  volume = {12},
  pages = {215--220},
  missinginfo = {number},
  topic = {implicature;}
  }

@unpublished{ fraser_n-hudson_nm:1990a,
  author = {Norman M. Fraser and Richard A. Hudson},
  title = {Word Grammar in Inheritance-Based Theory of Language},
  year = {1990},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript.},
  topic = {nm-ling;inheritance;}
  }

@book{ frawley:1997a,
  author = {William Frawley},
  title = {Vygotsky and Cognitive Science: Language and
  	the Unification of the Social and Computational Mind},
  publisher = {Harvard University Press},
  year = {1997},
  address = {Cambridge, Massachusetts},
  ISBN = {0-674-94347-3},
  xref = {Review: luckin:1998a.},
  topic = {foundations-of-cognitive-science;philosophy-of-language;
  	psychology-general;context;}
 }

@article{ frazer_mn-hudson_ra:1992a,
  author = {Norman M. Frazer and Richard A. Hudson},
  title = {Inheritance in Word Grammar},
  journal = {Computational Linguistics},
  year = {1992},
  volume = {18},
  number = {2},
  pages = {133--158},
  topic = {inheritance;grammar-formalisms;}
  }

@unpublished{ frazier_l:1982a,
  author = {Lyn Frazier},
  title = {A General Complexity Metric for Natural Language Sentences},
  year = {1982},
  note = {Unpublished manuscript, University of Massachusetts},
  rtnote = {In RHT collection.},
  topic = {parsing-psychology;}
  }

@unpublished{ frazier_l:2006a,
  author = {Lyn Frazier},
  title = {The Big Fish in a Small Pond:  Accommodation and the Processing
  		of Novel Definites},
  year = {2006},
  url = {http://www.pragmatics.osu.edu/links/events/Accommodation-the%20big%20fish.pdf},
  note = {Unpublished manuscript, University of Massachusetts at Amherst},
  rtnote = {In RHT collection.},
  topic = {definiteness;psycholinguistics;accommodation;}
  }

@book{ frazier_l-clifton_c:1995a,
  author = {Lyn Frazier and Charles {Clifton, Jr.}},
  title = {Construal},
  publisher = {The {MIT} Press},
  year = {1996},
  address = {Cambridge, Massachusetts},
  topic = {psycholinguistics;parsing-psychology;}
 }

@article{ frazier_l-clifton_c:2006a,
  author = {Lyn Frazier and Charles {Clifton, Jr.}},
  title = {Ellipsis and Discourse Coherence},
  journal = {Linguistics and Philosophy},
  year = {2006},
  volume = {29},
  number = {3},
  pages = {315--346},
  topic = {ellipsis;discourse-coherence;}
  }

@article{ frazier_l-fodor_jd:1978a,
  author = {Lyn Frazier and Janet Dean Fodor},
  title = {The Sausage Machine: A New Two Stage Parsing Model},
  journal = {Cognition},
  year = {1978},
  volume = {6},
  pages = {291--324},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {parsing-psychology;}
  }

@book{ frede_d:1970a,
  author = {Dorothea Frede},
  title = {Aristoteles und die `Seeschlacht'\,"},
  publisher = {Vandenhoeck \& Ruprecht},
  year = {1970},
  address = {G\"ottingen},
  rtnote = {Umich Graduate Library DE 3 .H98 no.27},
  rtnote = {What is art in subtitle:  Das Problem  d. Contingentia
  Futura in De Interpretatione},
  rtnote = {In RHT collection.  Look in Sea Battle Project File.},
  topic = {future-contingent-propositions;Aristotle;}
 }

@unpublished{ frede_d:1981a,
  author = {Dorothea Frede},
  title = {The Dramatization of Determinism: {A}lexander of
  	{A}phrodisias' de {F}ato},
  year = {1981},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  topic = {ancient-philosophy;future-contingent-propositions;
  	(in)determinism;}
  }

@article{ frede_d:1998a,
  author = {Dorothea Frede},
  title = {{L}ogik, {S}prache und die {O}ffenheit der {Z}ukunft in
  	der {A}ntike {B}emerkungen zu zwei Neuen
	{F}orschungsbeitragen},
  journal = {Zeitschrift fur philosophische {F}orschung},
  year = {1998},
  volume = {52},
  number = {1},
  pages = {84--104},
  acontentnote = {Abstract:
     The article discusses two recent publications on the relation
     between logic, language and the determination of the future. The
     first is a full length translation and commentary on Aristotle's
     ``De interpretatione'', Berlin 1994, by Hermann Weidemann (in
     German), containing a 100 page excusion on the problem of future
     contingency.  The second is the monograph on future contingency
     by Richard Gaskin, ``The Sea Battle and the Master Argument,
     Aristotle and Diodorus Cronus on the Metaphysics of the Future'',
     Berlin 1995.  Both authors provide a meticulous analysis of the
     problems and come to compatible conclusions concerning the need
     to adjust logic and language to the needs of metaphysics.  },
  xref = {Review of: aristotle-deint:bc, gaskin:1995a.},
  topic = {Aristotle;future-contingent-propositions;}
  }

@unpublished{ frede_m:1975a,
  author = {Michael Frede},
  title = {Categories in {A}ristotle},
  year = {1975},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a wild guess.},
  topic = {Aristotle;philosophical-ontology;}
  }

@incollection{ frederking-etal:2002a,
  author = {Robert E. Frederking and Eric H. Nyberg and Teruko Mitamura and
     		Jaime Carbonell},
  title = {Design and Evolution of a Language
		Technologies Curriculum},
  booktitle = {Effective Tools and Methodologies for Teaching
  	{NLP} and {CL}},
  publisher = {Association for Computational Linguistics},
  year = {2002},
  editor = {Dragomir Radev and Chris Brew},
  pages = {38--44},
  address = {New Brunswick, New Jersey},
  topic = {nlp-pedagogy;}
  }

@article{ fredkin:1960a,
  author = {E. Fredkin},
  title = {Trie Memory},
  journal = {CACM},
  year = {1969},
  volume = {3},
  pages = {490--499},
  missinginfo = {A's 1st name, number},
  topic = {PAT-trees;machine-learning;}
  }

@book{ freedle:1979a,
  editor = {Roy O. Freedle},
  title = {New Directions in Discourse Processing},
  publisher = {Ablex Publishing Corp.},
  year = {1979},
  address = {Norwood, New Jersey},
  rtnote = {HILLMAN P302 .N4},
  topic = {discourse-analysis;}
}

@book{ freedman_r-callaway:2003a,
  editor = {Reva Freedman and Charles Callaway},
  title = {Working Papers of the 2003 {AAAI} Spring Symposium on
  	Natural Language Generation in Spoken and Written
	Dialogue},
  publisher = {AAAI Press},
  year = {2003},
  address = {Menlo Park, California},
  ISBN = {1-57735-183-5 SS-03-06},
  rtnote = {In RHT Collection.  CS MS shelves.},
  contentnote = {TC:
     1. Elizabeth Owen Bratt and John Dowding, "Syntactic
     		and Semantic Input to Prosodic Markup in
		{C}ommand{T}alk", pp. 1--5
     2. Charles B. Callaway, "Do We Need Deep Generation of
     		Disfluent Dialogue?", pp. 6--11
     3. Lang Chen and Naoyuki Tokuda, "A New Buggy Rule and
     		Template-Template Based Tutorial Dialogue
		System", pp. 12--14
     4. Barbara Di Eugenio and Susan Haller and Michael
     		Glass, "Development and Evaluation of
		{NL} Interfaces in a Small Shop", pp. 15--22
     5. John Dowding and Gregory Aist and Beth Ann Hockey and
     		Elizabeth Owen Bratt, "Generating Canonical Examples
		Using Candidate Words", pp. 23--27
     6. Malte Gabsdil, "Clarification in Spoken Dialogue
     		Systems", pp. 28--35
     7. Nancy L. Green and Boyd Davis, "Dialogue Generation in
     		an Assistive Conversation Skills Training
		System", pp. 36--43
     8. Christopher Habel, "Incremental Generation of Multimodal
     		Route Instructions", pp. 44--51
     9. Helmut Horacek, "Text Generation Methods for Dialogue
     		Systems", pp. 52--54
    10. Nobio Inui and Takuya Koiso and Junpei Nakamura and Yoshiyuki
    		Kotani, "Fully Corpus-Based Natural Language Dialogue
		System", pp. 58--64
    11. Pamela W. Jordan, "Feature Sharing and Generation of Nominals
    		in Dialogue", pp. 65--70
    12. Pamela W. Jordan and Maxim Makatchev and Umarani
    		Pappuswamy, "Extended Explanations as Student Models
		for Guiding Tutorial Dialogue", pp. 71--78
    13. Alistair Knott and Nick Wright, "A Dialogue-Based Knowledge
    		Authoring System for Text Generation", pp. 71--78
    14. Staffan Larsson, "Generating Feedback and Sequencing Moves
    		in a Dialogue System", pp. 79--84
    15. Oliver Lemon and Alexander Gruenstein and Randolph Gullett and
    		Alexis Battle and Laura Hiatt and Stanley
		Peters, "Generation of Collaborative Spoken Dialogue
		Contributions in Dynamic Task Environments", pp. 85--90
    16. Bei Liu and LiMin Du and ZhiWei Fang and XianFang
    		Wang, "Language Understanding and Generation in {C}hinese
		Spoken Dialogue Systems", pp. 91--93
    17. Evelyn Lulis and Martha Evens, "The Use of Analogies in Human
    		Tutoring Dialogues", pp. 94--96
    18. Eric C. Matthews and G. Tanner Jackson and Arthur C.
    		Graesser and Natalie K. Person and the Tutoring
		Research Group, "Discourse Patterns in
		{W}hy/{A}uto{T}utor", pp. 97--103
    19. David D. McDonald, "Producing Dialog at {MERL}: Problems
    		in Generation Engineering", pp. 104--111
    20. Jill Nickerson, "Statistical Models for Organizing Semantic
    		Options", pp. 112--117
    21. Paul Piwek and Kees van Deemter, "Dialogue as Discourse:
    		Controlling Global Properties", pp. 118--124
    22. Laura H. Lind and Tania Coiner, "Initiative and Clarification
    		in Web-Based Surveys", pp. 125--132
    23. Matthew Stone, "Specifying Generation of Referring
    		Expressions by Example", pp. 133--140
    24. Mari\"et Theune, "From Monologue to Dialogue: Natural
    		Language Generation in {OVIS}", pp. 141--150
    25. David R. Traum and Michael Fleishman and Ed Hovy, "{NL} Generation
    		for Virtual Humans in a Complex
		Social Environment", pp. 151--158
    26. Graham Wilcock and Kristiina Jokinen, "Generation Models
    		for Spoken Dialogues", pp. 159--165
    27. Roy Wilson, "A Method for Comparing Fluency Measures and
    		Its Application to {ITS} Natural Language
		Generation", pp. 166--173
  },
  topic = {nl-generation;computational-dialogue;}
 }

@article{ freeland:1985a,
  author = {Cynthia Freeland},
  title = {Aristotle on Possibilities and Capacities},
  journal = {Ancient Philosophy},
  year = {1985},
  volume = {6},
  pages = {69--89},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a guess.},
  topic = {Aristotle;dispositions;potentiality;ability;}
  }

@article{ freeman_jw:1996a,
  author = {Jon W. Freeman},
  title = {Hard random 3-{SAT} Problems and the {D}avis-{P}utnam
		Procedure},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {81},
  number = {1--2},
  pages = {183--198},
  topic = {search;experiments-on-theorem-proving-algs;
  	computational-phase-transitions;}
  }

@incollection{ freeman_nh:1995a,
  author = {Norman H. Freeman},
  title = {Theories of Mind in Collision: Plausibility and Authority},
  booktitle = {Mental Simulation: Evaluations and Applications},
  publisher = {Blackwell Publishers},
  year = {1995},
  editor = {Martin Davies and Tony Stone},
  pages = {68--86},
  address = {Oxford},
  topic = {folk-psychology;theory-theory-of-folk-psychology;
	mental-simulation;propositional-attitude-ascription;}
 }

@book{ frege:1879a,
  author = {Gottlob Frege},
  title = {Begriffschrift, eine der arithmetischen nachgebildete
  	Formalsprache des reinen {D}enkens},
  year = {1879},
  missinginfo = {publisher},
  address = {Halle},
  topic = {logic-classics;}
 }

@unpublished{ frege:1881a,
  author = {Gottlob Frege},
  title = {Further Explanations of Sense and Denotation},
  year = {1881},
  note = {Unpublished manuscript, Jena.  Translated by Montgomery
  	Furth.},
  rtnote = {In RHT collection.},
  topic = {intensionality;logic-of-sense-and-denotation;}
  }

@book{ frege:1884a,
  author = {Gottlob Frege},
  title = {Die {G}rundlagen der {A}ritmetik, eine
  	logisch-mathematische {U}ntersuchung \"uber den
	{B}egriff der {Z}ahl},
  year = {1884},
  missinginfo = {publisher},
  address = {Breslau},
  topic = {logic-classics;}
 }

@article{ frege:1892a1,
  author = {Gottlob Frege},
  title = {\"Uber {S}inn und {B}edeutung},
  journal = {Zeitschrift f\"ur {P}hilosophie und philosophische
  	{K}ritik},
  year = {1892},
  volume = {C},
  pages = {25--50},
  xref = {English translation: frege:1892a2.},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-language;intensionality;philosophy-classics;}
  }

@incollection{ frege:1892a2,
  author = {Gottlob Frege},
  title = {On Sense and Reference},
  booktitle = {Translations from the Philosophical Writings of
  	{G}ottlob {F}rege},
  editor = {Peter Geach and Max Black},
  publisher = {Basil Blackwell},
  year = {1960},
  address = {Oxford},
  note = {Originally published in 1892 as ``\"Uber Sinn und Bedeutung.''
  	Translated by Max Black},
  pages = {56--78},
  xref = {English translation of: frege:1892a1.},
  rtnote = {Reading notes on file.},
  topic = {philosophy-of-language;intensionality;philosophy-classics;}
   }

@book{ frege:1893a,
  author = {Gottlob Frege},
  title = {Grundgesetze der {A}ritmetik, begriffsschriftlich
  		abgeleitet, Vol. 1},
  year = {1893},
  missinginfo = {publisher},
  address = {Jena},
  topic = {logic-classics;}
 }

@book{ frege:1903a,
  author = {Gottlob Frege},
  title = {Grundgesetze der {A}ritmetik, begriffsschriftlich
  		abgeleitet, Vol. 2},
  year = {1904},
  missinginfo = {publisher},
  address = {Jena},
  topic = {logic-classics;}
 }

@article{ frege:1918a1,
  author = {Gottlob Frege},
  title = {Der {G}edanke},
  journal = {Beitr\"age zur {P}hilosophie des deutschen {I}dealismus},
  year = {1918},
  volume = {I},
  pages = {58--77},
  xref = {English Translation: frege:1918a2.},
  topic = {philosophy-of-language;intensionality;indexicals;
  	philosophy-classics;}
  }

@article{ frege:1918a2,
  author = {Gottlob Frege},
  title = {The Thought},
  journal = {Mind, New Series},
  year = {1956},
  volume = {65},
  number = {259},
  note = {Originally published in 1918 as ``Die Gedanke.''
  	Translated by P.T. Geach},
  pages = {289--311},
  xref = {English Translation of: frege:1918a1.},
  topic = {philosophy-of-language;intensionality;indexicals;
  	philosophy-classics;}
   }

@book{ frege:1953a,
  author = {Gottlob Frege},
  title = {The Foundations of Arithmetic},
  publisher = {Oxford University Press},
  year = {1953},
  address = {Oxford},
  edition = {2nd},
  note = {(Originally published in 1884.  Translated by J.L. Austin.)},
  topic = {logic-classics;}
 }

@book{ frege:1964a,
  author = {Gottlob Frege},
  title = {The Basic Laws of Arithmetic},
  publisher = {University of California Press},
  year = {1964},
  address = {Berkeley and Los Angeles},
  note = {Originally published in 1893.  Translated and edited, with
  	an introduction, by {M}ontgomery {F}urth},
  rtnote = {In RHT Collection.  Logic shelves.},
  topic = {logic-classics;}
 }

@book{ freidin:1976a,
  author = {Robert Freidin},
  title = {The Syntactic Cycle: Proposals and Alternatives},
  publisher = {Indiana University Linguistics Club},
  year = {1976},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {nl-syntax;transformational-grammar;}
 }

@book{ freidin:1991a,
  editor = {Robert Freidin},
  title = {Principles and Parameters in Comparative Grammar},
  publisher = {The {MIT} Press},
  year = {1991},
  address = {Cambridge, Massachusetts},
  topic = {nl-syntax;principles-and-parameters-syntax;}
 }

@book{ freidin:1992a,
  author = {Robert Freidin},
  title = {Foundations of Generative Syntax},
  publisher = {The {MIT} Press},
  year = {1992},
  address = {Cambridge, Massachusetts},
  topic = {nl-syntax;principles-and-parameters-syntax;}
 }

@inproceedings{ freitag_d:1998a,
  author = {Dayne Freitag},
  title = {Toward General-Purpose Learning for Information
  	Extraction},
  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 = {404--408},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {information-extraction;machine-learning;}
}

@incollection{ freitag_h-friedrich_g:1992a,
  author = {Hartmut Freitag and Gerhard Friedrich},
  title = {Focusing on Independent Diagnosis Problems},
  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 = {521--531},
  address = {San Mateo, California},
  topic = {kr;diagnosis;}
  }

@article{ freksa:1992a,
  author = {Christian Freksa},
  title = {Temporal Reasoning Based on Semi-Intervals},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {54},
  number = {1--2},
  pages = {199--227},
  xref = {See freksa:1996a for a correction.},
  topic = {temporal-reasoning;kr;interval-logic;}
  }

@article{ freksa:1996a,
  author = {Christian Freksa},
  title = {Erratum to `Temporal Reasoning Based on Semi-Intervals'\, },
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {87},
  number = {1--2},
  pages = {387},
  xref = {Correction to freksa:1992a.},
  topic = {temporal-reasoning;kr;krcourse;}
  }

@book{ freksa-etal:1998a,
  editor = {Christian Freksa and Christopher Habel and Karl F.
  	Wender},
  title = {Spatial Cognition: An Interdisciplinary Approach to
    Representing and Processing Spatial Knowledge},
  publisher = {Springer-Verlag},
  year = {1998},
  address = {Berlin},
  ISBN = {3540646035},
  rtnote = {UMich Media Union Library, Q 387 .S71 1998.},
  topic = {spatial-reasoning;spatial-representation;cognitive-psychology;}
  }

@book{ french_pa-etal:1978a,
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard
  	K. Wettstein},
  title = {Contemporary Perspectives in the Philosophy of Language},
  publisher = {University of Minnesota Press},
  year = {1978},
  address = {Minneapolis},
  contentnote = {TC:
     1. Peter A. French and Theodore E. {Uehling, Jr.} and Howard
  	K. Wettstein, "Introduction", pp. 3--4
     2. Saul Kripke, "Speaker's Reference and Semantic
     	Reference", pp. 6--27
     3. Keith S. Donnellan, "Speaker Reference, Descriptions,
     	and Anaphora", pp. 28--44
     4. Keith S. Donnellan, "The Contingent {\it A Priori} and
     	Rigid Designators", pp. 45--60
     5. Stephen Schiffer, "Naming and Knowing", pp. 61--74
     6. Baruch A. Brody, "Kripke on Proper Names", pp. 75--80
     7. Dennis W. Stampe, "Toward a Causal Theory of Linguistic
     	Representation", pp. 81--103
     8. Jerrold J. Katz, "The Neoclassical Theory of
     	Reference", pp. 103--124
     9. Hector-Neri Casta\~neda, "On the Philosophical Foundations
     	of the Theory of Communication", pp. 125--146
    10. Howard K. Wettstein, "Proper Names and Referential
    	Opacity", pp. 147--150
    11. Hector-Neri Casta\~neda, "The Causal and Epistemic Roles
    	of Proper Names in Our Thinking of Particulars", pp. 151--158
    12. Panayot Butchvarov, "Identity", pp. 159--178
    13. Michael Levin, "Explanation and Predication in
    	Grammar", pp.  179--188
    14. David E. Cooper, "The Deletion Argument", pp. 189--194
    15. Barbara Hall Partee, "Montague Grammar, Mental
    	Representations, and Reality", pp. 195--208
    16. Richmond H. Thomason, "Home is Where the Heart
    	Is", pp. 209--219
    17. Zeno Vendler, "Telling the Facts", pp. 220--232
    18. John R. Searle, "The Logical Status of Fictional
    	Discourse", pp. 233--243
    19. David Schwayder, "A Semantics of Utterance", pp. 244--259
    20. J.O. Urmson, "Performative Utterances", pp. 260--267
    21. W.V. Quine, "Intensions Revisited", pp. 268--274
    22. Michael Root, "Quine's Thought Experiment", pp. 275--289
    23. Bruce Aune, "Root on {Q}uine", pp. 290--293
    24. Donald Davidson, "The Method of Truth in
    	Metaphysics", pp. 294--304
    25. John Wallace, "Only in the Context of a Sentence
    	Do Words Have Any Meaning", pp. 305--325
    26. Herbert Hochberg, "Mapping, Meaning, and
    	Metaphysics", pp. 326--346
    27. Nelson Goodman, "Predicates without Properties", pp. 347--348
    28. Wilfrid Sellars, "Hochberg on Mapping, Meaning, and
    	Metaphysics", pp. 349--359
    29. Herbert Hochberg, "Sellars and Goodman on Predicates,
    	Properties, and Truth", pp. 360--368
    30. Fred I. Dretske, "Referring to Events", pp. 369--378
    31. Jaegwon Kim, "Causation, Emphasis, and
    	Events", pp. 379--382
    32. David Kaplan, "Dthat", pp. 383--400
    33. David Kaplan, "On the Logic of Demonstratives", pp. 401--412
  },
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {philosophy-of-language;}
 }

@incollection{ french_pa-etal:1978b,
  author = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard
  	K. Wettstein},
  title = {Introduction},
  booktitle = {Contemporary Perspectives in the Philosophy of Language},
  publisher = {University of Minnesota Press},
  year = {1978},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard
  	K. Wettstein},
  pages = {3--4},
  address = {Minneapolis},
  topic = {philosophy-of-language;}
  }

@book{ french_pa-etal:1979a,
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  title = {Midwest Studies in Philosophy Volume {V}:
  	Studies in Metaphysics},
  publisher = {University of Minnesota Press},
  year = {1979},
  address = {Minneapolis},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {metaphysics;causality;}
 }

@book{ french_pa-etal:1984a,
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard
  	K. Wettstein},
  title = {Causation and Causal Theories},
  publisher = {University of Minnesota Press},
  year = {1984},
  address = {Minneapolis},
  note = {Midwest Studies in Philosophy 9.},
  rtnote = {HILLMAN BD541 .C19 1984},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  contentnote = {TC:
  	1. Hilary Putnam, "Is the Causal Structure of the Physical
		Itself Something Physical?"
  	2. Hector-Neri Castaneda, "Causes, Causity, and Strategy"
  	3. Peter Unger, "Minimizing Arbitrariness: Toward a
		Metaphysics of Infinitely Many Isolated Concrete
		Worlds"
  	4. David H. Sanford, "The Direction of Causation and the
		Direction of Time"
  	5. Alexander Rosenberg, "Mackie and Shoemaker on
		{D}ispositions and Properties"
  	6. Michael Tooley, "Laws and Causal Relations"
  	7. Ewan Fales, "Causation and Induction"
  	8. David S. Shwayder, "Hume Was Right, Almost, and Where He
		Wasn't, {K}ant Was"
  	9. Patrick Suppes, "Conflicting Intuitions about Causality"
       10. John Dupr\'e, "Probabilistic Causality Emancipated"
       11. John L. Pollock, "Nomic Probability"
       12. Ernan McMullan, "Two Ideals of Explanation in Natural
       		Science"
       13. Peter Achenstein, "A Type of Non-Causal Explanation"
       14. Brian Skyrms, "{EPR}: Lessons for Metaphysics"
       15. Jaegwon Kim, "Epiphenomenal and Supervenient Causes"
       16. Ernest Sosa, "Mind-Body Interaction and Supervenient
       		Causation"
       17. George Bealer, "Mind and Anti-Mind: Why Thinking Has No
       		Functional Definition"
       18. Laird Addis, "Parallelism, Interaction, and Causation"
       19. Arthur Collins, "Action, Causality and Teleological Explanation"
       20. Zeno Vendler, "Agency and Causation"
       21. Michael Devitt, "Thoughts and Their Ascription"
       22. Edward Erwin, "Establishing Causal Connections: Meta-Analysis
       		and Psychotherapy"
       23. William G. Lycan, "A Syntactically Motivated Theory of
       		Conditionals"
       24. Penelope Maddy, "How the Causal Theorist Follows a Rule"
       25. Joseph Almog, "Semantical Anthropology"
       26. Michael McKinsey, "Causality and the Paradox of Names"
       28. Fred Dretske and Berent En\c, "Causal Theories of Knowledge"
       29. Colin McGinn, "The Concept of Knowledge"
       30. James van Cleve, "Reliabiity, Justification, and the Problem
       		of Induction"
       31. Brian P. McLaughlin, "Perception, Causation, and
       		Supervenience"
       32. Chris Swoyer, "Causation and Identity"
  },
  topic = {causality;}
 }

@book{ french_pa-etal:1986a,
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  title = {Studies in Essentialism},
  publisher = {University of Minnesota Press},
  year = {1986},
  address = {Minneapolis},
  ISBN = {0816615519},
  rtnote = {UMich Graduate Library, B21 .M62 v.11.},
  topic = {essentialism;metaphysics;}
 }

@book{ french_pa-etal:1986b,
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  title = {Midwest Studies in Philosophy Volume {X}:
  	Studies in the Philosophy of Mind},
  publisher = {University of Minnesota Press},
  year = {1986},
  address = {Minneapolis},
  contentnote = {TC:
     1. Jerry A. Fodor, "Why Paramecia Don't Have Mental
     		Representations", pp. 1--23
     2. Lynne Rudder Baker, "Just What Do We Have in Mind?", pp. 25--48
     3. Brian O'Shaughnessy, "Consciousness", pp. 49--62
     4. Peter Unger, "Consciousness", pp. 63--100
     5. Sydney Shoemaker, "Introspection and Self", pp. 101--120
     6. Eddy Zemach, "Unconscious Mind or Conscious Minds?", pp. 121--149
     7. David M. Rosenthal, "Intentionality", pp. 151--184
     8. Michael Bratman, "Intention and Evaluation", pp. 185--189
     9. Hugh J. McCann, "Rationality and the Range of
     		Intention", pp. 191--211
    10. Myles Brand, "Intentional Acts and Plans", pp. 213--230
    11. George Bealer, "The Logical Status of Mind", pp. 231--274
    12. Jennifer Hornsby, "Bodily Movements, Actions, and
    		Intentionality", pp. 275--286
    13. Igal Kvart, "Kripke's Belief Puzzle", pp. 287--325
    14. Richard Foley, "Is It Possible to Have Contradictory
    		Beliefs?", pp. 327--355
    15. Curtis Brown, "What Is a Belief State?", pp. 357--378
    16. Avrun Stroll, "Seeing Surfaces", pp. 379--398
    17. Amelie Oksenberg Rorty, "The Historicity of Psychological
    		Attitudes: Love is Not Love Which Alters Not
		When it Alteration Finds", pp. 399--412
    18. Robert Kraut, "Love {\em De Re}", pp. 413--430
    19. Richard Swinburne, "The Indeterminism of Human
    		Actions", pp. 431--449
    20. David Shatz, "Free Will and the Structure of
    		Motivation", pp. 451--482
    21. Mark Bedau, "Cartesian Interaction", pp. 483--502
    22. Jay F. Rosenberg, "\,`I Think': Some Reflections on {K}ant's
    		Paralogisms", pp. 503--530
    23. Godfrey Vesey, "Concepts of Mind\,", pp. 531--557
    24. Bruce Aune, "Other Minds after Twenty Years", pp. 559--574
    25. Jerry Samet, "Concepts Troubles with {F}odor's
    		Nativism", pp. 575--594
    26. Ernest LePore and Barry Loewer, "Solipsistic
    		Semantics", pp. 595--614
    27. Ned Block, "Advertisement for a Semantics for
    		Psychology", pp. 615--678
  },
  topic = {philosophy-of-mind;}
 }

@book{ french_pa-etal:1989a,
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  title = {Contemporary Perspectives in the Philosophy of Language {II}},
  publisher = {University of Notre Dame Press},
  year = {1989},
  address = {Notre Dame},
  ISBN = {0268013748},
  rtnote = {UMich Graduate Library, B 21 .M62 v.14.},
  topic = {philosophy-of-language;}
 }

@article{ french_rm:1990a1,
  author = {Robert M. French},
  title = {Subcognition and the Limits of the {T}uring {T}est},
  journal = {Mind},
  year = {1990},
  volume = {99},
  number = {393},
  pages = {53--65},
  xref = {Republication: french_rm:1990a2},
  topic = {Turing-test;philosophy-of-mind;}
  }

@incollection{ french_rm:1990a2,
  author = {Robert M. French},
  title = {Subcognition and the Limits of the {T}uring {T}est},
  booktitle = {Machines and Thought: The Legacy of {A}lan {T}uring:
  	Volume {I}},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Peter J.R. Millican and A. Clark},
  pages = {11--26},
  address = {Oxford},
  rtnote = {In RHT collection.},
  xref = {Republication of: french_rm:1990a1},
  topic = {Turing-test;philosophy-of-mind;}
  }

@article{ french_rm:2000a,
  author = {Robert M. French},
  title = {The {T}uring Test: The First Fifty Years},
  journal = {Trends in Cognitive Sciences},
  year = {2000},
  volume = {4},
  number = {3},
  pages = {115--121},
  rtnote = {In RHT collection.},
  topic = {Turing-test;}
  }

@inproceedings{ french_rm:2000b,
  author = {Robert M. French},
  title = {The {C}hinese Room: Just Say `No'\,},
  booktitle = {Proceedings of the 22nd Annual Cognitive Science Society
  		Conference},
  year = {2000},
  editor = {Leila R. Gleitman and Arivind Joshi},
  pages = {657--662},
  organization = {Cognitive Science Society},
  publisher = {Lawrence Erlbaum Associates},
  address = {Mahwah, New Jersey},
  abstract = {It is time to view John Searle's Chinese Room thought
    experiment in a new light. The main focus of attention has always
    been on showing what is wrong (or right) with the argument, with
    the tacit assumption being that somehow there could be such a
    Room.  In this article I argue that the debate should not focus
    on the question "If a person in the Room answered all the
    questions in perfect Chinese, while not understanding a word of
    Chinese, what would the implications of this be for strong AI?"
    Rather, the question should be, "Does the very idea of such a
    Room and a person in the Room who is able to answer questions in
    perfect Chinese while not understanding any Chinese make any
    sense at all?"  And I believe that the answer, in parallel with
    recent arguments that claim that it would be impossible for a
    machine to pass the Turing Test unless it had experienced the
    world as we humans have, is no.},
  rtnote = {In RHT collection.},
  url = {http://www.u-bourgogne.fr/LEAD/people/french/just_say_no.pdf},
  topic = {philosophy-AI;foundations-of-cognition;machine-intelligence;
  	philosophical-thought-experiments;}
  }

@book{ frese-etal:1987a,
  editor = {Michael Frese and Eberhard Ulich and Wolfgang Dzida},
  title = {Psychological Issues of Human-Computer Interaction in the
  	Work Place},
  publisher = {North-Holland Publishing Co.},
  year = {1987},
  address = {Amsterdam},
  ISBN = {0444703187 (U.S.)},
  rtnote = {UMich Graduate Library, QA76.9.P75 P761 1987.},
  topic = {HCI;}
 }

@incollection{ fretheim-dommelen:1999a,
  author = {Thorstein Fretheim and Wim A. {van Dommelen}},
  title = {Building	Context with Intonation},
  booktitle = {Modeling and Using Contexts: Proceedings of
	the Second International and Interdisciplinary
	Conference, {CONTEXT}'99},
  publisher = {Springer-Verlag},
  year = {1999},
  editor = {Paolo Bouquet and Luigi Serafini and Patrick
	Br\'ezillon	and Massimo Benerecetti and Francesca
	Castellani},
  pages = {463--466},
  address = {Berlin},
  topic = {context;intonation;}
  }

@article{ freuder:1980a,
  author = {Eugene C. Freuder},
  title = {On the Knowledge Required to Label a Picture Graph},
  journal = {Artificial Intelligence},
  year = {1980},
  volume = {15},
  number = {1--2},
  pages = {1--17},
  acontentnote = {Abstract:
     I analyze the information content of scene labels and provide a
     measure for the complexity of line drawings.  The Huffman-Clowes
     label set is found to contain surprisingly little additional
     information as compared to more basic label sets.  The complexity
     of a line drawing is measured in terms of the amount of local
     labeling required to determine global labeling.  A bound is
     obtained on the number of lines which must be labeled before a
     full labeling of a line drawing is uniquely determined.  Methods
     are provided for obtaining subsets of lines whose labeling is
     sufficient to imply the labeling of the remaining lines.  I
     present an algorithm which combines local sensory probing with
     knowledge of labeling constraints to proceed directly to a
     labeling analysis of a given scene.},
  topic = {line-drawings;}
  }

@incollection{ freuder:1991a,
  author = {Eugene C. Freuder},
  title = {Completeable Representations of Constraint Satisfaction
  	Problems},
  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 = {186--195},
  address = {San Mateo, California},
  topic = {kr;kr-course;constraint-satisfaction;}
  }

@inproceedings{ freund_m:1991a,
  author = {Michael Freund},
  title = {A Semantic Characterization of Disjunctive Relations},
  booktitle = {Fundamentals of Artificial Intelligence. Research
  	International Workshop {FAIR}'91},
  year = {1991},
  pages = {72--83},
  publisher = {Springer-Verlag},
  address = {Berlin},
  note = {Lecture Notes in Artificial Intelligence 535.},
  missinginfo = {editors,check booktitle,check topic},
  topic = {belief-revision;}
  }

@incollection{ freund_m:1992a,
  author = {Michael Freund},
  title = {Supracompact Inference Operations},
  booktitle = {Nonmonotonic and Inductive Logics},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {J\"urgen Dix and Klaus P. Jantke and P.H. Schmidt},
  pages = {59--73},
  address = {Berlin},
  missinginfo = {E's 1st name.},
  topic = {nonmonotonic-logic;}
  }

@article{ freund_m:1997a,
  author = {Michael Freund},
  title = {Default Extensions: Dealing With Computer Information},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {92},
  number = {1--2},
  pages = {277--288},
  topic = {nonmonotonic-reasoning;conditionals;knowledge-integration;}
  }

@article{ freund_m:1998a,
  author = {Michael Freund},
  title = {Preferential Reasoning in the Perspective of {P}oole
		Default Logic},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {98},
  number = {1--2},
  pages = {209--235},
  topic = {default-logic;default-preferences;}
  }

@article{ freund_m:1999a,
  author = {Michael Freund},
  title = {Statics and Dynamics of Induced Systems},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {110},
  number = {1},
  pages = {103--134},
  acontentnote = {Abstract:
     A collection of formulae, regarded as a set of prerequisite-free
     normal defaults, generates a nonmonotonic inference relation
     through its Reiter skeptical extension. The structure of the
     initial set totally determines the behavior of the associated
     inference relation, and the aim of this paper is to investigate
     in two directions the link that exists between a set of defaults
     and its induced inference relation.  First, we determine the
     structural conditions corresponding to the important property of
     rationality.  For this purpose, we introduce the notion of
     stratification for a set of defaults, and prove that stratified
     sets are exactly those that induce a rational inference
     relation.  This result is shown to have interesting consequences
     in belief revision theory, as it can be used to define a
     nontrivial full meet revision operator for belief bases.  Then,
     we adopt a dynamic point of view and study the effects, on the
     induced inference relation, of a change in the set of defaults.
     In this perspective, the set of defaults, considered as a
     knowledge base, together with its induced inference relation is
     treated as an expert system. We show how to modify the original
     set of defaults in order to obtain as output a rational
     relation. We propose a revision procedure that enables the user
     to incorporate a new data in the knowledge base, and we finally

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib