text:
25 1971},
  topic = {foundations-of-AI;}
 }

@article{ elkan:1990a,
  author = {Charles Elkan},
  title = {A Rational Reconstruction of Nonmonotonic Truth
  	Maintenance Systems},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {43},
  number = {2},
  pages = {219--234},
  acontentnote = {Abstract:
     The main contribution of this paper is a precise
     characterization of the inferences performed by nonmonotonic
     truth maintenance systems (TMSs), using two standard
     nonmonotonic formalisms: logic programming with the stable set
     semantics and autoepistemic logic. The paper also contains an
     analysis of the role of dependency-directed backtracking in
     dealing with contradictions, and a proof that implementing a
     nonmonotonic TMS is an NP-complete problem.
  },
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-logic;truth-maintenance;backtracking;}
  }

@inproceedings{ elkan:1991a,
  author = {Charles Elkan},
  title = {Formalizing Causation in First-Order Logic},
  booktitle = {Working Notes of the {AAAI} Spring Symposium on
 	Logical Formalizations of Commonsense Reasoning},
  year = {1991},
  organization = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {Get via www?},
  missinginfo = {pages},
  topic = {causality;}
  }

@inproceedings{ elkan:1991b,
  author = {Charles Elkan},
  title = {Reasoning about Action in First-Order Logic},
  booktitle = {Proceedings of the Conference of the {C}anadian
  	{S}ociety for {C}omputational {S}tudies of {I}ntelligence ({CSCSI})},
  year = {1991},
  pages = {221--227},
  organization = {Canadian Society for Computational Studies of Intelligence},
  publisher = {Morgan Kaufman},
  address = {San Francisco},
  missinginfo = {Editor},
  rtnote = {In RHT collection.  Check dates.  1992???},
  topic = {planning-formalisms;action-formalisms;}
  }

@inproceedings{ elkan:1993a,
  author = {Charles Elkan},
  title = {The Paradoxical Success of Fuzzy Logic},
  booktitle = {Proceedings of the Eleventh National Conference on
              Artificial Intelligence},
  year = {1993},
  editor = {Richard Fikes and Wendy Lehnert},
  pages = {698--703},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {uncertainty-in-AI;foundations-of-AI;fuzzy-logic;}
  }

@inproceedings{ elkan:1995a,
 author = {Charles Elkan},
 title = {On Solving the Qualification Problem},
 booktitle = {Working Notes of the {AAAI} Spring Symposium on
 	Extending Theories of Action: Formal Theories and Applications},
 year = {1995},
 organization = {American Association for Artificial Intelligence},
 address = {Menlo Park, California},
 rtnote = {In RHT Collection.},
 missinginfo = {pages},
 topic = {kr;qualification-problem;context;kr-course;}
 }

@inproceedings{ elkan:1995b,
 author = {Charles Elkan},
 title = {Formalizing Counterfactual and Nondeterministic Actions in
 	First Order Logic},
 booktitle = {Working Notes of the {AAAI} Spring Symposium on
 	Extending Theories of Action: Formal Theories and Applications},
 year = {1995},
 organization = {American Association for Artificial Intelligence},
 address = {Menlo Park, California},
 rtnote = {In RHT Collection.},
 missinginfo = {pages},
 topic = {actions;nondeterministic-action;counterfactuals;action-formalisms;}
 }

@article{ elliot_c-brzezinski:1998a,
  author = {Clark Elliot and Jacek Brzezinski},
  title = {Autonomous Agents as Synthetic Characters},
  journal = {The {AI} Magazine},
  year = {1998},
  volume = {19},
  number = {2},
  pages = {13--30},
  topic = {autonomous-agents;synthesized-emotions;simulated-characters;}
  }

@incollection{ elliott_j-etal:2000a,
  author = {John Elliott and Eric Antwell and Bill Whyte},
  title = {Increasing our Ignorance of Language: Identifying Language
	     Structure in an Unknown `Signal'\,},
  booktitle = {Proceedings of the Fourth Conference on Computational
  	Natural Language Learning and of the Second Learning Language
	in Logic Workshop, {L}isbon, 2000},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Claire Cardie and Walter Daelemans and Claire N\'edellec
  	and Erik Tjong Kim Sang},
  pages = {25--30},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;communication-with-aliens;}
  }

@book{ ellis_a-harper_ra:1961a,
 author = {Albert Ellis and Robert A. Harper},
 title = {A Guide to Rational Living},
 publisher = {Prentice-Hall},
 year = {1961},
 address = {Englewood Cliffs, New Jersey},
 topic = {decision-theory;}
 }

@incollection{ ellis_b:1965a,
  author = {Brian Ellis},
  title = {The Origin and Nature of {N}ewton's Laws of Motion},
  booktitle = {Beyond the Edge of Certainty: Essays in Contemporary
       Science and Philosophy},
  editor = {Robert G. Colodny},
  publisher = {Prentice-Hall, Inc.},
  year = {1965},
  address = {Englewood Cliffs, New Jersey},
  topic = {philosophy-of-physics;}
  }

@article{ ellis_b:1973a,
  author = {Brian Ellis},
  title = {The Logic of Subjective Probability},
  journal = {British Journal for the Philosophy of Science},
  year = {1979},
  volume = {24},
  pages = {125--152},
  missinginfo = {A's 1st name, number},
  rtnote = {In RHT collection.},
  topic = {foundations-of-probability;probability-semantics;}
  }

@article{ ellis_b:1976a,
  author = {Brian Ellis},
  title = {Epistemic Foundations of Logic},
  journal = {Journal of Philosophical Logic},
  year = {1976},
  volume = {5},
  number = {2},
  pages = {187--204},
  topic = {probability-semantics;epistemic-semantics;}
  }

@article{ ellis_b:1978a,
  author = {Brian Ellis},
  title = {A Unified Theory of Conditionals},
  journal = {Journal of Philosophical Logic},
  year = {1978},
  volume = {7},
  number = {2},
  pages = {107--124},
  topic = {conditionals;}
  }

@book{ ellis_b:1979a,
  author = {Brian Ellis},
  title = {Rational Belief Systems},
  publisher = {Rowman and Littlefield},
  year = {1979},
  address = {Totowa, New Jersey},
  topic = {probability-semantics;epistemic-semantics;}
 }

@article{ ellis_b:1982a,
  author = {Brian Ellis},
  title = {Reply to {S}orensem},
  journal = {Journal of Philosophical Logic},
  year = {1982},
  volume = {11},
  number = {4},
  pages = {461--462},
  topic = {epistemic-semantics;}
  }

@book{ ellis_b:1991a,
  author = {Rod Ellis},
  title = {Data Abstraction and Program Design},
  publisher = {Pitman},
  year = {1991},
  address = {London},
  ISBN = {0273032577 (pbk)},
  rtnote = {UMich Media Union Library, QA 76.758 .E5511 1991.},
  topic = {software-engineering;}
 }

@book{ ellis_b:2001a,
  author = {Brian Ellis},
  title = {Scientific Essentialism},
  publisher = {Cambridge University Press},
  year = {2001},
  address = {Cambridge, England},
  xref = {Review: clapp:2002a.},
  topic = {philosophy-of-science;dispositionals;events;causality;
  	essentialism;}
 }

@article{ ellis_b-etal:1977a,
  author = {Brian Ellis and Frank Jackson and Robert Pargetter},
  title = {An Objection to Possible-World Semantics for Counterfactual
  	Logics},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {6},
  number = {3},
  pages = {355--357},
  contentnote = {The objection is based on disjunctive antecedents.},
  topic = {conditionals;}
  }

@book{ ellis_c:1989a,
  author = {Charlie Ellis},
  title = {Expert Knowledge and Explanation: The Knowledge-Language
  	Interface},
  publisher = {Ellis Horwood},
  year = {1989},
  address = {Chichester},
  ISBN = {0745801668},
  rtnote = {UMich Graduate Library, QA 76.76 .E95 E9531 1989.},
  topic = {expert-systems;HCI;}
 }

@incollection{ ellis_d:1983a,
  author = {Donald G. Ellis},
  title = {Language, Coherence, and Textuality},
  booktitle = {Conversational Coherence:  Form, Structure and Strategy},
  publisher = {Sage Publications},
  year = {1983},
  editor = {Robert T. Craig and Karen Tracey},
  pages = {222--240},
  address = {London},
  topic = {discourse-coherence;discourse-analysis;pragmatics;}
  }

@book{ ellis_j:1989a,
  author = {John M. Ellis},
  title = {Against Deconstruction},
  publisher = {Princeton University Press},
  year = {1989},
  address = {Princeton, New Jersey},
  contentnote = {Buy this?  Attempts a rational arg against deconstruction.
  	Recommended by Poser.},
  topic = {deconstructionism;literary-criticism;postmodernism;
  	poststructuralism;}
 }

@book{ ellis_sr:1991a,
  editor = {Stephen R. Ellis},
  title = {Pictorial Communication in Virtual and Real Environments},
  publisher = {Taylor \& Francis},
  year = {1991},
  address = {London},
  ISBN = {0748400087},
  rtnote = {UMich Media Union Library, TA 1632 .P62 1991.},
  topic = {virtual-reality;HCI;}
 }

@book{ ellison:1997a,
  editor = {T. Mark Ellison},
  title = {{CoNLL97}: Computational Natural Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  address = {Somerset, New Jersey},
  contentnote = {TC:
  	1.  Amit Bagga and Joyce Yue Chai, "A Trainable Message
		Understanding System"
	2.  Mary Elaine Calif and Raymond J. Mooney, "Relational
		Learning of Pattern-Match Rules for Information
		Extraction"
        3.  Wide R. Hogenbout and Yuji Matsumoto, "A Preliminary
		Study of Word Clustering Based on Syntactic Behavior"
        4.  Ji Donghong and He Jun and Huang Changning, "Learning
		New Compositions from Given Ones"
        5.  Mehmet Kayaalp and Ted Pedersen and Rebecca Bruce, "A
		Statistical Decision Making Method: A Case Study
		on Prepositional Attachment"
        6.  Emin Erkan Korkmaz and G\"okt\"urk \"U\c{c}oluk, "A
		Method for Improving Automatic Word Categorization"
        7.  Montse Maritxalar and Arantza D\'iaz de Ilarraza and
		Maite Oronez, "From Psychologic Modeling of
		Interlanguage in Second Language Acquisition to a
		Computational Model"
        8.  Laura Mayfield Tomokiyo and Klaus Ries, "What Makes a
		Word: Learning Base Units in {J}apanese for Speech
		Recognition"
        9.  Ramin Charles Nakisa and Kim Plunkett, "Evolution of a
		Rapidly Learned Representation for Speech"
        10.  Miles Osborne and Ted Briscoe, "Learning Stochastic
		Categorial Grammars"
        11.  David M.W. Powers, "Learning and Application of
		Differential Grammars"
        12.  Jennifer Rodd, "Recurrent Neural-Network Learning of
		Phonological Regularities in {T}urkish"
        13.  Khalil Sima'an, "Recurrent Neural-Network Learning of
		Phonological Regularities in {T}urkish"
        14.  Christoph Tilman and Hermann Ney, "Explanation-Based
		Learning of Data-Oriented Parsing"
        15.  Werner Winiwarter and Yahiko Kambayashi, "A Comparative
		Study of the Application of Different Learning
		Techniques to Natural Language Interface"
        16.  Jakub Zavrel and Walter Daelemans and Jorn Veenstra,
		"Resolving PP Attachment Ambiguities with
		Memory-Based Learning"
  	},
  rtnote = {In RHT collection.  ACL Shelves.},
  topic = {machine-language-learning;word-acquisition;}
 }

@article{ ellman-giunchiglia_f:2005a,
  author = {Thomas Ellman and Fausto Giunchiglia},
  title = {Introduction to the Special Volume on Reformulation},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {162},
  number = {1--2},
  pages = {3--5},
  topic = {problem-reformulation;problem-solving;}
  }

@incollection{ ellsberg:1988a,
  author = {Daniel Ellsberg},
  title = {Risk, Ambiguity, and the {S}avage Axioms},
  booktitle = {Decision, Probability, Utility:  Selected Readings},
  publisher = {Cambridge University Press},
  year = {1988},
  editor = {Peter G\"ardenfors and Nils-Eric Sahlin},
  pages = {245--269},
  address = {Cambridge, England},
  rtnote = {In RHT collection.},
  topic = {decision-theory;}
  }

@inproceedings{ elmi:1998a,
  author = {Mohammad Ali Elmi and Martha Evens},
  title = {Spelling Correction using Context},
  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 = {360--364},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {spelling-correction;context;}
}

@incollection{ elson:2004a,
  author = {David K. Elson},
  title = {Categorization of Narrative Semantics for
    		Use in Generative Multidocument Summarization},
  booktitle = {Natural Language Generation: Third International
	Conference, INLG 2004},
  publisher = {Springer-Verlag},
  year = {2004},
  editor = {Anja Belz and Roger Evans and Paul Piwek},
  pages = {192--197},
  address = {Berlin},
  topic = {text-summary;}
  }

@book{ elster:1985a,
  author = {Jon Elster},
  title = {Ulysses and the Sirens: Studies in Rationality and
  	Irrationality},
  publisher = {Cambridge University Press},
  year = {1985},
  address = {Cambridge, England},
  topic = {rationality;}
 }

@book{ elster:1985b,
  author = {Jon Elster},
  title = {Sour Grapes},
  publisher = {Cambridge University Press},
  year = {1985},
  series = {Studies in Rationality and Social Change},
  address = {Cambridge, England},
  topic = {rationality;}
 }

@book{ elster:1987a,
  author = {Jon Elster},
  title = {The Multiple Self},
  publisher = {Cambridge University Press},
  year = {1987},
  series = {Studies in Rationality and Social Change},
  address = {Cambridge, England},
  topic = {rationality;}
 }

@book{ elster:1989a,
  author = {Jon Elster},
  title = {Solomonic Judgements: Studies in the Limitation of
  	Rationality},
  publisher = {Cambridge University Press},
  year = {1989},
  address = {Cambridge, England},
  topic = {rationality;}
 }

@book{ elster:1999a,
  author = {Jon Elster},
  title = {Alchemies of the Mind: Rationality and the Emotions},
  publisher = {Cambridge University Press},
  year = {1999},
  address = {Cambridge, England},
  ISBN = {052164487-9 (Pbk)},
  xref = {Reviews: solomon_r:2001a, beardman:2004a.},
  topic = {emotion;rationality;}
 }

@book{ elster:1999b,
  author = {Jon Elster},
  title = {Strong Feelings: Emotion, Addiction, and Human Behavior},
  publisher = {The {MIT} Press},
  year = {1999},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-05056-0},
  xref = {Review: charland:2001a.},
  topic = {emotion;addiction;}
 }

@book{ elster:2000a,
  author = {Jon Elster},
  title = {Strong Feelings: Emotion, Addiction and Human Behavior},
  publisher = {The {MIT} Press},
  year = {2000},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-55036-9},
  xref = {Review: charland:2001a.},
  topic = {emotion;addiction;}
 }

@book{ elster:2000b,
  author = {Jon Elster},
  title = {Ulysses Unbound},
  publisher = {Cambridge University Press},
  year = {2000},
  address = {Cambridge, England},
  ISBN = {052166561-2 (pbk)},
  topic = {rationality;limited-rationality;}
 }

@book{ elster-hylland:1989a,
  author = {Jon Elster and Aanund Hylland},
  title = {The Foundations of Social Choice Theory},
  publisher = {Cambridge University Press},
  year = {1989},
  series = {Studies in Rationality and Social Change},
  address = {Cambridge, England},
  topic = {rationality;social-choice-theory;}
 }

@book{ elster-roemer:1993a,
  editor = {Jon Elster and John E. Roemer},
  title = {Interpersonal Comparisons of Well-Being},
  publisher = {Cambridge University Press},
  year = {1993},
  series = {Studies in Rationality and Social Change},
  address = {Cambridge, England},
  topic = {rationality;}
 }

@book{ elster-skog:1999a,
  editor = {Jon Elster and Ole-J{\o}rgen Skog},
  title = {Getting Hooked},
  publisher = {Cambridge University Press},
  year = {1999},
  address = {Cambridge, England},
  ISBN = {052164008-3},
  topic = {rationality;addiction;}
 }

@book{ elugardo-stainton:2005a,
  editor = {Reinaldo Elugardo and Robert J. Stainton},
  title = {Ellipsis and Non-sentential Speech},
  publisher = {Kluwer Academic Publishers},
  year = {2005},
  address = {Dordrecht},
  topic = {nl-semantics;ellipsis;}
 }

@book{ elugardo-stainton_rj:2005a,
  editor = {Reinaldo Elugardo and Robert J. Stainton},
  title = {Ellipsis and Non-Sentential Speech},
  publisher = {Kluwer Academic Publishers},
  year = {2005},
  address = {Dordrecht},
  topic = {nl-semantics;ellipsis;}
 }

@article{ elworthy:1995a,
  author = {David A.H. Elworthy},
  title = {A Theory of Semantic Information},
  journal = {Linguistics and Philosophy},
  year = {1995},
  volume = {18},
  number = {3},
  pages = {297--332},
  contentnote = {Develops a theory of shared information that is different
     from that of dynamic logic and DRT.  There is also a theory of
     context.  Read this.},
  rtnote = {pragmatics-course;},
  topic = {nl-semantics;anaphora;context;plural;donkey-anaphora;
  	pragmatics;}
  }

@inproceedings{ elzer-etal:2005a,
  author = {Stephanie Elzer and Sandra Carberry and Daniel Chester
  		and and Seniz Demir and Nancy Green and Ingrid Zukerman and
		Keith Trnka},
  title = {Exploring and Exploiting the Limited Utility of Captions
  		in Recognizing Intention in Information Graphics},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {223--230},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1028},
  topic = {multimedia-interpretation;}
  }

@article{ embik:2004a,
  author = {David Embik},
  title = {On the Structure of Resultative Participles in {E}nglish},
  journal = {Linguistic Inquiry},
  year = {2004},
  volume = {35},
  number = {3},
  pages = {355--392},
  topic = {resultative-constructions;}
  }

@article{ embleton:1991a,
  author = {Sheila Embleton},
  title = {Names and Their Substitutes: Onomastic Observations on
  	Ast\'erix and Its Translations},
  journal = {Target},
  year = {1991},
  volume = {3},
  number = {2},
  pages = {175--206},
  rtnote = {In RHT Collection},
  topic = {humor;}
  }

@inproceedings{ emele-dorna:1998a,
  author = {Martin C. Emele and Michael Dorna},
  title = {Ambiguity Preserving Machine Translation using Packed
  	Representations},
  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 = {365--371},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {machine-translation;ambiguity;}
}

@incollection{ emerson:1990a,
  author = {{E. Allen} Emerson},
  title = {Temporal and Modal Logic},
  booktitle = {Handbook of Theoretical Computer Science.  Volume B},
  publisher = {North-Holland},
  year = {1990},
  editor = {Jan {van Leeuwen}},
  address = {Amsterdam},
  pages = {995--1072},
  topic = {temporal-logic;modal-logic;tmix-project;}
  }

@article{ emerson-clarke_em:1982a,
  author = {{E. Allen} Emerson and E.M. Clarke},
  title = {Using Branching Time Temporal Logic to Synthesize Temporal
  	Skeletons},
  journal = {Science of Computer Programming},
  year = {1982},
  volume = {2},
  number = {3},
  pages = {241--266},
  missinginfo = {Is this reference correct?},
  rtnote = {tmix-project;},
  topic = {branching-time;tmix-project;}
  }

@techreport{ emerson-halpern:1984a,
  author = {{E. Allen} Emerson and Joseph Y. Halpern},
  title = {\,`Sometimes' and `Not Ever' Revisited: On Branching vs.
  	Linear Time},
  institution = {{IBM} Research Laboratory},
 number = {RJ 4197},
  year = {1984},
  address = {San Jose, California},
  rtnote = {In RHT collection.},
  rtnote = {tmix-project;},
  topic = {branching-time;}
  }

@article{ emerson-halpern:1985a,
  author = {{E. Allen} Emerson and Joseph Y. Halpern},
  title = {Decision Procedures and Expressiveness in the Temporal
  	Logic of Branching Time},
  journal = {Journal of Computer and System Sciences},
  year = {1985},
  volume = {30},
  number = {1},
  pages = {1--24},
  rtnote = {In RHT collection.},
  rtnote = {tmix-project;},
  topic = {branching-time;}
  }

@article{ emerson-halpern:1985b,
  author = {{E. Allen} Emerson and Joseph Y. Halpern},
  title = {\,`Sometimes' and `Not Never' Revisited: On Branching
  	Versus Linear Time Temporal Logic},
  journal = {Journal of the {ACM}},
  year = {1985},
  volume = {33},
  number = {1},
  pages = {151--178},
  rtnote = {tmix-project;},
  topic = {branching-time;}
  }

@inproceedings{ emerson-sistla:1994a,
  author = {{E. Allen} Emerson and A.P. Sistla},
  title = {Deciding Branching Time Logic},
  booktitle = {Sixteenth Annual {ACM} Symposium on Theory of
  	Computing},
  year = {1984},
  pages = {14--24},
  organization = {ACM},
  missinginfo = {publisher, address},
  rtnote = {tmix-project;},
  topic = {branching-time;}
  }

@incollection{ emerson-srinivasan_j:1989a,
  author = {{E. Allen} Emerson and J. Srinivasan},
  title = {Branching Time Temporal Logic},
  booktitle = {Linear Time, Branching Time and Partial Order in
		Logics and Models for Concurrency},
  publisher = {Springer-Verlag},
  year = {1989},
  editor = {J.W. de Bakker and W.P. de Roever and Grezegorz Rozenburg},
  pages = {123--172},
  address = {Berlin},
  missinginfo = {A's, E's 1st name.},
  topic = {temporal-logic;modal-logic;branching-time;tmix-project;
	concurrency;}
  }

@book{ emmott:1999a,
  author = {Catherine Emmott},
  title = {Narrative Comprehension: A Discourse Perspective},
  publisher = {Oxford University Press},
  year = {1999},
  address = {Oxford},
  ISBN = {0-19-823868-1 (hardback), 0-19-923649-2 (paperback)},
  topic = {narrative-understanding;discourse-analysis
  	fictional-characters;narrative-genre;}
 }

@incollection{ emms:1997a,
  author = {Martin Emms},
  title = {Models for Polymorphic {L}ambek Calculus},
  booktitle = {{LACL}'96: First International Conference on
      Logical Aspects of Computational Linguistics},
  publisher = {Springer-Verlag},
  year = {1997},
  editor = {Christian Retor/'e},
  pages = {168--187},
  address = {Berlin},
  topic = {logic-and-computational-linguistics;Lambek-calculus;}
  }

@article{ emonds_b:2000a,
  author = {Bruce Emonds},
  title = {The Constructability of Artificial Intelligence (As
  	Defined by the {T}uring Test},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {9},
  number = {4},
  pages = {419--424},
  topic = {foundations-of-AI;}
  }

@incollection{ emonds_j:1972a,
  author = {Joseph Emonds},
  title = {A Reformulation of Certain Syntactic Transformations},
  booktitle = {Goals of Linguistic Theory},
  publisher = {Prentice-Hall, Inc.},
  year = {1972},
  editor = {Stanley Peters},
  pages = {21--61},
  address = {Englewood Cliffs, New Jersey},
  topic = {transformational-grammar;}
  }

@book{ emonds_j:1976a,
  author = {Joseph Emonds},
  title = {A Transformational Approach to {E}nglish Syntax},
  publisher = {Academic Press},
  year = {1978},
  address = {New York},
  topic = {transformational-grammar;}
 }

@book{ empiricus:1998a,
  author = {Sextus Empiricus},
  title = {Against the Grammarians},
  publisher = {Oxford University Press},
  year = {1998},
  address = {Oxford},
  note = {Translated by D.L. BLank.  Introduction and commentary.},
  xref = {Review: sakezles:2001a.},
  topic = {Hellenistic-philosophy;skepticism;philosophy-of-linguistics;}
 }

@article{ enayat:2004a,
  author = {Ali Enayat},
  title = {Leibnizian Models of Set Theory},
  journal = {Journal of Symbolic Logic},
  year = {2004},
  volume = {69},
  number = {3},
  pages = {775--789},
  topic = {model-theory;set-theory;}
  }

@article{ enc_m:1986a,
  author = {M\"urvet En\c{c}},
  title = {Towards a Referential Analysis of Temporal Expressions},
  journal = {Linguistics and Philosophy},
  year = {1986},
  volume = {9},
  number = {4},
  pages = {405--426},
  topic = {nl-semantics;nl-to-logic-mapping;nl-tense;}
  }

@article{ enc_m:1991a,
  author = {M\"urvet En\c{c}},
  title = {The Semantics of Specificity},
  journal = {Linguistic Inquiry},
  year = {1991},
  volume = {22},
  number = {1},
  pages = {1--26},
  topic = {nl-semantics;specificity;indefiniteness;}
  }

@incollection{ enc_m:1996a,
  author = {M\"urvet En\c{c}},
  title = {Tense and Modality},
  booktitle = {The Handbook of Contemporary Semantic Theory},
  publisher = {Blackwell Publishers},
  year = {1996},
  address = {Oxford},
  editor = {Shalom Lappin},
  pages = {345--358},
  topic = {nl-tense;nl-modality;}
  }

@article{ enderton:1995a,
  author = {Herbert B. Enderton},
  title = {In Memorium, {A}lonzo {C}hurch, 1903--1995},
  journal = {The Bulletin of Symbolic Logic},
  year = {1995},
  volume = {1},
  number = {4},
  pages = {486--488},
  topic = {Church;}
  }

@article{ enderton:1998a,
  author = {Herbert B. Enderton},
  title = {Alonzo {C}hurch and the Reviews},
  journal = {The Bulletin of Symbolic Logic},
  year = {1998},
  volume = {4},
  number = {2},
  pages = {172--180},
  topic = {Church;history-of-logic;}
  }

@book{ enderton:2001a,
  author = {Herbert B. Enderton},
  edition = {2},
  title = {A Mathematical Introduction To Logic},
  publisher = {Harcourt/Academic Press,},
  year = {2001},
  address = {San Diego},
  ISBN = {0122384520},
  rtnote = {Umich Science, QA 9 .E57 2001.},
  xref = {Review: dobrinen:2003a.},
  topic = {logic-intro;}
 }

@book{ endress:2009a,
  author = {Cornelia Endress},
  title = {Quantificational Topics:  A Scopal Treatment of
  	Exceptional Wide Scope Phenomena},
  publisher = {Springer-Verlag},
  year = {2009},
  address = {Berlin},
  ISBN = {978-90-481-2302-5},
  rtnote = {In RHT collection.  LLP single author shelves.},
  topic = {nl-semantics;nl-quantifier-scope;s-topic;information-structure;}
 }

@phdthesis{ engdahl:1980a,
  author = {Elizabet Engdahl},
  title = {The Syntax and Semantics of Questions in {S}wedish},
  school = {Linguistics Department, University of Massachusetts},
  year = {1980},
  type = {Ph.{D}. Dissertation},
  address = {Amherst, Massachusetts},
  rtnote = {In RHT collection.},
  topic = {interrgatives;nl-semantics;Swedish-language;}
 }

@article{ engdahl:1982a,
  author = {Elizabet Engdahl},
  title = {A Note on the Use of Lambda Conversion in Generalized
  	Phrase Structure Grammars},
  journal = {Linguistics and Philosophy},
  year = {1982},
  volume = {4},
  number = {4},
  pages = {505--515},
  topic = {GPSG;nl-semantics;}
  }

@article{ engdahl:1983a,
  author = {Elizabet Engdahl},
  title = {Parasitic Gaps},
  journal = {Linguistics and Philosophy},
  year = {1983},
  volume = {6},
  number = {1},
  pages = {5--34},
  topic = {parasitic-gaps;anaphora;ellipsis;}
  }

@book{ engdahl:1986a,
  author = {Elizabet Engdahl},
  title = {Constituent Questions},
  publisher = {D. Reidel Publishing Co.},
  year = {1986},
  address = {Dordrecht},
  topic = {interrogatives;nl-syntax;nl-semantics;}
 }

@incollection{ engdahl:1988a,
  author = {Elizabet Engdahl},
  title = {Relational Interpretation},
  booktitle = {Mental Representations: The Interface Between Language and
  	Reality},
  publisher = {Cambridge University Press},
  year = {1988},
  editor = {Ruth Kempson},
  pages = {63--82},
  address = {Cambridge, England},
  topic = {situation-semantics;interrogatives;nl-quantifier-scope;}
  }

@incollection{ engdahl:1990a,
  author = {Elizabet Engdahl},
  title = {Argument Roles and Anaphora},
  booktitle = {Situation Theory and Its Applications, Volume 1},
  publisher = {CSLI Publications},
  year = {1990},
  editor = {Robin Cooper and Kuniaki Mukai and John Perry},
  pages = {379--393},
  address = {Standford, California},
  note = {CSLI Lecture Notes, Number 22.},
  rtnote = {In RHT collection.},
  topic = {thematic-roles;anaphora;}
  }

@article{ engdahl:2000a,
  author = {Elizabet Engdahl},
  title = {Editorial: Is {JoLLI} a Journal for Linguists?},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {9},
  number = {2},
  pages = {141--142},
  topic = {logic-and-linguistics;}
  }

@incollection{ engdahl-vallduvi:1994a,
  author = {Elisabeth Engdahl and Enric Vallduv\'{\i}},
  title = {Information Packaging and Grammar Architecture: A
                Constraint-Based Approach},
  year = {1994},
  editor = {Elisabeth Engdahl},
  booktitle = {Integrating Information Structure into
                Constraint-Based and Categorial Approaches},
  pages = {39--79},
  publisher = {ILLC},
  address = {Amsterdam},
  note = {DYANA-2 Report R.1.3.B},
  topic = {situation-semantics;information-structure;}
 }

@incollection{ engel:1984a,
  author = {Pascal Engel},
  title = {Functionalism, Belief, and Content},
  booktitle = {The Mind and the Machine: Philosophical Aspects
  	of Artificial Intelligence},
  publisher = {Ellis Horwood, Ltd.},
  year = {1984},
  editor = {Steve B. Torrance},
  pages = {51--63},
  address = {Chichester},
  topic = {belief;propositional-attitudes;philosophy-of-mind;}
  }

@incollection{ engelberg:1979a,
  author = {Klaus-J\"urgen Engelberg},
  title = {A New Approach to Formal Syntax},
  booktitle = {Semantics from Different Points of View},
  year = {1979},
  editor = {Rainer B\"auerle and Urs Egli and Arnim {von Stechow}},
  publisher = {Springer-Verlag},
  address = {Berlin},
  pages = {226--265},
  topic = {nl-syntax;}
  }

@incollection{ engelfriet-etal:1996a,
  author = {Joeri Engelfriet and V. Wiktor Marek and Jan Treur and
    	  Miroslaw Truszczy\'nski},
  title = {Infinitary Default Logic for
	  Specification of Nonmonotonic Reasoning},
  booktitle = {Logics in Artificial Intelligence: European Workshop,
  	{Jelia}'96, Ivora, Portugal, September 30 - October 3,
	1996.},
  publisher = {Springer-Verlag},
  year = {1996},
  editor = {Jos\'e J\'ulio Alferes and Lu\'is Moniz Pereira and Ewa Orlowska},
  pages = {224--236},
  address = {Berlin},
  topic = {default-logic;infinitary-logic;}
  }

@article{ engelfriet-etal:2002a,
  author = {Joel Engelfriet and Catholijn Jonker and Jan Treur},
  title = {Compositional Verification of Multi-Agent in Temporal
  	Multi-Epistemic Logic},
  journal = {Journal of Logic, Language, and Information},
  year = {2002},
  volume = {10},
  number = {1},
  pages = {195--225},
  topic = {multiagent-systems;epistemic-logic;temporal-logic;}
  }

@incollection{ engelfriet-treur:1994a,
  author = {Joeri Engelfriet and Jan Treur},
  title = {Temporal Theories of Reasoning},
  booktitle = {Logics in Artificial Intelligence},
  publisher = {Springer-Verlag},
  year = {1994},
  editor = {Craig Mac{N}ish and Lu\'is Moniz Pereira and David Pearce},
  pages = {279--299},
  address = {Berlin},
  topic = {temporal-reasoning;}
  }

@article{ engelfriet-treur:1998a,
  author = {Joeri Engelfriet and Jan Treur},
  title = {An Interpretation of Default Logic in Minimal Temporal
  	Epistemic Logic},
  journal = {Journal of Logic, Language, and Information},
  year = {1998},
  volume = {7},
  number = {3},
  pages = {369--388},
  topic = {modal-logic;default-logic;temporal-logic;epistemic-logic;}
  }

@article{ engelfriet-treur:2002a,
  author = {Joeri Engelfriet and Jan Treur},
  title = {Linear, Branching Time and Joint Closure Semantics
  	for Temporal Logic},
  journal = {Journal of Logic, Language, and Information},
  year = {2002},
  volume = {11},
  number = {4},
  pages = {389--425},
  topic = {temporal-logic;branching-time;tmix-project;}
  }

@inproceedings{ engelfriet-venema:1998a,
  author = {Joeri Engelfriet and Yde Venema},
  title = {A Modal Logic of Information Change},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Seventh Conference ({TARK} 1998)},
  year = {1998},
  editor = {Itzhak Gilboa},
  pages = {125--131},
  publisher = {Morgan Kaufmann},
  address = {San Francisco, California},
  topic = {reasoning-about-knowledge;communication-models;}
  }

@inproceedings{ engelhardt-etal:1998a,
  author = {Kai Engelhardt and Ron {von Meyden} and Yoram Moses},
  title = {Knowledge and the Logic of Distributed Propositions},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Seventh Conference ({TARK} 1998)},
  year = {1998},
  editor = {Itzhak Gilboa},
  pages = {29--41},
  publisher = {Morgan Kaufmann},
  address = {San Francisco, California},
  topic = {reasoning-about-knowledge;propositional-quantification;
  	epistemic-logic;}
  }

@inproceedings{ engelson-dagan:1996a,
  author = {Sean Engelson and Ido Dagan},
  title = {Minimizing Manual Annotation Cost in Supervised Training
  	from Corpora},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {319--326},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {corpus-linguistics;}
 }

@article{ engesser-gabbay:2002a,
  author = {Kurt Engesser and Dov M. Gabbay},
  title = {Quantum Logic, {H}ilbert Space, Revision Theory},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {136},
  number = {1},
  pages = {61--100},
  topic = {quantum-logic;nonmonotonic-logic;belief-revision;}
  }

@book{ englefield:1990a,
  author = {Ronald Englefield},
  title = {Critique of Pure Verbiage: Essays on Abuses of Language in
  	Literary, Religious and Philosophical Writings},
  publisher = {Open Court},
  note = {Edited by G.A. Wells and D.R. Oppenheimer.},
  year = {1990},
  address = {Peru, Illinois},
  ISBN = {0-8126-9107-5},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {meaningfuless-in-style;philosophy-essays;}
 }

@book{ enis-broome_cl:1971a,
  author = {Ben M. Enis and Charles L. Broome},
  title = {Marketing decisions: a {B}ayesian approach},
  publisher = {Intext Educational Publishers},
  year = {1971},
  address = {Scranton},
  topic = {decision-analysis;}
 }

@incollection{ ennals-briggs_j:1984a,
  author = {Richard Ennals and Jonathan Briggs},
  title = {Logic and Programming},
  booktitle = {The Mind and the Machine: Philosophical Aspects
  	of Artificial Intelligence},
  publisher = {Ellis Horwood, Ltd.},
  year = {1984},
  editor = {Steve B. Torrance},
  pages = {133--144},
  address = {Chichester},
  topic = {logic=programming;problem-solving;}
  }

@inproceedings{ ennis:1982a,
  author = {S.P. Ennis},
  title = {Expert Systems, a User's Perspective to Some Current
		Tools},
  booktitle = {Proceedings of the First National Conference on
              Artificial Intelligence},
  year = {1982},
  pages = {319--321},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  missinginfo = {A's 1st name},
  topic = {expert-systems;}
  }

@article{ enqvist:2009a,
  author = {Sebastian Enqvist},
  title = {Interrogative Belief Revision in Modal Logic},
  journal = {Journal of Philosophical Logic},
  year = {2009},
  volume = {38},
  number = {5},
  pages = {527--548},
  topic = {belief-revision;interrogatives;modal-logic;}
  }

@incollection{ entwisle-powers_dmw:1998a,
  author = {Jim Entwisle and David M.W. Powers},
  title = {The Present Use of Statistics in the Evaluation of
  		{NLP} Parsers},
  booktitle = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {David M.W. Powers},
  pages = {215--224},
  address = {Somerset, New Jersey},
  topic = {parsing-algorithms;nlp-evaluation;}
  }

@inproceedings{ ephrati-etal:1995a,
  author = {Eithan Ephrati and Martha Pollack and Sigalit Ur},
  title = {Deriving Multi-Agent Coordination Through Filtering
  	Strategies},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {679--685},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {distributed-AI;filtering;}
  }

@article{ ephrati-rosenschein_j:1996a,
  author = {Eithan Ephrati and Jeffrey S. Rosenschein},
  title = {Deriving Consensus in Multiagent Systems},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {87},
  number = {1--2},
  pages = {21--74},
  topic = {distributed-AI;voting-procedures;welfare-economics;}
  }

@article{ epsen:2007a,
  author = {Edward Epsen},
  title = {Games with Zero-Knowledge Signaling},
  journal = {Studia Logica},
  year = {2007},
  volume = {86},
  number = {2},
  pages = {403--414},
  topic = {game-theory;knowledge;epistemic-logic;communication-protocols;}
  }

@book{ epstein_rj:1987a,
  author = {R.J. Epstein},
  title = {A History of Econometrics},
  publisher = {Elsevier Science Publishers},
  year = {1987},
  address = {Amsterdam},
  missinginfo = {A's 1st name.},
  topic = {history-of-economics;}
 }

@book{ epstein_rl-carnielli:1989a,
  author = {Richard L. Epstein and Walter A. Carnielli},
  title = {Computable Functions, Logic, and the Foundations of
  	Mathematics},
  publisher = {Wadsworth \& Cole Advanced Books and Software},
  year = {1989},
  address = {Pacific Grove},
  xref = {Review: dipriso:2002a.},
  topic = {computability;goedels-first-theorem;goedels-second-theorem;}
 }

@book{ epstein_rl-carnielli:2000a,
  author = {Richard L. Epstein and Walter A. Carnielli},
  title = {Computable Functions, Logic, and the Foundations of
  	Mathematics},
  edition = {2},
  publisher = {Wadsworth \& Cole Advanced Books and Software},
  year = {2000},
  address = {Pacific Grove},
  xref = {Review: dipriso:2002a.},
  topic = {computability;goedels-first-theorem;goedels-second-theorem;}
 }

@article{ epstein_sd:1998a,
  author = {Samuel David Epstein},
  title = {Overt Scope Marking and Covert Verb-Second},
  journal = {Linguistic Inquiry},
  year = {1998},
  volume = {29},
  number = {1},
  pages = {181--227},
  topic = {nl-syntax;}
  }

@book{ epstein_sd-seeley:2002a,
  editor = {Samuel David Epstein and T. Daniel Seeley},
  title = {Derivation and Explanation in the Minimalist Program},
  publisher = {Blackwell Publishing},
  year = {2002},
  address = {Oxford},
  ISBN = {0-631-22733-4 (pbk)},
  contentnote = {TC:
     1. Samuel David Epstein and T. Daniel Seeley, "Introduction:  On
     		the Quest for Explanation", pp. 1--18
     2. Michael Brody, "On the Status of Representations and
     		Derivations", pp. 19--41
     3. Chris Collins, "Eliminating Labels", pp. 42--64
     4. Samuel David Epstein and T. Daniel Seeley, "Rule Applications
     		as Cycles in a Level-Free Syntax", pp. 65--89
     5. John Frampton and Sam Gutmann, "Crash-Proof Syntax", pp. 90-- 104
     6. Norbert Hornstein and Juan Uriagerika, "Reprojections", pp. 106--132
     7. Richard S. Kayne, "Pronouns and Their Antecedents", pp. 133--166
     8. Hisatsugu Kitahara, "Scrambling, Case, and
     		Interpretability", pp. 167--183
     9. James McCloskey, "Resumption, Successive Cyclicity, and the
     		Locality of Operations", pp. 184--226
    10. Norvin Richards, "Very Local $A'$ Movement in a Root-First
    		Derivation", pp. 222--248
    11. Esther Torrego, "Arguments for a Derivational Approach to
    		Syntactic Relations Based on Clitics", pp. 249--268
    12. Jan-Wouter Zwart, "Issues Relating to a Derivational Theory
    		of Binding", pp. 269--304
  },
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {minimalist-syntax;}
 }

@article{ epstein_sl:1998a,
  author = {Susan L. Epstein},
  title = {Pragmatic Navigation: Reactivity, Heuristics, and Search},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {100},
  number = {1--2},
  pages = {275--322},
  topic = {search;machine-learning;}
  }

@unpublished{ epstein_ss:1975a,
  author = {Samuel S. Epstein},
  title = {A Study of {\em Even}},
  year = {1975},
  note = {Unpublished manuscript, University of California at
  	San Diego.},
  rtnote = {In RHT collection.},
  topic = {`even';}
  }

@phdthesis{ epstein_ss:1975b,
  author = {Samuel S. Epstein},
  title = {Investigations in Pragmatic Theory},
  school = {Linguistics Department, University of San Diego},
  year = {1975},
  type = {Ph.{D}. Dissertation},
  address = {La Jolla, California},
  rtnote = {In RHT collection.  LLP authored shelves.},
  topic = {pragmatics;discourse;presupposition;negation;}
 }

@article{ erdelyiszabo-etal:2008a,
  author = {Mik'os Erd\'elyi-Szab\'o, L\'aszl\'o K\'alm\'an and Agi Kurucz},
  title = {Towards a Natural Language Semantics without Functors and
  	Operands},
  journal = {Journal of Logic, Language, and Information},
  year = {2008},
  volume = {17},
  number = {1},
  pages = {1--17},
  topic = {algebraic-semantics;lambda-calculus;foundations-of-semantics;}
  }

@incollection{ erdogan-lifschitz:2006a,
  author = {Selim T. Erdogan and Vladimir Lifschitz},
  title = {Actions as Special Cases},
  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 = {377--387},
  address = {Menlo Park, California},
  topic = {knowledge-engineering;action-descriptions;}
  }

@article{ erev-roth_ap:2007a,
  author = {Ido Erev and Alvin E. Roth},
  title = {Multi-Agent Learning and the Descriptive Value of Simple
  		Models},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {7},
  pages = {423--428},
  topic = {multiagent-learning;reinforcement-learning;}
  }

@book{ ericsson-simon_ha:1984a,
  author = {Anders K. Ericsson and Herbert A. Simon},
  title = {Protocol Analysis: Verbal Reports As Data},
  publisher = {The {MIT} Press},
  year = {1984},
  address = {Cambridge, Massachusetts},
  ISBN = {0262050293},
  rtnote = {UMich Graduate Library, BF455 .E681 1984.},
  topic = {cognitive-psychology;empirical-methods-in-cogsci;
  	protocol-analysis;}
 }

@article{ eriksson_h-etal:1995a,
  author = {Henrik Eriksson and Yuval Shahar and Samson W. Tu and
  	Angel R. Puerta and Mark A. Musen},
  title = {Task Modeling With Reusable Problem-Solving Methods},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {79},
  number = {2},
  pages = {293--326},
  topic = {plan-reuse;}
  }

@article{ eriksson_l-hajek_a:2007a,
  author = {Lina Eriksson and Alan H\'ajek},
  title = {What Are Degrees of Belief?},
  journal = {Studia Logica},
  year = {2007},
  volume = {86},
  number = {2},
  pages = {183--213},
  topic = {belief;foundations-of-probability;qualitative-probability;}
  }

@book{ eriksson_lh-etal:1992a,
  editor = {Lars-Henrik Eriksson and Lars Halln\"as and Peter
  	Schroeder-Heister},
  title = {Proceedings of the Second International Workshop on
  	Extensions of Logic Programming, {ELP}'91},
  publisher = {Springer-Verlag},
  year = {1992},
  address = {Berlin},
  ISBN = {354055498X},
  rtnote = {UMich Medi Union QA 76.63 .E981 1992},
  topic = {logic-programming;}
 }

@article{ erman-etal:1980a1,
  author = {Lee Erman and Frederick Hayes-Roth and Victor Lesser and
          D. Raj Reddy},
  title = {The Hearsay-{II} Speech-Understanding
          System: Integrating Knowledge to Resolve
          Uncertainty},
  journal = {Computing Surveys},
  year = {1980},
  volume = {12},
  number = {2},
  pages = {213--253},
  xref = {Republication: erman-etal:1980a2.},
  topic = {speech-recognition;}
  }

@incollection{ erman-etal:1980a2,
  author = {Lee Erman and Frederick Hayes-Roth and Victor Lesser and
          D. Raj Reddy},
  title = {The Hearsay-{II} Speech-Understanding
          System: Integrating Knowledge to Resolve
          Uncertainty},
  booktitle = {Readings in Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  year = {1981},
  editor = {Bonnie Webber and Nils J. Nilsson},
  pages = {349-389},
  address = {Los Altos, California},
  xref = {Journal Publication: erman-etal:1980a1.},
  topic = {speech-recognition;}
  }

@book{ ermann-etal:1990a,
  editor = {M. David Ermann and Mary B. Williams and Claudio Gutierrez},
  title = {Computers, Ethics, and Society},
  publisher = {Oxford University Press},
  year = {1990},
  address = {Oxford},
  ISBN = {019505850X (paper)},
  rtnote = {UMich Undergraduate, Qa 76.9 .C66 C65751 1990.},
  topic = {social-impact-of-computation;}
 }

@book{ ermann-etal:1997a,
  editor = {M. David Ermann and Mary B. Williams and Michele S. Shauf},
  title = {Computers, Ethics, and Society},
  publisher = {Oxford University Press},
  edition = {2},
  year = {1997},
  address = {New York},
  ISBN = {019510756X (paper)},
  rtnote = {UMich Undergraduate, Qa 76.9 .C66 C65751 1997.},
  topic = {social-impact-of-computation;}
 }

@article{ ernst-chant:2007a,
  author = {Zachary Ernst and Sara Rachel Chant},
  title = {Collective Action as Individual Choice},
  journal = {Studia Logica},
  year = {2007},
  volume = {86},
  number = {2},
  pages = {415--434},
  topic = {group-action;game-theory;}
  }

@inproceedings{ erol-etal:1992a,
  author = {K. Erol and D. Nau and V.S. Subramanian},
  title = {On the Complexity of Domain Independent Planning},
  booktitle = {Proceedings of the Tenth National Conference on
              Artificial Intelligence},
  year = {1992},
  editor = {Paul Rosenbloom and Peter Szolovits},
  pages = {381--386},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  missinginfo = {A's 1st name},
  topic = {complexity-in-AI;planning;}
  }

@article{ erol-etal:1995a,
  author = {Kutluhan Erol and Dana S. Nau and V.S. Subrahmanian},
  title = {Complexity, Decidability and Undecidability Results for
  	Domain-Independent Planning},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {76},
  number = {1--2},
  pages = {75--88},
  topic = {planning;complexity-in-AI;}
  }

@article{ erteschikshir:1986a,
  author = {Nomi Erteschik-Shir},
  title = {Wh-Questions and Focus},
  journal = {Linguistics and Philosophy},
  year = {1986},
  volume = {9},
  number = {2},
  pages = {117--149},
  topic = {interrogatives;sentence-focus;}
  }

@book{ erteschikshir:2007a,
  author = {Nomi Erteschik-Shir},
  title = {Information Structure:  The Syntax-Discourse Interface},
  publisher = {Oxford University Press},
  year = {2007},
  address = {Oxford},
  ISBN = {978-0-19-926259-5 (pbk)},
  topic = {information-structure;}
 }

@incollection{ ervin-tripp:1976b,
  author = {S. Ervin-Tripp},
  title = {Children's Verbal Turn-Taking},
  booktitle = {Developmental Pragmatics},
  publisher = {Academic Press},
  year = {1979},
  editor = {E. Ochs and B.B. Schieffelin},
  pages = {391--414},
  address = {New York},
  missinginfo = {A's 1st name, E's 1st name},
  topic = {sociolinguistics;conversation-analysis;turn-taking;}
  }

@incollection{ ervin-tripp:1981a,
  author = {S. Ervin-Tripp},
  title = {How to Make and Understand a Request},
  booktitle = {Possibilities and Limitations of Pragmatics: Proceedings
  	of the Conference at Urbino, July 8--14, 1979},
  publisher = {John Benjamins Publishing Company},
  year = {1981},
  editor = {H. Parret and M. Sbis\`a and J. Verschueren},
  pages = {195--210},
  address = {Amsterdam},
  missinginfo = {A's 1st name},
  topic = {sociolinguistics;speech-acts;pragmatics;}
  }

@article{ ervintripp:1976a,
  author = {S. Ervin-Tripp},
  title = {Is {S}ybil There? The Structure of American {E}nglish
  	Directives},
  journal = {Language in Society},
  year = {1976},
  volume = {5},
  pages = {25--66},
  missinginfo = {A's 1st name, number},
  topic = {imperatives;speech-acts;pragmatics;sociolinguistics;}
  }

@incollection{ erwin:1984a,
  author = {Edward Erwin},
  title = {Establishing Causal Connections: Meta-Analysis and
  	Psychotherapy},
  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 = {421--436},
  address = {Minneapolis},
  topic = {causality;psychotherapy;}
  }

@incollection{ esbjornssen-weilemann:2005a,
  author = {Mattias Esbj\"ornssen and Alexandra Weilemann},
  title = {Mobile Phone Talk in Context},
  booktitle = {Modeling and Using Context: 5th International and
  	Interdisciplinary Conference},
  publisher = {Springer-Verlag},
  year = {2005},
  editor = {Anind Dey and Boicho Kokinov and David Leake and Roy Turner},
  pages = {140--154},
  address = {Berlin},
  topic = {context;mobile-computing;}
  }

@article{ escaladaimaz-ghallab:1988a,
  author = {Gonzalo Escalada-Imaz and Malik Ghallab},
  title = {A Practically Efficient and Almost Linear Unification
  	Algorithm},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {36},
  number = {2},
  pages = {249--263},
  topic = {unification-of-FSs;}
  }

@article{ eschenbach:1993a,
  author = {Carola Eschenbach},
  title = {Semantics of Number},
  journal = {Journal of Semantics},
  year = {1993},
  volume = {10},
  number = {1},
  pages = {1--31},
  topic = {nl-semantics;plural;grammatical-number;common-nouns;}
  }

@inproceedings{ eschenbach:1995a,
  author = {C. Eschenbach},
  title = {An Algebraic Approach to Granularity in Qualitative Space
  	and Time Representation},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {894--900},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  missinginfo = {A's 1st name},
  topic = {granularity;spatial-reasoning;temporal-reasoning;}
  }

@incollection{ eschenbach:2004a,
  author = {Carol Eschenbach},
  title = {How to Interleave Knowledge about Object Structure and
  		Concepts},
  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 = {300--309},
  address = {Menlo Park, California},
  topic = {constraint-networks;spatial-representation;kr;}
  }

@incollection{ escudero-etal:2000a,
  author = {Gerard Escudero and LLu\'is M\`arquez and German Rigau},
  title = {A Comparison between Supervised Learning Algorithms
	     for Word Sense Disambiguation},
  booktitle = {Proceedings of the Fourth Conference on Computational
  	Natural Language Learning and of the Second Learning Language
	in Logic Workshop, {L}isbon, 2000},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Claire Cardie and Walter Daelemans and Claire N\'edellec
  	and Erik Tjong Kim Sang},
  pages = {31--36},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;disambiguation;}
  }

@incollection{ escudero-etal:2000b,
  author = {Gerard Escudero and Llu\'is M\'arquez and German Rigau},
  title = {An Empirical Study of the Domain Dependence of Supervised
  		Word Sense Disambiguation Systems},
  booktitle = {Proceedings of the 2000 Joint {SIGDAT} Conference
  	on Empirical Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Hinrich Sch\"utze and Keh-Yih Su},
  pages = {172--180},
  address = {Somerset, New Jersey},
  topic = {AI-system-evaluation;lexical-disambiguation;}
  }

@inproceedings{ eshghi:1988a,
  author = {Kave Eshghi},
  title = {Abductive Planning with Event Calculus},
  booktitle = {Logic Programming: Proceedings of the Fifth International
  	Conference and Symposium, Volume 1},
  year = {1988},
  editor = {Robert A. Kowalski and Kenneth A. Bowen},
  pages = {562--579},
  publisher = {The {MIT} Press},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.},
  topic = {planning;abduction;}
  }

@inproceedings{ eshghi-kowalski_ra:1989a,
  author = {Kave Eshghi and Robert A. Kowalski},
  title = {Abduction Compared with Negation by Failure},
  booktitle = {Logic Programming: Proceedings of the Sixth International
  	Conference},
  year = {1989},
  pages = {234--254},
  publisher = {The {MIT} Press},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.},
  missinginfo = {editor},
  topic = {negation-as-failure;abduction;}
  }

@inproceedings{ eshgli:1991a,
  author = {Kave Eshgli},
  title = {Computing Stable Models by Using the {ATMS}},
  booktitle = {Proceedings of the Ninth National Conference on
              Artificial Intelligence},
  year = {1991},
  editor = {Thomas Dean and Kathy McKeown},
  pages = {272--277},
  organization = {American Association for Artificial Intelligence},
  publisher = {MIT Press},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.},
  topic = {truth-maintenance;stable-models;}
  }

@incollection{ esposito-etal:2000a,
  author = {F. Esposito and S. Ferelli and N. Fanizzi and G.
  	Semeraro},
  title = {Learning from Parsed Sentences with
	{INTHELEX}},
  booktitle = {Proceedings of the Fourth Conference on Computational
  	Natural Language Learning and of the Second Learning Language
	in Logic Workshop, {L}isbon, 2000},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Claire Cardie and Walter Daelemans and Claire N\'edellec
  	and Erik Tjong Kim Sang},
  pages = {194--198},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;information-extraction;
  	information-extraction;knowledge-representation;}
  }

@book{ estes:1975a,
  editor = {W.K. Estes},
  title = {Handbook of Learning and Cognitive Processes},
  publisher = {Lawrence Erlbaum Associates},
  year = {1975},
  address = {Mahwah, New Jersey},
  topic = {learning;cognitive-psychology;}
 }

@book{ estes:1997a,
  editor = {W.K. Estes},
  title = {Classifation and Cognition},
  publisher = {Oxford University Press},
  year = {1997},
  address = {Oxford},
  ISBN = {0-19-510974-0 (paperback), 0-19-507335-5 (hardback)},
  topic = {cognitive-psychology;}
 }

@inproceedings{ estlin-mooney_rj:1996a,
  author = {Tara A. Estlin and Rymond J. Mooney},
  title = {Multi-Strategy Learning of Search Control for
  	Partial-Order Planning},
  booktitle = {Proceedings of the Thirteenth National Conference on
              Artificial Intelligence and the Eighth Innovative
	      Applications of Artificial Intelligence  Conference,
	      Vol. 2},
  year = {1996},
  editor = {William J. Clancey and Dan Weld},
  pages = {843--848},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {planning;machine-learning;search;}
  }

@article{ etchemendy:1983a,
  author = {John Etchemendy},
  title = {The Doctrine of Logic as Form},
  journal = {Linguistics and Philosophy},
  year = {1983},
  volume = {6},
  number = {3},
  pages = {319--334},
  topic = {logical-form;philosophy-of-logic;}
  }

@article{ etchemendy:1988a,
  author = {John Etchemendy},
  title = {Models, Semantics and Logical Truth},
  journal = {Linguistics and Philosophy},
  year = {1988},
  volume = {11},
  number = {1},
  pages = {91--106},
  topic = {logical-consequence;}
  }

@book{ etchemendy:1990a,
  author = {John Etchemendy},
  title = {The Concept of Logical Consequence},
  publisher = {Harvard University Press},
  year = {1990},
  address = {Cambridge, Massachusetts},
  xref = {Review: mcgee:2001a.},
  topic = {logical-consequence;Tarski;}
 }

@inproceedings{ etcheverry-dagorret:2001a,
  author = {Patrick Etcheverry and Phillipe Lopist\'eguy and Pantxika
    		Dagorret},
  title = {Specifying Contexts for Coordination Patterns},
  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 = {437--440},
  address = {Berlin},
  topic = {context;cooperation;problem-solving;}
  }

@article{ etherington:1987a,
 author = {David Etherington},
 title = {Formalizing Nonmonotonic Reasoning Systems},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {31},
  number = {1},
  pages = {41--85},
  topic = {kr;nonmonotonic-reasoning;kr-course;}
 }

@unpublished{ etherington:1987b,
  author = {David Etherington},
  title = {More on Inheritance Hierarchies with Exceptions},
  year = {1987},
  note = {Unpublished manuscript, AT\&T Bell Laboratories.},
  rtnote = {In RHT collection.},
  topic = {inheritance-theory;}
  }

@book{ etherington:1988a,
  author = {David W. Etherington},
  title = {Reasoning with Incomplete Information},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  year = {1988},
  rtnote = {In RHT collection.  AI Shelves.},
  topic = {nonmonotonic-logic;inheritance-theory;}
 }

@article{ etherington:1991a,
 author = {David Etherington and Sarit Kraus and David Perlis},
 title = {Nonmonotonicity and the Scope of Reasoning},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {52},
  number = {3},
  pages = {221--261},
  contentnote = {Surveys a number of foundational problems with NM
  	reasoning, eg the lottery paradox problems are typical of
	these.  Suggests that the source of these is that the scope
	ie application of NM reasoning is generally limited, and
	formalizes this by introducing scope explicitly into
	a circumscriptive formalism.  Proves various results about
	this formalism.},
  rtnote = {In RHT collection.},
  topic = {kr;nonmonotonic-reasoning;kr-course;}
 }

@inproceedings{ etherington-crawford:1996a,
  author = {David W. Etherington and James M. Crawford},
  title = {Toward Efficient Default Reasoning},
  booktitle = {Proceedings of the Thirteenth National Conference on
              Artificial Intelligence and the Eighth Innovative
	      Applications of Artificial Intelligence  Conference,
	      Vol. 2},
  year = {1996},
  editor = {William J. Clancey and Dan Weld},
  pages = {627--632},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {default-logic;nonmonotonic-reasoning;AI-algorithms;
  	consistency-checking;}
  }

@article{ etherington-etal:1985a1,
  author = {David Etherington and R.E. Mercer and Raymond Reiter},
  title = {On the Adequacy of Predicate Circumscription for Closed
  	World Reasoning},
  journal = {Computational Intelligence},
  year = {1985},
  volume = {1},
  pages = {11--15},
  missinginfo = {A's 1st name, number},
  xref = {Republication: etherington-etal:1985a2.},
  topic = {circumscription;closed-world-reasoning;}
  }

@incollection{ etherington-etal:1985a2,
  author = {David W. Etherington and Robert E. Mercer and and Raymond
  	Reiter},
  title = {On the Adequacy or Predicate Circumscription for
  	Closed-World Reasoning},
  booktitle = {Readings in Nonmonotonic Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Matthew L. Ginsberg},
  pages = {174--178},
  address = {Los Altos, California},
  xref = {Original Publication: etherington-etal:1985a1.},
  topic = {circumscription;closed-world-reasoning;}
  }

@article{ etherington-etal:1985b1,
  author = {David W. Etherington and Robert E. Mercer and and Raymond
  	Reiter},
  title = {On the Adequacy or Predicate Circumscription for
  	Closed-World Reasoning},
  journal = {Computational Intelligence},
  year = {1985},
  volume = {1},
  number = {1},
  pages = {11--15},
  topic = {circumscription;closed-world-reasoning;}
  }

@unpublished{ etherington-etal:1985c,
  author = {David W. Etherington and Robert E. Mercer and and Raymond
  	Reiter},
  title = {On the Adequacy or Predicate Circumscription for
  	Closed-World Reasoning},
  year = {1985},
  note = {Unpublished manuscript, University of British Columbia.},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a guess.},
  topic = {circumscription;closed-world-reasoning;}
  }

@inproceedings{ etherington-etal:1989a,
  author = {David W. Etherington and Alex Borgida and Ronald Brachman
  	and Henry Kautz},
  title = {Vivid Knowledge Bases and Tractable Reasoning: Preliminary
  	Report},
  booktitle = {Proceedings of the Eleventh International Joint
  	Conference on Artificial Intelligence},
  year = {1989},
  editor = {N.S. Sridharan},
  pages = {1146--1158},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  rtnote = {In RHT collection.},
  topic = {kr;vivid-reasoning;complexity-in-AI;description-logics;
  	tractable-logics;kr-course;}
  }

@incollection{ etherington-etal:1989b,
  author = {David W. Etherington and Kenneth D. Forbus and Matthew
  	L. Ginsberg and David J. Israel and Vladimir Lifschitz},
  title = {Critical Issues in Nonmonotonic Reasoning},
  booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1989},
  editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter},
  pages = {500--504},
  address = {San Mateo, California},
  topic = {kr;nonmonotonic-reasoning;kr-course;}
  }

@inproceedings{ etherington-reiter_r:1983a1,
  author = {David Etherington and Raymond Reiter},
  title = {On Inheritance Hierarchies with Exceptions},
  booktitle = {Proceedings of the Third National Conference on
              Artificial Intelligence},
  year = {1983},
  pages = {104--108},
  xref = {Republished in Ronald J. Brachman and Hector J. Levesque;
  	Readings in Knowledge Representation.  See
	etherington-reiter_r:1983a2.  Also see etherington-reiter_r:1983a2.},
  topic = {kr;inheritance-theory;kr-course;}
  }

@incollection{ etherington-reiter_r:1983a2,
  author = {David Etherington and Raymond Reiter},
  title = {On Inheritance Hierarchies with Exceptions},
  booktitle = {Readings in Knowledge Representation},
  publisher = {Morgan Kaufmann},
  year = {1995},
  editor = {Ronald J. Brachman and Hector J. Levesque},
  address = {Los Altos, California},
  pages = {329--334},
  xref = {Originally published in AAAI-83.  See etherington-reiter_r:1983a1.},
  topic = {kr;inheritance-theory;kr-course;}
  }

@incollection{ etherington-reiter_r:1983a3,
  author = {David Etherington and Raymond Reiter},
  title = {On Inheritance Hierarchies with Exceptions},
  booktitle = {Readings in Nonmonotonic Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Matthew L. Ginsberg},
  pages = {101--105},
  address = {Los Altos, California},
  xref = {Originally published in AAAI-83.  See etherington-reiter_r:1983a1.},
  topic = {kr;inheritance-theory;kr-course;}
  }

@incollection{ etzion:1991a,
  author = {Opher Etzion},
  title = {Handling Active Databases with Partial Inconsistencies},
  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 = {171--175},
  address = {Berlin},
  topic = {databases;paraconsistency;}
  }

@incollection{ etzioni:1989a,
  author = {Oren Etzioni},
  title = {Tractable Decision-Analytic Control},
  booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1989},
  editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter},
  pages = {114--125},
  address = {San Mateo, California},
  topic = {kr;kr-course;plan-evaluation;planning;decision-analysis;}
  }

@article{ etzioni:1991a,
  author = {Oren Etzioni},
  title = {Embedding Decision-Analytic Control in a Learning
  	Architecture},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {49},
  number = {1--3},
  pages = {129--160},
  topic = {decision-theoretic-planning;machine-learning;}
  }

@article{ etzioni:1993a,
  author = {Oren Etzioni},
  title = {A Structural Theory of Explanation-Based Learning},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {60},
  number = {1},
  pages = {93--139},
  topic = {explanation-based learning;machine-learning;}
  }

@article{ etzioni:1993b,
  author = {Oren Etzioni},
  title = {Acquiring Search-Control Knowledge Via Static Analysis},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {62},
  number = {2},
  pages = {255--301},
  acontentnote = {Abstract:
     Explanation-based learning (EBL) is a widely-used technique for
     acquiring search-control knowledge. Prieditis, van Harmelen, and
     Bundy pointed to the similarity between partial evaluation (PE)
     and EBL. However, EBL utilizes training examples whereas PE does
     not.  It is natural to inquire, therefore, whether PE can be
     used to acquire search-control knowledge and, if so, at what
     cost?  This paper answers these questions by means of a case
     study comparing PRODIGY/EBL, a state-of-the-art EBL system, and
     STATIC, a PE-based analyzer of problem space definitions. When
     tested in PRODIGY/EBL's benchmark problem spaces, STATIC
     generated search-control knowledge that was up to three times as
     effective as the knowledge learned by PRODIGY/EBL, and did so
     from twenty-six to seventy-seven times faster.  The paper
     describes STATIC's algorithms, compares its performance to
     PRODIGY/EBL's, noting when STATIC's superior performance will
     scale up and when it will not. The paper concludes with several
     lessons for the design of EBL systems, suggesting hybrid PE/EBL
     systems as a promising direction for future research.  },
  topic = {explanation-based-learning;procedural-control;}
  }

@incollection{ etzioni-etal:1992a,
  author = {Oren Etzioni and Steven Hanks and Denise Draper and Neal Lesh
  	and Mike Williamson},
  title = {An Approach to Planning with Incomplete Information},
  booktitle = {{KR}'92. Principles of Knowledge Representation and
  	Reasoning: Proceedings of the Third International Conference},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Bernhard Nebel and Charles Rich and William Swartout},
  pages = {115--125},
  address = {San Mateo, California},
  topic = {kr;planning;decision-making-under-uncertainty;kr-course;}
  }

@incollection{ etzioni-etal:1994a,
  author = {Oren Etzioni and Keith Golden and Daniel Weld},
  title = {Tractable Closed World Reasoning with Updates},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {178--189},
  address = {San Francisco, California},
  topic = {kr;closed-world-reasoning;belief-revision;
  		tractable-logics;kr-course;}
  }

@article{ etzioni-etal:1997a,
  author = {Oren Etzioni and Keith Golden and Daniel S. Weld},
  title = {Sound and Efficient Closed-World Reasoning for Planning},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {89},
  number = {1--2},
  pages = {113--148},
  acontentnote = {Abstract:
     Closed-world inference-an essential component of many planning
     algorithms-is the process of determining that a logical sentence
     is false based on its absence from a knowledge base, or the
     inability to derive it.  We describe a novel method for
     closed-world inference and update over the first-order theories
     of action used by planning algorithms such as NONLIN, TWEAK, and
     UCPOP.  We show the method to be sound and efficient, but
     incomplete.  In our experiments, closed-world inference
     consistently averaged about 2 milliseconds while updates
     averaged approximately 1.2 milliseconds.  Furthermore, we
     demonstrate that incompleteness is nonproblematic in practice,
     since our mechanism makes over 99% of the desired inferences. We
     incorporated our method into the XII planner, which supports our
     Internet Softbot (software robot). The technique cut the number
     of actions executed by the Softbot by a factor of one hundred,
     and resulted in a corresponding speedup to XII.},
  topic = {planning;circumscription;closed-world-reasoning;}
  }

@article{ etzioni-etal:2005a,
  author = {Oren Etzioni and Michael Cafarella and Doug Downey and
  		Ana-Maria Popescu and Tal Shaked and Stephen Soderland
		and Daniel S. Weld and Alexander Yates},
  title = {Unsupervised Named-Entity Extraction from the Web:  An
  		Experimental Study},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {165},
  number = {1},
  pages = {91--134},
  topic = {named-entity-tagging;machine-learning;}
  }

@book{ evans_da:1985a,
  author = {David A. Evans},
  title = {Situations and Speech Acts: Toward a Formal Semantics of
           Discourse},
  publisher = {Garland Pubishing},
  year = {1985},
  address = {New York},
  rtnote = {Hillman P95.55 E93 1985},
  topic = {speech-acts;discourse;}
}

@inproceedings{ evans_eg:1997a,
  author = {Edmund Grimley Evans},
  title = {Approximating Context-Free Grammars with a Finite-State
  	Calculus},
  booktitle = {Proceedings of the Thirty-Fifth Annual Meeting of the
		{A}ssociation for {C}omputational {L}inguistics and Eighth
		Conference of the {E}uropean Chapter of the {A}ssociation
		for {C}omputational {L}inguistics},
  year = {1997},
  editor = {Philip R. Cohen and Wolfgang Wahlster},
  pages = {452--459},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {context-free-grammars;finite-state-nlp;}
 }

@article{ evans_g:1973a1,
  author = {Gareth Evans},
  title = {The Causal Theory of Names},
  journal = {Proceedings of the {A}ristotelian Society},
  year = {1973},
  volume = {47},
  note = {Supplementary Series.},
  pages = {187--208},
  xref = {Republication: evans_g:1973a2},
  topic = {reference;modal-logic;philosophy-of-language;proper-names;}
 }

@incollection{ evans_g:1973a2,
  author = {Gareth Evans},
  title = {The Causal Theory of Names},
  booktitle = {Readings in the Philosophy of Language},
  publisher = {The {MIT} Press},
  year = {1996},
  editor = {Peter Ludlow},
  pages = {609--655},
  address = {Cambridge, Massachusetts},
  xref = {Republication of evans_g:1973a1.},
  topic = {reference;modal-logic;philosophy-of-language;proper-names;}
  }

@incollection{ evans_g:1976a1,
  author = {Gareth Evans},
  title = {Semantic Structure and Logical Form},
  booktitle = {Truth and Meaning: Essays in Semantics},
  publisher = {Oxford University Press},
  year = {1976},
  editor = {Gareth Evans and John Mc{D}owell},
  pages = {199--221},
  address = {Oxford},
  xref = {Republication: evans_g:1976a2.},
  rtnote = {In RHT collection.},
  topic = {logical-form;foundations-of-semantics;}
  }

@incollection{ evans_g:1976a2,
  author = {Gareth Evans},
  title = {Semantic Structure and Logical Form},
  booktitle = {Readings in the Philosophy of Language},
  publisher = {The {MIT} Press},
  year = {1996},
  editor = {Peter Ludlow},
  pages = {233--256},
  address = {Cambridge, Massachusetts},
  xref = {Republication of evans_g:1976a1.},
  topic = {logical-form;foundations-of-semantics;}
  }

@article{ evans_g:1978a1,
  author = {Gareth Evans},
  title = {Can There Be Vague Objects?},
  journal = {Analysis},
  year = {1978},
  volume = {38},
  pages = {208},
  rtnote = {In RHT collection.},
  xref = {Republication: evans_g:1978a2.},
  topic = {vagueness;identity;}
  }

@incollection{ evans_g:1978a2,
  author = {Gareth Evans},
  title = {Can There be Vague Objects?},
  booktitle = {Vagueness: A Reader},
  publisher = {The {MIT} Press},
  year = {1997},
  editor = {Rosanna Keefe and Peter Smith},
  pages = {317},
  address = {Cambridge, Massachusetts},
  xref = {Republication of: evans_g:1978a1.},
  topic = {vagueness;identity;}
  }

@article{ evans_g:1980a,
  author = {Gareth Evans},
  title = {Pronouns},
  journal = {Linguistic Inquiry},
  year = {1980},
  volume = {11},
  number = {2},
  pages = {337--362},
  topic = {anaphora;donkey-anaphora;}
  }

@incollection{ evans_g:1981a1,
  author = {Gareth Evans},
  title = {Understanding Demonstratives},
  booktitle = {Meaning and Understanding},
  publisher = {Walter de Gruyter},
  year = {1981},
  editor = {Herman Parret and Jacques Bouveresse},
  address = {Berlin},
  missinginfo = {pages},
  xref = {Republication: evans_g:1981a2.},
  topic = {demonstratives;nl-semantics;indexicals;}
  }

@incollection{ evans_g:1981a2,
  author = {Gareth Evans},
  title = {Understanding Demonstratives},
  booktitle = {Readings in the Philosophy of Language},
  publisher = {The {MIT} Press},
  year = {1996},
  editor = {Peter Ludlow},
  pages = {717--744},
  address = {Cambridge, Massachusetts},
  xref = {Republication: evans_g:1981a2.},
  topic = {demonstratives;nl-semantics;indexicals;}
  }

@book{ evans_g:1983a,
  author = {Gareth Evans},
  title = {Varieties of Reference},
  publisher = {Oxford University Press},
  year = {1983},
  address = {Oxford},
  topic = {reference;}
 }

@book{ evans_g-mcdowell_jh:1976a,
  editor = {Gareth Evans and John Mc{D}owell},
  title = {Truth and Meaning: Essays in Semantics},
  publisher = {Oxford University Press},
  year = {1976},
  address = {Oxford},
  ISBN = {0198245173},
  contentnote = {TC:
     1. Gareth Evans and John Mc{D}owell, "Introduction", pp. vii--xxii
     2. J.A. Foster, "Meaning and Truth Theory", pp. 1--32
     3. Donald A. Davidson, "Reply to {F}oster", pp. 33--41
     4. John Mc{D}owell, "Truth Conditions, Bivalence and
     		Verificationalism", pp. 42--66
     5. Michael Dummett, "What is a Theory of
     		Meaning ({II})", pp. 67--137
     6. Brian Loar, "Two Theories of Meaning", pp. 138--161
     7. Christopher Peacocke, "Truth Definitions and Actual
     		Languages", pp. 162--188
     8. Peter F. Strawson, "On Understanding the Structure of One's
     		Language", pp. 189---198
     9. Gareth Evans, "Semantic Structure and Logical Form", pp. 199--221
    10. Crispin Wright, "Language-Mastery and the Sorites
    		Paradox", pp. 223--247
    11. Michael Woods, "Existence and Tense", pp. 248--262
    12. Barry Taylor, "States of Affairs", pp. 263--284
    13. David Wiggins, "The {\em De Re} `Must':  A Note on the
    		Logical Form of Essentialist Claims", pp. 285--312
    14. Christopher Peacocke, "An Appendix to {D}avid
    		{W}iggins' `Note'\,", pp. 313--324
    15. Saul Kripke, "Is There a Problem about Substitutional
    		Quantification?", pp. 325--419
  },
  rtnote = {In RHT Collection.  LLP edited shelves.},
  rtnote = {UMich Graduate Library, B105.M4 T781},
  topic = {nl-semantics;philosophy-of-language;}
 }

@incollection{ evans_g-mcdowell_jh:1976b,
  author = {Gareth Evans and John Mc{D}owell},
  title = {Introduction},
  booktitle = {Truth and Meaning: Essays in Semantics},
  publisher = {Oxford University Press},
  year = {1976},
  editor = {Gareth Evans and John Mc{D}owell},
  pages = {vii--xxii},
  address = {Oxford},
  topic = {nl-semantics;philosophy-of-language;}
  }

@book{ evans_j-over:1996a,
  author = {Jonathan St.B.T Evans and David E. Over},
  title = {Rationality and Reasoning},
  publisher = {Lawrence Erlbaum Associates},
  year = {1996},
  address = {Mahwah, New Jersey},
  contentnote = {TC:
  	1. Rationality in reasoning
	2. Personal goals, utility, and decision
	3. Relevance, rationality, and tacit processing
	4. Reasoning as decision making: the case of the
		selection task
	5. Prior belief
	6. Deductive competence
	7. A dual process theory of thinking
  	},
  topic = {cognitive-psychology;decision-making;
		rationality-and-cognition;}
 }

@incollection{ evans_n:1985a,
  author = {Nick Evans},
  title = {A-{Q}uantifiers and Scope in {M}alayi},
  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 = {207--270},
  address = {Dordrecht},
  topic = {nl-semantics;nl-quantifiers;Australian-languages;}
  }

@inproceedings{ evans_r-gazdar:1989a,
  author = {Roger Evans and Gerald Gazdar},
  title = {Inference in {DATR}},
  booktitle = {Proceedings, Fourth Meeting of the {E}uropean Chapter of
  	the {A}ssociation for {C}omputational {L}inguistics},
  year = {1989},
  pages = {66--71},
  organization = {{A}ssociation for {C}omputational {L}inguistics},
  missinginfo = {editor, publisher, address},
  topic = {computational-morphology;nm-ling;}
  }

@techreport{ evans_r-gazdar:1990a,
  author = {Roger Evans and Gerald Gazdar},
  title = {The {\sc datr} papers: February 1990},
  institution = {School of Cognitive and Computing Science, University of
  	Sussex},
  number = {CSRP 139},
  year = {1990},
  address = {Brighton, England},
  rtnote = {In RHT collection.},
  topic = {nm-ling;computational-morphology;}
  }

@inproceedings{ evans_r-gazdar:1990b,
  author = {Roger Evans and Gerald Gazdar},
  title = {The Semantics of {DATR}},
  booktitle = {Seventh Conference of
  	the {S}ociety for the {S}tudy of {A}rtificial {I}ntelligence and
	the {S}imulation of {B}ehaviour},
  year = {1989},
  editor = {A. Cohn},
  pages = {79--87},
  organization = {{S}ociety for the {S}tudy of {A}rtificial {I}ntelligence and
	the {S}imulation of {B}ehaviour},
  missinginfo = {publisher, address },
  topic = {computational-morphology;nm-ling;}
  }

@article{ evans_r-gazdar:1996a,
  author = {Roger Evans and Gerald Gazdar},
  title = {{DATR}: A Language for Lexical Knowledge Representation},
  journal = {Computational Linguistics},
  year = {1996},
  volume = {22},
  number = {2},
  pages = {167--216},
  rtnote = {Reading notes on file.},
  topic = {computational-morphology;nm-ling;DATR;}
  }

@unpublished{ evans_r-gazdar:1996b,
  author = {Roger Evans and Gerald Gazdar and David Weir},
  title = {Encoding Lexicalized Tree Adjoining Grammars with a
  	Nonmonotonic Inheritance Hierarchy},
  year = {1996},
  note = {Unpublished manuscript, University of Sussex.},
  rtnote = {In RHT collection.  This may be published somewhere.},
  topic = {computational-lexicography;nm-ling;inheritance;}
  }

@inproceedings{ evans_r-weir:1998a,
  author = {Roger Evans and David Weir},
  title = {A Structure-Sharing Parser for Lexicalized Grammars},
  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 = {372--378},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {parsing-algorithms;TAG-grammar;finite-state-nlp;}
}

@incollection{ everaere-etal:2004a,
  author = {Patricia Everaere and S\'ebastian Konieczny and Pierre
  		Marquis},
  title = {On Merging Strategy-Proofness},
  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 = {357--367},
  address = {Menlo Park, California},
  topic = {group-attitudes;}
  }

@book{ everaet-etal:1995a,
  editor = {Martin Everaert and Erik-Jan {van der Linden} and Andr\'e
  	Schenk and Rob Schreuder},
  title = {Idioms: Structural and Psychological Perspectives},
  publisher = {Lawrence Erlbaum Associates},
  year = {1995},
  address = {Mahwah, New Jersey},
  topic = {cognitive-psychology;idioms;}
 }

@article{ everett_jo:1999a,
  author = {John Otis Everett},
  title = {Topological Evidence of Teleology: Deriving Function
  	from Structure via Evidential Reasoning},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {113},
  number = {1--2},
  pages = {149--202},
  topic = {qualitative-reasoning;thermodynamics;teleology;}
  }

@article{ everett_jo-etal:2002a,
  author = {John O. Everett and Daniel G. Bobrow and Reinhard Stolle
  		and Richard Crouch and Valeria de Paiva and Cleo
		Condoravdi and Martin van den Berg and Livia Polanyi},
  title = {Ontology Applications and Design: Making Ontologies Work
  		for Resolving Redundancies across Documents},
  journal = {Communications of the {ACM}},
  year = {2002},
  volume = {45},
  number = {2},
  pages = {55--60},
  rtnote = {In RHT collection.},
  topic = {computational-ontology;}
 }

@article{ everett_tj:2000a,
  author = {Theodore J. Everett},
  title = {A Simple Logic for Comparisons and Vagueness},
  journal = {Synth\'ese},
  year = {2000},
  volume = {123},
  pages = {263--278},
  topic = {comparative-constructions;vagueness;}
  }

@techreport{ evett-etal:1990a,
  author = {M. Evett and James Hendler and Lee Spector},
  title = {Parallel Knowledge Representation on the Connection Machine},
  institution = {Computer Science Department, University of Maryland},
  number = {CS--TR--2409},
  year = {1990},
  address = {College Park, Maryland},
  rtnote = {In RHT collection.},
  missinginfo = {A's 1st name, number},
  topic = {inheritance-theory;parallel-processing;}
  }

@article{ ewing:1963a,
  author = {A.C. Ewing},
  title = {May Can-Statements Be Analysed Deterministically},
  journal = {Proceedings of the {A}ristotelian Society},
  year = {1963--64},
  volume = {64},
  pages = {157--176},
  topic = {ability;(in)determinism;freedom;}
  }

@book{ eysenck:1990a,
  editor = {Michael W. Eysenck},
  title = {The {B}lackwell Dictionary of Cognitive Psychology},
  publisher = {Blackwell Reference},
  year = {1990},
  address = {Oxford},
  ISBN = {0631156828},
  rtnote = {UMich Undergraduate, Bf 311 .B5351 1990.},
  topic = {cognitive-psychology;}
 }

@inproceedings{ ezeiza-etal:1998a,
  author = {N. Ezeiza and I. Alegria and J.M. Arriola and R. Urizar
  	 and I. Aduriz},
  title = {Combining Stochastic and Rule-Based Methods for
  	Disambiguation in Agglutinative Languages},
  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 = {379--384},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {lexical-disambiguation;}
}

@book{ fabre-billot:1995a,
  author = {C\'{e}cile Fabre and Pascale S\'{e}billot},
  title = {Calculability of the semantics of {E}nglish Nominal
  	Compounds: Combining General Linguistic Rules and Corpus-Based
	Semantic Information},
  publisher = {Institut National de Recherche en Informatique et en
Automatique (INRIA)},
  year = {1995},
  address = {Paris},
  abstract = {Our project focuses on the calculability of the
    semantics of nominal compounds. Our goal is to design a general
    model, based on domain-free lexical information, in order to
    exhibit and implement the principles of nominal compound
    interpretation. This model is based upon a precise semantic
    characterization of nominal constituents, which relates nouns to
    the predicative information that must be identified to retrieve
    the underlying relation of the compound. The predicate is deduced
    from the morpho-syntactic and semantic features of the nouns and
    its argument structure is used to characterize the roles of each
    constituent. We describe our model of interpretation of English
    compounds and evaluate it from the results of a program that
    implements this general framework. We suggest solutions to enrich
    this model and to adapt it to the characteristics of the
    compounds of a specialized corpus through the extraction of
    specific semantic information.},
  topic = {compound-nominals;}
 }

@article{ fabriciushansen-saebo:2004a,
  author = {Catherine Fabricius-Hansen and Kyel Jon S{\ae}b\o},
  title = {In a Mediative Mood: The Semantics of the {G}erman
  	Reportative Subjunctive},
  journal = {Natural Language Semantics},
  year = {2003},
  volume = {12},
  number = {3},
  pages = {213--357},
  topic = {subjunctive-mood;nl-semantics;indirect-discourse;
  	German-language;}
  }

@book{ facione_pa-facione_mc:2007a,
  author = {Peter A. Facione and Noreen C. Facione},
  title = {Thinking and Reasoning in Human Decision Making:  The Method
  		of Argument and Heuristic Analysis},
  publisher = {The California Academic Press},
  year = {2007},
  address = {Millbrae, California},
  ISBN = {1-891557--58-0},
  rtnote = {In RHT collection.  Intro Philosophy/Logic Shelves.},
  topic = {argumentation;}
 }

@article{ fagin:1982a,
  author = {Ronald Fagin},
  title = {Horn Clauses and Database Dependencies},
  journal = {Journal of the {ACM}},
  year = {1982},
  volume = {4},
  pages = {952--985},
  missinginfo = {number},
  topic = {functional-dependencies;}
  }

@book{ fagin:1994a,
  editor = {Ronald Fagin},
  title = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Fifth Conference ({TARK} 1994)},
  year = {1994},
  publisher = {Morgan Kaufmann},
  address = {San Francisco, California},
  rtnote = {In RHT collection.},
  topic = {reasoning-about-knowledge;}
  }

@article{ fagin-etal:1983a,
  author = {Ronald Fagin and Jeffrey D. Ullman and Moshe Y. Vardi},
  title = {On the Semantics of Updates in Databases},
  journal = {Journal of the Association of Computing Machinery},
  year = {1983},
  volume = {30},
  pages = {352--365},
  missinginfo = {number},
  topic = {database-update;}
  }

@techreport{ fagin-etal:1984a,
  author = {Ronald Fagin and Joseph Y. Halpern and Moshe Y. Vardi},
  title = {A Model-Theoretic Analysis of Knowledge: Preliminary
  	Report},
  institution = {{IBM} Research Laboratory},
  year = {1984},
  address = {San Jose, California},
  rtnote = {In RHT collection.},
  missinginfo = {number},
  topic = {epistemic-logic;}
  }

@inproceedings{ fagin-etal:1984b,
  author = {Ronald Fagin and Joseph Y. Halpern and Moshe Y. Vardi},
  title = {A Model Theoretic Analysis of Knowledge},
  booktitle = {Proceedings of the Twenty-Fifth Annual Symposium
  	on the Foundations of Computer Science},
  year = {1984},
  pages = {268--278},
  missinginfo = {organization, publisher, address},
  topic = {epistemic-logic;}
  }

@inproceedings{ fagin-etal:1985a,
  author = {Ronald Fagin and Joseph Y. Halpern},
  title = {Belief, Awareness, and Limited Reasoning: Preliminary
  	Report},
  booktitle = {Proceedings of the Ninth International Joint
  	Conference on Artificial Intelligence},
  year = {1985},
  editor = {Arivind Joshi},
  pages = {491--501},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  rtnote = {In RHT collection.},
  topic = {hyperintensionality;propositional-attitudes;}
 }

@inproceedings{ fagin-etal:1990a,
  author = {Ronald Fagin and Joseph Y. Halpern and Moshe Y. Vardi},
  title = {A Nonstandard Approach to the Logical Omniscience Problem},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Third Conference ({TARK} 1990)},
  year = {1990},
  editor = {Rohit Parikh},
  pages = {41--55},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  topic = {hyperintensionality;relevance-logic;}
  }

@article{ fagin-etal:1991a,
  author = {Ronald Fagin and Joseph Y. Halpern and Moshe Y. Vardi},
  title = {A Model-Theoretic Analysis of Knowledge},
  journal = {Journal of the Association for Computing Machinery},
  year = {1991},
  volume = {38},
  number = {2},
  pages = {382--428},
  rtnote = {In RHT collection.},
  topic = {epistemic-logic;distributed-systems;}
  }

@incollection{ fagin-etal:1992a,
  author = {Ronald Fagin and John Geanakopolos and Joseph Y. Halpern
  	and Moshe Y. Vardi},
  title = {The Expressive Power of the Hierarchical Approach to
  	Modeling Knowledge and Common Knowledge},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fourth Conference ({TARK} 1992)},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Yoram Moses},
  pages = {229--244},
  address = {San Francisco},
  topic = {epistemic-logic;mutual-belief;}
  }

@article{ fagin-etal:1992b,
  author = {Ronald Fagin and Joseph Y. Halpern and Moshe Y. Vardi},
  title = {What Can Machines Know? On the Properties of Knowledge in
  	Distributed Systems.},
  journal = {Journal of the Association for Computing Machinery},
  year = {1992},
  volume = {39},
  number = {2},
  pages = {328--37628},
  topic = {epistemic-logic;distributed-systems;}
  }

@article{ fagin-etal:1992c,
  author = {Ronald Fagin and Joseph Y. Halpern and Moshe Y. Vardi},
  title = {What is an Inference Rule?},
  journal = {Journal of Symbolic Logic},
  year = {1992},
  volume = {57},
  number = {3},
  pages = {1018--1045},
  topic = {inference-rules;}
  }

@techreport{ fagin-etal:1994a,
  author = {Ronald Fagin and Joseph Y. Halpern and Yoram Moses and
  	Moshe Y. Vardi},
  title = {Knowledge-Based Programming},
  institution = {{IBM} Research Laboratory},
  number = {RJ 9711},
  year = {1994},
  address = {San Jose, California},
  topic = {epistemic-logic;agent-oriented-programming;}
  }

@article{ fagin-etal:1995a,
  author = {Ronald Fagin and Joseph Y. Halpern and Moshe Y. Vardi},
  title = {A Nonstandard Approach to the Logical Omniscience Problem},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {79},
  number = {2},
  pages = {203--240},
  contentnote = {Uses a relevance-like logic to address problem of logical
  	omniscience.  Has completeness proof.},
  topic = {propositional-attitudes;epistemic-logic;relevance-logic;
  	hyperintensionality;}
  }

@book{ fagin-etal:1995b,
  author = {Ronald Fagin and Joseph Y. Halpern and Yoram Moses and
  	Moshe Y. Vardi},
  title = {Reasoning about Knowledge},
  publisher = {The {MIT} Press},
  year = {1995},
  address = {Cambridge, Massachusetts},
  rtnote = {Reading notes on file.},
  rtnote = {In RHT Collection.  CS General shelves.  Office. (2 copies).},
  xref = {Reviews: goranko:1999a,thomason_rh:1999d.},
  topic = {epistemic-logic;distributed-systems;communication-protocols;
  	game-theory;}
 }

@incollection{ fagin-etal:1996a,
  author = {Ronald Fagin and Joseph Y. Halpern and Yoram Moses
  	and Moshe Y. Vardi},
  title = {Common Knowledge Revisited},
  booktitle = {Theoretical Aspects of Rationality and Knowledge:
  	Proceedings of the Sixth Conference ({TARK} 1996)},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Yoav Shoham},
  pages = {283--258},
  address = {San Francisco},
  topic = {mutual-belief;rational-action;}
  }

@article{ fagin-halpern:1987a,
  author = {Ronald Fagin and Joseph Y. Halpern},
  title = {Belief, Awareness, and Limited Reasoning},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {34},
  number = {1},
  pages = {39--76},
  topic = {epistemic-logic;hyperintensionality;awareness;}
  }

@article{ fagin-halpern:1988a1,
  author = {Ronald Fagin and Joseph Y. Halpern},
  title = {I'm {OK} if You're {OK}: On the notion of Trusting Communication},
  journal = {Journal of Philosophical Logic},
  year = {1988},
  volume = {17},
  number = {4},
  pages = {329--354},
  xref = {Republication: fagin-halpern:1988a2.},
  topic = {distributed-systems;communication-protocols;epistemic-logic;}
  }

@incollection{ fagin-halpern:1988a2,
  author = {Ronald Fagin and Joseph Y. Halpern},
  title = {I'm {OK} if You're {OK}: On the notion of Trusting Communication},
  booktitle = {Philosophical Logic and Artificial Intelligence},
  publisher = {D. Reidel Publishing Co.},
  year = {1989},
  editor = {Richmond H. Thomason},
  pages = {9--34},
  address = {Dordrecht},
  xref = {Republication of: fagin-halpern:1988a1.},
  topic = {distributed-systems;communication-protocols;epistemic-logic;}
  }

@inproceedings{ fagin-halpern:1988b,
  author = {Ronald Fagin and Joseph Y. Halpern},
  title = {Reasoning about Knowledge and Probability},
  booktitle = {Proceedings of the Second Conference on Theoretical
  	Aspects of Reasoning about Knowledge},
  year = {1988},
  editor = {Moshe Y. Vardi},
  pages = {277--293},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  topic = {reasoning-about-knowledge;probabilistic-reasoning;}
  }

@article{ fagin-halpern:1989b,
  author = {Ronald Fagin and Joseph Y. Halpern},
  title = {Reasoning about Knowledge and Probability},
  journal = {Journal of the {ACM}},
  year = {1989},
  volume = {41},
  number = {2},
  pages = {340--367},
  topic = {epistemic-logic;reasoning-about-knowledge;
  	probabilistic-reasoning;}
  }

@techreport{ fagin-halpren:1988c,
  author = {Ronald Fagin and Joseph Y. Halpern},
  title = {A Logic for Reasoning about Probability},
  institution = {{IBM} Research Laboratory},
  year = {1988},
  address = {San Jose, California},
  rtnote = {In RHT collection.},
  number = {RJ 6190},
  topic = {reasoning-about-knowledge;probabilistic-reasoning;}
  }

@inproceedings{ fagin-vardi:1986a,
  author = {Ronald Fagin and Moshe Y. Vardi},
  title = {Knowledge and Implicit Knowledge in a Distributed
  	Environment: Preliminary Report},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the First Conference},
  year = {1986},
  editor = {Joseph Y. Halpern},
  pages = {187--206},
  publisher = {Morgan Kaufmann Publishers, Inc.},
  address = {Los Altos, California},
  topic = {epistemic-logic;distributed-systems;}
  }

@article{ fagiuoli-zaffalon:1998a,
  author = {Enrico Fagiuoli and Marco Zaffalon},
  title = {{2U}: An Exact Interval Propagation Algorithm
  	for Polytrees with Binary Variables},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {106},
  number = {1},
  pages = {77--107},
  topic = {bayesian-networks;}
  }

@article{ fahlman:1974a,
  author = {Scott E. Fahlman},
  title = {A Planning System for Robot Construction Tasks},
  journal = {Artificial Intelligence},
  volume = {5},
  number = {1},
  pages = {1--49},
  year = {1974},
  topic = {planning;robotics;}
 }

@book{ fahlman:1979a,
  author = {Scott E. Fahlman},
  title = {{\sc netl:} A System for Representing and Using Real-World
  	Knowledge.},
  publisher = {The {MIT} Press},
  year = {1979},
  address = {Cambridge, Massachusetts},
  xref = {Review: shapiro:1980a},
  topic = {inheritance-theory;parallel-processing;}
 }

@inproceedings{ fahlman-etal:1981a,
  author = {Scott E. Fahlman and David Touretzky and W. van Roggen},
  title = {Cancellation in a Parallel Semantic Network},
  booktitle = {Proceedings of the Seventh International Joint
  	Conference on Artificial Intelligence},
  year = {1981},
  editor = {Patrick J. Hayes},
  pages = {257--263},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  missinginfo = {A's 1st name},
  topic = {inheritance-theory;parallel-processing;}
 }

@incollection{ fairtlough-wainer_ss:1998a,
  author = {Matt Fairtlough and Stanley S. Wainer},
  title = {Hierarchies of Provably Recursive Functions},
  booktitle = {Handbook of Proof Theory},
  publisher = {Elsevier Science Publishers},
  year = {1998},
  editor = {Samuel R. Buss},
  pages = {149--207},
  address = {Amsterdam},
  xref = {Review: arai:1998d.},
  topic = {proof-theory;recursion-theory;}
 }

@article{ fais:2004a,
  author = {Laurel Fais},
  title = {Inferable Centers, Centering Transitions, and the Notion
  	of Coherence},
  journal = {Computational Linguistics},
  year = {2004},
  volume = {30},
  number = {2},
  pages = {119--150},
  topic

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit