text:
= {coherence;discourse;centering;corpus-linguistics;
  	Japanese-language;}
  }

@article{ falappa-etal:2002a,
  author = {Marcelo A. Falappa and Gabriele Kern-Iserner and Guillermo
  	R. Simari},
  title = {Explanations, Belief Revision, and Defeasible Reasoning},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {141},
  number = {1--2},
  pages = {1--28},
  topic = {belief-revision;explanation;nonmonotonic-reasoning;}
  }

@incollection{ fales:1984a,
  author = {Ewan Fales},
  title = {Causation and Induction},
  booktitle = {Causation and Causal Theories},
  publisher = {University of Minnesota Press},
  year = {1984},
  editor = {Peter A. French and Theodore E. Uehling, Jr. and Howard
  	K. Wettstein},
  pages = {113--134},
  address = {Minneapolis},
  topic = {causality;induction;}
  }

@article{ falk:1972a,
  author = {Gilbert Falk},
  title = {Interpretation of Imperfect Line Data as a
  	Three-Dimensional Scene},
  journal = {Artificial Intelligence},
  year = {1972},
  volume = {3},
  number = {1--3},
  pages = {101--144},
  topic = {three-D-reconstruction;}
  }

@article{ falkenberg:1994a,
  author = {Gabriel Falkenberg},
  title = {Review of \emph{{P}ropositions, Attitudes, and
  	{R}ussellian Annotation}, by {M}ark {R}ichard},
  journal = {Journal of Semantics},
  year = {1994},
  volume = {11},
  number = {1},
  pages = {133--148},
  xref = {Review of: richard:1990a.},
  rtnote = {In RHT collection.},
  topic = {propositional-attitudes;}
  }

@article{ falkenhainer-etal:1989a,
  author = {Brian Falkenhainer and Kenneth D. Forbus and Dedre Gentner},
  title = {The Structure-Mapping Engine: Algorithm and Examples},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {41},
  number = {1},
  pages = {1--63},
  acontentnote = {Abstract:
     This paper describes the structure-mapping engine (SME), a
     program for studying analogical processing. SME has been built
     to explore Gentner's structure-mapping theory of analogy, and
     provides a ``tool kit'' for constructing matching algorithms
     consistent with this theory. Its flexibility enhances cognitive
     simulation studies by simplifying experimentation. Furthermore,
     SME is very efficient, making it a useful component in machine
     learning systems as well. We review the structure-mapping theory
     and describe the design of the engine. We analyze the complexity
     of the algorithm, and demonstrate that most of the steps are
     polynomial, typically bounded by O(N2).  Next we demonstrate
     some examples of its operation taken from our cognitive
     simulation studies and work in machine learning. Finally, we
     compare SME to other analogy programs and discuss several areas
     for future work.},
  topic = {analogy;AI-algorithms-analysis;analogical-reasoning;}
  }

@inproceedings{ falkenhainer-forbus:1988a1,
  author = {Brian  Falkenhainer and Kenneth D. Forbus},
  title = {Setting Up Large Scale Qualitative Models},
  booktitle = {Proceedings of the Seventh National Conference on
              Artificial Intelligence},
  year = {1988},
  editor = {Reid Smith and Tom Mitchell},
  pages = {553--558},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  xref = {Republication: falkenhainer-forbus:1988a2.},
  topic = {qualitative-modeling;qualitative-reasoning;}
  }

@incollection{ falkenhainer-forbus:1988a2,
  author = {Brian  Falkenhainer and Kenneth D. Forbus},
  title = {Setting Up Large Scale Qualitative Models},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {553--558},
  address = {San Mateo, California},
  xref = {Republication of: falkenhainer-forbus:1988a1.},
  topic = {qualitative-modeling;qualitative-reasoning;}
  }

@article{ falkenhainer-forbus:1991a,
  author = {Brian Falkenhainer and Kenneth D. Forbus},
  title = {Compositional Modeling: Finding the Right Model for the
  	Job},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {51},
  number = {1--3},
  pages = {95--143},
  acontentnote = {Abstract:
     To represent an engineer's knowledge will require domain
     theories that are orders of magnitude larger than today's
     theories, describe phenomena at several levels of granularity,
     and incorporate multiple perspectives.  To build and use such
     theories effectively requires strategies for organizing domain
     models and techniques for determining which subset of knowledge
     to apply for a given task.  This paper describes compositional
     modeling, a technique that addresses these issues.  Compositional
     modeling uses explicit modeling assumptions to decompose domain
     knowledge into semi-independent model fragments, each describing
     various aspects of objects and physical processes.  We describe
     an implemented algorithm for model composition.  That is, given a
     general domain theory, a structural description of a specific
     system, and a query about the system's behavior, the algorithm
     composes a model which suffices to answer the query while
     minimizing extraneous detail.  We illustrate the utility of
     compositional modeling by outlining the organization of a
     large-scale, multi-grain, multi-perspective model we have built
     for engineering thermodynamics, and showing how the model
     composition algorithm can be used to automatically select the
     appropriate knowledge to answer questions in a tutorial setting.  },
  topic = {thermodynamics;domain-modeling;
  	modular-domain-representations;}
  }

@article{ fallis:2007a,
  author = {Don Fallis},
  title = {Attitudes Toward Epistemic Risk and the Value of Experiments},
  journal = {Studia Logica},
  year = {2007},
  volume = {86},
  number = {2},
  pages = {215--246},
  topic = {belief;risk;epistemic-utility;}
  }

@book{ fallside-woods_wa:1985a,
  editor = {Frank Fallside and William A. Woods},
  title = {Computer Speech Processing},
  publisher = {Prentice Hall},
  year = {1985},
  address = {Englewood Cliffs, New Jersey},
  topic = {speech-processing;}
 }

@incollection{ faltings:1990a,
  author = {Boi Faltings},
  title = {Qualitative Kinematics in Mechanisms},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {568--574},
  address = {San Mateo, California},
  xref = {Republication of: },
  topic = {qualitative-physics;qualitative-reasoning;spatial-reasoning;}
  }

@article{ faltings:1992a,
  author = {Boi Faltings},
  title = {A Symbolic Approach to Qualitative Kinematics},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {56},
  number = {2--3},
  pages = {139--170},
  acontentnote = {Abstract:
     An important problem for mechanism design and analysis is
     reasoning about the relationship between object shapes and their
     kinematic function. Such reasoning is difficult because of the
     unstructured influence of the shapes' metric dimensions. In this
     paper, we show how a qualitative kinematic analysis can be based
     solely on symbolic reasoning and evaluation of predicates on
     metric dimensions. This allows symbolic reasoning about
     kinematics without explicit numerical representations of object
     dimensions, and automatic generation of operators relating
     kinematic goals to shape modifications which may achieve them.},
  topic = {device-modeling;qualitative-physics;}
  }

@article{ faltings:1994a,
  author = {Boi Faltings},
  title = {Arc-Consistency for Continuous Variables},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {65},
  number = {2},
  pages = {363--376},
  acontentnote = {Abstract:
     Davis [1] has investigated the properties of the Waltz
     propagation algorithm with interval labels in continuous
     domains. He shows that in most cases the algorithm does not
     achieve arc-consistency and furthermore is subject to infinite
     iterations. In this paper, I show that the main reason for
     Davis' negative results lies in the way he formulates the
     propagation rule for the Waltz algorithm. For binary
     constraints, I propose a different propagation rule and show
     that it guarantees arc-consistency upon quiescence of the
     propagation.  Generalizations to n-ary constraints are possible
     but involve more complex geometry.  Arc-consistency guarantees a
     minimal network only when the constraint graph is a tree. I show
     that the new formulation of the propagation algorithm rules out
     the possibility of infinite iterations for all tree-structured
     constraint networks, and thus obtain a general and reliable
     algorithm for arc-consistency in continuous domains.},
  topic = {arc-consistency;reasoning-about-continuous-quantities;}
  }

@article{ faltings-machogonzalez:2005a,
  author = {Boi Faltings and Santiago Macho-Gonzalez},
  title = {Open Constraint Programming},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {161},
  number = {1--2},
  pages = {181--208},
  topic = {constraint-satisfaction;distributed-processing;}
  }

@book{ faltings-struss:1992a,
  editor = {Boi Faltings and Peter Struss},
  title = {Recent Advances in Qualitative Physics},
  publisher = {The {MIT} Press},
  year = {1992},
  address = {Cambridge, Massachusetts},
  ISBN = {0262061422},
  rtnote = {UMich Media Union Library Call No: Q 335.5 .R3331 1992},
  topic = {qualitative-physics;}
 }

@article{ faltings-yokoo:2005a,
  author = {Boi Faltings and Makoto Yokoo},
  title = {Introduction:  Special Issue on Distributed Constraint
  	Satisfaction},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {161},
  number = {1--2},
  pages = {1--5},
  topic = {constraint-satisfaction;distributed-processing;}
  }

@incollection{ faltz:1985a,
  author = {Leonard M. Faltz},
  title = {Towards a Typology of Natural Logic},
  booktitle = {Quantification in Natural Languages, Vol. 1},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {Emmon Bach and Eloise Jelinek and Angelika Kratzer and
   	Barbara Partee},
  pages = {271--319},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  contentnote = {Explores issue of whether a different logic might
  	be appropriate for semantic representation of different languages.},
  topic = {nl-semantics;nl-quantifiers;foundations-of-semantics;}
  }

@article{ fan_j-etal:2009a,
  author = {James Fan and Ken Barker and Bruce Porter},
  title = {Automatic Interpretation of Loosely Encoded Input},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {2},
  pages = {197--220},
  topic = {text-understanding;metonymy;}
  }

@article{ fang_xc-etal:2005a,
  author = {Xiacong Fan and John Yen and Richard A. Volz},
  title = {A Theoretical Framework on Proactive Information Exchange
  		in Agent Teamwork},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {169},
  number = {1},
  pages = {23--97},
  topic = {agent-communication;communication-protocols;}
  }

@book{ fann:1969a,
  editor = {Kuang T. Fann},
  title = {Symposium on J.L. Austin},
  publisher = {Routledge and Kegan Paul},
  year = {1969},
  address = {London},
  rtnote = {Hillman B1618 A84F36x},
  missinginfo = {E's 1st name},
  topic = {JL-Austin;ordinary-language-philosophy;}
 }

@book{ fann:1970a,
  author = {Kuang T. Fann},
  title = {Peirce's Theory of Abduction},
  publisher = {Martinus Nijhoff},
  year = {1970},
  address = {The Hague},
  rtnote = {UMich Graduate Library B 945 .P44 F22},
  topic = {Peirce;abduction;}
 }

@article{ fantl-mcgrath:2002a,
  author = {Jeremy Fantl and Matthew McGrath},
  title = {Evidence, Pragmatics, and Justification},
  journal = {The Philosophical Review},
  year = {2002},
  volume = {111},
  number = {1},
  pages = {67--94},
  topic = {belief;justification;}
  }

@unpublished{ fara:2002a,
  author = {Michael Fara},
  title = {Dispositions and Habituals},
  year = {2002},
  note = {Unpublished manuscript, Cornell University},
  rtnote = {In RHT collection.},
  topic = {dispositions;}
  }

@article{ fara:2005a,
  author = {Michael Fara},
  title = {Dispositions and Habituals},
  journal = {No\^us},
  year = {2004},
  volume = {39},
  number = {1},
  pages = {45--82},
  topic = {dispositions;}
  }

@article{ fara-williamson_t:2005a,
  author = {Michael Fara and Timothy Williamson},
  title = {Counterparts and Actuality},
  journal = {Mind},
  year = {2005},
  volume = {114},
  number = {453},
  pages = {1--30},
  topic = {counterpart-theory;}
  }

@article{ faratin-etal:2002a,
  author = {P. Faratin and C. Sierra and Nicholas R. Jennings},
  title = {Using Similarity Criteria to Make Issue Trade-Offs in
  	Automated Negotiations},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {142},
  number = {2},
  pages = {205--237},
  topic = {multiagent-systems;automated-negotiation;}
  }

@book{ farber:1940a,
  editor = {Marvin Farber},
  title = {Philosophical Essays in Memory of {E}dmund {H}usserl},
  publisher = {Harvard University Press},
  year = {1940},
  address = {Cambridge, Massachusetts},
  rtnote = {UMich Graduate Library, B 29 .P54.},
  topic = {phenomenology;}
 }

@book{ farghaly:2003a,
  editor = {Ali Farghaly},
  title = {Handbook for Language Engineers},
  publisher = {{CSLI} Publications},
  year = {2003},
  address = {Stanford, California},
  ISBN = {1-58586-395-2 (hardcover), 1-58586-376-0 (pbk)},
  xref = {Reviews: mitkov:2004a, vossen:2005a.},
  topic = {nlp;}
 }

@inproceedings{ fargier-etal:2000a,
  author = {H\'el\`ene Fargier and J\'er\^ome Lang and Pierre Marquis},
  title = {Propositional Logic and One-Stage Decision Making},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {445--456},
  topic = {qualitative-utility;implementations-of-decision-theory;}
  }

@article{ fargier-sabbadin:2005a,
  author = {H\'el\`ene Fargier and R\'egis Sabbadin},
  title = {Qualitative Decision Under Uncertainty:  Back to Expected
  		Utility},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {164},
  number = {1--2},
  pages = {245--280},
  topic = {qualitative-utility;}
  }

@incollection{ farinasdelcerro-herzig:1991a,
  author = {Luis Fari\~nas del Cerro and Andreas Herzig},
  title = {A Modal Analysis of Possibility Theory},
  booktitle = {Symbolic and Quantitative Approaches for Uncertainty:
  	Proceedings of the {E}uropean Conference {ECSQAU}, Marseille,
	France, October 1991},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Rudolf Kruse and Pierre Siegel},
  pages = {58--62},
  address = {Berlin},
  topic = {possibility-logic;modal-logic;qualitative-probability;}
  }

@incollection{ farinasdelcerro-herzig:1996a,
  author = {Luis Fari\~nas del Cerro and Andreas Herzig},
  title = {Belief Change and Dependence},
  booktitle = {Theoretical Aspects of Rationality and Knowledge:
  	Proceedings of the Sixth Conference ({TARK} 1996)},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Yoav Shoham},
  pages = {147--161},
  address = {San Francisco},
  topic = {belief-revision;}
  }

@inproceedings{ farkas:1981a,
  author = {Donka Farkas},
  title = {Quantifier Scope and Syntactic Islands},
  booktitle = {Proceedings of the Seventeenth Regional Meeting of the
  	Chicago Linguistics Society},
  year = {1981},
  pages = {59--66},
  publisher = {Chicago Linguistics Society},
  address = {Chicago University, Chicago, Illinois},
  missinginfo = {editor},
  topic = {nl-quantifier-scope;}
  }

@article{ farkas:1988b,
  author = {Donka F. Farkas},
  title = {On Obligatory Control},
  journal = {Linguistics and Philosophy},
  year = {1988},
  volume = {11},
  number = {1},
  pages = {27--58},
  topic = {syntactic-control;}
  }

@incollection{ farkas:1997a,
  author = {Donka F. Farkas},
  title = {Evaluation Indices and Scope},
  booktitle = {Ways of Scope Taking},
  publisher = {Kluwer Academic Publishers},
  year = {1997},
  editor = {Anna Szabolcsi},
  pages = {183--215},
  address = {Dordrecht},
  topic = {nl-quantifier-scope;nl-quantifiers;}
  }

@inproceedings{ farkas:2002a,
  author = {Donka F. Farkas},
  title = {Varieties of Indefinites},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XII}},
  publisher = {Cornell University},
  year = {2002},
  editor = {Brendan Jackson},
  pages = {59--83},
  address = {Ithaca, New York},
  topic = {nl-semantics;indefiniteness;context;}
  }

@article{ farkas:2002b,
  author = {Donka F. Farkas},
  title = {Specificity Distinctions},
  journal = {Journal of Semantics},
  year = {2002},
  volume = {19},
  number = {3},
  pages = {213--243},
  topic = {nl-semantics;specificity;indefiniteness;}
  }

@inproceedings{ farkas-giannakidou:1996a,
  author = {Donka Farkas and Anastasia Giannakidou},
  title = {How Clause-bounded is the Scope of Universals?},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VI}},
  publisher = {Cornell University},
  year = {1996},
  editor = {Teresa Galloway and Justin Spence},
  pages = {35--52},
  address = {Ithaca, New York},
  topic = {nl-semantics;nl-quantifier-scope;}
  }

@article{ farkas-sugioka:1983a,
  author = {Donka F. Farkas and Yoko Sugioka},
  title = {Restrictive If/When Clauses},
  journal = {Linguistics and Philosophy},
  year = {1983},
  volume = {6},
  number = {2},
  pages = {225--258},
  contentnote = {They treat Gen as an adverb of quantifcation, basically,
     a vague binary quantifier.  But they treat Bare Plurals as
     kind-denoting. --Delia Graff.},
  topic = {nl-semantics;conditionals;sentence-focus;pragmatics;}
  }

@article{ farmer-guttman_jd:2000a,
  author = {William M. Farmer and Joshua D. Guttman},
  title = {A Set Theory with Support for Partial Functions},
  journal = {Studia Logica},
  year = {2000},
  volume = {66},
  number = {1},
  pages = {59--58},
  topic = {set-theory;partial-logic;}
  }

@unpublished{ farquhar-etal:1995a,
  author = {Adam Farquhar and Richard Fikes and Wanda Pratt and
  		James Rice},
  title = {Collaborative Ontology Construction for Information
  		Integration},
  year = {1995},
  note = {Unpublished manuscript, Knowledge Systems
  	Laboratory, Stanford University.  Available at
	ftp://ftp.ksl.stanford.edu/pub/KSL_Reports/KSL-95-63.ps.gz.},
  rtnote = {In RHT collection.  Filed under "Fikes".},
  topic = {computational-ontology;information-extraction;}
  }

@unpublished{ farquhar-etal:1996a,
  author = {Adam Farquhar and Richard Fikes and James Rice},
  title = {The {O}ntolingua Server: A Tool for Collaborative
  	Ontology Construction},
  year = {1996},
  note = {Unpublished manuscript, Stanford Knowledge Systems
  	Laboratory.  Available at
	http://ksi.cpsc.ucalgary.ca/KAW/KAW96/farquhar/farquhar.html},
  rtnote = {In RHT collection.  Filed under "Fikes".},
  topic = {computational-ontology;}
  }

@article{ farrell_dm:1993a,
  author = {Daniel M. Farrell},
  title = {Utility-Maximizing Intentions and the Theory of Rational
  	Choice},
  journal = {Philosophical Topics},
  year = {1994},
  volume = {21},
  number = {1},
  pages = {53--78},
  topic = {foundations-of-utility;causal-decision-theory;toxin-puzzle;}
  }

@inproceedings{ farrell_p:1993a,
  author =  {Patrick Farrell},
  title = {The Interplay of Syntax and Semantics in Complement Control},
  booktitle = {Proceedings from Semantics and Linguistic Theory {III}},
  year = {1993},
  editor = {Utpal Lahiri and Zachary Wyner},
  pages = {57--76},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {complementation;syntactic-control;}
  }

@incollection{ farrell_tb:1983a,
  author = {Thomas B. Farrell},
  title = {Aspects of Coherence in Conversation and Rhetoric},
  booktitle = {Conversational Coherence:  Form, Structure and Strategy},
  publisher = {Sage Publications},
  year = {1983},
  editor = {Robert T. Craig and Karen Tracey},
  pages = {259--284},
  address = {London},
  topic = {discourse-coherence;discourse-analysis;pragmatics;}
  }

@incollection{ farreres-etal:1998a,
  author = {Xavier Farreres and German Rigau and Horacio
  	Rodr\'iguez},
  title = {Using {W}ord{N}et for Building {W}ord{N}ets},
  booktitle = {Use of {W}ord{N}et in Natural Language Processing
  	Systems:  Proceedings of the Conference},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Sanda Harabagiu},
  pages = {65--72},
  address = {Somerset, New Jersey},
  topic = {nl-processing;WordNet;}
  }

@book{ farrington:1996a,
  author = {Jill M. Farrington},
  title = {Analyzing for Authorship: A Guide to the Cusum Technique},
  publisher = {University of Wales Press},
  year = {1996},
  address = {Cardiff},
  topic = {authorship-attribution;}
 }

@inproceedings{ fasciano:1995a,
  author = {Mark Fasciano},
  title = {Building an Agent with Multiple Rationalities},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Rational Agency: Concepts, Theories, Models, and Applications},
  year = {1995},
  editor = {Michael Fehling},
  pages = {56--60},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {agent-architectures;qualitative-utility;planning;}
  }

@inproceedings{ fasli:1999a,
  author = {Maria Fasli},
  title = {Modeling Reasoning Agents},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
  	Practical Reasoning and Rationality},
  year = {1999},
  editor = {John Bell},
  pages = {8--15},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {agent-modeling;agent-architectures;agent-attitudes;}
  }

@book{ fasold:1990a,
  author = {Ralph Fasold},
  title = {The Sociolinguistics of Language},
  publisher = {Oxford University Press},
  year = {1990},
  address = {Oxford},
  ISBN = {0631133860, 0631138250 (pbk.)},
  rtnote = {UMich Graduate Library Call No: P 40 .F3711 1990},
  topic = {sociolinguistics;}
 }

@book{ fass:1997a,
  author = {Dan Fass},
  title = {Processing Metonymy and Metaphor},
  publisher = {Ablex Publishing},
  year = {1997},
  address = {Greenwich, Connecticut},
  missinginfo = {A's 1st name.},
  xref = {Review: ferrari:1999a.},
  topic = {discourse;psycholinguistics;metaphor;metonymy;}
 }

@inproceedings{ fatah-peot:2000a,
  author = {Yousri El Fatah and Mark Alan Peot},
  title = {A Compositional Structured Query Approach to Automated
  	Inference},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {213--224},
  topic = {reasoning-about-uncertainty;}
  }

@article{ fatima-etal:2004a,
  author = {Shaheen S. Fatima and Michael J. Wooldridge and Nicholas R.
  	Jennings},
  title = {An Agenda-Based Framework for Multi-Issue Negotiation},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {152},
  number = {1},
  pages = {1--45},
  topic = {automated-negotiation;game-theory;}
  }

@article{ fatima-etal:2008a,
  author = {Shaheen S. Fatima and Michael Wooldridge and
  		Nicholas R.  Jennings},
  title = {A Linear Approximation Method for the {S}hapley Value},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {14},
  pages = {1673--1699},
  topic = {coalitional-games;}
  }

@article{ fauconnier:1975a,
  author = {Gilles Fauconnier},
  title = {Pragmatic Scales and Logical Structure},
  journal = {Linguistic Inquiry},
  year = {1975},
  volume = {6},
  number = {3},
  pages = {353--375},
  topic = {nl-semantics;polarity;pragmatic-scales;}
  }

@book{ fauconnier:1975b,
  author = {Gilles Fauconnier},
  title = {Theoretical Implications of Some Global Phenomena in Syntax},
  publisher = {Indiana University Linguistics Club},
  year = {1975},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {nl-syntax;nl-semantics;}
 }

@incollection{ fauconnier:1978a,
  author = {Gilles Fauconnier},
  title = {Implication Reversal in a Natural Language},
  booktitle = {Formal Semantics and Pragmatics for Natural Languages},
  publisher = {D. Reidel Publishing Co.},
  year = {1978},
  editor = {Franz Guenthner and S.J. Schmidt},
  pages = {289--301},
  address = {Dordrecht},
  topic = {nl-semantics;polarity;pragmatic-scales;}
  }

@article{ fauconnier:1978b,
  author = {Giles Fauconnier},
  title = {Is There a Linguistic Level of Logical Representation},
  journal = {Theoretical Linguistics},
  year = {1978},
  volume = {8},
  number = {1},
  pages = {31--49},
  topic = {nl-semantics;foundations-of-semantics;}
  }

@article{ fauconnier:1985a,
  author = {Giles Fauconnier},
  title = {Do Quantifiers Branch?},
  journal = {Linguistic Inquiry},
  year = {1975},
  volume = {6},
  number = {4},
  pages = {555--578},
  topic = {nl-quantifiers;}
  }

@book{ fauconnier:1985b,
  author = {Giles Fauconnier},
  title = {Mental Spaces},
  publisher = {The {MIT} Press},
  year = {1985},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.  On shelf.},
  xref = {Review: cormack:1987a.},
  topic = {nl-semantics;foundations-of-semantics;intensionality;anaphora;}
 }

@book{ fauconnier:1997a,
  author = {Giles Fauconnier},
  title = {Mappings in Thought and Language},
  publisher = {Cambridge University Press},
  year = {1997},
  address = {Cambridge, England},
  topic = {metaphor;pragmatics;common-sense-reasoning;}
 }

@book{ fauconnier-sweetser:1996a,
  editor = {Giles Fauconnier and Eve Sweetser},
  title = {Spaces, Worlds and Grammar},
  publisher = {University of Chicago Press},
  year = {1996},
  address = {Chicago, Illinois},
  topic = {nl-semantics;foundations-of-semantics;pragmatics;}
 }

@book{ faulkner:1998a,
  author = {Christine Faulkner},
  title = {The Essence of Human-Computer Interaction},
  publisher = {Prentice Hall},
  year = {1998},
  address = {London},
  ISBN = {0137519753},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 F381 1998.},
  topic = {HCI;}
 }

@incollection{ fawcett-davies_bl:1992a,
  author = {Robin P. Fawcett and Bethan L. Davies},
  title = {Monologue as a Turn in Dialogue: Towards an Integration of
  		Exchange Structure in Rhetorical Structure Theory},
  booktitle = {Aspects of Automated Natural Language Generation: 6th
    International Workshop on Natural Language Generation, {T}rento,
    {I}taly, April 5--7, 1992},
  publisher = {Springer-Verlag},
  year = {1992},
  editor = {Robert Dale and Eduard Hovy and Dietmar R\"ossner and
  	Oliviero Stock},
  pages = {151--166},
  address = {Berlin},
  topic = {nl-generation;discourse-planning;discourse-structure;}
  }

@inproceedings{ fayard-henderson_a:2001a,
  author = {Anne-Laure Fayard and Austin Henderson},
  title = {Looking at `Situated' Technology: Differences in Pattern
  	of Interaction Reflect Differences in Context},
  booktitle = {Modeling and Using Context: Third International and
  	Interdisciplinary Conference, Context 2001},
  publisher = {Springer-Verlag},
  year = {2001},
  editor = {Varol Akman and Paolo Bouquet and Richmond Thomason
  	and Roger A. Young},
  pages = {441-444},
  address = {Berlin},
  topic = {context;psychology-of-technology;}
  }

@article{ fayyad-etal:1996a,
  author = {Usama Fayyad and Gregory Piatetsky-Shapiro and Padhraic
  	Smyth},
  title = {From Data Mining to Knowledge Discovery in Databases},
  journal = {{AI} Magazine},
  year = {1996},
  volume = {17},
  number = {3},
  pages = {37--54},
  topic = {knowledge-retrieval;krcourse;}
  }

@incollection{ federici-etal:1997a,
  author = {Stefano Federici and Simonetta Montemagni and Vito
    		Pirelli},
  title = {Inferring Semantic Similarity from
		Distributional Evidence: An Analogy-Based Approach to
		Word Sense Disambiguation},
  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 = {90--97},
  address = {New Brunswick, New Jersey},
  topic = {lexical-disambiguation;statistical-nlp;}
  }

@incollection{ federico-demori:1998a,
  author = {Marcello Federico and Renato de Mori},
  title = {Language Modeling},
  booktitle = {Spoken Dialogues with Computers},
  publisher = {Academic Press},
  year = {1998},
  editor = {Renato de Mori},
  pages = {199--230},
  address = {New York},
  topic = {speech-recognition;n-gram-models;}
  }

@book{ feferman_ab-feferman_s:2004a,
  author = {Anita Burdman Feferman and Solomon Feferman},
  title = {Alfred {T}arski: Life and Logic},
  publisher = {Cambridge University Press},
  year = {2004},
  address = {Cambridge, England},
  ISBN = {0-521-80240-7},
  rtnote = {In RHT collection.  History of Logic Shelves.},
  xref = {Review: },
  topic = {Tarski;history-of-logic;}
 }

@article{ feferman_s:1959a,
  author = {Solomon Feferman},
  title = {Nonrecursiveness of Sentences Closed Under Direct Product},
  journal = {Notices of the {A}merican {M}athematical {S}ociety},
  year = {1959},
  volume = {6},
  pages = {619},
  missinginfo = {number},
  topic = {model-theory;decidability;}
  }

@article{ feferman_s:1984a,
  author = {Solomon Feferman},
  title = {Toward Useful Type-Free Theories, {I}},
  journal = {Journal of Symbolic Logic},
  year = {1984},
  volume = {49},
  pages = {75--111},
  missinginfo = {number},
  topic = {semantic-paradoxes;Russell-paradox;lambda-calculus;
  	type-free-theories;}
  }

@article{ feferman_s:1985a,
  author = {Solomon Feferman},
  title = {Intensionality in Mathematics},
  journal = {Journal of Philosophical Logic},
  year = {1985},
  volume = {14},
  number = {1},
  pages = {41--55},
  topic = {foundations-of-mathematics;intensionality;
  	constructive-mathematics;}
  }

@incollection{ feferman_s:1988a,
  author = {Solomon Feferman},
  title = {Turing in the Land of {O}(z)},
  booktitle = {The Universal {T}uring Machine: A Half-Century
  	Survey},
  publisher = {Oxford University Press},
  year = {1988},
  editor = {Rolf Herkin},
  pages = {113--147},
  address = {Oxford},
  topic = {Turing;ordinal-logics;}
  }

@incollection{ feferman_s:1991a,
  author = {Solomon Feferman},
  title = {Proofs of Termination and the `91' Function},
  booktitle = {Artificial Intelligence and Mathematical Theory of
  	Computation},
  publisher = {Academic Press},
  year = {1991},
  editor = {Vladimir Lifschitz},
  pages = {47--63},
  address = {San Diego},
  topic = {algorithms;program-verification;}
  }

@incollection{ feferman_s:1994a,
  author = {Solomon Feferman},
  title = {Finitary Inductively Presented Logics},
  booktitle = {What is a Logical System?},
  publisher = {Oxford University Press},
  year = {1994},
  editor = {Dov Gabbay},
  pages = {297--328},
  address = {Oxford},
  topic = {finitary-logics;recursion-theory;}
  }

@article{ feferman_s:1997a,
  author = {Solomon Feferman},
  title = {Penrose's {G}\"odelian Argument},
  journal = {Psyche},
  year = {1997},
  volume = {2},
  note = {Electronic journal: http://psyche.cs.monash.edu.au.},
  topic = {foundations-of-cognition;goedels-first-theorem;
  	foundations-of-computation;goedels-second-theorem;}
  }

@book{ feferman_s:1998a,
  author = {Solomon Feferman},
  title = {In the Light of Logiic},
  publisher = {Oxford University Press},
  year = {1998},
  address = {Oxford},
  xref = {Reviews: avigad:1999a.},
  topic = {philosophy-of-mathematics;proof-theory;}
 }

@article{ feferman_s:2009a,
  author = {Solomon Feferman},
  title = {G\"odel, {N}agel, Minds, and Machines},
  journal = {The Journal of Philosophy},
  year = {2009},
  volume = {106},
  number = {4},
  pages = {201--219},
  topic = {Goedel;philosophy-of-computation;}
  }

@article{ feferman_s-etal:2000a,
  author = {Solomon Feferman and Harvey M. Friedman and Penelope
  	Maddy and John R. Steel},
  title = {Does Mathematics Need New Axioms?},
  journal = {The Bulletin of Symbolic Logic},
  year = {2000},
  volume = {6},
  number = {4},
  pages = {401--446},
  topic = {foundations-of-mathematics;foundations-of-set-theory;
  	continuum-hypothesis;}
  }

@article{ feferman_s-hellman_g:1975a,
  author = {Solomon Feferman and Geoffrey Hellman},
  title = {Predicative Foundations of Arithmetic},
  journal = {Journal of Philosophical Logic},
  year = {1975},
  volume = {24},
  number = {1},
  pages = {1--17},
  topic = {(im)predicativity;foundations-of-mathematics;}
  }

@article{ feferman_s-hellman_g:1996a,
  author = {Solomon Feferman and Geoffrey Hellman},
  title = {Predicative Foundations of Arithmetic},
  journal = {Journal of Philosophical Logic},
  year = {1996},
  volume = {24},
  number = {1},
  pages = {1--17},
  topic = {foundations-of-mathematics;formalized-arithmetic;}
  }

@incollection{ fehige:1994a,
  author = {Christoph Fehige},
  title = {The Limit Assumption in Deontic (and Prohairetic) Logic},
  booktitle = {Analyomen 1},
  publisher = {Walter de Gruyter},
  year = {1994},
  editor = {Georg Meggle and Ulla Wessels},
  pages = {42--56},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {deontic-logic;}
  }

@article{ fehling:1993a,
  author = {Michael R. Fehling},
  title = {Unified Theories of Cognition: Modeling Cognitive
  	Competence},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {295--328},
  xref = {Review of newell:1992a.},
  topic = {SOAR;cognitive-architectures;}
  }

@incollection{ fehrer:1998a,
  author = {D. Fehrer},
  title = {Developing Deductive Systems: The]
			Toolbox Style},
  booktitle = {Automated Deduction: A Basis for Applications.
  	Volume {II}, Systems and Implementation Techniques},
  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;}
  }

@article{ feigenbaum-buchanan_bg:1993a,
  author = {Edward A. Feigenbaum and Bruce G. Buchanan},
  title = {{DENDRAL} and {Meta-DENDRAL:} Roots of Knowledge
  	Systems and Expert Systems Applications},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {233--240},
  topic = {expert-systems;knowledge-engineering;}
  }

@book{ feigenbaum-mccorduck:1983a,
  author = {Edward A. Feigenbaum and Pamela McCorduck},
  title = {The Fifth Generation: Artificial Intelligence and {J}apan's
    Computer Challenge to the World},
  publisher = {Addison-Wesley},
  year = {1983},
  address = {Reading, Massachusetts},
  ISBN = {0201115190},
  rtnote = {UMich Media Union Library, HD9696.C63J3 F28.},
  xref = {Review: stefik:1984a, dekleer:1984a},
  topic = {popular-cs;cs-journalism;}
 }

@article{ feigl:1950a,
  author = {Herbert Feigl},
  title = {Review of ``A Note on Natural Laws and So-Called
  		`Contrary-to-Fact' Conditionals'', by {K}arl {R}. {P}opper},
  journal = {Journal of Symbolic Logic},
  year = {1950},
  volume = {15},
  number = {2},
  pages = {144--145},
  contentnote = {Popper argues you can account for natural laws using
  		material implication.  Popper uses "strict" universals;
		Feigl points ont that this introduces intensionality.},
  xref = {Review of: popper:1949a.},
  topic = {natural-laws;conditionals;}
  }

@book{ feigl-etal:1958a,
  editor = {Herbert Feigl and Michael Scriven and Grover Maxwell},
  title = {Concepts, Theories, and the Mind-Body Problem:
  	{M}innesota Studies in the Philosophy of Science, Volume
	{II}},
  publisher = {University of Minnesota Press},
  address = {Minneapolis},
  year = {1958},
  rtnote = {In RHT collection.  Philsci Shelves.},
  topic = {philosophy-of-science;}
 }

@book{ feigl-etal:1972a,
  editor = {Herbert Feigl and Wilfrid Sellars and Keith Lehrer},
  title = {New Readings in Philosophical Analysis},
  publisher = {Appleton-Century-Crofts},
  year = {1972},
  address = {New York},
  rtnote = {Graduate Library: B 808.5 F32},
  topic = {analytic-philosophy;}
 }

@book{ feigl-maxwell_g:1962a,
  editor = {Herbert Feigl and Grover Maxwell},
  title = {Scientific Explanation, Space, and Time: {M}innesota
  	Studies in the Philosophy of Science, Volume {III}},
  publisher = {University of Minnesota Press},
  address = {Minneapolis},
  year = {1962},
  rtnote = {In RHT collection.  Philsci Shelves.},
  topic = {philosophy-of-science;explanation;philosophy-of-physics;}
 }

@book{ feigl-scriven:1956a,
  editor = {Herbert Feigl and Michael Scriven},
  title = {The Foundations of Science and the Concepts of
  	Psychology and Psychoanalysis: {M}innesota Studies in
	the Philosophy of Science, Volume {I}},
  publisher = {University of Minnesota Press},
  address = {Minneapolis},
  year = {1962},
  rtnote = {In RHT collection.  Philsci Shelves.},
  topic = {philosophy-of-science;philosophy-of-mind;
  	philosophy-of-psychology;}
 }

@article{ feinberg:1968a,
  author = {Joel Feinberg},
  title = {Collective Responsibility},
  journal = {Journal of Philosophy},
  volume = {65},
  year = {1968},
  pages = {674--688},
  topic = {ethics;blameworthiness;}
    }

@inproceedings{ feiner-mckeown:1990a,
  author = {Steven K. Feiner and Kathleen R. McKeown},
  title = {Coordinating Text and Graphics in Explanation Generation},
  booktitle = {Proceedings of AAAI90, Eighth National Conference on
  	Artificial Intelligence},
  year = {1990},
  pages = {442--449},
  topic = {nl-generation;multimedia-generation;explanation;}
}

@book{ feiwel:1985a,
  editor = {George R. Feiwel},
  title = {Issues in Contemporary Microeconomics and Welfare},
  publisher = {Macmillan},
  year = {1985},
  address = {London},
  ISBN = {0333354826},
  rtnote = {UMich Graduate Library, HB172 .I771 1985a.},
  topic = {foundations-of-economics;welfare-economics;}
 }

@book{ feiwel:1987a,
  editor = {George R. Feiwel},
  title = {Arrow and the Foundations of the Theory of Economic Policy},
  publisher = {New York University Press},
  year = {1987},
  address = {New York},
  ISBN = {081472583X},
  rtnote = {UMich Graduate Library, HB119.A75 A781 1987.},
  topic = {foundations-of-economics;welfare-economics;}
 }

@book{ feldman_a:1980a,
  author = {Allan M. Feldman},
  title = {Welfare Economics and Social Choice Theory},
  publisher = {Kluwer Academic Publishers},
  year = {1980},
  address = {Dordrecht},
  topic = {social-choice;}
 }

@article{ feldman_f:1971a,
  author = {Fred Feldman},
  title = {Counterparts},
  journal = {The Journal of Philosophy},
  year = {1971},
  volume = {68},
  number = {13},
  pages = {406--409},
  topic = {counterpart-theory;individuation;}
  }

@unpublished{ feldman_f:1979a,
  author = {Fred Feldman},
  title = {Iffy Oughts},
  year = {1979},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  topic = {deontic-logic;conditional-obligation;`ought'}
  }

@article{ feldman_f:1980a,
  author = {Fred Feldman},
  title = {The Principle of Moral Harmony},
  journal = {Journal of Philosophy},
  volume = {77},
  year = {1980},
  pages = {166--179},
  xref = {Published as a chapter of feldman:1986a},
  topic = {ethics;}
    }

@book{ feldman_f:1986a,
  author = {Fred Feldman},
  title = {Doing the Best We Can: An Essay in Informal
             Deontic Logic},
  publisher = {D. Reidel Publishing Company},
  address = {Dordrecht},
  year = {1986},
  ISBN = {9027721645},
  rtnote = {UMich Graduate Library, BJ1012 .F431 1986.},
  topic = {deontic-logic;conditional-obligation;}
    }

@incollection{ feldman_f:1990a,
  author = {Fred Feldman},
  title = {A Simpler Solution to the Paradoxes of Deontic Logic},
  booktitle = {Philosophical Perspectives 4: Action Theory and
  	Philosophy of Mind},
  publisher = {Ridgeview Publishing Company},
  year = {1989},
  editor = {James E. Tomberlin},
  address = {Atasacadero, California},
  missinginfo = {pages},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {deontic-logic;}
  }

@incollection{ feldman_ja:1991a,
  author = {Jerome A. Feldman},
  title = {Robots with Common Sense?},
  booktitle = {Artificial Intelligence and Mathematical Theory of
  	Computation},
  publisher = {Academic Press},
  year = {1991},
  editor = {Vladimir Lifschitz},
  pages = {65--72},
  address = {San Diego},
  topic = {AI-editorial;robotics;}
  }

@article{ feldman_ja:2005a,
  author = {Jerome A. Feldman},
  title = {Review of \emph{On Intelligence}, by {J}eff {H}awkins
  		and {S}andra {B}lakeslee},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {169},
  number = {2},
  pages = {181--183},
  xref = {Review of: hawkins_j-blakeslee:2004a},
  topic = {neurocognition;foundations-of-AI;}
  }

@book{ feldman_ja:2006a,
  author = {Jerone A. Feldman},
  title = {From Molecule to Metaphor:  A Neural Theory of Language},
  publisher = {The {MIT} Press},
  year = {2006},
  address = {Cambridge, Massachusetts},
  ISBN = {0262062534},
  xref = {Reviews: idsardi:2006a.},
  topic = {foundations-of-grammar;neural-computation;}
 }

@article{ feldman_ja:2007a,
  author = {Jerry Feldman},
  title = {Her Story of Cognitive Science},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {18},
  pages = {1094--1103},
  xref = {Review of: boden:2006a},
  topic = {cognitive-science;}
  }

@article{ feldman_ja-yakimovsky:1974a,
  author = {Jerome A. Feldman and Yoram Yakimovsky},
  title = {Decision Theory and Artificial Intelligence: {I}. A
  	Semantics-Based Region Analyzer},
  journal = {Artificial Intelligence},
  year = {1974},
  volume = {5},
  number = {4},
  pages = {349--371},
  acontentnote = {Abstract:
     Mathematical decision theory can be combined with heuristic
     techniques to attack Artificial Intelligence problems. As a
     first example, the problem of breaking an image into meaningful
     regions is considered. Bayesian decision theory is seen to
     provide a mechanism for including problem dependent (semantic)
     information in a general system. Some results are presented
     which make the computation feasible.  A programming system based
     on these ideas and its application to road scenes is described.  },
  topic = {decision-theory;problem-solving-architectures;}
  }

@book{ feldman_l:1997a,
  editor = {Laurie Beth Feldman},
  title = {Morphological Aspects of Language Processing},
  publisher = {Lawrence Erlbaum Associates},
  year = {1997},
  address = {Mahwah, New Jersey},
  topic = {psycholinguistics;morphology;parsing-psychology;}
 }

@article{ feldman_r1:1995a,
  author = {R. Feldman},
  title = {In Defence of Closure},
  journal = {Philosophical Quarterly},
  year = {1995},
  volume = {45},
  pages = {487--494},
  missinginfo = {A's 1st name, number},
  topic = {hyperintensionality;propositional-attitudes;}
  }

@incollection{ feldman_r2-etal:2006a,
  author = {Robert Feldman and Gerhard Brewka and Sandro Wenzel},
  title = {Planning with Prioritized Goals},
  booktitle = {{KR}2006: Proceedings, Tenth International Conference on
      Principles of  Knowledge Representation and Reasoning},
  publisher = {AAAI Press},
  year = {2006},
  editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty},
  pages = {503--513},
  address = {Menlo Park, California},
  topic = {planning-algorithms;qualitative-utility;preferences;}
  }

@article{ feldman_rh-wierenga:1979a,
  author = {Richard H. Feldman and Edward Wierenga},
  title = {Thalberg on the Irreducibility of Events},
  journal = {Analysis},
  year = {1978},
  volume = {38},
  number = {1},
  pages = {12--16},
  rtnote = {In RHT collection.},
  xref = {Comment on thalberg:1978a.},
  topic = {events;}
  }

@article{ feldman_ya-friedman_da:1999a,
  author = {Yishai A. Feldman and Doron A. Friedman},
  title = {Portability by Automatic Translation:  A
  	Large-Scale Case Study},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {107},
  number = {1},
  pages = {1--28},
  topic = {software-engineering;abstraction;}
  }

@article{ felix-etal:2003a,
  author = {P. F\'elix and S. Barro and R. Marin},
  title = {Fuzzy Constraint Networks for Signal Pattern Recognition},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {148},
  number = {1--2},
  pages = {103--145},
  topic = {possibility-theory;fuzzy-set-theory;constraint-networks;
  	pattern-matching;}
  }

@book{ fellbaum:1998a,
  editor = {Christaine Fellbaum},
  title = {Word{N}et: An Electronic Lexical Database},
  publisher = {The {MIT} Press},
  year = {1998},
  address = {Cambridge, Massachusetts},
  contentnote = {TC:
     1. Christaine Fellbaum, "Introduction", pp. 1--19
     2. George A. Miller, "Nouns in {W}ord{N}et", pp. 23--46
     3. Katherine J. Miller, "Modifiers in {W}ord{N}et", pp. 47--67
     4. Christaine Fellbaum, "A Semantic Network of {E}nglish
     		Verbs", pp. 69--104
     5. Randee I. Tengi, "Design and Implemetation of the {W}ord{N}et
     		Database and Searching Software", pp. 105--127
     6. Marti A. Hearst, "Automated Discovery of {W}ord{N}et
     		Relations", pp. 131--151
     7. Karen T. Kohl and Douglas A. Jones and Robert C. Berwick
     		and Naoyuki Nomura, "Representing Verb Alternations in
		{W}ord{N}et", pp. 153--178
     8. Uta E. Priss, "The Formalization of {W}ord{N}et by Methods
     		of Relational Concept Analysis", pp. 179--196
     9. Shari Landes and Claudia Leacock and Randee I.
     		Tengi, "Building Semantic Concordances", pp. 199--216
    10. Christiane Fellbaum and Joachim Grabowski and Shari Landes,
    		"Performance and Confidence in a Semantic Annotation
		Task", pp. 217--237
    11. Philip Resnik, "{W}ord{N}et and Class-Based
    		Probabilities", pp. 239--263
    12. Claudia Leacock and Martin Chodorow, "Combining Local Context
    		and {W}ord{N}et Similarity for Word Sense
		Identification", pp. 265--283
    13. Ellen M. Voorhees, "Using {W}ord{N}et for Text
    		Retrieval", pp. 285--303
    14. Graeme Hirst and David St-Onge, "Lexical Chains as
    		Representations of Context for Detection and
		Correction of Malapropisms", pp. 305--332
    15. Reem Al Halimi and Rick Kazman, "Temporal Indexing through
    		Lexical Chaining", pp. 333--351
    16. J.F.M. Burg and R.P. van de Riet, "{COLOR_X}: Using Knowledge
    		from {W}ord{N}et for Conceptual Modeling", pp. 353--377
    17. Sandra M. Harabagiu and Dan I. Moldovan, "Knowledge
    		Processing on an Extended {W}ord{N}et", pp. 379--405
  },
  topic = {wordnet;nlp-lexicons;}
  }

@software{ fellbaum:1998b,
  editor = {Christiane Fellbaum},
  title = {Word{N}et 1.6 CD-Rom},
  publisher = {The {MIT} Press},
  year = {1998},
  version = {1.6},
  address = {Cambridge, Massachusetts},
  media = {CD-Rom},
  platform = {Windows 3.1, Windows 95, Windows NT, Power Mac,
  		MacIntosh 68K.},
  topic = {wordnet;nlp-lexicons;}
 }

@incollection{ fellbaum:1998c,
  author = {Christiane Fellbaum},
  title = {Towards a Representation of Idioms in {W}ord{N}et},
  booktitle = {Use of {W}ord{N}et in Natural Language Processing
  	Systems:  Proceedings of the Conference},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Sanda Harabagiu},
  pages = {52--57},
  address = {Somerset, New Jersey},
  topic = {nl-processing;WordNet;idioms;}
  }

@incollection{ fellbaum:1998d,
  author = {Christaine Fellbaum},
  title = {Introduction},
  booktitle = {Word{N}et: An Electronic Lexical Database},
  publisher = {The {MIT} Press},
  year = {1998},
  editor = {Christaine Fellbaum},
  pages = {1--19},
  address = {Cambridge, Massachusetts},
  topic = {wordnet;nlp-lexicons;computational-lexical-semantics;
  	computational-lexicography;}
  }

@incollection{ fellbaum:1998e,
  author = {Christaine Fellbaum},
  title = {A Semantic Network of {E}nglish Verbs},
  booktitle = {Word{N}et: An Electronic Lexical Database},
  publisher = {The {MIT} Press},
  year = {1998},
  editor = {Christaine Fellbaum},
  pages = {69--104},
  address = {Cambridge, Massachusetts},
  topic = {wordnet;nlp-lexicons;computational-lexical-semantics;
  	computational-lexicography;}
  }

@incollection{ fellbaum-etal:1998a,
  author = {Christiane Fellbaum and Joachim Grabowski and Shari Landes},
  title = {Performance and Confidence in a Semantic Annotation Task},
  booktitle = {Word{N}et: An Electronic Lexical Database},
  publisher = {The {MIT} Press},
  year = {1998},
  editor = {Christaine Fellbaum},
  pages = {217--237},
  address = {Cambridge, Massachusetts},
  topic = {wordnet;computational-lexical-semantics;}
  }

@incollection{ felscher:1986a,
  author = {Walter Felscher},
  title = {Dialogues as a Foundation for Intuitionistic
		Logic},
  booktitle = {Handbook of Philosophical Logic, Volume {III}:
  	Alternatives in Classical Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1986},
  editor = {Dov Gabbay and Franz Guenther},
  pages = {341--372},
  address = {Dordrecht},
  topic = {dialogue-logic;intuitionistic-logic;}
 }

@book{ feltovich-etal:1997a,
  editor = {Paul J. Feltovich and Kenneth M. Ford and Robert R. Hoffman},
  title = {Expertise In Context: Human and Machine},
  publisher = {The {MIT} Press},
  year = {1997},
  address = {Cambridge, Massachusetts},
  ISBN = {0262561107},
  rtnote = {UMich Media Union Library, QA 76.76 .E95 E98931 1997},
  topic = {expertise;}
 }

@article{ feng_hd-etal:2004a,
  author = {Haodi Feng and Kang Chen and Xiaotie Deng and Weimin Zheng},
  title = {Accessor Variety Criteria for {C}hinese Word Extraction},
  journal = {Computational Linguistics},
  year = {2004},
  volume = {30},
  number = {3},
  pages = {75--93},
  topic = {Chinese-language;word-acquisition;}
  }

@article{ fensel-etal:2000a,
  author = {Dieter Fensel and Craig Knoblock and Nicholas
  	Kushmerick and Marie-Christine Rousset},
  title = {Workshop on Intelligent Information Integration {III'99}},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {21},
  number = {1},
  pages = {91--94},
  topic = {information-integration;}
  }

@book{ fensel-etal:2002a,
  editor = {Dieter Fensel and Fausto Giunchiglia and Deborah
  	L. McGuinness and Mary-Anne Williams},
  title = {{KR2002}: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {2002},
  address = {San Francisco, California},
  contentnote = {TC:
     1. Murray Shanahan, "A Logical Account of Perception
     		Incorporating Feedback and Expectation", pp. 1--13
     2. Shyamanta H Hazarika and Anthony G. Cohn, "Adducing
     		Qualitative Spatio-Temporal Histories from
		Partial Observations", pp. 14--25
     3. David Randell and Mark Witkowski, "Building Large Composition
     		Tables Via Axiomatic Theories", pp. 26--35
     4. Florence Le Ber and Amedeo Napoli, "Design and Comparison of
     		Lattices of Topological Relations Based on {G}alois
		Lattice Theory", pp. 37--46
     5. Thomas Eiter and Thomas Lukasiewicz, "Complexity Results for
     		Explanations in the Structural-Model Approach", pp. 49--60
     6. Sylvie Coste-Marquis and Pierre Marquis, "Complexity Results
     		for Paraconsistent Inference Relations", pp. 61--72
     7. Gerhard Lakemeyer and Hector J. Levesque, "Evaluation-Based
     		Reasoning with Disjunctive Information in First-Order
		Knowledge Bases", pp. 73--81
     8. Chitta Baral and Yan Zhung, "The Complexity of Model Checking
     		for Knowledge Update", pp. 82--93
     9. S\'ebastien Konieczny and J\'erome Lang and Pierre
     		Marquis, "Distance-Based Merging: A General Framework
		and Some Complexity Results", pp. 97--108
    10. S\'ebastien Konieczny and Ram\'on Pino Pirez, "On the
    		Frontier between Arbitration and Majority", pp. 109--118
    11. Carmel Domschlak and Ronen I. Brafman, "{CP}-Nets---Reasoning
    		and Consistency Checking", pp. 121--132
    12. Didier Dubois and H\'el\`ene Fargier and Patrice Perny, "On
    		the Limitations of Ordinal Approaches to
		Decision-Making", pp.  133--144
    13. Gabriele Kern-Iserner, "A Structural Approach to Default
    		Reasoning", pp. 147--157
    14. Gerhard Brewka and Salem Benferhat and Daniel Le
    		Berre, "Qualitative Choice Logic", pp. 158--169
    15. Fangzhen Lin, "Reducing Strong Equivalence to Entailment in
    		Classical Propositional Logic", pp. 170--176
    16. Marc Denecker and Victor W. Marek and Miroslaw
    		Truszczy\'nski, "Ultimate Approximations in
		Nonmonotonic Knowledge Representation
		Systems", pp.  177--188
    17. Carsten Lutz, "Adding Numbers to the {SHIQ} Description
    		Logic---First Results", pp. 191--202
    18. Sebastian Brandt and Ralf K\"usters and Anni-Yasmin
    		Turhan, "Approximation and Difference in Description
		Logics", pp. 203--214
    19. Oliver Kutz and Frank Wolter and Michael
    		Zakharyaschev, "Connecting Abstract Description
		Systems", pp. 215--226
    20. Sergio Tessaris and Ian Horrocks and Graham Gough, "Evaluating
    		a Modular {A}box Algorithm", pp. 227--235
    21. J\'erome Lang and Pierre Marquis, "Resolving Inconsistencies
    		by Variable Forgetting", pp. 239--250
    22. Luciano Serafini and Antonia Don\'a, "Updating
    		Contexts", pp.  251--262
    23. Matteo Cristiani, "Many-Sorted Preference
    		Relations", pp.  265--276
    24. J\'erome Lang, "From Preference Representation to
    		Combinatorial Vote", pp. 277--288
    25. Chitta Baral and Tran Cao Son and Le-Chi Tuan, "A Transition
    		Function Based Characterization of Actions
		with Delayed and Continuous Effects", pp. 291--302
    26. Ronald P.A. Petrick and Hector J. Levesque, "Knowledge
    		Equivalence in Combined Action Theories", pp. 303--314
    27. Eyal Amir, "Projection in Decomposed Situation
    		Calculus", pp.  315--326
    28. Paulo Mateus and Ant\'onio Pacheco and Javier
    		Pinto, "Observations and the Probabilistic Situation
		Calculus", pp. 327--338
    29. Gregory Provan, "A Model-Based Diagnosis Framework for
    		Distributed Embedded Systems", pp. 341--352
    30. Randy Batsell and Lyle Brenner and Daniel Osherson and
    		Moshe Y. Vardi and Spyros Tsavachidis, "Eliminating
		Incoherence from Subjective Estimates of Chance", pp.
		353--364
    31. Helena Sofia Pinto and Jo\~ao P. Martins, "Evolving
    		Ontologies in Distributed and Dynamic Settings", pp.
		365--374
    32. Richard Booth, "Social Contraction and Belief Negotiation",
    		pp. 375--384
    33. Stefan Schultz and Udo Hahn, "Necessary Parts and Wholes in
    		Bio-Ontologies", pp. 387--394
    34. Brandon Bennett, "Physical Objects, Identity and
    		Vagueness", pp. 395--406
    35. Adnan Darwiche, "A Logical Approach to Factoring Belief
    		Networks", pp. 409--420
    36. Salem Benferhat and Didier Dubois and Souhila Kaci and
  		Henri Prade, "Bipolar Representation and Fusion of
		Preferences in the Possibilistic Logic Framework",
		pp. 421--432
    37. Michael Thielscher, "Programming of Reasoning and Planning
    		Agents with {FLUX}", pp. 435--448
    38. Martine de Calm\'es and Didier Dubois and Eyke
  		H\"ullermeier and Henri Prade and Florecne S\'edes,
		"A Fuzzy Set Approach to Flexible Case-Based Querying:
		Methodology and Experimentation", pp. 449--458
    39. Thomas Eiter and Michael Fink and Giuliana Sabbatini and
    		Hans Tompits, "A Generic Approach to Knowledge-Based
		Information-Site Selection", pp. 459--469
    40. Michael Winikoff and Lin Padgham and James Harland and
    		John Thangarajah, "Declarative and Procedural Goals
		in Intelligent Agent Systems", pp. 470--481
    41. Sheila McIlraith and Tran Cao San, "Adapting {G}olog for
    		Composition of Semantic Web Services", pp. 482--493
    42. Florence Dupin de Saint-Cyr and J\'erome Lang, "Belief
    		Extrapolaion (or How to Reason about Observations
		and Unpredicted Change)", pp. 497--508
    43. Matthias Broxvall, "Constraint Satisfaction on Infinite
    		Domains: Composing Domains and Decomposing
		Constraints", pp. 509--520
    44. Thomas Bittner, "Judgments about Spatio-Temporal Relations",
    		pp. 521--532
    45. Ullrich Hustadt and Renate A. Schmidt, "Scientific
    		Benchmarking with Temporal Logic Decision
		Procedures", pp. 533--544
    46. Thom Fr\"uhwirth, "As Time Goes by: Automatic Complexity
    		Analysis of Simplification Rules", pp. 547--557
    47. Alina Beygelzimer and Irina Rish, "Inference Complexity as a
    		Model-Selection Criterion for Learning {B}ayesian
		Networks", pp. 558--567
    48. Balder ten Cate, "On the Logic of D-Separation", pp. 568--577
    49. Francesco M. Donini and Paolo Liberatore and Fabio Massacci
    		and Marco Scaerf, "Solving {QBF} with {SMV}", pp.
		578--589
    50. Diego Calvanese and Giuseppe De Giacomo and Moshe Y.
    		Vardi, "Reasoning about Action and Planning in
		{LTL} Action Theories", pp. 593--602
    51. Giuseppe De Giacomo and Yves Lesp\'erance and Hector
  		J. Levesque and Sebastian Sardi\~na, "On the Semantics of
		Deliberation in {I}ndi{G}olog--from
		Theory to Implementation", pp. 603--614
    52. John McCarthy, "Actions and Other Events in Situation
    		Calculus", pp. 615--626
    53. Peter G\"ardenfors, "The Role of Higher-Order Similarity in
    		Induction and Concept-Formation", p. 629
    54. Jim Hendler, "The Semantic Web: {KR}'s Worst Nightmare?", p. 630
    55. Bernhard Nebel, "The Philosophical Soccer Player", p. 631
    56. Christopher A. Welty, "Panel: Are Upper-Level Ontologies worth
    		the Effort?", p. 632
  },
 topic = {kr;}
 }

@book{ fensel-etal:2003a,
  editor = {Dieter Fensel and Katia Sycara and John Mylopoulos},
  title = {The Semantic Web---{ISWC} 2003: Second International
  	Semantic Web Conference},
  publisher = {Springer-Verlag},
  year = {2003},
  address = {Berlin},
  ISBN = {3-540-20362-1},
  contentnote = {TC:
     1. Vipul Kashyap and Alex Borgida, "Representing the {UMLS} Semantic
     		Network Using {OWL} (Or `What's in a Semantic Web
		Link?')", pp. 1--16
     2. Ian Horrocks and Peter F. Patel-Schneider, "Reducing
     		{OWL} Entailment to Description Logic
                Satisfiability", pp. 17--29
     3. Jeff Z. Pan and Ian Horrocks, "{RDFS(FA)} and {RDF MT}: Two Semantics
     		for {RDFS}.", pp. 30--46
     4. Jeff Z. Pan and Ian Horrocks, "Web Ontology Reasoning with
     		Datatype Groups", pp. 47--63
     5. Richard Widhalm and Thomas A. M\"uck, "Merging Topics in
     		Well-Formed {XML} Topic Maps", pp. 64--79
     6. Kunal Patel and Gopal Gupta, "Semantic Processing of the
     	        Semantic Web", pp. 80--95
     7. Aimilia Magkanaraki and Val Tannen and Vassilis Christophides and
     		Dimitris Plexousakis, "Viewing the Semantic Web
		through {RVL} Lenses", pp. 96--112
     8. Deborah L. McGuinness and Paulo Pinheiro da
     		Silva, "Infrastructure for Web Explanations", pp. 113--129
     9. Paolo Bouquet and Luciano Serani and Stefano Zanobini, "Ontological
                Reasoning Semantic Coordination: A New Approach and
		an Application", pp. 130--145
    10. Laks V.S. Lakshmanan and Fereidoon Sadri, "Interoperability on
    		{XML} Data", pp. 146--163
    11. Paolo Bouquet and Fausto Giunchiglia and Frank van Harmelen
    		and Luciano Serani and Heiner Stuckenschmidt, "{C-OWL}:
		Contextualizing Ontologies", pp. 164--179
    12. Christine Golbreich and Olivier Dameron and Bernard Gibaud
    		and Anita Burgun, "Web Ontology Language Requirements
		w.r.t Expressiveness of Taxonomy and Axioms in
		Medicine", pp. 180--194
    13. Dan Wu and Bijan Parsia and Evren Sirin and James Hendler and
                Dana S. Nau, "Automating {DAML-S} Web Services Composition
		Using {SHOP2}", pp. 195--210
    14. Sudhir Agarwal and Siegfried Handschuh and Steen Staab, "Surfing the
    		Service Web", pp. 211--226
    15. Daniel J. Mandell and Sheila A. McIlraith, "Adapting
    		{BPEL4WS} for the Semantic Web: The Bottom-Up
		Approach to Web Service Interoperation", pp. 227--241
    16. Boualem Benatallah and Mohand-Said Hacid and Christophe
    		Rey and Farouk Toumani, "Request Rewriting-Based Web Service
		Discovery", pp. 242--257
    17. Andreas He and Nicholas Kushmerick, "Learning to Attach
    		Semantic Metadata to Web Services", pp. 258--273
    18. Debbie Richards and Marta Sabou,  "Semantic Markup for Semantic
    		Web Tools: A {DAML-S} Description of an
		{RDF}-Store", pp.  274--289
    19. Massimo Paolucci and Anupriya Ankolekar and Naveen
    		Srinivasan and Katia P. Sycara, "The {DAML-S} Virtual
		Machine", pp. 290--305
    20. Enrico Motta and John Domingue and Liliana Cabral and Mauro
    		Gaspari, "{IRS-II}: A Framework and
		Infrastructure for Semantic Web Services", pp. 306--318
    21. Liming Chen and Nigel R. Shadbolt and Carole Goble and Feng
    		Tao  and Simon J. Cox and Colin Puleston and P.R.
		Smart, "Towards a Knowledge-Based Approach to Semantic
		Service Composition", pp. 319--334
    22. Grit Denker and Lalana Kagal and Tim Finin and Massimo
    		Paolucci and Katia Sycara, "Security, Trust, and
		Privacy Security for {DAML} Web Services: Annotation
		and Matchmaking", pp. 335--350
    23. Matthew Richardson and Rakesh Agrawal and Pedro Domingos, "Trust
    		Management for the Semantic Web", pp. 351--368
    24. Jeremy J. Carroll, "Signing {RDF} Graphs", pp. 369--384
    25. Fabien L. Gandon and Norman M. Sadeh, "A Semantic E-Wallet to
    		Reconcile Privacy and Context Awareness", pp. 385--401
    26. Lalana Kagal and Tim Finin and Anupam Joshi, "A Policy Based
    		Approach to Security for the Semantic Web", pp. 402--418
    27. Gianluca Tonti and Jeffrey M. Bradshaw and Renia Jeffers and
    		Rebecca Montanari and Niranjan Suri and Andrzej
		Uszok, "Semantic Web Languages for Policy
		Representation and Reasoning: A Comparison of {KAoS},
		{Rei}, and {P}onder", pp. 419--437
    28. Koji Kamei and Sen Yoshida and Kazuhiro Kuwabara and Jun-ichi
    		Akahani and Tetsuji Satoh, "An Agent Framework for
		Inter-personal Information Sharing with an {RDF}-Based
		Repository", pp. 438--452
    29. Eiichi Sunagawa and Kouji Kozaki and Yoshinobu Kitamura and
    		Riichiro Mizoguchi, "An Environment for Distributed
		Ontology Development Based on Dependency
		Management", pp. 453--468
    30. Yang Li and Simon Thompson and Zhu Tan and Nick Giles and
    		Hamid Gharib, "Beyond Ontology Construction; Ontology
		Services as Online Knowledge Sharing
		Communities", pp. 469--483
    31. Atanas Kiryakov and Borislav Popov and Damyan Ognyanoff and
    		Dimitar Manov and Angel Kirilov and Miroslav
		Goranov, "Semantic Annotation, Indexing, and
		Retrieval", pp. 484--499
    32. Nenad Stojanovic and Rudi Studer and Ljiljana Stojanovic, "An
    		Approach for the Ranking of Query Results in the
		Semantic Web", pp. 500--516
    33. Zolt\'an Mikl\'os and Gustaf Neumann and Uwe Zdun and Michael
    		Sintek, "Querying Semantic Web Resources Using
		{TRIPLE} Views", pp. 517--532
    34. Saikat Mukherjee and Guizhen Yang and I.V.
    		Ramakrishnan, "Automatic Annotation of Content-Rich
		{HTML} Documents: "Structural and Semantic
		Analysis", pp. 533--549
    35. Oge Marques and Nitish Barman, "Semi-Automatic Semantic
    		Annotation of Images Using Machine Learning
		Techniques.", pp. 550--556
    36. Raphael Troncy, "Integrating Structure and Semantics into
    		Audio-Visual Documents", pp. 566--581
    37. Matthew Addis and Mike Boniface and Simon Goodall and Paul
    		Grimwood and Sanghee Kim and Paul Lewis and Kirk
		Martinez and Alison Stevenson, "{SCULPTEUR}: Towards a
		New Paradigm for Multimedia Museum Information
		Handling", pp. 582--596
    38. Joost Geurts and Stefano Bocconi and Jacco van Ossenbruggen
    		and Lynda Hardman, "Towards Ontology-Driven
		Discourse: From Semantic Graphs to Multimedia
		Presentations", pp. 597--612
    39. Yuanbo Guo and JeRapha Hein and Zhengxiang Pan, "Benchmarking
    		{DAML+OIL} Repositories", pp. 613--627
    40. Joseph B. Kopena and William C. Regli, "{DAMLJessKB}: A Tool for
    		Reasoning with the Semantic Web", pp. 628--643
    41. Jan Wielemaker and Guus Schreiber and Bob
    		Wielinga, "Prolog-Based Infrastructure for {RDF}:
		Scalability and Performance", pp. 644--658
    42. Sean Bechhofer and Raphael Volz and Phillip W. Lord, "Cooking
    		the Semantic Web with the {OWL} {API}", pp. 659--675
    43. Baoshi Yan and Martin Frank and Pedro Szekely and Robert
    		Neches and Juan Lopez, "WebScripter:
		Grass-Roots Ontology Alignment via End-User Report
		Creation", pp. 676--689
    44. Martin Dzbor and John Domingue and Enrico Motta, "Magpie:
    		Towards a Semantic Web Browser", pp. 690--705
    45. Hongsuda Tangmunarunkit and Stefan Decker and Carl
    		Kesselman, "Ontology-Based Resource Matching in the
		Grid: The Grid Meets the Semantic Web", pp. 706--721
    46. Zhen-jie Wang and Huan-ye Sheng and Peng Ding, "A {Q}-Based
    		Architecture for Semantic Information
		Interoperability on Semantic Web", pp. 722--737
    47. Dennis Quan and David Huynh and David R. Karger, "Haystack: A
    		Platform for Authoring End User Semantic Web
		Applications", pp. 738--753
    48. Luke McDowell and Oren Etzioni and Steven D. Gribble and Alon
    		Y. Halevy and Henry M. Levy and William Pentney and
		Deepak Verma and Stani Vlasseva: "Mangrove: Enticing
		Ordinary People onto the Semantic Web via Instant
		Gratification", pp. 754--770
    49. Srini Narayanan and Collin F. Baker and Charles J. Fillmore
    		and Miriam R. L. Petruck, "FrameNet Meets the
		Semantic Web:  Lexical Semantics for the Web", pp. 771--787
    50. Thomas Dreyer and David Leal and Andrea Schr\"oder and
    		Michael Schwan, "{ScadaOnWeb}: Web Based Supervisory
    		Control and Data Acquisition", pp. 788--801
    51. Oscar Corcho and Asunci\'on G\'omez-P\'erez and Angel L\'opez-Cima
    		and V. L\'opez-Garc\'ia and Mara del Carmen
		Surez-Figueroa, "{ODESeW}:
		Automatic Generation of Knowledge Portals for Intranets and
		Extranets", pp.  802--817
    52. Zavisa Bjelogrlic and Dirk-Willem van Gulik and Alberto
    		Reggiori, "Making Business Sense of the Semantic
		Web", pp. 818--833
    53. Borislav Popov and Atanas Kiryakov and Angel Kirilov and
    		Dimitar Manov and Damyan Ognyanoff and Miroslav
		Goranov, "{KIM}: Semantic Annotation Platform", pp. 834--849
    54. Neil M. Goldman, "Ontology-Oriented Programming: Static
    		Typing for the Inconsistent Programmer", pp. 850--865
    55. Ryusuke Masuoka and Bijan Parsia and Yannis Labrou, "Task
    		Computing: The Semantic Web Meets Pervasive
		Computing", pp. 866--881
    56. Michael Uschold and Peter Clark and Fred Dickey and Casey
    		Fung and Sonia Smith and Stephen A. Uczekaj and
		Michael Wilke and Sean Bechhofer and Ian Horrocks, "A
		Semantic Infosphere", pp.  882--896
    57. Andreas Maier and Hans-Peter Schnurr and York
    		Sure, "Ontology-Based Information Integration in the
		Automotive Industry", pp. 897--912
    58. J\"urgen Angele and Eddie Moench and Henrik Oppermann and
    		Steffen Staab and Dirk Wenke, "Ontology-Based Query
		and Answering in Chemistry: OntoNova @ Project
		Halo", pp. 913--928
  },
  topic = {semantic-web;}
 }

@article{ fenstad:1980a,
  author = {Jens Erik Fenstad},
  title = {Nonstandand Methods in Stochastic Analysis and Mathematical
  	Physics},
  journal = {Jber. d. {D}t. {M}ath. {V}erein.},
  year = {1980},
  volume = {82},
  pages = {167--180},
  missinginfo = {Number, full journal name},
  rtnote = {In RHT collection.},
  topic = {nonstandard-analysis;}
  }

@incollection{ fenstad:1988a,
  author = {Jens Erik Fenstad},
  title = {Language and Computations},
  booktitle = {The Universal {T}uring Machine: A Half-Century
  	Survey},
  publisher = {Oxford University Press},
  year = {1988},
  editor = {Rolf Herkin},
  pages = {327--347},
  address = {Oxford},
  topic = {situation-semantics;}
  }

@techreport{ fenstad:1989a,
  author = {Jens Erik Fenstad},
  title = {Representations and Interpretations},
  institution = {Department of Mathematics, University of Oslo},
  year = {1990},
  number = {Cosmos Report No. 9},
  address = {Oslo, Norway},
  rtnote = {In RHT collection.},
  topic = {logic-and-linguistics;feature-structure-logic;nl-semantics;}
  }

@incollection{ fenstad:1996a,
  author = {Jens Erik Fenstad},
  title = {Partiality},
  booktitle = {Handbook of Logic and Language},
  publisher = {Elsevier Science Publishers},
  year = {1996},
  editor = {Johan {van Benthem} and Alice {ter Meulen}},
  pages = {649--682},
  address = {Amsterdam},
  topic = {nl-semantics;truth-value-gaps;partial-logic;}
  }

@unpublished{ fenstad-etal:1983a,
  author = {Jens Erik Fenstad},
  title = {Situation Schemata and Systems of Logic Related to
  	Situation Semantics},
  year = {1983},
  note = {Unpublished manuscript, University of Oslo.},
  rtnote = {In RHT collection.  Year is a guess.},
  topic = {situation-semantics;}
  }

@techreport{ fenstad-etal:1984a,
  author = {Jens Erik Fenstad and Jan Tore Langholm and Jan Tore L{\o}nning
	and Helle Frisak Sem},
  title = {Report of an {O}slo Seminar in Logic and Linguistics},
  institution = {Institute of Mathematics, University of Oslo},
  number = {9},
  year = {1984},
  address = {Oslo},
  contentnote = {TC:
	1. Jens Erik Fenstad, "Introduction"
	2. Jan Tore Langholm, "Some Tentative Systems Relating to
		Situation Semantics"
	3. Jan Tore L{\o}nning, "Mass Terms and Quantification"
	4. Helle Frisak Sem, "Quantifier Scope and Coreferentiality"
	},
  rtnote = {In RHT collection.  Shelf.  LL-collections, "Fenstad".},
  topic = {nl-semantics;}
 }

@unpublished{ fenstad-etal:1986a,
  author = {Jens Erik Fenstad and Per-Kristian Halvorsen and Tore
  	Langholm and Johan {van Benthem}},
  title = {Equations, Schemata and Situations: A Framework for
  	Linguistic Semantics},
  year = {1986},
  note = {Unpublished manuscript, Stanford University.},
  rtnote = {In RHT collection.  Year is a guess.},
  topic = {situation-semantics;}
  }

@incollection{ fenstad-lonning:1987a,
  author = {Jens Erik Fenstad and Jan Tore L{\o}nning},
  title = {Computational Semantics: Steps toward ``Intelligent'' Text
		Processing},
  booktitle = {Natural Language and Logic},
  year = {1987},
  editor = {Rudi Studer},
  pages = {70--93},
  publisher = {Springer-Verlag},
  address = {Berlin},
  topic = {situation-semantics;nl-semantics;plural;}
  }

@techreport{ fenstad-lonning:1990a,
  author = {Jens Erik Fenstad and Jan Tore L{\o}nning},
  title = {Computational Semantics:  Steps towards `Intelligent'
  	Text Processing},
  institution = {Department of Mathematics, University of Oslo},
  year = {1990},
  number = {15},
  address = {Oslo, Norway},
  rtnote = {In RHT collection.},
  topic = {computational-linguistics;computational-semantics;}
  }

@article{ fenstein-wintner:2008a,
  author = {Daniel Fenstein and Shuly Wintner},
  title = {Highly Constrained Unification Grammars},
  journal = {Journal of Logic, Language, and Information},
  year = {2008},
  volume = {17},
  number = {3},
  pages = {345--381},
  topic = {unification-grammars;}
  }

@article{ ferejohn:2002a,
  author = {Michael Ferejohn},
  title = {Review of \emph{{C}ause and Explanation in Ancient {G}reek
  	Thought}, by {R}. {J}. {H}ankinson},
  journal = {The Philosophical Review},
  year = {2002},
  volume = {111},
  number = {2},
  pages = {294--296},
  xref = {Review of: hankinson:1998a},
  topic = {causality;explanation;ancient-philosophy;}
  }

@incollection{ ferguson_ca-etal:1986a,
  author = {Charles A. Ferguson and Judy Snitzer Reilly and Alice
     	ter Meulen and Elizabeth Closs Traugott},
  title = {Overview},
  booktitle = {On Conditionals},
  publisher = {Cambridge University Press},
  year = {1986},
  editor = {Elizabeth Traugott and Alice {ter Meulen} and Judy Reilly},
  pages = {3--20},
  address = {Cambridge, England},
  topic = {conditionals;}
  }

@inproceedings{ ferguson_g-allen_jf:1994a,
  author = {George Ferguson and James F. Allen},
  title = {Arguing about Plans: Plan Representation and Reasoning
  	for Mixed-Initiative Planning},
  booktitle = {Proceedings of the Second International Conference on
  	{AI} Planning Systems},
  year = {1994},
  pages = {43--48},
  editor = {Kristian Hammond},
  missinginfo = {organization, publisher, address},
  rtnote = {In RHT collection.},
  topic = {discourse;multi-agent-planning;pragmatics;}
  }

@article{ ferguson_g-allen_jf:2007a,
  author = {George Ferguson and James F. Allen},
  title = {Mixed-Initiative Systems for Collaborative Problem Solving},
  journal = {The {AI} Magazine},
  year = {2007},
  volume = {28},
  number = {2},
  pages = {23--32},
  topic = {mixed-initiative-systems;collaboration;}
  }

@article{ ferme:1998a,
  author = {Eduardo L. Ferm\'e},
  title = {On the Logic of Theory Change: Contraction without
		Recovery},
  journal = {Journal of Logic, Language, and Information},
  year = {1998},
  volume = {7},
  number = {2},
  pages = {127--137},
  topic = {belief-revision;}
  }

@article{ ferme-etal:2003a,
  author = {Eduardo Ferm\'e and Karina Saez and Pablo Sanz},
  title = {Multiple Kernal Contraction},
  journal = {Studia Logica},
  year = {2003},
  volume = {75},
  number = {2},
  pages = {183--195},
  topic = {belief-revision;}
  }

@article{ ferme-hansson_so:1999a,
  author = {Eduardo L. Ferm\'e and Sven Ove Hansson},
  title = {Selective Revision},
  journal = {Studia Logica},
  year = {1999},
  volume = {63},
  number = {1},
  pages = {331--342},
  topic = {belief-revision;}
  }

@article{ ferme-rott:2004a,
  author = {Eduardo Ferm\'e and Hans Rott},
  title = {Revision by Comparison},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {157},
  number = {1--2},
  pages = {5--47},
  topic = {belief-revision;}
  }

@article{ fern-givan:2006a,
  author = {Alan Fern and Robert Givan},
  title = {Sequential Inference with Reliable Observations:  Learning
  	to Construct Force-Dynamic Models},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {14--15},
  pages = {1081--1100},
  topic = {inductive-logic-programming;structure-learning;}
  }

@article{ fernandez-endriss:2007a,
  author = {Raquel Fern\'andez and Ulle Endriss},
  title = {Abstract Models for Dialogue Protocols},
  journal = {Journal of Logic, Language, and Information},
  year = {2007},
  volume = {16},
  number = {2},
  pages = {121--140},
  topic = {dialogue-models;dialogue-logic;}
  }

@incollection{ fernandez-ginzburg:2002a,
  author = {Raquel Fernandez and Jonathan Ginzburg},
  title = {Non-Sentential Utterances---A Corpus Study},
  booktitle = {Third {SIGdial} Workshop on Discourse and Dialogue:
  		Proceedings of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {2002},
  editor = {Kristina Jokinen and Susan McRoy},
  pages = {15--26},
  address = {New Brunswick, New Jersey},
  topic = {corpus-linguistics;non-sentential-utterances;}
  }

@inproceedings{ fernandezbreis-etal:2001a,
  author = {J.T. Fern\'andez-Breis and Rafael Valencia-Garcia and Rodrigo
    		Martinez-B\'ejar and Pascual Cantos-G\`omez},
  title = {A Context-Driven Approach for Knowledge Acquisition:
		Application to a Leukemia Domain},
  booktitle = {Modeling and Using Context: Third International and
  	Interdisciplinary Conference, Context 2001},
  publisher = {Springer-Verlag},
  year = {2001},
  editor = {Varol Akman and Paolo Bouquet and Richmond Thomason
  	and Roger A. Young},
  pages = {445--448},
  address = {Berlin},
  topic = {context;knowledge-acquisition;}
  }

@unpublished{ fernando:1997a,
  author = {Tim Fernando},
  title = {A Modal Logic for Non-Deterministic Disambiguation},
  year = {1997},
  note = {Unpublished manuscript, University of Stuttgart.},
  rtnote = {In RHT collection.},
  topic = {disambiguation;modal-logic;}
  }

@article{ fernando:1997b,
  author = {Tim Fernando},
  title = {Ambiguity under Changing Contexts},
  journal = {Linguistics and Philosophy},
  year = {1997},
  volume = {20},
  number = {6},
  pages = {575--606},
  topic = {ambiguity;context;}
  }

@article{ fernando:1999a,
  author = {Tim Fernando},
  title = {A Modal Logic for Non-Deterministic Discourse
  	Processing},
  journal = {Journal of Logic, Language, and Information},
  year = {1999},
  volume = {8},
  number = {4},
  pages = {445--468},
  contentnote = {Correction: p. 465, weaken
	$(\phi\supset\phi) \iff (\phi>\psi)$
  to   	$(\phi\supset\phi) \supset (\phi>\psi)$
		},
  topic = {modal-logic;discourse-reasoning;discourse-interpretation;}
  }

@incollection{ fernando:1999b,
  author = {Tim Fernando},
  title = {Non-Monotonicity from Constructing Semantic
			Representations},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
		of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {7--12},
  address = {Amsterdam},
  topic = {nm-ling;discourse-interpretation;}
  }

@article{ fernando:2001a,
  author = {Tim Fernando},
  title = {Ambiguous Discourse in a Compositional Context.  An
  	Operational Perspective},
  journal = {Journal of Logic, Language, and Information},
  year = {2001},
  volume = {10},
  number = {1},
  pages = {63--86},
  topic = {compositionality;nl-semantics;dynamic-semantics;}
  }

@inproceedings{ fernando:2001b,
  author = {Tim Fernando},
  title = {Conservative Generalized Quantifiers and Presupposition},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XI}},
  publisher = {Cornell University},
  year = {2001},
  editor = {Rachel Hastings and Brendan Jackson and Zsofia Zvolenszky},
  pages = {172--191},
  address = {Ithaca, New York},
  topic = {nl-semantics;nl-quantifiers;presupposition;}
  }

@article{ fernando:2004a,
  author = {Tim Fernando},
  title = {A Finite-State Approach to Events in Natural Language
  		Semantics},
  journal = {Journal of Logic and Computation},
  year = {2004},
  volume = {14},
  number = {1},
  pages = {79--92},
  rtnote = {In RHT collection.},
  topic = {events;nl-semantics;}
  }

@article{ fernando:2005a,
  author = {Tim Fernando},
  title = {A Finite-State Approach to Events in Natural Language
  	Semantics},
  journal = {Journal of Logic and Computation},
  year = {2005},
  volume = {14},
  number = {1},
  pages = {79--92},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;events;}
  }

@article{ fernando:2007a,
  author = {Tim Fernando},
  title = {Observing Events and Situations in Time},
  journal = {Linguistics and Philosophy},
  year = {2007},
  volume = {30},
  number = {5},
  pages = {527--550},
  topic = {event-structure;finite-state-automata;}
  }

@article{ fernando:2009a,
  author = {Tim Fernando},
  title = {Situations as Indices and as Denotations},
  journal = {Linguistics and Philosophy},
  year = {2009},
  volume = {32},
  number = {2},
  pages = {185--206},
  topic = {situation-theory;possible-worlds;events;foundations-of-semantics;}
  }

@inproceedings{ fernando-kamp:1996a,
  author = {Tim Fernando and Hans Kamp},
  title = {Expecting Many},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VI}},
  publisher = {Cornell University},
  year = {1996},
  editor = {Teresa Galloway and Justin Spence},
  pages = {53--68},
  address = {Ithaca, New York},
  contentnote = {This paper deals with the meaning of the
  		quantifier `many'.},
  topic = {nl-semantics;nl-quantifiers;}
  }

@inproceedings{ ferrandez-etal:1998a,
  author = {Antonio Ferr\'andez and Manuel Palomar and Lidia Moreno},
  title = {Anaphor Resolution In Unrestricted Texts With Partial
  	Parsing},
  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 = {385--392},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {anaphora-resolution;}
}

@article{ ferrari_g:1997a,
  author = {Giacomo Ferrari},
  title = {Types of Contexts and Their Role in Multimodal
  	Communication},
  journal = {Computational Intelligence},
  year = {1997},
  volume = {13},
  number = {3},
  pages = {414--426},
  topic = {context;discourse;pragmatics;}
  }

@inproceedings{ ferrari_g:1997b,
  author = {Giacomo Ferrari},
  title = {The Use of Nonverbal Communication in Human-Computer
  	Interaction},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Context in Knowledge Representation and Natural Language},
  year = {1997},
  editor = {Sa\v{s}a Buva\v{c} and {\L}ucia Iwa\'nska},
  pages = {41--47},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {context;gestures;multimodal-communication;}
  }

@article{ ferrari_m:1997a,
  author = {Mauro Ferrari},
  title = {Cut-Free Tableau Calculi for some Intuitionistic
		Modal Logics},
  journal = {Studia Logica},
  year = {1997},
  volume = {59},
  number = {3},
  pages = {303--330},
  topic = {intuitionistic-logic;modal-logic;proof-theory;}
  }

@inproceedings{ ferrari_s:1996a,
  author = {St\'ephane Ferrari},
  title = {Using Textual Clues to Improve Metaphor Processing},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {351--353},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {nl-interpretation;metaphor;pragmatics;}
 }

@article{ ferrari_s:1999a,
  author = {St\'ephane Ferrari},
  title = {Review of \emph{{P}rocessing Metonymy and Metaphor},
		by {D}an {F}ass},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {25},
  number = {3},
  pages = {450--452},
  xref = {Review of fass:1997a.},
  topic = {discourse;psycholinguistics;metaphor;metonymy;}
  }

@inproceedings{ ferrario:2001a,
  author = {Roberta Ferrario},
  title = {Counterfactual Reasoning},
  booktitle = {Modeling and Using Context: Third International and
  	Interdisciplinary Conference, Context 2001},
  publisher = {Springer-Verlag},
  year = {2001},
  editor = {Varol Akman and Paolo Bouquet and Richmond Thomason
  	and Roger A. Young},
  pages = {170--183},
  address = {Berlin},
  topic = {context;conditional-reasoning;}
  }

@article{ ferreira_f:1999a,
  author = {Fernando Ferreira},
  title = {A Note on Finiteness in the Predicative
  	Foundations of Arithmetic},
  journal = {Journal of Philosophical Logic},
  year = {1999},
  volume = {28},
  number = {2},
  pages = {165--174},
  topic = {(im)predicativity;foundations-of-arithmetic;}
  }

@article{ ferreira_f:2006a,
  author = {Fernando Ferreira},
  title = {Comments on Predicative Logic},
  journal = {Journal of Philosophical Logic},
  year = {2006},
  volume = {35},
  number = {1},
  pages = {1--8},
  topic = {intuitionistic-logic;propositional-quantifiers;}
  }

@article{ ferreira_f-wehmeier:2002a,
  author = {Fernando Ferreira and Kai F. Wehmeier},
  title = {On the Consistency of the $\Delta^1_1$-{CA} Fragment
  	of {F}rege's {G}rundgesetze},
  journal = {Journal of Philosophical Logic},
  year = {2002},
  volume = {31},
  number = {4},
  pages = {301--311},
  topic = {consistency-proofs;Frege;}
  }

@book{ ferreiros:1999a,
  author = {Jose Ferreir\'os},
  title = {Labyrinth of Thought.  A History of Set Theory and Its
  	Role in Modern Mathematics},
  publisher = {Birkh\"auser Verlag},
  year = {1999},
  address = {Basel},
  xref = {Review; kanamori:2001a.},
  topic = {history-of-mathematics;set-theory;foundations-of-mathematics;}
 }

@article{ ferreiros:2001a,
  author = {Jos\'e Ferreiros},
  title = {The Road to Modern Logic---An Interpretation},
  journal = {The Bulletin of Symbolic Logic},
  year = {2001},
  volume = {7},
  number = {4},
  pages = {441--484},
  topic = {history-of-logic;philosophical-logic;}
  }

@book{ ferreiros-grey_jj:2006a,
  editor = {Jos\'e Ferreir\'os and Jeremy J. Grey},
  title = {The Architecture of Modern Mathematics:  Essays in History
  		and Philosophy},
  publisher = {Oxford University Press},
  year = {2006},
  address = {Oxford},
  xref = {Review: wilholt:2007a},
  topic = {history-of-mathematics;philosophy-of-mathematics;}
 }

@article{ ferrero:2009a,
  author = {Luca Ferrero},
  title = {Condiitonal Intentions},
  journal = {No\^us},
  year = {2009},
  volume = {43},
  number = {4},
  pages = {700--741},
  topic = {intention;conditional-attitudes;}
  }

@inproceedings{ ferret-etal:1998a,
  author = {Olivier Ferret and Brigitte Grau and Nicolas Masson},
  title = {Thematic Segmentation of Texts: Two Methods for Two Kind
  	of Texts},
  booktitle = {Proceedings of the Thirty-Sixth Annual Meeting of the
  	{A}ssociation for {C}omputational {L}inguistics and
	Seventeenth International Conference on
	Computational Linguistics},
  year = {1998},
  editor = {Christian Boitet and Pete Whitelock},
  pages = {392--396},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {text-segmentation;}
}

@book{ festinger:1962a,
  author = {Leon Festinger},
  title = {A Theory of Cognitive Dissonance},
  publisher = {Stanford University Press},
  year = {1962},
  address = {Stanford},
  topic = {cognitive-dissonance;}
 }

@book{ festinger:1964a,
  author = {Leon Festinger},
  title = {Conflict, Decision, and Dissonance},
  publisher = {Stanford University Press},
  year = {1964},
  address = {Stanford, California},
  ISBN = {0231056729},
  rtnote = {UMich Graduate Library, GN281 .F4741 1983.},
  topic = {decision-making;}
 }

@book{ festinger:1983a,
  author = {Leon Festinger},
  title = {The Human Legacy},
  publisher = {Columbia University Press},
  year = {1983},
  address = {New York},
  ISBN = {0231056729},
  rtnote = {UMich Graduate Library, GN281 .F4741 1983.},
  topic = {social-change;}
 }

@book{ festinger-etal:1956a,
  author = {Leon Festinger and Henry W. Riecken and Stanley Schachter},
  title = {When Prophecy Fails: A Social and Psychological Study of a
  	Modern Group that Predicted the Destruction of the World},
  publisher = {Harper and Row},
  year = {1956},
  address = {New York},
  ISBN = {019853745X (v. 1)},
  rtnote = {UMich Media Union Library, QA 76.63 .H361 1993.},
  topic = {religious-fanaticism;}
 }

@book{ festinger-katz_d:1953a,
  editor = {Leon Festinger and Daniel Katz},
  title = {Research Methods in the Behavioral Sciences},
  publisher = {Dryden Press},
  year = {1953},
  address = {New York},
  topic = {social-science-methodology;behavioral-science-methodology;}
 }

@incollection{ fetzer_a:1999a,
  author = {Anita Fetzer},
  title = {Non-Acceptance: Re- or Un-Creating Context?},
  booktitle = {Modeling and Using Contexts: Proceedings of
	the Second International and Interdisciplinary
	Conference, {CONTEXT}'99},
  publisher = {Springer-Verlag},
  year = {1999},
  editor = {Paolo Bouquet and Luigi Serafini and Patrick
	Br\'ezillon	and Massimo Benerecetti and Francesca
	Castellani},
  pages = {133--144},
  address = {Berlin},
  topic = {context;speech-acts;}
  }

@inproceedings{ fetzer_a:2001a,
  author = {Anita Fetzer},
  title = {Context in Natural-Language Communication:
    		Presupposed or Co-Supposed?},
  booktitle = {Modeling and Using Context: Third International and
  	Interdisciplinary Conference, Context 2001},
  publisher = {Springer-Verlag},
  year = {2001},
  editor = {Varol Akman and Paolo Bouquet and Richmond Thomason
  	and Roger A. Young},
  pages = {449--452},
  address = {Berlin},
  topic = {context;presupposition;}
  }

@inproceedings{ fetzer_a:2003a,
  author = {Anita Fetzer},
  title = {Communicative Contributions and Communicative
    		Genres:  Language Production and Language Understanding
		in Context},
  booktitle = {Modeling and Using Context: Fourth International and
  	Interdisciplinary Conference, Context 2003},
  publisher = {Springer-Verlag},
  year = {2003},
  editor = {Patrick Blackburn and Chiara Ghidini and Roy M. Turner
  	and Fausto Giunchiglia},
  pages = {130--141},
  address = {Berlin},
  topic = {context;pragmatics;}
  }

@article{ fetzer_jh-nute:1979a,
  author = {James H. Fetzer and Donald L. Nute},
  title = {Syntax, Semantics, and Ontology: A Probabilistic Causal Calculus},
  journal = {Synth\'ese},
  year = {1979},
  volume = {40},
  pages = {453--495},
  missinginfo = {number},
  topic = {causality;conditionals;}
  }

@article{ fetzer_jh-nute:1980a,
  author = {James H. Fetzer and Donald Nute},
  title = {A Probabilistic Causal Calculus: Conflicting Conceptions},
  journal = {Synth\'ese},
  year = {1980},
  volume = {44},
  pages = {241--246},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {causality;probability;conditionals;}
  }

@inproceedings{ fevre-wang_dm:1998a,
  author = {St\'ephane F\'evre and Dongming Wang},
  title = {Combining Algebraic Computing and Term-Rewriting for
  	Geometry Theorem Proving},
  booktitle = {Artificial Intelligence and Symbolic Computation:
	Proceedings of {AISC'98}},
  year = {1998},
  editor = {Jacques Calmet and Jan Plaza},
  pages = {145--156},
  publisher = {Springer Verlag},
  address = {Berlin},
  topic = {combining-systems;automated-algebra;theorem-proving;}
  }

@article{ feys:1957a,
  author = {Robert C. Feys},
  title = {Review of `{T}he Logical Form of Law Statements',
  	by {{A}.{C}. {L}loyd}},
  journal = {Journal of Symbolic Logic},
  year = {1957},
  volume = {22},
  number = {1},
  pages = {92},
  xref = {Review of: lloyd_ac:1955a.},
  topic = {natural-laws;conditionals;}
  }

@book{ fiadeiro:1999a,
  editor = {J.L. Fiadeiro},
  title = {Recent Trends in Algebraic Development Techniques: 13th
  	International Workshop, {WADT}'98 Lisbon},
  publisher = {Springer-Verlag},
  year = {1999},
  address = {Berlin},
  ISBN = {3-540-66246-4},
  topic = {abstract-data-types;}
 }

@incollection{ fiedler:1998a,
  author = {Armin Fiedler},
  title = {Macroplanning with a Cognitive Architecture for the
  	Adaptive Explanation of Proofs},
  booktitle = {Proceedings of the Ninth International Workshop
  	on Natural Language Generation},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Eduard Hovy},
  pages = {88--97},
  address = {New Brunswick, New Jersey},
  topic = {nl-generation;explanation;theorem-proving;}
  }

@inproceedings{ fiedler:1999a,
  author = {Armin Fiedler},
  title = {Using a Cognitive Architecture to Plan Dialogs for the
  	Adaptive Explanation of Proofs},
  booktitle = {Proceedings of the Sixteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1999},
  editor = {Thomas Dean},
  pages = {358--363},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {theorem-proving;argumentation;nl-generation-from-proofs;
  	explanation;}
  }

@article{ field:1973a,
  author = {Hartry Field},
  title = {Theory Change and the Indeterminacy of Reference},
  journal = {Journal of Philosophy},
  year = {1973},
  volume = {70},
  pages = {462--481},
  topic = {reference;conceptual-framework;}
}

@article{ field:1977a,
  author = {Hartry Field},
  title = {Logic, Meaning, and Conceptual Role},
  journal = {The Journal of Philosophy},
  year = {1977},
  volume = {69},
  pages = {379--408},
  topic = {conceptual-role-semantics;foundations-of-semantics;}
  }

@article{ field:1978a,
  author = {Hartry Field},
  title = {A Note on {J}effrey Conditionalization},
  journal = {Philosophy of Science},
  year = {1978},
  volume = {45},
  pages = {361--367},
  missinginfo = {number},
  topic = {probability-kinematics;}
  }

@book{ field:1980a,
  author = {Hartry Field},
  title = {Science without Numbers: A Defense of Nominalism},
  publisher = {Princeton University Press},
  year = {1980},
  address = {Princeton},
  rtnote = {In RHT collection.  Reprint Files.},
  topic = {nominalism;formalizations-of-physics;logic-and-ontology;
		formalizations-of-geometry;}
 }

@article{ field:1986a,
  author = {Hartry Field},
  title = {Critical Notice of {R}obert {S}talnaker's {\it Inquiry\/}},
  journal = {Philosophy of Science},
  year = {1986},
  volume = {53},
  number = {3},
  pages = {425--448},
  xref = {Review of: stalnaker:1984a.},
  topic = {foundations-of-modality;propositional-attitudes;belief-revision;
		pragmatics;agent-attitudes;belief;}
  }

@article{ field:1992a,
  author = {Hartry Field},
  title = {A Nominalistic Proof of the Conservativeness of Set Theory},
  journal = {Journal of Philosophical Logic},
  year = {1992},
  volume = {21},
  number = {2},
  pages = {111--123},
  topic = {foundations-of-set-theory;philosophy-of-mathematics;}
  }

@book{ field:2001a,
  author = {Hartry Field},
  title = {Truth and the Absence of Fact},
  publisher = {Oxford University Press},
  year = {2001},
  address = {Oxford},
  xref = {Review: burgess_jp:2002a.},
  topic = {foundations-of-semantics;truth;}
 }

@article{ field:2003a,
  author = {Hartry Field},
  title = {A Revenge-Immune Solution to the Semantic Paradoxes},
  journal = {Journal of Philosophical Logic},
  year = {2003},
  volume = {32},
  number = {2},
  pages = {139--177},
  topic = {semantic-paradoxes;}
  }

@incollection{ fielding-etal:2004a,
  author = {James M. Fielding and Jonathan Simon and Werner
  		Ceusters and Barry Smith},
  title = {Ontological Theory for Ontological Engineering:
  		Biomedical Systems Information Integration},
  booktitle = {{KR}2004: Principles of Knowledge Representation and
  		Reasoning},
  publisher = {AAAI Press},
  year = {2004},
  editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams},
  pages = {114--120},
  address = {Menlo Park, California},
  topic = {foundations-of-kr;computational-ontology;}
  }

@incollection{ fields_c:1996a,
  author = {Chris Fields},
  title = {Measurement and Computational Descriptions},
  booktitle = {Machines and Thought: The Legacy of {A}lan {T}uring:
  	Volume {I}},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Peter J.R.

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib