text:
title = {The Ex Ante Non-Optimality of the {D}empster-{S}chafer
  	Updating Rule for Ambiguous Beliefs},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fourth Conference ({TARK} 1992)},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Yoram Moses},
  pages = {163--166},
  address = {San Francisco},
  note = {A commentary on \cite{gilboa-schmeidler:1992a}.},
  topic = {probability-kinematics;}
  }

@article{ dowden:1984a,
  author = {Bradley H. Dowden},
  title = {Accepting Inconsistencies from Paradoxes},
  journal = {Journal of Philosophical Logic},
  year = {1984},
  volume = {13},
  number = {2},
  pages = {125--130},
  topic = {paraconsistency;semantic-paradoxes;}
  }

@incollection{ dowding-etal:2003a,
  author = {John Dowding and Gregory Aist and Beth Ann Hockey and
     		Elizabeth Owen Bratt},
  title = {Generating Canonical Examples Using Candidate Words},
  booktitle = {Working Papers of the 2003 {AAAI} Spring Symposium on
  	Natural Language Generation in Spoken and Written
	Dialogue},
  publisher = {AAAI Press},
  year = {2003},
  editor = {Reva Freedman and Charles Callaway},
  pages = {23--27},
  address = {Menlo Park, California},
  topic = {nl-generation;}
  }

@article{ dowe:1998a,
  author = {Phil Dowe},
  title = {Review of \emph{{T}he Facts of Causation}, by {D}.{H}.
  	{M}ellor},
  journal = {Philosophy of Science},
  year = {1998},
  volume = {65},
  number = {1},
  pages = {162--130},
  xref = {Review of: mellor_dh:1995a.},
  topic = {causality;}
  }

@article{ dowe:2009a,
  author = {Phil Dowe},
  title = {Every Now and Then: A-Theory and Loops in Time},
  journal = {The Journal of Philosophy},
  year = {2009},
  volume = {106},
  number = {12},
  pages = {641--665},
  topic = {philosophy-of-time;temporal-cycles;A-series-B-series;}
  }

@article{ downey-etal:2006a,
  author = {Rod Downey and Denis R. Hirschfield and Andr\'e Nies and
  		Sebastian A. Terwuin},
  title = {Calibrating Randomness},
  journal = {The Bulletin of Symbolic Logic},
  year = {2006},
  volume = {12},
  number = {3},
  pages = {411--491},
  topic = {randomness;}
  }

@article{ downing_p:1977a,
  author = {Pamela Downing},
  title = {On the Creation and Use of {E}nglish Compound Nouns},
  journal = {Language},
  year = {1977},
  volume = {53},
  number = {4},
  pages = {810--842},
  topic = {compound-nouns;}
  }

@article{ downing_pb:1959a,
  author = {P.B. Downing},
  title = {Subjunctive Conditionals, Time Order, and Causation},
  journal = {Proceedings of the {A}ristotelian Society, New Series},
  year = {1959},
  volume = {59},
  pages = {125--140},
  missinginfo = {A's 1st name},
  rtnote = {tmix-project;},
  topic = {conditionals;temporal-reasoning;causality;}
  }

@techreport{ dowty:1972a,
  author = {David Dowty},
  title = {Studies in the Logic of Verb Aspect and Time
		Reference in {E}nglish},
  institution = {Department of Linguistics, University of Texas},
  year = {1972},
  address = {Austin, Texas},
  rtnote = {In RHT collection.},
  rtnote = {Reading notes on file.},
  topic = {nl-tense;tense-aspect;}
  }

@inproceedings{ dowty:1972b,
  author = {David R. Dowty},
  title = {On the Syntax and Semantics of the Atomic Predicate {CAUSE}},
  booktitle = {Proceedings of the Eighth Regional Meeting of the
  	Chicago Linguistics Society},
  year = {1972},
  pages = {62--74},
  publisher = {Chicago Linguistics Society},
  editor = {Paul M. Peranteau and Judith N. Levi and Gloria C. Phares},
  address = {Chicago University, Chicago, Illinois},
  rtnote = {In RHT collection.},
  topic = {lexical-semantics;causality;}
  }

@incollection{ dowty:1972c,
  author = {David Dowty},
  title = {Temporally Restrictive Adjectives},
  booktitle = {Syntax and Semantics, Volume 1},
  publisher = {Academic Press},
  year = {1972},
  editor = {John Kimball},
  pages = {51--53},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {adjectives;adverbs;nl-tense;}
  }

@incollection{ dowty:1976a,
  author = {David R. Dowty},
  title = {Montague Grammar and the Lexical Decomposition of
  	        Causative Verbs},
  booktitle = {Montague Grammar},
  publisher = {Academic Press},
  year = {1976},
  editor = {Barbara H. Partee},
  pages = {201--245},
  address = {New York},
  topic = {Montague-grammar;lexical-semantics;}
  }

@article{ dowty:1977a,
  author = {David R. Dowty},
  title = {Toward a Semantic Analysis of Verb Aspect and the
  	{E}nglish `Imperfective' Progressive},
  journal = {Linguistics and Philosophy},
  year = {1977},
  volume = {1},
  number = {1},
  pages = {45--77},
  rtnote = {semantics-course;},
  topic = {nl-semantics;tense-aspect;progressive-aspect;imperfective-paradox;}
  	}

@unpublished{ dowty:1978a,
  author = {David R. Dowty},
  title = {Dative `Movement' and {T}homason's Extensions of
		{M}ontague Grammar},
  year = {1978},
  note = {Unpublished manuscript, The Ohio State University.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {Montague-grammar;}
  }

@unpublished{ dowty:1978b,
  author = {David R. Dowty},
  title = {Addendum to `Dative Movement and {T}homason's Extensions of
		{M}ontague Grammar'\, },
  year = {1978},
  note = {Unpublished manuscript, The Ohio State University.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {Montague-grammar;}
  }

@unpublished{ dowty:1978c1,
  author = {David R. Dowty},
  title = {Lexically Governed Transformations as Lexical Rules in
  		a {M}ontague Grammar},
  year = {1978},
  note = {Unpublished manuscript, University of Texas.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {montague-grammar;}
  }

@article{ dowty:1978c2,
  author = {David R. Dowty},
  title = {Governed Transformations as Lexical Rules in {M}ontague
  	Grammar},
  journal = {Linguistic Inquiry},
  year = {1978},
  volume = {9},
  number = {3},
  missinginfo = {pages},
  topic = {Montague-grammar;meaning-postulates;lexical-semantics;}
  }

@book{ dowty:1979a,
  author = {David R. Dowty},
  title = {Word Meaning in {M}ontague Grammar},
  publisher = {D. Reidel Publishing Co.},
  year = {1979},
  address = {Dordrecht, Holland},
  rtnote = {semantics-course;},
  topic = {nl-semantics;montague-grammar;lexical-semantics;}
 }

@unpublished{ dowty:1981a,
  author = {David R. Dowty},
  title = {Grammatical Relations and {M}ontague Grammar},
  year = {1981},
  note = {Unpublished manuscript, The Ohio State University.},
  rtnote = {In RHT collection.},
  topic = {Montague-grammar;grammatical-relations;meaning-postulates;}
  }

@article{ dowty:1982a,
  author = {David R. Dowty},
  title = {Tenses, Time Adverbs, and Compositional Semantic Theory},
  journal = {Linguistics and Philosophy},
  year = {1982},
  volume = {5},
  number = {1},
  pages = {23--55},
  topic = {nl-tense;nl-semantics;temporal-adverbials;
  	semantic-compositionality;}
  }

@unpublished{ dowty:1983a,
  author = {David Dowty},
  title = {On Recent Treatments of the Semantics of Control},
  year = {1983},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Linguistics Department, The Ohio State
  	University.},
  topic = {syntactic-control;nl-semantics;}
  }

@unpublished{ dowty:1983b,
  author = {David Dowty},
  title = {On Recent Treatments of the Semantics of Control},
  year = {1983},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Linguistics Department, The Ohio State
  	University.},
  topic = {syntactic-control;nl-semantics;}
  }

@inproceedings{ dowty:1985a,
  author = {David Dowty},
  title = {Type Raising, Functional Composition, and Non-Constituent
  	Conjunction},
  booktitle = {Categorial Grammars and Natural Language Structures},
  publisher = {D. Reidel Publishing Co.},
  year = {1988},
  address = {Dordrecht},
  missinginfo = {pages},
  rtnote = {In RHT collection.},
  topic = {categorial-grammar;nl-semantic-types;coordination;}
  }

@article{ dowty:1985b,
  author = {David R. Dowty},
  title = {On Recent Analyses of the Semantics of Control},
  journal = {Linguistics and Philosophy},
  year = {1985},
  volume = {8},
  number = {3},
  pages = {291--331},
  topic = {Montague-grammar;nl-semantics;syntactic-control;}
  }

@article{ dowty:1986a,
  author = {David R. Dowty},
  title = {Preface},
  journal = {Linguistics and Philosophy},
  year = {1986},
  volume = {9},
  number = {1},
  pages = {1--3},
  note = {To a special volume on tense and aspect in discourse.},
  topic = {nl-semantics;events;tense-aspect;Aktionsarten;}
  }

@article{ dowty:1986b,
  author = {David R. Dowty},
  title = {The Effects of Aspectual Class on the Temporal
		Structure of Discourse: Semantics or Pragmatics?},
  journal = {Linguistics and Philosophy},
  year = {1986},
  volume = {9},
  number = {1},
  pages = {37--62},
  topic = {Aktionsarten;nl-semantics;pragmatics;}
  }

@incollection{ dowty:1988a,
  author = {David Dowty},
  title = {On the Semantic Content of the Notion of `Thematic Role'\,},
  booktitle = {Properties, Types and Meaning, Vol. 2},
  year = {1988},
  editor = {Gennaro Chierchia and Barbara Partee and Raymond Turner},
  publisher = {Kluwer Academic Publishers},
  pages = {69--129},
  address = {Dordrecht},
  topic = {thematic-roles;}
  }

@unpublished{ dowty:1989a,
  author = {David R. Dowty},
  title = {Toward a Minimalist Theory of Syntactic Structure},
  year = {1989},
  month = {January},
  rtnote = {In RHT collection.},
  note = {Unpublished MS, Linguistics Department, The Ohio State
  	University.},
  contentnote = {Tries to assume for syntactic purposes a minimum of
  	constituent structure.},
  topic = {foundations-of-syntax;constituent-structure;}
  }

@article{ dowty:1991a,
  author = {David Dowty},
  title = {Thematic Proto-Roles and Argument Selection},
  journal = {Language},
  year = {1991},
  volume = {67},
  number = {3},
  pages = {547--619},
  rtnote = {Reading notes on file.},
  rtnote = {In RHT collection.},
  topic = {thematic-roles;argument-structure;}
  }

@inproceedings{ dowty:1994a,
  author = {David Dowty},
  title = {The Role of Negative Polarity and Concord Marking
		in Natural Language Reasoning},
  booktitle = {Proceedings from Semantics and Linguistic Theory {IV}},
  year = {1994},
  editor = {Mandy Harvey and Lynn Santelmann},
  pages = {114--144},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {nl-agreement;polarity;parsing-as-deduction;}
  }

@book{ dowty-etal:1981a,
  author = {David R. Dowty and Robert Wall and Stanley Peters},
  title = {Introduction to {M}ontague Semantics},
  publisher = {D. Reidel Publishing Co.},
  year = {1981},
  address = {Dordrecht},
  ISBN = {902771142-9},
  rtnote = {In RHT Collection.  LLP authored shelves.
  		Spare copy phildept.},
  rtnote = {semantics-course;},
  topic = {nl-semantics;montague-grammar;}
 }

@book{ dowty-etal:1985a,
  editor = {David R. Dowty and Lauri Karttunen and Arnold M. Zwicky},
  title = {Natural Language Parsing: Psychological, Computational, And
    Theoretical Perspectives},
  publisher = {Cambridge University Press},
  year = {1985},
  address = {Cambridge, ENgland},
  ISBN = {0521262038},
  rtnote = {UMich Graduate Library, P98 .N31 1985.},
  topic = {parsing-psychology;}
 }

@incollection{ doyle_j:1979a1,
  author = {Jon Doyle},
  title = {Reason Maintenance and Belief Revision},
  booktitle = {Readings in Uncertain Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Glenn Shafer and Judea Pearl},
  pages = {259--279},
  address = {San Mateo, California},
  topic = {truth-maintenance;belief-revision;}
  }

@article{ doyle_j:1979b1,
  author = {Jon Doyle},
  title = {A Truth Maintenance System},
  journal = {Artificial Intelligence},
  year = {1979},
  volume = {12},
  number = {3},
  pages = {231--272},
  xref = {Republications: doyle_j:1979b2,doyle_j:1979b3.},
  topic = {truth-maintenance;}
  }

@incollection{ doyle_j:1979b2,
  author = {Jon Doyle},
  title = {A Truth Maintenance System},
  booktitle = {Readings in Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  year = {1981},
  editor = {Bonnie Webber and Nils J. Nilsson},
  pages = {496--516},
  address = {Los Altos, California},
  xref = {Journal Publication: doyle_j:1979b1.},
  topic = {truth-maintenance;}
  }

@incollection{ doyle_j:1979b3,
  author = {Jon Doyle},
  title = {A Truth Maintenance System},
  booktitle = {Readings in Nonmonotonic Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Matthew L. Ginsberg},
  pages = {259--279},
  address = {Los Altos, California},
  xref = {Original Publication: doyle_j:1979b1.},
  topic = {truth-maintenance;}
  }

@techreport{ doyle_j:1980a,
  author = {Jon Doyle},
  title = {A Model for Deliberation, Action, and Introspection},
  institution = {Artificial Intelligence Laboratory},
  number = {AI TR 581},
  year = {1980},
  address = {Massachusetts Institute of Technology},
  rtnote = {In RHT collection.},
  topic = {foundations-of-AI;}
  }

@unpublished{ doyle_j:1982a,
  author = {Jon Doyle},
  title = {What is {C}hurch's Thesis?  An Outline},
  year = {1982},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Carnegie Mellon University.},
  topic = {Church's-thesis;}
  }

@techreport{ doyle_j:1982b,
  author = {Jon Doyle},
  title = {The Foundations of Psychology},
  institution = {Department of Computer Science, Carnegie Mellon
  	University},
  number = {Technical Report No. CMU-CS-82-149.},
  year = {1982},
  address = {Pittsburgh, Pennsylvania 15213},
  rtnote = {In RHT collection.  I believe this was published IJCAI-83.},
  topic = {foundations-of-psychology;}
  }

@techreport{ doyle_j:1983a,
  author = {Jon Doyle},
  title = {Some Theories of Reasoned Assumptions},
  institution = {Department of Computer Science, Carnegie Mellon
  	University},
  number = {CMU-CS-83-125},
  year = {1983},
  address = {Pittsburgh, Pennsylvania 15213},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-reasoning;foundations-of-reasoning;}
  }

@inproceedings{ doyle_j:1983b,
  author = {Jon Doyle},
  title = {The Ins and Outs of Reason Maintenance},
  booktitle = {Proceedings of the Eighth International Joint
  	Conference on Artificial Intelligence},
  year = {1983},
  pages = {349--351},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  missinginfo = {editor},
  topic = {truth-maintenance;}
  }

@unpublished{ doyle_j:1983c,
  author = {Jon Doyle},
  title = {Methodological Simplicity in Expert System Construction},
  year = {1983},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Carnegie Mellon University.},
  topic = {expert-systems;probabilistic-reasoning;}
  }

@techreport{ doyle_j:1983d1,
  author = {Jon Doyle},
  title = {A Society of Mind},
  institution = {Department of Computer Science, Carnegie Mellon
  	University},
  number = {Technical Report No. CMU-CS-83-127.},
  year = {1983},
  address = {Pittsburgh, Pennsylvania 15213},
  rtnote = {In RHT collection.},
  xref = {Conference publication doyle_j:1983d1.},
  topic = {nonmonotonic-reasoning;foundations-of-reasoning;agent-arctitectures;}
  }

@inproceedings{ doyle_j:1983d2,
  author = {Jon Doyle},
  title = {A Society of Mind---Multiple Perspectives, Reasoned
		Assumptions, and Virtual Copies},
  booktitle = {Proceedings of the Twelfth National Conference on
              Artificial Intelligence},
  year = {1994},
  editor = {Barbara Hayes-Roth and Richard Korf},
  pages = {309--313},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  xref = {Techreport doyle_j:1983d1.},
  topic = {nonmonotonic-reasoning;foundations-of-reasoning;agent-arctitectures;}
  }

@unpublished{ doyle_j:1984a,
  author = {Jon Doyle},
  title = {Reasoned Assumptions and {P}areto Optimality},
  year = {1984},
  note = {Unpublished manuscript, Carnegie Mellon University.},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-reasoning;foundations-of-reasoning;}
  }

@unpublished{ doyle_j:1984b,
  author = {Jon Doyle},
  title = {Expert Systems without Computers},
  year = {1984},
  note = {Unpublished manuscript, Carnegie Mellon University.},
  rtnote = {In RHT collection.},
  topic = {expert-systems;AI-methodology;}
  }

@unpublished{ doyle_j:1984c,
  author = {Jon Doyle},
  title = {Circumscription and Implicit Definability},
  year = {1984},
  note = {Unpublished manuscript, Carnegie Mellon University},
  rtnote = {In RHT collection.},
  topic = {circumscription;definability;}
  }

@unpublished{ doyle_j:1986a,
  author = {Jon Doyle},
  title = {Bounded Rationality and Rational Self-Government},
  year = {1986},
  note = {Unpublished manuscript, Carnegie Mellon University},
  rtnote = {In RHT collection.},
  topic = {limited-rationality;}
  }

@unpublished{ doyle_j:1986b,
  author = {Jon Doyle},
  title = {Considered Actions, Reliable Reasoning, and Rational
		Self-Government},
  year = {1986},
  note = {Unpublished manuscript, Carnegie Mellon University},
  rtnote = {In RHT collection.},
  topic = {limited-rationality;}
  }

@unpublished{ doyle_j:1986c,
  author = {Jon Doyle},
  title = {Logic, Rationality, and Rational Psychology},
  year = {1986},
  note = {Unpublished manuscript, Carnegie Mellon University},
  rtnote = {In RHT collection.  Probably published as comment on McDermott's
		Critique.},
  topic = {AI-methodology;logic-in-AI;}
  }

@unpublished{ doyle_j:1987a,
  author = {Jon Doyle},
  title = {Artificial Intelligence and Rational Self-Government},
  year = {1987},
  note = {Unpublished manuscript, Carnegie Mellon University},
  rtnote = {In RHT collection.},
  topic = {limited-rationality;}
  }

@article{ doyle_j:1987b,
  author = {Jon Doyle},
  title = {Logic, Rationality and Rational Psychology},
  journal = {Computational Intelligence},
  year = {1987},
  volume = {3},
  issue = {3},
  pages = {175--176},
  xref = {kr;foundations-of-kr;logic-in-AI;}
  }

@unpublished{ doyle_j:1987c,
  author = {Jon Doyle},
  title = {Big Problems for Artificial Intelligence},
  year = {1987},
  note = {Unpublished manuscript, Carnegie Mellon University},
  rtnote = {In RHT collection.},
  topic = {AI-editorial;}
  }

@inproceedings{ doyle_j:1988a,
  author = {Jon Doyle},
  title = {Knowledge, Representation, and Rational Self-Government},
  booktitle = {Proceedings of the Second Conference on Theoretical
  	Aspects of Reasoning about Knowledge},
  year = {1988},
  editor = {Moshe Y. Vardi},
  pages = {345--354},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  topic = {rationality;nonmonotonic-reasoning;decision-theory;}
  }

@techreport{ doyle_j:1988b,
  author = {Jon Doyle},
  title = {Implicit Knowledge and Rational Representation},
  institution = {Department of Computer Science, Carnegie Mellon
  	University},
  number = {Technical Report No. CMU-CS-88-134.},
  year = {1988},
  address = {Pittsburgh, Pennsylvania 15213},
  rtnote = {In RHT collection.},
  topic = {knowledge;epistemic-logic;hyperintensionality;}
  }

@techreport{ doyle_j:1988c,
  author = {Jon Doyle},
  title = {On Universal Theories of Defaults},
  institution = {Computer Science Department, Carnegie Mellon
    		   University},
  number = {CMU-CS-88-111},
  year = {1988},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-reasoning;foundations-of-reasoning;}
    }

@unpublished{ doyle_j:1988d,
  author = {Jon Doyle and Elisha P. Sacks},
  title = {Stochastic Analysis of Qualitative Dynamics},
  year = {1988},
  note = {Unpublished manuscript, Carnegie Mellon University},
  rtnote = {In RHT collection.},
  topic = {qualitative-physics;}
  }

@inproceedings{ doyle_j:1989a,
  author = {Jon Doyle},
  title = {Reasoning, Representation, and Rational Self-Government},
  booktitle = {Methodologies for Intelligent Systems},
  year = {1989},
  editor = {Zbigniew Ras},
  pages = {395--402},
  publisher = {North-Holland},
  address = {Amsterdam},
  topic = {foundations-of-AI;AI-and-economics;}
  }

@article{ doyle_j:1989b,
  author = {Jon Doyle},
  title = {Constructive Belief and Rational Representation},
  journal = {Computational Intelligence},
  year = {1989},
  volume = {5},
  number = {1},
  pages = {1--11},
  topic = {epistemic-logic;belief;AI-and-economics;}
 }

@inproceedings{ doyle_j:1990a,
  author = {Jon Doyle},
  title = {Rationality and Its Roles in Reasoning (Extended Abstract)},
  booktitle = {Proceedings of the Eighth National Conference on
              Artificial Intelligence},
  year = {1990},
  editor = {Thomas Dietterich and William Swartout},
  pages = {1093--1100},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  rtnote = {In RHT collection.},
  topic = {rationality;utility-theory;}
  }

@unpublished{ doyle_j:1990b,
  author = {Jon Doyle},
  title = {Rational Belief Revision},
  year = {1990},
  note = {Unpublished manuscript, Carnegie Mellon University},
  rtnote = {In RHT collection.},
  topic = {rationality;belief-revision;}
  }

@incollection{ doyle_j:1991a,
  author = {Jon Doyle},
  title = {The Foundations of Psychology: A Logico-Computational
  	Inquiry into the Concept of Mind},
  booktitle = {Philosophy and {AI}: Essays at the Interface},
  publisher = {The {MIT} Press},
  year = {1991},
  editor = {Robert Cummins and John L. Pollock},
  pages = {39--77},
  address = {Cambridge, Massachusetts},
  topic = {philosophy-AI;philosophy-of-psychology;foundations-of-AI;
  	foundations-of-psychology;}
  }

@incollection{ doyle_j:1991b,
  author = {Jon Doyle},
  title = {Rational Belief Revision},
  booktitle = {{KR}'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {163--174},
  address = {San Mateo, California},
  topic = {kr;belief-revision;kr-course;}
  }

@incollection{ doyle_j:1992a,
  author = {Jon Doyle},
  title = {Reason Maintenance and Belief Revision: Foundations Vs.
  	Coherence Theories},
  booktitle = {Belief Revision},
  publisher = {Cambridge University Press},
  year = {1992},
  editor = {Peter G\"ardenfors},
  pages = {29--52},
  address = {Cambridge},
  topic = {belief-revision;truth-maintenance;}
  }

@incollection{ doyle_j:1992b,
  author = {Jon Doyle},
  title = {Reason Maintenance and Belief Revision},
  booktitle = {Belief Revision},
  publisher = {Cambridge University Press},
  year = {1992},
  editor = {Peter G\"ardenfors},
  pages = {29--51},
  address = {Cambridge},
  topic = {belief-revision;}
  }

@article{ doyle_j:1992c,
   author = {Jon Doyle},
   title = {Rationality and Its Roles in Reasoning},
   journal = {Computational Intelligence},
   year = {1992},
   volume = {8},
   number = {2},
   pages = {376--409},
   topic = {rationality;practical-reasoning;foundations-of-planning;}
 }

@unpublished{ doyle_j:1995a,
  author = {John Doyle},
  title = {Contextual Equivalence and \emph{Ceteris Paribus} Comparatives},
  year = {1995},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Laboratory for Computer Science,
  	Massachusetts Institute of Technology.},
  rtnote = {In RHT collection.},
  topic = {foundations-of-planning;qualitative-utility;}
  }

@unpublished{ doyle_j:1997a,
  author = {Jon Doyle},
  title = {An Outline of Qualitative Decision Theory},
  year = {1997},
  note = {Unpublished manuscript, Laboratory for Computer Science,
  	Massachusetts Institute of Technology},
  rtnote = {In RHT collection.},
  topic = {qualitative-utility;}
  }

@unpublished{ doyle_j:2000a,
  author = {Jon Doyle},
  title = {Mind, Matter, and Mechanics},
  year = {2000},
  note = {Unpublished manuscript, Laboratory for Computer Science,
  	Massachusetts Institute of Technology},
  rtnote = {In RHT collection.},
  xref = {Book publication: doyle_j:2006a.},
  topic = {foundations-of-cognition;rational-mechanics;}
  }

@book{ doyle_j:2006a,
  author = {Jon Doyle},
  title = {Extending Mechanics to Minds:  The Mechanical Foundations
  		of Psychology and Economics},
  publisher = {Cambridge University Press},
  year = {2006},
  address = {Cambridge, England},
  topic = {foundations-of-cognition;rational-mechanics;}
 }

@incollection{ doyle_j:2006b,
  author = {Jon Doyle},
  title = {On Mechanization of Thought Processes (Extended Abstract)},
  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 = {2},
  address = {Menlo Park, California},
  topic = {foundations-of-cognition;rational-mechanics;}
  }

@article{ doyle_j-dean_t:1997a,
  author = {Jon Doyle and Thomas Dean},
  title = {Strategic Directions in Artificial Intelligence},
  journal = {{AI} Magazine},
  year = {1997},
  volume = {18},
  number = {1},
  pages = {87--102},
  topic = {AI-survey;}
  }

@inproceedings{ doyle_j-etal:1991a,
  author = {Jon Doyle and Yoav Shoham and Michael P. Wellman},
  title = {A Logic of Relative Desire (Preliminary Report)},
  booktitle = {Proceedings of the Sixth International Symposium on
		 Methodologies for Intelligent Systems},
  year = {1991},
  editor = {Zbigniew Ras},
  pages = {16--31},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {qualitative-utility;}
 }

@book{ doyle_j-etal:1994a,
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  title = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  address = {San Francisco},
  topic = {kr;}
 }

@article{ doyle_j-patil:1989a,
  author = {Jon Doyle and Ramesh Patil},
  title = {Two Theses of Knowledge Representation:
  	Language Restrictions, Taxonomic Classifications, and the
  	Utility of Representation Services},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {48},
  number = {3},
  pages = {261--298},
  topic = {kr;description-logics;kr-course;}
  }

@book{ doyle_j-thomason_rh:1997a,
  editor = {Jon Doyle and Richmond H. Thomason},
  title = {Working Papers of the {AAAI} Spring Symposium on
  	Qualitative Preferences in Deliberation and Practical
	Reasoning},
  publisher = {American Association for Artificial Intelligence},
  year = {1997},
  address = {Menlo Park, California},
  topic = {qualitative-utility;practical-reasoning;}
 }

@incollection{ doyle_j-wellman_mp:1989a1,
  author = {Jon Doyle and Michael Wellman},
  title = {Impediments to Universal Preference-Based Default Theories},
  booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1989},
  editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter},
  pages = {94--102},
  address = {San Mateo, California},
  xref = {Journal Publication: doyle_j-wellman_mp:1989a2},
  topic = {kr;kr-course;foundations-of-nonmonotonic-logic;}
  }

@article{ doyle_j-wellman_mp:1989a2,
  author = {Jon Doyle and Michael P. Wellman},
  title = {Impediments to Universal Preference-Based Default
  	Theories},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {49},
  number = {1--3},
  pages = {97--128},
  xref = {Conference publication: doyle_j-wellman_mp:1989a1.},
  topic = {kr;kr-course;foundations-of-nonmonotonic-logic;}
  }

@inproceedings{ doyle_j-wellman_mp:1991a,
  author = {Jon Doyle and Michael P. Wellman},
  title = {Preferential Semantics for Goals},
  booktitle = {Proceedings of the Ninth National Conference on
       Artificial Intelligence},
  year = {1991},
  editor = {Thomas Dean and Kathy McKeown},
  pages = {698--703},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {qualitative-utility;}
 }

@article{ doyle_j-wellman_mp:1991b,
  author = {Jon Doyle and Michael P. Wellman},
  title = {Impediments to Universal Preference-Based Default Theories},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {49},
  number = {1--3},
  pages = {97},
  contentnote = {This paper shows that Arrow's theorem applies to
  	preferences of defaults.},
  topic = {nonmonotonic-reasoning;welfare-economics;Arrow's-theorem;}
  }

@inproceedings{ doyle_j-wellman_mp:1992a,
  author = {Jon Doyle and Michael P. Wellman},
  title = {Modular Utility Representation for Decision-Theoretic
  	    Planning},
  booktitle = {Proceedings of the First International Conference on
               Artificial Intelligence Planning Systems},
  year = {1992},
  pages = {236--242},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  topic = {qualitative-utility;}
  }

@inproceedings{ doyle_j-wellman_mp:1994a,
  author = {Jon Doyle and Michael P. Wellman},
  title = {Representing Preferences as \emph{Ceteris Paribus} Comparatives},
  booktitle = {Working Notes of the {AAAI} Spring Symposium on
  	Decision-Theoretic Planning},
  year = {1994},
  pages = {69--75},
  organization = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {Unpublished other than distribution to conferees. --RT},
  topic = {qualitative-utility;preferences;}
  }

@inproceedings{ doyle_rj-etal:1986a,
  author = {R.J. Doyle and D.J. Atkinson and R.S. Doshi},
  title = {Generating perception requests and expectations to verify the
       execution of plans},
  booktitle = {Proceedings of the Fifth National Conference on
              Artificial Intelligence},
  year = {1986},
  editor = {Tom Kehler and Stan Rosenschein},
  organization = {American Association for Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  missinginfo = {pages 81ff},
  topic = {plan-monitoring;}
  }

@article{ drabble:1993a,
  author = {Brian Drabble},
  title = {{EXCALIBUR}: A Program for Planning and Reasoning with
  	Processes},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {62},
  number = {1},
  pages = {1--40},
  acontentnote = {Abstract:
     This article describes research aimed at
     building a hierarchical partial order planner which is capable
     of interacting with a constantly changing world. The main aim is
     to verify a planning and execution strategy based on qualitative
     process theory which allows a greater level of interaction
     between the planner and the real world than exists within
     current planners. A variety of techniques are described which
     allow the planner to create a model of the world in which plan
     failures can be analysed and faulty plans repaired. These
     techniques also allow the planner to react to changes in the
     world outside of the plan which it has been told previously to
     avoid happening, e.g., an explosion.},
  topic = {hierarchical-planning;partial-order-planning;
  	plan-execution;}
  }

@unpublished{ drachman:1975a,
  author = {Gaberell Drachman},
  title = {The Syntax of Casual Speech},
  year = {1975},
  note = {Unpublished manuscript, University of Salzburg},
  rtnote = {In RHT collection.},
  topic = {nl-syntax;casual-speech;}
  }

@article{ drakengren-bjareland:1999a,
  author = {Thomas Drakengren and Marcus Bj\"areland},
  title = {Reasoning about Action in Polynomial Time},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {115},
  number = {1},
  pages = {1--24},
  topic = {complexity-in-AI;planning-algorithms;polynomial-algorithms;}
  }

@article{ drakengren-jonsson_p:1997a,
  author = {Thomas Drakengren and Peter Jonsson},
  title = {Twenty-One Large Tractable Subclasses of {A}llen's
  	Algebra},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {93},
  number = {1--2},
  pages = {297--319},
  topic = {temporal-reasoning;kr;kr-course;complexity-in-AI;}
  }

@article{ drakengren-jonsson_p:1998a,
  author = {Thomas Drakengren and Peter Jonsson},
  title = {A Complete Classification of Tractability in {A}llen's
  	Algebra Relative to Subsets of Basic Relations},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {106},
  number = {2},
  pages = {205--219},
  topic = {temporal-reasonong;kr-course;kr-complexity-analysis;}
  }

@incollection{ drakos:1988a,
  author = {Nikos Drakos},
  title = {Reason Maintenance in Horn-Clause Logic Programs},
  booktitle = {Reason Maintenance Systems and Their Applications},
  publisher = {Ellis Horwood, Ltd.},
  year = {1988},
  editor = {Barbara Smith and Gerald Kelleher},
  pages = {77--97},
  address = {Chichester},
  topic = {truth-maintenance;logic-programming;}
  }

@inproceedings{ draper_d-etal:1994a,
  author = {Denise Draper and Steve Hanks and Daniel Weld},
  title = {Probabilistic Planning With Information Gathering and Contingent
  	Execution},
  booktitle = {Proceedings of the Second International Conference on
  	{AI} Planning Systems},
  year = {1994},
  editor = {K. Hammond},
  pages = {31--36},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {probabilistic-planning;}
  }

@unpublished{ draper_d-hanks_s:1996a,
  author = {Denise Draper and Steve Hanks},
  title = {Localized Partial Evaluation of Belief Networks},
  year = {1996},
  note = {Unpublished manuscript, Computer Science Department,
  	University of Washington},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.  Publication info
  	is missing.},
  topic = {probabilistic-planning;partial-evaluation;}
  }

@article{ draper_sw:1981a,
  author = {Stephen W. Draper},
  title = {The Use of Gradient and Dual Space in Line-Drawing
  	Interpretation},
  journal = {Artificial Intelligence},
  year = {1981},
  volume = {17},
  number = {1--3},
  pages = {461--508},
  acontentnote = {Abstract:
     This paper reviews the application of gradient space and dual
     space in programs that interpret line-drawings and examines
     whether they can provide a basis for a fully adequate program.
     Mackworth's program Poly is analyzed at length. Counterexamples
     show first that the procedure must be generalized from gradient
     to dual space, and then that constraints in the form of
     inequalities as well as equations must he handled which
     necessitates a radical re-design.  A proof that Poly itself is
     valid under perspective as well as orthographic projection
     although its derivation in terms of gradient space is not,
     further indicates that gradient (or dual) space is not the
     important element in Mackworth's approach. Other ways of using
     dual space by Kanade and Huffman are discussed but they do not
     convincingly rebut the conclusion that dual space is peripheral
     to the design of a competent program. Finally the conclusion
     that the plane equation approach derived from the developments
     described, while theoretically adequate, is awkward to use
     because it fails to offer intuitive clarity, is supported by
     contrasting it with the alternative method of sidedness
     reasoning.},
  topic = {line-drawings;}
  }

@unpublished{ drapkin-etal:1987a,
  author = {Jennifer Drapkin and M. Miller and Donald Perlis},
  title = {On Default Handling: Consistency Before and After},
  year = {1987},
  note = {Unpublished manuscript, Department of Computer Science,
  	University of Maryland},
  rtnote = {In RHT collection.},
  xref = {Jennifer Drapkin = Jennifer Elgot-Drapkin},
  topic = {nonmonotonic-reasoning;reasoning-about-consistency;}
  }

@inproceedings{ dras:1997a,
  author = {Mark Dras},
  title = {Representing Paraphrases using Synchronous {TAG}s},
  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 = {516--518},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {machine-translation;paraphrasing;TAG-grammar;}
 }

@article{ dray:1962a,
  author = {William Dray},
  title = {Choosing and Doing},
  journal = {Dialogue},
  year = {1962},
  volume = {1},
  pages = {129--152},
  missinginfo = {number},
  topic = {action;}
  }

@incollection{ dray:1962b,
  author = {W.H. Dray},
  title = {Must Effects Have Causes?},
  booktitle = {Analytical Philosophy, First Series},
  publisher = {Barnes and Noble},
  year = {1962},
  editor = {Ronald J. Butler},
  pages = {20--25},
  address = {New York},
  xref = {Comments on: vendler:1962a.},
  topic = {ordinary-language-philosophy;causality;}
  }

@article{ dreier:1999a,
  title = {Transforming Expressivism},
  author = {James Dreier},
  journal = {No\^us},
  pages = {558--72},
  volume = {33},
  year = {1999},
  topic = {expressivism;}
  }

@incollection{ dreier:2006a,
  title = {Negation for Expressivists: A Collection of Problems with
  		a Suggestion for their Solution},
  author = {James Dreier},
  booktitle = {Oxford Studies in Metaethics: Volume 1},
  editor = {R. Shafer-Landau},
  publisher = {Oxford University Press},
  year = {2006},
  topic = {expressivism;Frege-Geach-problem;}
	}

@article{ dreischner:1977a,
  author = {M. Dreischner},
  title = {Is (Quantum) Logic Empirical?},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {6},
  number = {4},
  pages = {415--423},
  topic = {quantum-logic;}
  }

@unpublished{ dreizen:1976a,
  author = {Felix Dreizen},
  title = {The Proper Treatment of Negation in Ordinary {R}ussian},
  year = {1976},
  note = {Unpublished manuscript, University of Haifa.},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a guess.},
  topic = {negation;Montague-grammar;Russian-language;}
  }

@article{ dresher-hornstein:1976a,
  author = {Bezalem E. Dresher and Norbert H. Hornstein},
  title = {On the Supposed Contribution of Artificial Intelligence to
  	the Scientific Study of Language},
  journal = {Cognition},
  year = {1976},
  volume = {4},
  number = {4},
  pages = {321--398},
  topic = {linguistic-theory-and-computational-linguistics;}
  }

@article{ dresher-hornstein:1999a,
  author = {Bezalem E. Dresher},
  title = {Charting the Learning Path: Cues to Parameter
  	Setting},
  journal = {Linguistic Inquiry},
  year = {1999},
  volume = {30},
  number = {1},
  pages = {27--96},
  topic = {parameter-setting;}
  }

@article{ dresner:2001a,
  author = {Eli Dresner},
  title = {Tarski's Restricted Form and {N}eale's Quantificational
  		Treatment of Proper Names},
  journal = {Linguistics and Philosophy},
  year = {2001},
  volume = {24},
  number = {4},
  pages = {405--415},
  topic = {identity;variable-binding;nl-quantification;}
  }

@article{ dresner:2004a,
  author = {Eli Dresner},
  title = {Over-Assignment of Structure},
  journal = {Journal of Philosophical Logic},
  year = {2004},
  volume = {33},
  number = {5},
  pages = {467--480},
  topic = {analogy;metaphilosophy;}
  }

@incollection{ dressler_o-strauss_p:1996a,
  author = {Oskar Dressler and Peter Strauss},
  title = {The Consistency-Based Approach to Automated Diagnosis of
  	Devices},
  booktitle = {Principles of Knowledge Representation},
  publisher = {{CSLI} Publications},
  year = {1996},
  editor = {Gerhard Brewka},
  pages = {267--311},
  address = {Stanford, California},
  topic = {diagnosis;}
  }

@book{ dressler_w:1972a,
  author = {Wolfgang Dressler},
  title = {Einf\"uring in die {T}extlinguistik},
  publisher = {Niemeyer},
  year = {1972},
  address = {T\"ubingen},
  rtnote = {Hillman },
  topic = {text-grammar;text-linguistics;discourse;pragmatics;}
 }

@book{ dressler_w:1972b,
  editor = {Wolfgang Dressler},
  title = {{T}extlinguistik},
  publisher = {Wissenschaftliche Buchgesellschaft},
  year = {1972},
  address = {Darmstadt},
  rtnote = {Hillman HILLMAN P302 .T424},
  topic = {text-grammar;text-linguistics;discourse;pragmatics;}
 }

@book{ dretske:1969a,
  author = {Fred I. Dretske},
  title = {Seeing and Knowing},
  publisher = {Chicago University Press},
  year = {1969},
  address = {Chicago},
  xref = {Review: aldrich:1970a.},
  topic = {logic-of-perception;epistemology;epistemic-logic;}
 }

@article{ dretske:1970a,
  author = {Fred I. Dretske},
  title = {Epistemic Operators},
  journal = {The Journal of Philosophy},
  year = {1970},
  volume = {67},
  number = {24},
  pages = {1007--1023},
  topic = {epistemic-logic;propositional-attitudes;sentence-focus;pragmatics;}
  }

@article{ dretske:1972a,
  author = {Fred Dretske},
  title = {Contrastive Statements},
  journal = {Philosophical Review},
  year = {1972},
  volume = {81},
  number = {4},
  pages = {411--437},
  rtnote = {pragmatics-course;},
  topic = {sentence-focus;contrastive-stress;pragmatics;}
  }

@incollection{ dretske:1974a,
  author = {Fred I. Dretske},
  title = {Explanation in Linguistics},
  booktitle = {Explaining Linguistic Phenomena},
  publisher = {Hemisphere Publishing Corp.},
  year = {1974},
  editor = {David Cohen},
  pages = {21--41},
  address = {Washington, DC},
  topic = {philosophy-of-linguistics;linguistics-methodology;
  	explanation;}
  }

@article{ dretske:1977a,
  author = {Fred I. Dretske},
  title = {Laws of Nature},
  journal = {The Philosophical Review},
  year = {1977},
  volume = {44},
  pages = {248--268},
  topic = {natural-laws;causality;}
  }

@incollection{ dretske:1978a,
  author = {Fred I. Dretske},
  title = {Referring to Events},
  booktitle = {Contemporary Perspectives in the Philosophy of Language},
  publisher = {University of Minnesota Press},
  year = {1978},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {369--378},
  address = {Minneapolis},
  topic = {events;JL-Austin;sentence-focus;}
  }

@book{ dretske:1981a,
  author = {Fred I. Dretske},
  title = {Knowledge and the Flow of Information},
  publisher = {The {MIT} Press},
  year = {1981},
  address = {Cambridge, Massachusetts},
  topic = {philosophy-of-language;information-flow-theory;
  	theories-of-information;}
 }

@article{ dretske:1985a,
  author = {Fred Dretske},
  title = {Constraints and Meaning},
  journal = {Linguistics and Philosophy},
  year = {1985},
  volume = {8},
  number = {1},
  pages = {9--12},
  topic = {situation-semantics;foundations-of-semantics;}
  }

@book{ dretske:1988a,
  author = {Fred Dretske},
  title = {Explaining Behavior: Reasons in a World of Causes},
  publisher = {The {MIT} Press},
  year = {1999},
  address = {Cambridge, Massachusetts},
  xref = {Review: mclaughlin_bp:1991a.},
  topic = {philosophy-of-mind;belief;desire;}
 }

@incollection{ dretske:1989a,
  author = {Fred Dretske},
  title = {Reasons and Causes},
  booktitle = {Philosophical Perspectives 3:
  	Philosophy of Mind and Action Theory},
  publisher = {Ridgeview Publishing Company},
  year = {1989},
  editor = {James E. Tomberlin},
  pages = {1--15},
  address = {Atasacadero, California},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {reasons-for-action;desires;}
  }

@incollection{ dretske:1990a,
  author = {Fred Dretske},
  title = {Seeing, Believing, and Knowing},
  booktitle = {An Invitation to Cognitive Science.  Volume
  	2: Visual Cognition and Action},
  publisher = {The {MIT} Press},
  year = {1990},
  editor = {Daniel N. Osherson and Howard Lasnik},
  pages = {129--148},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-perception;}
  }

@incollection{ dretske:1993a,
  author = {Fred Dretske},
  title = {Mental Events as Structuring Causes of
		Behaviour},
  booktitle = {Mental Causation},
  publisher = {Oxford University Press},
  year = {1993},
  editor = {John Heil and Alfred R. Mele},
  pages = {131--136},
  address = {Oxford},
  topic = {mind-body-problem;causality;}
  }

@article{ dretske:1994a,
  author = {Fred Dretske},
  title = {The Explanatory Role of Information},
  journal = {Philosophical Transactions of the Royal Society, Series A:
  	Physical Sciences and Engineering},
  year = {1994},
  volume = {349},
  number = {1689},
  pages = {9--69},
  note = {Available at http://www.jstor.org/journals/09628428.html},
  topic = {information-flow-theory;foundations-of-AI;theories-of-information;}
  }

@incollection{ dretske:2007a,
  author = {Fred Dretske},
  title = {What Change Blindness Teaches about Consciousness},
  booktitle = {Philosophy of Mind},
  publisher = {Blackwell Publishers},
  year = {2007},
  editor = {John Hawthorne},
  pages = {215--230},
  address = {Oxford},
  topic = {philosophy-of-mind;perception;}
  }

@incollection{ dretske-enc_b:1984a,
  author = {Fred Dretske and Berent En\c},
  title = {Causal Theories of Knowledge},
  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 = {517--528},
  address = {Minneapolis},
  topic = {knowledge;causality;}
  }

@article{ dreyfus_hl:1965a,
  author = {Hubert L. Dreyfus},
  title = {Why Computers Must Have Bodies in Order to Be
  	Intelligent},
  journal = {Review of Metaphysics},
  year = {1965},
  volume = {21},
  pages = {13--32},
  missinginfo = {number},
  topic = {philosophy-AI;}
  }

@book{ dreyfus_hl:1972a,
  author = {Hubert L. Dreyfus},
  title = {What Computers Can't Do: A Critique of Artificial
  	Reason},
  publisher = {Harper and Row},
  year = {1972},
  address = {New York},
  rtnote = {In RHT Collection.  Cogsci Shelf.  m&mcourse;},
  topic = {philosophy-AI;}
 }

@incollection{ dreyfus_hl:1981a,
  author = {Hubert L. Dreyfus},
  title = {From Micro-Worlds to Knowledge Representation: {AI} at an
  	Impasse},
  booktitle = {Mind Design: Philosophy, Psychology, Artificial
  	Intelligence},
  publisher = {The {MIT} Press},
  year = {1981},
  editor = {John Haugeland},
  pages = {161--204},
  address = {Cambridge, Massachusetts},
  xref = {Excerpted from introduction to dreyfus_hl:1972a.},
  topic = {philosophy-AI;}
  }

@book{ dreyfus_hl:1992a,
  author = {Hubert L. Dreyfus},
  title = {What Computers Still Can't Do: A Critique of Artificial
  	Reason},
  publisher = {The {MIT} Press},
  year = {1992},
  address = {Cambridge, Massachusetts},
  xref = {Reviews: collins_hm:1996a, haugeland:1996a, koschmann:1996a,
  	mccarthy_j1:1996a, strom-darden:1996a.
	 Commentary: dreyfus_hl:1999a.},
  rtnote = {UMich Graduate Library, Q 335 .D79 1992,
  	    UMich Media Library, Q 335 .D79 1992.},
  ISBN = {0060906243},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  topic = {philosophy-AI;}
 }

@article{ dreyfus_hl:1996a,
  author = {Hubert L. Dreyfus},
  title = {Response to My Critics},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {80},
  number = {1},
  pages = {171--191},
  xref = {Commentary on reviews of dreyfus:1992a.},
  topic = {philosophy-AI;}
  }

@article{ dreyfus_hl:2007a,
  author = {Hubert L. Dreyfus},
  title = {Why {H}eideggerian {AI} Failed and How Fixing it Would Require
  	Making it More {H}eideggerian},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {18},
  pages = {1137--1160},
  topic = {phenomenology;foundations-of-AI;AI-editorial;}
  }

@book{ dreyfus_hl-dreyfus_se:1986a,
  author = {Hubert L. Dreyfus},
  title = {Mind Over Machine: The Power of Human Intuition and the
  	Expertise in the Era of the Computer},
  publisher = {Free Press},
  year = {1986},
  address = {New York},
  xref = {Review: koschmann:1987a.},
  topic = {philosophy-AI;}
 }

@incollection{ dreyfus_hl-dreyfus_se:1987a,
  author = {Hubert L. Dreyfus and Stuart E. Dreyfus},
  title = {How to Stop Worrying about the Frame Problem Even though
  	It's Computationally Intractable},
  booktitle = {The Robot's Dilemma: The Frame Problem
             in Artificial Intelligence},
  publisher = {Ablex Publishing Co.},
  address = {Norwood, New Jersey},
  year = {1987},
  editor = {Zenon Pylyshyn},
  pages = {95--111},
  topic = {frame-problem;philosophy-AI;}
  }

@incollection{ driankov-hellendoorn:1991a,
  author = {Dimiter Driankov and Hans Hellendoorn},
  title = {Towards a Logic for a Fuzzy Logic Controller},
  booktitle = {Symbolic and Quantitative Approaches for Uncertainty:
  	Proceedings of the {E}uropean Conference {ECSQAU}, Marseille,
	France, October 1991},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Rudolf Kruse and Pierre Siegel},
  pages = {166--171},
  address = {Berlin},
  topic = {fuzzy-logic;}
  }

@inproceedings{ drummond:1985a,
  author = {Mark Drummond},
  title = {Refining and Extending the Procedural Net},
  booktitle = {Proceedings of the Ninth International Joint
  	Conference on Artificial Intelligence},
  editor = {Arivind Joshi},
  pages = {1010--1015},
  year = {1985},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  contentnote = {Introduces the idea of a plan net.},
  topic = {planning;}
 }

@incollection{ drummond:1989a,
  author = {Mark Drummond},
  title = {Situated Control Rules},
  booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1989},
  editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter},
  pages = {103--113},
  address = {San Mateo, California},
  topic = {kr;kr-course;planning-formalisms;planning;}
  }

@inproceedings{ druzdel:1997a,
  author = {Marek Druzdel},
  title = {An Incompatibility Between Preferential Ordering And
        the Decision-Theoretic Notion of Utility},
  booktitle = {Working Papers of the {AAAI} Spring Symposium on
  	Qualitative Preferences in Deliberation and Practical
	Reasoning},
  year = {1997},
  editor = {Jon Doyle and Richmond H. Thomason},
  pages = {35--40},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {qualitative-utility;preferences;foundations-of-utility;}
  }

@inproceedings{ druzdzel-henrion:1993a,
  author = {Marek Druzdzel and Max Henrion},
  title = {Efficient Reasoning in Qualitative Probabilistic
		Networks},
  booktitle = {Proceedings of the Eleventh National Conference on
              Artificial Intelligence},
  year = {1993},
  editor = {Richard Fikes and Wendy Lehnert},
  pages = {548--553},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  topic = {Bayesian-networks;}
  }

@incollection{ dry-aristar_ar:1998a,
  author = {Helen Aristar Dry and Anthony Rodrigues Aristar},
  title = {The Internet: An Introduction},
  booktitle = {Using Computers in Linguistics: A Practical Guide},
  publisher = {Routledge},
  year = {1998},
  editor = {John Lawler and Aristar Dry},
  pages = {26--61},
  address = {London},
  topic = {internet-general;}
  }

@inproceedings{ dubey:2005a,
  author = {Amit Dubey},
  title = {What to Do When Lexicalization Fails: Parsing {G}erman
  	with Suffix Analysis and Smoothing},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {314--321},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1039},
  topic = {automated-corpus-annotationJapanese-language;}
  }

@article{ dubois_d-etal:1991a,
  author = {Didier Dubois and J\'er\v{o}me Lang and Henri Prade},
  title = {Timed Possibilistic Logic},
  journal = {Fundamenta Informaticae},
  year = {1991},
  volume = {15},
  number = {3--4},
  pages = {211--234},
  rtnote = {This volume in RHT collection.},
  topic = {temporal-logic;possibilistic-logic;}
 }

@incollection{ dubois_d-etal:1991b,
  author = {Didier Dubois and J. Lang and Henri Prade},
  title = {A Brief Overview of Possibilistic Logic},
  booktitle = {Symbolic and Quantitative Approaches for Uncertainty:
  	Proceedings of the {E}uropean Conference {ECSQAU}, Marseille,
	France, October 1991},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Rudolf Kruse and Pierre Siegel},
  pages = {53--57},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {reasoning-about-uncertainty;possibilistic-logic;}
  }

@incollection{ dubois_d-etal:1994b,
  author = {Didier Dubois and J\'er\^ome  Lang and Henri Prade},
  title = {Possibilistic Logic},
  booktitle = {Handbook of Logic in Artificial Intelligence
   	         and Logic Programming, Volume 3: Nonmonotonic
		 Reasoning and Uncertain Reasoning},
  publisher = {Oxford University Press},
  year = {1994},
  editor = {Dov Gabbay and Christopher J. Hogger and J. A. Robinson},
  pages = {439--513},
  address = {Oxford},
  topic = {possibilistic-logic;}
  }

@inproceedings{ dubois_d-etal:1997a,
  author = {Didier Dubois and H\'elene Fargier and Henri Prade},
  title = {Decision Making Under Ordinal Preferences and Uncertainty},
  booktitle = {Working Papers of the {AAAI} Spring Symposium on
  	Qualitative Preferences in Deliberation and Practical
	Reasoning},
  year = {1997},
  editor = {Jon Doyle and Richmond H. Thomason},
  pages = {41--46},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {qualitative-utility;decision-analysis;possibilistic-logic;}
  }

@inproceedings{ dubois_d-etal:1997b,
  author = {Didier Dubois and Henri Prade and R\'egis Sabbadin},
  title = {A Possibilistic Logic Machinery for Qualitative Decision},
  booktitle = {Working Papers of the {AAAI} Spring Symposium on
  	Qualitative Preferences in Deliberation and Practical
	Reasoning},
  year = {1997},
  editor = {Jon Doyle and Richmond H. Thomason},
  pages = {47--54},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {qualitative-utility;possibilistic-logic;}
  }

@incollection{ dubois_d-etal:1998a,
  author = {Didier Dubois and Llu\'is Godo and Henri Prade and
		Adriana Zapico},
  title = {Making Decision in a Qualitative Setting: from Decision
		under Uncertainty to Case-Based Decision},
  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 = {594--605},
  address = {San Francisco, California},
  rtnote = {Title is correct, "decision", not "decisions"},
  topic = {kr;qualitative-utility;case-based-reasoning;practical-reasoning;
  		possibilistic-logic;}
  }

@inproceedings{ dubois_d-etal:1998b,
  author = {Didier Dubois and D. Le Berre and Henri Prade and
  	H. Zapico},
  title = {Making Decision in a Qualitative Setting: From Decision
  	under Uncertainty to Case-Based Decision},
  booktitle = {Proceedings of the Fourteenth National Conference on
              Artificial Intelligence and the Ninth Innovative
	      Applications of Artificial Intelligence  Conference},
  year = {1998},
  editor = {Benjamin J. Kuipers and Bonnie Webber},
  pages = {588--593},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {kr;qualitative-utility;case-based-reasoning;practical-reasoning;
  		possibilistic-logic;}
  }

@incollection{ dubois_d-etal:1998c,
  author = {Didier Dubois and Serafin Moral and Henri Prade},
  title = {Belief Change Rules in Ordinal and Numerical Uncertainty
                Theories},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 3:  Belief Change},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Didier Dubois and Henri Prade},
  pages = {311--392},
  address = {Dordrecht},
  topic = {belief-revision;}
  }

@article{ dubois_d-etal:2000a,
  author = {Didier Dubois and Petr H\'ajek and Henri Prade},
  title = {Knowledge-Driven versus Data-Driven Logics},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {9},
  number = {1},
  pages = {65--89},
  topic = {reasoning-about-uncertainty;kr;}
  }

@incollection{ dubois_d-etal:2002a,
  author = {Didier Dubois and H\'el\`ene Fargier and Patrice Perny},
  title = {On the Limitations of Ordinal Approaches to Decision-Making},
  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 = {133--144},
  address = {San Francisco, California},
  topic = {kr;qualitative-utility;}
  }

@article{ dubois_d-etal:2003a,
  author = {Didier Dubois and H\'elene Fargier and Patrice Perny},
  title = {Qualitative Decision Theory with Preference Relations and
  	Comparative Uncertainty: An Axiomatic Approach},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {148},
  number = {1--2},
  pages = {219--260},
  topic = {possibility-theory;fuzzy-set-theory;qualitative-utility;}
  }

@book{ dubois_d-etal:2004a,
  editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams},
  title = {{KR}2004: Principles of Knowledge Representation and Reasoning},
  publisher = {AAAI Press},
  year = {2004},
  address = {Menlo Park, California},
  contentnote = {TC:
     1. John Bell, "Causation and Causal Conditionals", pp. 2--11
     2. Joseph Y. Halpern, "Sleeping Beauty Reconsidered:
     		Conditioning and Reflection in Asynchronous
		Systems", pp. 12--22
     3. Thomas Lukasiewitz, "Weak Nonmonotonic Probabilistic
     		Logics", pp. 23--33
     4. Gabriel Kern-Isberner and Jens Fissler, "Knowledge Discovery
     		by Reversing Inductive Knowledge
		Representation", pp.  34--43
     5. Anthony Galton, "Multidimensional Mereotopology", pp. 45--54
     6. Stefan Schultz and Udo Hahn, "Parthood as Spatial
     		Inclusion---Evidence from Biometrical
		Conceptualizations", pp. 55--63
     7. Murray Shanahan and David Rundell, "A Logic-Based Formulation
     		of Active Visual Perception", pp. 64--72
     8. Fiora Pirri, "Indoor Environment Classification and
     		Perceptual Matching", pp. 73--83
     9. Fusan Yaman and Dana Nau and V.S. Subramanian, "A Logic of
     		Motion", pp. 85--94
    10. Jean Fran\c{c}ois Condotta and G\'erard Ligozat,
    		"Axiomatizing the Cyclic Interval Calculus", pp. 95--104
    11. Marc Denecker, "What's in a Model?  Epistemological Analysis
    		of Logic Programming", pp. 106--113
    12. James M. Fielding and Jonathan Simon and Werner Ceusters and
    		Barry Smith, "Ontological Theory for Ontological
		Engineering: Biomedical Systems Information
		Integration", pp. 114--120
    13. Joseph Y. Halpern, "Intransitivity and Vagueness", pp. 121--129
    14. Salem Benferhat and Jean Fran\c{c}ois Bonnefon and Rui Da
    		Silva Neves, "An Experimental Analysis of
		Possibilistic Default Reasoning", pp. 130--139
    15. Thomas Eiter and Thomas Lukasiewicz and Roman Schindlauer
  		and Hans Tompits, "Combining Answer Set Programming
		with Description Logics for the Semantic Web", pp. 141--151
    16. Ullrich Hustadt and Boris Motik and Ulrike Sattler, "Reducing
    		${\cal SHIQ}^-$ Description Logic to Disjunctive
		Datalog Programs", pp. 152--162
    17. Volker Haarslev and Ralf M\"oller, "Optimization Techniques
    		for Retrieving Resources Described in
		{OWL/RDF} Documents: First Results", pp. 163--173
    18. Leila Amgoud and Henri Prade, "Reaching Agreement through
    		Argumentation: A Possibilistic Approach", pp. 175--182
    19. Philippe Besnard and Sylvie Doutre, "Characterization of
    		Semantics for Argument Systems", pp. 183--193
    20. Leila Amgoud and Claudette Cayrol, "On the Use of an
    		{ATMS} for Handling Conflicting Desires", pp. 194--201
    21. Sylvie Coste-Marquis and Jer\^ome Lang and Paolo
  		Liberatore and Pierre Marquis, "Expressive Power and
		Succinctness of Propositional Languages for
		Preference Representation", pp. 203--212
    22. Gerhard Brewka, "Complex Preferences for Answer Set
    		Optimization", pp. 213--223
    23. Christophe Gonzales and Patrice Perny, "{GAI} Networks for
    		Utility Elicitation", pp. 224--233
    24. Ernest Davis, "A First-Order Theory of Communicating
    		First-Order Formulas", pp. 235--245
    25. B\`inh V\~u Tr\^an and James Harland and Margaret Hamilton,
    		"Observation Expectation Reasoning in Agent
		Systems", pp. 246--254
    26. Guido Boella and Leendert van der Torre, "Regulative and
    		Constitutive Norms in Normative Multiagent
		Systems", pp. 255--265
    27. Claudio Massalo and Laure Vieu and Emanuele Bottazzi
  		and Carola Catenacci and Roberta Ferrario
		and Aldo Gangemi and Nicola Guarino, "Social Roles
		and Their Descriptions", pp. 267--277
    28. Ken Kaneiwa and Riichiro Mizoguchi, "Sort-Hierarchy and
    		Rigidity", pp. 278--268
    29. Pawel Garbacz, "The Four Dimensions of
    		Artifacts", pp.  289--299
    30. Carol Eschenbach, "How to Interleave Knowledge about Object
    		Structure and Concepts", pp. 300--309
    31. Thomas Meyer and Norman Y. Foo and Rex Kwok and Dongmo
    		Zhang, "Logical Foundations of Negotiation:
		Strategies and Preferences", pp. 311--318
    32. Pavlos Peppas and Samir Chopra and Norman Y. Foo, "Distance
    		Semantics for Relevance-Sensitive Belief
		Revision", pp. 319--328
    33. Isabelle Bloch and Ram\'on Pino-P\'erez and Carlos
  		Uzc\'ategui, "A Unified Treatment for Knowledge
		Dynamics", pp. 329--337
    34. Boris Mailh\'e and Henri Prade, "Updating of a Probabilistic
    		Knowledge Base by Crisp or Fuzzy Transition
		Rules", pp. 338--346
    35. Guilin Qi and Weiru Liu and David H. Glass, "A
    		Split-Combination Method for Merging Inconsistent
  		Possibilistic Knowledge Bases", pp. 348--356
    36. Patricia Everaere and S\'ebastian Konieczny and Pierre
  		Marquis, "On Merging Strategy-Proofness", pp. 357--367
    37. Luciano Serafini and Floris Roelofsen, "Satisfiability for
    		Propositional Concepts", pp. 369--376
    38. Thomas Eiter and Wolfgang Faber and Michael Fink and
  		Gerald Pfeifer and Stefan Woltran, "Complexity of
		Model Checking and Bounded Predicate
  		Arities for Non-Ground Answer Set Programming", pp. 377--387
    39. Marco Cadoli and Toni Mancini, "Automated Reformulation of
    		Specifications by Safe Delay of Constraints", pp. 388--398
    40. Perry Groot and Annette ten Teije and Frank van Harmelen,
    		"Towards a Structured Analysis of Approximate Problem
  		Solving: A Case Study in Classification", pp. 399--406
    41. Jean-Fran\c{c}ois Baget, "Improving the Forward-Chaining
    		Algorithm for Conceptual Graphs Rules", pp. 407--414
    42. Gregory Provan, "Inferential Complexity Control for
    		Model-Based Abduction", pp. 415--425
    43. Alexander Bochman, "A Causal Logic of Logic Programming", pp. 427--437
    44. Luc De Raedt and Jan Ramon, "Condensed Representations for
    		Inductive Logic Programming", pp. 438--446
    45. Thomas Eiter and Michael Fink and Hans Tompits and Stefan
  		Woltran, "On Eliminating Disjunctions in Stable Logic
		Programming", pp. 447--457
    46. Patrick Doherty and Andrzej Szalas and Witold Lukasiewicz,
    		"Approximative Query Techniques for Agents with
		Heterogeneous Ontologies and Perceptive
		Capabilities", pp. 459--468
    47. Diego Calvanese and Giuseppe De Giacomo and Domenico
  		Lembo and Maurizio Lenzerini and Riccardo Rosati,
		"What to Ask to a Peer: Ontology-Based Query
		Reformulation", pp.  469--478
    48. Clinton Smyth and David Poole, "Qualitative Probabilistic
    		Matching with Hierarchical
		Descriptions", pp.  479--486
    49. Samil Mishra and Bruce Porter and Pedro Romero and
  		Dan Tecuci and Peter Yeh, "A Question-Answering
		System for {AP} Chemistry: Assessing
  		{KR\&R} Technologies", pp. 488--497
    50. Youngia Park, "Gloss{O}nt: A Concept-Based Ontology Building
    		Tool", pp. 498--506
    51. Noah S. Friedland and Paul G. Allen and Michael Witbrock
  		and Gavin Matthews and Nancy Salay and Pierluigi
		Miraglia and Jurgen Angele and Steffen Staub and
		David Israel and Vinay Chaudhri and Bruce Porter and
		Ken Barker and Peter Clark, "Towards a Quantitative,
		Platform-Independent Analysis
  		of Knowledge Systems", pp. 507--514
    52. Gerhard Lakemeyer and Hector Levesque, "Situations, Si!
    		Situation Terms, No!", pp. 516--526
    53. Andreas Herzig and Dominique Longin, "{C\&L} Intentions
    		Revisited", pp. 527--535
    54. Fangzhen Lin, "Discovering State Invariants", pp. 536--544
    55. Marc Denecker and Eugenia Ternovska, "Inductive Situation
    		Calculus", pp. 545--555
    56. Nam Tran and Chitta Baral, "Reasoning about Triggered Actions
    		in {A}ns{P}rolog and Its Applications to Molecular
		Interactions in Cells", pp. 554--563
    57. Stuart C. Shapiro, "A Logic of Arbitrary and Indefinite
    		Objects", pp. 565--575
    58. Kaile Su and Guanfeng Lv and Yan Zhang, "Reasoning about
    		Knowledge by Variable Forgetting", pp. 576--586
    59. Yongmei Liu and Gerhard Lakemeyer and Hector J. Levesque, "A
    		Logic of Limited Belief for Reasoning with Disjunctive
  		Information", pp. 587--597
    60. Eric Pacuit and Samer Salame, "Majority Logic", pp. 598--604
    61. Yi Zhou and XiaoPing Chen, "Partial Implication Semantics for
    		Desirable Propositions", pp. 606--611
    62. Ronald P.A. Petrick and Fahiem Bacchus, "Extending the
    		Knowledge-Based Approach to Planning with
  		Incomplete Information and Sensing", pp. 613--622
    63. Yves Martin and Imam Narasamdya and Michael Thielscher,
    		"Knowledge of Other Agents and Communicative Actions in
  		the Fluent Calculus", pp. 623--633
    64. Alfredo Gabaldon, "Precondition Control and the Progression
    		Algorithm", pp. 634--643
    65. J\'erome Lang, "A Prefrence-Based Interpretation of Others
    		Agents' Actions", pp. 644--653
  },
  rtnote = {In RHT Collection.  CS Conference shelves.},
  topic = {kr;}
 }

@incollection{ dubois_d-etal:2006a,
  author = {Didier Dubois and Angelo Gilio and Kern-Isherner},
  title = {Probabilistic Abduction without Priors},
  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 = {420--430},
  address = {Menlo Park, California},
  topic = {abduction;Bayesian-reasoning;}
  }

@article{ dubois_d-etal:2007a,
  author = {Didier Dubois and H\'el\`ene Fargier and Patrice Perny},
  title = {Corrigendum to `Qualitative Decision Theory with
  		Preference Relations and Comparative Uncertainty: An
		Axiomatic Approach'},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {5--6},
  pages = {361--362},
  xref = {Correction to: dubois-fargier:2006a},
  topic = {qualitative-utility;}
  }

@incollection{ dubois_d-fargier:2006a,
  author = {Didier Dubois and H\'elene Fargier},
  title = {Qualitative Decision Making with Bipolar Information},
  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 = {175--185},
  address = {Menlo Park, California},
  xref = {Correction: dubois_d-etal:2007a},
  topic = {qualitative-utility;}
  }

@article{ dubois_d-prade:1986a,
  author = {Didier Dubois and Henri Prade},
  title = {Belief Structures, Possibility Theory, and Decomposible
  	Confidence Measures on Finite Sets},
  journal = {Computers and Artificial Intelligence},
  year = {1986},
  volume = {5},
  pages = {403--416},
  missinginfo = {number},
  topic = {qualitative-probability;reasoning-about-uncertainty;}
  }

@book{ dubois_d-prade:1986b,
  author = {Didier Dubois and Henri Prade},
  title = {Possibility Theory: An Approach to Computerized Processing
  	of Uncertainty},
  publisher = {Plenum Press},
  year = {1986},
  address = {New York},
  topic = {qualitative-probability;reasoning-about-uncertainty;}
 }

@article{ dubois_d-prade:1988a,
  author = {Didier Dubois and Henri Prade},
  title = {Default Reasoning and Possibility Theory},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {35},
  number = {2},
  pages = {243--257},
  topic = {nonmonotonic-logic;possibility-theory;}
  }

@incollection{ dubois_d-prade:1991a,
  author = {Didier Dubois and Henri Prade},
  title = {Conditional Objects and Non-Monotonic Reasoning},
  booktitle = {{KR}'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {175--185},
  address = {San Mateo, California},
  topic = {nonmonotonic-reasoning;conditionals;conditional-reasoning;}
  }

@article{ dubois_d-prade:1991b,
  author = {Didier Dubois and Henri Prade},
  title = {Epistemic Entrenchment and Possibilistic Logic},
  journal = {Artificial Intelligence},
  year = {2991},
  volume = {50},
  number = {2},
  pages = {223--239},
  topic = {possibilistic-logic;}
  }

@inproceedings{ dubois_d-prade:1992a,
  author = {Didier Dubois and Henri Prade},
  title = {Possibilistic Logic, Preferential Models, and Related
  	Issues},
  booktitle = {Proceedings of the Twelfth International Joint
  	Conference on Artificial Intelligence},
  year = {1991},
  editor = {Barbara Grosz and John Mylopoulos},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  missinginfo = {pages},
  topic = {qualitative-probability;reasoning-about-uncertainty;
  	model-preference;}
  }

@incollection{ dubois_d-prade:1992b,
  author = {Didier Dubois and Henri Prade},
  title = {Belief Change and Possibility Theory},
  booktitle = {Belief Revision},
  publisher = {Cambridge University Press},
  year = {1992},
  editor = {Peter G\"ardenfors},
  pages = {142--182},
  address = {Cambridge},
  topic = {belief-revision;qualitative-probability;
  	reasoning-about-uncertainty;}
  }

@incollection{ dubois_d-prade:1994a,
  author = {Didier Dubois and Henri Prade},
  title = {Conditional Objects as Nonmonotonic Consequence Relations:
  	Main Results},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {170--177},
  address = {San Francisco, California},
  topic = {kr;conditionals;nonmonotonic-reasoning;kr-course;}
  }

@incollection{ dubois_d-prade:1995a,
  author = {Didier Dubois and Henri Prade},
  title = {Conditional Objects, Possibility Theory and Default Rules},
  booktitle = {Conditionals: From Philosophy to Computer Science},
  publisher = {Oxford University Press},
  year = {1995},
  editor = {Gabriella Crocco and Luis Fari\~nas del Cerro and Andreas Herzig},
  pages = {301--336},
  address = {Oxford},
  topic = {conditionals;nonmonotonic-logic;nonmonotonic-conditionals;}
  }

@inproceedings{ dubois_d-prade:1995b,
  author = {Didier Dubois and Henry Prade},
  title = {Possibility Theory as a Basis for Qualitative Decision
  	Theory},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {1924--1930},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {qualitative-utility;}
  }

@incollection{ dubois_d-prade:1996a,
  author = {Didier Dubois and Henri Prade},
  title = {Non-Standard Theories of Uncertainty in Plausible
		Reasoning},
  booktitle = {Principles of Knowledge Representation},
  publisher = {{CSLI} Publications},
  year = {1996},
  editor = {Gerhard Brewka},
  pages = {1--32},
  address = {Stanford, California},
  topic = {reasoning-about-uncertainty;Bayesian-networks;
  	possibilistic-logic;}
  }

@book{ dubois_d-prade:1998a,
  editor = {Didier Dubois and Henri Prade},
  title = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems:  Belief Change},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  volume = {3},
  address = {Dordrecht},
  contentsnote = {TC:
    1. Didier Dubois and Henri Prade, "Introduction: Revising,
		Updating and Combining Knowledge", pp. 1--15
    2. Sven Ove Hansson, "Revision of Belief Sets and Belief
		Bases", pp. 16--75
    3. Bernhard Nebel, "How Hard is it to Revise a Belief
                Base?", pp. 77--145
    4. Sten Lindstr\"om and Wlodek Rabinowicz, "Conditionals
		and the {R}amsey Test", pp. 147--188
    5. Andreas Herzig, "Logics for Belief Base Updating", pp. 189--231
    6. Laurence Cholvy, "Reasoning about Merged
                Information", pp. 233--263
    7. Philippe Smets, "Numerical Representation of
               Uncertainty", pp. 265--309
    8. Didier Dubois and Serafin Moral and Henri Prade, "Belief
		Change Rules in Ordinal and Numerical Uncertainty
                Theories", pp. 311--392
    9. J\"org Gebhardt and Rudolf Kruse, "Parallel Combination of
		Information Sources", pp. 393--439
     },
  topic = {belief-revision;}
 }

@incollection{ dubois_d-prade:1998b,
  author = {Didier Dubois and Henri Prade},
  title = {Possibility Theory: Qualitative and Quantitative Aspects},
  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 = {169--226},
  address = {Dordrecht},
  topic = {possibility-theory;}
  }

@incollection{ dubois_d-prade:1998c,
  author = {Didier Dubois and Henri Prade},
  title = {Introduction: Revising, Updating and Combining Knowledge},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 3:  Belief Change},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Didier Dubois and Henri Prade},
  pages = {1--15},
  address = {Dordrecht},
  topic = {belief-revision;knowledge-integration;}
  }

@inproceedings{ dubois_d-prade:1999a,
  author = {Didier Dubois and Henri Prade},
  title = {Decision, Nonmonotonic Reasoning and Possibilistic
  		Logic},
  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 = {qualitative-decision-theory;possibilistic-logic;}
  }

@article{ dubois_d-prade:2003a,
  author = {Didier Dubois and Henri Prade},
  title = {Fuzzy Set Possibility Theory-Based Methods in Artificial
  	Intelligence},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {148},
  number = {1--2},
  pages = {1--9},
  topic = {possibility-theory;fuzzy-set-theory;}
  }

@inproceedings{ dubois_j:1996a,
  author = {John Dubois},
  title = {Dialogic Syntax},
  booktitle = {Proceedings of the International Pragmatics Association},
  year = {1996},
  month = {July},
  rtnote = {Conference held in Mexico City.},
  rtnote = {Cited in RHT-JH ACL97 paper.},
  contentnote = {Has to do with pattern
  	repetition in discourse.},
  topic = {discourse;pragmatics;}
  }

@article{ duboulay:2001a,
  author = {Benedict du Boulay},
  title = {Review of \emph{{A}rtificial Intelligence: A New Synthesis},
  	    by {N}ils {J}. {N}ilsson,
          {\it Artificial Intelligence: Theory and Practice},
	   by {T}homas {D}ean, {J}ames {F}. {A}llen, and {Y}. {A}loimonos,
	  {\it Computational Intelligence: A Logical Approach}, by
	   by {D}avid {P}oole, {A}lan {M}ackworth, and {R}andy {G}oebel,
	  {\it Artificial Intelligence: A Modern Approach},
           by {S}tuart {R}ussell and {P}eter {N}orvig
    },
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {125},
  number = {1--2},
  pages = {227--232},
  xref = {Review of nilsson_nj:1998a, allen_jf-etal, poole-etal:1988a,
  	russell-norvig:1995a, },
  topic = {AI-intro;AI-text;}
  }

@incollection{ dubreu:1954a,
  author = {G. Dubreu},
  title = {Representation of a Preference Ordering by a
	Numerical Function},
  booktitle = {Decision Processes},
  publisher = {John Wiley and Sons},
  year = {1960},
  address = {New York},
  editor = {Robert M. Thrall and C.H. Coombs and R.L. Davis},
  pages = {159--165},
  missinginfo = {A's 1st name, E's 1st name},
  topic = {qualitative-preference;}
  }

@article{ ducasse:1926a,
  author = {C.J. Ducasse},
  title = {On the Nature and Observability of the Causal Relation},
  journal = {The Journal of Philosophy},
  year = {1926},
  volume = {23},
  pages = {57--68},
  topic = {causality;}
  }

@book{ duchan-etal:1995a,
  editor = {Judith F. Duchan and Gail A. Bruder and Lynne E. Hewitt},
  title = {Deixis in Narrative: A Cognitive Science Perspective},
  publisher = {Lawrence Erlbaum Associates},
  year = {1995},
  address = {Mahwah, New Jersey},
  xref = {Review: cremers:1996a.},
  topic = {deixis;psycholinguistics;pragmatics;}
 }

@unpublished{ dudman:1981a,
  author = {Victor C. Dudman},
  title = {Time and Tense in {E}nglish},
  year = {1981},
  note = {Unpublished manuscript, Macquarie University.},
  rtnote = {In RHT collection.},
  topic = {nl-tense;conditionals;}
  }

@article{ dudman:1983a,
  author = {Victor C. Dudman},
  title = {Tense and Time in {E}nglish Verb CLusters of the Primary
  	Pattern},
  journal = {Australasian Journal of Linguistics},
  year = {1983},
  volume = {3},
  pages = {25-44},
  missinginfo = {number},
  topic = {nl-tense;}
  }

@article{ dudman:1984a,
  author = {Victor C. Dudman},
  title = {Conditional Interpretations of `If' Sentences},
  journal = {Australian Journal of Linguistics},
  year = {1984},
  volume = {4},
  number = {2},
  pages = {143--204},
  missinginfo = {A's 1st name, number},
  topic = {conditionals;}
  }

@article{ dudman:1984b,
  author = {Victor C. Dudman},
  title = {Parsing {\it If\/}-Sentences},
  journal = {Analysis},
  year = {1984},
  volume = {44},
  pages = {145--153},
  missinginfo = {number},
  topic = {conditionals;}
  }

@article{ dufourd-etal:1998a,
  author = {Jean-Fran\c{c}ois Dufourd and Pascal Mathis
		and Pascal Schreck},
  title = {Geometric Construction by Assembling Solved
		Subfigures},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {99},
  number = {1},
  pages = {73--119},
  topic = {computer-aided-design;geometrical-reasoning;}
  }

@book{ dumas-redish:1993a,
  author = {Joseph S. Dumas and Janice C. Redish},
  title = {A Practical Guide to Usability Testing},
  publisher = {Ablex Publishing Corp.},
  year = {1993},
  address = {Norwood, New Jersey},
  ISBN = {089391990X (cl)},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 D861 1993.},
  topic = {HCI;}
 }

@book{ dummett:1973a,
  author = {Michael A.E. Dummett},
  title = {Frege: Philosophy of Language},
  publisher = {Duckworth},
  year = {1973},
  address = {London},
  topic = {Frege;philosophy-of-logic;philosophy-of-language;}
 }

@article{ dummett:1975a1,
  author = {Michael A.E. Dummett},
  title = {Wang's Paradox},
  journal = {Synt\`hese},
  year = {1975},
  volume = {30},
  pages = {301--324},
  missinginfo = {number},
  xref = {Republication: dummett:1975a2.},
  topic = {vagueness;}
  }

@incollection{ dummett:1975a2,
  author = {Michael A.E. Dummett},
  title = {Wang's Paradox},
  booktitle = {Vagueness: A Reader},
  publisher = {The {MIT} Press},
  year = {1997},
  editor = {Rosanna Keefe and Peter Smith},
  pages = {99--118},
  address = {Cambridge, Massachusetts},
  xref = {Republication of dummett:1975a1.},
  topic = {vagueness;sorites-paradox;}
  }

@incollection{ dummett:1975b1,
  author = {Michael Dummett},
  title = {What Is a Theory of Meaning?},
  booktitle = {Mind and Language: {W}olfson College Lectures},
  publisher = {Oxford University Press},
  year = {1975},
  editor = {Samuel Guttenplan},
  address = {Oxford},
  missinginfo = {pages},
  xref = {Republication: dummett:1975b2.},
  rtnote = {In RHT collection.  MT SUmmer 2001.},
  topic = {foundations-of-semantics;Davidson-semantics;}
  }

@incollection{ dummett:1975b2,
  author = {Michael Dummett},
  title = {What Is a Theory of Meaning?},
  booktitle = {Readings in the Philosophy of Language},
  publisher = {The {MIT} Press},
  year = {1996},
  editor = {Peter Ludlow},
  pages = {129--155},
  address = {Cambridge, Massachusetts},
  xref = {Republication of dummett:1975b1.},
  topic = {foundations-of-semantics;Davidson-semantics;}
  }

@incollection{ dummett:1976a,
  author = {Michael Dummett},
  title = {What is a Theory of Meaning ({II})},
  booktitle = {Truth and Meaning: Essays in Semantics},
  publisher = {Oxford University Press},
  year = {1976},
  editor = {Gareth Evans and John Mc{D}owell},
  pages = {67--137},
  address = {Oxford},
  topic = {foundations-of-semantics;Davidson-semantics;}
  }

@book{ dummett:1977a,
  author = {Michael A.E. Dummett},
  title = {Elements of Intuitionism},
  publisher = {Clarendon Press},
  address = {Oxford},
  year = {1977},
  topic = {intuitionistic-mathematics;foundations-of-mathematics;}
  }

@incollection{ dummett:1979a,
  author = {Michael A.E. Dummett},
  title = {What Does a Theory of Use Do for a
		Theory of Meaning?},
  booktitle = {Meaning and Use: Papers Presented at the Second
		{J}erusalem Philosophy Encounter},
  publisher = {D. Reidel Publishing Co.},
  year = {1979},
  editor = {Avishai Margalit},
  pages = {123--135},
  address = {Dordrecht},
  topic = {foundations-of-pragmatics;pragmatics;}
  }

@incollection{ dummett:1979b,
  author = {Michael A.E. Dummett},
  title = {Common-Sense and Physics},
  booktitle = {Perception and Identity},
  publisher = {MacMillan},
  year = {1979},
  editor = {G.F. Macdonald},
  address = {London},
  missinginfo = {pages, E's 1st name},
  topic = {common-sense;foundations-of-physics;}
  }

@article{ dummett:2003a,
  author = {Michael Dummett},
  title = {Truth and the Past.  Lecture {III}: The Metaphysics of Time},
  journal = {The Journal of Philosophy},
  year = {2003},
  volume = {100},
  number = {1},
  pages = {38--53},
  topic = {philosophy-of-time;philosophical-realism;}
  }

@article{ dummett-lemon_ej:1959a,
  author = {Michael A.E. Dummett and E.J. Lemon},
  title = {Modal logics between {S4} and {S5}},
  journal = {Zeitschrift f\"{u}r {M}athematische {L}ogik
               und {G}rundlagen der {M}athematik},
  volume = {5},
  year = {1959},
  pages = {250--264},
  topic = {modal-logic;}
    }

@article{ duncan_c:2007a,
  author = {Craig Duncan},
  title = {The Persecutor's Wager},
  journal = {The Philosophical Review},
  year = {2007},
  volume = {116},
  number = {1},
  pages = {1--50},
  topic = {consequentialism;}
  }

@book{ duncan_s-fiske:1977a,
  author = {Starkey {Duncan, Jr.} and Donald W. Fiske},
  title = {Face-To-Face Interaction: Research, Methods, and Theory},
  publisher = {Lawrence Erlbaum Associates},
  year = {1977},
  address = {Hillsdale, New Jersey},
  ISBN = {0470991135},
  rtnote = {UMich Social Work, BF637.C45 D92.},
  topic = {facial-expression;social-psychology;interpersonal-communication;}
 }

@article{ duncanjones:1964a,
  author = {Austin Duncan-Jones},
  title = {Performance and Promise},
  journal = {Philosophical Quarterly},
  year = {1964},
  volume = {14},
  pages = {97--117},
  missinginfo = {number},
  topic = {speech-acts;pragmatics;}
  }

@inproceedings{ dung_pm:1993a,
  author = {Phanh Minh Dung},
  title = {On the Accessibility of Arguments and its Fundamental Role
  	in Nonmonotonic Reasoning and Logic Programming},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {852--857},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  topic = {nonmonotonic-reasoning;argument-based-defeasible-reasoning;}
  }

@article{ dung_pm:1995a,
  author = {Phan Minh Dung},
  title = {On the Acceptability of Arguments and Its Fundamental Role in
  	Nonmonotonic Reasoning, Logic Programming, and n-Person Games},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {77},
  number = {2},
  pages = {321--257},
  topic = {argumentation-theory;logic-programming;}
  }

@article{ dung_pm:1995b,
  author = {Phan Minh Dung},
  title = {An Argumentation Theoretic Foundation for Logic Programming},
  journal = {Journal of Logic Programming},
  year = {1995},
  volume = {22},
  pages = {151--177},
  topic = {argumentation-theory;logic-programming;}
  }

@article{ dung_pm:1995c,
  author = {Phan Minh Dung},
  title = {On the Acceptability of Arguments and Its Fundamental Role
  	in Nonmonotonic Reason, Logic Programming, and $N$-Person
	Games},
  journal = {Artificial Intelligence},
  volume = {77},
  year = {1995},
  pages = {321--357},
  topic = {argument-based-defeasible-reasoning;
  	nonmonotonic-reasoning;logic-programming;game-theory;}
    }

@article{ dung_pm-etal:2006a,
  author = {Phan Minh Dung and Robert A. Kowalski and Francesca Toni},
  title = {Dialectic Proof Procedures for Assumption-Based, Admissible
  	Argumentation},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {2},
  pages = {114--159},
  topic = {argumentation-theory;admissibility-semantics;nonmonotonic-logic;
  	nonmonotonic-reasoning;}
  }

@article{ dung_pm-etal:2007a,
  author = {Phan Minh Dung and Paolo Mancarella and Francesca Toni},
  title = {Computing Ideal Sceptical Argumentation},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {10--15},
  pages = {642--674},
  topic = {argumentation-theory;}
  }

@inproceedings{ dung_pm-son_tc:1996a,
  author = {Phan Minh Dung and Tran Cao Son},
  title = {Non-Monotonic Inheritance, Argumentation, and Logic
		Programming},
  booktitle = {Proceedings of the Third International Conference on
		Logic Programming and Nonmonotonic Reasoning},
  year = {1996},
  pages = {317--329},
  missinginfo = {editor, publisher, organization, address},
  topic = {logic-programming;argumentation-theory;inheritance-theory;}
  }

@incollection{ dung_pm-son_tc:1996b,
  author = {Phan Minh Dung and Tran Cao Son},
  title = {An Argumentation-Theoretic Approach to Reasoning with Specificity},
  booktitle = {{KR}'96: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro},
  pages = {506--517},
  address = {San Francisco, California},
  topic = {kr;default-logic;specificity;inheritance-theory;}
  }

@article{ dung_pm-son_tc:2001a,
  author = {Phan Minh Dung and Tran Cao Son},
  title = {An Argument-Based Approach to Reasoning with Specificity},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {133},
  number = {1--2},
  pages = {35--85},
  topic = {nonmonotonic-reasoning;specificity;
  	argument-based-defeasible-reasoning;}
  }

@incollection{ duninkeplicz:1994a,
  author = {Barbara Dunin-Keplicz},
  title = {An Architecture with Multiple Meta-Levels for the
  		Development of Correct Programs},
  booktitle = {Logic Programming Synthesis and Transformation,
  	Meta-Programming in Logic: Fourth International Workshops,
	{LOBSTR}'94 and	{META}'94, Pisa, Italy},
  publisher = {Springer-Verlag},
  year = {1994},
  editor = {Laurent Fribourg and Franco Turini},
  pages = {293--310},
  address = {Berlin},
  topic = {metaprogramming;}
  }

@article{ dunn:1967a,
  author = {J. Michael Dunn},
  title = {Drange's Paradox Lost},
  journal = {Philosophical Studies},
  year = {1967},
  volume = {6},
  number = {18},
  pages = {94--95},
  rtnote = {In RHT collection.},
  topic = {truth-value-gaps;semantic-paradoxes;}
  }

@unpublished{ dunn:1969a,
  author = {J. Michael Dunn},
  title = {Natural Language and Formal Language},
  year = {1969},
  note = {Unpublished manuscript, Indiana University.},
  rtnote = {In RHT collection.},
  topic = {relevance-logic;natural-language/formal-language;}
  }

@article{ dunn:1975a,
  author = {J. Michael Dunn},
  title = {Axiomatizing {B}elnap's Conditional Assertion},
  journal = {Journal of Philosophical Logic},
  year = {1975},
  volume = {4},
  number = {4},
  pages = {383--397},
  topic = {conditional-assertion;}
  }

@article{ dunn:1976a,
  author = {J. Michael Dunn},
  title = {Intuitive Semantics for First-Degree Entailment and
  	`Coupled Trees'\, },
  journal = {Philosophical Studies},
  year = {1976},
  volume = {29},
  pages = {149--168},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {relevance-logic;}
  }

@article{ dunn:1980a,
  author = {J. Michael Dunn},
  title = {A Sieve for Entailments},
  journal = {Journal of Philosophical Logic},
  year = {1980},
  volume = {9},
  number = {1},
  pages = {41--57},
  topic = {relevance-logics;}
  }

@incollection{ dunn:1986a,
  author = {J. Michael Dunn},
  title = {Relevance Logic and Entailment},
  booktitle = {Handbook of Philosophical Logic, Volume {III}:
  	Alternatives in Classical Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1986},
  editor = {Dov Gabbay and Franz Guenther},
  pages = {117--224},
  address = {Dordrecht},
  topic = {relevance-logic;}
 }

@article{ dunn:1987a,
  author = {J. Michael Dunn},
  title = {Relevant Predication {I}: the Formal Theory},
  journal = {Journal of Philosophical Logic},
  year = {1987},
  volume = {16},
  number = {4},
  pages = {347--381},
  missinginfo = {number},
  topic = {relevance-logic;}
  }

@incollection{ dunn:1989a,
  author = {J. Michael Dunn},
  title = {Relevance Logic and Entailment},
  booktitle = {Handbook of Philosophical Logic, Volume {III}},
  publisher = {D. Reidel Publishing Co.},
  year = {1989},
  editor = {Dov Gabbay and Franz Guenthner},
  pages = {117--224},
  address = {Dordrecht},
  topic = {relevance-logic;}
  }

@incollection{ dunn:1990a,
  author = {J. Michael Dunn},
  title = {The Frame Problem and Relevant Predication},
  booktitle = {Knowledge Representation and Defeasible Reasoning},
  publisher = {Kluwer Academic Publishers},
  year = {1990},
  editor = {Henry Kyburg and Ronald Loui and Greg Carlson},
  pages = {89--95},
  address = {Dordrecht},
  topic = {kr;frame-problem;relevance-logic;}
  }

@article{ dunn:1990b,
  author = {J. Michael Dunn},
  title = {Relevant Predication {II}: Intrinsic Properties and
  	Internal Relations},
  journal = {Philosophical Studies},
  year = {1990},
  volume = {60},
  pages = {117--206},
  topic = {relevant-predication;relevance-logic;real-properties;
  	internal/external-properties;}
  }

@incollection{ dunn:1990c,
  author = {J. Michael Dunn},
  title = {Relevant Predication {III}: Essential Properties},
  booktitle = {Truth or Consequences: Essays in Honor of {N}uel {B}elnap},
  publisher = {Kluwer Academic Publishers},
  year = {1990},
  editor = {J. Michael Dunn and Anil Gupta},
  pages = {77--95},
  address = {Dordrecht},
  topic = {relevant-predication;relevance-logic;real-properties;
  		internal/external-properties;}
  }

@unpublished{ dunn:1990d,
  author = {J. Michael Dunn},
  title = {Gaggle Theory: An Abstraction of {G}alois Connections
  	and Residuation, with Applications to Negation, Implication,
	and Various Logical Operators},
  year = {1990},
  note = {Unpublished manuscript, Indiana University},
  rtnote = {In RHT collection.},
  topic = {algebraic-logic;relevance-logic;}
  }

@incollection{ dunn:1993a,
  author = {J. Michael Dunn},
  title = {Star and Perp: Two Treatments of Negation},
  booktitle = {Philosophical Perspectives, Volume 7:
  	Language and Logic},
  publisher = {Blackwell Publishers},
  year = {1993},
  editor = {James E. Tomberlin},
  pages = {331--357},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {negation;relevance-logic;}
  }

@article{ dunn:1995a,
  author = {J. Michael Dunn},
  title = {Positive Modal Logic},
  journal = {Studia Logica},
  year = {1995},
  volume = {55},
  number = {2},
  pages = {259--271},
  contentnote = {Axiomatizes negation-free minimal modal logic.},
  topic = {modal-logic;positive-logic;}
  }

@article{ dunn:2000a,
  author = {J. Michael Dunn},
  title = {Partiality and its Dual},
  journal = {Studia Logica},
  year = {2000},
  volume = {66},
  number = {1},
  pages = {5--40},
  topic = {relevance-logic;partial-logic;4-valued-logic;}
  }

@article{ dunn-belnap:1968a,
  author = {J. Michael Dunn and Nuel D. {Belnap, Jr.}},
  title = {The Substitution Interpretation of the Quantifiers},
  journal = {No\^us},
  year = {1999},
  volume = {33},
  number = {1},
  pages = {177--185},
  topic = {substitutional-quantification;}
  }

@book{ dunn-epstein_g:1977a,
  editor = {J. Michael Dunn and George Epstein},
  title = {Modern Uses Of Multiple-Valued Logic: Invited Papers From the
    Fifth International Symposium on Multiple-Valued Logic, held at
    Indiana University, Bloomington, Indiana, May 13--16, 1975},
  publisher = {D. Reidel Publishing Co.},
  year = {1977},
  address = {Dordrecht},
  ISBN = {9027707472},
  rtnote = {UMich Science, QA9.45 .I571 1975},
  topic = {multivalued-logic;}
 }

@article{ dunn-etal:2005a,
  author = {J. Michael Dunn and Tobia J. Hagge and Lawrence S, Moss
  		and Zhenghan Wang},
  title = {Quantum Logic as Motivated by Quantum Computing},
  journal = {Journal of Symbolic Logic},
  year = {2005},
  volume = {70},
  number = {2},
  pages = {353--359},
  topic = {quantum-logic;quantum-computing;}
  }

@book{ dunn-gupta_a1:1990a,
  editor = {J. Michael Dunn and Anil Gupta},
  title = {Truth or Consequences: Essays in Honor of {N}uel
        {B}elnap},
  publisher = {Kluwer Academic Publishers},
  year = {1990},
  address = {Dordrecht},
  topic = {philosophical-logic;}
 }

@article{ dunne:2009a,
  author = {Paul E. Dunne},
  title = {The Computational Complexity of Ideal Semantics},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {18},
  pages = {1559--1591},
  topic = {argumentation-theory;complexity-in-AI;}
  }

@article{ dunne-benchcapon:1997a,
  author = {Paul E. Dunne and Trevor J.M. Bench-Capon},
  title = {The Maximum Length of Prime Implicates for Instances of
  	{3-SAT}},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {92},
  number = {1--2},
  pages = {317--329},
  acontentnote = {Abstract:
     Schrag and Crawford (1996

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit