text:
= {Ph.{D}. Dissertation},
  address = {Philadelphia, Pennsylvania},
  rtnote = {In RHT Collection.  CS MS shelves.},
  topic = {plan-recognition;nl-interpretation;}
 }

@incollection{ dieugenio:1994a,
  author = {Barbara Di Eugenio},
  title = {Action Representation for Interpreting Purpose Clauses in
  	Natural Language Instructions},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {158--169},
  address = {San Francisco, California},
  topic = {action-formalisms;}
  }

@incollection{ dieugenio:1997a,
  author = {Barbara Di Eugenio},
  title = {Centering in {I}talian},
  booktitle = {Centering Theory in Discourse},
  publisher = {Oxford University Press},
  year = {1997},
  editor = {Marilyn A. Walker and Arivind K. Joshi and Ellen Prince},
  pages = {115--137},
  address = {Oxford},
  topic = {anaphora-resolution;discourse;pragmatics;Italian-language;
  	centering;}
  }

@article{ dieugenio:2000a,
  author = {Barbara Di Eugenio},
  title = {Review of \emph{{L}exical Semantics and Knowledge
  	Representation in Multilingual Text Generation}, by {M}anfred
	{S}tede},
  journal = {Computational Linguistics},
  year = {2000},
  volume = {26},
  number = {2},
  pages = {270--273},
  xref = {stede:1999a.},
  topic = {nl-kr;lexical-semantics;computational-semantics;nl-generation;
  	multilingual-nlp;multilingual-lexicons;}
  }

@unpublished{ dieugenio-etal:1997a,
  author = {Barbara Di Eugenio and Pamela W. Jordan and Liina
  	Pylkk\"anen},
  title = {The {COCONUT} Manual},
  year = {1997},
  month = {September},
  note = {Unpublished manuscript, Intelligent Systems Program,
  	University of Pittsburgh},
  rtnote = {In RHT collection.  Files.},
  topic = {corpus-linguistics;discourse;}
  }

@inproceedings{ dieugenio-etal:1997b,
  author = {Barbara Di Eugenio and Pamela W. Jordan and
  	Richmond H. Thomason and Johanna D. Moore},
  title = {Reconstructed Intentions in Collaborative Problem Solving
  	Dialogues},
  booktitle = {Working Notes: {AAAI} Fall Symposium on Communicative
		Action in Humans and Machines},
  year = {1997},
  pages = {36--42},
  organization = {{AAAI}},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  editor = {David R. Traum},
  rtnote = {In RHT collection.},
  topic = {speech-acts;corpus-linguistics;pragmatics;}
  }

@inproceedings{ dieugenio-etal:1997c,
  author = {Barbara Dieugenio and Johanna D. Moore and Massimo Paolucci},
  title = {Learning Features that Predict Cue Usage},
  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 = {80--87},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {discourse-cue-words;corpus-linguistics;}
 }

@inproceedings{ dieugenio-etal:1998a,
  author = {Barbara Di Eugenio and Pamela W. Jordan and Johanna D. Moore
  	and Richmond H. Thomason},
  title = {An Empirical Investigation of Collaborative Dialogues},
  booktitle = {Proceedings of the Thirty-Sixth Annual Meeting of the
  	{A}ssociation for {C}omputational {L}inguistics and
	Seventeenth International Conference on
	Computational Linguistics},
  year = {1998},
  editor = {Christian Boitet and Pete Whitelock},
  pages = {325--329},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {discourse;collaborationn;}
}

@incollection{ dieugenio-etal:2003a,
  author = {Barbara Di Eugenio and Susan Haller and Michael
     		Glass},
  title = {Development and Evaluation of {NL} Interfaces in a Small
  		Shop},
  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 = {15--22 },
  address = {Menlo Park, California},
  topic = {nl-generation;computational-dialogue;nlp-evaluation;}
  }

@inproceedings{ dieugenio-etal:2005a,
  author = {Barbara Di Eugenio and Davide Fossati and Dan Yu and
  		Susan Haller and Michael Glass},
  title = {Aggregation Improves Learning: Experiments in Natural
  		Language Generation for Intelligent Tutoring Systems},
  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 = {50--57},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1007},
  topic = {nl-generation;nl-tutoring;}
  }

@article{ dieugenio-glass:2004a,
  author = {Barbara di Eugenio and Michael Glass},
  title = {The Kappa Statistic:  A Second Look},
  journal = {Computational Linguistics},
  year = {2004},
  volume = {30},
  number = {3},
  pages = {95--101},
  topic = {nl-statistics;intercoder-agreement;}
  }

@inproceedings{ dieugenio-webber_b:1992a,
  author = {Barbara Di Eugenio and Bonnie Webber},
  title = {Plan Recognition in Understanding Instructions},
  booktitle = {First International Conference on Artificial
  	Intelligence Planning Systems},
  year = {1992},
  missinginfo = {editor, pages, organization, publisher, address},
  rtnote = {In RHT collection.  Pragmatics files. Venue is a guess.},
  topic = {plan-recognition;nl-interpretation;}
  }

@article{ diez:1996a,
  author = {F.J. Di\'ez},
  title = {Local Conditioning in {B}ayesian Networks},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {87},
  number = {1--2},
  pages = {1--20},
  topic = {Bayesian-networks;conditioning-methods;}
  }

@article{ diez:2000a,
  author = {Gustavo Fern\'andez Diez},
  title = {Five Observations Concerning the Intended Meaning of
  	the Intuitionistic Logical Constants},
  journal = {Journal of Philosophical Logic},
  year = {2000},
  volume = {29},
  number = {4},
  pages = {409--424},
  topic = {foundations-of-intuitionistic-logic;}
  }

@article{ diffie-hellman_me:1976a,
  author = {W. Diffie and M.E. Hellman},
  title = {New Directions in Cryptography},
  journal = {{IEEE} Transactions on Information Theory},
  year = {1976},
  volume = {22},
  number = {5},
  pages = {644--654},
  missinginfo = {A's 1st name},
  topic = {cryptography;}
  }

@article{ diggs:1952a,
  author = {B.J. Diggs},
  title = {Counterfactual Conditionals},
  journal = {Mind, New Series},
  year = {1952},
  volume = {61},
  pages = {513--527},
  missinginfo = {number},
  xref = {Review: anderson_ar:1954b.},
  topic = {conditionals;}
  }

@article{ dignum-etal:1996a,
  author = {Frank Dignum and John-Jules Ch. Meyer and Roel Wieringa},
  title = {Free Choice and Contextually Permitted Actions},
  journal = {Studia Logica},
  year = {1996},
  volume = {57},
  number = {1},
  pages = {193--220},
  topic = {deontic-logic;permission;nondeterministic-action;}
  }

@book{ dijkstra:1976a,
  author = {Edsger W. Dijkstra},
  title = {A Discipline of Programming},
  publisher = {Prentice-Hall},
  year = {1976},
  address = {Englewood Cliffs, New Jersey},
  ISBN = {013215871X},
  rtnote = {Umich Media Union Library, QA76.6 .D59.},
  topic = {structured-programming;}
 }

@book{ dijkstra:1982a,
  author = {Edsger W. Dijkstra},
  title = {Selected Writings on Computing: A Personal Perspective},
  publisher = {Springer-Verlag},
  year = {1982},
  address = {Berlin},
  ISBN = {0387906525},
  rtnote = {UMich Media Union Library, QA76.24 .D541 1982.},
  topic = {structured-programming;programming-languages;}
 }

@book{ dijkstra-scholten:1990a,
  author = {Edsger W. Dijkstra and Carel S. Scholten},
  title = {Predicate Calculus and Program Semantics},
  publisher = {Springer-Verlag},
  year = {1990},
  address = {Berlin},
  ISBN = {0387969578},
  rtnote = {UMich Media Union Library, QA 9.35 .D551 1989.},
  topic = {semantics-of-programming-languages;}
 }

@book{ dijstra-scholten:1990a,
  author = {E.W. Dijstra and C.S Scholten},
  title = {Predicate Calculus and Program Semantics},
  publisher = {Springer-Verlag},
  year = {1990},
  address = {New York},
  missinginfo = {A's 1st name.},
  topic = {semantics-of-programming-languages;}
 }

@incollection{ dik-kahrel:1996a,
  author = {Simon C. Dik and Peter Kahrel},
  title = {Generating Sentences Using {P}rof{G}lot},
  booktitle = {Trends in Natural Language Generation, An Artificial
  		Intelligence Perspective, Fourth {E}uropean Workshop,
		{EWNLG} '93, Pisa, Italy, April 28-30, 1993, Selected
		Papers},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = {1036},
  year = {1996},
  editor = {Giovanni Adorni and Michael Zock},
  pages = {314--330},
  address = {New York},
  topic = {Prolog;functional-grammar;nl-generation;}
  }

@article{ dillenburg-nelson_pc:1994a,
  author = {John F. Dillenburg and Peter C. Nelson},
  title = {Perimeter Search},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {65},
  number = {1},
  pages = {165--178},
  acontentnote = {Abstract:
     A technique for improving heuristic search efficiency is
     presented. This admissible technique is referred to as perimeter
     search since it relies on a perimeter of nodes around the goal.
     The perimeter search technique works as follows: First, the
     perimeter is generated by a breadth-first search from the goal
     to all nodes at a given depth d. The path back to the goal along
     with each perimeter node's state descriptor are stored in a
     table.  The search then proceeds normally from the start state.
     During each node generation, however, the current node is
     compared to each node on the perimeter.  If a match is found,
     the search can terminate with the path being formed with the
     path from the start to the perimeter node together with the
     previously stored path from the perimeter node to the goal.
     Both analytical and experimental results are presented to show
     that perimeter search is more efficient than IDA* and A* in
     terms of time complexity and number of nodes expanded for two
     problem domains. },
  topic = {search;}
  }

@book{ dilley:1999a,
  editor = {Roy Dilley},
  title = {Sixth Workshop in Social Anthropology},
  publisher = {Berghahn Books},
  year = {1999},
  ISBN = {1-57181-700-X},
  missinginfo = {address},
  topic = {context;cultural-anthropology;}
 }

@book{ dilman:1999a,
  author = {Ilham Dilman},
  title = {Free Will: An Historical and Philosophical Introduction},
  publisher = {Routledge},
  year = {1999},
  address = {London},
  ISBN = {0 415 20055 4(Hb), 0 415 20056 3 (Pb)},
  topic = {freedom;volition;}
 }

@unpublished{ dimaio-zanardo:1995a,
  author = {Maria Di Maio and Alberto Zanardo},
  title = {Synchronized Histories in {P}rior-{T}homason
  	Representation of Branching Time},
  year = {1995},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  topic = {branching-time;}
  }

@techreport{ dimaio-zanardo:1996a1,
  author = {Maria Di Maio and Alberto Zanardo},
  title = {A {G}abbay-Rule Free Axiomatization of $T\times W$ Validity},
  institution = {Universit\'a degli Studia di Padova},
  number = {27},
  year = {1996},
  address = {Padova},
  rtnote = {In RHT collection.  Filed under Zanardo.},
  xref = {Journal Publication: dimaio-zanardo:1998a.},
  topic = {branching-time;completeness-theorems;tmix-project;}
  }

@article{ dimaio-zanardo:1996a2,
  author = {Maria Concetta Di Maio and Alberto Zanardo},
  title = {A {G}abbay-Rule Free Axiomatization of $T{\times}W$ Validity},
  journal = {Journal of Philosophical Logic},
  year = {1998},
  volume = {27},
  number = {5},
  pages = {435--487},
  xref = {Tech Report: dimaio-zanardo:1996a1.},
  topic = {branching-time;completeness-theorems;tmix-project;
  	temporal-logic;}
  }

@article{ dimitri:2003a,
  author = {Nicola Dimitri},
  title = {Coordination in an Email Game with `Almost Common
  	Knowledge'\,},
  journal = {Journal of Logic, Language, and Information},
  year = {2003},
  volume = {12},
  number = {1},
  pages = {1--11},
  topic = {game-theory;mutual-beliefs;communication-protocols;}
  }

@incollection{ dimitriades:1999a,
  author = {Alexis Dimitriades},
  title = {Reciprocal Interpretation with Functional
		Pronouns},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
		of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {96--102},
  address = {Amsterdam},
  topic = {reciprical-constructions;}
  }

@inproceedings{ dimitriadis:1999a,
  author = {Alexis Dimitriadis},
  title = {Reconciling Dependent Plurals with Each Other},
  booktitle = {Proceedings from Semantics and Linguistic Theory {IX}},
  publisher = {Cornell University},
  year = {1999},
  editor = {Tanya Matthews and Devon Strolovitch},
  pages = {52--69},
  address = {Ithaca, New York},
  topic = {nl-semantics;plural;anaphora;}
  }

@inproceedings{ dimitriadis:2001a,
  author = {Alexis Dimitriadis},
  title = {Function Domains in Variable-Free Semantics},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XI}},
  publisher = {Cornell University},
  year = {2001},
  editor = {Rachel Hastings and Brendan Jackson and Zsofia Zvolenszky},
  pages = {134--151},
  address = {Ithaca, New York},
  topic = {nl-semantics;variable-free-semantics;}
  }

@inproceedings{ dimitrova-etal:1998a,
  author = {Ludmila Dimitrova and Tomaz Erjavec and Nancy Ide and
  	Heiki Jaan Kaalep and Vladimir Petkevic and Dan Tufis},
  title = {Multext-East: Parallel and Comparable Corpora and Lexicons
  	for Six Central and Eastern European Languages},
  booktitle = {Proceedings of the Thirty-Sixth Annual Meeting of the
  	{A}ssociation for {C}omputational {L}inguistics and
	Seventeenth International Conference on
	Computational Linguistics},
  year = {1998},
  editor = {Christian Boitet and Pete Whitelock},
  pages = {315--319},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {corpus-linguistics;}
}

@incollection{ dimopoulos:1994a,
  author = {Yannis Dimopoulos},
  title = {The Computational Value of Joint Consistency},
  booktitle = {Logics in Artificial Intelligence},
  publisher = {Springer-Verlag},
  year = {1994},
  editor = {Craig Mac{N}ish and Lu\'is Moniz Pereira and David Pearce},
  pages = {50},
  address = {Berlin},
  topic = {default-logic;}
  }

@inproceedings{ dimopoulos-etal:2000a,
  author = {Yannis Dimopoulos and Bernhard Nebel and Francesca Toni},
  title = {Finding Admissible and Preferred Arguments Can Be Very Hard},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {53--61},
  topic = {nonmonotonic-logic;argument-based-defeasible-reasoning;
  	complexity-in-AI;}
  }

@article{ dimopoulos-etal:2002a,
  author = {Yannis Dimopoulos and Bernhard Nebel and Francesca Toni},
  title = {On the Computational Complexity of Assumption-Based
  	Argumentation for Default Reasoning},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {141},
  number = {1--2},
  pages = {57--78},
  xref = {Discussion of: bondarenko-etal:1997a},
  topic = {non-monotonic-reasoning;abduction;
  	argument-based-defeasible-reasoning;complexity-in-AI;}
  }

@unpublished{ dimopoulos-magirou:1991a,
  author = {Yannis Dimopoulos and Vanegis Magirou},
  title = {A Graph Theoretic Approach to Default Logic},
  year = {1991},
  note = {Unpublished manuscript, Department of Informatics, Athens
	University of Economics and Business},
 rtnote = {In RHT collection.  Note says "Submitted to Information
 	and Computation".},
 topic = {nonmonotonic-logic;default-logic;inheritance-theory;}
 }

@article{ dinaso:2002a,
  author = {Mauro Di Naso},
  title = {An Axiomatic Presentation of the Nonstandard Methods in
  	Mathematics},
  journal = {Journal of Symbolic Logic},
  year = {2002},
  volume = {67},
  number = {1},
  pages = {315--325},
  topic = {nonstandard-set-theory;}
  }

@inproceedings{ ding_y-palmer_m:2005a,
  author = {Yuan Ding and Martha Palmer},
  title = {Machine Translation Using Probabilistic Synchronous
  		Dependency Insertion Grammars},
  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 = {541--548},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1067},
  topic = {statistical-nlp;machine-translation;}
  }

@book{ dingwall_wo:1971a,
  editor = {William Orr Dingwall},
  title = {A Survey of Linguistic Science},
  publisher = {Privately Published, Linguistics Program, University of
		Maryland.},
  year = {1971},
  address = {College Park, Maryland},
  contentnote = {TC:
		1. Chu-Wu Kim, "Experimental Phonetics"
		2. Harry A. Whitaker, "Neurolinguistics"
		3. Philip B. Gough, "Experimental Psycholinguistics"
		4. Dan I. Slobin, "Developmental Psycholinguistics"
		5. William Labov, "Methodology"
		6. Theodore Lightner, "Generative Phonology"
		7. Paul Kiparsky, "Historical Linguistics"
		8. Barbara Hall Partee, "Linguistics Metatheory"
		9. Robert E. Wall, "Mathematical Linguistics"
	   10. Joyce Friedman, "Computational Linguistics"
	   11. William Orr Dingwall, "Linguistics as Psychology"
	},
  topic = {linguistic-theory-survey;}
 }

@incollection{ dingwall_wo:1971b,
  author = {William Orr Dingwall},
  title = {Linguistics as Psychology},
  booktitle = {A Survey of Linguistic Science},
  publisher = {Privately Published, Linguistics Program, University of
		Maryland.},
  year = {1971},
  editor = {William Orr Dingwall},
  pages = {758--802},
  address = {College Park, Maryland},
  topic = {foundations-of-linguistics;philosophy-of-linguistics;}
  }

@inproceedings{ dini-etal:1998a,
  author = {Luca Dini and Vittorio Di Tomaso and Fr\'ed\'erique Segond},
  title = {Error Driven Word Sense Disambiguation},
  booktitle = {Proceedings of the Thirty-Sixth Annual Meeting of the
  	{A}ssociation for {C}omputational {L}inguistics and
	Seventeenth International Conference on
	Computational Linguistics},
  year = {1998},
  editor = {Christian Boitet and Pete Whitelock},
  pages = {320--321},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {lexical-disambiguation;machine-learning;}
}

@incollection{ dinola-etal:1991a,
  author = {Antonio di Nola and Witold Pedrycz and Salvatore Sessa},
  title = {Difference Fuzzy Relation Equations:  Studies in Dynamical
  	Systems},
  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 = {161--165},
  address = {Berlin},
  topic = {fuzzy-logic;dynamic-systems;}
  }

@book{ dinsmore:1981a,
  author = {John D. Dinsmore},
  title = {The Inheritance of Presuppositions},
  publisher = {John Benjamin},
  year = {1981},
  address = {Amsterdam},
  topic = {presupposition;pragmatics;}
 }

@book{ dinsmore:1981b,
  author = {John D. Dinsmore},
  title = {Pragmatics, Formal Theory, and the Analysis of
		Presupposition},
  publisher = {Indiana University Linguistics Club},
  year = {1982},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.  Shelf.},
  topic = {presupposition;pragmatics;}
 }

@book{ dinsmore:1991a,
  author = {John Dinsmore},
  title = {Partitioned Representations: A Study in Mental Representation,
    Language Understanding, and Linguistic Structure},
  Publisher = {Kluwer Academic Publishers},
  year = {1991},
  address = {Dordrecht},
  ISBN = {0792313488},
  rtnote = {UMich Graduate Library, P 37.5 .C66 D561 1991.},
  topic = {foundations-of-cognition;psycholinguistics;}
 }

@book{ dinsmore:1992a,
  editor = {John Dinsmore},
  title = {Symbolic and Connectionist Paradigms: Closing the Gap},
  publisher = {Lawrence Erlbaum Associates},
  year = {1992},
  address = {Hillsdale, New Jersey},
  ISBN = {080581079X},
  rtnote = {UMich Graduate Library, BF 311 .S95 1992.},
  topic = {connectionist-plus-symbolic-architectures;}
 }

@inproceedings{ dionne:1992a,
  author = {Bob Dionne},
  title = {Structural Subsumption as a Basis for Intensional Semantics},
  booktitle = {Working Notes, {AAAI} Fall Symposium on Issues in Description
  	Logics: Users Meet Developers},
  year = {1992},
  editor = {Robert MacGregor},
  pages = {27--30},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {description-logics;algebraic-semantics;}
  }

@techreport{ dionne-etal:1992a,
  author = {Robert Dionne and Eric Mays and Frank J. Oles},
  title = {Disjunctive Concept Algebras},
  institution = {{IBM}},
  number = {RC 18458},
  year = {1992},
  contentnote = {An abstact, algebraic semantics for description
  	logics.  See brink-schmidt_ph:1992a.},
  topic = {description-logics;algebraic-semantics;}
  }

@inproceedings{ dionne-etal:1992b,
  author = {Robert Dionne and Eric Mays and Frank J. Oles},
  title = {A Non-Well-Founded Approach to Terminological Cycles},
  booktitle = {Proceedings of the Tenth National Conference on
              Artificial Intelligence},
  year = {1992},
  editor = {Paul Rosenbloom and Peter Szolovits},
  pages = {761--766},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {kr;classifier-algorithms;description-logics;kr-course;}
  }

@inproceedings{ dionne-etal:1993a,
  author = {Robert Dionne and Eric Mays and Frank J. Oles},
  title = {The Equivalence of Model-Theoretic and Structural
  	Subsumption in Description Logics},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {710--716},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  rtnote = {In RHT collection.},
  contentnote = {Proves a result about an abstact, algebraic semantics
  	for description logics.  See dionne-etal:1992a,
	brink-schmidt_ph:1992a.},
  topic = {description-logics;algebraic-semantics;}
  }

@article{ dipriso:2002a,
  author = {Carlos Augusto Di Priso},
  title = {Review of First and Second Editions of {\it Computable
  	Functions, Logic, and the Foundations of Mathematics}, by
	{R}ichard {L}. {E}pstein and {W}alter {A}. {C}arnielli},
  journal = {The Bulletin of Symbolic Logic},
  year = {2002},
  volume = {8},
  number = {1},
  pages = {101--104},
  xref = {Review of: epstein_rl-carnielli:1989a, epstein_rl-carnielli:2000a.},
  topic = {computability;goedels-first-theorem;goedels-second-theorem;}
  }

@incollection{ disciullo:1992a,
  author = {Anna-Maria Di Sciullo},
  title = {Deverbal Compounds and the External Argument},
  booktitle = {Thematic Structure: Its Role in Grammar},
  publisher = {Foris Publications},
  year = {1992},
  editor = {Iggy M. Roca},
  pages = {65--78},
  address = {Berlin},
  topic = {thematic-roles;argument-structure;derivational-morphology;}
  }

@book{ disciullo:1997a,
  editor = {Anna-Maria di Sciullo},
  title = {Projections and Interface Conditions: Essays on Modularity},
  publisher = {Oxford University Press},
  year = {1997},
  address = {Oxford},
  ISBN = {0195104145},
  rtnote = {UMich Graduate Library, P 37 .P7441 1997.},
  topic = {cognitive-modularity;}
 }

@incollection{ disciullo:1999a,
  author = {Anna-Maria Di Sciullo},
  title = {Formal Context and Morphological
            Analysis},
  booktitle = {Modeling and Using Contexts: Proceedings of
	the Second International and Interdisciplinary
	Conference, {CONTEXT}'99},
  publisher = {Springer-Verlag},
  year = {1999},
  editor = {Paolo Bouquet and Luigi Serafini and Patrick
	Br\'ezillon	and Massimo Benerecetti and Francesca
	Castellani},
  pages = {105--118},
  address = {Berlin},
  topic = {context;morphology;}
  }

@book{ dittmar:1976a,
  author = {Norbert Dittmar},
  title = {Sociolinguistics: A Critical Survey of Theory and
  	Application},
  publisher = {Edward Arnold},
  year = {1976},
  address = {London},
  note = {translated from the German by Peter Sand.},
  rtnote = {HILLMAN P325 F66 1987},
  topic = {sociolinguistics;discourse-analysis;}
 }

@book{ dittmar:1976b,
  author = {Norbert Dittmar},
  title = {Sociolinguistics: An International Handbook of the Science of
                   Language and Society},
  publisher = {Walter de Gruyter},
  year = {1976},
  address = {Berlin},
  rtnote = {HILLMAN P40 S633 1987},
  topic = {sociolinguistics;}
 }

@article{ divay-vitale:1997a,
 author = {Michel Divay and Anthony J. Vitale},
 title = {Algorithms for Grapheme-Phoneme Translation for {E}nglish
		and {F}rench: Applications},
 journal = {Computational Linguistics},
 year = {1997},
 volume = {23},
 number = {4},
 pages = {495--523},
 topic = {grapheme-phoneme-translation;}
 }

@article{ divers:1999a,
  author = {John Divers},
  title = {A Modal Fictionalist Result},
  journal = {No\^us},
  year = {1999},
  volume = {33},
  number = {3},
  pages = {317--346},
  topic = {philosophy-of-possible-worlds;}
  }

@book{ dix_a:1993a,
  author = {Alan Dix},
  title = {Human-Computer Interaction},
  publisher = {Prentice Hall},
  year = {1993},
  address = {Englewood Cliffs, New Jersey},
  ISBN = {0134372115 (pbk.)},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 H851 1993.},
  topic = {HCI;}
 }

@book{ dix_a:1998a,
  author = {Alan Dix},
  title = {Human-Computer Interaction},
  publisher = {Prentice Hall Europe},
  edition = {2},
  year = {1998},
  address = {London},
  ISBN = {0132398648},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 H851 1998.},
  topic = {HCI;}
 }

@incollection{ dix_j:1991a,
  author = {J\"urgen Dix},
  title = {Cumulativity and Rationality in Semantics of Normal Logic
  	Programs},
  booktitle = {Nonmonotonic and Inductive Logics},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {J\"urgen Dix and Klaus P. Jantke and P.H. Schmidt},
  pages = {13--37},
  address = {Berlin},
  missinginfo = {E's 1st name.},
  topic = {nonmonotonic-logic;logic-programming;cumulativity;}
  }

@incollection{ dix_j:1992a,
  author = {J\"urgen Dix},
  title = {A Framework for Representing and Characterizing Semantics
  	of Logic Programs},
  booktitle = {{KR}'92. Principles of Knowledge Representation and
  	Reasoning: Proceedings of the Third International Conference},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Bernhard Nebel and Charles Rich and William Swartout},
  pages = {591--602},
  address = {San Mateo, California},
  topic = {kr;logic-programming;nonmonotonic-reasoning;}
  }

@article{ dix_j:1995a,
  author = {J\"urgen Dix},
  title = {A Classification Theory of Semantics of Normal Logic
		Programs {I}: Strong Properties},
  journal = {Fundamenta Mathematicae},
  year = {1995},
  volume = {22},
  number = {3},
  pages = {227--255},
  topic = {logic-programming;}
  }

@article{ dix_j:1995b,
  author = {J\"urgen Dix},
  title = {A Classification Theory of Semantics of Normal Logic
		Programs {II}: Weak Properties},
  journal = {Fundamenta Mathematicae},
  year = {1995},
  volume = {22},
  number = {3},
  pages = {257--288},
  topic = {logic-programming;}
  }

@incollection{ dix_j:1996a,
  author = {J\"urgen Dix},
  title = {Semantics of Logic Programs: Their Intuitions and Formal
  	Properties, An Overview},
  booktitle = {Logic, Action, and Information: Essays on Logic in
  	Philosophy and Artificial Intelligence},
  year = {1996},
  publisher = {Walter de Gruyter},
  editor = {Andr\'e Fuhrmann and Hans Rott},
  pages = {241--327},
  address = {Berlin},
  rtnote = {Looks like a useful survey.},
  topic = {logic-programming;fixpoints;semantics-of-programming-languages;}
  }

@book{ dix_j-etal:1991a,
  editor = {J\"urgen Dix and Klaus P. Jantke and P.H. Schmidt},
  title = {Nonmonotonic and Inductive Logics},
  publisher = {Springer-Verlag},
  year = {1991},
  address = {Berlin},
  missinginfo = {E's 1st name},
  contentnote = {TC:
      1.  Gerhard Brewka and David C. Makinson and Karl Schlechta,
          Cumulative Inference Relations for JTMS and
          Logic Programming
      2.  J\"urgen Dix, Cumulativity and Rationality in Semantics of
          Normal Logic Programs
      3.  Heinich Herre, Nonmonotonic Reasoning and Logic Programs
      4.  Michael Freund, Supracompact Inference Operations
      5.  Gerhard J\"ager, Notions of Nonmonotonic Derivability
      6.  Wiktor Marek and Grigori F. Schwartz and Miroslaw
          Truszczynski, Ranges of Strong Modal Nonmonotonic Logics
      7.  Helmut Thiele, On Generation of Cumulative Inference
          Operators by Default Deduction Rules
      8.  Emil Weydert, Qualitative Magnitude Reasoning: Towards a
          New Syntax and Semantics for Default Reasoning
      9.  Klaus P. Jantke, Monotonic and Nonmonotonic Inductive
          Inference of Functions and Patterns
      10. Steffen Lange, A Note on Polynomial-Time Inference of
          $k$-Variable Pattern Languages
      11. Rolf Wiehagen, A Thesis in Inductive Inference
      12. Thomas Zeugmann, Inductive Inference of Optimal Programs:
          Survey and Open Problems
      13. J\"urgen Kalinski, Autoepistemic Expansions with Incomplete
          Belief Introspection
          },
  rtnote = {COMPUTER SCI LIB QA76.73 N66 1991},
  topic = {nonmonotonic-logics;induction;}
 }

@book{ dix_j-etal:1995a,
  editor = {J\"urgen Dix and Lu\'is Moniz Pereira and Teodor Przymusinski},
  title = {Non-Monotonic Extensions of Logic Programming},
  year = {1993},
  publisher = {Springer-Verlag},
  address = {Berlin},
  ISBN = {3540564543},
  rtnote = {UMich Media Union Library, QA 76.63 .N681},
  rtnote = {Library has 1994-1996},
  topic = {logic-programming;nonmonotonic-logic;}
 }

@book{ dix_j-etal:1998a,
  editor = {J\"urgen Dix and Lu\'is Moniz Pereira and Teodor C.
  	Przymusinski},
  title = {Logic Programming and Knowledge Representation},
  publisher = {Springer-Verlag},
  year = {1998},
  address = {Berlin},
  ISBN = {3540649581 (softcover)},
  rtnote = {UMich Media Union Library, QA 76.63 .L7371 1997},
  topic = {logic-programming;kr;}
 }

@book{ dix_j-etal:1998b,
  editor = {J\"urgen Dix and Luis Fari\~nas del Cerro and Ulrich
  	Furbach},
  title = {Logics in Artificial Intelligence European Workshop,
  	{JELIA}'98, Dagstuhl, Germany, October 12-15, 1998},
  publisher = {Springer-Verlag},
  year = {1998},
  address = {Berlin},
  ISBN = {3-540-65141-1 (Softcover)},
  contentnote = {Blurb:
     The 25 revised full papers presented were carefully selected
     from a total of 65 submissions. Also included are two abstracts
     of invited talks. The papers are organized in topical sections
     on logic programming, epistemic logics, theorem proving,
     non-monotonic reasoning, non-standard logics, knowledge
     representation, and higher order logics.  },
  topic = {logics-in-AI;}
 }

@article{ dix_j-etal:2001a,
  author = {J\urgen Dix and Sarit Kraus and V.S. Subrahmanian},
  title = {Temporal Agent Programs},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {127},
  number = {1},
  pages = {87--135},
  topic = {temporal-reasoning;logic-programming;
  	agent-oriented-programming;}
  }

@article{ dix_j-makinson:1992a,
  author = {J\"urgen Dix and David C. Makinson},
  title = {The Relationship Between {KLM} and {MAK} Models for
  	Nonmonotonic Inference Operations},
  journal = {Journal of Logic, Language, and Information},
  year = {1992},
  volume = {1},
  number = {2},
  pages = {131--140},
  topic = {nonmonotonic-logic;model-preference;}
  }

@article{ dixon_c-etal:2002a,
  author = {Clare Dixon and Michael Fisher and Alexander Bolotov},
  title = {Clausal Resolution in a Logic of Rational Agency},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {139},
  number = {1},
  pages = {47--89},
  topic = {branching-time;epistemic-logic;theorem-proving;}
  }

@article{ dixon_l-etal:2009a,
  author = {Lucas Dixon and Alan Smaill and Tracy Tsang},
  title = {Plans, Actions, and Dialogues Using Linear Logic},
  journal = {Journal of Logic, Language, and Information},
  year = {2009},
  volume = {18},
  number = {2},
  pages = {251--289},
  topic = {linear-logic;planning-formalisms;}
  }

@incollection{ dixon_rmw:1971a,
  author = {Robert M.W. Dixon},
  title = {A Method of Semantic Description},
  booktitle = {Semantics: An Interdisciplinary Reader in Philosophy,
  	Linguistics, and Psychology},
  publisher = {Cambridge University Press},
  year = {1971},
  editor = {Danny D. Steinberg and Leon A. Jacobovits},
  pages = {436--471},
  address = {Cambridge, England},
  topic = {Australian-languages;lexical-semantics;structural-semantics;}
  }

@book{ dixon_rmw:1982a,
  author = {Robert M.W. Dixon},
  title = {Where Have All the Adjectives Gone?  And Other
  		Essays in Semantics and Syntax},
  publisher = {Mouton},
  year = {1982},
  address = {Berlin},
  ISBN = {902793309X},
  rtnote = {UMich Hatcher Graduate 805 J36 v.107.},
  topic = {adjectives;universal-grammar;typology;}
 }

@incollection{ dixon_rmw:2004a,
  author = {Robert M.W. Dixon},
  title = {Adjective Classes in Typological Perspective},
  booktitle = {Adjective Classes: A Cross-Linguistic Typology},
  publisher = {Oxford University Press},
  year = {2004},
  editor = {Robert M.W. Dixon and Alexandra Y. Aikhenvald},
  pages = {1--49},
  address = {Oxford},
  topic = {adjectives;universal-grammar;typology;}
  }

@book{ dixon_rmw-aikhenvald:2004a,
  editor = {Robert M.W. Dixon and Alexandra Y. Aikhenvald},
  title = {Adjective Classes: A Cross-Linguistic Typology},
  publisher = {Oxford University Press},
  year = {2004},
  address = {Oxford},
  ISBN = {0199270937},
  rtnote = {UMich Hatcher Graduate P 273 .A331 2004.},
  topic = {adjectives;universal-grammar;typology;}
 }

@techreport{ dixon_s-foo:1992a,
  author = {Simon Dixon and Norman Y. Foo},
  title = {Encoding the {ATMS} in {AGM} Logic (Revised)},
  institution = {Computer Science Department, University of Sydney},
  number = {441},
  year = {1992},
  address = {Sydney},
  rtnote = {In RHT collection.},
  topic = {belief-revision;truth-maintenance;}
 }

@inproceedings{ dixon_s-foo:1993a,
  author = {Simon Dixon and Norman Y. Foo},
  title = {Connections between the {ATMS} and {AGM} Belief Revision},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {534--539},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  rtnote = {In RHT collection.},
  topic = {truth-maintenance;belief-revision;}
  }

@article{ djukic:2001a,
  author = {George Djukic},
  title = {Review of \emph{{T}he Limits of Mathematics: A Course on Information
  	Theory and the Limits of Reasoning}, by {G}regory {J}. {C}haitin},
  journal = {Studia Logica},
  year = {2001},
  volume = {68},
  number = {3},
  pages = {407--410},
  xref = {Review of: chaitin:1998a.},
  topic = {algorithmic-information-theory;algorithmic-complexity;}
  }

@article{ doan-halevy:2005a,
  author = {AnHai Doan and Alon Y. Halevy},
  title = {Semantic Integration Research in the Database Community:  A
  	Brief Survey},
  journal = {The {AI} Magazine},
  year = {2005},
  volume = {26},
  number = {1},
  pages = {83--94},
  topic = {knowledge-integration;databases;}
  }

@inproceedings{ doannguyen:1998a,
  author = {Hai Doan-Nguyen},
  title = {Accumulation of Lexical Sets: Acquisition of Dictionary
  	Resources and Production of New Lexical Sets},
  booktitle = {Proceedings of the Thirty-Sixth Annual Meeting of the
  	{A}ssociation for {C}omputational {L}inguistics and
	Seventeenth International Conference on
	Computational Linguistics},
  year = {1998},
  editor = {Christian Boitet and Pete Whitelock},
  pages = {330--335},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {computational-lexicography;automated-lexical-acquisition;}
}

@article{ dobrinen:2003a,
  author = {Natasha Dobrinen},
  title = {Review of \emph{{A} Mathematical Introduction to Logic}, by
  	{H}.{B}. {E}nderton},
  journal = {The Bulletin of Symbolic Logic},
  year = {2003},
  volume = {9},
  number = {3},
  pages = {406--407},
  xref = {Review of: enderton:2001a.},
  topic = {logic-intro;}
  }

@inproceedings{ dobroviesorin:1997a,
  author = {Carmen Dobrovie-Sorin},
  title = {Types of Predicates and the
     		Representation of Existential Readings},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VII}},
  publisher = {Cornell University},
  year = {1997},
  editor = {Aaron Lawson},
  pages = {117--134},
  address = {Ithaca, New York},
  topic = {nl-semantics;indefiniteness;}
  }

@book{ doedens:1994a,
  author = {Crist-Jan Doedens},
  title = {Text Databases: One Database Model
  	and Several Retrieval Languages},
  publisher = {Editions Rodopi},
  year = {1994},
  missinginfo = {address},
  ISBN = {90-5183-729-1},
  xref = {Review: ide:1998a},
  topic = {textual-databases;}
 }

@article{ doering:1997a,
  author = {Frank D\"oring},
  title = {The {R}amsey Test and Conditional Semantics},
  journal = {Journal of Philosophical Logic},
  year = {1997},
  volume = {26},
  number = {4},
  pages = {359--376},
  topic = {CCCP;conditionals;probability-kinematics;}
  }

@incollection{ doetjes-honcoop:1997a,
  author = {Jenny Doetjes and Martin Honcoop},
  title = {The Semantics of Event-Based Readings: A Case for
  	Pair-Quantification},
  booktitle = {Ways of Scope Taking},
  publisher = {Kluwer Academic Publishers},
  year = {1997},
  editor = {Anna Szabolcsi},
  pages = {263--310},
  address = {Dordrecht},
  topic = {nl-quantifier-scope;nl-quantifiers;events;Aktionsarten;measures;}
  }

@book{ doets:1996a,
  author = {Kees Doets},
  title = {Basic Model Theory},
  publisher = {{CSLI} Publications},
  year = {1996},
  address = {Stanford, California},
  ISBN = {1-57586-049-X (hard cover), 1-57586-048-1 (paperback)},
  xref = {Review: blackburn_p:1999a},
  topic = {model-theory;logic-intro;}
 }

@book{ doets-vaneijk_j:2004a,
  author = {Kees Doets and Jan van Eijk},
  title = {The {H}askell Road to Logic, Maths and Progamming},
  publisher = {King's College Publications},
  year = {2004},
  address = {London},
  ISBN = {3-540-21202-7},
  xref = {Review: lammel:2007a.},
  topic = {logic-intro;}
 }

@inproceedings{ doherty:1989a,
  author = {Patrick Doherty},
  title = {A Correspondence Between Inheritance Properties and a
  	Logic of Preferential Entailment},
  booktitle = {Methodologies for Intelligent Systems},
  year = {1989},
  editor = {Zbigniew Ras},
  pages = {395--402},
  publisher = {North-Holland},
  address = {Amsterdam},
  topic = {inheritance-theory;model-preference;}
  }

@book{ doherty:1996a,
  editor = {Patrick Doherty},
  title = {Partiality, Modality, and Nonmonotonicity},
  publisher = {{CSLI} Publications},
  year = {1996},
  address = {Stanford, California},
  ISBN = {1-57586-030-9},
  xref = {Review: vaneijk_r:1999a},
  topic = {partial-logic;modal-logic;nonmonotonic-logic;}
 }

@incollection{ doherty:2004a,
  author = {Patrick Doherty},
  title = {Advanced Research with Autonomous Unmanned Aerial Vehicles},
  booktitle = {{KR}2004: Principles of Knowledge Representation and
  		Reasoning},
  publisher = {AAAI Press},
  year = {2004},
  editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams},
  pages = {731--732},
  address = {Menlo Park, California},
  topic = {cognitive-robotics;autonomous-vehicles;agent-architectures;}
  }

@incollection{ doherty-etal:1998a,
  author = {Patrick Doherty and Witold {\L}ukasziewicz
		and Ewa Madali\'nska-Bugaj},
  title = {The {PMA} and Relativizing Change for Action Update},
  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 = {258--269},
  address = {San Francisco, California},
  topic = {kr;belief-revision;temporal-reasoning;action-formalisms;
  	kr-course;}
  }

@inproceedings{ doherty-etal:2000a,
  author = {Patrick Doherty and G\"osta Granlund and Krzystof
                  Kuchcinski and Erik Sandewall and Klas Nordberg and
                  Erik Skarman and Johan Wiklund},
  title = {The {WITAS} {U}nmanned {A}erial {V}ehicle {P}roject},
  booktitle = {ECAI 2000. Proceedings of the 14th European Conference
                  on Artificial Intelligence},
  editor = {W. Horn},
  year = {2000},
  address = {Berlin},
  pages = {747---755},
  rtnote = {In RHT collection.},
  topic = {cognitive-robotics;autonomous-vehicles;agent-architectures;}
 }

@article{ doherty-etal:2001a,
  author = {Patrick Doherty and Jonas Kvarnstr\"om},
  title = {{TAL}planner: A Temporal Logic-Based Planner},
  journal = {The {AI} Magazine},
  year = {2001},
  volume = {22},
  number = {1},
  pages = {95--102},
  topic = {planning;planning-algorithms;planning-systems;}
  }

@book{ doherty-etal:2003a,
  editor = {Patrick Doherty and John McCarthy and Mary-Anne Williams},
  title = {Working Papers of the 2003 {AAAI} Spring Symposium on
  	Logical Formalization of Commonsense Reasoning},
  publisher = {AAAI Press},
  year = {2003},
  ISBN = {1-57735-182-7 SS-03-05},
  address = {Menlo Park, California},
  rtnote = {In RHT Collection.  CS MS shelves.},
  contentnote = {TC:
     1. Eyal Amir and Stuart Russell, "Logical Filtering", pp. 1--8
     2. Marcello Balduccini and Michael Gelfond, "Logic Programs
     		with Consistency-Restoring Rules", pp. 9--18
     3. Chitta Baral and Tran Cao Son and Le-Chi
     		Tuan, "Golog$+${HTNT}t\raisebox{.5ex}{\scritpsize TM}:
		Adding Time and Intervals to Procedural and Hierarchical
		Control Knowledge", pp. 19--26
     4. Brandon Bennett, "The Role of Definitions in Construction
     		and Analysis of Formal Ontologies", pp. 27--35
     5. Sergey Blok and Douglas Medin and Daniel Osherson, "Probability
     		from Similarity", pp. 36--42
     6. Pedro Cabalar, "A Preliminary Study on Reasoning about
     		Causes", pp. 43--50
     7. Jonathan Campbell and Vladimir Lifschitz, "Reinforcing a Claim
     		in Commonsense Reasoning", pp. 51--56
     8. Hei Chan and Adnan Darwiche, "Revisiting the Problem of Belief
     		Revision with Uncertain Evidence", pp. 57--63
     9. Andrew S. Gordon and Jerry R. Hobbs, "Coverage and Competency
     		in Formal Theories: A Commonsense Theory of
		Memory", pp. 64--73
    10. Jerry R. Hobbs and James Pustejovsky, "Annotating and
    		Reasoning about Time and Events", pp. 74--82
    11. Mark Hopkins and Judea Pearl, "Clarifying the Use of Structural
    		Models for Commonsense Causal Reasoning", pp. 83--89
    12. Ozan Kahramanogullari and Michael Thielscher, "A Formal
    		Assessment Result for FLuent Calculus", pp. 90--97
    13. Antonis Kakas and Loizos Michael, "On the Qualification
    		Problem and Elaboration Tolerance", pp. 98--106
    14. Ranjit Nair and Miland Tambe and Stacy Marsella, "Integrating
    		Belief-Desire-Intention Approaches with {POMDPS}: The Case
    		of Team-Oriented Programs", pp. 107--115
    15. Aarati Parmar, "Some Mathematical Structures Underlying
    		Efficient Planning", pp. 116--124
    16. Marcus V. Santos and Paulo E. Santos, "Sensor Data Assimilation
    		as Database Transactions", pp. 125--130
    17. Catherine Tessier, "Towards a Commonsense Estimator for
    		Activity Tracking", pp. 131--138
    18. Richmond H. Thomason, "Ability and Action", pp. 139--145
  },
  topic = {common-sense-logicism;common-sense-reasoning;}
 }

@incollection{ doherty-etal:2004a,
  author = {Patrick Doherty and Andrzej Szalas and Witold Lukasiewicz},
  title = {Approximative Query Techniques for Agents with Heterogeneous
  		Ontologies and Perceptive Capabilities},
  booktitle = {{KR}2004: Principles of Knowledge Representation and
  		Reasoning},
  publisher = {AAAI Press},
  year = {2004},
  editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams},
  pages = {459--468},
  address = {Menlo Park, California},
  topic = {computational-ontology;ontological-query-processing;}
  }

@book{ doherty-etal:2006a,
  editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty},
  title = {{KR}2006: Proceedings, Tenth International Conference on
      Principles of  Knowledge Representation and Reasoning},
  publisher = {AAAI Press},
  year = {2006},
  address = {Menlo Park, California},
  contentnote = {TC:
     1. Jon Doyle, "On Mechanization of Thought Processes (Extended
     		Abstract)", p. 2
     2. David Maier and Alon Halevy, and Michael Franklin, "Dataspaces:
                Co-Existence with Heterogeneity", p. 3
     3. Alan Rector, "Users Are Always Right $\ldots$ Even When They
     		Are Wrong:  Making Knowledge Representation Viable and
     		Useful", pp. 3--4
     4. Joseph Y. Halpern and Leandro Chaves R\'ego, "Reasoning
     		about Knowledge of Unawareness", pp. 6--13
     5. Lawrence E. Blume and David A. Easley and Joseph Y.
     		Halpern, "Redoing the Foundatios of Decision
		Theory", pp. 14--24
     6. Pedro Calabar and Sergei Odintsov and David Pearce, "Logical
     		Foundations of Well-Founded Semantics", pp. 25--35
     7. Brandon Bennett, "A Theory of Vague Adjectives Grounded in
     		Relevant Observables", pp. 36--44
     8. Hongkai Liu and Carsten Lutz and Maja Milicic and
     		Frank Wolter, "Updating Description Logic
		ABoxes", pp. 46--56
     9. Ian Horrocks and Oliver Kutz and Ulrike Sattler, "The Even
     		More Irresistible {SROIQ}", pp. 57--67
    10. Riccardo Rosati, "{DL}+log:  Tight Interaction of Description
    		Languages and Disjunctive Datalog", pp. 68--78
    11. Balder den Cate and Willem Conradie and Maarten Marx and
    		Yde Venema, "Definitorually Complete Description
		Logics", pp. 79--89
    12. Evren Siren and Bernardo Cueneca Grau and Bijan Parsia, "From
    		Wine to Water:  Optimizing Description Logic Reasoning
		for Nominals", pp. 90--99
    13. Scott Sanner and Sheila A. McIlraith, "An Ordered Theory
    		Resolution Calculus for Hybrid Reasoning in
		First-Order Extensions of Desription Logic", pp. 100--110
    14. Sylvie Coste-Marquis and Caroline Devred and Pierre
    		Marquis, "Constrained Argumentation
		Frameworks", pp. 112--122
    15. Philippe Besnard and Anthony Hunter, "Knowledebase Compilation
    		for Efficient Logical Argumentation", pp. 123--12
    16. Meghyn Bienvenu and Christian Fritz and Sheila
    		McIlraith, "Planning with Qualitative Temporal
		Preferences", pp. 134--144
    17. Yann Chevaleyre and Ulle Endriss and J\'erome
    		Lang, "Expressive Power of Weighted Propositional
		Formulas for Cardinal Preference Modeling", pp. 145--152
    18. Christian Fritz and Sheila McIlraith, "Decision-Theoretic
    		{\sc Golog} with Qualitative Preferences", pp. 153--163
    19. Thomas Lukasiewicxz and J\"org Schellhase, "Variable-Strength
    		Conditional Preferences for Matchmaking in
		Description Logics", pp. 164--174
    20. Didier Dubois and H\'elene Fargier, "Qualitative Decision
    		Making with Bipolar Information", pp. 175--185
    21. Silvio Ghilardi and Carsten Lutz and Frank Woller, "Did
    		{I} Damage My Ontology?  A Case for Conservative
		Extensions in Description Logics", pp. 187--197
    22. Bernardo Cuenca Grau and Bijan Parsia and Evren Sirin and
    		Aditya Kalyanpur, "Modularity and Web
		Ontologies", pp. 198--208
    23. James Delgrande and Didier Dubois and J\'er\^ome Lang, "Iterated
    		Revision as Prioritized Merging", pp. 210--220
    24. Benoit Gaudou and Andreas Herzig and Dominique
    		Longin, "Grounding and the Expression of
		Belief", pp. 221--229
    25. Richard Booth and Thomas Meyer and Ka-Shu Wong, "A Bad Day
    		Surfing Is Better than a Good Day Working:  How
		to Revise a Total Preorder", pp. 230--238
    26. Jonathan Ben-Naim, "Lack of Finite Characterizations for
    		the Distance-Based Revision", pp. 239--248
    27. Anthony Hunter and Sebastian Konieczny, "Shapley
    		Inconsistency Values", pp. 249--258
    28. Diego Calvanese and Giuseppe De Giacomo and Dominico
    		Lembo and Maurizio Lenzerini and Ricardo
		Rosati, "Data Complexity of Query Answering
		in Description Logics", pp. 260--270
    29. Madalina Croitoru and Ernesto Compatangelo, "A Tree
    		Decomposition Algorithm for Conceptual Graph
		Projection", pp. 271--276
    30. Michael Wachter and Rolf Haenni, "Propositional {DAG}s:  A New
    		Graph-Based Language for Representing Boolean
		Functions", pp. 277--285
    31. Sylvie Coste-Marquis and H\'elene Fargier and J\'er\^ome Lang and
    		Daniel Le Berre and Pierre Marquis, "Representing
		Policies for Quantified Boolean Formulas", pp. 286--296
    32. Yan Chen and Fangzhen Lin and Yisong Wang and Mingyi
    		Zhang, "First-Order Loop Formulas for Normal Logic
		Programs", pp. 298--307
    33. Yan Zhang, "Computational Properties of Epistemic Logic
    		Programs", pp. 308--317
    34. Jens Cla{\ss}en and Gerhard Lakemeyer, "Foundations for
    		Knowledge-Based Programs Using ${\cal ES}$", pp. 318--328
    35. Umberto Straccia, "Query Answering under the Any-World
    		Assumption for Normal Logic Programs", pp. 329--339
    36. Thomas Eiter and Michael Fink and Hans Tompits and Patrick
    		Traxler and Stefan Woltran, "Replacements in
		Non-Ground Answer-Set Programming", pp. 340--350
    37. David Randall and  Mark Witkowski, "Abductive Visual Perception
    		with Feature Clouds", pp. 352--361
    38. Michael Thielscher and Thomas Witkowski, "The
    		Features-and-Fluents Semantics for the Fluent
		Calculus", pp. 362--370
    39. Victor Jauregui, "Semantical Considerations for a Logic of Actions:
    		An Imperative Manifesto", pp. 371--376
    40. Selim T. Erdogan and Vladimir Lifschitz, "Actions as Special
    		Cases", pp. 377--387
    41. Miroslaw Truszcynski, "Strong and Uniform Equivalence of
    		Nonmonotonic Theories---An Algebraic
		Approach", pp. 389--399
    42. Piero Bonatti and Carsten Lutz and Frank Wolter, "Description
    		Logics with Circumscription", pp. 400--410
    43. Thomas Agotnes and Natasha Alechina, "Semantics for Dynamic
    		Syntactic Epistemic Logics", pp. 411--419
    44. Didier Dubois and Angelo Gilio and Gabriele
    		Kern-Isherner, "Probabilistic Abduction without
		Priors", pp. 420--430
    45. Anna Zamansky and Arnon Avron, "Non-Deterministic Semantics
    		for First-Order Paraconsistent Logics", pp. 431--439
    46. Florence Dupin de Saint-Cyr and Henri Prade, "Possibilistic
    		Handling of Uncertain Default Rules with Applications
		to Persistence Modeling and Fuzzy Default
		Reasoning", pp. 440--450
    47. Blai Bonet and Hector Geffner, "Heuristics for Planning with
    		Penalties and Rewards using Compiled
		Knowledge", pp. 451--462
    48. Sebastian Sardina and Giuseppe De Giacomo and Ynes
    		Lesp\'erance and Hector J. Levesque, "On the Limits of
		Planning over Belief States under Strict
		Uncertainty", pp. 463--471
    49. Marco Ragni and Stefan W\"olfl, "Temporalizing Cardinal
    		Directions:  From Constraint Satisfaction to
		Planning", pp. 472--480
    50. Tan Cao Son and Phan Huy Tu, "On the Completeness of Approximation
    		Based Reasoning and Planning in Action Theories with
		Incomplete Information", pp. 481--491
    51. Jorge A. Baier and Sheila McIlraith, "On Planning with Programs
    		that Sense", pp. 492--502
    52. Robert Feldman and Gerhard Brewka and Sandro Wenzel, "Planning
    		with Prioritized Goals", pp. 503--513
  },
  rtnote = {In RHT Collection.  CS Conference shelves.},
  topic = {kr;}
 }

@inproceedings{ doi-etal:1998a,
  author = {Shinichi Doi and Shin-ichiro Kamei and Kiyoshi Yamabana},
  title = {A Text Input Front-End Processor as an Information Access
  	Platform},
  booktitle = {Proceedings of the Thirty-Sixth Annual Meeting of the
  	{A}ssociation for {C}omputational {L}inguistics and
	Seventeenth International Conference on
	Computational Linguistics},
  year = {1998},
  editor = {Christian Boitet and Pete Whitelock},
  pages = {336--340},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {computer-assisted-writing;}
}

@article{ dolev-etal:1986a,
  author = {D. Dolev and Joseph Y. Halpern and H.R. Strong},
  title = {On the Possibility and Impossibility of Achieving
  	Clock Synchronization},
  journal = {Journal of Computer and System Sciences},
  year = {1986},
  volume = {32},
  number = {2},
  pages = {230--250},
  missinginfo = {A's 1st name},
  topic = {distributed-systems;synchronization;communication-protocols;}
  }

@article{ dolev-etal:1990a,
  author = {D. Dolev and R. Reischuk and H.R. Strong},
  title = {Early Stopping in {B}yzantine Agreement},
  journal = {Journal of the {ACM}},
  year = {1990},
  volume = {34},
  number = {7},
  pages = {720--741},
  missinginfo = {A's 1st name},
  topic = {distributed-systems;Byzantine-agreement;communication-protocols;}
  }

@inproceedings{ dolev-strong:1982a,
  author = {D. Dolev and H.R. Strong},
  title = {Polynomial Algorithms for Multiple Processor Agreement},
  booktitle = {Proceedings of the Fourteenth Annual {ACM} Symposium on
  	Theory of Computing},
  year = {1982},
  pages = {401--407},
  organization = {{ACM}},
  missinginfo = {A's 1st name},
  topic = {distributed-systems;communication-protocols;polynomial-algorithms;}
  }

@article{ dominey-boucher:2005a,
  author = {Peter Ford Dominey and Jean-David Boucher},
  title = {Learning to Talk about Events from Narrated Video in
  		a Construction Grammar Framework},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {167},
  number = {1--2},
  pages = {31--61},
  topic = {situated-nlp;machine-language-learning;}
  }

@incollection{ domini:2003a,
  author = {Francesco M. Domini},
  title = {Complexity of Reasoning},
  booktitle = {The Description Logic Handbook:  Theory, Implementation
  		and Applications},
  publisher = {Cambridge University Press},
  year = {2003},
  editor = {Franz Baader and Diego Calvanese and Deborah L. McGuinness
  		and Daniele Nardi and Peter Patel-Schneider},
  pages = {96--136},
  address = {Cambridge, England},
  topic = {description-logics;complexity-in-AI;}
  }

@book{ domolki-gergely:1981a,
  editor = {B. D\"om\"olki and T. Gergely},
  title = {Mathematical Logic in Computer Science},
  publisher = {North-Holland Publishing Co.},
  year = {1981},
  address = {Amsterdam},
  ISBN = {0444854401},
  rtnote = {UMich Science, QA1 .B925 no.26.},
  topic = {logic-in-cs;logic-in-cs-intro;}
 }

@article{ domotor:1972a,
  author = {Zoltan Domotor},
  title = {Causal Models and Space-Time Geometries},
  journal = {Synth\'ese},
  year = {1972},
  volume = {24},
  number = {1},
  pages = {5--57},
  missinginfo = {A's 1st name, number},
  topic = {causality;philosophy-of-space;philosophy-of-physics;}
  }

@phdthesis{ domschlak:2002a,
  author = {Carmel Domschlak},
  title = {Modeling and Reasoning about Inferences with {CP}-Nets},
  school = {Ben-Gurion University of the Negev},
  year = {2002},
  type = {Ph.D. Dissertation},
  address = {Be'er Sheva},
  rtnote = {In RHT collection.  AI Shelves.},
  topic = {CP-nets;preference;qualitative-utility;}
 }

@incollection{ domschlak-brafman:2002a,
  author = {Carmel Domschlak and Ronen I. Brafman},
  title = {{CP}-Nets---Reasoning and Consistency Checking},
  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 = {121--132},
  address = {San Francisco, California},
  rtnote = {In RHT collection.},
  topic = {kr;CP-nets;preference-representation;complexity-in-AI;}
  }

@article{ domsky:2004a,
  author = {Daren Domsky},
  title = {There Is No Door:  Finally Solving the Problem of Moral
  		Luck},
  journal = {The Journal of Philosophy},
  year = {2004},
  volume = {101},
  number = {9},
  pages = {445--464},
  topic = {moral-luck;}
  }

@article{ donagan:1963a,
  author = {Alan Donagan},
  title = {Universals and Metaphysical Realism},
  journal = {The Monisr},
  volume = {47},
  year = {1963},
  pages = {211--246},
  rtnote = {In RHT collection.},
  topic = {philosophical-realism;metaphysics;}
    }

@article{ donagan:1984a,
  author = {Alan Donagan},
  title = {Consistency in Rationalist Moral Systems},
  journal = {The Journal of Philosophy},
  volume = {81},
  year = {1984},
  pages = {291--309},
  topic = {ethics;moral-conflict;}
    }

@article{ donaho:2002a,
  author = {Stephen Donaho},
  title = {Standard Quantification Theory in the Analysis of
  	{E}nglish},
  journal = {Journal of Philosophical Logic},
  year = {2002},
  volume = {31},
  number = {6},
  pages = {499--526},
  topic = {generalized-quantifiers;type-free-theories;type-theory;}
  }

@article{ donald:1987a,
  author = {Bruce R. Donald},
  title = {A Search Algorithm for Motion Planning with Six
  	Degrees of Freedom},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {31},
  number = {3},
  pages = {295--353},
  topic = {motion-planning;search;}
  }

@article{ donald:1988a,
  author = {Bruce R. Donald},
  title = {A Geometric Approach to Error Detection and Recovery
  	for Robot Motion Planning with Uncertainty},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {37},
  number = {1--3},
  pages = {223--271},
  topic = {motion-planning;}
  }

@article{ donald:1995a,
  author = {Bruce R. Donald},
  title = {On Information Invariants in Robotics},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {72},
  number = {1--2},
  pages = {217--304},
  acontentnote = {Abstract:
     We consider the problem of determining the information
     requirements to perform robot tasks, using the concept of
     information invariants.  This paper represents our attempt to
     characterize a family of complicated and subtle issues concerned
     with measuring robot task complexity.  We also provide a first
     approximation to a purely operational theory that addresses a
     narrow but interesting special case.  We discuss several measures
     for the information complexity of a task: (a) How much internal
     state should the robot retain? (b) How many cooperating agents
     are required, and how much communication between them is
     necessary?  (c) How can the robot change (side-effect) the
     environment in order to record state or sensory information to
     perform a task? (d) How much information is provided by sensors?
     and (e) How much computation is required by the robot?  We
     consider how one might develop a kind of ``calculus'' on (a)--e)
     in order to compare the power of sensor systems analytically.
     To this end, we attempt to develop a notion of information
     invariants.  We develop a theory whereby one sensor can be
     ``reduced'' to another (much in the spirit of
     computation-theoretic reductions), by adding, deleting, and
     reallocating (a-e) among collaborating autonomous agents.},
  topic = {robotics;}
  }

@article{ dong_ts:2008a,
  author = {Tiansi Dong},
  title = {A Comment on {RCC}:  From {RCC} to {RCC}$^{++}$},
  journal = {Journal of Philosophical Logic},
  year = {2008},
  volume = {37},
  number = {4},
  pages = {319--352},
  topic = {region-connection-calculus;}
  }

@inproceedings{ dongha-castelfranchi:1995a,
  author = {Paul Dongha and Cristiano Castelfranchi},
  title = {Rationality in Commitment},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Rational Agency: Concepts, Theories, Models, and Applications},
  year = {1995},
  editor = {Michael Fehling},
  pages = {32--40},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {intention;commitment;}
  }

@incollection{ donghong-changning:1997a,
  author = {Ji Donghong and Huang Changning},
  title = {Word Sense Disambiguation
				Based on Structured Semantic Space},
  booktitle = {Proceedings of the Second Conference on Empirical
		Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Claire Cardie and Ralph Weischedel},
  pages = {187--196},
  address = {Somerset, New Jersey},
  topic = {empirical-methods-in-nlp;lexical-disambiguation;}
  }

@incollection{ donghong-etal:1998a,
  author = {Ji Donghong and He Jun and Huang Changning},
  title = {Learning New Compositions from Given Ones},
  booktitle = {{CoNLL97}: Computational Natural Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {T. Mark Ellison},
  pages = {25--32},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;grammar-learning;}
  }

@incollection{ donini:1991a,
  author = {Francesco M. Donini and Maurizio Lenzerini and Daniele
  	Nardi and Werner Nutt},
  title = {The Complexity of Concept Languages},
  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 = {151--162},
  address = {San Mateo, California},
  contentnote = {This is a useful survey paper on complexity issues
  	for taxonomic logics.},
  topic = {kr;kr-complexity-analysis;description-logics;kr-course;}
  }

@article{ donini-etal:1992a,
  author = {Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and
  	Bernhard Hollunder and Werner Nutt and Alberto Spaccamela},
  title = {The Complexity of Existential Quantification in Concept
  	Languages},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {53},
  number = {2--3},
  pages = {309--327},
  contentnote = {Adding unrestricted E to basic L without disjunction
  	results in NP-completeness.},
  topic = {kr-complexity-analysis;description-logics;complexity-in-AI;}
  }

@incollection{ donini-etal:1992b,
  author = {Francesco M. Donini and Maurizio Lenzerini and Daniele
  	Nardi and Andrea Schaerf},
  title = {Adding Epistemic Operators to Concept Languages},
  booktitle = {{KR}'92. Principles of Knowledge Representation and
  	Reasoning: Proceedings of the Third International Conference},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Bernhard Nebel and Charles Rich and William Swartout},
  pages = {342--353},
  address = {San Mateo, California},
  topic = {description-logics;epistemic-logic;reasoning-about-knowledge;}
  }

@incollection{ donini-etal:1996a,
  author = {Francesco M. Donini and Maurizio Lenzerini and
	Daniele Nardi and Andrea Schaerf},
  title = {Reasoning in Description Logics},
  booktitle = {Principles of Knowledge Representation},
  publisher = {{CSLI} Publications},
  year = {1996},
  editor = {Gerhard Brewka},
  pages = {191--236},
  address = {Stanford, California},
  topic = {description-logics;}
  }

@incollection{ donini-etal:1996b,
  author = {Francesco M. Donini and Fabio Massacci and Daniele Nardi and
     	  Riccardo Rosati},
  title = {A Uniform Tableaux Method for Nonmonotonic Modal Logics},
  booktitle = {Logics in Artificial Intelligence: European Workshop,
  	{Jelia}'96, Ivora, Portugal, September 30 - October 3,
	1996.},
  publisher = {Springer-Verlag},
  year = {1996},
  editor = {Jos\'e J\'ulio Alferes and Lu\'is Moniz Pereira and Ewa Orlowska},
  pages = {87--103},
  address = {Berlin},
  topic = {theorem-proving;nonmonotonic-logic;modal-logic;
  	nonmonotonic-reasoning-algorithms;}
  }

@article{ donini-etal:1998a,
  author = {Francesco M. Donini and Maurizio Lenzerini and
  	Daniele Nardi and Werner Nutt and Andrea Schaerf},
  title = {An Epistemic Operator for Description Logics},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {100},
  number = {1--2},
  pages = {225--274},
  topic = {extensions-of-kl1;epistemic-logic;
  	reasoning-about-knowledge;nonmonotonic-reasoning;}
  }

@article{ donini-massacchi:2000a,
  author = {Francesco M. Donini and Fabio Massacchi},
  title = {{\sc EXPtime} Tableaux for ${\cal ALC}$},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {124},
  number = {1},
  pages = {87--138},
  topic = {modal-logic;description-logics;theorem-proving;}
  }

@article{ donnellan:1966a1,
  author = {Keith Donnellan},
  title = {Reference and Definite Descriptions},
  journal = {Philosophical Review},
  year = {1966},
  volume = {75},
  pages = {281--304},
  xref = {Republication: donnellan:1966a2.},
  rtnote = {Reading notes on file.},
  topic = {definite-descriptions;}
  }

@incollection{ donnellan:1971a,
  author = {Keith Donnellan},
  title = {Reference and Definite Descriptions},
  booktitle = {Semantics: An Interdisciplinary Reader in Philosophy,
  	Linguistics, and Psychology},
  publisher = {Cambridge University Press},
  year = {1971},
  editor = {Danny D. Steinberg and Leon A. Jacobovits},
  pages = {100--114},
  address = {Cambridge, England},
  xref = {Republication of: donnellan:1966a1.},
  topic = {definite-descriptions;}
  }

@incollection{ donnellan:1972a,
  author = {Keith S. Donnellan},
  title = {Proper Names and Identifying Descriptions},
  booktitle = {Semantics of Natural Language},
  publisher = {D. Reidel Publishing Co.},
  year = {1972},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {356--379},
  address = {Dordrecht},
  topic = {proper-names;definite-descriptions;reference;}
  }

@incollection{ donnellan:1978a1,
  author = {Keith Donnellan},
  title = {Speaker Reference, Descriptions and Anaphora},
  booktitle = {Syntax and Semantics 9: Pragmatics},
  publisher = {Academic Press},
  year = {1975},
  editor = {Peter Cole},
  pages = {47--68},
  address = {New York},
  xref = {Republication: donnellan:1978a2.},
  rtnote = {pragmatics-course;},
  topic = {referring-expressions;definite-descriptions;anaphora;
	philosophy-of-language;pragmatics;}
  }

@incollection{ donnellan:1978a2,
  author = {Keith S. Donnellan},
  title = {Speaker Reference, Descriptions, and Anaphora},
  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 = {28--44},
  address = {Minneapolis},
  xref = {Republication of donnellan:1978a1.},
  rtnote = {pragmatics-course;},
  topic = {referring-expressions;definite-descriptions;anaphora;
	philosophy-of-language;pragmatics;
	reference;}
  }

@incollection{ donnellan:1978b,
  author = {Keith S. Donnellan},
  title = {The Contingent {\it A Priori} and Rigid Designators},
  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 = {45--60},
  address = {Minneapolis},
  topic = {reference;a-priori;rigid-designators;}
  }

@incollection{ donnellan:1981a,
  author = {Keith Donnellan},
  title = {Intuitions and Presuppositions},
  booktitle = {Radical Pragmatics},
  publisher = {Academic Press},
  year = {1981},
  editor = {Peter Cole},
  pages = {129--142},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {presupposition;pragmatics;}
  }

@incollection{ donnellan:1990a,
  author = {Keith S. Donnellan},
  title = {Belief and the Identity of Reference},
  booktitle = {Propositional Attitudes: The Role of Content in Logic,
  	Language, and Mind},
  publisher = {Center for the Study of Language and Information},
  year = {1990},
  editor = {C. Anthony Anderson and Joseph Owens},
  pages = {201--214},
  address = {Stanford, California},
  topic = {propositional-attitudes;reference;}
  }

@incollection{ donnellan:1993a,
  author = {Keith S. Donnellan},
  title = {There Is a Word for that Kind of
		Thing: An Investigation of Two Thought Experiments},
  booktitle = {Philosophical Perspectives, Volume 7:
  	Language and Logic},
  publisher = {Blackwell Publishers},
  year = {1993},
  editor = {James E. Tomberlin},
  pages = {155--171},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {twin-earth;philosophical-thought-experiments;}
  }

@article{ donnelly:2004a,
  author = {Maureen Donnelly},
  title = {A Formal Theory for Reasoning about Parthood, Connection,
  		and Location},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {160},
  number = {1--2},
  pages = {145--172},
  topic = {spatial-reasoning;mereology;}
  }

@incollection{ dorato:2000a,
  author = {Mauro Dorato},
  title = {Becoming and the Arrow of Causation},
  booktitle = {{PSA}'1998: Proceedings of the 1998 Biennial Meetings
  	of the Philosophy of Science Association, Part {II}:
	Symposium Papers},
  publisher = {Philosophy of Science Association},
  year = {2000},
  editor = {Don A. Howard},
  pages = {S523--S534},
  address = {Newark, Delaware},
  topic = {philosophy-of-physics;temporal-direction;causality;}
  }

@article{ dordan:1992a,
  author = {Olivier Dordan},
  title = {Mathematical Problems Arising in Qualitative Simulation of
  	a Differential Equation},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {55},
  number = {1},
  pages = {61--86},
  topic = {differential-equations;qualitative-simulation;}
  }

@article{ dore:1962a,
  author = {Clement Dore},
  title = {On the Meaning of `Could Have'\, },
  journal = {Analysis},
  year = {1962},
  volume = {23},
  pages = {41--43},
  missinginfo = {number},
  topic = {conditionals;ability;counterfactual-past;}
  }

@article{ dore:1963a,
  author = {Clement Dore},
  title = {More On the Meaning of `Could Have'\, },
  journal = {Analysis},
  year = {1963},
  volume = {24},
  pages = {41--43},
  missinginfo = {number},
  topic = {conditionals;ability;counterfactual-past;}
  }

@article{ dore:1963b,
  author = {Clement Dore},
  title = {Is Free Will Compatible With Determinism?},
  journal = {The Philosophical Review},
  year = {1963},
  volume = {72},
  pages = {500--501},
  missinginfo = {number},
  topic = {freedom;(in)determinism;}
  }

@article{ dorigo-colombetti:1994a,
  author = {Marco Dorigo and Marco Colombetti},
  title = {Robot Shaping: Developing Autonomous Agents through
  	Learning},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {71},
  number = {2},
  pages = {321--370},
  acontentnote = {Abstract:
     Learning plays a vital role in the development of autonomous
     agents. In this paper, we explore the use of reinforcement
     learning to ``shape'' a robot to perform a predefined target
     behavior.  We connect both simulated and real robots to ALECSYS,
     a parallel implementation of a learning classifier system with
     an extended genetic algorithm. After classifying different kinds
     of Animat-like behaviors, we explore the effects on learning of
     different types of agent's architecture and training strategies.
     We show that the best results are achieved when both the agent's
     architecture and the training strategy match the structure of
     the behavior pattern to be learned. We report the results of a
     number of experiments carried out both in simulated and in real
     environments, and show that the results of simulations carry
     smoothly to physical robots. While most of our experiments deal
     with simple reactive behavior, in one of them we demonstrate the
     use of a simple and general memory mechanism. As a whole, our
     experimental activity demonstrates that classifier systems with
     genetic algorithms can be practically employed to develop
     autonomous agents.},
  topic = {machine-learning;robotics;reinforcement-learning;}
  }

@book{ dorigo-stutzle:2004a,
  author = {Marco Dorigo and Thomas St\"utzle},
  title = {Ant Colony Optimization},
  publisher = {The {MIT} Press},
  year = {2004},
  address = {Cambridge, Massachusetts},
  ISBN = {0262042193},
  rtnote = {UMich: Shapiro Science QA 402.5 .D641 2004},
  xref = {Review: blum_c:2005a},
  topic = {swarm-intelligence;}
 }

@article{ doring:1994a,
  author = {Frank D\"oring},
  title = {Probabilities of Conditionals and Conditional
  	Probabilities},
  journal = {The Philosophical Review},
  year = {1994},
  volume = {103},
  pages = {689--700},
  rtnote = {Look at this.},
  missinginfo = {number},
  xref = {Correction: doring:1996a.},
  topic = {conditionals;probabilities;}
  }

@article{ doring:1996a,
  author = {Frank D\"oring},
  title = {On the Probabilities of Conditionals},
  journal = {The Philosophical Review},
  year = {1996},
  volume = {105},
  number = {2},
  pages = {231},
  xref = {This is a correction to doring:1994a.},
  topic = {conditionals;probabilities;}
  }

@inproceedings{ doring:1998a,
  author = {Frank D\"oring},
  title = {Why {B}ayesian Psychology Is Incomplete},
  booktitle = {{PSA}98: Proceedings of the Biennial Meeting of the
	Philosophy of Science Association, Part 1: Contributed
	Papers},
  year = {1998},
  editor = {Don A. Howard},
  pages = {379--389},
  organization = {Philosophy of Science Association},
  publisher = {University of Chicago Press},
  address = {Chicago, Illinois},
  topic = {probability-kinematics;}
  }

@article{ doring:2000a,
  author = {Frank D\"oring},
  title = {Conditional Probability and {D}utch Books},
  journal = {Philosophy of Science},
  year = {2000},
  volume = {67},
  number = {3},
  pages = {391--409},
  topic = {foundations-of-probability;Dutch-book-argument;}
  }

@inproceedings{ dormoy-raimann:1988a1,
  author = {Jean-Luc Dormoy and Olivier Raimann},
  title = {Assembling a Device},
  booktitle = {Proceedings of the Seventh National Conference on
              Artificial Intelligence},
  year = {1988},
  editor = {Reid Smith and Tom Mitchell},
  pages = {330--335},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  xref = {Republication: dormoy-raimann:1988a2.},
  topic = {qualitative-physics;qualitative-reasoning;}
  }

@incollection{ dormoy-raimann:1988a2,
  author = {Jean-Luc Dormoy and Olivier Raimann},
  title = {Assembling a Device},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {306--311},
  address = {San Mateo, California},
  xref = {Republication of: dormoy-raimann:1988a1.},
  topic = {qualitative-physics;qualitative-reasoning;}
  }

@book{ dorn-weingartner:1985a,
  editor = {Georg Dorn and Paul Weingartner},
  title = {Foundations of Logic and Linguistics: Problems and
  	Solutions},
  publisher = {Plenum Press},
  year = {1985},
  address = {New York},
  topic = {logic-survey;}
 }

@inproceedings{ dorna-etal:1998a,
  author = {Michael Dorna and Anette Frank and Josef {van Genabith} and
	Martin C. Emele},
  title = {Syntactic and Semantic Transfer with {F}-Structures},
  booktitle = {Proceedings of the Thirty-Sixth Annual Meeting of the
	{A}ssociation for {C}omputational {L}inguistics and Seventeenth
    International Conference on Computational Linguistics},
  year = {1998},
  editor = {Christian Boitet and Pete Whitelock},
  pages = {341--347},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {machine-translation;LFG;}
}

@article{ dorndorf-etal:2000a,
  author = {Ulrich Dorndorf and Erwin Pesch and To\`an Phan-Huy},
  title = {Constraint Propagation Techniques for the Disjunctive
  	Scheduling Problem},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {122},
  number = {1--2},
  pages = {189--240},
  topic = {constraint-propagation;scheduling;}
  }

@incollection{ dornheim:1998a,
  author = {Christoph Dornheim},
  title = {Undecidability of Plane Polynomial Mereotopology},
  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 = {342--353},
  address = {San Francisco, California},
  topic = {kr;spatial-reasoning;compolexity-iun-AI;
  	undecidability;kr-course;}
  }

@article{ doron:1988a,
  author = {Edit Doron},
  title = {The Semantics of Predicate Nominals},
  journal = {Linguistics},
  year = {1988},
  volume = {26},
  number = {2},
  pages = {281--301},
  rtnote = {E.D. argues that `is' is not always identity when
    complemented by noun phrases.  She does, however, think it
    sometimes is.  She develops a number of diagnostics---both
    semantic and syntactic---for deciding whether a particular
    occurrence of a noun phrase in predicative position is
    predicative or referential.  --Delia Graff.},
  topic = {nl-semantics;predicate-nominals;copula;itentity;predication;}
  }

@inproceedings{ doron:1991a,
  author = {Edit Doron},
  title = {Point of View as a Factor of Content},
  booktitle = {Proceedings from Semantics and Linguistic Theory {I}},
  year = {1991},
  editor = {Steven Moore and {Adam Zachary} Wyner},
  pages = {51--64},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {context;direct-discourse;pragmatics;}
  }

@incollection{ doron:1999a,
  author = {Edit Doron},
  title = {The Semantics of Transitivity Alternations},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
		of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {103--108},
  address = {Amsterdam},
  topic = {transitivity-alternations;combinatory-logic;}
  }

@article{ doron:2003a,
  author = {Edit Doron},
  title = {Agency and Voice: The Semantics of the {S}emitic Templates},
  journal = {Natural Language Semantics},
  year = {2003},
  volume = {11},
  number = {1},
  pages = {1--67},
  topic = {argument-structure;Semitic-languages;}
  }

@incollection{ doron:2003b,
  author = {Edit Doron},
  title = {Bare Singular Reference to Kinds},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XIII}},
  publisher = {Cornell University},
  year = {2003},
  editor = {Robert B. Young and Yuping Zhou},
  pages = {73--90},
  address = {Ithaca, New York},
  topic = {nl-semantics;generics;reference;}
  }

@article{ dorr_bj:1993a,
  author = {Bonnie Jean Dorr},
  title = {Interlingual Machine Translation: a Parameterized Approach},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {63},
  number = {1--2},
  pages = {429--492},
  topic = {machine-translation;interlinguas;}
  }

@book{ dorr_bj:1993b,
  author = {Bonnie Dorr},
  title = {Machine Translation: A View From the Lexicon},
  publisher = {The {MIT} Press},
  year = {1993},
  address = {Cambridge, Massachusetts},
  topic = {machine-translation;computational-lexical-semantics;}
 }

@incollection{ dorr_bj:1995a,
  author = {Bonnie Jean Dorr},
  title = {A Lexical-Semantic Solution to the Divergence Problem in
  	Machine Translation},
  booktitle = {Computational Lexical Semantics},
  publisher = {Cambridge University Press},
  year = {1995},
  editor = {Patrick Saint-Dizier and Evelyne Viegas},
  pages = {367--395},
  address = {Cambridge, England},
  topic = {nl-kr;machine-translation;computational-lexical-semantics;}
  }

@article{ dorr_bj:2001a,
  author = {Bonnie Jean Dorr},
  title = {Review of \emph{{T}he {MIT} Encyclopedia of the Cognitive
  	Sciences,} edited by {R}obert {A}. {W}ilson and {F}rank {C}. {K}eil},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {130},
  number = {2},
  pages = {183--184},
  xref = {Review of: wilson_ra-keil:1999a.},
  topic = {cognitive-science-general;cognitive-science-survey;
  	nl-processing;}
  }

@article{ dorr_bj-etal:1995a,
  author = {Bonnie Jean Dorr and Dekang Lin and Jye-hoon Lee and
  	Sungki Suh},
  title = {Efficient Parsing for {K}orean and {E}nglish:
  	A Parameterized Message-Passing Approach},
  journal = {Computational Linguistics},
  year = {1995},
  volume = {25},
  number = {2},
  pages = {255--263},
  topic = {parsing-algorithms;machine-translation;
  	government-binding-theory;machine-translation;
	Korean-language;}
  }

@inproceedings{ dorr_bj-gaasterland:1995a,
  author = {Bonnie Jean Dorr and Terry Gaasterland},
  title = {Selecting Tense, Aspect, and Connecting Words in Language
  	Generation},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {1299--1305},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {nl-generation;tense-aspect;}
  }

@inproceedings{ dorr_bj-olsen_b:1997a,
  author = {Bonnie Dorr and Broman Olsen},
  title = {Deriving Verbal and Compositional Lexical Aspect for
  	{NLP} Applications},
  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 = {151--158},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {tense-aspect;lexical-semantics;}
 }

@inproceedings{ dorr_bj-voss:1993a,
  author = {Bonnie Jean Dorr  and Clare R. Voss},
  title = {Machine Translation of Spatial Expressions: Defining the
  	Relation Between an Interlingua and a Knowledge
	Representation System},
  booktitle = {Proceedings of the Eleventh National Conference on
              Artificial Intelligence},
  year = {1993},
  editor = {Richard Fikes and Wendy Lehnert},
  pages = {374--379},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {nl-kr;machine-translation;computational-lexical-semantics;
  	spatial-semantics;interlinguas;}
  }

@article{ dorr_c:2002a,
  author = {Cian Dorr},
  title = {Sleeping Beauty: In Defense of {E}lga},
  journal = {Analysis},
  year = {2002},
  volume = {62},
  pages = {292--296},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {sleeping-beauty-problem;}
  }

@incollection{ dorr_c:2003a,
  author = {Cian Dorr},
  title = {Vagueness without Ignorance},
  booktitle = {Philosophical Perspectives 17: Language and Philosophical
  	Linguistics, 2003},
  publisher = {Blackwell Publishers},
  year = {2003},
  editor = {John Hawthorne and Dean Zimmerman},
  pages = {83--113},
  address = {Oxford},
  rtnote = {In RHT collection.  File drawers.},
  topic = {vagueness;}
  }

@article{ dorr_c:2005a,
  author = {Cian Dorr},
  title = {Propositions and Counterpart Theory},
  journal = {Analysis},
  year = {2005},
  volume = {65},
  number = {287},
  pages = {210--218},
  topic = {counterpart-theory;}
  }

@inproceedings{ dorre:1996a,
  author = {Jochen D\"orre},
  title = {Parsing for Semidirectional {L}ambek Grammar is
  	{NP}-Complete},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {95--100},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {complexity-in-AI;Lambek-calculus;parsing-algorithms;}
 }

@inproceedings{ dorre:1997a,
  author = {Jochen D\"orre},
  title = {Efficient Construction of Underspecified Semantics
  	under Massive Ambiguity},
  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 = {386--393},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {semantic-underspecification;}
 }

@article{ dorre-etal:1994a,
  author = {Jochen D\"orre and Esther K\"onig and Dov Gabbay},
  title = {Fibred Semantics for Feature-Based Grammar Logic},
  journal = {Journal of Logic, Language, and Information},
  year = {1994},
  volume = {5},
  number = {3--4},
  pages = {387--422},
  topic = {categorial-grammar;feature-structure-logic;unification-of-FSs;
  	fibred-semantics;}
  }

@article{ dosen:1981a,
  author = {Kosta Do\v{s}en},
  title = {A Reduction of Classical Propositional Logic to the
  	Conjunction Negation Fragment of an Intuitionistic
	Relevant Logic},
  journal = {Journal of Philosophical Logic},
  year = {1981},
  volume = {10},
  number = {4},
  pages = {399--408},
  topic = {intuitionistic-logic;relevance-logic;}
  }

@article{ dosen:1992a,
  author = {Kosta Do\v{s}en},
  title = {Modal Logic as Metalogic},
  journal = {Journal of Logic, Language, and Information},
  year = {1992},
  volume = {1},
  number = {3},
  pages = {173--201},
  topic = {modal-logic;}
  }

@article{ dosen:1992b,
  author = {Kosta Do\v{s}en},
  title = {The First Axiomatization of Relevant Logic},
  journal = {Journal of Philosophical Logic},
  year = {1992},
  volume = {21},
  number = {4},
  pages = {339--356},
  topic = {relevance-logic;}
  }

@article{ dosen:1992c,
  author = {Kosta Do\v{s}en},
  title = {Modal Translations in Substructural Logics},
  journal = {Journal of Philosophical Logic},
  year = {1992},
  volume = {21},
  number = {3},
  pages = {283--336},
  topic = {substructural-logics;modal-logic;}
  }

@incollection{ dosen:1993b,
  author = {Kosta Do\v{s}en},
  title = {Modal Translations in {\bf K} and {\bf D}},
  booktitle = {Diamonds and Defaults},
  publisher = {Kluwer Academic Publishers},
  editor = {Maarten de Rijke},
  year = {1993},
  pages = {103--127},
  address = {Dordrecht},
  topic = {modal-logic;deontic-logic;}
  }

@book{ dosen:1994a,
  author = {Kosta Disen},
  title = {Substructural Logics},
  publisher = {Oxford University Press},
  year = {1994},
  series = {Studies in Logic and Computation},
  number = {2},
  address = {Oxford},
  ISBN = {019853778},
  topic = {substructural-logics;}
 }

@article{ dosen:1996a,
  author = {Kosta Dosen},
  title = {Deductive Completeness},
  journal = {The Bulletin of Symbolic Logic},
  year = {1996},
  volume = {2},
  number = {3},
  pages = {243--283},
  rtnote = {This looks like a nice paper.  Read it.},
  topic = {proof-theory;}
  }

@article{ dosen:2001a,
  author = {Kosta Do\V{s}en},
  title = {Review of \emph{{A}n Introduction to Substructural Logics},
  	by {G}reg {R}estall},
  journal = {The Bulletin of Symbolic Logic},
  year = {2001},
  volume = {7},
  number = {4},
  pages = {527--530},
  xref = {Review of: restall:2000a},
  topic = {substructural-logics;linear-logic;proof-theory;}
  }

@article{ dosen:2003a,
  author = {Kosta Do\v{s}en},
  title = {Identity of Proofs Based on Normalization and Generality},
  journal = {The Bulletin of Symbolic Logic},
  year = {2003},
  volume = {9},
  number = {4},
  pages = {477--502},
  topic = {proof-theory;}
  }

@article{ dosen-petric:2002a,
  author = {Kosta Do\v{s}en and Zoran Petri\'c},
  title = {Bicartesian Coherence},
  journal = {Studia Logica},
  year = {2002},
  volume = {71},
  number = {3},
  pages = {331--353},
  topic = {Lambek-calculus;categorial-grammar;}
  }

@book{ double:1991a,
  author = {Richard Double},
  title = {The Non-Reality of Free Will},
  publisher = {Oxford University Press},
  year = {1991},
  address = {Oxford},
  xref = {Review: ravizza:1993a},
  topic = {freedom;volition;}
 }

@article{ dougherty_rc:1969a,
  author = {Ray C. Dougherty},
  title = {An Interpretive Theory of Pronominal Reference},
  journal = {Foundations of Language},
  year = {1969},
  volume = {5},
  pages = {488--519},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {anaphora;}
  }

@article{ dougherty_rc:1973a,
  author = {Ray C. Dougherty},
  title = {A Survey of Linguistic Methods and Arguments},
  journal = {Foundations of Language},
  year = {1973},
  volume = {10},
  number = {3},
  pages = {423--490},
  topic = {generative-semantics;}
  }

@article{ dougherty_rc:1974a,
  author = {Ray C. Dougherty},
  title = {The Syntax and Semantics of `Each Other' Constructions},
  journal = {Foundations of Language},
  year = {1974},
  volume = {12},
  pages = {1--47},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {reciprical-constructions;}
  }

@incollection{ dougherty_rc:1974b,
  author = {Ray C. Dougherty},
  title = {What Explanation Is and Isn't},
  booktitle = {Explaining Linguistic Phenomena},
  publisher = {Hemisphere Publishing Corp.},
  year = {1974},
  editor = {David Cohen},
  pages = {125--151},
  address = {Washington, DC},
  topic = {philosophy-of-linguistics;linguistics-methodology;
  	explanation;}
  }

@incollection{ dougherty_rc:1976a,
  author = {Ray C. Dougherty},
  title = {Argument Invention: The Linguist's
		`Feel' for Science},
  booktitle = {Assessing Linguistic Arguments},
  publisher = {Hemisphere Publishing Corporation},
  year = {1976},
  editor = {Jessica R. Wirth},
  pages = {111--165},
  address = {Washington, D.C.},
  topic = {philosophy-of-linguistics;foundations-of-linguistics;}
  }

@book{ dougherty_rc:1995a,
  author = {Ray C. Dougherty},
  title = {Natural Language Computing},
  publisher = {Lawrence Erlbaum Associates},
  year = {1995},
  address = {Mahwah, New Jersey},
  topic = {computational-linguistics;PROLOG;}
 }

@article{ douglas:1990a,
  author = {M. Douglas},
  title = {Risk as a Forensic Resource},
  journal = {Daedalus},
  year = {1990},
  volume = {119},
  pages = {1--16},
  missinginfo = {A's 1st name, number},
  topic = {risk;}
  }

@inproceedings{ douven:1998a,
  author = {Igor Douven},
  title = {Inference to the Best Explanation Made Coherent},
  booktitle = {{PSA}98: Proceedings of the Biennial Meeting of the
	Philosophy of Science Association, Part 1: Contributed
	Papers},
  year = {1998},
  editor = {Don A. Howard},
  pages = {424--435},
  organization = {Philosophy of Science Association},
  publisher = {University of Chicago Press},
  address = {Chicago, Illinois},
  topic = {explanation;abduction;}
  }

@article{ douven:1999a,
  author = {Igor Douven},
  title = {Putnam's Model-Theoretic Argument Reconstructed},
  journal = {The Journal of Philosophy},
  year = {1999},
  volume = {96},
  number = {9},
  pages = {479--490},
  topic = {philosophical-realism;}
  }

@article{ douven:2002a,
  author = {Igor Douven},
  title = {A New Solution to the Paradoxes of Rational Acceptability},
  journal = {British Journal for the Philosophy of Science},
  year = {2002},
  volume = {53},
  number = {3},
  pages = {391--410},
  abstract = {The Lottery Paradox and the Preface Paradox both
     involve the thesis that high probability is sufficient for
     rational acceptability. The standard solution to these paradoxes
     denies that rational acceptability is deductively closed. This
     solution has a number of untoward consequences. The present
     paper suggests that a better solution to the paradoxes is to
     replace the thesis that high probability suffices for rational
     acceptability with a somewhat stricter thesis. This avoids the
     untoward consequences of the standard solution. The new solution
     will be defended against a seemingly obvious objection.},
  topic = {lottery-paradox;paradox-of-the-preface;}
  }

@article{ douven:2003a,
  author = {Igor Douven},
  title = {Nelkin on the Lottery Paradox},
  journal = {The Philosophical Review},
  year = {2003},
  volume = {112},
  number = {3},
  pages = {395--404},
  xref = {Commentary on: nelkin:2000a.},
  topic = {lottery-paradox;}
  }

@article{ douven:2006a,
  author = {Igor Douven},
  title = {Assertion, Knowledge, and Rational Credibility},
  journal = {The Philosophical Review},
  year = {2006},
  volume = {115},
  number = {4},
  pages = {449--485},
  topic = {assertion;knowledge;}
  }

@article{ douven:2007a,
  author = {Igor Douven},
  title = {Fitch's Paradox and Probabilistic Antirealism},
  journal = {Studia Logica},
  year = {2007},
  volume = {86},
  number = {2},
  pages = {149--182},
  topic = {Fitch-paradox;knowability-paradox;}
  }

@article{ douven:2008a,
  author = {Igor Douven},
  title = {Kaufmann on the Probabilities of Conditionals},
  journal = {Journal of Philosophical Logic},
  year = {2008},
  volume = {37},
  number = {3},
  pages = {259--266},
  xref = {Commentary on kaufmann:2004c.},
  topic = {cccp;conditionals;probability;}
  }

@article{ douven:2008b,
  author = {Igor Douven},
  title = {The Lottery Paradox and our Epistemic Goal},
  journal = {Pacific Philosophical Quarterly},
  year = {2008},
  volume = {89},
  number = {2},
  pages = {204--225},
  abstract = {Many have the intuition that the right response to the
     Lottery Paradox is to deny that one can justifiably believe of
     even a single lottery ticket that it will lose. The paper shows
     that from any theory of justification that solves the paradox in
     accordance with this intuition, a theory not of that kind can be
     derived that also solves the paradox but is more conducive to
     our epistemic goal than the former. It is argued that currently
     there is no valid reason not to give preference to the derived
     accounts over the accounts from which they come.},
  topic = {lottery-paradox;}
  }

@article{ douven-uffink:2003a,
  author = {Igor Douven and Jos Uffink},
  title = {The Preface Paradox Revisited},
  journal = {Erkenntnis},
  year = {2003},
  volume = {59},
  number = {3},
  pages = {389--420},
  abstract = {The Preface Paradox has led many philosophers to
     believe that, if it is assumed that high probability is
     necessary for rational acceptability, the principleaccording to
     which rational acceptability is closed under conjunction
     (CP)must be abandoned. In this paper we argue that the paradox
     is far less damaging to CP than is generally believed. We
     describe how, given certain plausibleassumptions, in a large
     class of cases in which CP seems to lead tocontradiction, it
     does not do so after all.  A restricted version of CP canthus be
     maintained.},
  topic = {paradox-of-the-preface;}
  }

@article{ douven-williamson_t:2006a,
  author = {Igor Douven and Timothy Williamson},
  title = {Generalizing the Lottery Paradox},
  journal = {The {B}ritish Journal for the Philosophy of Science},
  year = {2006},
  volume = {57},
  number = {4},
  pages = {755--779},
  abstract = {This paper is concerned with formal solutions to the
     lottery paradox on which high probability defeasibly warrants
     acceptance. It considers some recently proposed solutions of
     this type and presents an argument showing that these solutions
     are trivial in that they boil down to the claim that perfect
     probability is sufficient for rational acceptability. The
     argument is then generalized, showing that a broad class of
     similar solutions faces the same problem. },
  topic = {lottery-paradox;}
  }

@incollection{ dow-ribierodacostawerlang:1992a,
  author = {James Dow and S\'ergio {Ribiero da Costa Werlang}},

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib