text:
) present strong experimental evidence
     that the occurrence of prime implicates of varying lengths in
     random instances of 3-SAT exhibits behaviour similar to the
     well-known phase transition phenomenon associated with
     satisfiability. Thus, as the ratio of number of clauses (m) to
     number of propositional variables (n) increases, random
     instances of 3-SAT progress from formulae which are generally
     satisfiable through to formulae which are generally not
     satisfiable, with an apparent sharp threshold being crossed when
     m/n ~4.2. For instances of 3-SAT, Schrag and Crawford (1996)
     examine with what probability the longest prime implicate has
     length k (for k>=0)-unsatisfiable formulae correspond to those
     having only a prime implicate of length 0-demonstrating that
     similar behaviour arises. It is observed by Schrag and Crawford
     (1996) that experiments failed to identify any instance of 3-SAT
     over nine propositional variables having a prime implicate of
     length 7 or greater, and it is conjectured that no such
     instances are possible.  In this note we present a combinatorial
     argument establishing that no 3-SAT instance on n variables can
     have a prime implicate whose length exceeds max(n/2 +1, 2n/3,
     validating this conjecture for the case n=9. We further show
     that these bounds are the best possible. An easy corollary of
     the latter constructions is that for all k>3, instances of k-SAT
     on n variables can be formed, that have prime implicates of
     length n-o(n).},
  topic = {prime-implicants;model-checking;}
  }

@article{ dunne-benchcapon:2002a,
  author = {Paul E. Dunne and T.J.M. Bench-Capon},
  title = {Coherence in Finite Argument Systems},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {141},
  number = {1--2},
  pages = {187--203},
  topic = {argument-systems;}
  }

@article{ dunne-benchcapon:2003a,
  author = {Paul E. Dunne and Trevor Bench-Capon},
  title = {Two Party Immediate Response Disputes: Properties and
  	Efficiency},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {149},
  number = {2},
  pages = {221--230},
  topic = {proof-theory;algorithmic-complexity;dialogue-games;}
  }

@article{ dunne-etal:2005a,
  author = {Paul E. Dunne and Michael Woodridge and Michael Laurence},
  title = {The Complexity of Contract Negotiation},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {164},
  number = {1--2},
  pages = {23--46},
  topic = {automated-negotiation;complexity-in-AI;}
  }

@article{ dunne-etal:2009a,
  author = {Paul E. Dunne and Sarit Kraus and Efrat Manisterski and
  		Michael Wooldridge},
  title = {Solving Coalitional Resource Games},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {174},
  number = {1},
  pages = {20--50},
  topic = {coalitional-games;computational-bargaining;}
  }

@article{ duntsch-gediga:1998a,
  author = {Ivo D\"untsch and G\"unther Gediga},
  title = {Uncertainty Measures for Rough Set Prediction},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {106},
  number = {1},
  pages = {109--137},
  topic = {data-prediction;rough-sets;}
  }

@article{ duntsch-orlawska:2000a,
  author = {Ivo D\"untsch and Ewa Or{\l}awska},
  title = {A Proof System for Contact Relation Algebras},
  journal = {Journal of Philosophical Logic},
  year = {2000},
  volume = {29},
  number = {3},
  pages = {241--262},
  topic = {spatial-reasoning;qualitative-geometry;mereology;
  	completeness-theorems;}
  }

@incollection{ dupre:1984a,
  author = {John Dupr\'e},
  title = {Probabilistic Causality Emancipated},
  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 = {169--175},
  address = {Minneapolis},
  topic = {causality;probability;}
  }

@article{ dupre:1999a,
  author = {John Dupr\'e},
  title = {Review of \emph{{H}ow the Mind Works}, by
  	{S}tephen {P}inker},
  journal = {Philosophy of Science},
  year = {1999},
  volume = {66},
  number = {3},
  pages = {489--507},
  xref = {Review of pinker:1997a.},
  topic = {cognitive-psychology;}
  }

@article{ dupre:2000a,
  author = {John Dupr\'e},
  title = {Review of \emph{{T}he Social Construction of What?},
  	by {I}an {H}acking},
  journal = {The Journal of Philosophy},
  year = {2000},
  volume = {97},
  number = {5},
  pages = {673--676},
  topic = {social-constructivism;philosophy-of-science;}
  }

@book{ dupuy:1997a,
  editor = {Jean-Pierre Dupuy},
  title = {Perspectives on Self-Deception},
  publisher = {Cambridge University Press},
  year = {1997},
  address = {Cambridge, England},
  topic = {self-deception;}
 }

@book{ duranti-goodwin_c:1992a,
  editor = {Alessandro Duranti and Charles Goodwin},
  title = {Rethinking Context: Language as an Interactive Phenomenon},
  publisher = {Cambridge University Press},
  year = {1992},
  address = {Cambridge, England},
  ISBN = {052138169X},
  rtnote = {UMich Graduate Library, P 35 .R461 1992.},
  topic = {context;sociolinguistics;}
 }

@article{ durfee:1999a,
  author = {Edmund H. Durfee},
  title = {Distributive Continual Planning for Unmanned Ground
  	Vehicle Teams},
  journal = {The {AI} Magazine},
  year = {1999},
  volume = {20},
  number = {4},
  pages = {55--61},
  topic = {multiagent-planning;distributed-systems;}
  }

@article{ durfee-etal:1995a,
  author = {Edmund H. Durfee and Victor R. Lesser and Daniel D.
  	Corkill},
  title = {Trends in Cooperative Distributed Problem Solving},
  journal = {{IEEE} Transactions on Knowledge and Data Engineering},
  year = {1989},
  volume = {1},
  pages = {63--83},
  rtnote = {In RHT collection.},
  topic = {distributed-systems;}
  }

@article{ durfee-etal:2002a,
  author = {Ed Durfee and Sarit Kraus and Hideyuki Nakashima and
  	Milind Tambe},
  title = {Editorial (for Special Issue on the International
  	Conference on Multiagent Systems 2000)},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {142},
  number = {2},
  pages = {95--97},
  topic = {multiagent-systems;}
  }

@inproceedings{ durfee-montgomery_ta:1991a,
  author = {Edmund H. Durfee and Thomas A. Montgomery},
  title = {A Hierarchical Protocol for Coordinating Multiagent Behaviors},
  booktitle = {Proceedings of the Ninth National Conference on
              Artificial Intelligence},
  year = {1991},
  editor = {Thomas Dean and Kathleen McKeown},
  pages = {86--93},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {coordinating-behavior;action-descriptions;communication-protocols;}
  }

@book{ durlach-mavor:1995a,
  editor = {Nathaniel I. Durlach and Anne S. Mavor},
  title = {Virtual Reality: Scientific and Technological Challenges},
  publisher = {National Academy Press},
  year = {1995},
  address = {Washington, D.C.},
  ISBN = {0309051355},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 V67 1995.},
  topic = {virtual-reality;}
 }

@article{ durstandersen:1995a,
  author = {Per Durst-Andersen},
  title = {Imperative Frames and Modality.  Direct vs. Indirect
  	Speech Acts in {R}ussian, {D}anish, and {E}nglish},
  journal = {Linguistics and Philosophy},
  year = {1995},
  volume = {18},
  number = {6},
  pages = {655--675},
  topic = {speech-acts;pragmatics;indirect-speech-acts;}
  }

@article{ dusche:1995a,
  author = {M. Dusche},
  title = {Interpreted Logical Forms as Objects of the Attitudes},
  journal = {Journal of Logic, Language, and Information},
  year = {1995},
  volume = {4},
  number = {4},
  pages = {301--315},
  topic = {propositional-attitudes;hyperintensionality;
  	structured-propositions;}
  }

@book{ dutoit:1997a,
  author = {Thierry Dutoit},
  title = {An Introduction to Text-to-Speech Synthesis},
  publisher = {Kluwer Academic Publishers},
  year = {1997},
  address = {Dordrecht},
  ISBN = {0-7923-4498-7},
  xref = {Review: fitzpatrick:1998a},
  topic = {speech-generation;}
 }

@article{ dutoit:2002a,
  author = {Thierry Dutoit},
  title = {Review of \emph{{D}ata-Driven Techniques in Speech
  	Synthesis}, edited by {R}.{I}. {D}amper},
  journal = {Computational Linguistics},
  year = {2002},
  volume = {28},
  number = {4},
  pages = {570--572},
  xref = {Review of: damper:2001a},
  topic = {speech-generation;machine-learning;}
  }

@inproceedings{ dwork-moses_y:1986a1,
  author = {Cynthia Dwork and Yoram Moses},
  title = {Knowledge and Common Knowledge in a {B}yzantine Environment},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the First Conference},
  year = {1986},
  editor = {Joseph Y. Halpern},
  pages = {149--169},
  publisher = {Morgan Kaufmann Publishers, Inc.},
  address = {Los Altos, California},
  xref = {See dwork-moses_y:1986a2},
  topic = {epistemic-logic;mutual-belief;Byzantine-agreement;}
  }

@article{ dwork-moses_y:1986a2,
  author = {Cynthia Dwork and Yoram Moses},
  title = {Knowledge and Common Knowledge in a {B}yzantine Environment:
  	Crash Failures},
  journal = {Information and Computation},
  year = {1990},
  volume = {88},
  number = {2},
  pages = {156--186},
  xref = {See dwork-moses_y:1986a1},
  topic = {epistemic-logic;mutual-belief;Byzantine-agreement;}
  }

@book{ dworkin:1988a,
  author = {Gerald Dworkin},
  title = {The Theory and Practice of Autonomy},
  publisher = {Cambridge University Press},
  year = {1988},
  address = {Cambridge, England},
  topic = {freedom;volition;}
 }

@article{ dwyer-pietroski:1996a,
  author = {Susan Dwyer and Paul M. Pietrowski},
  title = {Believing in Language},
  journal = {Linguistics and Philosophy},
  year = {1996},
  volume = {63},
  number = {3},
  pages = {338--373},
  topic = {philosophy-of-linguistics;}
  }

@book{ dybjer-etal:1994a,
  editor = {Peter Dybjer and B. Nordstr\"om and J. Smith},
  title = {Types for Proofs and Programs: Selected Papers},
  publisher = {Springer-Verlag},
  year = {1994},
  address = {Berlin},
  topic = {type-theory;proof-theory;programming-languages;}
 }

@book{ dybjer-etal:1995a,
  editor = {Peter Dybjer and Bengt Nordstr\"om and Jan Smith},
  title = {Types for Proofs and Programs: International Workshop
  	{TYPES}'94, {B}estad, {S}weden, June 6--10},
  publisher = {Springer-Verlag},
  year = {1995},
  address = {Berlin},
  ISBN = {3-540-60579-7},
  contentnote = {TC:
     1. Reni M. C. Ahn, "Communication Contexts: a Pragmatic Approach
     		to Information Exchange", pp. 1--13
     2. Herman Geuvers, "A Short and Flexible Proof of Strong
     		Normalization for the Calculus of
		Constructions", pp. 14--38
     3. Eduardo Giminez, "Codifying Guarded Definitions with
     		Recursive Schemes", pp. 39--59
     4. Healfdene Goguen, "The Metatheory of {UTT}", pp. 60--82
     5. Pascal Manoury, "A User's Friendly Syntax to Define Recursive
     		Functions as Typed lambda-Terms", pp. 83--100
     6. Tobias Nipkow, Konrad Slind, "I/Q Automata in
     		Isabelle/HOL", pp. 101--119
     7. Lawrence C. Paulson, "A Concrete Final Coalgebra Theorem for
     		{ZF} Set Theory", pp. 120--139
     8. Robert Pollack, "On Extensibility of Proof Checkers", pp. 140--161
     9. Aarne Ranta, "Syntactic Categories in the Language of
     		Mathematics", pp. 162--182
    10. Amokrane Saobi, "Formalization of a Lamda-Calculus with
    		Explicit Substitutions in {Coq}", pp. 183--202
 },
  topic = {type-theory;logic-in-cs;}
 }

@incollection{ dybkjaer_l-bernsen:2000a,
  author = {Laila Dybkjaer and Niels Ole Bernsen},
  title = {The {MATE} Markup Framework},
  booktitle = {Proceedings of the First {SIGdial} Workshop on Discourse
  	and Dialogue},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Laila Dybkjaer and Koiti Hasida and David R. Traum},
  pages = {19--28},
  address = {Somerset, New Jersey},
  topic = {computational-dialogue;corpus-annotation;corpus-tagging;}
  }

@incollection{ dybkjaer_l-etal:1997a,
  author = {Laila Dybkj{\ae}r and Niels Ole Bernsen and Hans
  	Dybkj{\ae}r},
  title = {Generality and Objectivity: Central Issues in Putting
  	a Dialogue Evaluation Tool into Practical Use},
  booktitle = {Automatic Information Extraction and Building of
  	Lexical Semantic Resources for {NLP} Applications},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Piek Vossen and Geert Adriaens and Nicoletta Calzolari
  	and Antonio Sanfilippo and Yorick Wilks},
  pages = {17--24},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;nlp-evaluation;}
  }

@incollection{ dybkjaer_l-etal:1997b,
  author = {Laila Dybkj{\ae}r and Niels Ole Bernsen and Hans
  		Dybkj{\ae}r},
  title = {Generality and Objectivity: Central
		Issues in Putting a Dialogue Evaluation Tool into
		Practical Use},
  booktitle = {Interactive Spoken Dialog Systems:  Bridging
  	Speech and {NLP} Together in Real Applications},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Julia Hirschberg and Candace Kamm and Marilyn Walker},
  pages = {17--24},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;nlp-evaluation;}
  }

@book{ dybkjaer_l-etal:2000a,
  editor = {Laila Dybkjaer and Koiti Hasida and David R. Traum},
  title = {Proceedings of the First {SIGdial} Workshop on Discourse
  	and Dialogue},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  address = {Somerset, New Jersey},
  rtnote = {In RHT collection.  ACL Shelves.},
  contentnote = {TC:
     1. Shu Nakazoto, "Japanese Dialogue Corpus of Multi-Level
     		Annotation", pp. 1--8
     2. Claudia Soria and Roldano Cattoni and Morena
     		Danielli, "{ADAM}: An Architecture for {XML}-Based
		Dialogue Annotation on Multiple Levels", pp. 9--18
     3. Laila Dybkjaer and Niels Ole Bernsen, "The {MATE} Markup
     		Framework", pp. 19--28
     4. Nigel Ward, "Issues in the Transcription of {E}nglish
     		Conversational Grunts", pp. 29--35
     5. Ilana Mushim and Lesley Stirling and Janet Fletcher and
     		Roger Wales, "Identifying Prosodic Indicators of
		Dialogue Structure: Some Methodological and
		Theoretical Considerations", pp. 36--45
     6. Holger Schauer, "From Elementary Discourse Units to Complex
     		Ones", pp. 46--55
     7. Costanza Navaretta, "Abstract Anaphora Resolution in
     		{D}anish", pp. 56--65
     8. Simon Corston-Oliver, "Using Decision Trees to Select the
     		Grammatical Relation of a Noun Phrase", pp. 66--73
     9. Dragomir Radev, "A Common Theory of Information Fusion from
     		Multiple Text Sources", pp. 74--83
    10. Guido Boella and Rossana Damiano and Leonardo Lesmo, "Social
     		Goals in Conversational Cooperation", pp. 84--93
    11. Preetam Maloor and Joyce Chai, "Dynamic User Level and
    		Utility Measurement for Adaptive Dialog in a
		Help-Desp System", pp. 94--101
    12. Mare Koit and Haldur Oim, "Dialogue Management in the Agreement
    		Negotiation Process: A Model that Involves Natural
		Reasoning", pp. 102--111
    13. Staffan Larsson and Annie Zaenan, "Document Transformations
    		and Information States",pp. 112--120
    14. Annika Flycht-Eriksson and Arne J\"onsson, "Dialogue and Domain
    		Knowledge Management in Dialogue Systems", pp. 121--130
    15. Eli Hagen and Fred Popowich, "Flexible Speech Act Based Dialogue
    		Management", pp. 131--140
    16. Sado Kurohashi and Wataru Higasa, "Dialogue Helpsystem Based
    		on Flexible Matching of User Query with Natural
		Language Knowledge Base", pp. 141--149
    17. Jun-Ichi Hirasawa and Kohji Dohsaka and Kiyoaki Aikawa, "{WIT}:
    		A Toolkit for Building Robust and Real-Time Spoken
		Dialogue Systems", pp. 150--159
    18. Jan Alexandersson and Paul Heisterkamp, "Some Notes on the
    		Complexity of Dialogues", pp. 160--169
    },
  rtnote = {In RHT collection.  ACL Shelves.},
  topic = {computational-dialogue;}
 }

@article{ dyckhoff:1992a,
  author = {Roy Dyckhoff},
  title = {Contraction-free Sequent Calculi for
  	Intuitionistic Logic},
  journal = {Journal of Symbolic Logic},
  year = {1992},
  volume = {57},
  number = {3},
  pages = {795--807},
  topic = {proof-theory;intuitionistic-logic;}
  }

@book{ dyckhoff:1994a,
  editor = {Roy Dyckhoff},
  title = {Proceedings of the 4th International Workshop Extensions
  	of Logic Programming: {ELP'93}},
  publisher = {Springer-Verlag},
  year = {1994},
  address = {Berlin},
  ISBN = {0387580255},
  rtnote = {UMich Media Union Library, QA 76.63 .E471 1993.},
  topic = {logic-programming;}
 }

@book{ dyckhoff:1994b,
  editor = {Roy Dyckhoff},
  title = {Extensions of Logic Programming: 4th International Workshop,
       {S}t {A}ndrews,  {M}arch 29-April 1, 1993},
  publisher = {Springer-Verlag},
  year = {1994},
  address = {Berlin},
  ISBN = {0387580255},
  rtnote = {UMich Media Union Library, QA 76.63 .E471 1993.},
  topic = {extensions-of-logic-programming;}
 }

@article{ dyckhoff:2001a,
  author = {Roy Dyckhoff},
  title = {Review of \emph{{B}asic Proof Theory}, by {A}.{S}.
  	{T}roelstra and {H}. {S}chwichtenberg},
  journal = {The Bulletin of Symbolic Logic},
  year = {2001},
  volume = {7},
  number = {2},
  pages = {280},
  xref = {Review of troelstra-schwichtenberg:2000a.},
  topic = {proof-theory;}
  }

@book{ dyckhoff-etal:1996a,
  editor = {Roy Dyckhoff and Heinrich Herre and Peter Schroeder-Heister},
  title = {Extensions of Logic Programming : 5th International Workshop,
       {L}eipzig, {G}ermany, {M}arch 28-30, 1996},
  publisher = {Springer-Verlag},
  year = {1996},
  address = {Berlin},
  ISBN = {3540609830},
  rtnote = {UMich Media Union Library, QA 76.63 .E471 1996.},
  topic = {extensions-of-logic-programming;}
 }

@article{ dyckhoff-weinsing:2001a,
  author = {Roy Dyckhoff and Heinrich Weinsing},
  title = {Editorial},
  journal = {Studia Logica},
  year = {2001},
  volume = {69},
  number = {1},
  pages = {3--4},
  topic = {proof-theory;semantic-tableaux;modal-logic;}
  }

@book{ dyer:1983a,
  author = {Michael G. Dyer},
  title = {In-Depth Understanding:  A Computer Model of Integrated
   Processing for Narrative Comprehension},
  publisher = {The {MIT} Press},
  year = {1983},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.  AI shelves.},
  topic = {text-understanding;story-understanding;
  	memory-models;conceptual-dependency;}
 }

@article{ dym:1985a,
  author = {Clive L. Dym},
  title = {Review of \emph{{B}uilding Expert Systems}, by {F}.
  	{H}ayes-{R}oth, {D}.{A}. {W}aterman and {D}ouglas {B}.
	{L}enat},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {25},
  number = {1},
  pages = {101--104},
  xref = {Review of hayesroth_f-etal:1983a.},
  topic = {expert-systems;}
  }

@article{ dym:1985b,
  author = {Clive L. Dym},
  title = {Review of \emph{{A} Practical Guide to Designing Expert
  	Systems}, by {S}.{M}. {W}eiss and {C}.{A}. {K}ulikowski},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {25},
  number = {2},
  pages = {238--239},
  xref = {Review of weiss_sm-kulikowski:1984a.},
  topic = {expert-systems;}
  }

@inproceedings{ dymetman:1998a,
  author = {Marc Dymetman},
  title = {Group Theory and Linguistic Processing},
  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 = {348--352},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {categorial-grammar;Lambek-calculus;grammar-formalisms;
  	group-theory;}
}

@book{ dyson:1997a,
  author = {George B. Dyson},
  title = {Darwin Among the Machines:  The Evolution of Global
  		Intelligence},
  publisher = {Addison-Wesley},
  year = {1997},
  address = {Boston},
  ISBN = {ISBN 0-7382-0030-1},
  rtnote = {Speculation about evolutionary algorithms and the
  	emergence of consciousness in, e.g., the WWW.},
  topic = {history-of-AI;history-of-computer-science;
       popular-computer-science;}
 }

@book{ eades-zhang_k:1996a,
  editor = {Peter Eades and Kang Zhang},
  title = {Software Visualisation},
  publisher = {World Scientific},
  year = {1996},
  address = {Singapore},
  ISBN = {9810228260},
  rtnote = {UMich Media Union Library, QA 76.758 .S649 1996.},
  topic = {software-engineering;}
 }

@book{ earley:2003a,
  editor = {Joseph E. {Earley, Sr.}},
  title = {Chemical Explanations: Characteristics, Development,
  	Autonomy},
  publisher = {New Youk Academy of Sciences},
  year = {2003},
  address = {New York},
  ISBN = {1573314560},
  xref = {Review: glymour:2004a.},
  topic = {philosophey-of-chemistry;}
 }

@article{ earman:1971a,
  author = {John Earman},
  title = {Laplacian Determinism, or Is This Any Way to
  	Run A Universe?},
  journal = {Journal of Philosophy},
  year = {1971},
  volume = {68},
  pages = {729--45},
  number = {21},
  topic = {physical-determinism;}
 }

@article{ earman:1976a,
  author = {John Earman},
  title = {Causation: A Matter of Life and Death},
  journal = {The Journal of Philosophy},
  year = {1976},
  volume = {18},
  number = {73},
  pages = {5--25},
  topic = {causality;}
  }

@incollection{ earman:1979a,
  author = {John Earman},
  title = {Was {L}eibniz a Relationist?},
  booktitle = {Midwest Studies in Philosophy Volume {V}:
  	Studies in Metaphysics},
  publisher = {University of Minnesota Press},
  year = {1979},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {263--276},
  address = {Minneapolis},
  topic = {Leibniz;philosophy-of-space;sufficient-reason;}
  }

@book{ earman:1983a,
  editor = {John Earman},
  title = {Testing Scientific Theories: {M}innesota Studies in the
  	Philosophy of Science, Volume {III}},
  publisher = {University of Minnesota Press},
  address = {Minneapolis},
  year = {1983},
  rtnote = {In RHT collection.  Philsci Shelves.},
  topic = {philosophy-of-science;confirmation;}
 }

@book{ earman:1986a,
  author = {John Earman},
  title = {A Primer on Determinism},
  publisher = {D. Reidel Publishing Company},
  year = {1986},
  address = {Dordrecht},
  topic = {(in)determinism;}
 }

@book{ earman:1992a,
  author = {John Earman},
  title = {Bayes or Bust: A Critical Examination of Confirmation
  	Theory},
  publisher = {The {MIT} Press},
  year = {1992},
  address = {Cambridge, Massachusetts},
  topic = {confirmation-theory;}
 }

@book{ earman:1995a,
  author = {John Earman},
  title = {Bangs, Crunches, Whimpers, and Shrieks:
  	Singularities and Acausalities in Relativistic Spacetime},
  publisher = {Oxford University Press},
  year = {1995},
  address = {Oxford},
  xref = {Review: callendar:1998a.},
  topic = {spacetime-singularities;philosophy-of-physics;}
 }

@incollection{ earman:2008a,
  author = {John Earman},
  title = {How Determinism Can Fail in Classical Physics and How
  		Quantum Physics Can (Sometimes) Provide a Cure},
  booktitle = {{PSA}06: Proceedings of the 2006 Biennial Meeting
  	of the Philosophy of Science Association, Part {II}:
	Symposia Papers},
  publisher = {University of Chicago Press},
  year = {2008},
  editor = {Jason Alexander and Cristina Biccieri},
  pages = {817--829},
  address = {Chicago},
  topic = {philosophy-of-physics;(in)determinism;}
  }

@book{ earman-etal:1977a,
  editor = {John S. Earman and Clark N. Glymour and John J. Stachel},
  title = {Foundations of Space-Time Theories: {M}innesota Studies
  	in the Philosophy of Science, Volume {VIII}},
  publisher = {University of Minnesota Press},
  address = {Minneapolis},
  year = {1977},
  rtnote = {In RHT collection.  Philsci Shelves.},
  topic = {philosophy-of-science;philosophy-of-physics;}
 }

@article{ earman-ruetsche:2005a,
  author = {John Earman and Laura Ruetsche},
  title = {Relativistic Invariance and Modal Interpretations},
  journal = {Philosophy of Science},
  year = {2005},
  volume = {72},
  number = {4},
  pages = {557--583},
  topic = {modal-interpretation-of-qm;}
  }

@book{ earnshaw-etal:1993a,
  editor = {R.A. Earnshaw and M.A. Gigante and H. Jones.},
  title = {Virtual Reality Systems},
  publisher = {Academic Press},
  year = {1993},
  address = {New York},
  ISBN = {0122277481},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 V5711 1993.},
  topic = {virtual-reality;}
 }

@article{ eastman_cm:1973a,
  author = {Charles M. Eastman},
  title = {Automated Space Planning},
  journal = {Artificial Intelligence},
  year = {1973},
  volume = {4},
  number = {1},
  pages = {41--64},
  acontentnote = {Abstract:
     This paper both reviews current procedures and introduces new
     ones for the automated generation of two-dimensional
     arrangements.  General properties of the task and some
     sufficiency conditions for dealing with it are identified. The
     treatment of these properties in existing programs are reviewed.
     The task is also organized into its component decision rules.
     One exemplification of these rules is described which utilizes
     the sufficiency conditions and is implemented in the General
     Space Planner (GSP) program in operation at Carnegie-Mellon
     University [3], [4]. The performance of GSP in solving a set of
     spatial arrangement tasks is described and some future
     extensions outlined.
      A secondary purpose of this paper is to more fully introduce
     this problem domain to the artificial intelligence literature.
     Not only is it an interesting problem class now only the
     province of humans, but it has wide application. Throughout the
     presentation, both the commonalities and disparities of this
     task domain with other AI tasks are explicated.},
  topic = {planning;spatial-arrangement-tasks;spatial-reasoning;}
  }

@article{ eaton-etal:1998a,
  author = {Peggy S. Eaton and Eugene C. Freuder and Richard J. Lewis},
  title = {Constraints and Agents: Confronting Ignorance},
  journal = {The {AI} Magazine},
  year = {1998},
  volume = {19},
  number = {2},
  pages = {51--65},
  topic = {constraint-based-reasoning;artificial-societies;
  	autonomous-agents;}
  }

@book{ eatwell-etal:1987a,
  editor = {John Eatwell and Murray Milgate and Peter Newman},
  title = {The New Palgrave: Utility and Probability},
  publisher = {Macmillan},
  year = {1987},
  address = {New York},
  topic = {foundations-of-utility;utility;}
 }

@incollection{ ebbinghaus:1995a,
  author = {Hans-Dieter Ebbinghaus},
  title = {On the Model Theory of Some Generalized Quantifiers},
  booktitle = {Quantifiers: Logic, Models, and Computation, Vol. 1},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {Micha{\l} Krynicki and Marcin Mostowski and Les{\l}aw W.
  	Szczerba},
  pages = {25--62},
  address = {Dordrecht},
  topic = {generalized-quantifiers;}
  }

@article{ ebbs:2002a,
  author = {Gary Ebbs},
  title = {Learning from Others},
  journal = {No\^us},
  year = {2002},
  volume = {36},
  number = {4},
  pages = {525--549},
  topic = {radical-interpretation;}
  }

@article{ ebendt-drechsler:2009a,
  author = {R\"udiger Ebendt and Rolf Drechsler},
  title = {Weighted A* search---unifying view and application},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {14},
  pages = {1275-1309},
  topic = {A*-algorithm;search;planning;}
  }

@article{ eberle:1984a,
  author = {Rolf Eberle},
  title = {Logic with a Relative Truth Predicate and `that'-Terms},
  journal = {Synth\'ese},
  year = {1984},
  volume = {59},
  number = {2},
  pages = {151--185},
  topic = {truth;indirect-discourse;syntactic-attitudes;}
  }

@incollection{ eckardt:2000a,
  author = {Regine Eckardt},
  title = {Causation, Contexts, and Event Individuation},
  booktitle = {Speaking of Events},
  publisher = {Oxford University Press},
  year = {2000},
  editor = {James Higginbotham and Fabio Pianesi and Achille C. Varzi},
  pages = {105--121},
  address = {Oxford},
  topic = {events;event-individuation;event-semantics;causatives;}
  }

@article{ eckardt:2001a,
  author = {Regine Eckardt},
  title = {Reanalyzing {\em Selbst}},
  journal = {Natural Language Semantics},
  year = {2001},
  volume = {9},
  number = {4},
  pages = {371--412},
  topic = {German-language;reflexive-constructions;nl-semantics;}
  }

@incollection{ eckman_fr:1976a,
  author = {Fred R. Eckman},
  title = {Empirical and Nonempirical Generalizations
		in Syntax},
  booktitle = {Assessing Linguistic Arguments},
  publisher = {Hemisphere Publishing Corporation},
  year = {1976},
  editor = {Jessica R. Wirth},
  pages = {35--48},
  address = {Washington, D.C.},
  topic = {philosophy-of-linguistics;foundations-of-linguistics;}
  }

@book{ eckman_fr:1977a,
  author = {Fred R. Eckman},
  title = {On the Explanation of Some Typological Facts about
  	Raising},
  publisher = {Indiana University Linguistics Club},
  year = {1976},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {transformational-grammar;universal-grammar;}
 }

@book{ eco:1976a,
  author = {Umberto Eco},
  title = {A Theory of Semiotics},
  publisher = {Indiana University Press},
  year = {1976},
  address = {Bloomington, Indiana},
  topic = {semiotics;}
 }

@book{ eco:1979a,
  author = {Umberto Eco},
  title = {The Role of the Reader},
  publisher = {Indiana University Press},
  year = {1979},
  address = {Bloomington, Indiana},
  topic = {semiotics;}
 }

@article{ edalat:1997a,
  author = {Abbas Edalat},
  title = {Domains for Computation in Mathematics, Physics, and Exact
		Real Arithmetic},
  journal = {Bulletin of Symbolic Logic},
  year = {1997},
  volume = {3},
  number = {4},
  pages = {401--452},
  topic = {domain-theory;}
  }

@unpublished{ edelberg:1977a,
  author = {Walter Edelberg},
  title = {A Semantical Theory of Conditional and Tense Logic},
  year = {1977},
  rtnote = {In RHT collection.},
  note = {Unpublished Manuscript, Philosophy Department, University of
  	Pittsburgh, Pittsburgh, PA 15260.},
  topic = {conditionals;temporal-logic;branching-time;}
  }

@phdthesis{ edelberg:1984a,
  author = {Walter Edelberg},
  title = {Intentional Identity},
  school = {Philosophy Department, University of Pittsburgh},
  year = {1984},
  type = {Ph.{D}. Dissertation},
  address = {Pittsburgh, Pennsylvania},
  rtnote = {In RHT collection.  Shelf.},
  topic = {propositional-attitudes;intentional-identity;intentional-identity;
  	singular-propositions;}
 }

@article{ edelberg:1986a,
  author = {Walter Edelberg},
  title = {A New Puzzle about Intentional Identity},
  journal = {Journal of Philosophical Logic},
  year = {1986},
  volume = {15},
  number = {1},
  pages = {1--27},
  topic = {propositional-attitudes;intentional-identity;
  	singular-propositions;}
  }

@article{ edelberg:1991a,
  author = {Walter Edelberg},
  title = {A Case for a Heretical Deontic Semantics},
  journal = {Journal of Philosophical Logic},
  year = {1991},
  volume = {20},
  number = {1},
  pages = {1--35},
  topic = {deontic-logic;arbitrary-objects;}
  }

@article{ edelberg:1992b,
  author = {Walter Edelberg},
  title = {Intentional Identity and the Attitudes},
  journal = {Linguistics and Philosophy},
  year = {1992},
  volume = {15},
  number = {6},
  pages = {561--596},
  topic = {nl-semantics;propositional-attitudes;intentional-identity;
  	singular-propositions;}
  }

@article{ edelberg:1994a,
  author = {Walter Edelberg},
  title = {Propositions, Circumstances, Objects},
  journal = {Journal of Philosophical Logic},
  year = {1994},
  volume = {23},
  number = {1},
  pages = {1--34},
  rtnote = {Read this.},
  topic = {possible-worlds-semantics;propositional-attitudes;
  	intentional-identity;singular-propositions;}
  }

@article{ edelberg:1995a,
  author = {Walter Edelberg},
  title = {A Perspectivalist Semantics for the Attitudes},
  journal = {No\^us},
  year = {1995},
  volume = {3},
  pages = {316--342},
  contentnote = {Idea is that truth is rel. to a belief system.  Belief
  	systems aren't modeled at any fine degree of granularity.
	Essentially, they are unanalyzed indices.},
  missinginfo = {number},
  topic = {nl-semantics;propositional-attitudes;intentional-identity;
  	singular-propositions;}
  }

@article{ edelberg:2006a,
  author = {Walter Edelberg},
  title = {Intrasubjective Intentional Identity},
  journal = {The Journal of Philosophy},
  year = {2006},
  volume = {103},
  number = {1},
  pages = {481--502},
  topic = {intentional-identity;}
  }

@article{ edelkamp-helmut:2001a,
  author = {Stefan Edelkamp and Malte Helmut},
  title = {{MIPS}: The Model-Checking Integrated Planning System},
  journal = {The {AI} Magazine},
  year = {2001},
  volume = {22},
  number = {1},
  pages = {67--71},
  topic = {planning;planning-algorithms;planning-systems;}
  }

@article{ edgeley:1965a,
  author = {R. Edgeley},
  title = {Practical Reason},
  journal = {Mind, New Series},
  year = {1965},
  volume = {74},
  number = {294},
  pages = {174--191},
  topic = {practical-reasoning;}
  }

@incollection{ edgeley:1978a,
  author = {R. Edgeley},
  title = {Practical Reason},
  booktitle = {Practical Reasoning},
  publisher = {Oxford University Press},
  year = {1978},
  editor = {Joseph Raz},
  pages = {18--33},
  address = {Oxford},
  topic = {practical-reasoning;}
  }

@article{ edgington:1980a,
  author = {Dorothy Edgington},
  title = {Meaning, Bivalence and Realism},
  journal = {Proceedings of the {A}ristotelian Society},
  year = {1980/81},
  volume = {81},
  pages = {153--173},
  rtnote = {In RHT collection.},
  topic = {philosophical-realism;Davidson-semantics;truth-value-gaps;}
 }

@article{ edgington:1991a,
  author = {Dorothy Edgington},
  title = {Matter-of-Fact Conditionals},
  journal = {Proceedings of the {A}ristotelian Society
                 Supplementary Volume},
  year = {1991},
  volume = {65},
  pages = {185--209},
  topic = {conditionals;}
 }

@incollection{ edgington:1991b,
  author = {Dorothy Edgington},
  title = {Do Conditionals Have Truth Conditions?},
  booktitle = {Conditionals},
  publisher = {Oxford University Press},
  year = {1991},
  editor = {Frank Jackson},
  pages = {176--201},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {conditionals;}
  }

@article{ edgington:1992a,
  author = {Dorothy Edgington},
  title = {Validity, Uncertainty, and Vagueness},
  journal = {Analysis},
  year = {1992},
  volume = {52},
  number = {4},
  pages = {193--203},
  topic = {vagueness;}
  }

@article{ edgington:1993a,
  author = {Dorothy Edgington},
  title = {Wright and {S}ainsbury on Higher-Order Vagueness},
  journal = {Analysis},
  year = {1993},
  volume = {53},
  number = {4},
  pages = {193--200},
  missinginfo = {number},
  topic = {vagueness;}
  }

@article{ edgington:1995a,
  author = {Dorothy Edgington},
  title = {On Conditionals},
  journal = {Mind, New Series},
  year = {1995},
  volume = {104},
  number = {413},
  pages = {235--329},
  rtnote = {In RHT collection.  Files.},
  topic = {conditionals;}
  }

@article{ edgington:1996a,
  author = {Dorothy Edgington},
  title = {Lowe on Conditional Probability},
  journal = {Mind, New Series},
  year = {1996},
  volume = {105},
  pages = {617--630},
  topic = {conditionals;probability;}
 }

@article{ edgington:1997a,
  author = {Dorothy Edgington},
  title = {Truth, Objectivity, Counterfactuals, and {G}ibbard},
  journal = {Mind, New Series},
  year = {1997},
  volume = {106},
  number = {420},
  pages = {107--116},
  contentnote = {This is about Gibbard's Sly Pete example.},
  topic = {conditionals;}
  }

@incollection{ edgington:1997b,
  author = {Dorothy Edgington},
  title = {Vagueness by Degrees},
  booktitle = {Vagueness: A Reader},
  publisher = {The {MIT} Press},
  year = {1997},
  editor = {Rosanna Keefe and Peter Smith},
  pages = {294--316},
  address = {Cambridge, Massachusetts},
  topic = {vagueness;}
  }

@article{ edidin:1984a,
  author = {Aron Edidin},
  title = {Inductive Reasoning and the Uniformity of Nature},
  journal = {Journal of Philosophical Logic},
  year = {1984},
  volume = {13},
  number = {3},
  pages = {285--302},
  topic = {induction;}
  }

@incollection{ edmonds_b:1999a,
  author = {Bruce Edmonds},
  title = {The Pragmatic Roots of Context},
  booktitle = {Modeling and Using Contexts: Proceedings of
	the Second International and Interdisciplinary
	Conference, {CONTEXT}'99},
  publisher = {Springer-Verlag},
  year = {1999},
  editor = {Paolo Bouquet and Luigi Serafini and Patrick
	Br\'ezillon	and Massimo Benerecetti and Francesca
	Castellani},
  pages = {119--134},
  address = {Berlin},
  topic = {context;connectionist-models;}
  }

@inproceedings{ edmonds_b:2001a,
  author = {Bruce Edmonds},
  title = {Learning Appropriate Contexts},
  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 = {143--155},
  address = {Berlin},
  topic = {context;machine-learning;}
  }

@inproceedings{ edmonds_b-moss_s:1995a,
  author = {Bruce Edmonds and Scott Moss},
  title = {Modeling the Bounded Rationality of Agents by Modeling and
  	limited Incremental Search},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Rational Agency: Concepts, Theories, Models, and Applications},
  year = {1995},
  editor = {Michael Fehling},
  pages = {43--47},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {bounded-rationality;planning;}
  }

@book{ edmonson_ja:1976a,
  author = {Jerry A. Edmonson},
  title = {Strict and Sloppy Identity in $\lambda$-Categorial Grammar},
  publisher = {Indiana University Linguistics Club},
  year = {1982},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {categorial-grammar;sloppy-identity;}
 }

@unpublished{ edmonson_ja:1977a,
  author = {Jerry A. Edmonson},
  title = {`{B}oth' in $\lambda$-Categorial Grammar},
  year = {1977},
  note = {Unpublished manuscript, Technical University Berlin},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {categorial-grammar;}
  }

@article{ edmonson_ja-plank:1978a,
  author = {Jerold A. Edmonson and Frans Plank},
  title = {Great Expectations: An Intensive Self Analysis},
  journal = {Linguistics and Philosophy},
  year = {1978},
  volume = {2},
  number = {3},
  pages = {373--413},
  topic = {intensifiers;}
  }

@book{ edmonson_wj:1981a,
  author = {Willis J. Edmonson},
  title = {Spoken Discourse: A Model for Analysis},
  publisher = {Longman},
  year = {1981},
  address = {New York},
  rtnote = {Chapter 6 in RHT Collection.},
  topic = {discourse;pragmatics;text-linguistics;}
 }

@incollection{ edmonson_wj:1981b,
  author = {Willis J. Edmonson},
  title = {Illocutionary Verbs, Illocutionary
    		Acts, and Conversational Behavior},
  booktitle = {Words, Worlds, and Contexts: New Approaches to Word
  	Semantics},
  publisher = {Walter de Gruyter},
  year = {1981},
  editor = {Hans-J\"urgen Eikmeyer and Hannes Rieser},
  pages = {485--494},
  address = {Berlin},
  topic = {speech-acts;}
 }

@incollection{ edwards_awf:1998a,
  author = {Anthony W.F. Edwards},
  title = {Statistical Inference},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 1:  Quantified Representation
		of Uncertainty and Imprecision},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Dov M. Gabbay and Philippe Smets},
  pages = {357--366},
  address = {Dordrecht},
  topic = {statistical-inference;}
  }

@book{ edwards_d:1997a,
  author = {Derek Edwards},
  title = {Discourse and Cognition},
  publisher = {Sage Publications},
  year = {1997},
  address = {Thousand Oaks, California},
  topic = {discourse;philosophy-of-language;pragmatics;}
 }

@book{ edwards_d-potter:1992a,
  author = {Derek Edwards and Jonathan Potter},
  title = {Discursive Psychology},
  publisher = {Sage Publications},
  year = {1992},
  address = {Newbury Park, California},
  rtnote = {Hillman P302.8 E39 1992},
  topic = {discourse;}
 }

@book{ edwards_j:1754a,
  author = {Jonathan Edwards},
  title = {Freedom of the Will},
  publisher = {Yale University Press},
  year = {1957},
  address = {New Haven, Connecticut},
  note = {Originally published in 1754.},
  rtnote = {tmix-project;},
  topic = {freedom;(in)determinism;}
 }

@book{ edwards_p:1972a,
  editor = {Paul Edwards},
  title = {The Encyclopedia of Philosophy},
  publisher = {MacMillan Publishing Co.},
  year = {1972},
  address = {London},
  rtnote = {In RHT collection.  Handbook shelf.},
  topic = {philosophy-handbook/encyclopedia;}
 }

@incollection{ edwards_w:1977a,
  author = {Ward Edwards},
  title = {Use of Multiattribute Utility Measurement for Social
  	Decision Making},
  booktitle = {Conflicting Objectives in Decisions},
  publisher = {John Wiley and Sons},
  year = {1977},
  editor = {David E. Bell and Ralph L. Keeney and Howard Raiffa},
  pages = {247--276},
  address = {New York},
  rtnote = {An applied paper.},
  topic = {decision-analysis;multiattribute-utility;}
  }

@article{ edwards_w-barron:1994a,
  author = {Ward Edwards and F. Hutton Barron},
  title = {{SMARTS} and {SMARTER}: Improved Simple Methods for
  	Multiattribute Utility Measurement},
  journal = {Organizational Behavior and Human Decision Processes},
  year = {1994},
  volume = {60},
  pages = {306--325},
  missinginfo = {number},
  topic = {preference-elicitation;multiattribute-utility;}
  }

@article{ eells:1981a,
  author = {Ellery Eells},
  title = {Causality, Utility and Decision},
  journal = {Synth\'ese},
  year = {1981},
  volume = {48},
  pages = {295--395},
  miscnote = {D. Lewis cites this in connection with "tickle defense", see
  	lewis_dk:1981a1.},
  missinginfo = {number},
  topic = {decision-theory;causal-decision-theory;}
  }

@book{ eells:1982a,
  author = {Ellery Eells},
  title = {Rational Decision and Causality},
  publisher = {Cambridge University Press},
  year = {1982},
  address = {Cambridge, England},
  topic = {foundations-of-decision-theory;causal-decision-theory;}
 }

@article{ eells:1984a,
  author = {Ellery Eells},
  title = {Newcomb's Many Solutions},
  journal = {Theory and Decision},
  year = {1984},
  volume = {16},
  pages = {59--105},
  missinginfo = {number},
  topic = {causal-decision-theory;}
  }

@article{ eells:1985a,
  author = {Ellery Eells},
  title = {Levi's `The Wrong Box'\, },
  journal = {The Journal of Philosophy},
  year = {1985},
  volume = {82},
  number = {2},
  pages = {91--104},
  topic = {Newcomb-problem;}
  }

@book{ eells:1991a,
  author = {Ellery Eells},
  title = {Probabilistic Causality},
  publisher = {Cambridge University Press},
  year = {1991},
  address = {Cambridge, England},
  xref = {Review: davis_wa:1993a.},
  ISBN = {0521392446},
  rtnote = {UMich Graduate Library, QA 279.4 .E341 1991},
  topic = {causality;probability;}
 }

@book{ eells-maruszewski:1991a,
  editor = {Ellery Eells and Tomasz Maruszewski},
  title = {Probability and Rationality: Studies On {L}. {J}onathan
  	{C}ohen's Philosophy of Science},
  publisher = {Rodopi},
  year = {1991},
  address = {Amsterdam},
  ISBN = {9051833164},
  rtnote = {UMich Graduate Library, B 809.8 .P88 v.21},
  topic = {foundations-of-probability;philosophy-of-science;}
 }

@book{ eells-skyrms:1994a,
  editor = {Ellery Eells and Brian Skyrms},
  title = {Probability and Conditionals: Belief Revision and Rational
       Decision},
  publisher = {Cambridge University Press},
  year = {1994},
  address = {Cambridge, England},
  rtnote = {Hillman BC141 P69 1994},
  contentnote = {
  	1. Patrick Suppes, "Some Questions about Adams' Conditionals"
  	2. Brian Skyrms, "Adams Conditionals"
  	3. Robert C. Stalnaker, "Letter to Brian Skyrms"
  	4. Robert C. Stalnaker and Richard Jeffrey, "Conditionals as
		Random Variables"
  	5. Judea Pearl, "From Adams' Conditionals to Default
		Expressions, Causal Conditionals, and Counterfactuals"
  	6. Alan H\'ajek and Ned Hall, "The Hypothesis of the
		Conditional Construal of Conditional Probability"
  	7. Alan H\'ajek, "Triviality on the Cheap?"
  	8. Ned Hall, "Back in the CCCP"
  	9. Charles Chihara, "The Howson-Urbach Proofs of Bayesian Principles"
       10. Vann McGee, "Learning the Impossible"
       11. Patrick Suppes, "A Brief Survey of Adams' Contributions to
       		Philosophy"
  },
  xref = {Reviews: halpern:2000a, gardner_r:2000a.},
  topic = {probability;conditionals;CCCP;}
 }

@article{ eels-fitelson:2000a,
  author = {Ellery Eels and Branden Fitelson},
  title = {Measuring Confirmation and Evidence},
  journal = {The Journal of Philosophy},
  year = {2000},
  volume = {97},
  number = {5},
  pages = {663--672},
  topic = {confirmation;}
  }

@article{ egan_a:2006a,
  author = {Andy Egan},
  title = {Appearance Properties?},
  journal = {No\^us},
  year = {2006},
  volume = {40},
  number = {3},
  pages = {495--521},
  topic = {phenomenal-properties;propositional-attitudes;indexicals;}
  }

@article{ egan_a:2007a,
  author = {Andy Egan},
  title = {Some Counterexamples to Causal Decision Theory},
  journal = {The Philosophical Review},
  year = {2007},
  volume = {116},
  number = {1},
  pages = {93--114},
  topic = {causal-decision-theory;}
  }

@article{ egan_a:2008a,
  author = {Andy Egan},
  title = {Pretence for the Common Idiom},
  journal = {No\^us},
  year = {2008},
  volume = {42},
  number = {3},
  pages = {381-409},
  topic = {idioms;}
  }

@incollection{ egan_a-etal:2005a,
  author = {Andy Egan and John Hawthorne and Brian Weatherson},
  title = {Epistemic Modals in Context},
  booktitle = {Contextualism in Philosophy: Knowledge, Meaning, and Truth},
  publisher = {Oxford University Press},
  year = {2005},
  editor = {Gerhard Preyer and Georg Peter},
  pages = {131--168},
  address = {Oxford},
  topic = {context;modals;epistemology;nl-semantics;}
  }

@article{ egan_f:1995a,
  author = {Frances Egan},
  title = {Computation and Content},
  journal = {The Philosophical Review},
  year = {1995},
  volume = {104},
  number = {2},
  pages = {181--203},
  topic = {philosophy-of-computation;}
  }

@article{ egan_f:1998a,
  author = {Frances Egan},
  title = {Review of \emph{{R}epresentations, Targets, and Attitudes},
  	by {R}obert {C}ummins},
  journal = {Philosophical Review},
  year = {1998},
  volume = {107},
  number = {1},
  pages = {118--120},
  xref = {Review of cummins_r:1996a.},
  topic = {propositional-attitudes;philosophy-of-mind;
  	foundations-of-semantics;intentionality;
  	foundations-of-cognition;}
  }

@incollection{ egg:1999a,
  author = {Markus Egg},
  title = {Deriving and Resolving Ambiguities in
	{\it wieder} Sentences},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
	of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {109--115},
  address = {Amsterdam},
  topic = {ambiguity;semantic-underspecification;optimality-theory;}
  }

@book{ egg:2006a,
  author = {Markus Egg},
  title = {Flexible Semantics for Reinterpretation Phenomena},
  publisher = {CSLI Publications},
  year = {2006},
  address = {Stanford, California},
  ISBN = {1-57586-502-5},
  xref = {Review: pulman:2007a},
  topic = {metoynymy;pragmatics;coercion;}
 }

@inproceedings{ egg-etal:1998a,
  author = {Markus Egg and Joachim Niehren and Peter Ruhrberg and
		Feiyu Xu},
  title = {Constraints over Lambda-Structures in Semantic
  	Underspecification},
  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 = {353--359},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {semantic-underspecification;}
}

@article{ egg-etal:2001a,
  author = {Markus Egg and Manfred Pinkal and James Pustejovsky},
  title = {Editorial (for a Special Issue on Underspecification)},
  journal = {Journal of Logic, Language, and Information},
   year = {2001},
  volume = {10},
  number = {4},
  pages = {411--416},
  topic = {semantic-underspecification;}
  }

@article{ egg-etal:2001b,
  author = {Markus Egg and Alexander Koller and Joachim Niehren},
  title = {The Constraint Language for Lambda Structures},
  journal = {Journal of Logic, Language, and Information},
  year = {2001},
  volume = {10},
  number = {4},
  pages = {457--485},
  topic = {semantic-underspecification;anaphora;ellipsis;}
  }

@book{ egidi-morris_r2:2008a,
  editor = {Massimo Egidi and Robin Morris},
  title = {Economics, Bounded Rationality, and the Cognitive Revolution},
  publisher = {Edward Elgar Publishing Limited},
  year = {2008},
  isbn = {978-1-84720-896-5},
  address = {Cheltenham},
  rtnote = {In RHT collection.  Cogsci Shelves.},
  topic = {limited-rationality;}
 }

@incollection{ egli_u1:1998a,
  author = {Urs Egli},
  title = {Cuts in Tableaux},
  booktitle = {Automated Deduction: A Basis for Applications.
  	Volume {I}, Foundations: Calculi and Methods},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Wolfgang Bibel and Peter H. Schmidt},
  address = {Dordrecht},
  missinginfo = {pages},
  topic = {theorem-proving;applied-logic;proof-theory;}
  }

@inproceedings{ egli_u1-schmitt_s:1998a,
  author = {Uwe Egli and Stephen Schmitt},
  title = {Intuitionistic Proof Transformations and Their Application to
		Constructive Program Synthesis},
  booktitle = {Artificial Intelligence and Symbolic Computation:
	Proceedings of {AISC'98}},
  year = {1998},
  editor = {Jacques Calmet and Jan Plaza},
  pages = {132--144},
  publisher = {Springer Verlag},
  address = {Berlin},
  topic = {theorem-proving;intuitionistic-logic;}
  }

@incollection{ egli_u2:1979a,
  author = {Urs Egli},
  title = {The {S}toic Concept of Anaphora},
  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 = {284--283},
  topic = {Stoic-philosophy;anaphora;}
  }

@book{ egli_u2:1995a,
  editor = {Urs Egli},
  title = {Lexical Knowledge in the Organization of Language},
  publisher = {John Benjamins Publishing Company},
  year = {1995},
  address = {Amsterdam},
  ISBN = {1556195680},
  rtnote = {Umich Graduate Library, P 326 .L3831 1995.},
  topic = {lexicon;}
 }

@article{ egli_u2-schmitt_s:1999a,
  author = {Uwe Egli and Stephen Schmitt},
  title = {Intuitionistic Proof Transformations, Their Complexity,
  		and Application to Constructive Program Synthesis},
  journal = {Fundamenta Informaticae},
  year = {1999},
  volume = {39},
  number = {1--2},
  pages = {59--83},
  address = {Berlin},
  topic = {theorem-proving;intuitionistic-logic;}
  }

@article{ egre:2005a,
  author = {Paul \'Egr\'e},
  title = {Semantic Bootstrapping of Type-Logical Grammar},
  journal = {Journal of Logic, Language, and Information},
  year = {2005},
  volume = {14},
  number = {1},
  pages = {13--48},
  topic = {provability-logic;syntactic-attitudes;}
  }

@article{ ehrgott:2008a,
  author = {Matthias Ehrgott},
  title = {Multiobjective Optimization},
  journal = {The {AI} Magazine},
  year = {2008},
  volume = {29},
  number = {4},
  pages = {47--57},
  topic = {reasoning-about-preferences;optimization;multiattribute-utility;}
  }

@book{ ehrhard-etal:2004a,
  author = {Thomas Ehrhard and Jean-Yves Girard and Paul Ruet and P. Scott},
  title = {Linear Logic in Computer Science},
  publisher = {Cambridge University Press},
  year = {2004},
  address = {Cambridge, England},
  ISBN = {0521608570},
  xref = {Review: murawski:2006a.},
  rtnote = {Umich Shapiro Science QA 9.54 .L46 2004},
  topic = {linear-logic;logic-and-computer-science;}
 }

@incollection{ ehrig-etal:1992a,
  author = {Hartmut Ehrig},
  title = {Introduction to Graph Grammars with Applications to
  	Semantic Networks},
  booktitle = {Semantic Networks in Artificial Intelligence},
  publisher = {Pergamon Press},
  year = {1992},
  editor = {Fritz Lehmann},
  pages = {557--572},
  address = {Oxford},
  topic = {kr;semantic-networks;kr-course;}
  }

@book{ ehring:1997a,
  author = {Douglas Ehring},
  title = {Causation and Persistence: A Theory of Causation},
  publisher = {Oxford University Press},
  year = {1997},
  address = {Oxford},
  xref = {Review: robb:2003a},
  topic = {causality;metaphysics;}
 }

@book{ ehrlich:1992a,
  author = {Eugene Ehrlich},
  title = {Theory and Problems of Punctuation, Capitalization,
		  and Spelling},
  publisher = {McGraw-Hill},
  year = {1992},
  address = {Hong Kong},
  series = {Schaum's Outline Series},
  edition = {2},
  topic = {spelling;punctuation;}
}

@book{ ehrman:1966a,
  author = {Madeline Ehrman},
  title = {The Meanings of the Modals in Present-day {A}merican
	{E}nglish},
  publisher = {Mouton},
  address = {The Hague},
  year = {1966},
  topic = {nl-modality;nl-modality;modals;}
  }

@book{ eikmeyer-rieser_h:1981a,
  editor = {Hans-J\"urgen Eikmeyer and Hannes Rieser},
  title = {Words, Worlds, and Contexts: New Approaches to Word
  	Semantics},
  publisher = {Walter de Gruyter},
  year = {1981},
  address = {Berlin},
  contentnote = {TC:
     1. Hans-J\"urgen Eikmeyer and Hannes Rieser, "Word
     		Semantics from Different Points of View: An
		Introduction to the Present Volume", pp. 1--18
     2. Max J. Cresswell, "Adverbs of Causation", pp. 21--37
     3. Angelika Kratzer, "The Notional Category of
     		Modality", pp. 38--74
     4. Peter R. Lutzeier, "Words and Worlds", pp. 75--106
     5. Ekkehard K\"onig, "The Meaning of Scalar Particles in
     		{G}erman", pp. 107--132
     6. Hans-J\"urgen Eikmeyer and Hannes Rieser, "Meanings,
     		Intensions, and Stereotypes: A New Approach to
		Linguistic Semantics", pp. 133--150
     7. Michael Grabski, "Quotations as Indexicals and
     		Demonstratives", pp. 151--167
     8. John C. Bigelow, "Truth and Universals", pp. 168--189
     9. Burghard S. Rieger, "Feasible Fuzzy Semantics: On Some Problems
     		of How to Handle Word Meaning Empirically", pp. 193--209
    10. Joachim Ballweg and Helmut Frosh, "Formal Semantics for the
    		Progressive of Stative and Non-Stative
		Verbs", pp. 210--221
    11. Joachim Ballweg, "Simple Present Tense and Progressive
    		Periphrases in German", pp. 222--233
    12. Wolfgang Wildgen, "Archetypal Dynamics in Word Semantics: An
    		Application of Catastrophe Theory", pp. 234--296
    13. Thomas T. Ballmer and Waltraud Brennenstuhl, "An Empirical
    		Approach to Frametheory: Verb Thesausus
		Organization", pp. 297--319
    14. Dieter Mertzing, "Frame Representation and Lexical
    		Semantics", pp. 320--342
    15. Fritz Neubauer and Janos S. Pet\"ofi, "Word Semantics,
    		Lexical Systems, and Text Interpretations", pp. 343--377
    16. Horst Geckeler, "Structural Semantics", pp. 381--413
    17. Thomas T. Ballmer and Waltraud Brennenstuhl, "Lexical
    		Analysis and Language Theory", pp. 414--461
    18. Angelika Ballweg-Schramm, "Some Comments on Lexical Fields
    		and Their Use in Lexicography", pp. 462--468
    19. Manfred Pinkal, "Some Semantic and Pragmatic Properties
    		of {G}erman {\it glauben}", pp. 469--484
    20. Willis J. Edmonson, "Illocutionary Verbs, Illocutionary
    		Acts, and Conversational Behavior", pp. 485--494
    21. Walther Kindt, "Word Semantics and Conversational
    		Analysis", pp. 500--509
  },
  rtnote = {UMich Graduate Library P 325 .W591},
  topic = {nl-semantics;context;lexical-semantics;}
 }

@incollection{ eikmeyer-rieser_h:1981b,
  author = {Hans-J\"urgen Eikmeyer and Hannes Rieser},
  title = {Word Semantics from Different Points of View: An
		Introduction to the Present Volume},
  booktitle = {Words, Worlds, and Contexts: New Approaches to Word
  	Semantics},
  publisher = {Walter de Gruyter},
  year = {1981},
  editor = {Hans-J\"urgen Eikmeyer and Hannes Rieser},
  pages = {1--18},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {lexical-semantics;}
 }

@incollection{ eikmeyer-rieser_h:1981c,
  author = {Hans-J\"urgen Eikmeyer and Hannes Rieser},
  title = {Meanings, Intensions, and Stereotypes: A New Approach to
		Linguistic Semantics},
  booktitle = {Words, Worlds, and Contexts: New Approaches to Word
  	Semantics},
  publisher = {Walter de Gruyter},
  year = {1981},
  editor = {Hans-J\"urgen Eikmeyer and Hannes Rieser},
  pages = {133--150},
  address = {Berlin},
  topic = {vagueness;context;dynamic-semantics;compositionality;
  	foundations-of-semantics;}
 }

@incollection{ eikmeyer-rieser_h:1983a,
  author = {Hans-J\"urgen Eikmeyer and Hannes Rieser},
  title = {A Formal Theory of Context Dependence and Context Change},
  booktitle = {Approaching Vagueness},
  publisher = {North-Holland},
  year = {1983},
  editor = {Thomas T. Ballmer and Manfred Pinkal},
  pages = {131--188},
  address = {Amsterdam},
  topic = {vagueness;context;}
  }

@incollection{ eikmeyer-rieser_h:1983b,
  author = {Hans-J\"urgen Eikmeyer and Hannes Rieser},
  title = {A Nominalistic Approach to Ambiguity and Vagueness Considered		from a Mildly {P}latonistic Point of View},
  booktitle = {Approaching Vagueness},
  publisher = {North-Holland},
  year = {1983},
  editor = {Thomas T. Ballmer and Manfred Pinkal},
  pages = {393--422},
  address = {Amsterdam},
  contentnote = {This is based on the approach of scheffler:1982a.},
  topic = {vagueness;}
  }

@book{ eilan-etal:1993a,
  editor = {N. Eilan and R. McCarthy and  M. W. Brewer},
  title = {Spatial Representation:  Problems in Philosophy
		and Psychology},
  publisher = {Oxford University Press},
  year = {1993},
  address = {Oxford},
  topic = {spatial-representation;}
 }

@article{ eisenhart:1989a,
  author = {K. Eisenhart},
  title = {Agency Theory: An Assessment and Review},
  journal = {Academy of Management Review},
  year = {1989},
  volume = {14},
  number = {1},
  pages = {57--74},
  missinginfo = {A's 1st name.},
  topic = {agent-modeling;autonomous-agents;}
  }

@book{ eiser:1984a,
  editor = {J. Richard Eiser},
  title = {Attitudinal Judgment},
  publisher = {Springer-Verlag},
  year = {1984},
  address = {Berlin},
  ISBN = {0387909117},
  rtnote = {UMich Graduate Library, BF323.C5 A841 1984.},
  topic = {social-psychology;attitudes-in-psychology;}
 }

@book{ eiser:1986a,
  author = {J. Richard Eiser},
  title = {Social Psychology: Attitude, Cognition, and Social Behavior},
  publisher = {Cambridge University Press},
  year = {1986},
  address = {Cambridge, England},
  ISBN = {0521326788},
  rtnote = {UMich Graduate Library, HM251 .E42921 1986.},
  topic = {social-psychology;cognitive-psychology;attitudes-in-psychology;}
 }

@article{ eisinger-etal:1991a,
  author = {Norbert Eisinger and Hans J\"urgen Ohlbach and Axel Pr\"acklein},
  title = {Reduction Rules For Resolution-Based Systems},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {50},
  number = {2},
  pages = {141--181},
  acontentnote = {Abstract:
     Inference rules for resolution-based systems can be classified
     into deduction rules, which add new objects, and reduction
     rules, which remove objects. Traditional reduction rules like
     subsumption do not actively contribute to a solution, but they
     help to avoid redundancies in the search space. We present a
     number of advanced reduction rules, which can cope with high
     degrees of redundancy and play a distinctly active part because
     they find trivial solutions on their own and thus relieve the
     control component for the deduction rules from low level tasks.
     We describe how these reduction rules can be implemented with
     reasonable efficiency in a clause graph resolution system, but
     they are not restricted to this particular representation. },
  topic = {theorem-proving;resolution;redundancy-elimination;}
  }

@incollection{ eisinger-olbach:1993a,
  author = {Norbert Eisinger and Hans J\"urgen Olbach},
  title = {Deduction Systems Based on Resolution},
  booktitle = {The Handbook of Logic in Artificial Intelligence and
  	Logic Programming, Volume 1: Deductive
		 Methodologies},
    editor = {Dov Gabbay and Christopher Hogger and  J.A. Robinson},
  publisher = {Oxford University Press},
  pages = {184--273},
  address = {Oxford},
  year = {1993},
  missinginfo = {ed's 1st name},
  topic = {kr;logic-in-AI-survey;theorem-proving;resolution
  	;kr-course;}
}

@inproceedings{ eisner:1996a,
  author = {Jason Eisner},
  title = {Efficient Normal-Form Parsing for Combinatory Categorial
  	Grammar},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {79--86},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {parsing-algorithms;categorial-grammar;}
 }

@inproceedings{ eisner:1997a,
  author = {Jason Eisner},
  title = {Eficient Generation in Primitive Optimality Theory},
  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 = {313--320},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {computational-phonology;optimality-theory;}
 }

@article{ eisner:2000a,
  author = {Jason Eisner},
  title = {Review of \emph{{O}ptimality Theory}, by Ren\'e {K}ager},
  journal = {Computational Linguistics},
  year = {2000},
  volume = {26},
  number = {2},
  pages = {286--290},
  xref = {Review of: kager:1999a.},
  topic = {optimality-theory;}
  }

@incollection{ eisner:2002a,
  author = {Jason Eisner},
  title = {An Interactive Spreadsheet for Teaching the
     		Forward-Backward Algorithm},
  booktitle = {Effective Tools and Methodologies for Teaching
  	{NLP} and {CL}},
  publisher = {Association for Computational Linguistics},
  year = {2002},
  editor = {Dragomir Radev and Chris Brew},
  pages = {9--17},
  address = {New Brunswick, New Jersey},
  topic = {nlp-pedagogy;}
  }

@inproceedings{ eiter:1999a,
  author = {Thomas Eiter},
  title = {Using the {DLV} System for {AI} Applications (Abstract)},
  booktitle = {Workshop on Logic-Based Artificial Intelligence,
	       Washington, DC, June 14--16, 1999},
  year = {1999},
  editor = {Jack Minker},
  publisher = {Computer Science Department, University of Maryland},
  address = {College Park, Maryland},
  topic = {disjunctive-logic-programming;nonmonotonic-reasoning;}
  }

@inproceedings{ eiter:2002a,
  author = {Thomas Eiter},
  title = {On Computing All Abductive Explanations},
  booktitle = {Proceedings of the Eighteenth National Conference on
              Artificial Intelligence},
  year = {2002},
  editor = {Rina Dechter and Michael Kearns and Richard S. Sutton},
  pages = {62--67},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {abduction;complexity-in-AI;Horn-clause-abduction;}
  }

@article{ eiter-etal:1997a,
  author = {Thomas Eiter and Georg Gottlob and Nicola Leone},
  title = {Semantics and Complexity of Abduction from Default
  	Theories},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {90},
  number = {1--2},
  pages = {177--233},
  topic = {abduction;nonmonotonic-reasoning;}
  }

@incollection{ eiter-etal:1998a,
  author = {Thomas Eiter and Nicola Leone and Cristinel Mateis
		and Gerald Pfeifer and Francesco Scarcello},
  title = {The {KR} System {\tt dlv}: Progress Report, Comparisons
		and Benchmarks},
  booktitle = {{KR}'98: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1998},
  editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C.
		Shapiro},
  pages = {406--417},
  address = {San Francisco, California},
  topic = {kr;disjunctive-logic-programming;kr-course;}
  }

@article{ eiter-etal:1999a,
  author = {Thomas Eiter and V.S. Subrahmanian and George Pick},
  title = {Heterogeneous Active Agents, {I}: Semantics},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {108},
  number = {1--2},
  pages = {179--255},
  topic = {agent-architectures;agent-oriented-programming;}
  }

@inproceedings{ eiter-etal:1999b,
  author = {Thomas Eiter and W. Faber and G. Gottlob and C. Koch
  		and C. Mateis and Nicola Leone and G. Pfeifer and
		F. Scarcello},
  title = {The {DLV} System},
  booktitle = {Workshop on Logic-Based Artificial Intelligence,
	       Washington, DC, June 14--16, 1999},
  year = {1999},
  editor = {Jack Minker},
  publisher = {Computer Science Department, University of Maryland},
  address = {College Park, Maryland},
  topic = {disjunctive-logic-programming;}
  }

@article{ eiter-etal:1999c,
  author = {Thomas Eiter and Toshehide Ibaraki and Kazuhisa Makino},
  title = {Computing Intersections of {H}orn Theories for
  		Reasoning with Models},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {110},
  number = {1},
  pages = {57--101},
  topic = {model-checking;}
  }

@article{ eiter-etal:2000a,
  author = {Thomas Eiter and V.S. Subrahmanian and T.J. Rogers},
  title = {Heterogeneous Active Agents, {III}: Polynomially
  	Implementable Agents},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {117},
  number = {1},
  pages = {107--167},
  acontentnote = {Abstract:
     In ``Heterogeneous active agents, I'' (Eiter et al., 1999), two of
     the authors have introduced techniques to build agents on top of
     arbitrary data structures, and to ``agentize'' new/existing
     programs.  They provided a series of successively more
     sophisticated semantics for such agent systems, and showed that
     as these semantics become epistemically more desirable, a
     computational price may need to be paid.  In this paper, we
     identify a class of agents that are called weakly
     regular---this is done by first identifying a fragment of agent
     programs (Eiter et al., 1999) called weakly regular agent
     programs (WRAPs for short).  It is shown that WRAPs are definable
     via three parameters---checking for a property called ``safety'',
     checking for a property called ``conflict-freedom'' and checking
     for a ``deontic stratifiability'' property.  Algorithms for each of
     these are developed. A weakly regular agent is then defined in
     terms of these concepts, and a regular agent is one that
     satisfies an additional boundedness property.  We then describe a
     polynomial algorithm that computes (under suitable assumptions)
     the reasonable status set semantics of regular agents---this
     semantics was identified by Eiter et al.  (1999) as being
     epistemically most desirable. Though this semantics is
     coNP-complete for arbitrary agent programs (Eiter and
     Subrahmanian, 1999), it is polynomially computable via our
     algorithm for regular agents.  Finally, we describe our
     implementation architecture and provide details of how we have
     implemented RAPs, together with experimental results.},
  topic = {deontic-logic;software-agents;kr;}
  }

@incollection{ eiter-etal:2000b,
  author = {Thomas Eiter and Wolfgang Faber and Nicola Leone and
     	Gerald Pfeifer},
  title = {Declarative Problem-Solving in {DLV}},
  booktitle = {Logic-Based Artificial Intelligence},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Jack Minker},
  pages = {79--103},
  address = {Dordrecht},
  topic = {logic-in-AI;kr;disjunctive-logic-programming;
  	problem-solving-architectures;}
  }

@incollection{ eiter-etal:2002a,
  author = {Thomas Eiter and Michael Fink and Giuliana Sabbatini and
  	Hans Tompits},
  title = {A Generic Approach to Knowledge-Based Information-Site
  	Selection},
  booktitle = {{KR2002}: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {2002},
  editor = {Dieter Fensel and Fausto Giunchiglia and Deborah
  	L. McGuinness and Mary-Anne Williams},
  pages = {459--469},
  address = {San Francisco, California},
  topic = {kr;AI-and-the-internet;}
  }

@article{ eiter-etal:2003a,
  author = {Thomas Eiter and Wolfgang Faber and Nicola Leone and
  		Gerald Pfeifer and Axel Polleres},
  title = {A Logic-Programming Approach to Knowledge-State Planning
  		{II}:  The {\sc dlv}$^{\cal K}$ System},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {144},
  number = {2},
  pages = {157--211},
  topic = {disjunctive-logic-programming;planning-algorithms;}
  }

@incollection{ eiter-etal:2004a,
  author = {Thomas Eiter and Thomas Lukasiewicz and Roman Schindlauer
  		and Hans Tompits},
  title = {Combining Answer Set Programming with Description Logics
  		for the Semantic Web},
  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 = {141--151},
  address = {Menlo Park, California},
  topic = {semantic-web;answer-sets;logic-programming;description-logics;}
  }

@incollection{ eiter-etal:2006a,
  author = {Thomas Eiter and Michael Fink and Hans Tompits and Patrick
    		Traxler and Stefan Woltran},
  title = {Replacements in Non-Ground Answer-Set Programming},
  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 = {340--350},
  address = {Menlo Park, California},
  topic = {answer-sets;complexity-in-AI;}
  }

@article{ eiter-etal:2008a,
  author = {Thomas Eiter and Giovambattista Ianni and Thomas
  		Lukasiewicz and Roman Schindlauer and Hans Tompits},
  title = {Combining Answer Set Programming with Description Logics
  		for the Semantic Web},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {12--13},
  pages = {1495--1539},
  topic = {default-logic;description-logics;answer-sets;semantic-web;}
  }

@article{ eiter-gottlob_g:1992a,
  author = {Thomas Eiter and Georg Gottlob},
  title = {On the Complexity of Propositional Knowledge Base Revision,
  	Updates, and Counterfactuals},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {57},
  number = {2--3},
  pages = {227--270},
  topic = {kr;belief-revision;kr-complexity-analysis;kr-course;}
  }

@inproceedings{ eiter-gottlob_g:1993a,
  author = {Thomas Eiter and Georg Gottlob},
  title = {The Complexity of Nested Counterfactuals and Iterated
  	 Knowledge Base Revision},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {526--531},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  rtnote = {In RHT collection.},
  topic = {conditionals;belief-revision;kr-complexity-analysis;}
  }

@inproceedings{ eiter-gottlob_g:1995a,
  author = {Thomas Eiter and George Gottlob},
  title = {Semantics and Complexity of Abduction From Default Theories},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {870--877},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  xref = {Journal Publication:  eiter-etal:1997a.},
  topic = {abduction;}
  }

@article{ eiter-gottlob_g:1998a,
  author = {Thomas Eiter and Georg Gottlob},
  title = {On the Expressiveness of Frame Satisfiability and
  	Fragments of Second-Order Logic},
  journal = {Journal of Symbolic Logic},
  year = {1998},
  volume = {63},
  number = {1},
  pages = {73--82},
  topic = {higher-order-logic;}
  }

@inproceedings{ eiter-lukasiewicz_t:2000a1,
  author = {Thomas Eiter and Thomas Lukasiewicz},
  title = {Complexity Results for Default Reasoning from Conditional
  	Knowledge Bases},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {62--73},
  xref = {Journal version: eiter-lukasiewicz_t:2000a1.},
  topic = {complexity-in-AI;nonmonotonic-logic;}
  }

@article{ eiter-lukasiewicz_t:2000a2,
  author = {Thomas Eiter and Thomas Lukasiewicz},
  title = {Complexity Results for Default Reasoning from Conditional
  	Knowledge Bases},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {124},
  number = {2},
  pages = {169--241},
  xref = {Conference version: eiter-lukasiewicz_t:2000a1.},
  topic = {complexity-in-AI;nonmonotonic-logic;}
  }

@incollection{ eiter-lukasiewicz_t:2002a,
  author = {Thomas Eiter and Thomas Lukasiewicz},
  title = {Complexity Results for Explanations in the Structural-Model
  	Approach},
  booktitle = {{KR2002}: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {2002},
  editor = {Dieter Fensel and Fausto Giunchiglia and Deborah
  	L. McGuinness and Mary-Anne Williams},
  pages = {49--60},
  address = {San Francisco, California},
  topic = {kr;complexity-in-AI;causal-explanations;}
  }

@article{ eiter-lukasiewicz_t:2002b,
  author = {Thomas Eiter and Thomas Lukasiewicz},
  title = {Complexity Results for Structure-Based Causality},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {142},
  number = {1},
  pages = {53--89},
  topic = {Bayesian-networks;causality;complexity-in-AI;}
  }

@article{ eiter-lukasiewicz_t:2004a,
  author = {Thomas Eiter and Thomas Lukasiewicz},
  title = {Complexity Results for Explanations in the Structural-Model
  	Approach},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {154},
  number = {1--2},
  pages = {145--198},
  topic = {structural-models;complexity-in-AI;}
  }

@article{ eiter-lukasiewicz_t:2006a,
  author = {Thomas Eiter and Thomas Lukasiewicz},
  title = {Causes and Explanations in the Structural-Model Approach:
  		Tractable Cases},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {6--7},
  pages = {542--580},
  topic = {structural-models;causality;explanation;}
  }

@article{ eiter-subrahmanian_vs:1999a,
  author = {Thomas Eiter and V.S. Subrahmanian},
  title = {Heterogeneous Active Agents, {II}: Algorithms
  	and Complexity},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {108},
  number = {1--2},
  pages = {257--307},
  topic = {agent-architectures;agent-oriented-programming;
  	complexity-in-AI;}
  }

@article{ eiter-wang_kw:2008a,
  author = {Thomas Eiter and Kewen Wang},
  title = {Semantic Forgetting in Answer Set Programming},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {14},
  pages = {1644--1672},
  topic = {answer-sets;}
  }

@inproceedings{ ekbia-maguitman:2001a,
  author = {Hamid R. Ekbia and Ana G. Maguitman},
  title = {Context and Relevance: A Pragmatic Approach},
  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 = {156--169},
  address = {Berlin},
  topic = {context;relevance;}
  }

@article{ eklund_m:1996a,
  author = {Matti Eklund},
  title = {On How Logic Became First-Order},
  journal = {Nordic Journal of Philosophical Logic},
  year = {1996},
  volume = {1},
  number = {2},
  pages = {147--167},
  rtnote = {In RHT collection.},
  topic = {history-of-logic;lowenheim-skolem-theorem;}
  }

@article{ eklund_m:2002a,
  author = {Matti Eklund},
  title = {Deep Inconsistency},
  journal = {Australasian Journal of Philosophy},
  year = {2002},
  volume = {80},
  number = {3},
  pages = {321--321},
  rtnote = {In RHT collection.},
  topic = {semantic-paradoxes;paraconsistency;}
  }

@article{ eklund_m:2002b,
  author = {Matti Eklund},
  title = {Inconsistenct Languages},
  journal = {Philosophy and Phenomenological Research},
  year = {2002},
  volume = {64},
  number = {2},
  pages = {251--275},
  rtnote = {In RHT collection.},
  topic = {semantic-paradoxes;sorites-paradox;paraconsistency;}
  }

@unpublished{ eklund_m:2003a,
  author = {Matti Eklund},
  title = {Vagueness as Second-Order Inteterminacy},
  year = {2003},
  note = {Unpublished manuscript, University of Colorado at Boulder},
  rtnote = {In RHT collection.},
  topic = {vagueness;}
  }

@article{ eklund_m:2004a,
  author = {Matti Eklund},
  title = {Review of \emph{{S}aving the Differences: Essays on Themes
  		from Truth and Objectivity}, by {C}rispin {W}right},
  journal = {The Philosophical Review},
  year = {2004},
  volume = {113},
  number = {2},
  pages = {288--291},
  xref = {Review of: wright_c:2003a.},
  topic = {philosophical-realism;truth;}
  }

@unpublished{ eklund_m:2005a,
  author = {Matti Eklund},
  title = {The Deflationary Conception of Ontology},
  year = {2005},
  note = {Unpublished manuscript, University of Colorado},
  rtnote = {In RHT collection.},
  topic = {philosophical-ontology;}
  }

@incollection{ eklund_m:2006a,
  author = {Matti Eklund},
  title = {Neo-{F}regean Ontology},
  booktitle = {Metaphysics},
  publisher = {Blackwell Publishers},
  year = {2006},
  editor = {John Hawthorne},
  pages = {95--121},
  address = {Oxford},
  topic = {philosophical-ontology;philosophy-of-mathematics;
  		philosophical-realism;}
  }

@book{ eklund_p:1991a,
  author = {Peter Eklund},
  title = {An Epistemic Approach to Interactive Design in Multiple
  	Inheritance Hierarchies},
  publisher = {Link\"oping University, Dept. of Computer and Information
                   Science},
  year = {1991},
  address = {Link\"oping},
  acontentnote = {Abstract:
        The thesis explores the advantages of a marriage
	between a 'mixed dialogue' interaction metaphor and belief
	logics and in particular how the two can be used for
	multiple inheritance hierarchy design.  The result is a
	design aid which produces critiques of multiple inheritance
	hierarchies in terms of their logical consequences. The
	work draws on a number of theoretical issues in artificial
	intelligence, namely belief logics and multiple inheritance
	reasoning, applying 'belief sets' to dialogue and using
	multiple inheritance hierarchy design as a specific
	application. The work identifies three design modes for the
	interface which reflect the intuitions of multiple
	inheritance hierarchy design and conform to an existing
	user modeling framework. A major survey of multiple
	inheritance hierarchies leads to the allocation of a
	precise inheritance semantics for each of these design
	modes. The semantics enable a definitionof [sic] entailment
	in each, and are in turn used to determine the translation
	from inheritance networks to belief sets. The formal
	properties of belief sets imply that when an ambiguous
	inheritance network is encountered more than than [sic] one
	belief set must be created. Each belief set provides an
	alternative interpretation of the logical consequences of
	the inheritance heirarchy [sic]. A 'situations matrix'
	provides the basic referent data structure for the system
	we describe. Detailed examples of multiple inheritance
	construction demonstrate that a significant design aid
	results from an explicit representation of operator beliefs
	and their internalization using an epistemic logic.},
  topic = {inheritance-theory;}
 }

@incollection{ ekman_p:1979a,
  author = {Paul Ekman},
  title = {About Brows: Emotional and Conversational Signals},
  editor = {M. von Cranach and K. Foppa and W. Lepenies and D.
	Ploog},
  booktitle = {Human Ethology: Claims and Limits of a New
  	Discipline: Contributions to the Colloquium},
  publisher = {Cambridge University Press},
  address = {Cambridge},
  year = {1979},
  pages = {169--202},
  topic = {emotion;facial-expression;}
  }

@book{ ekman_p:1982a,
  editor = {Paul Ekman},
  title = {Emotion in the Human Face},
  publisher = {Cambridge University Press},
  year = {1982},
  address = {Cambridge},
  ISBN = {0521239923},
  rtnote = {UMich Graduate Library, BF561 .E36 1982.},
  topic = {emotion;facial-expression;}
 }

@book{ ekman_p:1985a,
  author = {Paul Ekman},
  title = {Telling Lies: Clues to Deceit in the Marketplace, Politics, and
    Marriage},
  publisher = {Norton},
  year = {1985},
  address = {New York},
  ISBN = {0393018830},
  rtnote = {UMich Graduate Library, BF637.T77 E381 1985.},
  topic = {deception;}
 }

@article{ ekman_p:1990a,
  author = {Paul Ekman and Richard J. Davidson and Wallace V.
	Friesen},
  title = {The Duchenne Smile: Emotional Expression and Brain
	Physiology {II}},
  journal = {Journal of Personality and Social Psychology},
  volume = {58},
  number = {2},
  pages = {342--353},
  year = {1990},
  topic = {emotion;facial-expression;}
  }

@article{ ekman_p:1992a,
  author = {Paul Ekman},
  title = {An Argument for Basic Emotions},
  journal = {Cognition and Emotion},
  volume = {6},
  number = {3/4},
  pages = {169--200},
  year = {1992},
  topic = {emotion;cognitive-psychology;}
  }

@book{ ekman_p:1997a,
  author = {Paul Ekman},
  title =  {What the Face Reveals: Basic and Applied Studies of Spontaneous
    Expression Using the Facial Action Coding System ({FACS})},
  publisher = {Oxford University Press},
  year = {1997},
  address = {Oxford},
  ISBN = {0195104463},
  rtnote = {UMich Undergraduate, Bf 592 .F33 W431 1997.},
  topic = {facial-expression;}
 }

@book{ ekman_p-etal:1985a,
  author = {Paul Ekman and Wallace V. Friesen and Phoebe Ellsworth},
  title = {Emotion in the Human Face: Guide-Lines for Research and an
     Integration of Findings},
  publisher = {Pergamon Press},
  year = {1972},
  address = {New York},
  ISBN = {0080166431},
  rtnote = {UMich Graduate Library BF561 .E36},
  topic = {emotion;facial-expression;}
 }

@article{ ekman_p-friesen:1969a,
  author = {Paul Ekman and Wallace V. Friesen},
  title = {The Repertoire of Nonverbal Behavior: Categories,
	Origins, Usage, and Coding},
  journal = {Semiotica},
  volume = {1},
  number = {1},
  pages = {49--98},
  year = {1969},
  topic = {nonverbal-behavior;cognitive-psychology;}
  }

@book{ ekman_p-friesen:1975a,
  author = {Paul Ekman and Wallace V. Friesen},
  title = {Unmasking the Face: A Guide To Recognizing Emotions From Facial
    Clues},
  publisher = {Prentice-Hall},
  year = {1975},
  address = {Englewood Cliffs, New Jersey},
  ISBN = {013938183X},
  rtnote = {UMich Graduate Library BF637.C45 E37},
  topic = {emotion;facial-expression;}
 }

@book{ ekman_p-friesen:1978a,
  author = {Paul Ekman and Wallace V. Friesen},
  title = {Facial Action Coding System},
  publisher = {Consulting Psychologists Press},
  address = {Palo Alto, CA},
  year = {1978},
  topic = {facial-expression;}
  }

@article{ ekman_p-friesen:1982a,
  author = {Paul Ekman and Wallace V. Friesen},
  title = {Felt, False, and Miserable Smiles},
  journal = {Journal of Nonverbal Behavior},
  volume = {6},
  number = {4},
  pages = {238--252},
  year = {1982},
  topic = {facial-expression;emotion;}
  }

@inproceedings{ elborne:2001a,
  author = {Paul Elborne},
  title = {When is Situation Semantics Allowed?},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XI}},
  publisher = {Cornell University},
  year = {2001},
  editor = {Rachel Hastings and Brendan Jackson and Zsofia Zvolenszky},
  pages = {152--171},
  address = {Ithaca, New York},
  topic = {situation-semantics;nl-semantics;nl-quantifiers;}
  }

@article{ elbourne:2001a,
  author = {Paul Elbourne},
  title = {E-Type Anaphora as {NP}-Deletion},
  journal = {Natural Language Semantics},
  year = {2001},
  volume = {9},
  number = {3},
  pages = {241--288},
  topic = {donkey-anaphora;}
  }

@article{ elbourne:2008a,
  author = {Paul Elbourne},
  title = {Demonstratives as Individual Concepts},
  journal = {Linguistics and Philosophy},
  year = {2008},
  volume = {31},
  number = {4},
  pages = {409--466},
  topic = {demonstratives;individual-concepts;}
  }

@incollection{ elbourne:2008b,
  author = {Paul Elbourne},
  title = {The Argument from Binding},
  booktitle = {Philosophical Perspectives 22, 2008: Philosophy of
  		Language},
  publisher = {Blackwell Publishers},
  year = {2008},
  editor = {John Hawthorne},
  pages = {89--110},
  address = {Oxford},
  topic = {context;nl-semantics;LF;context-sensitivity;
  	nl-quantifiers;}
  }

@article{ elbourne:2010a,
  author = {Paul Elbourne},
  title = {On Bishop Sentences},
  journal = {Natural Language Semantics},
  year = {2010},
  volume = {18},
  number = {1},
  pages = {65--78},
  topic = {donkey-anaphora;situation-semantics;}
  }

@book{ elcock-michie:1977a,
  editor = {W.E. Elcock and Donald Michie},
  title = {Machine Intelligence 8},
  publisher = {Ellis Horwood},
  year = {1977},
  address = {Chichester},
  ISBN = {085224195X},
  topic = {AI-survey;}
 }

@article{ elga:2000a,
  author = {Adam Elga},
  title = {Self-Locating Belief and the Sleeping Beauty Problem},
  journal = {Analysis},
  year = {2000},
  volume = {60},
  number = {2},
  pages = {143--147},
  rtnote = {In RHT collection.},
  topic = {sleeping-beauty-problem;}
  }

@article{ elgardo-stainton_rj:2002a,
  author = {Reinaldo Elgardo and Robert J. Stainton},
  title = {Review of \emph{{U}nshadowed Thought: Representations in
  	Thought and Language}, by {C}harles {T}ravis},
  journal = {The Philosophical Review},
  year = {2002},
  volume = {111},
  number = {3},
  pages = {470--473},
  xref = {Review of: travis:2000a},
  topic = {truth;representation;foundations-of-semantics;}
  }

@techreport{ elgotdrapkin:1988a,
  author = {Jennifer Elgot-Drapkin},
  title = {Step-Logic: Reasoning Situated in Time},
  institution = {Department of Computer Science, University of Maryland},
  number = {CS-TR-2156},
  year = {1988},
  address = {College Park, Maryland},
  rtnote = {In RHT collection.},
  topic = {temporal-reasoning;}
  }

@techreport{ elgotdrapkin:1988b,
  author = {Jennifer Elgot-Drapkin},
  title = {Reasoning Situated in Time: Basic Concepts},
  institution = {Department of Computer Science, University of Maryland},
  number = {CS-TR-2016},
  year = {1988},
  address = {College Park, Maryland},
  rtnote = {In RHT collection.},
  topic = {temporal-reasoning;}
  }

@inproceedings{ elgotdrapkin:1991a,
  author = {Jennifer Elgot-Drapkin},
  title = {Step-Logic and the Three-Wise-Men Problem},
  booktitle = {Proceedings of the Ninth National Conference on
              Artificial Intelligence},
  year = {1991},
  editor = {Thomas Dean and Kathleen McKeown},
  pages = {412--417},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {epistemic-logic;}
  }

@incollection{ elgotdrapkin-etal:1991a,
  author = {Jennifer Elgot-Drapkin and Michael Miller and and Donald
		Perlis},
  title = {Memory, Reason, and Time: the Step-Logic Approach},
  booktitle = {Philosophy and {AI}: Essays at the Interface},
  publisher = {The {MIT} Press},
  year = {1991},
  editor = {Robert Cummins and John L. Pollock},
  pages = {79--103},
  address = {Cambridge, Massachusetts},
  topic = {temporal-reasoning;reasoning-in-time;}
  }

@unpublished{ elgotdrapkin-etal:1996a,
  author = {Jennifer Elgot-Drapkin and Sarit Kraus and Michael Miller
  	and Madhura Nirke and Donald Perlis},
  title = {Active Logics: A Unified Formal Approach to Episodic
  	Reasoning},
  year = {1996},
  rtnote = {In RHT collection, under "Perlis".},
  note = {Unpublished manuscript, Computer Science Department,
  	University of Maryland.},
  topic = {common-sense-reasoning;foundations-of-AI;active-logic;}
  }

@unpublished{ elgotdrapkin-perlis:1988a,
  author = {Jennifer Elgot-Drapkin and Donald Perlis},
  title = {Reasoning Situated in Time},
  year = {1988},
  note = {Unpublished manuscript, Department of Computer Science,
  	University of Maryland},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a guess.},
  topic = {temporal-reasoning;reasoning-in-time;}
  }

@phdthesis{ elhadad:1992a,
  author = {Michael Elhadad},
  title = {Using Argumentation to Control Lexical Choice: A Functional
		  Unification Implementation},
  school = {Computer Science Department, Columbia University},
  year = {1992},
  topic = {lexical-choice;nl-generation;}
}

@article{ elhadad-etal:1997a,
  author = {Michael Elhadad and Kathy McKeown and Jacques Robin},
  title = {Floating Constraints in Lexical Choice},
  journal = {Computational Linguistics},
  year = {1997},
  volume = {23},
  number = {2},
  pages = {195--239},
  contentnote = {Discusses how to use FUF/SURGE to do lexical choice.},
  topic = {lexical-choice;nl-generation;unification-grammars;}
  }

@incollection{ elhadad-robin:1992a,
  author = {Michael Elhadad and Jacques Robin},
  title = {Controlling Content Realization with Functional
  	Unification Grammars},
  booktitle = {Aspects of Automated Natural Language Generation: 6th
    International Workshop on Natural Language Generation, {T}rento,
    {I}taly, April 5--7, 1992},
  publisher = {Springer-Verlag},
  year = {1992},
  editor = {Robert Dale and Eduard Hovy and Dietmar R\"ossner and
  	Oliviero Stock},
  pages = {89--104},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {nl-generation;lexical-choice;functional-unification-grammar;}
  }

@techreport{ elhalad:1991a,
  author = {Michael Elhadad},
  year = {1991},
  title = {{FUF}: the Universal Unifier User Manual Version 5.0},
  institution = {Columbia University},
  number = {CUCS-038-91},
  topic = {nl-generation;nl-realization;unification-of-FSs;}
}

@techreport{ elhalad:1993a,
  author = {Michael Elhadad},
  year = {1993},
  title = {{FUF}: the Universal Unifier User Manual Version 5.2},
  institution = {Ben Gurion University of the Negev},
  note = {Available at
  	http://www.cs.bgu.ac.il/research/projects/surge/index.html},
  topic = {nl-generation;nl-realization;unification-of-FSs;}
}

@techreport{ elhalad:1993b,
  author = {Michael Elhadad and Jacques Robin},
  year = {1993},
  title = {An Overview of {SURGE}: A Reusable Comprehensive Syntactic
  	Realization Component},
  institution = {Ben Gurion University of the Negev},
  note = {Available at
  	http://www.cs.bgu.ac.il/research/projects/surge/index.html},
  topic = {nl-generation;nl-realization;unification-of-FSs;}
}

@article{ eliasmith:2003a,
  author = {Chris Eliasmith},
  title = {Moving Beyond Metaphors: Understanding the Mind for
  	What It Is},
  journal = {The Journal of Philosophy},
  year = {2003},
  volume = {100},
  number = {10},
  pages = {493--520},
  topic = {philosophy-of-mind;connectionist-models;}
  }

@book{ elio:2002a,
  editor = {Ren\'ee Elio},
  booktitle = {Common Sense, Reasoning, and Rationality},
  publisher = {Oxford University Press},
  year = {2002},
  address = {Oxford},
  ISBN-13 = {978-0-19-514766-7},
  xref = {Review: },
  contentnote = {TC:
    1.  Ren\'ee Elio, "Issues in Commonsense Reasoning and
    	  Rationality", pp. 3--36
    2.  Stuart Russell, "Rationality and Intelligence", pp. 37--59
    3.  John L. Pollock, "The Logical Foundations of Means-End
        Reasoning", pp. 60--77
    4.  Jenry E. Kyburg, Jr., "Induction and Consistency", pp. 78--92
    5.  Gilbert Harman, "The Logic of Ordinary Language", pp. 93--103
    6.  Paul Thagard and Chris Eliasmith and Paul Rusnock and Cameron
          Shelley, "Knowledge and Coherence", pp. 104--131
    7.  Denise Dellarosa Cummins, "The Evolutionary Roots of
          Intelligence and Rationality", pp. 132--147
    8.  Gerd Gigerenzer and Jean Czerlinski and Laura Martignon, "How
          Good Are Fast and Frugal Heuristics?", pp. 148--173
    9.  Mike Oaksford and Nick Chater, "Commonsense Reasoning, Logic,
          and Human Rationality", pp. 174--214
    10. Lance J. Rips, "Reasoning Imperialism", pp. 215--235
    11. Richard Samuels and Steven Stich and Michael Bishop, "Ending
          the Rationality Wars How to Make Disputes about Human
          Rationality Disappear", pp. 236--268
      },
  topic = {rational-action;}
 }

@incollection{ elio:2002b,
  author = {Ren\'ee Elio},
  title = {Issues in Commonsense Reasoning and
    	  Rationality},
  booktitle = {Common Sense, Reasoning, and Rationality},
  publisher = {Oxford University Press},
  year = {2002},
  editor = {Ren\'ee Elio},
  pages = {3--36},
  address = {Oxford},
  abstract = { This chapter begins by discussing the issue of
    normative standards, in particular the role human performance
    plays in specifying these standards for common sense and
    rationality.  It then discusses commonsense knowledge and
    commonsense reasoning, and rationality. An overview of the
    subsequent chapters is presented.  },
  topic = {common-sense-reasoning;rational-action;}
  }

@unpublished{ elio-pelletier:1995a,
  author = {Ren\'ee Elio and Francis Jeffry Pelletier},
  title = {A Study of Belief Update Theories},
  year = {1995},
  note = {Unpublished manuscript, Univesity of Alberta.},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a guess.},
  topic = {belief-revision;}
  }

@book{ elithorn-jones_d:1973a,
  editor = {Alick Elithorn and David Jones},
  title = {Artificial and Human Thinking},
  publisher = {Jossey-Bass},
  year = {1973},
  address = {San Francisco},
  ISBN = {087589156X},
  rtnote = {UMich Graduate Library BF455 N1

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib