text:
Millican and A. Clark},
  pages = {165--177},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-computation;}
  }

@article{ fiengo:1981a,
  author = {Robert Fiengo},
  title = {Opacity in {NP}},
  journal = {Linguistic Analysis},
  year = {1981},
  volume = {7},
  number = {4},
  pages = {395--421},
  topic = {referential-opacity;nl-semantics;}
  }

@article{ fiengo:2003a,
  author = {Robert Fiengo},
  title = {Linguistic Intuitions},
  journal = {Philosophical Forum},
  year = {2003},
  volume = {34},
  number = {3--4},
  pages = {253--266},
  url = {http://web.gc.cuny.edu/dept/LINGU/people/bob/doc/LinguisticIntuitions.pdf},
  rtnote = {In RHT collection.},
  topic = {linguistics-methodology;philosophy-of-linguistics;}
  }

@article{ fiengo-lasnik:1972a,
  author = {Robert Fiengo and Howard Lasnik},
  title = {The Logical Structure of Reciprocal Sentences in
  	{E}nglish},
  journal = {Foundations of Language},
  year = {1972},
  volume = {8},
  pages = {447--468},
  missinginfo = {Year, volume are a guess.},
  rtnote = {In RHT collection.},
  topic = {reciprical-constructions;}
  }

@book{ fiengo-may_r:1994a,
  author = {Robert Fiengo and Robert May},
  title = {Indices and Identity},
  publisher = {The {MIT} Press},
  year = {1994},
  address = {Cambridge, Massachusetts},
  topic = {nl-semantics;anaphora;LF;}
 }

@incollection{ fiengo-may_r:1996a,
  author = {Robert Fiengo and Robert May},
  title = {Anaphora and Identity},
  booktitle = {The Handbook of Contemporary Semantic Theory},
  publisher = {Blackwell Publishers},
  year = {1996},
  address = {Oxford},
  editor = {Shalom Lappin},
  pages = {117--144},
  topic = {nl-semantics;anaphora;}
  }

@article{ fiengo-may_r:1998a,
  author = {Robert Fiengo and Robert May},
  title = {Names and Expressions},
  journal = {The Journal of Philosophy},
  year = {1998},
  volume = {95},
  number = {8},
  pages = {377--409},
  topic = {reference;identity;intensionality;Pierre-puzzle;}
  }

@article{ figdor:2008a,
  author = {Carrie Figdor},
  title = {Intrinsically/Extrinsoically},
  journal = {The Journal of Philosophy},
  year = {2008},
  volume = {105},
  number = {11},
  pages = {691--718},
  topic = {internal/external-properties;}
  }

@article{ fikes:1970a,
  author = {Richard E. Fikes},
  title = {{REF-ARF}: A System for Solving Problems Stated as
  	Procedures},
  journal = {Artificial Intelligence},
  year = {1970},
  volume = {1},
  number = {1--2},
  pages = {27--120},
  topic = {problem-solving;}
  }

@article{ fikes:1981a,
  author = {Richard E. Fikes},
  title = {Odyssey: A Knowledge-Based Assistant},
  journal = {Artificial Intelligence},
  year = {1981},
  volume = {16},
  number = {3},
  pages = {331--361},
  acontentnote = {Abstract:
     We describe an investigation into the representation and use of
     task domain knowledge to assist with the acquisition of data in
     an office information system. In particular, a demonstration
     system called Odyssey is described which assists with the
     filling out of a collection of electronic forms in the
     preparation for a business trip. The system uses knowledge about
     trip planning to maintain consistency of the acquired data,
     infer additional values and data base records, reformat field
     entries on the forms, correct spelling errors, etc. We discuss
     the `frame oriented' style of programming used to design and
     implement Odyssey that combines `frame-structured' knowledge
     representation and `object oriented' programming. We focus on
     the problems involved with allowing the user at any time to
     enter or change information in any of the forms. A dependency
     maintenance facility is described that deals with those problems
     by allowing the application of domain knowledge to data whenever
     it enters the data base, and the removal of derived results
     whenever the data used in the derivation is removed or changed.},
  topic = {frames;planning;kr;}
  }

@incollection{ fikes:1996a,
  author = {Richard Fikes},
  title = {Ontologies: What are They, and Where's the Research?},
  booktitle = {{KR}'96: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro},
  pages = {652--654},
  address = {San Francisco, California},
  topic = {kr;computational-ontology;kr-course;}
  }

@article{ fikes-etal:1972a1,
  author = {Richard E. Fikes and P.E. Hart and Nils J. Nilsson},
  title = {Learning and Executing Generalized Robot Plans},
  journal = {Artificial Intelligence},
  pages = {251--288},
  volume = {3},
  number = {1--3},
  year = {1972},
  xref = {Republication: fikes-etal:1972a1.},
  topic = {machine-learning;planning;}
 }

@incollection{ fikes-etal:1981a,
  author = {Richard Fikes and Peter Hart and Nils J. Nilsson},
  title = {Learning and Executing Generalized Robot Plans},
  booktitle = {Readings in Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  year = {1981},
  editor = {Bonnie Webber and Nils J. Nilsson},
  pages = {231--249},
  address = {Los Altos, California},
  xref = {Journal Publication: fikes-etal:1972a1.},
  topic = {planning;}
  }

@unpublished{ fikes-farquhar:1997a,
  author = {Richard Fikes and Adam Farquhar},
  title = {Large-Scale Repositories of Highly Expressive Reusable
  	Knowledge},
  year = {1997},
  note = {Unpublished manuscript, Knowledge Systems Laboratory,
  	Stanford University},
  rtnote = {In RHT collection.},
  topic = {kr;krcourse;large-kr-systems;computational-ontology;}
  }

@incollection{ fikes-hendrix_gg:1978a,
  author = {Richard E. Fikes and Gary G. Hendrix},
  title = {The Deduction Component},
  booktitle = {Understanding Spoken Language},
  publisher = {North-Holland},
  year = {1978},
  editor = {Donald E. Walker},
  pages = {355--374},
  address = {Amsterdam},
  topic = {computational-dialogue;discourse-reasoning;theorem-proving;}
  }

@article{ fikes-kehler_t:1985a,
  author = {Richard Fikes and Tom Kehler},
  title = {The Role of Frame-Based Representation in Reasoning},
  journal = {Communications of the {ACM}},
  year = {1985},
  volume = {28},
  number = {9},
  pages = {904--920},
  month = {September},
  contentnote = {Describes KEE, explains its use to manage rules in a
  	production system.  General discussion of frames as KR
	technique.},
  topic = {kr;frames;kr-course;}
  }

@article{ fikes-nilsson_nj:1971a,
  author = {Richard E. Fikes and  Nils J. Nilsson},
  title = {{\sc strips}: A New Approach to the Application of Theorem
  	Proving to Problem Solving},
  journal = {Artificial Intelligence},
  volume = {2},
  number = {3--4},
  year = {1971},
  pages = {189--208},
  xref = {Commentary: fikes-nilsson_nj:1993a.},
  topic = {foundations-of-planning;STRIPS;}
  }

@article{ fikes-nilsson_nj:1993a,
  author = {Richard E. Fikes and  Nils J. Nilsson},
  title = {{STRIPS}, a Retrospective},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {227--232},
  xref = {Commentary on  fikes-nilsson_nj:1971a.},
  topic = {foundations-of-planning;STRIPS;}
  }

@inproceedings{ filali-bilmes:2005a,
  author = {Karim Filali and Jeff Bilmes},
  title = {A Dynamic {B}ayesian Framework to Model Context and Memory
  		in Edit Distance Learning: An Application to Pronunciation
		Classification},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {338--345},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1042},
  topic = {edit-distance;machine-learning;}
  }

@inproceedings{ filip:2001a,
  author = {Hana Filip},
  title = {The Semantics of Case in {R}ussian Secondary Predication},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XI}},
  publisher = {Cornell University},
  year = {2001},
  editor = {Rachel Hastings and Brendan Jackson and Zsofia Zvolenszky},
  pages = {192--211},
  address = {Ithaca, New York},
  topic = {nl-semantics;Russian-language;i-level/s-level;predication;}
  }

@article{ filip-carlson_g:2001a,
  author = {Hana Filip and Gregory N. Carlson},
  title = {Distibutivity Strengthens Reciprocity, Collectivity
  	Weakens It},
  journal = {Linguistics and Philosophy},
  year = {2001},
  volume = {24},
  number = {4},
  pages = {417--466},
  topic = {distributive/collective-readings;reciprical-constructions;}
  }

@article{ filippova-strube:2007a,
  author = {Katia Filippova and Michael Strube},
  title = {The {G}erman {V}orfeld and Local Coherence},
  journal = {Journal of Logic, Language, and Information},
  year = {2007},
  volume = {16},
  number = {4},
  pages = {465--485},
  topic = {coherence;computational-dialogue;}
  }

@incollection{ fillmore:1968a,
  author = {Charles J. Fillmore},
  title = {The Case for Case},
  booktitle = {Universals in Linguistic Theory},
  publisher = {Holt, Rinehart and Winston},
  year = {1968},
  editor = {Emmon Bach and Robert Harms},
  pages = {1--88},
  address = {New York},
  topic = {thematic-roles;}
  }

@book{ fillmore:1971a2,
  author = {Charles Fillmore},
  title = {Lectures on Deixis},
  publisher = {Cambridge University Press},
  year = {1996},
  address = {Cambridge, England},
  rtnote = {2 copies in RHT collection.
  	    1 in LLP single author shelves.  1 in office.
	    This is pretty much the same as fillmore:1975a.},
  xref = {IULC Publication: fillmore:1975a.},
  topic = {deixis;pragmatics;}
 }

@incollection{ fillmore:1971a,
  author = {Charles J. Fillmore},
  title = {Verbs of Judging: An Exercise in Semantic Description},
  booktitle = {Studies in Linguistic Semantics},
  publisher = {Holt, Rinehart and Winston},
  year = {1971},
  editor = {Charles J. Fillmore and D. Terence Langendoen},
  pages = {273--289},
  address = {New York},
  rtnote = {pragmatics-course;},
  topic = {presupposition;pragmatics;}
  }

@incollection{ fillmore:1971b,
  author = {Charles J. Fillmore},
  title = {Types of Lexical Information},
  booktitle = {Semantics: An Interdisciplinary Reader in Philosophy,
  	Linguistics, and Psychology},
  publisher = {Cambridge University Press},
  year = {1971},
  editor = {Danny D. Steinberg and Leon A. Jacobovits},
  pages = {370--392},
  address = {Cambridge, England},
  topic = {lexical-semantics;lexicon;}
  }

@book{ fillmore:1971c,
  editor = {Charles J. Fillmore},
  title = {Working Papers in Linguistics No. 10},
  publisher = {Department of Linguistics, The Ohio State University},
  year = {1971},
  address = {Columbus, Ohio},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {case-grammar;}
 }

@incollection{ fillmore:1972a,
  author = {Charles Fillmore},
  title = {On Generativity},
  booktitle = {Goals of Linguistic Theory},
  publisher = {Prentice-Hall, Inc.},
  year = {1972},
  editor = {Stanley Peters},
  pages = {1--19},
  address = {Englewood Cliffs, New Jersey},
  topic = {transformational-grammar;philosophy-of-linguistics;}
  }

@incollection{ fillmore:1972b,
  author = {Charles J. Fillmore},
  title = {Subjects, Speakers and Roles},
  booktitle = {Semantics of Natural Language},
  publisher = {D. Reidel Publishing Co.},
  year = {1972},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {1--24},
  address = {Dordrecht},
  topic = {nl-semantics;thematic-roles;lexical-semantics;}
  }

@book{ fillmore:1975a1,
  author = {Charles J. Fillmore},
  title = {Santa {C}ruz Lectures on Deixis},
  publisher = {Indiana University Linguistics Club},
  year = {1975},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  xref = {Republication: fillmore:1975a2.},
  rtnote = {pragmatics-course;},
  topic = {indexicals;deixis;pragmatics;}
 }

@incollection{ fillmore:1977a,
  author = {Charles J. Fillmore},
  title = {The Case for Case Reopened},
  booktitle = {Syntax and Semantics 8: Grammatical Relations},
  publisher = {Academic Press},
  year = {1977},
  editor = {Peter Cole and Jerry M. Sadock},
  pages = {59--81},
  address = {New York},
  topic = {thematic-roles;}
  }

@incollection{ fillmore:1977b,
  author = {Charles J. Fillmore},
  title = {Scenes-and-Frames Semantics},
  booktitle = {Linguistic Structures Processing},
  publisher = {North-Holland Publishing Co.},
  year = {1977},
  editor = {Antonio Zampolli},
  missinginfo = {pages},
  topic = {nl-semantics;}
  }

@incollection{ fillmore:1981a,
  author = {Charles J. Fillmore},
  title = {Pragmatics and the Description of Discourse},
  booktitle = {Radical Pragmatics},
  publisher = {Academic Press},
  year = {1981},
  editor = {Peter Cole},
  pages = {143--166},
  address = {New York},
  rtnote = {This is the paper with the passage about "The Killers".},
  rtnote = {Reading notes on file.},
  rtnote = {In RHT collection.},
  topic = {pragmatics;deixis;}
  }

@book{ fillmore-langendoen:1971a,
  editor = {Charles J. Fillmore and D. Terence Langendoen},
  title = {Studies in Linguistic Semantics},
  publisher = {Holt, Rinehart and Winston},
  year = {1971},
  address = {New York},
  rtnote = {An early collection, mostly of historical interest.},
  topic = {presupposition;pragmatics;nl-semantics;}
 }

@incollection{ filman:1991a,
  author = {Robert E. Filman},
  title = {Ascribing Artificial Intelligence to (Simpler)
     		Machines, or When {AI} Meets the Real World},
  booktitle = {Artificial Intelligence and Mathematical Theory of
  	Computation},
  publisher = {Academic Press},
  year = {1991},
  editor = {Vladimir Lifschitz},
  pages = {73--89},
  address = {San Diego},
  topic = {ai-editorial;}
  }

@unpublished{ fine_a:1980a,
  author = {Arthur Fine},
  title = {Hidden Variables, Joint Probability, and the {B}ell
  	Inequalities},
  year = {1980},
  note = {Unpublished manuscript, University of Illinois at
  	Chicago Circle.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {Bell-inequalities;foundations-of-quantum-mechanics;}
  }

@article{ fine_a:1982a,
  author = {Arthur Fine},
  title = {Joint Distributions, Quantum Correlations, and Commuting
  	Observables},
  journal = {Journal of Mathematical Physics},
  year = {1982},
  volume = {3},
  pages = {1306--1310},
  missinginfo = {number},
  rtnote = {tmix-project;},
  topic = {foundations-of-quantum-mechanics;}
  }

@article{ fine_g:1977a,
  author = {Gail Fine},
  title = {Plato on Naming},
  journal = {The Philosophical Quarterly},
  year = {1977},
  volume = {27},
  number = {109},
  pages = {289--301},
  rtnote = {In RHT collection.},
  topic = {Plato;reference;philosophy-of-language;}
  }

@article{ fine_g:1979a,
  author = {Gail Fine},
  title = {False Belief in the {T}heaetetus},
  journal = {Phronesis},
  year = {1979},
  volume = {24},
  number = {1},
  pages = {70--80},
  rtnote = {In RHT collection.},
  topic = {Plato;philosophy-of-belief;}
  }

@article{ fine_k:1970a,
  author = {Kit Fine},
  title = {Propositional Quantifiers in Modal Logic},
  journal = {Theoria},
  year = {1970},
  volume = {36},
  pages = {336--346},
  missinginfo = {number.},
  rtnote = {In RHT collection.},
  topic = {higher-order-modal-logic;propositional-quantifiers;}
  }

@unpublished{ fine_k:1971a,
  author = {Kit Fine},
  title = {Critical Review of {D}. {L}ewis' `Counterfactuals'\, },
  year = {1971},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.  No doubt this was published
  	somewhere.},
  missinginfo = {Year is a guess.},
  topic = {conditionals;}
  }

@article{ fine_k:1972a,
  author = {Kit Fine},
  title = {In So Many Possible Worlds},
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1972},
  volume = {13},
  number = {4},
  pages = {516--520},
  topic = {modal-logic;graded-modal-logic;}
  }

@article{ fine_k:1974a,
  author = {Kit Fine},
  title = {Models for Entailment},
  journal = {Journal of Philosophical Logic},
  year = {1974},
  volume = {3},
  number = {4},
  pages = {347--372},
  topic = {relevance-logic;}
  }

@article{ fine_k:1975a1,
  author = {Kit Fine},
  title = {Vagueness, Truth and Logic},
  journal = {Synth\'ese},
  year = {1975},
  volume = {30},
  pages = {265--300},
  missinginfo = {number.},
  rtnote = {In RHT collection.},
  xref = {Republication: fine_k:1975a1.},
  topic = {vagueness;}
  }

@incollection{ fine_k:1975a2,
  author = {Kit Fine},
  title = {Vagueness, Truth, and Logic},
  booktitle = {Vagueness: A Reader},
  publisher = {The {MIT} Press},
  year = {1997},
  editor = {Rosanna Keefe and Peter Smith},
  pages = {119--150},
  address = {Cambridge, Massachusetts},
  xref = {Republication of fine_k:1975a1.},
  topic = {vagueness;}
  }

@article{ fine_k:1977a,
  author = {Kit Fine},
  title = {Properties, Propositions and Sets},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {6},
  number = {2},
  pages = {135--191},
  topic = {intensional-logic;}
  }

@article{ fine_k:1978a,
  author = {Kit Fine},
  title = {Model Theory for Modal Logic Part I---The
  	{\em De Re\/}/{\em De Dicto} Distinction},
  journal = {Journal of Philosophical Logic},
  year = {1978},
  volume = {7},
  number = {2},
  pages = {125--156},
  topic = {modal-logic;quantifying-in-modality;singular-propositions;}
  }

@article{ fine_k:1978b,
  author = {Kit Fine},
  title = {Model Theory for Modal Logic---Part {II}: The Elimination of
  	{\em De Re} Modality},
  journal = {Journal of Philosophical Logic},
  year = {1978},
  volume = {7},
  number = {3},
  pages = {277--306},
  topic = {modal-logic;quantifying-in-modality;singular-propositions;}
  }

@article{ fine_k:1981a,
  author = {Kit Fine},
  title = {Model Theory for Modal Logic---Part {III}, Existence and
  	Predication},
  journal = {Journal of Philosophical Logic},
  year = {1981},
  volume = {10},
  number = {2},
  pages = {293--307},
  topic = {modal-logic;quantifying-in-modality;reference-gaps;}
  }

@unpublished{ fine_k:1981b,
  author = {Kit Fine},
  title = {Acts, Events and Things},
  year = {1981},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  topic = {identity;individuation;}
  }

@article{ fine_k:1983a,
  author = {Kit Fine},
  title = {The Permutation Principle in Quantificational Logic},
  journal = {Journal of Philosophical Logic},
  year = {1983},
  volume = {12},
  number = {1},
  pages = {33--37},
  topic = {axiomatizations-of-FOL;}
  }

@incollection{ fine_k:1984a,
  author = {Kit Fine},
  title = {A Defense of Arbitrary Objects},
  booktitle = {Varieties of Formal Semantics},
  publisher = {Foris Publications},
  year = {1984},
  editor = {Fred Landman and Frank Veltman},
  pages = {123--142},
  address = {Dordrecht},
  xref = {Same as fine_k:1983a?},
  topic = {arbitrary-objects;}
  }

@article{ fine_k:1985a,
  author = {Kit Fine},
  title = {Natural Deduction and Arbitrary Objects},
  journal = {Journal of Philosophical Logic},
  year = {1985},
  volume = {14},
  number = {1},
  pages = {57--107},
  topic = {arbitrary-objects;proof-theory;}
  }

@article{ fine_k:1988a,
  author = {Kit Fine},
  title = {Semantics for Quantified Relevance Logic},
  journal = {Journal of Philosophical Logic},
  year = {1988},
  volume = {17},
  number = {1},
  pages = {27--59},
  topic = {relavance-logic;}
  }

@incollection{ fine_k:1988b,
  author = {Kit Fine},
  title = {Senses of Essence},
  booktitle = {Modality, Morality, and Belief: Essays in Honor of {R}uth
  	{B}arcan {M}arcus},
  publisher = {Cambridge University Press},
  year = {1988},
  address = {Cambridge, England},
  pages = {53--73},
  rtnote = {In RHT collection.},
  topic = {metaphysics;essence;essentialism;modal-logic;}
  }

@incollection{ fine_k:1990a,
  author = {Kit Fine},
  title = {Quine on Quantifying In},
  booktitle = {Propositional Attitudes: The Role of Content in Logic,
  	Language, and Mind},
  publisher = {Center for the Study of Language and Information},
  year = {1990},
  editor = {C. Anthony Anderson and Joseph Owens},
  pages = {1--25},
  address = {Stanford, California},
  topic = {Quine;quantifying-in-modality;}
  }

@incollection{ fine_k:1994a,
  author = {Kit Fine},
  title = {Essence and Modality: The Second Philosophical
		Perspectives Lecture},
  booktitle = {Philosophical Perspectives, Volume 8:
  	Logic and Language},
  publisher = {Blackwell Publishers},
  year = {1994},
  editor = {James E. Tomberlin},
  pages = {1--16},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  rtnote = {In RHT collection.},
  topic = {metaphysics;essence;essentialism;modal-logic;
  	internal/external-properties;}
  }

@article{ fine_k:1995a,
  author = {Kit Fine},
  title = {The Logic of Essence},
  journal = {Journal of Philosophical Logic},
  year = {1995},
  volume = {24},
  number = {3},
  pages = {241--273},
  topic = {modal-logic;reference;individuation;}
  }

@article{ fine_k:1998a,
  author = {Kit Fine},
  title = {Cantorian Abstractionism: A Reconstruction and Defense},
  journal = {Journal of Philosophy},
  year = {1998},
  volume = {95},
  number = {12},
  pages = {599--634},
  topic = {foundations-of-set-theory;philosophy-of-mathematics;}
  }

@article{ fine_k:2000a,
  author = {Kit Fine},
  title = {Neutral Relations},
  journal = {The Philosophical Review},
  year = {2000},
  volume = {109},
  number = {1},
  pages = {1--33},
  topic = {metaphysics;relations;}
  }

@article{ fine_k:2000b,
  author = {Kit Fine},
  title = {Semantics for the Logic of Essence},
  journal = {Journal of Philosophical Logic},
  year = {2000},
  volume = {29},
  number = {5},
  pages = {543--584},
  topic = {metaphysics;essence;essentialism;modal-logic;}
  }

@book{ fine_k:2002a,
  author = {Kit Fine},
  title = {The Limits of Abstraction},
  publisher = {Oxford University Press},
  year = {2002},
  address = {Oxford},
  xref = {Review: urquhart:2004a.},
  topic = {logicism;higher-order-logic;}
 }

@article{ fine_k:2003a,
  author = {Kit Fine},
  title = {The Role of Variables},
  journal = {The Journal of Philosophy},
  year = {2003},
  volume = {100},
  number = {12},
  pages = {605--631},
  topic = {semantics-of-variables;}
  }

@article{ fine_k:2005a,
  author = {Kit Fine},
  title = {Class and Membership},
  journal = {The Journal of Philosophy},
  year = {2005},
  volume = {102},
  number = {11},
  pages = {547--572},
  topic = {foundations-of-set-theory;Russell-paradox;}
  }

@article{ fine_k:2006a,
  author = {Kit Fine},
  title = {In Defense of Three-Dimensionalism},
  journal = {The Journal of Philosophy},
  year = {2006},
  volume = {103},
  number = {1},
  pages = {699--714},
  topic = {mereology;metaphysics;}
  }

@incollection{ fine_k:2006b,
  author = {Kit Fine},
  title = {Relatively Unrestricted Quantification},
  booktitle = {Absolute Generality},
  publisher = {Oxford University Press},
  year = {2006},
  editor = {August\'in Rayo and Gabriel Uzquiano},
  pages = {20--44},
  address = {Oxford},
  topic = {philosophical-ontology;unrestrictive-quantification;}
  }

@book{ fine_k:2007a,
  author = {Kit Fine},
  title = {Modality and Tense: Philosophical Papers},
  publisher = {Oxford University Press},
  year = {2007},
  address = {Oxford},
  xref = {Review: forbes_g:2008a},
  topic = {philosophy-of-possible-worlds;quantifying-in-modality;}
 }

@incollection{ fine_k:2008a,
  author = {Kit Fine},
  title = {The Impossibility of Vagueness},
  booktitle = {Philosophical Perspectives 22, 2008: Philosophy of
  		Language},
  publisher = {Blackwell Publishers},
  year = {2008},
  editor = {John Hawthorne},
  pages = {111--136},
  address = {Oxford},
  topic = {vagueness;sorites-paradox;}
  }

@article{ fine_k-mccarthy_t:1984a,
  author = {Kit Fine and Timothy McCarthy},
  title = {Truth without Satisfaction},
  journal = {Journal of Philosophical Logic},
  year = {1984},
  volume = {13},
  number = {4},
  pages = {397--421},
  topic = {truth-definitions;}
  }

@incollection{ fine_k-schurz:1996a,
  author = {Kit Fine and Gerhard Schurz},
  title = {Transfer Theorems for Multimodal Logics},
  booktitle = {Logic and Reality: Essays on the Legacy of {A}rthur
  	{P}rior},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Jack Copeland},
  pages = {169--213},
  address = {Oxford},
  contentnote = {Transfer theorems have to do with transferring
  	properties of monomodal logics to the combination.},
  rtnote = {tmix-project;},
  topic = {modal-logic;}
  }

@article{ fine_k-tennant_n:1983b,
  author = {Kit Fine and Neil Tennant},
  title = {A Defence of Arbitrary Objects},
  journal = {Proceedings of the {A}ristotelian Society},
  year = {1983},
  volume = {57},
  note = {Supplementary Series.},
  pages = {55--77},
  rtnote = {In RHT collection.},
  xref = {Same as fine_k:1984a?},
  topic = {arbitrary-objects;}
 }

@article{ fingarette:1967a,
  author = {Herbert Fingarette},
  title = {Performatives},
  journal = {American Philosophical Quarterly},
  year = {1967},
  volume = {4},
  pages = {39--48},
  missinginfo = {number},
  topic = {speech-acts;pragmatics;}
  }

@phdthesis{ finger_j:1986a,
  author = {J.J. Finger},
  title = {Exploiting Constraints in Design Synthesis},
  school = {Department of Computer Science, Stanford University},
  year = {1986},
  type = {Ph.{D}. Dissertation},
  address = {Stanford, California},
  missinginfo = {A's 1st name.  Check date. Some refs say 1987.},
  contentnote = {This is what Stickel calls "predicate specific abduction".
  	Also, this is the original reference for the so-called
	"ramification problem".},
  topic = {abduction;theorem-proving;}
 }

@article{ finger_m:1997a,
  author = {Marcelo Finger},
  title = {Review of \emph{{T}he Imperative Future: Principles of
  	Executable Temporal Logic}, by {H}. {B}arringer, {M}. {F}isher, {D}.
	{G}abbay, {R}.  {O}wens and {M}. {R}eynolds},
  journal = {Journal of Logic, Language, and Information},
  year = {1997},
  volume = {6},
  number = {1},
  pages = {105--106},
  topic = {temporal-logic;temporal-reasoning;software-engineering;}
  }

@article{ finger_m-gabbay:1992a,
  author = {Marcelo Finger and Dov M. Gabbay},
  title = {Adding a Temporal Dimension to a Logic System},
  journal = {Journal of Logic, Language, and Information},
  year = {1992},
  volume = {1},
  number = {3},
  pages = {203--233},
  rtnote = {tmix-project;},
  topic = {temporal-logic;}
  }

@article{ finger_m-gabbay:2006a,
  author = {Marcello Finger and Dov Gabbay},
  title = {Cut and Pay},
  journal = {Journal of Logic, Language, and Information},
  year = {2006},
  volume = {15},
  number = {3},
  pages = {195--218},
  topic = {proof-theory;resource-aware-logics;}
  }

@phdthesis{ finin:1980a,
  author = {Timothy W. Finin},
  title = {The Semantic Interpretation of Compound Nominals},
  school = {University of Illinois},
  year = {1980},
  type = {Ph.{D}. Dissertation},
  address = {Urbana, Illinois},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  topic = {compound-nouns;}
 }

@incollection{ finin:1989a,
  author = {Timothy W. Finin},
  title = {{GUMS}---A General User Modeling Shell},
  booktitle = {User Models in Dialog Systems},
  publisher = {Springer-Verlag},
  year = {1989},
  editor = {Alfred Kobsa and Wolfgang Wahlster},
  pages = {411--430},
  address = {Berlin},
  topic = {user-modeling;}
 }

@article{ finin-etal:2008a,
  author = {Tim Finin and Anupam Joshi and Pranam Kolari and
  		Akshay Java and Anubhav Kale and Amit Karandikar},
  title = {The Information Ecology of Social Media and Online
  		Communities},
  journal = {The {AI} Magazine},
  year = {2008},
  volume = {29},
  number = {3},
  pages = {77--92},
  topic = {online-communities;}
  }

@article{ fink-yang_q:1997a,
  author = {Eugene Fink and Qiang Wang},
  title = {Automatically Selecting and Using Primary Effects in
  	Planning: Theory and Experiments},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {89},
  number = {1--2},
  pages = {285--315},
  topic = {planning;search;}
  }

@inproceedings{ finkel_jr-etal:2005a,
  author = {Jenny Rose Finkel and Trond Grenager and Christopher
  	Manning},
  title = {Incorporating Non-local Information into Information
  		Extraction Systems by {G}ibbs Sampling},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {363--370},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1045},
  topic = {information-extraction;Gibbs-sampling;}
  }

@article{ finkel_ra-fishburn_jp:1982a,
  author = {Raphael A. Finkel and John P. Fishburn},
  title = {Parallelism in Alpha-Beta Search},
  journal = {Artificial Intelligence},
  year = {1982},
  volume = {19},
  number = {1},
  pages = {89--106},
  topic = {search;}
  }

@article{ finkelstein_d:1977a,
  author = {David Finkelstein},
  title = {The {L}eibniz Project},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {6},
  number = {4},
  pages = {425--439},
  topic = {quantum-logic;}
  }

@incollection{ finkelstein_d:1988a,
  author = {David Finkelstein},
  title = {Finite Physics},
  booktitle = {The Universal {T}uring Machine: A Half-Century
  	Survey},
  publisher = {Oxford University Press},
  year = {1988},
  editor = {Rolf Herkin},
  pages = {349--376},
  address = {Oxford},
  contentnote = {Idea is to use ideas from theory of computation to
  	reformulate QM.},
  topic = {foundations-of-physics;}
  }

@article{ finkelstein_l-markovitch:2001a,
  author = {Lev Finkelstein and Shaul Markovitch},
  title = {Optimal Schedules for Monitoring Anytime Algorithms},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {126},
  number = {1--2},
  pages = {63--108},
  topic = {anytime-algorithms;metareasoning;}
  }

@incollection{ finn-etal:1994a,
  author = {V.K. Finn and O.M. Anshakov and R.Sh. Grigola and M.I.
     	Zabeshailo},
  title = {Many-Valued Logics as Fragments of Formalized
	Semantics},
  booktitle = {Intensional Logic:  Theory and Applications},
  publisher = {The Philosophical Society of Finland},
  year = {1994},
  editor = {Ilkka Niiniluoto and Esa Saarinen},
  pages = {239--272},
  address = {Helsinki},
  topic = {multivalued-logic;}
  }

@inproceedings{ firby-etal:1995a,
  author = {R. James Firby and Roger E. Kahn and Peter N.
  	Prokopopowitz and Michael J. Swain},
  title = {An Architecture for Vision and Action},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {72--79},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {foundations-of-robotics;}
  }

@incollection{ firozabadi-etal:1998a,
  author = {B. Sadighi Firozabadi and Y.-H. Tan and R.M. Lee},
  title = {Formal Definitions of Fraud},
  booktitle = {Norms, Logics and Information Systems.  New Studies in
		Deontic Logic and Computer Science},
  publisher = {IOS Press},
  year = {1998},
  editor = {Henry Prakken and Paul McNamara},
  pages = {275--288},
  address = {Amsterdam},
  topic = {logic-and-law;}
  }

@incollection{ firth:1969a,
  author = {Roderick Firth},
  title = {Austin's Argument From Illusion},
  booktitle = {Symposium on J.L. Austin},
  publisher = {Routledge and Kegan Paul},
  year = {1969},
  editor = {K.T. Fann},
  pages = {254--266},
  address = {London},
  missinginfo = {E's 1st name.},
  topic = {JL-Austin;phenomenalism;}
  }

@incollection{ fischer_b-etal:1998a,
  author = {B. Fischer et al.},
  title = {Deduction-Based Software Component Retrieval},
  booktitle = {Automated Deduction: A Basis for Applications.
  	Volume {III}, Applications},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Wolfgang Bibel and Peter H. Schmidt},
  address = {Dordrecht},
  missinginfo = {A's 1st name, pages},
  topic = {theorem-proving;applied-logic;software-engineering;}
  }

@incollection{ fischer_dm:1997a,
  author = {Dietrich H. Fischer},
  title = {Formal Redundancy and Consistency
     		Checking Rules for the Lexical Database
		{W}ord{N}et},
  booktitle = {Automatic Information Extraction and Building of
  	Lexical Semantic Resources for {NLP} Applications},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Piek Vossen and Geert Adriaens and Nicoletta Calzolari
  	and Antonio Sanfilippo and Yorick Wilks},
  pages = {22--31},
  address = {New Brunswick, New Jersey},
  topic = {wordnet;consistency-checking;}
  }

@book{ fischer_jm:1995a,
  author = {John Martin Fischer},
  title = {The Metaphysics of Free Will},
  publisher = {Blackwell Publishers},
  year = {1995},
  address = {Oxford},
  contentnote = {A defense of compatibilism.},
  topic = {freedom;volition;}
 }

@article{ fischer_jm:1999a,
  author = {John Martin Fischer},
  title = {Mele's {\it Autonomous Agents: From Self-Control
  	to Autonomy}},
  journal = {No\^us},
  year = {1999},
  volume = {33},
  number = {3},
  pages = {133--143},
  xref = {Review of: mele:1995a.},
  topic = {action;volition;akrasia;}
  }

@book{ fischer_jm-ravizza:1994a,
  author = {John Martin Fischer and Mark Ravizza},
  title = {Responsibility and Control:  A Theory of Moral
  	Responsibility},
  publisher = {Blackwell Publishers},
  year = {1995},
  address = {Oxford},
  contentnote = {A defense of compatibilism.},
  topic = {freedom;volition;responsibility;}
 }

@book{ fischer_jm-ravizza:1998a,
  author = {John Martin Fischer and Mark Ravizza},
  title = {Responsibility and Control: A Theory of Moral
  	Responsibility},
  publisher = {Cambridge University Press},
  year = {1998},
  address = {Cambridge, England},
  xref = {Review: mckenna:2001a.},
  topic = {freedom;volition;}
 }

@incollection{ fischer_k-brandtpook:1998a,
  author = {Kerstin Fischer and Hans Brandt-Pook},
  title = {Automatic Disambiguation of Discourse Particles},
  booktitle = {Discourse Relations and Discourse Markers:  Proceedings
  	of the Conference},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Manfred Stede and Leo Wanner and Eduard Hovy},
  pages = {107--113},
  address = {Somerset, New Jersey},
  topic = {discourse-cue-words;discourse-structure;disambiguation;}
  }

@techreport{ fischer_mj:1986a,
  author = {Michael J. Fischer},
  title = {The Consensus Problem in Unreliable Distributed Systems},
  institution = {Yale University},
  number = {RR--273},
  year = {1986},
  address = {New Haven, Connecticut},
  topic = {distributed-systems;protocol-analysis;mutual-belief;}
  }

@inproceedings{ fischer_mj-immerman:1986a,
  author = {Michael J. Fischer and Neil Immerman},
  title = {Foundations of Knowledge for Distributed Systems},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the First Conference},
  year = {1986},
  editor = {Joseph Y. Halpern},
  pages = {171--185},
  publisher = {Morgan Kaufmann Publishers, Inc.},
  address = {Los Altos, California},
  topic = {epistemic-logic;distributed-systems;}
  }

@article{ fischer_mj-immerman:1987a,
  author = {Michael J. Fischer and Neil Immerman},
  title = {Interpreting Logics of Knowledge in Propositional Dynamic
  	Logic With Converse},
  journal = {Information Processing Letters},
  year = {1987},
  volume = {25},
  number = {3},
  pages = {175--182},
  topic = {epistemic-logic;dynamic-logic;}
  }

@article{ fischer_mj-ladner:1979a,
  author = {Michael J. Fischer and R.E. Ladner},
  title = {Propositional Dynamic Logic of Regular Programs},
  journal = {Journal of Computer and System Sciences},
  year = {1979},
  volume = {18},
  number = {2},
  pages = {194--211},
  topic = {dynamic-logic;}
  }

@techreport{ fischer_mj-zuck:1987a,
  author = {Michael J. Fischer and L.D. Zuck},
  title = {Relative Knowledge and Belief},
  institution = {Yale University},
  number = {TR--589},
  year = {1987},
  address = {New Haven, Connecticut},
  topic = {epistemic-logic;belief;}
  }

@article{ fischoff-etal:1984a,
  author = {B. Fischhoff and S.R. Watson and C. Hope},
  title = {Defining Risk},
  journal = {Policy Science},
  year = {1984},
  volume = {17},
  pages = {123--139},
  missinginfo = {A's 1st name, number},
  topic = {risk;}
  }

@book{ fishbein-ajzen:1975a,
  author = {Martin Fishbein and Icek Ajzen},
  title = {Belief, Attitude, Intention, and Behavior: An Introduction
  	to Theory and Research},
  publisher = {Addison-Wesley Publishing Co.},
  year = {1975},
  address = {Reading},
  ISBN = {0201020890},
  rtnote = {UMich Undergraduate, Bf323.C5 F53.},
  topic = {attitudes-in-psychology;}
 }

@book{ fishburn_pc:1964a,
  author = {Peter C. Fishburn},
  title = {Decision and Value Theory},
  publisher = {John Wiley and Sons, Inc.},
  year = {1964},
  address = {New York},
  rtnote = {In RHT collection. Shelf.},
  topic = {decision-theory;utility-theory;multiattribute-utility;}
 }

@book{ fishburn_pc:1969a,
  author = {Peter C. Fishburn},
  title = {Utility Theory for Decision Making},
  publisher = {Robert E. Krieger Publishing Co.},
  year = {1969},
  address = {Huntington, New York},
  rtnote = {In RHT Collection.  Economics shelves.},
  rtnote = {Economics T57.95 F56 1979},
  topic = {utility-theory;multiattribute-utility;}
 }

@incollection{ fishburn_pc:1977a,
  author = {Peter C. Fishburn},
  title = {Multiattribute Utilities in Expected Utility Theory},
  booktitle = {Conflicting Objectives in Decisions},
  publisher = {John Wiley and Sons},
  year = {1977},
  editor = {David E. Bell and Ralph L. Keeney and Howard Raiffa},
  pages = {172--196},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {decision-analysis;multiattribute-utility;foundations-of-utility;}
  }

@book{ fishburn_pc:1982a,
  author = {Peter C. Fishburn},
  title = {Foundations of Expected Utility},
  publisher = {D. Reidel Publishing Co.},
  year = {1982},
  address = {Dordrecht},
  rtnote = {In RHT collection.  EPS Shelves.},
  topic = {foundations-of-utility;multiattribute-utility;}
 }

@incollection{ fishburn_pc:1987a,
  author = {Peter C. Fishburn},
  title = {Independent Preferences},
  booktitle = {The New Palgrave: Utility and Probability},
  publisher = {Macmillan},
  year = {1987},
  editor = {John Eatwell and Murray Milgate and Peter Newman},
  pages = {121--127},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {multiattribute-utility;}
  }

@book{ fishburn_pc:1988a,
  author = {Peter C. Fishburn},
  title = {Nonlinear Preference and Utility Theory},
  publisher = {The Johns Hopkins University Press},
  year = {1988},
  address = {Baltimore},
  topic = {utility-theory;multiattribute-utility;}
 }

@book{ fisher_a:1988a,
  author = {Alec Fisher},
  title = {The Logic of Real Arguments},
  publisher = {Cambridge University Press},
  year = {1988},
  address = {Cambridge, England},
  ISBN = {0521308496 0521313414 (pbk.)},
  rtnote = {UMich Graduate Library, BC 177 .F571 1988.},
  topic = {logic-intro;}
 }

@book{ fisher_a:2000a,
  author = {Alec Fisher},
  title = {The Logic of Real Arguments},
  edition = {2},
  publisher = {Cambridge University Press},
  year = {2000},
  address = {Cambridge, England},
  topic = {logic-intro;}
 }

@article{ fishman-minker_j:1975a,
  author = {Daniel H. Fishman and Jack Minker},
  title = {$\Pi$-Representation: A Clause Representation for Parallel
  	Search},
  journal = {Artificial Intelligence},
  year = {1975},
  volume = {6},
  number = {2},
  pages = {103--127},
  acontentnote = {Abstract:
     An extension to the clause form of the first-order predicate
     calculus is described which facilitates parallel search
     operations.  This notation, called parallel representation
     (Pi-representation), permits the representation of sets of
     clauses as single ``Pi-clauses''. Extensions to the operations
     of unification, factoring, and resolution which apply to this
     notation are also described, and the advantages of
     Pi-representation with respect to parallel searching, memory
     utilization, and the use of semantics are discussed.},
  topic = {search;parallel-processing;}
  }

@incollection{ fisk:1969a,
  author = {Milton Fisk},
  title = {A Modal Analogue of Free Logic},
  booktitle = {The Logical Way of Doing Things},
  publisher = {Yale University Press},
  year = {1969},
  editor = {Karel Lambert},
  pages = {147--184},
  address = {New Haven, Connecticut},
  topic = {individuation;quantifying-in-modality;}
  }

@article{ fisler:1999a,
  author = {Kathi Fisler},
  title = {Timing Diagrams: Formalization and Algorithmic
  	Verification},
  journal = {Journal of Logic, Language, and Information},
  year = {1999},
  volume = {8},
  number = {3},
  pages = {323--361},
  topic = {reasoning-with-diagrams;}
  }

@article{ fitch_fb:1950a,
  author = {Frederic B. Fitch},
  title = {Review of `Some Reflections on the Theory of Systems',
  	by {N}elson {G}oodman},
  journal = {Journal of Symbolic Logic},
  year = {1950},
  volume = {15},
  number = {3},
  pages = {218},
  contentnote = {Among other things, Goodman claims it would be
  		a mistake to attempt a direct logical theory
		of problematic constructions.  Fitch criticizes
		this.},
  xref = {Review of: goodman:1949a.},
  topic = {natural-laws;conditionals;}
  }

@book{ fitch_fb:1952a,
  author = {Frederic B. Fitch},
  title = {Symbolic Logic: An Introduction},
  publisher = {The Ronald Press Co.},
  year = {1952},
  address = {New York},
  rtnote = {In RHT collection.  Logic shelves.},
  topic = {logic-intro;natural-deduction;}
 }

@article{ fitch_fb:1963a,
  author = {Frederic B. Fitch},
  title = {A Logical Analysis of Some Value Concepts},
  journal = {Journal of Symbolic Logic},
  year = {1963},
  volume = {28},
  number = {2},
  pages = {135--142},
  contentnote = {This is the paper in which the knowability paradox
  	is introduced.},
  topic = {deontic-logic;ability;epistemic-logic;logic-and-philosophy;
  	knowability-paradox;}
  }

@article{ fitch_fb:1964a,
  author = {Frederic B. Fitch},
  title = {Universal Metalanguages for Philosophy},
  journal = {Review of Metaphysics},
  year = {1964},
  volume = {17},
  number = {3},
  pages = {396--402},
  topic = {semantic-paradoxes;logic-and-philosophy;}
  }

@unpublished{ fitch_fb:1965a,
  author = {Frederic B. Fitch},
  title = {A Correlation between Modal Reduction Principles
  	and Properties of Relations},
  year = {1965},
  note = {Unpublished manuscript, Yale University},
  rtnote = {In RHT collection.},
  topic = {modal-logic;combinatory-logic;}
  }

@article{ fitch_fb:1966a,
  author = {Frederic B. Fitch},
  title = {Natural Deduction Rules for Obligation},
  journal = {American Philosophical Quarterly},
  year = {1966},
  volume = {3},
  number = {1},
  pages = {1--12},
  topic = {deontic-logic;natural-deduction;}
  }

@article{ fitch_fb:1967a,
  author = {Frederic B. Fitch},
  title = {A Theory of Logical Essences},
  journal = {The Monist},
  year = {1967},
  volume = {51},
  number = {1},
  pages = {104--109},
  topic = {modal-logic;foundations-of-set-theory;}
  }

@article{ fitch_fb:1967b,
  author = {Frederic B. Fitch},
  title = {A Revision of {H}ohfeld's Theory of Legal Concepts},
  journal = {Logique et Analyse, Nouvelle S\'erie},
  year = {1967},
  volume = {10},
  number = {39--40},
  rtnote = {In RHT collection.},
  topic = {deontic-logic;legal-reasoning;Hohfeld;}
  }

@incollection{ fitch_fb:1969a,
  author = {Frederic B. Fitch},
  title = {Combinatory Logic and Negative Numbers},
  booktitle = {The Logical Way of Doing Things},
  publisher = {Yale University Press},
  year = {1969},
  editor = {Karel Lambert},
  pages = {265--277},
  address = {New Haven, Connecticut},
  topic = {combinatory-logic;formalizations-of-arithmetic;}
  }

@article{ fitch_fb:1973a,
  author = {Frederic B. Fitch},
  title = {A Correlation Between Modal Reduction Principles
  	and Properties of Relations},
  journal = {Journal of Philosophical Logic},
  year = {1973},
  volume = {2},
  number = {1},
  pages = {97--101},
  topic = {modal-logic;}
  }

@article{ fitch_fb:1973b,
  author = {Frederic B. Fitch},
  title = {Natural Deduction Rules for {E}nglish},
  journal = {Philosophical Studies},
  year = {1973},
  volume = {2},
  number = {1},
  pages = {89--104},
  topic = {nl-semantics;natural-deduction;}
  }

@unpublished{ fitch_fb:1975a,
  author = {Frederic B. Fitch},
  title = {The Relation between Natural Languages and Formal
  	Languages},
  year = {1975},
  note = {Unpublished manuscript, Yale University.},
  rtnote = {In RHT collection.  Also remarks by Geach and
  	McDowell, with reply by FBF.},
  topic = {natural-language/formal-language;}
  }

@incollection{ fitch_gw:1993a,
  author = {G.W. Fitch},
  title = {Non Denoting},
  booktitle = {Philosophical Perspectives, Volume 7:
  	Language and Logic},
  publisher = {Blackwell Publishers},
  year = {1993},
  editor = {James E. Tomberlin},
  pages = {461--486},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {reference-gaps;}
  }

@article{ fitelson:2007a,
  author = {Branden Fitelson},
  title = {Introduction (to a Special Volume on Formal Epistemology)},
  journal = {Studia Logica},
  year = {2007},
  volume = {86},
  number = {2},
  pages = {147--148},
  topic = {epistemology;foundations-of-probability;game-theory;}
  }

@article{ fitelson:2007b,
  author = {Branden Fitelson},
  title = {Introduction (to a Special Volume on Formal Epistemology)},
  journal = {Studia Logica},
  year = {2007},
  volume = {86},
  number = {2},
  pages = {147--148},
  topic = {epistemology;foundations-of-probability;}
  }

@article{ fitelson:2008a,
  author = {Brandon Fitelson},
  title = {Goodman's `New Riddle'\,},
  journal = {Journal of Philosophical Logic},
  year = {2008},
  volume = {37},
  number = {1},
  pages = {613--643},
  topic = {confirmation-theory;(un)natural-predicates;}
  }

@article{ fitelson-zalta:2007a,
  author = {Branden Fitelson and Edward N. Zalta},
  title = {Steps toward a Computational Metaphysics},
  journal = {Journal of Philosophical Logic},
  year = {2007},
  volume = {36},
  number = {1},
  pages = {237--247},
  topic = {concepts;metaphysics;theorem-proving;}
  }

@article{ fitoussi-tennenholtz:2000a,
  author = {David Fitoussi and Moshe Tennenholtz},
  title = {Choosing Social Laws for Multi-Agent Systems: Minimality
  	and Simplicity},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {119},
  number = {1--2},
  pages = {61--101},
  topic = {distributed-systems;artificial-societies;omulti-agent-systems;}
  }

@book{ fitting:1969a,
  author = {Melvin C. Fitting},
  title = {Intuitionistic Logic, Model Theory and Forcing},
  publisher = {North-Holland},
  address = {Amsterdam},
  year = {1969},
  topic = {intuitionistic-logic;}
  }

@article{ fitting:1985b,
  author = {Melvin Fitting},
  title = {A {K}ripke-{K}leene Semantics for Logic Programs},
  journal = {Journal of Logic Programming},
  year = {1985},
  volume = {4},
  pages = {295--312},
  rtnote = {In RHT collection.},
  missinginfo = {number},
  topic = {logic-programming;modal-logic;}
  }

@article{ fitting:1985c,
  author = {Melvin Fitting},
  title = {A Deterministic {P}rolog Fixpoint Semantics},
  journal = {Journal of Logic Programming},
  year = {1985},
  volume = {2},
  pages = {111--118},
  rtnote = {In RHT collection.},
  missinginfo = {number},
  topic = {logic-programming;fixpoint-semantics;}
  }

@article{ fitting:1986a,
  author = {Melvin Fitting},
  title = {Notes on the Mathematical Aspects of {K}ripke's Theory
  	of Truth},
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1986},
  volume = {27},
  pages = {75--88},
  missinginfo = {number},
  topic = {truth;}
  }

@article{ fitting:1986b,
  author = {Melvin Fitting},
  title = {Partial Models and Logic Programming},
  journal = {Theoretical Computer Science},
  year = {1986},
  volume = {48},
  pages = {229--255},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {partial-logic;logic-programming;}
  }

@article{ fitting:1987a,
  author = {Melvin Fitting},
  title = {Enumeration Operators and Modular Logic Programming},
  journal = {Journal of Logic Programming},
  year = {1987},
  volume = {4},
  pages = {11--21},
  rtnote = {In RHT collection.},
  missinginfo = {number},
  topic = {logic-programming;}
  }

@article{ fitting:1988a,
  author = {Melvin Fitting},
  title = {Logic Programming on a Topological Bilattice},
  journal = {Fundamenta Mathematicae},
  year = {1988},
  volume = {11},
  pages = {209--218},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {bilattices;logic-programming;}
  }

@unpublished{ fitting:1989a,
  author = {Melvin Fitting},
  title = {Modal Logic Should Say More Than It Does},
  year = {1988},
  note = {Unpublished manuscript, Lehmann College.},
  rtnote = {In RHT collection.},
  topic = {quantifying-in-modality;modal-logic;}
  }

@article{ fitting:1989b,
  author = {Melvin Fitting},
  title = {Bilattices and the Theory of Truth},
  journal = {Journal of Philosophical Logic},
  year = {1989},
  volume = {18},
  number = {3},
  pages = {225--256},
  topic = {bilattices;truth;}
  }

@article{ fitting:1991a,
  author = {Melvin Fitting},
  title = {Many-Valued Modal Logics},
  journal = {Fundamenta Informaticae},
  year = {1991},
  volume = {15},
  number = {3--4},
  pages = {335--3},
  rtnote = {This volume in RHT collection.},
  topic = {multivalued-logic;modal-logic;}
 }

@incollection{ fitting:1993a,
  author = {Melvin Fitting},
  title = {Basic Modal Logic},
  booktitle = {The Handbook of Logic in Artificial Intelligence and
  	Logic Programming, Volume 1: Deductive
		 Methodologies},
    editor = {Dov Gabbay and Christopher Hogger and  J.A. Robinson},
  publisher = {Oxford University Press},
  pages = {368--448},
  address = {Oxford},
  year = {1993},
  missinginfo = {ed's 1st name},
  topic = {kr;logic-survey;modal-logic;kr-course;}
}

@inproceedings{ fitting:1995a,
  author = {Melving C. Fitting},
  title = {Annotated Revision Specification Programs},
  booktitle = {Logic Programming and Nonmonotonic Reasoning},
  publisher = {Springer-Verlag},
  editor = {Wictor Marek and Anil Nerode and Marek Truszcynski},
  year = {1995},
  pages = {143--155},
  address = {Berlin},
  topic = {logic-programming;belief-revision;}
  }

@book{ fitting:1996a,
  author = {Melvin Fitting},
  title = {First-Order Logic and Automated Theorem-Proving},
  edition = {2},
  publisher = {Springer-Verlag},
  year = {1996},
  address = {Berlin},
  ISBN = {0-387-94593-8},
  rtnote = {In RHT Collection.  Logic shelves.},
  topic = {logic-intro;theorem-proving;}
 }

@article{ fitting:1997a,
  author = {Melvin Fitting},
  title = {A Theory of Truth Prefers Falsehood},
  journal = {Journal of Philosophical Logic},
  year = {1997},
  volume = {26},
  number = {3},
  pages = {477--500},
  topic = {truth;fixpoints;stable-models;}
  }

@inproceedings{ fitting:1998a,
  author = {Melvin Fitting},
  title = {Bertrand {R}ussell, {H}erbrand's
		Theorem, and the Assignment Statement},
  booktitle = {Artificial Intelligence and Symbolic Computation:
	Proceedings of {AISC'98}},
  year = {1998},
  editor = {Jacques Calmet and Jan Plaza},
  pages = {14--28},
  publisher = {Springer Verlag},
  address = {Berlin},
  topic = {modal-logic;quantifying-in-modality;proof-theory;}
  }

@book{ fitting:2002a,
  author = {Melvin Fitting},
  title = {Types, Tableaus, and {G}\"odel's {G}od},
  publisher = {Kluwer Academic Publishers},
  year = {2002},
  address = {Dordrecht},
  ISBN = {UMich Science BC 199 .M6 F591 2002},
  topic = {proof-theory;Goedel;ontological-argument;}
 }

@article{ fitting:2006a,
  author = {Melvin Fitting},
  title = {{FOIL} Axiomatized},
  journal = {Studia Logica},
  year = {2006},
  volume = {84},
  number = {1},
  pages = {1--22},
  xref = {Correction: fitting:2007a},
  topic = {intensional-logic;}
  }

@incollection{ fitting:2006b,
  author = {Melvin Fitting},
  title = {Modal Proof Theory},
  booktitle = {Handbook of Modal Logic},
  year = {2006},
  editor = {Patrick Blackburn and Johan van Benthem and Frank Wolter},
  pages = {85--138},
  address = {New York},
  rtnote = {In RHT collection.  File drawers.},
  topic = {modal-logic;proof-theory;}
  }

@article{ fitting:2007a,
  author = {Melvin Fitting},
  title = {Correction to {FOIL} Axiomatized},
  journal = {Studia Logica},
  year = {2006},
  volume = {85},
  number = {2},
  pages = {275},
  xref = {Correction to: fitting:2006a},
  topic = {intensional-logic;}
  }

@article{ fitting:2009a,
  author = {Melvin Fitting},
  title = {How True It Is = Who Says It's True},
  journal = {Studia Logica},
  year = {2009},
  volume = {91},
  number = {3},
  pages = {335--366},
  contentnote = {Idea is to take the truth-value to be the
  	accepting agents.},
  topic = {multivalued-logic;epistemic-logic;}
  }

@article{ fitting-etal:2001a,
  author = {Melvin Fitting and Lars Thalmann and Andrei Voronkov},
  title = {Term-Modal Logics},
  journal = {Studia Logica},
  year = {2001},
  volume = {69},
  number = {1},
  pages = {133--169},
  topic = {proof-theory;semantic-tableaux;modal-logic;}
  }

@book{ fitting-mendelsohn_rl:1998b,
  author = {Melvin Fitting and Richard L. Mendelsohn},
  title = {First-Order Modal Logic},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  address = {Dordrecht},
  xref = {Review: shehtman:2001a.},
  ISBN = {0-7923-5334-X},
  rtnote = {In RHT Collection.  Logic shelves.},
  topic = {modal-logic;}
 }

@article{ fitzgerald:1985a,
  author = {Paul Fitzgerald},
  title = {The Crash of the Market in Futures},
  journal = {The Journal of Philosophy},
  year = {1985},
  volume = {82},
  number = {10},
  pages = {560--562},
  topic = {branching-time;future-contingent-propositions;}
  }

@article{ fitzpatrick:1998a,
  author = {Eileen Fitzpatrick},
  title = {Review of \emph{{A}n Introduction to Text-to-Speech
  	Synthesis}, by {T}hierry {D}utoit},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {2},
  pages = {322--323},
  topic = {speech-generation;}
  }

@incollection{ flach:1996a,
  author = {Peter A. Flach},
  title = {Rationality Postulates for Induction},
  booktitle = {Theoretical Aspects of Rationality and Knowledge:
  	Proceedings of the Sixth Conference ({TARK} 1996)},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Yoav Shoham},
  pages = {267--281},
  address = {San Francisco},
  topic = {rationality;induction;}
  }

@incollection{ flach:1998a,
  author = {Peter A. Flach},
  title = {Comparing Consequence Relations},
  booktitle = {{KR}'98: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1998},
  editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C.
		Shapiro},
  pages = {180--189},
  address = {San Francisco, California},
  topic = {kr;nonmonotonic-reasoning;kr-course;}
  }

@article{ flach:2001a,
  author = {Peter A. Flach},
  title = {On the State of the Art in Machine Learning: A Personal
  	Review},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {131},
  number = {1--2},
  pages = {199--222},
  xref = {Review of: langley:1996a, mitchell_tm:1997b, witten-frank_e:2000a,
  	adriaans-zantinge:1996a, weiss_sm-indurkhya:1998a},
  topic = {machine-learning;data-mining;AI-instruction;}
  }

@book{ flake:1998a,
  author = {Gary William Flake},
  title = {The Computational Beauty of Nature},
  publisher = {The {MIT} Press},
  year = {1998},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-56127-1},
  xref = {Review: berzins:2001a, moses_m-forrest:2001a},
  topic = {fractals;chaos-theory;computational-aesthetics;}
 }

@article{ flake:2001a,
  author = {Gary William Flake},
  title = {{G}.{W}. {F}lake, {\it {T}he Computational Beauty of
  	Nature}},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {129},
  number = {1--2},
  pages = {243--244},
  xref = {Response to berzins:2001a, moses_m-forrest:2001a, which are
  	reviews of flake:1998a.},
  topic = {fractals;chaos-theory;computational-aesthetics;}
  }

@book{ flanagan_d:1999a,
  author = {David Flanagan},
  title = {Java in a Nutshell},
  edition = {3},
  publisher = {O'Reilly},
  year = {1999},
  address = {Sebastopol, California},
  rtnote = {In RHT collection.  Computer Manuals Shelf.},
  topic = {programming-manual;}
 }

@incollection{ flanagan_jo:2005a,
  author = {John A. Flanagan},
  title = {Unsupervised Clustering of Context Data and Learning User
  		Requirements for a Mobile Device},
  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 = {155--168},
  address = {Berlin},
  topic = {context;mobile-computing;machine-learning;}
  }

@book{ flanagan_o:1984a,
  author = {Owen {Flanagan, Jr.}},
  title = {The Science of the Mind},
  publisher = {The {MIT} Press},
  year = {1984},
  address = {Cambridge, Massachusetts},
  ISBN = {026256031-3},
  rtnote = {In RHT Collection.  Cogsci shelves. m&mcourse;},
  topic = {philosophy-of-mind;foundations-of-cognitive-science;
  	philosophy-of-AI;}
 }

@book{ flanagan_o:1992a,
  author = {Owen {Flanagan, Jr.}},
  title = {Consciousness Reconsidered},
  publisher = {The {MIT} Press},
  year = {1992},
  address = {Cambridge, Massachusetts},
  topic = {consciousness;}
 }

@book{ flanagan_o-rorty_ao:1990a,
  editor = {Owen {Flanagan, Jr.} and Am\'elie Oksenberg Rorty},
  title = {Identity, Character, and Morality : Essays In Moral
  	Psychology},
  publisher = {The {MIT} Press},
  year = {1990},
  address = {Cambridge, Massachusetts},
  ISBN = {0262061155},
  rtnote = {UMich Graduate Library, BJ 45 .I341 1990},
  topic = {philosophical-psychology;}
 }

@inproceedings{ flank:1998a,
  author = {Sharon Flank},
  title = {A Layered Approach to {NLP}-Based Information Retrieval},
  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 = {397--403},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {information-retrieval;WordNet;}
}

@article{ fleck:1996a,
  author = {Margaret M. Fleck},
  title = {The Topology of Boundaries},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {80},
  number = {1},
  pages = {1--27},
  topic = {visual-reasoning;}
  }

@article{ fleming_a:1988a,
  author = {Alan Fleming},
  title = {Geometric Relationships between Toleranced Features},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {37},
  number = {1--3},
  pages = {403--412},
  acontentnote = {Abstract:
     The design for a mechanical part often includes tolerance
     information.  Tolerances can be defined with tolerance zones and
     datums. A tolerance zone is a region of space in which a portion
     of the surface of a real part must lie. A datum is a point, an
     infinite line or an infinite plane. This paper shows how a
     toleranced part can be represented as a network of tolerance
     zones and datums connected by arcs to which inequality
     constraints are attached. The network can be extended to deal
     with assemblies of parts. The work can be applied in
     computer-aided design where a tolerance specification needs to
     be checked.},
  topic = {CAD;device-modeling;}
  }

@incollection{ fleming_gh:2000a,
  author = {Gordon N. Fleming},
  title = {Reeh-{S}chlieder Meets {N}ewton-{W}igner},
  booktitle = {{PSA}'1998: Proceedings of the 1998 Biennial Meetings
  	of the Philosophy of Science Association, Part {II}:
	Symposium Papers},
  publisher = {Philosophy of Science Association},
  year = {2000},
  editor = {Don A. Howard},
  pages = {S494--S515},
  address = {Newark, Delaware},
  topic = {philosophy-of-physics;relativity-theory;quantum-field-theory;}
  }

@incollection{ flener-popelmnsky:1994a,
  author = {Pierre Flener and Lubos Popelmnsky},
  title = {On the Use of Inductive
     		Reasoning in Program Synthesis: Prejudice and
		Prospects},
  booktitle = {Logic Programming Synthesis and Transformation,
  	Meta-Programming in Logic: Fourth International Workshops,
	{LOBSTR}'94 and	{META}'94, Pisa, Italy},
  publisher = {Springer-Verlag},
  year = {1994},
  editor = {Laurent Fribourg and Franco Turini},
  pages = {69--87},
  address = {Berlin},
  topic = {logic-program-synthesis;}
  }

@article{ fleury-quatrini:2007a,
  author = {Marie-Ren\'ee Fleury and Myriam Quatrini},
  title = {A Mixed $\lambda$-calculus},
  journal = {Studia Logica},
  year = {2007},
  volume = {87},
  number = {2--3},
  pages = {269--294},
  topic = {intuitionistic-logic;higher-order-logic;}
  }

@book{ flew:1960a,
  editor = {Antony Flew},
  title = {Essays in Conceptual Analysis},
  publisher = {Macmillam},
  year = {1960},
  address = {London},
  rtnote = {In RHT collection.  Contemporary Philosophy Shelves.},
  topic = {analytic-philosophy;}
 }

@incollection{ flew:1960b,
  author = {Antony Flew},
  title = {Philosophy and Language},
  booktitle = {Essays in Conceptual Analysis},
  publisher = {Macmillam},
  year = {1960},
  editor = {Antony Flew},
  pages = {1--20},
  address = {London},
  topic = {philosophy-and-language;}
  }

@book{ flick:1998a,
  author = {Uwe Flick},
  title = {An Introduction to Qualitative Research},
  publisher = {Sage Publications},
  year = {1998},
  address = {Thousand Oaks, California},
  topic = {qualitative-methods;}
 }

@phdthesis{ flickinger:1987a,
  author = {Daniel Flickinger},
  title = {Lexical Rules in the Hierarchical Lexicon},
  school = {Linguistics Department, Stanford University},
  year = {1987},
  address = {Stanford, California},
  month = {September},
  rtnote = {In RHT collection.},
  topic = {lexicon;computational-lexicography;inheritance-in-lexicon;
  	lexical-rules;}
 }

@inproceedings{ flickinger-etal:1985a,
  author = {Daniel Flickinger and Carl Pollard and Thomas Wasow},
  title = {Structure-Sharing in Lexical Representation},
  booktitle = {Proceedings of the Twenty-Third Meeting of the
  	Association for Computational Linguistics},
  year = {1985},
  editor = {William Mann},
  pages = {262--267},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Morristown, New Jersey},
  rtnote = {In RHT collection.},
  topic = {computational-lexicography;GPSG;}
 }

@article{ flickinger-nerbonne:1992a,
  author = {Daniel Flickinger and John Nerbonne},
  title = {Inheritance and Complementation: A Case Study of
  	{\it Easy} Adjectives and Related Nouns},
  journal = {Computational Linguistics},
  year = {1992},
  volume = {18},
  pages = {269--310},
  topic = {nm-ling;computational-lexical-semantics;}
 }

@incollection{ fliegelstone-etal:1997a,
  author = {Steve Fliegelstone and Mike Pacey and Paul Rayson},
  title = {How to Generalize the Task of Annotation},
  booktitle = {Corpus Annotation},
  publisher = {Longman},
  year = {1997},
  editor = {Roger Garside and Geoffrey Leech and Tony McEnery},
  pages = {122--136},
  address = {London},
  topic = {corpus-linguistics;corpus-annotation;}
  }

@article{ flinchbaugh-chandrasekaran:1981a,
  author = {Bruce E. Flinchbaugh and B. Chandrasekaran},
  title = {A Theory of Spatio-Temporal Aggregation for Vision},
  journal = {Artificial Intelligence},
  year = {1981},
  volume = {17},
  number = {1--3},
  pages = {387--407},
  acontentnote = {Abstract:
     A theory of spatio-temporal aggregation is proposed as an
     explanation for the visual process of grouping together elements
     in an image sequence whose motions and positions have consistent
     interpretations as the retinal projections of a coherent or
     isolated cluster of `particles' in the physical world.
     Assumptions of confluence and adjacency are made in order to
     constrain the infinity of possible interpretations to a
     computationally more manageable domain of plausible
     interpretations.  Confluence and adjacency lead to the
     derivation of specific rules for grouping which permit the
     appropriate aggregation of rigid and quasi-rigid objects in
     motion and at rest under a variety of conditions. The theory is
     reconciled with existing computational theories of vision so as
     to complement them, and to provide a useful link in the
     continual abstraction of visual information.  },
  topic = {computer-vision;}
  }

@article{ flobbe-etal:2008a,
  author = {Liesbeth Flobbe and Rineke Verbrugge and Petra Hendriks
  		and Irene Kr\"amer},
  title = {Children's Application of Theory of Mind in Reasoning
  		and Language},
  journal = {Journal of Logic, Language, and Information},
  year = {2008},
  volume = {17},
  number = {4},
  pages = {417--442},
  topic = {psychology-of-reasoning;cognitive-science;folk-psychology;}
  }

@incollection{ florian-etal:2000a,
  author = {Radu Florian and John C. Henderson and Grace Ngai},
  title = {Coaxing Confidences from an Old Friend: Probabilistic
		Classifications from Transformation Rule Lists},
  booktitle = {Proceedings of the 2000 Joint {SIGDAT} Conference
  	on Empirical Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Hinrich Sch\"utze and Keh-Yih Su},
  pages = {26--24},
  address = {Somerset, New Jersey},
  topic = {automatic-classification;machine-learning;}
  }

@book{ floridi:1999a,
  editor = {Luciano Floridi},
  title = {Philosophy and Computing},
  publisher = {Routledge},
  year = {1999},
  address = {London},
  ISBN = {0 415 18024 4 (Hb), 0 415 18024 2 (Pb), },
  topic = {philosophy-of-technology;philosophy-of-computing;}
 }

@book{ flower:1987a,
  author = {Linda Flower},
  title = {Interpretive Acts: Cognition and the Construction of
  	Discourse},
  publisher = {University of California, Center for the Study of Writing},
  year = {1987},
  address = {Berkeley, California},
  topic = {discourse-analysis;}
 }

@book{ floyd:1992a,
  editor = {Christiane Floyd},
  title = {Software Development and Reality Construction},
  publisher = {Springer-Verlag},
  year = {1992},
  address = {Berlin},
  ISBN = {354054349X (paper)},
  rtnote = {UMich Media Union Library, QA 76.76 .D47 S6331 1992.},
  topic = {software-engineering;virtual-reality;}
 }

@incollection{ flum:1995a,
  author = {J\"org Flum},
  title = {Model Theory of Topological Structures},
  booktitle = {Quantifiers: Logic, Models, and Computation, Vol. 1},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {Micha{\l} Krynicki and Marcin Mostowski and Les{\l}aw W.
  	Szczerba},
  pages = {297--312},
  address = {Dordrecht},
  topic = {model-theory;topology;}
  }

@inproceedings{ flychteriksson:1999a,
  author = {Annika Flycht-Eriksson},
  title = {A Survey of Knowledge Sources in Dialogue Systems},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
  	Knowledge and Reasoning in Practical Dialogue Systems},
  year = {1999},
  editor = {Jan Alexandersson},
  pages = {41--48},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {computational-dialogue;}
  }

@incollection{ flychteriksson-jonsson_a1:2000a,
  author = {Annika Flycht-Eriksson and Arne J\"onsson},
  title = {Dialogue and Domain Knowledge Management in Dialogue
  	Systems},
  booktitle = {Proceedings of the First {SIGdial} Workshop on Discourse
  	and Dialogue},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Laila Dybkjaer and Koiti Hasida and David R. Traum},
  pages = {121--130},
  address = {Somerset, New Jersey},
  topic = {computational-dialogue;}
  }

@article{ fodor_ja:1965a1,
  author = {Jerry A. Fodor},
  title = {Could Meaning be a $\gamma_m$?},
  journal = {Journal of Verbal Learning and Verbal Behavior},
  year = {1965},
  volume = {4},
  pages = {73--81},
  missinginfo = {number},
  xref = {Republication: fodor_ja:1965a2.},
  topic = {psycholinguistics;nl-semantics;reference;}
  }

@phdthesis{ fodor_ja:1970a,
  author = {Janet Dean Fodor},
  title = {The Linguistic Description of Opaque Contexts},
  school = {Department of Modern Languages, Massachusetts Institute
  		of Philosophy},
  year = {1970},
  type = {Ph.D. Dissertation},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.},
  topic = {intensionality;referential-opacity;}
 }

@incollection{ fodor_ja:1971a,
  author = {Jerry A. Fodor},
  title = {Could Meaning be a $\gamma_m$?},
  booktitle = {Semantics: An Interdisciplinary Reader in Philosophy,
  	Linguistics, and Psychology},
  publisher = {Cambridge University Press},
  year = {1971},
  editor = {Danny D. Steinberg and Leon A. Jacobovits},
  pages = {558--568},
  address = {Cambridge, England},
  xref = {Republication of: fodor_ja:1965a1.},
  topic = {psycholinguistics;nl-semantics;reference;}
  }

@incollection{ fodor_ja:1972a,
  author = {Jerry A. Fodor},
  title = {Troubles about Actions},
  booktitle = {Semantics of Natural Language},
  publisher = {D. Reidel Publishing Co.},
  year = {1972},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {48--69},
  address = {Dordrecht},
  topic = {action;events;nl-semantics;Donald-Davidson;}
  }

@book{ fodor_ja:1975a,
  author = {Jerry A. Fodor},
  title = {The Language of Thought},
  publisher = {Thomas A. Crowell Co.},
  year = {1975},
  address = {New York},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  topic = {philosophy-of-mind;mental-representations;mental-language;
  		language-of-thought;}
 }

@article{ fodor_ja:1978a,
  author = {Jerry A. Fodor},
  title = {Tom {S}wift and His Procedural Grandmother},
  journal = {Cognition},
  year = {1978},
  volume = {6},
  pages = {229--247},
  missinginfo = {number},
  topic = {procedural-semantics;}
  }

@article{ fodor_ja:1979a,
  author = {Jerry A. Fodor},
  title = {In Reply to {P}hilip {J}ohnson-{L}aird},
  journal = {Cognition},
  year = {1979},
  volume = {7},
  pages = {93--95},
  missinginfo = {number},
  topic = {procedural-semantics;}
  }

@article{ fodor_ja:1980a1,
  author = {Jerry A. Fodor},
  title = {Methodological Solipsism Considered as a Research Strategy
        in Cognitive Psychology},
  journal = {The Behavioral and Brain Sciences},
  year = {1980},
  volume = {3},
  pages = {63--73},
  missinginfo = {number},
  xref = {Republished: fodor_ja:1980a2.},
  topic = {foundations-of-cognitive-science;philosophy-of-psychology;}
  }

@incollection{ fodor_ja:1980a2,
  author = {Jerry A. Fodor},
  title = {Methodological Solipsism Considered as a Research Strategy
        in Cognitive Psychology},
  booktitle = {Mind Design: Philosophy, Psychology, Artificial
  	Intelligence},
  publisher = {The {MIT} Press},
  year = {1981},
  editor = {John Haugeland},
  pages = {307--338},
  address = {Cambridge, Massachusetts},
  xref = {Originally Published: fodor_ja:1980a1.},
  topic = {foundations-of-cognitive-science;philosophy-of-psychology;}
  }

@book{ fodor_ja:1981a,
  author = {Jerry A. Fodor},
  title = {Representations: Philosophical Essays on the
             Foundations of Cognitive Science},
  publisher = {The {MIT} Press},
  address = {Cambridge, Massachusetts},
  year = {1981},
  topic = {foundations-of-psychology;foundations-of-cognitive-science;}
    }

@book{ fodor_ja:1983a,
  author = {Jerry A. Fodor},
  title = {The Modularity of Mind: An Essay on Faculty Psychology},
  publisher = {The {MIT} Press},
  year = {1983},
  address = {Cambridge, Massachusetts},
  topic = {foundations-of-cognition;cognitive-modularity;}
 }

@article{ fodor_ja:1984a,
  author = {Jerry A. Fodor},
  title = {Observation Reconsidered},
  journal = {Philosophy of Science},
  year = {1984},
  volume = {51},
  number = {1},
  pages = {23--43},
  xref = {Reprinted in fodor_ja:1994a.},
  topic = {observation;phenomenalism;}
  }

@article{ fodor_ja:1984b,
  author = {Jerry A. Fodor},
  title = {Semantics, {W}isconsin Style},
  journal = {Synth\'ese},
  year = {1984},
  volume = {59},
  number = {3},
  pages = {231--250},
  xref = {Reprinted in fodor_ja:1994a},
  topic = {foundations-of-semantics;information-flow-theory;}
  }

@article{ fodor_ja:1985a,
  author = {Jerry A. Fodor},
  title = {Fodor's Guide to Mental Representation: The Ingelligent
  	Auntie's Vade-Mecum},
  journal = {Mind, New Series},
  year = {1985},
  volume = {94},
  pages = {76--100},
  xref = {Reprinted in fodor_ja:1994a},
  topic = {representation;philosophy-of-mind;}
  }

@incollection{ fodor_ja:1986a,
  author = {Jerry A. Fodor},
  title = {Why Paramecia Don't Have Mental
     		Representations},
  booktitle = {Midwest Studies in Philosophy Volume {X}:
  	Studies in the Philosophy of Mind},
  publisher = {University of Minnesota Press},
  year = {1986},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {1--23},
  address = {Minneapolis},
  topic = {mental-representations;philosophy-of-mind;}
  }

@book{ fodor_ja:1987a,
  author = {Jerry A. Fodor},
  title = {Psychosemantics: The Problem of Meaning in the
             Philosophy  of Mind},
  publisher = {The {MIT} Press},
  address = {Cambridge, Massachusetts},
  year = {1987},
  topic = {philosophy-of-language;foundations-of-semantics;
  	philosophy-of-mind;}
    }

@incollection{ fodor_ja:1987b,
  author = {Jerry A. Fodor},
  title = {Modules, Frames, Fridgeons, Sleeping Dogs, and
         the Music of the Spheres},
  booktitle = {The Robot's Dilemma: The Frame Problem
             in Artificial Intelligence},
  publisher = {Ablex Publishing Co.},
  address = {Norwood, New Jersey},
  year = {1987},
  editor = {Zenon Pylyshyn},
  pages = {139--149},
  topic = {frame-problem;philosophy-AI;}
  }

@article{ fodor_ja:1988a,
  author = {Jerry A. Fodor},
  title = {A Reply to {C}hurchland's `Perceptual Plasticity and
       		Theoretical Necessity{'}},
  journal = {Philosophy of Science},
  year = {1988},
  volume = {55},
  number = {2},
  pages = {188--198},
  xref = {Reprinted in fodor_ja:1994a.},
  topic = {foundations-of-cognitive-science;cognitive-modularity;}
  }

@incollection{ fodor_ja:1989a,
  author = {Jerry A. Fodor},
  title = {Substitution Arguments and the Individuation
		of Beliefs},
  booktitle = {Method, Reason and Language},
  publisher = {The Cambridge University Press},
  year = {1989},
  editor = {George Boolos},
  address = {Cambridge, England},
  missinginfo = {pages.},
  xref = {Reprinted in fodor_ja:1994a.},
  topic = {propositional-attitudes;hyperintensionality;}
  }

@incollection{ fodor_ja:1989b,
  author = {Jerry A. Fodor},
  title = {Why Should the Mind Be Modular?},
  booktitle = {Reflections on {C}homsky},
  publisher = {Blackwell Publishers},
  year = {1989},
  editor = {Alexander George},
  address = {Oxford},
  missinginfo = {pages},
  xref = {Reprinted in fodor_ja:1994b.},
  topic = {cognitive-modularity;}
  }

@article{ fodor_ja:1989c,
  author = {Jerry A. Fodor},
  title = {Making Mind Matter More},
  journal = {Philosophical Topics},
  volume = {17},
  year = {1989},
  pages = {59--79},
  xref = {Reprinted in fodor_ja:1994a.},
  topic = {philosophy-of-mind;}
    }

@book{ fodor_ja:1994a,
  author = {Jerry A. Fodor},
  title = {The Elm and the Expert: Mentalese and Its Semantics},
  publisher = {The {MIT} Press},
  year = {1994},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT Collection.  LLP single author shelves.  m&mcourse;},
  topic = {philosophy-of-language;cognitive-semantics;
  	foundations-of-semantics;expert-relativity;}
 }

@book{ fodor_ja:1994b,
  editor = {Jerry A. Fodor},
  title = {A Theory of Content and Other Essays},
  publisher = {The {MIT} Press},
  year = {1994},
  address = {Cambrudge, Massachusetts},
  contentnote = {TC:
  	1. "Fodor's Guide to Mental Representation", pp. 3--29
	2. "Semantics, {W}isconsin Style", pp. 31--49
	3. "A Theory of Content, {I}: The Problem", pp. 51--87
	4. "A Theory of Content, {II}: The Theory", pp. 89--136
	5. "Making Mind Matter More", pp. pp. 137--159
	6. "Substitution Arguments and the Individuation
		of Beliefs", pp. 161--176
	7. "Review of {S}teven {S}chiffer's {\em Remnants of
		Meaning}", pp. 177--191
       10. "Pr\'ecis of {\it Modularity of Mind}", pp. 195--206
       11. "Why Should the Mind Be Modular?", pp. 207--230
       12. "Observation Reconsidered", pp. 231--251
       13. "A Reply to {C}hurchland's `Perceptual Plasticity and
       		Theoretical Necessity{'}", pp. 269--263
   },
  rtnote = {In RHT collection.  LLP authored shelves.},
  topic = {propositional-attitudes;foundations-of-semantics;
  	philosophy-of-mind;representation;information-flow-theory;}
 }

@incollection{ fodor_ja:1994c,
  author = {Jerry A. Fodor},
  title = {A Theory of Content, {I}: The Problem},
  booktitle = {A Theory of Content and Other Essays},
  publisher = {The {MIT} Press},
  year = {1994},
  editor = {Jerry A. Fodor},
  pages = {51--87},
  address = {Cambrudge, Massachusetts},
  topic = {philosophy-of-mind;foundations-of-semantics;}
  }

@incollection{ fodor_ja:1994d,
  author = {Jerry A. Fodor},
  title = {A Theory of Content, {II}: The Theory},
  booktitle = {A Theory of Content and Other Essays},
  publisher = {The {MIT} Press},
  year = {1994},
  editor = {Jerry A. Fodor},
  pages = {89--136},
  address = {Cambrudge, Massachusetts},
  topic = {philosophy-of-mind;foundations-of-semantics;}
  }

@incollection{ fodor_ja:1995a,
  author = {Jerry A. Fodor},
  title = {A Theory of the Child's Theory of Mind},
  booktitle = {Mental Simulation: Evaluations and Applications},
  publisher = {Blackwell Publishers},
  year = {1995},
  editor = {Martin Davies and Tony Stone},
  pages = {109--122},
  address = {Oxford},
  topic = {folk-psychology;theory-theory-of-folk-psychology;
  	developmental-psychology;}
  }

@incollection{ fodor_ja:1997a,
  author = {Jerry A. Fodor},
  title = {Special Sciences: Still Autonomous after All These
				Years},
  booktitle = {Philosophical Perspectives 11: Mind, Causation, and World},
  publisher = {Blackwell Publishers},
  year = {1997},
  editor = {James E. Tomberlin},
  pages = {149--163},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-mind;philosophy-of-psychology;}
  }

@book{ fodor_ja:1998a,
  author = {Jerry A. Fodor},
  title = {Concepts: Where Cognitive Science Went Wrong},
  publisher = {Oxford University Press},
  year = {1998},
  address = {Oxford},
  topic = {foundations-of-cognitive-science;}
 }

@book{ fodor_ja:1998b,
  editor = {Jerry A. Fodor},
  title = {In Critical Condition: Polemical Essays
  	on Cognitive Science and Philosophy of Mind},
  publisher = {The {MIT} Press},
  year = {1998},
  address = {Cambridge, Massachusetts},
  topic = {foundations-of-cognitive-science;philosophy-of-mind;}
 }

@book{ fodor_ja:2000a,
  author = {Jerry A. Fodor},
  title = {The Mind Doesn't Work That Way},
  publisher = {The {MIT} Press},
  year = {2000},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-06212-7},
  rtnote = {In RHT Collection.  LLP single author shelves. m&mcourse;},
  topic = {cognitive-modularity;foundations-of-cognitive-science;
  	philosophy-of-mind;}
 }

@article{ fodor_ja-etal:1980a,
  author = {Jerry A. Fodor and Merrill F. Garrett and E.C. Walker
  	and C.H. Parkes},
  title = {Against Definitions},
  journal = {Cognition},
  year = {1980},
  volume = {8},
  number = {3},
  pages = {263--367},
  missinginfo = {A's 1st name},
  topic = {lexical-semantics;foundations-of-semantics;
  	meaning-postulates;semantic-primitives;}
  }

@book{ fodor_ja-katz_jj:1964a,
  editor = {Jerry A. Fodor and J.J. Katz},
  title = {The Structure of Language: Readings in the Philosophy of
  	Language},
  publisher = {Prentice-Hall},
  year = {1964},
  address = {Englewood Cliffs, New Jersey},
  missinginfo = {A's 1st name.},
  topic = {nl-semantics;philosophy-of-language;}
 }

@book{ fodor_ja-lepore:1992a,
  author = {Jerry Fodor and Ernest Lepore},
  title = {Holism: A Shopper's Guide},
  publisher = {Blackwell Publishers},
  year = {1992},
  address = {Oxford},
  ISBN = {063118192X (alk. paper)},
  rtnote = {UMich Undergraduate, B 818 .F661 1992.},
  topic = {holism;philosophy-of-mind;philosophy-of-language;}
 }

@incollection{ fodor_ja-lepore:1994a,
  author = {Jerry Fodor and Ernie Lepore},
  title = {Is Radical Interpretation Possible?},
  booktitle = {Philosophical Perspectives, Volume 8:
  	Logic and Language},
  publisher = {Blackwell Publishers},
  year = {1994},
  editor = {James E. Tomberlin},
  pages = {101--119},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {foundations-of-semantics;radical-interpretation;holism;}
  }

@article{ fodor_ja-lepore:1996a,
  author = {Jerry A. Fodor and Ernest Lepore},
  title = {What Cannot Be Evaluated Cannot Be Evaluated, and It
  	Cannot Be Superevaluated Either},
  journal = {Journal of Philosophy},
  year = {1996},
  volume = {93},
  number = {10},
  pages = {516--535},
  topic = {supervaluations;truth-value-gaps;meaningfulness;}
  }

@article{ fodor_ja-lepore:1996b,
  author = {Jerry A. Fodor and Ernest Lepore},
  title = {Impossible Words?},
  journal = {Linguistic Inquiry},
  year = {1999},
  volume = {30},
  number = {3},
  pages = {445--453},
  xref = {Criticism, discussion: hale_k:1999a.},
  topic = {lexical-semantics;}
  }

@article{ fodor_ja-lepore:1996c,
  author = {Jerry A. Fodor and Ernest Lepore},
  title = {All at Sea in Semantic Space: {C}hurchland
		on Meaning Similarity},
  journal = {The Journal of Philosophy},
  year = {1999},
  volume = {95},
  number = {8},
  pages = {381--403},
  xref = {Commentary: abbott_b:2000a.},
  topic = {foundations-of-semantics;synonymy;
		cognitive-semantics;state-space-semantics;
		conceptual-role-semantics;}
  }

@article{ fodor_ja-lepore:1998a,
  author = {Jerry A. Fodor and Ernest Lepore},
  title = {The Emptiness of the Lexicon: Reflections on
  	{J}ames {P}ustejovsky's {\em The Generative Lexicon}},
  journal = {Linguistic Inquiry},
  year = {1998},
  volume = {29},
  number = {1},
  pages = {269--288},
  xref = {Discussion of pustejovsky:1993a.},
  topic = {nl-kr;computational-lexical-semantics;lexical-semantics;
  	semantic-primitives;}
  }

@incollection{ fodor_jd:1982a,
  author = {Janet Dean Fodor},
  title = {The Mental Representation of Quantifiers},
  booktitle = {Processes, Beliefs, and Questions},
  publisher = {D. Reidel Publishing Company},
  year = {1982},
  editor = {Stanley Peters and Esa Saarinen},
  pages = {129--164},
  address = {Dordrecht},
  rtnote = {Reading notes on file.},
  topic = {nl-semantics;nl-semantics-and-cognition;nl-quantifiers;}
  }

@article{ fodor_jd:1983a,
  author = {Janet Dean Fodor},
  title = {Phrase Structure Parsing and the Island Constraints},
  journal = {Linguistics and Philosophy},
  year = {1983},
  volume = {6},
  number = {2},
  pages = {163--223},
  topic = {grammar-formalisms;GPSG;parsing-algorithms;
  	syntactic-islands;}
  }

@article{ fodor_jd:1985a,
  author = {Janet Dean Fodor},
  title = {Situations and Representations},
  journal = {Linguistics and Philosophy},
  year = {1985},
  volume = {8},
  number = {1},
  pages = {13--22},
  topic = {situation-semantics;foundations-of-semantics;}
  }

@article{ fodor_jd-crain:1990a,
  author = {Janet Dean Fodor and Stephen Crain},
  title = {Phrase Structure Parameters},
  journal = {Linguistics and Philosophy},
  year = {1990},
  volume = {13},
  number = {6},
  pages = {619--659},
  topic = {GPSG;HPSG;}
  }

@article{ fodor_jd-etal:1975a,
  author = {Janet Dean Fodor and Jerry A. Fodor and Merrill F. Garrett},
  title = {The Psychological Unreality of Semantic Representations},
  journal = {Linguistic Inquiry},
  year = {1975},
  volume = {6},
  pages = {515--531},
  missinginfo = {number},
  topic = {foundations-of-semantics;psychological-reality;}
  }

@article{ fodor_jd-frazier_l:1980a,
  author = {Janet Dean Fodor and Lyn Frazier},
  title = {Is the Human Sentence Parsing Mechanism an {ATN}?},
  journal = {Cognition},
  year = {1980},
  volume = {8},
  pages = {417--459},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {parsing-psychology;}
  }

@article{ fodor_jd-sag:1982a1,
  author = {Janet D. Fodor and Ivan Sag},
  title = {Referential and Quantificational Indefinites},
  journal = {Linguistics and Philosophy},
  year = {1982},
  volume = {5},
  pages = {355--398},
  number = {3},
  xref = {Republication: fodor_jd-sag:1982a2.},
  topic = {indefiniteness;nl-semantics;nl-quantifiers;}
  }

@incollection{ fodor_jd-sag:1982a2,
  author = {Janet Dean Fodor and Ivan A. Sag},
  title = {Referential and
    		Quantificational Indefinites},
  booktitle = {Readings in the Philosophy of Language},
  publisher = {The {MIT} Press},
  year = {1996},
  editor = {Peter Ludlow},
  pages = {475--521},
  address = {Cambridge, Massachusetts},
  xref = {Republication of fodor_jd-sag:1982a1.},
  topic = {indefiniteness;nl-semantics;nl-quantifiers;}
  }

@book{ foerst:2004a,
  author = {Anne Foerst},
  title = {God in the Machine:  What Robots Teach us about Humanity
  		and {G}od},
  publisher = {Dutton},
  year = {2004},
  address = {New York},
  xref = {Review: anderson_ml:2005a},
  topic = {AI-and-religion;}
 }

@book{ fogelin:1972a,
  author = {Robert J. Fogelin},
  title = {Understanding Arguments},
  publisher = {Harcourt Brace Jovanovich},
  year = {1972},
  address = {New York},
  topic = {argumentation;}
 }

@article{ fogelin:1974a,
  author = {Robert Fogelin},
  title = {Austinian Ifs},
  journal = {Mind, New Series},
  year = {1972},
  volume = {81},
  number = {324},
  pages = {578--580},
  topic = {JL-Austin;conditionals;}
  }

@book{ fogelin:2003a,
  author = {Robert Fogelin},
  title = {Walking the Tightrope of Reason:  The Precarious
  		Life of a Rational Animal},
  publisher = {Oxford University Press},
  year = {2003},
  address = {Oxford},
  topic = {paradoxes;skepticism;}
 }

@book{ fokkink:2000a,
  author = {Wan Fokkink},
  title = {Introduction to Process Algebra},
  publisher = {Springer-Verlag},
  year = {2000},
  address = {Berlin},
  ISBN = {3-540-66579-X},
  topic = {labeled-transition-systems;program-verification;
  	process-algebras;}
 }

@incollection{ foley_r:1986a,
  author = {Richard Foley},
  title = {Is It Possible to Have Contradictory Beliefs?},
  booktitle = {Midwest Studies in Philosophy Volume {X}:
  	Studies in the Philosophy of Mind},
  publisher = {University of Minnesota Press},
  year = {1986},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {327--355},
  address = {Minneapolis},
  topic = {belief;paraconsistency;}
  }

@article{ foley_r:1991a,
  author = {Richard Foley},
  title = {Rationality, Belief, and Commitment},
  journal = {Synth\'ese},
  year = {1991},
  volume = {89},
  number = {3},
  pages = {365--392},
  topic = {belief;rationality;practical-reasoning;commitment;}
  }

@book{ foley_w-vanvalin:1984a,
  author = {W. Foley and R. van Valin},
  title = {Functional Syntax and Universal Grammar},
  publisher = {Cambridge University Press},
  year = {1984},
  address = {Cambridge, England},
  topic = {nl-syntax;functional-grammar;universal-grammar;}
 }

@article{ follesdal:1967a,
  author = {Dagfinn F{\o}llesdal},
  title = {Comments on {S}tenius `Mood and Language-Game'\, },
  journal = {Synth\'ese},
  year = {1967},
  volume = {17},
  pages = {275--280},
  rtnote = {In RHT collection.},
  topic = {speech-acts;pragmatics;}
  }

@incollection{ follesdal:1969a,
  author = {Dagfinn F{\o}llesdal},
  title = {Quine on Modality},
  booktitle = {Words and Objections: Essays on the Work of {W.V.O.} {Q}uine},
  publisher = {D. Reidel Publishing Co.},
  year = {1969},
  editor = {Donald Davidson and Jaakko Hintikka},
  pages = {175--185},
  address = {Dordrecht},
  topic = {Quine;modal-logic;}
  }

@article{ follesdal:1978a,
  author = {Dagfinn F{\o}llesdal},
  title = {Brentano and {H}usserl on Intentional Objects and Perception},
  journal = {Grazer Philosophische Studien},
  year = {1978},
  volume = {5},
  pages = {83--94},
  rtnote = {In RHT collection.},
  topic = {phenomenology;intentionality;}
  }

@incollection{ follesdal:1979a,
  author = {Dagfinn F{\o}llesdal},
  title = {Husserl and {H}eidegger on the Role of Actions in the
		Constitution of the World},
  booktitle = {Essays in Honour of {J}aakko {H}intikka},
  publisher = {D. Reidel Publishing Co.},
  year = {1979},
  editor = {Esa Saarinen and Risto Hilpinen and Ilkka Niiniluoto and
		M. Provence Hintikka},
  pages = {365--378},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {phenomenology;action;}
  }

@incollection{ follesdal:1980a,
  author = {Dagfinn F{\o}llesdal},
  title = {Semantik},
  booktitle = {Handbuch wissenschaftstheoretischer {B}egriffe},
  publisher = {Verlag Vandenhoek \& Ruprecht},
  year = {1980},
  editor = {Josef Speck},
  address = {G\"ottingen},
  rtnote = {In RHT collection.},
  missinginfo = {pages,year is a guess},
  topic = {nl-semantics;}
  }

@book{ follesdal:2004a,
  author = {Dagfinn F{\o}llesdal},
  title = {Referential Opacity and Modal Logic},
  publisher = {Routledge},
  year = {2004},
  address = {London},
  ISBN = {0-415-93851-1},
  note = {This is a reprint of a 1966 dissertation.},
  rtnote = {UMich Graduate Library BC199 .M6 F67 2004},
  topic = {modal-logic;referential-opacity;quantifying-in-modality;}
 }

@incollection{ follesdal-hilpinen:1971a,
  author = {Dagfinn F{\o}llesdal and Risto Hilpinen},
  title = {Deontic Logic: An Introduction},
  editor = {Risto Hilpinen},
  booktitle = {Deontic Logic: Introductory and Systematic Readings},
  publisher = {D. Reidel Publishing Company},
  address = {Dordrecht},
  year = {1971},
  pages = {1--35},
  rtnote = {tmix-project;},
  topic = {deontic-logic;conditional-obligation;}
    }

@article{ follett:1979a,
  author = {Ria Follett},
  title = {Synthesising Recursive Functions with Side Effects},
  journal = {Artificial Intelligence},
  year = {1979},
  volume = {13},
  number = {3},
  pages = {175--200},
  acontentnote = {Abstract:
     Automatic Program Synthesis involves the automatic generation of
     a program (or plan) to achieve a specific goal.  This means that
     smaller pre-defined (or previously synthesised) program segments
     are combined or modified to achieve the total goal.  To guarantee
     that the required goal is actually achieved, the interaction
     between these program segments must be identified and
     considered.  This paper shows how the side effects of segments
     can be derived and constructively used in achieving the required
     goal, and in guaranteeing the correctness of the resulting
     program.  A program synthesising system PROSYN using these
     principles will then be described.  A trace of a sample program
     synthesis, which generates a program that solves a general set
     of linear simultaneous equations, is given in the appendix.},
  topic = {program-synthesis;}
  }

@article{ fong_s:2004a,
  author = {Sandiway Fong},
  title = {Semantics Opposition and {\sc WordNet}},
  journal = {Journal of Logic, Language, and Information},
  year = {2004},
  volume = {13},
  number = {2},
  pages = {159--171},
  topic = {computational-semantics;adjectives;WordNet;}
  }

@incollection{ fong_s-berwick:1981a,
  author = {Sandiway Fong and Robert C. Berwick},
  title = {The Computational Implementation of Principle-Based
  	Parsers},
  booktitle = {Current Issues in Parsing Technology},
  publisher = {Kluwer Academic Publishers},
  year = {1981},
  editor = {Masaru Tomita},
  pages = {9--24},
  address = {Dordrecht},
  topic = {parsing-algorithms;GB-syntax;universal-grammar;}
  }

@incollection{ fong_s-berwick:1991a,
  author = {Sandiway Fong and Robert C. Berwick},
  title = {The Computational Implementation of Principle-Based
  	Parsers},
  booktitle = {Current Issues in Parsing Technology},
  publisher = {Kluwer Academic Publishers},
  year

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit