text:
California},
  xref = {Journal Publication: davis_r:1979a1.},
  topic = {knowledge-acquisition;nl-kr;}
  }

@article{ davis_r:1982a,
  author = {Randall Davis},
  title = {Expert Systems: Where Are We?  And Where
  	Do We Go from Here?},
  journal = {{AI} Magazine},
  year = {1982},
  volume = {3},
  number = {2},
  pages = {3--22},
  topic = {expert-systems;}
  }

@article{ davis_r:1984a,
  author = {Randall Davis},
  title = {Diagnostic reasoning based on structure and behavior },
  journal = {Artificial Intelligence},
  year = {1984},
  volume = {24},
  number = {1--3},
  pages = {347--410},
  xref = {Commentary: davis_r:1993a.},
  topic = {qualitative-physics;qualitative-reasoning;diagnosis;
  	model-based-reasoning;}
  }

@article{ davis_r:1993a,
  author = {Randall Davis},
  title = {Retrospective on `Diagnostic Reasoning Based
  	on Structure and Behavior'},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {149--157},
  xref = {Comment on davis_r:1984.},
  topic = {diagnosis;model-based-reasoning;}
  }

@article{ davis_r:1998a,
  author = {Randall Davis},
  title = {What Are Intelligence? And Why?},
  journal = {{AI} Magazine},
  year = {1998},
  volume = {19},
  number = {1},
  pages = {91--110},
  topic = {foundations-of-AI;intelligence;}
  }

@article{ davis_r-etal:1977a,
  author = {Randall Davis and Bruce Buchanan and Edward Shortliffe},
  title = {Production Rules as a Representation for a Knowledge-Based
  	Consultation Program},
  journal = {Artificial Intelligence},
  year = {1977},
  volume = {8},
  number = {1},
  pages = {15--45},
  topic = {diagnosis;expert-systems;medical-AI;}
  }

@article{ davis_r-etal:1993a,
  author = {Randall Davis and Bruce G. Buchanan and
  	Edward H. Shortliffe},
  title = {Retrospective on `Production Rules as a Representation
  	for a Knowledge-Based Consultation Program'},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {181--189},
  xref = {Retrospective commentary on davis_r-etal:1977a.},
  topic = {diagnosis;expert-systems;medical-AI;}
  }

@article{ davis_r-smith_rg:1983a,
  author = {Randall Davis and Reid G. Smith},
  title = {Negotiation as a Metaphor for Distributed Problem
  	Solving},
  journal = {Artificial Intelligence},
  year = {1983},
  volume = {20},
  number = {1},
  pages = {63--109},
  topic = {distributed-AI;social-choice-theory;distributed-processing;
  	negotiation;}
}

@phdthesis{ davis_s:1968a,
  author = {Stephen Davis},
  title = {Illocutionary Acts and Transformational Grammar},
  school = {University of Illinois},
  year = {1968},
  type = {Ph.{D}. Dissertation},
  address = {Urbana, Illinois},
  topic = {speech-acts;pragmatics;}
 }

@article{ davis_s:1979a,
  author = {Steven Davis},
  title = {Perlocutions},
  journal = {Linguistics and Philosophy},
  year = {1979},
  volume = {3},
  number = {2},
  pages = {225--243},
  topic = {speech-acts;pragmatics;}
  }

@book{ davis_s:1991a,
  editor = {Steven Davis},
  title = {Pragmatics: A Reader},
  publisher = {Oxford University Press},
  year = {1991},
  address = {Oxford},
  contentnote = {TC:
     1. Kent Bach, "Referential/Attributive", pp. 17--32
     2. Robyn Carston, "Implicature, Explicature, and Truth-Theoretic
     		Semantics", pp. 33--51
     3. Keith Donnellan, "Reference and Definite Descriptions", pp. 52--64
     4. H.P. Grice, "Utterer's Meaning, Sentence-Meaning, and
     		Word-Meaning", pp. 65--76
     5. Saul Kripke, "Speaker's Reference and Semantic Reference", pp. 77--96
     6. Fran\c{c}ois R\'ecanati, "The Pragmatics of What is Said", pp. 97--120
     7. John R. Searle, "Referential and Attributive", pp. 121--134
     8. David Kaplan, "On the Logic of Demonstratives", pp. 137--145
     9. Johm Perry, "Frege on Demonstratives", pp. 146--159
    10. Howard K. Wettstein, "How to Bridge the Gap betweeb Meaning
    		and Reference", pp. 160--174
    11. Herbert H. Clark and Thomas B. Carlson, "Speech Acts and
    		Hearer's Beliefs", pp. 177--198
    12. Herbert H. Clark, "Responding to Indirect Speech
    		Acts", pp. 199--230
    13. Kent Bach and Robert M. Harnish, "Linguistics Communication:
    		A Schema for Speech Acts", pp. 231--241
    14. J.L. Morgan, "Two Types of Convention in Indirect Speech
    		Acts", pp. 242--253
    15. John R. Searle, "What is a Speech Act?", pp. 254--264
    16. John R. Searle, "Indirect Speech Acts", pp. 265--277
    17. Robert C. Stalnaker, "Assertion", pp. 278--289
    18. Peter F. Strawson, "Intention and Convention in Speech
    		Acts", pp. 290--301
    19. H.P. Grice, "Logic and Conversation", pp. 305--315
    20. Robert M. Harnish, "Logical Form and Implicature", pp. 316--364
    21. Jerrold M. Sadock, "On Testing for Conversational
    		Implicature", pp. 365--376
    22. Deirdre Wilson and Dan Sperber, "Inference and
    		Implicature", pp. 377--393
    23. Irene Heim, "On the Projection Problem for
    		Presuppositions", pp. 397--405
    24. Lauri Karttunen, "Presupposition and Linguistic
    		Content", pp.  406--415
    25. David Lewis, "Scorekeeping in a Language Game", pp. 416--427
    26. Scott Soames, "How Presuppositions Are Inherited:  A Solution
    		to the Projection Problem", pp. 428--470
    27. Robert C. Stalnaker, "Pragmatic Presuppositions", pp. 471--482
    28. Merrie Bergmann, "Metaphorical Assertions", pp. 485--494
    29. Donald Davidson, "What Metaphors Mean", pp. 495--506
    30. A.P. Martinich, "A Theory for Metaphor", pp. 507--518
    31. John R. Searle, "Metaphor", pp. 519--539
    32. Dan Sperber and Deirdre Wilson, "Loose Talk", pp. 540--549
    33. Dan Sperber and Deirdre Wilson, "Irony and the Use-Mention
    		Distinction", pp. 550--564
    34. Asa Kasher, "Pragmatics and the Modularity of Mind", pp. 567--582
    35. Deirdre Wilson and Dan Sperber, "Pragmatics and
    		Modularity", pp. 583--595
  },
  rtnote = {UMich Undergraduate Library, P 99.4 .P72 P7361 1991.},
  topic = {pragmatics;philosophy-of-language;}
 }

@incollection{ davis_s:1991b,
  author = {Steven Davis},
  title = {Introduction},
  booktitle = {Pragmatics: A Reader},
  publisher = {Oxford University Press},
  year = {1991},
  editor = {Steven Davis},
  pages = {3--13},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {pragmatics;philosophy-of-language;}
  }

@book{ davis_s:1992a,
  editor = {Steven Davis},
  title = {Connectionism: Theory and Practice},
  publisher = {Oxford University Press},
  year = {1992},
  address = {Oxford},
  ISBN = {0-19-507666-4 (paper), 0-19-507665-6 (cloth)},
  contentnote = {TC:
  	1. G.E. Hinton and S. Becker, "Using Coherence Assumptions to
		Discover the Underlying Causes of the Sensory Input"
	2. Michael I. Jordan and Robert A. Jacobs, "Comment"
	3. Paul M. Churchland, "A Deeper Unity: Some Feyerabendian
		Themes in Neurocomputational Form"
	4. Charles Travis, "Comment"
	5. David E. Rumelhart, "Towards a Microstructural Account of
		Human Reasoning"
	6. Mark S. Seidenberg, "Connectionism Without Tears"
	7. Michael E. J.  Masson, "Comment"
       10. Jeffrey L. Elman, "Grammatical Structure and Distributed
       		Representations"
       11. Tim van Gelder, "Comment"
       12.  Terence Horgan and John Tienson, "Structured
       		Representations in Connectionist Systems?"
       13.  John Goldsmith, "Local Modelling in Phonology"
       14.  William Ramsey, "Connectionism and the Philosophy of
       		Mental Representation"
       15. Steven W. Zucker, Allan Dobbins, and Lee Iverson,
       		"Connectionism and the Computational Neurobiology of
		Curve Detection"
       16.  David Kirsh, "PDP Learnability and Innate Knowledge of
       		Language"
   },
  topic = {connectionism;connectionist-models;}
 }

@article{ davis_s:1997a,
  author = {Stephen Davis},
  title = {Grice on Natural and Non-Natural Meaning},
  journal = {Philosophia},
  year = {1997},
  volume = {26},
  number = {3--4},
  pages = {405--419},
  topic = {Grice;speaker-meaning;}
  }

@book{ davis_s-gillon:2004a,
  editor = {Steven Davis and Brendon S. Gillon},
  title = {Semantics: A Reader},
  publisher = {Oxford University Press},
  year = {2004},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;philosophy-of-language;}
 }

@book{ davis_s-mithun:1979a,
  editor = {Steven Davis and Marianne Mithun},
  title = {Linguistics, Philosophy, and {M}ontague Grammar},
  publisher = {University of Texas Press},
  year = {1979},
  address = {Austin, Texas},
  ISBN = {0292746253},
  rtnote = {UMich Graduate Library, P158.5 .C74 1977.},
  topic = {Montague-grammar;}
 }

@article{ davis_wa:1979a,
  author = {Wayne A. Davis},
  title = {Indicative and Subjunctive Conditionals},
  journal = {The Philosophical Review},
  year = {1979},
  volume = {88},
  number = {4},
  pages = {544--564},
  topic = {subjunctive-mood;conditionals;}
  }

@article{ davis_wa:1982a,
  author = {Wayne A. Davis},
  title = {Weirich on Conditional and Expected Utility},
  journal = {The Journal of Philosophy},
  year = {1982},
  volume = {74},
  number = {6},
  pages = {342--350},
  topic = {utility;foundations-of-utility;}
  }

@incollection{ davis_wa:1986a,
  author = {Wayne A. Davis},
  title = {The Two Senses of Desire},
  booktitle = {The Ways of Desire: New Essays in Philosophical
  	     Psychology on the Concept of Wanting},
  publisher = {Precedent Publishing, Inc.},
  year = {1986},
  editor = {Joel Marks},
  pages = {63--82},
  address = {Chicago},
  contentnote = {Sense 1: Synonymous with `want', `wish', `would
  	like': volitive desire, connected to will, intention.
	Sense 2: Syononymous with `appetite', `craving', etc.
	Connected to appetite.},
  topic = {desire;philosophical-psychology;}
  }

@article{ davis_wa:1992a,
  author = {Wayne A. Davis},
  title = {Speaker Meaning},
  journal = {Linguistics and Philosophy},
  year = {1992},
  volume = {15},
  pages = {223--253},
  number = {3},
  topic = {speaker-meaning;}
  }

@article{ davis_wa:1993a,
  author = {Wayne A. Davis},
  title = {Review of \emph{{P}robabilistic Causality}, by
  	{E}llery {E}ells},
  journal = {The Philosophical Review},
  year = {1993},
  volume = {102},
  number = {3},
  pages = {410--412},
  xref = {Review of eells:1991a.},
  topic = {causality;probability;}
  }

@book{ davis_wa:1998a,
  author = {Wayne A. Davis},
  title = {Implicature: Intention, Convention, and Principle in the
  	Failure of {G}ricean Theory},
  publisher = {Cambridge University Press},
  year = {1998},
  address = {Cambridge, England},
  ISBN = {0521623197},
  rtnote = {UMich Graduate Library, P 85 .G735 D38 1998.},
  xref = {Review: saul_j:2001a.},
  topic = {implicature;Grice;}
 }

@article{ davis_wa:2005a,
  author = {Wayne A. Davis},
  title = {Concept Individuation, Possession Conditions, and
  	Propositional Attitudes},
  journal = {No\^us},
  year = {2004},
  volume = {39},
  number = {1},
  pages = {140--166},
  topic = {concepts;propositional-attitudes;}
  }

@incollection{ davis_ws-carnes:1991a,
  author = {William S. Davis and James R. Carnes},
  title = {Clustering Temporal Intervals to Generate Reference
  	Hierarchies},
  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 = {111--117},
  address = {San Mateo, California},
  topic = {kr;temporal-reasoning;kr-course;}
  }

@inproceedings{ davison_a:1970a,
  author = {Alice Davison},
  title = {Causal Adverbs and Performative Verbs},
  booktitle = {Proceedings of the Sixth Regional Meeting of the
  	Chicago Linguistics Society},
  year = {1970},
  pages = {190--201},
  publisher = {Chicago Linguistics Society},
  address = {Chicago University, Chicago, Illinois},
  missinginfo = {editor},
  topic = {speech-acts;pragmatics;}
  }

@incollection{ davison_a:1975a,
  author = {Alice Davison},
  title = {Indirect Speech Acts and What to Do With Them},
  booktitle = {Syntax and Semantics 3: Speech Acts},
  year = {1975},
  editor = {Peter Cole and Jerry Morgan},
  pages = {143--186},
  publisher = {Academic Press},
  address = {New York},
  rtnote = {pragmatics-course;},
  topic = {speech-acts;pragmatics;indirect-speech-acts;}
  }

@incollection{ davison_a:1981a,
  author = {Alice Davison},
  title = {Syntactic and Semantic Indeterminacy Resolved:
     		A Mostly Pragmatic Analysis of the {H}indi Conjunctive
		Participle},
  booktitle = {Radical Pragmatics},
  publisher = {Academic Press},
  year = {1981},
  editor = {Peter Cole},
  pages = {101--128},
  address = {New York},
  topic = {pragmatics;Hindi-language;}
  }

@article{ davison_a:1983a,
  author = {Alice Davison},
  title = {Linguistic or Pragmatic Description in the Context
  	of the Performadox},
  journal = {Linguistics and Philosophy},
  year = {1983},
  volume = {6},
  number = {4},
  pages = {499--526},
  topic = {speech-acts;pragmatics;}
  }

@book{ davison_p-etal:1978a,
  editor = {Peter Davison and Rolf Meyersohn and Edward Shils},
  title = {Uses of Literacy: Media},
  publisher = {Chadwyck-Healy},
  year = {1978},
  address = {Cambridge},
  ISBN = {0914146521 (Somerset)},
  rtnote = {UMich Graduate Library, P91.25 .U84 1978.},
  topic = {sociology-of-literature;mass-media;}
 }

@book{ davison_p-etal:1978b,
  editor = {Peter Davison and Rolf Meyersohn and Edward Shils},
  title = {Literature and Society},
  publisher = {Somerset House},
  year = {1978},
  address = {Cambridge, England},
  ISBN = {0914146483},
  rtnote = {UMich Graduate Library, PN51 .L77 1978.},
  topic = {sociology-of-literature;}
 }

@article{ dawar-gurevich:2002a,
  author = {Anuj Dawar and Yuri Gurevich},
  title = {Fixed Point Logics},
  journal = {The Bulletin of Symbolic Logic},
  year = {2002},
  volume = {8},
  number = {1},
  pages = {65--88},
  topic = {fixpoints;extensions-of-FOL;finite-model-theory;}
  }

@book{ dawes:1972a,
  author = {Robyn M. Dawes},
  title = {Fundamentals of Attitude Measurement},
  publisher = {John Wiley and Sons},
  year = {1972},
  address = {Amsterdam},
  ISBN = {0471199494},
  rtnote = {UMich Undergraduate Bf323.C5 D27},
  topic = {soical-psychology;attitudes-in-psychology;}
 }

@article{ dawid:1979a,
  author = {A.P. Dawid},
  title = {Conditional Independence in Statistical Theory},
  journal = {Journal of the Royal Statistical Society, Series B},
  year = {1979},
  volume = {41},
  pages = {1--31},
  missinginfo = {A's 1st name, number},
  topic = {statistical-(in)dependence;}
  }

@article{ dawkins:1995a,
  author = {John Dawkins},
  title = {Teaching Punctuation as a Rhetorical Tool},
  journal = {College Composition and Communication},
  year = {1995},
  volume = {46},
  number = {4},
  pages = {533--548},
  topic = {punctuation;}
}

@article{ dawson_ee:1959a,
  author = {Edward E. Dawson},
  title = {A Model for Deontic Logic},
  journal = {Analysis},
  year = {1959},
  volume = {19},
  number = {4},
  pages = {73--78},
  url = {http://www.jstor.org/stable/3326437},
  topic = {deontic-logic;}
  }

@book{ dawson_jw:1997a,
  author = {John W. {Dawson, Jr.}},
  title = {Logical Dilemmas:  The Life and Work of {K}urt {G}\"odel},
  publisher = {A.K. Peters},
  year = {1997},
  address = {Wellesley, Massachusetts},
  ISBN = {1568810253},
  rtnote = {UMich Science Library, QA 29 .G58 D391 1997.},
  topic = {goedel;history-of-logic;}
 }

@book{ dawson_mrw:1998a,
  author = {Michael R.W. Dawson},
  title = {Understanding Cognitive Science},
  publisher = {Blackwell Publishers},
  year = {1999},
  address = {Oxford},
  ISBN = {0-631-20895-X (pb)},
  topic = {cogsci-intro;}
 }

@book{ day_di-kovacs:1996a,
  editor = {Donald L. Day and Diane K. Kovacs},
  title = {Computers, Communication and Mental Models},
  publisher = {Taylor \& Francis},
  year = {1996},
  address = {London},
  contentnote = {TC:
  	1. Rodney Fuller, "Human-computer-human Interaction: How
		Computers Affect Interpersonal Communication"
	2. Jeremy Roschelle, "Designing for Cognitive Communication: Epistemic
		Fidelity or Mediating Collaborative Inquiry?"
	3. Lajos Balint, "Computer-mediated interpersonal
		Communication: The {HCHI} Approach"
	4. John Wood and Paul Taylor, "Mapping the Mapper"
	5. Phil Moose et al., "Mapping Spatial Cognition with Computers"
	6. Munir Mandviwalla, "The World View of Collaborative Tools"
	7.  Ray Paul and Peter Thomas, "Computer-Based Simulation
		Models for Problem-Solving: Communicating Problem
		Understandings"
       10. Jozsef Toth, "The Effects of Combining Interactive Graphics
       		and Text in Computer-Mediated Small Group Decision-Making"
   },
  ISBN = {0748405437 (pbk)},
  rtnote = {UMich Undergraduate, P 96 .D36 C67 1996.},
  topic = {HCI;}
 }

@article{ day_ma:1977a,
  author = {Michael A. Day},
  title = {An Axiomatic Approach to First Law Thermodynamics},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {6},
  number = {2},
  pages = {119--134},
  topic = {formalizations-of-physics;}
  }

@incollection{ dayal:1985a,
  author = {Veneeta Srivastav Dayal},
  title = {Quantification in Correlatives},
  booktitle = {Quantification in Natural Languages, Vol. 1},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {Emmon Bach and Eloise Jelinek and Angelika Kratzer and
   	Barbara Partee},
  pages = {179--205},
  address = {Dordrecht},
  topic = {nl-semantics;relative-clauses;adjuncts;}
  }

@article{ dayal:1992a,
  author = {Veneeta Srivastav Dayal},
  title = {Scope Marking as Indirect WH-Dependency},
  journal = {Natural Language Semantics},
  year = {1993--1994},
  volume = {2},
  number = {2},
  pages = {137--170},
  topic = {nl-quantifier-scope;nl-semantics;}
  }

@inproceedings{ dayal:1995a,
  author = {Veneeta Dayal},
  title = {Licensing {\em any} in Non-Negative/Non-Modal
		Contexts},
  booktitle = {Proceedings from Semantics and Linguistic Theory {V}},
  year = {1995},
  editor = {Mandy Simons and Teresa Galloway},
  pages = {72--93},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {nl-semantics;indefiniteness;free-choice-`any/or';}
  }

@book{ dayal:1996a,
  author = {Veneeta Dayal},
  title = {Locality in {Wh} Quantification: Questions and Relative
  	Clauses in {H}indi},
  publisher = {Kluwer Academic Publishers},
  year = {1996},
  address = {Dordrecht},
  ISBN = {079234099X},
  rtnote = {UMich Graduate Library, PK 1933 .D391 1996.},
  topic = {interrogatives;Hindi-language;}
 }

@inproceedings{ dayal:1997a,
  author = {Vaneeta Dayal},
  title = {Free Relatives and `Ever': Identity and Free Choice
  		Readings},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VII}},
  publisher = {Cornell University},
  year = {1997},
  editor = {Aaron Lawson},
  pages = {99--116},
  address = {Ithaca, New York},
  topic = {nl-semantics;free-choice-`any/or';relative-clauses;}
  }

@article{ dayal:1998b,
  author = {Vaneeta Dayal},
  title = {{\it Any} As Inherently Modal},
  journal = {Linguistics and Philosophy},
  year = {1998},
  volume = {21},
  number = {5},
  pages = {433--476},
  topic = {free-choice-`any/or';nl-quantifiers;}
  }

@inproceedings{ dayal:1999a,
  author = {Veneeta Dayal},
  title = {Bare {NP}'s, Reference to Kinds, and Incorporation},
  booktitle = {Proceedings from Semantics and Linguistic Theory {IX}},
  publisher = {Cornell University},
  year = {1999},
  editor = {Tanya Matthews and Devon Strolovitch},
  pages = {34--51},
  address = {Ithaca, New York},
  topic = {nl-semantics;Hindi-language;anaphora;}
  }

@article{ dayal:2004a,
  author = {Veneeta Dayal},
  title = {Number Marking and (In)Definiteness in Kind Terms},
  journal = {Linguistics and Philosophy},
  year = {2004},
  volume = {27},
  number = {3},
  pages = {393--450},
  topic = {plural;indefiniteness;generics;}
  }

@techreport{ dean_t:1985a,
  author = {Thomas Dean},
  title = {Temporal Imagery: An Approach to Reasoning about
		Time for Planning and Problem Solving},
  institution = {Department of Computer Science, Yale University},
  number = {CSD/RR \#443},
  year = {1985},
  address = {New Haven, Connecticut},
  rtnote = {In RHT collection.},
  topic = {temporal-reasoning;planning-formalisms;}
  }

@inproceedings{ dean_t:1986a,
  author = {Thomas Dean},
  title = {Intractability and Time Dependent Planning},
  booktitle = {Proceedings of the Workshop on Planning and Reasoning
	  about Action},
  organization = {AAAI},
  month = {July},
  pages = {143--164},
  year = {1986},
  topic = {planning;}
 }

@article{ dean_t:1991a,
 author = {Thomas Dean},
 title = {Decision-Theoretic Control of Inference for
		Time-Critical Applications},
 journal = {International Journal of Intelligent Systems},
 volume = {6},
 number = {4},
 pages = {417--441},
 year = {1991},
 topic = {limited-rationality;}
 }

@book{ dean_t:1999a,
  editor = {Thomas Dean},
  title = {Proceedings of the Sixteenth International Joint
  	Conference on Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  year = {1999},
  address = {San Francisco},
  volume = {1},
  rtnote = {In RHT collection.},
  topic = {AI-general;}
 }

@book{ dean_t:1999b,
  editor = {Thomas Dean},
  title = {Proceedings of the Sixteenth International Joint
  	Conference on Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  year = {1999},
  address = {San Francisco},
  volume = {2},
  rtnote = {In RHT collection.},
  topic = {AI-general;}
 }

@article{ dean_t-broddy:1988a1,
  author = {Thomas Dean and Mark Broddy},
  title = {Reasoning about Partially Ordered Events},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {36},
  number = {3},
  pages = {375--399},
  acontentnote = {Abstract:
     This paper describes a class of temporal reasoning problems
     involving events whose order is not completely known. We examine
     the complexity of such problems and show that for all but
     trivial cases these problems are likely to be intractable. As an
     alternative to a complete, but potentially exponential-time
     decision procedure, we provide a partial decision procedure that
     reports useful results and runs in polynomial time.},
  xref = {Republication: dean_t-broddy:1988a2.},
  topic = {qualitative-physics;qualitative-reasoning;temporal-reasoning;}
  }

@incollection{ dean_t-broddy:1988a2,
  author = {Tom Dean and Mark Broddy},
  title = {Reasoning about Partially Ordered Events},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {382--393},
  address = {San Mateo, California},
  xref = {Republication of: dean_t-boddy:1988a1.},
  topic = {qualitative-physics;qualitative-reasoning;temporal-reasoning;}
  }

@inproceedings{ dean_t-etal:1993a,
  author = {Thomas Dean and Leslie Pack Kaelbling and Jak Kirman and
  	Ann Nicholson},
  title = {Planning with Deadlines in Stochastic Domains},
  booktitle = {Proceedings of the Eleventh National Conference on
              Artificial Intelligence},
  year = {1993},
  editor = {Richard Fikes and Wendy Lehnert},
  pages = {574--579},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {planning;resource-limited-reasoning;}
  }

@article{ dean_t-etal:1995a,
  author = {Thomas Dean and Leslie Pack Kaelbling and Jak Kirman and
  	Ann Nicholson},
  title = {Planning under Time Constraints in Stochastic Domains},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {76},
  number = {1--2},
  pages = {35--74},
  topic = {planning;resource-limited-reasoning;}
  }

@book{ dean_t-etal:1995b,
  author = {Thomas Dean and James Allen and Y. Aloimonos},
  title = {Artificial Intelligence: Theory and Practice},
  publisher = {Benjamin/Cummins Publishing},
  year = {1995},
  address = {Redwood City, California},
  ISBN = {0-8053-2547-6},
  xref = {Reviews: duboulay:2001a, furbach:2003a.},
  topic = {AI-intro;AI-text;}
 }

@article{ dean_t-mcdermott_d:1987a,
  author = {Thomas Dean and Drew McDermott},
  title = {Temporal Data Base Management},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {32},
  number = {1},
  pages = {1--55},
  missinginfo = {specific topics},
  topic = {temporal-reasoning;}
  }

@inproceedings{ dean_t-wellman_mp:1989a,
  author = {Thomas Dean and Michael P. Wellman},
  title = {On the Value of Goals},
  booktitle = {Proceedings from the {R}ochester Planning Workshop:
  	From Formal Systems to Practical Systems},
  year = {1989},
  editor = {Josh Tenenberg and Jay Weber and James Allen},
  pages = {129--140},
  topic = {intention;foundations-of-planning;}
 }

@article{ deane:1995a,
  author = {Paul Deane},
  title = {Review of \emph{{C}omputational Lexical Semantics}, edited
  	by {P}atrick {S}aint-{D}izier and {E}velyne {V}iegas},
  journal = {Computational Linguistics},
  year = {1995},
  volume = {21},
  number = {4},
  pages = {593--597},
  xref = {Review of: saintdizier-viegas:1995a.},
  topic = {machine-translation;nl-kr;computational-lexical-semantics;
  	lexical-processing;}
  }

@inproceedings{ deane:2005a,
  author = {Paul Deane},
  title = {A Nonparametric Method for Extraction of Candidate Phrasal Terms},
  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 = {605--613},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1075},
  topic = {corpus-linguistics;phrasal-terms;}
  }

@incollection{ deangelli-etal:1999a,
  author = {Antonella de Angeli and Laurent Romary and Frederic Wolf},
  title = {Ecological Interfaces: Extending the Pointing Paradigm
            by Visual Context},
  booktitle = {Modeling and Using Contexts: Proceedings of
	the Second International and Interdisciplinary
	Conference, {CONTEXT}'99},
  publisher = {Springer-Verlag},
  year = {1999},
  editor = {Paolo Bouquet and Luigi Serafini and Patrick
	Br\'ezillon	and Massimo Benerecetti and Francesca
	Castellani},
  pages = {91--104},
  address = {Berlin},
  topic = {context;HCI;}
  }

@article{ dearden-boutilier:1997a,
  author = {Richard Dearden and Craig Boutilier},
  title = {Abstraction and Approximate Decision-Theoretic Planning},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {89},
  number = {1--2},
  pages = {219--283},
  topic = {planning;Markov-decision-processes;abstraction;
  	decision-theory;qualitative-utility;}
  }

@book{ debakker-etal:1989a,
  editor = {J.W. de Bakker and W.P. de Roever and Grezegorz Rozenburg},
  title = {Linear Time, Branching Time and Partial Order in
		Logics and Models for Concurrency},
  publisher = {Springer-Verlag},
  year = {1989},
  address = {Berlin},
  missinginfo = {A's 1st name.},
  rtnote = {UMich Media Library QA 76.5 .L5231 1989},
  isbn = {038751080X},
  topic = {temporal-logic;modal-logic;branching-time;tmix-project;
	concurrency;}
 }

@book{ debeaugrande:1980a,
  author = {Robert de Beaugrande},
  title = {Text, Discourse, and Process: Toward a Multidisciplinary
  	Science of Texts},
  publisher = {Ablex Publishing Corp.},
  year = {1980},
  address = {Norwood, New Jersey},
  rtnote = {Pitt Information Sciences   P302 .D35 1980},
  topic = {discourse-analysis;}
}

@book{ debeauregarde:1984a,
  author = {Robert de Beaugrande},
  title = {Text Production: Toward a Science of Composition},
  publisher = {Ablex Publishing Corp.},
  year = {1984},
  address = {Norwood, New Jersey},
  rtnote = {HILLMAN P211 D35 1984},
  topic = {discourse-analysis;}
}

@book{ debeauregarde-dressler_w:1981a,
  author = {R. {de Beauregard} and W. Dressler},
  title = {Introduction to Text Linguistics},
  publisher = {Longman},
  year = {1981},
  address = {London},
  missinginfo = {A's 1st name; check topic},
  rtnote = {Not in Hillman Apparently contains useful review of text
  	gr.},
  topic = {pragmatics;text-linguistics;discourse;}
 }

@incollection{ debessonet:1995a,
  author = {Gary G. deBessonet},
  title = {Towards a Sentential `Reality' for the Android},
  booktitle = {Android Epistemology},
  publisher = {Cambridge University Press},
  year = {1995},
  editor = {Kenneth M. Ford and Clark Glymour and Patrick J. Hayes},
  pages = {215--241},
  address = {Cambridge, England},
  topic = {semantic-similarity;}
  }

@incollection{ debille:1991a,
  author = {Lieve Debille},
  title = {Anaphora Resolution in {MMI2}},
  booktitle = {Working Papers in Computational Semantics, Dialogue and
  	Discourse},
  publisher = {Department of Mathematics, University of Oslo},
  year = {1991},
  editor = {Harold L. Somers},
  pages = {63--70},
  address = {P.O. Box 1053-Blindern, 0316 Oslo 3, Norway},
  topic = {anaphora;anaphora-resolution;nl-processing;}
  }

@incollection{ debrabanter:2005a,
  author = {Phillipe De Brabanter},
  title = {Questions and the Intrusion of Non-Linguistic Communication
  	into Utterances},
  booktitle = {Modeling and Using Context: 5th International and
  	Interdisciplinary Conference},
  publisher = {Springer-Verlag},
  year = {2005},
  editor = {Anind Dey and Boicho Kokinov and David Leake and Roy Turner},
  pages = {126--139},
  address = {Berlin},
  topic = {context;direct-discourse;}
  }

@incollection{ debreu:1954a,
 author = {Gerard Debreu},
 title = {Representation of a Preference Ordering by a Numerical
 	Function},
 booktitle = {Decision Processes},
 editor = {R. M. Thrall and C. H. Coombs and R. L. Davis},
 year = {1954},
 publisher = {John Wiley \& Sons},
 address = {New York},
 topic = {decision-theory;qualitative-utility;preferences;}
 }

@book{ debreu:1959a,
  author = {Gerard Debreu},
  title = {Theory of Value: an Axiomatic Analysis of Economic
 	Equilibrium},
  publisher = {John Wiley and Sons},
  year = {1959},
  address = {New York},
  topic = {decision-theory;}
 }

@article{ decew:1981a,
  author = {Judith Wagner Decew},
  title = {Conditional Obligation and Counterfactuals},
  journal = {Journal of Philosophical Logic},
  year = {1981},
  volume = {10},
  number = {1},
  pages = {55--72},
  rtnote = {tmix-project;},
  topic = {conditionals;deontic-logic;}
  }

@inproceedings{ dechaine:1991a,
  author = {Rose-Marie Dechaine},
  title = {Bare Sentences},
  booktitle = {Proceedings from Semantics and Linguistic Theory {I}},
  year = {1991},
  editor = {Steven Moore and {Adam Zachary} Wyner},
  pages = {31--50},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {tense-aspect;}
  }

@article{ dechter_r:1990a,
  author = {Rina Dechter},
  title = {Enhancement Schemes For Constraint Processing:
  	Backjumping, Learning, and Cutset Decomposition},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {41},
  number = {3},
  pages = {273--312},
  topic = {constraint-satisfaction;AI-algorithms;}
  }

@article{ dechter_r:1992a,
  author = {Rina Dechter},
  title = {From Local to Global Consistency},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {55},
  number = {1},
  pages = {87--108},
  acontentnote = {Abstract:
     In reasoning tasks involving the maintenance of consistent
     databases (so-called "constraint networks"), it is customary to
     enforce local consistency conditions in order to simplify the
     subsequent construction of a globally coherent model of the
     data. In this paper we present a relationship between the sizes
     of the variables' domains, the constraints' arity and the level
     of local consistency sufficient to ensure global consistency.
     Based on these parameters a new tractability classification of
     constraint networks is presented. We also show, based on this
     relationship, that any relation on bi-valued variables which is
     not representable by a network of binary constraints cannot be
     represented by networks with any number of hidden variables.},
  topic = {consistency-checking;constraint-networks;}
  }

@inproceedings{ dechter_r:1999a,
  author = {Rina Dechter},
  title = {Unifying Structure-Driven Inference},
  booktitle = {Workshop on Logic-Based Artificial Intelligence,
	       Washington, DC, June 14--16, 1999},
  year = {1999},
  editor = {Jack Minker},
  publisher = {Computer Science Department, University of Maryland},
  address = {College Park, Maryland},
  topic = {AI-algorithms;constraint-satisfaction;
  	probabilistic-reasoning;decision-theoretic-planning;}
  }

@article{ dechter_r:1999b,
  author = {Rina Dechter},
  title = {Bucket Elimination:  A Unifying Framework for
  	Reasoning},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {113},
  number = {1--2},
  pages = {41--85},
  topic = {dynamic-programming;constraint-satisfaction;
  	constraint-networks;search;Bayesian-networks;}
  }

@book{ dechter_r:2003a,
  author = {Rina Dechter},
  title = {Constraint Processing},
  publisher = {Morgan Kaufmann},
  year = {2003},
  address = {San Francisco},
  xref = {Review: bartak:2005a},
  topic = {constraint-satisfaction;}
 }

@article{ dechter_r-dechter_a:1996a,
  author = {Rina Dechter and Avi Dechter},
  title = {Structure-Driven Algorithms for Truth Maintenance},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {82},
  number = {1--2},
  pages = {1--20},
  topic = {truth-maintenance;belief-revision;complexity-in-AI;}
  }

@incollection{ dechter_r-etal:1989a1,
  author = {Rina Dechter and Itay Meiri and Judea Pearl},
  title = {Temporal Constraint Networks},
  booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1989},
  editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter},
  pages = {83--93},
  address = {San Mateo, California},
  xref = {Journal publication: dechter_r-etal:1989a2.},
  topic = {kr;temporal-reasoning;kr-course;}
  }

@article{ dechter_r-etal:1991a2,
  author = {Rina Dechter and Itat Meiri and Judea Pearl},
  title = {Temporal Constraint Networks},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {49},
  number = {1--3},
  pages = {61--95},
  xref = {Conference publication: dechter_r-etal:1989a1.},
  topic = {temporal-reasoning;constraint-satisfaction;kr;krcourse;}
  }

@article{ dechter_r-fatah:2001a,
  author = {Rina Dechter and Yousri El Fatah},
  title = {Topological Parameters for Time-Space Tradeoff},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {125},
  number = {1--2},
  pages = {93--118},
  topic = {problem-solving;complexity-in-AI;tree-clustering-algorithms;
  	AI-algorithms;}
  }

@article{ dechter_r-mateescu:2006a,
  author = {Rina Dechter and Robert Mateescu},
  title = {{AND/OR} Search Spaces for Graphical Models},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {2--3},
  pages = {73--106},
  topic = {search;Bayesian-networks;graph-based-reasoning;}
  }

@article{ dechter_r-meiri:1994a,
  author = {Rina Dechter and Itay Meiri},
  title = {Experimental Evaluation of Preprocessing Algorithms for
  	Constraint Satisfaction Problems},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {68},
  number = {2},
  pages = {211--241},
  acontentnote = {Abstract:
     This paper presents an experimental evaluation of two orthogonal
     schemes for preprocessing constraint satisfaction problems
     (CSPs).  The first of these schemes involves a class of local
     consistency techniques that includes directional arc
     consistency, directional path consistency, and adaptive
     consistency.  The other scheme concerns the prearrangement of
     variables in a linear order to facilitate an efficient search.
     In the first series of experiments, we evaluated the effect of
     each of the local consistency techniques on backtracking and
     backjumping.  Surprisingly, although adaptive consistency has
     the best worst-case complexity bounds, we have found that it
     exhibits the worst performance, unless the constraint graph was
     very sparse.  Directional arc consistency (followed by either
     backjumping or backtracking) and backjumping (without any
     preprocessing) outperformed all other techniques: moreover, the
     former dominated the latter in computationally intensive
     situations.  The second series of experiments suggests that
     maximum cardinality and minimum width are the best preordering
     (i.e., static ordering) strategies, while dynamic search
     rearrangement is superior to all the preorderings studied.  },
  topic = {constraint-satisfaction;arc-consistency;experimental-AI;}
  }

@article{ dechter_r-pearl:1987a,
  author = {Rina Dechter and Judea Pearl},
  title = {Network-Based Heuristics for Constraint-Satisfaction
  	Problems},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {34},
  number = {1},
  pages = {1--38},
  topic = {constraint-satisfaction;graph-based-reasoning;
  	heuristics;}
  }

@article{ dechter_r-pearl:1989a,
  author = {Rina Dechter and Judea Pearl},
  title = {Tree Clustering for Constraint Networks},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {38},
  number = {3},
  pages = {353--366},
  topic = {constraint-satisfaction;AI-algorithms;}
  }

@inproceedings{ dechter_r-pearl:1991a,
  author = {Rina Dechter and Judea Pearl},
  title = {A Relational Framework for Causal Modeling},
  booktitle = {Proceedings of the Twelfth International Joint
  	Conference on Artificial Intelligence},
  year = {1991},
  editor = {Barbara J. Grosz and John Mylopoulos},
  pages = {1164--1170},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  topic = {causality;causal-networks;}
  }

@article{ dechter_r-pearl:1992a,
  author = {Rina Dechter and Judea Pearl},
  title = {Structure Identification in Relational Data},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {58},
  number = {1--3},
  pages = {237--270},
  acontentnote = {Abstract:
     This paper presents several investigations into the prospects
     for identifying meaningful structures in empirical data, namely,
     structures permitting effective organization of the data to meet
     requirements of future queries.  We propose a general framework
     whereby the notion of identifiability is given a precise formal
     definition similar to that of learnability.  Using this
     framework, we then explore if a tractable procedure exists for
     deciding whether a given relation is decomposable into a
     constraint network or a CNF theory with desirable topology and,
     if the answer is positive, identifying the desired
     decomposition.  Finally, we address the problem of expressing a
     given relation as a Horn theory and, if this is impossible,
     finding the best k-Horn approximation to the given relation. We
     show that both problems can be solved in time polynomial in the
     length of the data.},
  topic = {Horn-approximation;}
  }

@incollection{ dechter_r-rish:1994a,
  author = {Rina Dechter and Irina Rish},
  title = {Directional Resolution: The {D}avis-{P}utnam Procedure,
  	Revisited},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {134--145},
  address = {San Francisco, California},
  topic = {kr;theorem-proving;kr-course;}
  }

@article{ declerck:1979a,
  author = {Renaat Declerck},
  title = {On the Progressive and the `Imperfective Paradox'\, },
  journal = {Linguistics and Philosophy},
  year = {1979},
  volume = {3},
  number = {2},
  pages = {267--272},
  topic = {tense-aspect;imperfective-paradox;}
  }

@book{ declerck:1991a,
  author = {Renaat Declerck},
  title = {Tense in English: Its Structure and Use},
  publisher = {Routledge},
  year = {1991},
  address = {London},
  ISBN = {0-415-06151-2},
  topic = {nl-tense;}
 }

@article{ declerk:1988a,
  author = {Renaat Declerk},
  title = {Restrictive `When'-Clauses},
  journal = {Linguistics and Philosophy},
  year = {1988},
  volume = {11},
  number = {2},
  pages = {131--168},
  topic = {nl-semantics;conditionals;sentence-focus;pragmatics;}
  }

@article{ decooman-hermans:2008a,
  author = {Gert de Cooman and Filip Hermans},
  title = {Imprecise Probability Trees: Bridging Two Theories of
  		Imprecise Probability},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {172},
  number = {11},
  pages = {1400--1427},
  topic = {interval-based-probabilities;}
  }

@article{ decooman-zaffalon:2004a,
  author = {Gen de Cooman and Marco Zaffalon},
  title = {Updating Beliefs with Incomplete Observations},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {159},
  number = {1--2},
  pages = {75--125},
  topic = {bayesian-networks;belief-revision;reasoning-about-uncertainty;}
  }

@article{ decornulier:1978a,
  author = {Benoit de Cornulier},
  title = {Paradoxical Self-Reference},
  journal = {Linguistics and Philosophy},
  year = {1978},
  volume = {2},
  number = {3},
  pages = {435},
  topic = {semantic-paradoxes;}
  }

@article{ decoste:1991a,
  author = {Dennis DeCoste},
  title = {Dynamic Across-Time Measurement Interpretation},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {51},
  number = {1--3},
  pages = {273--341},
  acontentnote = {Abstract:
     Incrementally maintaining a qualitative understanding of
     physical system behavior based on observations is crucial to
     tasks such as real-time control, monitoring, and diagnosis. This
     paper describes the DATMI theory for interpretation tasks. The
     key idea of DATMI is to dynamically maintain a concise
     representation of the space of local and global interpretations
     across time that are consistent with the observations. This
     representation has two key advantages. First, a set of possible
     interpretations is more useful than a single (best) candidate
     for many tasks, such as conservative monitoring. Second, this
     representation simplifies switching to alternative
     interpretations when data are faulty or incomplete.
     Domain-specific knowledge about state and transition
     probabilities can be used to suggest the interpretation which is
     most likely.  Domain-specific knowledge about durations of
     states and paths of states can also be used to further constrain
     the interpretation space. When no consistent interpretation
     exists, faulty-data hypotheses are generated and then tested by
     adjusting the interpretation space. The DATMI theory has been
     tested via implementation and we describe its performance on two
     examples.},
  topic = {qualitative-physics;temporal-reasoning;}
  }

@incollection{ decristofaro-etal:1999a,
  author = {Jonathan DeCristofaro and Michael Strube and Kathleen
         F. McCoy},
  title = {Building a Tool for Annotating Reference in Discourse},
  booktitle = {The Relation of Discourse/Dialogue Structure and
  	Reference},
  publisher = {Association for Computational Linguistics},
  year = {1999},
  editor = {Dan Cristea and Nancy Ide and Daniel Marcu},
  pages = {54--62},
  address = {New Brunswick, New Jersey},
  topic = {anaphora;corpus-annotation;reference;;discourse-tagging;}
  }

@article{ dee-etal:2009a,
  author = {Hannah M. Dee and David C. Hogg},
  title = {Navigational Strategies in Behaviour Modelling},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {2},
  pages = {329--342},
  topic = {computer-vision;intentionality;}
  }

@article{ definetti:1937a1,
  author = {Bruno de Finitti},
  title = {La Pr\'evision: Ses Lois Logiques, Ses Sources Subjectives},
  journal = {Annales de l'Institut Henri Poincar\'e},
  year = {1937},
  volume = {7},
  pages = {1--68},
  xref = {See definetti:1937a2 for English Translation.},
  missinginfo = {number},
  topic = {subjective-probabilty;qualitative-probability;
  	foundations-of-probability;foundations-of-statistics;}
  }

@incollection{ definetti:1937a2,
  author = {Bruno De Finetti},
  title = {Foresight: Its Logical Laws, Its Subjective Sources},
  booktitle = {Studies in Subjective Probability},
  publisher = {John Wiley and Sons},
  year = {1964},
  editor = {Henry E. {Kyburg, Jr.} and Howard E. Smokler},
  pages = {93--158},
  address = {New York},
  xref = {Original publication: definetti:1937a1.},
  note = {Originally published in 1937 under the title
  	`La Prevision: Ses Lois Logiques, Ses Sources Subjectives'.},
  topic = {subjective-probabilty;qualitative-probability;
  	foundations-of-probability;foundations-of-statistics;}
  }

@book{ definetti:1990a,
  author = {Bruno De Finetti},
  title = {Theory of Probability: A Critical Introductory Treatment},
  publisher = {John Wiley and Sons},
  year = {1990},
  volume = {1},
  note = {First published in 1970.},
  address = {New York},
  topic = {foundations-of-probability;}
 }

@book{ definetti:1990b,
  author = {Bruno De Finetti},
  title = {Theory of Probability: A Critical Introductory Treatment},
  publisher = {John Wiley and Sons},
  year = {1990},
  volume = {2},
  note = {First published in 1970.},
  address = {New York},
  topic = {foundations-of-probability;}
 }

@article{ defreitas-etal:2003a,
  author = {Renata P. de Freitas and Jorge P. Viana and
  	Mario R.F. Benevides and Sheila R.M. Veloso and Paulo
	A.S. Veloso},
  title = {Squares in Fork Arrow Logic},
  journal = {Journal of Philosophical Logic},
  year = {2003},
  volume = {32},
  number = {4},
  pages = {343--355},
  topic = {modal-logic;}
  }

@incollection{ degand:1996a,
  author = {Liesbeth Degand},
  title = {A {D}utch Component for a Multilingual
    		Systemic Text Generation System},
  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 = {350--367},
  address = {New York},
  topic = {multilingual-nlp;nl-generation;}
  }

@incollection{ degand:1998a,
  author = {Liesbeth Degand},
  title = {On Classifying Connectives and Coherence Relations},
  booktitle = {Discourse Relations and Discourse Markers:  Proceedings
  	of the Conference},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Manfred Stede and Leo Wanner and Eduard Hovy},
  pages = {36--42},
  address = {Somerset, New Jersey},
  topic = {discourse-cue-words;discourse-structure;}
  }

@book{ degaynesford:2006a,
  author = {Maximilian De Gaynesford},
  title = {{I}: The Meaning of the First Person Term},
  publisher = {Oxford University Press},
  year = {2006},
  address = {Oxford},
  ISBN-13 = {978-0-19-928782-6},
  xref = {Review: bermudez:2000a},
  topic = {first-person;demonstratives;}
 }

@article{ degeilh-preller:2005a,
  author = {Sylvain Degeilh and Anne Preller},
  title = {Efficiency of Pregroups and the {F}rench Noun Phrase},
  journal = {Journal of Logic, Language, and Information},
  year = {2005},
  volume = {14},
  number = {4},
  pages = {423--444},
  topic = {pregroups;complexity-theory;grammar-formalisms;}
  }

@incollection{ degelder:1996a,
  author = {Beatrice de Gelder},
  title = {Modularity and Logical Cognitivism},
  booktitle = {Connectionism, Concepts, and Folk Psychology: The Legacy
  		of {A}lan {T}uring: Volume {II}},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Peter J.R. Millican and Andy Clark},
  pages = {147--168},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {modularity;foundations-of-psychology;}
  }

@article{ degiacomo:1996a,
  author = {Giuseppe {De Giacomo}},
  title = {Eliminating `Converse' from Converse {PDL}},
  journal = {Journal of Logic, Language, and Information},
  year = {1996},
  volume = {5},
  number = {2},
  pages = {193--208},
  topic = {dynamic-logic;modal-logic;}
  }

@incollection{ degiacomo-etal:1996a,
  author = {Giuseppe {De Giacomo} and Luca Iocchi and Daniele Nardi and
  	Riccardo Rosati},
  title = {Moving a Robot: The {KR\&R} Approach at Work},
  booktitle = {{KR}'96: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro},
  pages = {198--209},
  address = {San Francisco, California},
  topic = {kr;cognitive-robotics;description-logics;robot-motion;
  	kr-course;}
  }

@inproceedings{ degiacomo-etal:1997a,
  author = {Guiseppe De Giacomo and Yves Lesp\'erance and
		Hector J. Levesque},
  title = {Reasoning about Concurrent Execution, Prioritized
		Interrupts, and Exogenous Actions in the Situation Calculus},
  booktitle = {Proceedings of the Fifteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1997},
  editor = {Martha Pollack},
  pages = {1221--1226},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  topic = {situation-calculus;concurrency;cognitive-robotics;}
  }

@incollection{ degiacomo-etal:1998a,
  author = {Giuseppe De Giacomo and Raymond Reiter and Mikhail Soutchanski},
  title = {Execution Monitoring of High-Level Robot Plans},
  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 = {453--464},
  address = {San Francisco, California},
  topic = {kr;kr-course;}
  }

@article{ degiacomo-etal:2000a,
  author = {Giuseppe De Giacomo and Yves L\'esperance and
  	Hector J. Levesque},
  title = {{C}on{G}olog, A Concurrent Programming Language
  	based on Situation Calculus},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {121},
  number = {1--2},
  pages = {109--169},
  topic = {Golog;situation-calculus;concurrency;cognitive-robotics;}
  }

@incollection{ degiacomo-etal:2002a,
  author = {Giuseppe De Giacomo and Yves Lesp\'erance and Hector
  	J. Levesque and Sebastian Sardi\~na},
  title = {On the Semantics of Deliberation in {I}ndi{G}olog--from
  	Theory to Implementation},
  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 = {603--614},
  address = {San Francisco, California},
  topic = {kr;Golog;planning-algorithms;}
  }

@incollection{ degiacomo-lenzerini:1994a,
  author = {Giuseppe {De Giacomo} and Maurizio Lenzerini},
  title = {Description Logics With Inverse Roles, Functional
  	Restrictions, and N-ary Relations},
  booktitle = {Logics in Artificial Intelligence},
  publisher = {Springer-Verlag},
  year = {1994},
  editor = {Craig Mac{N}ish and Lu\'is Moniz Pereira and David Pearce},
  pages = {332--346},
  address = {Berlin},
  topic = {extensions-of-kl1;description-logics;}
  }

@inproceedings{ degiacomo-lenzerini:1995a,
  author = {Giuseppe {De Giacomo} and Maurizio Lenzerini},
  title = {What's in an Aggregate: Foundations for Description Logics
  		with Tuples and Sets},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {801--807},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {Read this for KR?},
  rtnote = {In RHT collection.},
  topic = {kr;description-logics;extensions-of-kl1;kr-course;}
 }

@incollection{ degiacomo-lenzerini:1996a,
  author = {Giuseppe {De Giacomo} and Maurizio Lenzerini},
  title = {{TB}ox and {AB}ox Reasoning in Expressive Description
  	Logics},
  booktitle = {{KR}'96: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro},
  pages = {316--327},
  address = {San Francisco, California},
  topic = {kr;description-logics;extensions-of-kl1;classifier-algorithms;
  	kr-course;}
  }

@article{ degiacomo-lenzerini:1997a,
  author = {Giuseppe De Giacomo and Maurizio Lenzerini},
  title = {A Uniform Framework for Concept Definitions in Description
         Logics},
  journal = {Journal of Artificial Intelligence Research},
  year = {1997},
  volume = {6},
  pages = {87--110},
  topic = {description-logics;}
  }

@incollection{ degiacomo-levesque:2000a,
  author = {Giuseppe De Giacomo and Hector J. Levesque},
  title = {Two Approaches to Efficient Open-World Reasoning},
  booktitle = {Logic-Based Artificial Intelligence},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Jack Minker},
  pages = {59--78},
  address = {Dordrecht},
  topic = {logic-in-AI;kr;query-evaluation;temporal-reasoning;}
  }

@inproceedings{ degiacomo-rossali:1999a,
  author = {Giuseppe De Giacomo and Riccardi Rosali},
  title = {Minimal Knowledge Approach to Reasoning about
		Actions and Sensing},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
	Nonmonotonic Reasoning, Action and Change},
  year = {1999},
  editor = {Michael Thielscher},
  pages = {25--32},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {action-formalisms;sensing-actions;}
  }

@inproceedings{ degroote:1991a,
  author = {Philippe de Groote},
  title = {Towards a {M}ontagovian Account of Dynamics},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XVI}},
  year = {1991},
  editor = {Masayuki Gibson and Jonathan Howell},
  publisher = {CLC Publications},
  address = {Ithaca, New York},
  url = {http://research.nii.ac.jp/salt16/proceedings/degroote.new.pdf},
  topic = {dynamic-semantics;context;intensional-logic;}
  }

@article{ degroote-lamarche:2002a,
  author = {Philippe de Groote and Fran\c{c}ois Lamarche},
  title = {Classical Non-Associative {L}ambek Calculus},
  journal = {Studia Logica},
  year = {2002},
  volume = {71},
  number = {3},
  pages = {355--388},
  topic = {Lambek-calculus;linear-logic;proof-complexity;}
  }

@article{ degtyarev-etal:2003a,
  author = {Anatoli Degtyarev and Michael Fisher and Alexei Lisitsa},
  title = {Equality and Monadic First-Order Temporal Logic},
  journal = {Studia Logica},
  year = {2003},
  volume = {72},
  number = {2},
  pages = {147--156},
  topic = {modal-logic;identity;(in)completeness;}
  }

@incollection{ dehaas-adriaans:1999a,
  author = {Erik de Haas and Pieter Adriaans},
  title = {Substructural Logic: A Unifying Framework for
	Second Generation Datamining Algorithms},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
	of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {121--126},
  address = {Amsterdam},
  topic = {substructural-logics;data-mining;}
  }

@book{ dehane:1997a,
  author = {Stanislaus Dehane},
  title = {The Number Sense: How the Mind Creates Mathematics},
  publisher = {Oxford University Press},
  year = {1997},
  address = {Oxford},
  topic = {philosophy-of-mathematics;foundations-of-cognition;
  	psychology-of-mathematics;}
 }

@incollection{ dehoop:1985a,
  author = {Helen de Hoop},
  title = {On the Characterization of the Weak-Strong Distinction},
  booktitle = {Quantification in Natural Languages, Vol. 2},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {Emmon Bach and Eloise Jelinek and Angelika Kratzer and
   	Barbara Partee},
  pages = {421--450},
  address = {Dordrecht},
  topic = {nl-semantics;nl-quantifiers;existential-constructions;}
  }

@incollection{ dejager-etal:2002a,
  author = {Samson de Jager and Alistair Knott and Ian Bayard},
  title = {A {DRT}-Based Framework for Presupposition in Dialogue
		Management},
  booktitle = {{EDILOG} 2002: Proceedings of the Sixth Workshop on the
  	Semantics and Pragmatics of Dialogue},
  publisher = {Cognitive Science Centre, University of Edinburgh},
  year = {2002},
  editor = {Johan Bos and Mary Ellen Foster and Colin Mathesin},
  pages = {61--68},
  address = {Edinburgh},
  topic = {DTR;presupposition;computational-discourse;}
  }

@incollection{ dejean:1998a,
  author = {Herv\'e D\'ejean},
  title = {Morphemes as Necessary Concept for
    		Structures Discovery from Untagged Corpora},
  booktitle = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {David M.W. Powers},
  pages = {295--298},
  address = {Somerset, New Jersey},
  topic = {corpus-tagging;morphology;grammar-learning;}
  }

@incollection{ dejean:2000a,
  author = {Herv\'e D\'ejean},
  title = {{ALLiS}: A Symbolic Learning System for
            Natural Language Learning},
  booktitle = {Proceedings of the Fourth Conference on Computational
  	Natural Language Learning and of the Second Learning Language
	in Logic Workshop, {L}isbon, 2000},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Claire Cardie and Walter Daelemans and Claire N\'edellec
  	and Erik Tjong Kim Sang},
  pages = {95--98},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;grammar-learning;}
  }

@incollection{ dejean:2000b,
  author = {Herv\'e D\'ejean},
  title = {Learning Syntactic Structures with {XML}},
  booktitle = {Proceedings of the Fourth Conference on Computational
  	Natural Language Learning and of the Second Learning Language
	in Logic Workshop, {L}isbon, 2000},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Claire Cardie and Walter Daelemans and Claire N\'edellec
  	and Erik Tjong Kim Sang},
  pages = {133--135},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;corpus-annotation;XML;}
  }

@book{ dejnozka:1999a,
  author = {Jan Dejno\v{z}ka},
  title = {{B}ertrand {R}ussell on Modality and Logical Relevance},
  publisher = {Ashgate},
  year = {1999},
  address = {Aldershot},
  ISBN = {1-84014-981-7},
  xref = {Review: griffin:2001a.},
  topic = {Russell;modal-logic;modality;relevance-logic;}
 }

@article{ dejong_gf:1994a,
  author = {Gerald F. DeJong},
  title = {Learning to Plan in Continuous Domains},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {65},
  number = {1},
  pages = {71--141},
  acontentnote = {Abstract:
     In this paper, we propose an approach to planning in domains
     with continuous world features. We argue that current models of
     world change (including traditional planners, reactive systems,
     and many connectionist systems) implicitly adopt a discrete
     action assumption which precludes efficient reasoning about
     continuous world change. A formalism for continuous world change
     is outlined, and an ideal continuous domain planner is defined.
     An implemented computationally tractable approximation to the
     ideal planner is discussed and its behavior is described.
     Empirically, the implementation is shown to exhibit some of the
     important design features of the new planning approach. Learning
     plays a central role in this approach.  With experience,
     accuracy is increased and planning time is reduced even though
     the system's background knowledge of the world is only
     approximate or "plausible".  The acquired planning concepts are
     most accurate in situations similar to the ones in which they
     are most exercised.  Thus, the approach possesses a natural
     adaptation to systematic properties implicit in the observed
     distribution of problems.},
  topic = {planning;reasoning-about-continuous-time;}
  }

@article{ dejong_gf-bennett_sw:1997a,
  author = {Gerald D. DeJong and Scott W. Bennett},
  title = {Permissive Planning: Extending Classical Planning to
  	Uncertain Task Domains},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {89},
  number = {1--2},
  pages = {173--217},
  topic = {planning;explanation-based-learning;uncertainty-in-AI;}
  }

@article{ dejong_gf-gratch:1991a,
  author = {Gerald F. DeJong and Jonathan Gratch},
  title = {Review of \emph{{L}earning Search Control
  	Knowledge: An Explanation-Based Approach}, by {S}teve {M}inton},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {50},
  number = {1},
  pages = {117--127},
  xref = {Review of minton:1988a.},
  topic = {machine-learning;explanation-based-learning;
  	procedural-control;}
  }

@article{ dejong_h-rip:1997a,
  author = {Hidde de Jong and Arie Rip},
  title = {The Computer Revolution in Science: Steps Toward the
  	Realization of Computer-Supported Discovery Procedures},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {91},
  number = {2},
  pages = {225--256},
  topic = {automated-scientific-discovery;}
  }

@article{ dejong_h-vanraalte:1999a,
  author = {Hidde de Jong and Frank {van Raalte}},
  title = {Comparative Envisionment Construction: A Technique for
  	the Comparative Analysis of Dynamical Systems},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {115},
  number = {2},
  pages = {145--214},
  topic = {qualitative-physics;qualitative-reasoning;dynamic-systems;}
  }

@incollection{ dekel-gul:1997a,
  author = {E. Dekel and F. Gul},
  title = {Rationality and Knowledge in Game Theory},
  booktitle = {Advances in Economics and Econometrics},
  publisher = {Cambridge University Press},
  editor = {D. Kreps and K. Wallis},
  address = {Cambridge, England},
  year = {1997},
  topic = {game-theory;rationality;mutual-belief;}
  }

@article{ dekemper:2007a,
  author = {Joseph Dekemper},
  title = {B-Theory, Fixity, and Fatalism},
  journal = {No\^us},
  year = {2007},
  volume = {41},
  number = {3},
  pages = {429--452},
  topic = {temporal-becoming;(in)determinism;}
  }

@techreport{ dekker:1990a,
  author = {Paul Dekker},
  title = {The Scope of Negation in Discourse},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {LP--90--09},
  year = {1991},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland },
  rtnote = {In RHT collection.},
  topic = {negation;dynamic-logic;Montague-grammar;}
  }

@article{ dekker:1993a,
  author = {Paul Dekker},
  title = {Existential Disclosure},
  journal = {Linguistics and Philosophy},
  year = {1993},
  volume = {16},
  number = {6},
  pages = {561--587},
  topic = {dynamic-logic;relational-nouns;adverbs;nl-tense;}
  }

@inproceedings{ dekker:1994a,
  author = {Paul Dekker},
  title = {Predicate Logic with Anaphora},
  booktitle = {Proceedings from Semantics and Linguistic Theory {IV}},
  year = {1994},
  editor = {Mandy Harvey and Lynn Santelmann},
  pages = {79--95},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {nl-semantics;anaphora;}
  }

@article{ dekker:1996a,
  author = {Paul Dekker},
  title = {The Values of Variables in Dynamic Semantics},
  journal = {Linguistics and Philosophy},
  year = {1996},
  volume = {19},
  number = {3},
  pages = {211--257},
  topic = {dynamic-semantics;discourse-representation-theory;donkey-anaphora;
  	anaphora;pragmatics;}
  }

@book{ dekker:1999a,
  editor = {Paul Dekker},
  title = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
		of Amsterdam},
  year = {1999},
  address = {Amsterdam},
  contentnote = {TC:
    1. Horacio Arlo-Costa and Rohit Parikh, "Two Place Probabilities,
		Full Belief and Belief Revision", pp. 1--6
    2. Tim Fernando, "Non-Monotonicity from Constructing Semantic
		Representations", pp. 7--12
    3. Peter Krause, "Identification Language Games", pp. 13--18
    4. Henk Zeevat, "Explaining Presupposition Triggers", pp. 19--24
    5. Anthony S. Gillies, "The Epistemics of
    		Presupposition", pp. 25--30
    6. Jonathan Ginzburg and Ivan Sag, "Constructional Ambiguity in
		Conversation", pp. 31--36
    7. Alice ter Meulen, "Binding by Implicit Arguments", pp. 37--42
    8. Christof Monz, "Modeling Ambiguity in a Multi-Agent
		System", pp. 43--48
    9. C.F.M Vermeulen, "Two Approaches to Modal Interaction in
		Discourse", pp. 49--54
   10. Maria Aloni and David Beaver and Brady Zack Clark, "Focus
		and Topic Sensitive Operators", pp. 55--61
   11. David Beaver, "The Logic of Anaphora Resolution", pp. 61--66
   12. Sigrid Beck, "Plural Predication and Partitional
		Discourses", pp. 67--72
   13. Agnes Bende-Farkas, "Incorporation as Unification", 73--78
   14. Martin van der Berg, "Questions as First-Class
		Citizens", pp. 79--84
   15. Remko Bonnema and Paul Buying and Remko Scha, "A New
		Probability Model for Data Oriented
		Parsing", pp. 85--90
   16. Robin Clark and Natasha Kurtonina, "Consequences from
		{Q}uine", 91--95
   17. Alexis Dimitriades, "Reciprocal Interpretation with Functional
		Pronouns", pp. 97--102
   18. Edit Doron, "The Semantics of Transitivity
		Alternations", pp. 103--108
   19. Markus Egg, "Deriving and Resolving Ambiguities in
		{\it wieder} Sentences", pp. 109--115
   20. Javier Gutu\'errez-Rexach, "Cross-Linguistic Semantics of
		Weak Pronouns in Doubling Structures", pp. 115--120
   21. Erik de Haas and Pieter Adriaans, "Substructural Logic:
		A Unifying Framework for Second Generation Datamining
		Algorithms", pp. 121--126
   22. Caroline Haycock and Roberto Zamparelli, "Toward a Unified
		Analysis of {DP} Conjunction", pp. 127--132
   23. Gerhard J\"ager, "Deconstruction {J}acobson's
		{\bf Z}", pp. 133--138
   24. Theo M.V. Janssen, "{IF} Logic and Informational
		Independence", pp. 139--144
   25. Jan Jaspars and Alexander Koller, "A Calculus for
		Direct Deduction with Dominance Effects", pp. 145--150
   26. Jacques Jayez and Dani\'ele Godard, "True to
		Facts", pp. 151--156
   27. Arivind K. Joshi and Seth Kulick and Natasha
		Kurtonina, "Semantic Composition for
		Partial Proof Trees", pp. 157--162
   28. Reinhard Kahle, "A Proof Theoretic View of
		Intensionality", pp. 163--168
   29. Laura Kallmeyer and Aravind Joshi, "Factoring
		Predicate Argument and Scope Semantics:
		Underspecified Semantics with {LTAG}", pp. 169--174
   30. Ruth Kempson and Wilfried Meyer-Viol, "The Dynamics
		of Tree Growth and Quantifier Construal", pp. 175--180
   31. Sarah D. Kennelly and Fabien Reniers, "Cumulativity \&
		Distributivity Interaction of Polyadic
		Quantifiers", pp. 181--186
   32. Rodger Kibble and Richard Power, "Using Centering Theory
		to Plan Coherent Texts", pp. 187--192
   33. Rick W.F. Nouwen, "DPL with Control Elements", pp. 193--198
   34. Ranier Osswald, "Semantics for Attribute-Value
		Theories", pp. 199--204
   35. Marc Pauly, "Modeling Coalitional Power in Modal
		Logic", pp. 205--210
   36. Robert van Rooy, "Questioning to Resolve Decision
		Problems", pp. 211--216
   37. Isabelle Teller, "Towards a Semantic-Based Theory of Language
		Learning", pp. 217--222
   38. Louise Vigeant, "A Different Game?  Game Theoretical
		Semantics as a New Paradigm", pp. 223--228
   39. Yoad Winter, "Plural Type Quantification", pp. 229--234
   40. Berislav \v{Z}arni\'c, "A Dynamic Solution for the Problem
		of Validity of Practical Propositional
		Inference", pp. 235--240
  },
  rtnote = {In RHT collection.  LL Collections Shelf.},
  topic = {nl-semantics;pragmatics;}
 }

@incollection{ dekker:2000a,
  author = {Paul Dekker},
  title = {The Semantics of Dynamic Conjunction},
  booktitle = {Logic, Language, and Computation, Volume 3},
  publisher = {CSLI Publications},
  year = {2000},
  editor = {Lawrence Cavedon and Patrick Blackburn and Nick Braisby
  	and Atushi Shimojina},
  pages = {107--127},
  address = {Stanford, California},
  topic = {coordination;dynamic-logic;}
  }

@unpublished{ dekker:2001a,
  author = {Paul Dekker},
  title = {`Only If' and `Only'\,},
  year = {2001},
  note = {Unpublished manuscript, University of Amsterdam.
  http://turing.wins.uva.nl/\user{}pdekker/Papers/OIAO.pdf},
  rtnote = {In RHT collection.},
  topic = {conditionals;`only-if';dynamic-semantics;}
  }

@inproceedings{ dekker:2001b,
  author = {Paul Dekker},
  title = {On If and Only},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XI}},
  publisher = {Cornell University},
  year = {2001},
  editor = {Rachel Hastings and Brendan Jackson and Zsofia Zvolenszky},
  pages = {114--133},
  address = {Ithaca, New York},
  topic = {nl-semantics;conditionals;`only-if';donkey-anaphora;}
  }

@article{ dekker:2002a,
  author = {Paul Dekker},
  title = {Meaning and Use of Indefinite Expressions},
  journal = {Journal of Logic, Language, and Information},
  year = {2002},
  volume = {10},
  number = {1},
  pages = {141--194},
  topic = {nl-semantics;indefiniteness;pragmatics;}
  }

@article{ dekker:2008a,
  author = {Paul Dekker},
  title = {A Multi-Dimensional Treatment of Quantification in
  		Extraordinary {E}nglish},
  journal = {Linguistics and Philosophy},
  year = {2008},
  volume = {31},
  number = {1},
  pages = {101--127},
  topic = {nl-semantics;presupposition;anaphora;nl-quantifiers;}
  }

@article{ dekker-pauly:2002a,
  author = {Paul Dekker and Marc Pauly},
  title = {Editorial: Logic and Games},
  journal = {Journal of Logic, Language, and Information},
  year = {2002},
  volume = {11},
  number = {3},
  pages = {287--288},
  topic = {game-theory;game-theoretic-semantics;dynamic-logic;}
  }

@book{ dekker-stokhof:1991a,
  editor = {Paul Dekker and Martin Stokhof},
  title = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
		of Amsterdam},
  year = {1991},
  address = {Amsterdam},
  topic = {nl-semantics;pragmatics;}
 }

@inproceedings{ dekleer:1977a1,
  author = {Johan de Kleer},
  title = {Multiple Representations of Knowledge
     		in a Mechanics Problem Solver},
  booktitle = {Proceedings of the Seventh International Joint
  	Conference on Artificial Intelligence},
  year = {1977},
  editor = {Raj Reddy},
  pages = {299--304},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  xref = {See dekleer:1977a2.},
  topic = {qualitative-physics;qualitative-reasoning;kr;}
 }

@incollection{ dekleer:1977a2,
  author = {Johan de Kleer},
  title = {Multiple Representations of Knowledge
     		in a Mechanics Problem Solver},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {40--45},
  address = {San Mateo, California},
  xref = {Conference publication: dekleer:1977a1.},
  topic = {qualitative-physics;qualitative-reasoning;kr;}
  }

@inproceedings{ dekleer:1979a1,
  author = {Johan de kleer},
  title = {The Origin and Resolution of Ambiguities in Causal
  		Arguments},
  booktitle = {Proceedings of the Seventh International Joint
  	Conference on Artificial Intelligence},
  year = {1979},
  editor = {Bruce Buchanan},
  pages = {197--203},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Menlo Park, California},
  xref = {Republication: dekleer:1979a2.},
  topic = {qualitative-reasoning;causality;disambiguation;}
 }

@incollection{ dekleer:1979a2,
  author = {Johan de Kleer},
  title = {The Origin and Resolution of Ambiguities
    		in Causal Arguments},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {624--630},
  address = {San Mateo, California},
  xref = {Republication of: dekleer:1979a1.},
  topic = {qualitative-reasoning;causality;disambiguation;}
  }

@article{ dekleer:1984a,
  author = {Johan de Kleer},
  title = {How Circuits Work},
  journal = {Artificial Intelligence},
  year = {1984},
  volume = {24},
  number = {1--3},
  pages = {205--280},
  topic = {qualitative-physics;qualitative-reasoning;}
  }

@article{ dekleer:1984b,
  author = {Johan de Kleer},
  title = {Review of \emph{{T}he Fifth Generation: Artificial
  	Intelligence and {J}apan's Computer Challenge to the World},
	by {E}.{A}. {F}eigenbaum and {P}. {M}c{C}orduck},
  journal = {Artificial Intelligence},
  year = {1984},
  volume = {22},
  number = {2},
  pages = {222--226},
  xref = {Review of feigenbaum-mccorduck:1983a.},
  topic = {popular-cs;cs-journalism;}
  }

@article{ dekleer:1985a,
  author = {Johan de Kleer},
  title = {Review of \emph{{B}uilding Expert Systems}, by {F}.
  	{H}ayes-{R}oth, {D}.{A}. {W}aterman and {D}ouglas {B}.
	Lenat},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {25},
  number = {1},
  pages = {105--107},
  xref = {Review of hayesroth_f-etal:1983a.},
  topic = {expert-systems;}
  }

@article{ dekleer:1986a1,
  author = {Johan de Kleer},
  title = {An Assumption-Based {TMS}},
  journal = {Artificial Intelligence},
  year = {1986},
  volume = {28},
  number = {1},
  pages = {127--162},
  xref = {Republication: dekleer:1986a2.},
  rtnote = {In RHT collection.},
  topic = {truth-maintenance;}
  }

@incollection{ dekleer:1986a2,
  author = {Johan de Kleer},
  title = {An Assumption-Based {TMS}},
  booktitle = {Readings in Nonmonotonic Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Matthew L. Ginsberg},
  pages = {280--297},
  address = {Los Altos, California},
  xref = {Original Publication: dekleer:1986a1.},
  topic = {truth-maintenance;}
  }

@article{ dekleer:1986b,
  author = {Johan de Kleer},
  title = {Extending the {ATMS}},
  journal = {Artificial Intelligence},
  year = {1986},
  volume = {28},
  number = {2},
  pages = {163--196},
  topic = {truth-maintenance;}
  }

@article{ dekleer:1986c,
  author = {Johan de Kleer},
  title = {Problem Solving with the {ATMS}},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {28},
  number = {2},
  pages = {197--224},
  topic = {truth-maintenance;}
  }

@inproceedings{ dekleer:1991a,
  author = {Johan de Kleer},
  title = {Exploiting Locality in a {TMS}},
  booktitle = {Proceedings of the Ninth National Conference on
              Artificial Intelligence},
  year = {1991},
  editor = {Thomas Dean and Kathy McKeown},
  pages = {264--271},
  organization = {American Association for Artificial Intelligence},
  publisher = {MIT Press},
  address = {Cambridge, Massachusetts},
  topic = {truth-maintenance;}
  }

@article{ dekleer:1993a,
  author = {Johan de Kleer},
  title = {A Perspective on Assumption-Based Truth Maintenance},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {63--67},
  xref = {Retrospective commentary on dekleer:1986a.},
  topic = {truth-maintenance;}
  }

@article{ dekleer:1993b,
  author = {Johan de Kleer},
  title = {A View on Qualitative Physics},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {105--114},
  topic = {qualitative-physics;}
  }

@article{ dekleer:1993c,
  author = {Johan de Kleer},
  title = {In Defense of Nonmonotonic Information},
  journal = {Computational Intelligence},
  year = {1987},
  volume = {3},
  issue = {3},
  pages = {174--175},
  xref = {kr;foundations-of-kr;logic-in-AI;}
  }

@article{ dekleer-brown_js:1984a1,
  author = {Johan de Kleer and John Seely Brown},
  title = {A Qualitative Physics Based on Confluences},
  journal = {Artificial Intelligence},
  year = {1984},
  volume = {24},
  number = {1--3},
  pages = {7--83},
  xref = {Republication: dekleer-brown_js:1984a2.},
  topic = {qualitative-physics;qualitative-reasoning;}
  }

@incollection{ dekleer-brown_js:1984a2,
  author = {Johan de Kleer and John Seely Brown},
  title = {A Qualitative Physics Based on Confluences},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {88--126},
  address = {San Mateo, California},
  xref = {Republication of: dekleer-brown_js:1984a1.},
  topic = {qualitative-physics;qualitative-reasoning;}
  }

@article{ dekleer-brown_js:1986a1,
  author = {Johan de Kleer and John Seely Brown},
  title = {Theories of Causal Ordering},
  journal = {Artificial Intelligence},
  year = {1986},
  volume = {29},
  number = {1},
  pages = {33--61},
  xref = {Commentary on iwasaki-simon_ha:1986a.},
  xref = {Republication of: dekleer-brown_js:1986a1.},
  topic = {causality;qualitative-reasoning;}
  }

@incollection{ dekleer-brown_js:1986a2,
  author = {Johan de Kleer and John Seely Brown},
  title = {Theories of Causal Ordering},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {646--660},
  address = {San Mateo, California},
  xref = {Republication of: dekleer-brown_js:1986a1.},
  topic = {causality;qualitative-reasoning;}
  }

@article{ dekleer-konolige:1989a,
  author = {Johan de Kleer and Kurt Konolige},
  title = {Eliminating the Fixed Predicates from a Circumscription},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {39},
  number = {3},
  pages = {391--398},
  acontentnote = {Abstract:
     Parallel predicate circumscription is the primary
     circumscriptive technique used in formalizing commonsense
     reasoning.  In this paper we present a direct syntactic
     construction for transforming any parallel predicate
     circumscription using fixed predicates into an equivalent one
     which does not.  Thus, we show that predicate circumscription is
     no more expressive with fixed predicates than without.  We
     extend this result to prioritized circumscription.  These
     results are expected to be useful for comparing circumscription
     to other nonmonotonic formalisms (such as autoepistemic logic
     and assumption-based truth maintenance) and for implementing
     fixed predicates.  },
  topic = {autoepistemic-logic;circumscription;nonmonotonic-logic;
  	truth-maintenance;}
  }

@article{ dekleer-williams_bc:1987a1,
  author = {Johan de Kleer and Brian C. Williams},
  title = {Diagnosing Multiple Faults},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {32},
  number = {1},
  pages = {97--130},
  xref = {Republication: dekleer-williams_bc:1987a2.},
  topic = {diagnosis;}
  }

@incollection{ dekleer-williams_bc:1987a2,
  author = {Johan de Kleer and Brian C. Williams},
  title = {Diagnosing Multiple Faults},
  booktitle = {Readings in Nonmonotonic Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Matthew L. Ginsberg},
  pages = {372--388},
  address = {Los Altos, California},
  xref = {Original Publication: dekleer-williams:1987a1.},
  topic = {diagnosis;}
  }

@article{ dekoning-etal:2000a,
  author = {Kees de Koning and Bert Bredeweg and Joost Breuker and
  	Bob Wielinga},
  title = {Model-Based Reasoning about Learner Behaviour},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {117},
  number = {2},
  pages = {173--229},
  acontentnote = {Abstract:
     Automated handling of tutoring and training functions in
     educational systems requires the availability of articulate
     domain models.  In this article we further develop the
     application of qualitative models for this purpose.  A framework
     is presented that defines a key role for qualitative models as
     interactive simulations of the subject matter.  Within this
     framework our research focuses on automating the diagnosis of
     learner behaviour.  We show how a qualitative simulation model of
     the subject matter can be reformulated to fit the requirements
     of general diagnostic engines such as GDE.  It turns out that,
     due to the specific characteristics of such models, additional
     structuring is required to produce useful diagnostic results.  A
     set of procedures is presented that automatically maps detailed
     simulation models into a hierarchy of aggregated models by
     hiding non-essential details and chunking chains of causal
     dependencies.  The result is a highly structured subject matter
     model that enables the diagnosis of learner behaviour by means
     of an adapted version of the GDE algorithm.  An experiment has
     been conducted that shows the viability of the approach taken,
     i.e., given the output of a qualitative simulator the procedures
     we have developed automatically generate a structured subject
     matter model and subsequently use this model to successfully
     diagnoses learner behaviour.  },
  topic = {qualitative-modeling;model-based-reasoning;diagnosis;}
  }

@incollection{ dekuyper:1995a,
  author = {Jo DeKuyper and Didier Keymeulen and Luc Steels},
  title = {A Hybrid Architecture for Modeling Liquid Behavior},
  booktitle = {Diagrammatic Reasoning},
  publisher = {The {MIT} Press},
  year = {1995},
  editor =  {Janice Glasgow and N. Hari Narayanan and B.
		Chandrasekaran},
  pages = {731--751},
  address = {Cambridge, Massachusetts},
  topic = {diagrams;reasoning-with-diagrams;
  	physical-reasoning;visual-reasoning;}
  }

@inproceedings{ dekydtspotter:1993a,
  author =  {Pierre Aime Dekydtspotter},
  title = {The Syntax and Semantics of the {F}rench
  	{\it Ne Que} Construction},
  booktitle = {Proceedings from Semantics and Linguistic Theory {III}},
  year = {1993},
  editor = {Utpal Lahiri and Zachary Wyner},
  pages = {38--56},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {sentence-focus;French-language;pragmatics;}
  }

@incollection{ delacruz:1972a,
  author = {Enrique B. Delacruz},
  title = {Factives and Proposition Level
     		Constructions in a {M}ontague Grammar},
  booktitle = {Papers in {M}ontague Grammar},
  publisher = {Linguistics Department, UCLA},
  year = {1972},
  editor = {Robert Rodman},
  pages = {101--126},
  address = {Los Angeles, California},
  note = {ULCA Occasional Papers in Linguistics, No. 2},
  topic = {Montague-grammar;(counter)factive-constructions;}
  }

@incollection{ delacruz:1976a,
  author = {Enrique B. Delacruz},
  title = {Factives and Proposition Level
     		Constructions in {M}ontague Grammar},
  booktitle = {Montague Grammar},
  publisher = {Academic Press},
  year = {1976},
  editor = {Barbara H. Partee},
  pages = {177--199},
  address = {New York},
  topic = {Montague-grammar;(counter)factive-constructions;
  	propositions;}
  }

@article{ delacruz-etal:2002a,
  author = {Omar de la Cruz and Eric Hall and Paul Howard and Jean E.
  	Rubin and Adrianne Stanley},
  title = {Definitions of Compactness and the Axiom of Choice},
  journal = {Journal of Symbolic Logic},
  year = {2002},
  volume = {67},
  number = {1},
  pages = {143--161},
  topic = {topology;axiom-of-choice;}
  }

@book{ delahunty:1982a,
  author = {Gerald P. Delahunty},
  title = {Topics in the Syntax and Semantics of {E}nglish
		Cleft Sentences},
  publisher = {Indiana University Linguistics Club},
  year = {1982},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {cleft-constructions;presupposition;pragmatics;}
 }

@book{ delancy:2002a,
  author = {Craig Delancy},
  title = {Passionate Engines:  What Emotions Reveal about the
  	Mind and Artificial Intelligence},
  publisher = {Oxford University Press},
  year = {2002},
  address = {Oxford},
  xref = {Review: scarantino:2003a.},
  topic = {emotion;philosophy-and-AI;}
 }

@incollection{ delannoy:1999a,
  author = {Jean-Fran\c{c}ois Delannoy},
  title = {Argumentation Mark-Up: A Proposal},
  booktitle = {Towards Standards and Tools for Discourse Tagging:
  	Proceedings of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {1999},
  editor = {Marilyn Walker},
  pages = {18--25},
  address = {Somerset, New Jersey},
  topic = {discourse-tagging;corpus-linguistics;argumentation;}
  }

@article{ delavalette-etal:2008a,
  author = {Gerard Renardel de Lavalette and Barteld Kooi and Rineke
  	Verbrugge},
  title = {Strong Completeness and Limited Canonicity for {PDL}},
  journal = {Journal of Logic, Language, and Information},
  year = {2008},
  volume = {17},
  number = {1},
  pages = {69--87},
  topic = {dynamic-logic;completeness-theorems;infinitary-logic;}
  }

@article{ delcerro-etal:1994a,
  author = {Luis Fari\~nas del Cerro and Andreas Herzog and J\'er\^ome Lang},
  title = {From Ordering-Based Nonmonotonic Reasoning to Conditional Logics},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {66},
  number = {2},
  pages = {375--393},
  contentnote = {Shows how to get a Lehmann-Magidor conditional from
  	a Gardenfors-Makinson ordering on formulas.  They do not seem
	to be conversant with the earlier work on conditionals.},
  topic = {nonmonotonic-logic;conditional-logic;belief-revision;}
  }

@incollection{ delfito-bertinetto:2000a,
  author = {Denis Delfito and Pier Marco Bertinetto},
  title = {Word Order and Quantification over Times},
  booktitle = {Speaking of Events},
  publisher = {Oxford University Press},
  year = {2000},
  editor = {James Higginbotham and Fabio Pianesi and Achille C. Varzi},
  pages = {207--243},
  address = {Oxford},
  topic = {events;nl-semantics;event-semantics;adverbs;}
  }

@article{ delgado:2002a,
  author = {Jordi Delgado},
  title = {Emergence of Social Conventions in Complex Networks},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {141},
  number = {1--2},
  pages = {171--185},
  topic = {multiagent-systems;convention;coordination;}
  }

@inproceedings{ delgrande:1987a,
  author = {James P. Delgrande},
  title = {A Logic for Representing Default and Prototypical
  	Properties},
  booktitle = {Proceedings of the Tenth International Joint
  	Conference on Artificial Intelligence},
  year = {1987},
  editor = {Arivind Joshi},
  pages = {423--429},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  xref = {Journal publication: delgrande:1987b.},
  topic = {nonmonotonic-conditionals;nonmonotonic-logic;generics;}
 }

@article{ delgrande:1987b,
  author = {James P. Delgrande},
  title = {A First-Order Conditional Logic for Prototypical Properties},
  journal = {Artificial Intelligence},
  volume = {33},
  number = {1},
  year = {1987},
  pages = {105--130},
  topic = {nonmonotonic-conditionals;nonmonotonic-logic;generics;}
    }

@article{ delgrande:1988a,
 author = {James P. Delgrande},
 title = {An Approach to Default Reasoning Based on a First-Order
 	Conditional Logic: Revised Report},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {36},
  pages = {63--90},
  number = {1},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-conditionals;nonmonotonic-logic;}
 }

@unpublished{ delgrande:1989a,
  author = {James P. Delgrande},
  title = {A Semantics for a Class of Inheritance Networks},
  year = {1989},
  note = {Unpublished manuscript, School of Computing Science,
  	Simon Frazer University},
  rtnote = {In RHT collection.},
  topic = {inheritance-theory;nonmonotonic-logic;}
  }

@incollection{ delgrande:1992a,
  author = {James P. Delgrande},
  title = {Accessibility in Logics of Explicit Belief},
  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 = {450--461},
  address = {San Mateo, California},
  topic = {epistemic-logic;hyperintensionality;}
  }

@inproceedings{ delgrande:1995a,
  author = {James P. Delgrande},
  title = {Syntactic Conditional Closures for Defeasible Reasoning},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {1488--1494},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-reasoning;conditionals;}
  }

@article{ delgrande:1998a,
  author = {James P. Delgrande},
  title = {On First-Order Conditional Logics},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {105},
  number = {1--2},
  pages = {105--137},
  topic = {conditionals;lottery-paradox;nonmonotonic-logic;}
  }

@incollection{ delgrande:1998b,
  author = {James P. Delgrande},
  title = {Conditional Logics for Defeasible Logics},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 2:  Reasoning with
                Actual and Potential Contradictions},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Phillipe Besnard and Anthony Hunter},
  pages = {135--173},
  address = {Dordrecht},
  topic = {conditionals;nonmonotonic-logic;nonmonotonic-reasoning;}
  }

@article{ delgrande-etal:1994a,
  author = {James P. Delgrande and Torsten Schaub and {W. Ken} Jackson},
  title = {Alternative Approaches to Default Logic},
  journal = {Artificial Intelligence},
  volume = {70},
  year = {1994},
  pages = {167--237},
  topic = {default-logic;nonmonotonic-logic;}
    }

@article{ delgrande-etal:2001a,
  author = {James P. Delgrande and Arvind Gupta and Tim Van Allen},
  title = {A Comparison of Point-Based Approaches to Qualitative
  	Temporal  Reasoning},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {131},
  number = {1--2},
  pages = {135--170},
  topic = {temporal-reasoning;}
  }

@incollection{ delgrande-etal:2002a,
  author = {James P. Delgrande and Torsten Schaub and Hans Tompits
     		and Kevin Wang},
  title = {Towards a Classification of Preference Handling Approaches
  	in Nonmonotonic Reasoning},
  booktitle = {Preferences in {AI} and {CP}: Symbolic Approaches},
  publisher = {AAAI Press},
  year = {2002},
  editor = {Ulrich Junker},
  pages = {16--24},
  address = {Menlo Park, California},
  topic = {preferences;nonmonotonic-reasoning;}
  }

@incollection{ delgrande-etal:2004a,
  author = {James P. Delgrande and Torsten Schaub and Hans Tompits},
  title = {Domain-Specific Preferences for Causal Reasoning and
  		Planning},
  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 = {673--682},
  address = {Menlo Park, California},
  topic = {causal-reasoning;planning;preferences;}
  }

@article{ delgrande-etal:2005a,
  author = {James P. Delgrande and Abhaya C. Nayak and Maurice Pagnicco},
  title = {Gricean Belief Change},
  journal = {Studia Logica},
  year = {2005},
  volume = {79},
  number = {1},
  pages = {97--113},
  topic = {belief-revision;}
  }

@incollection{ delgrande-etal:2006a,
  author = {James Delgrande and Didier Dubois and J\'er\^ome Lang},
  title = {Iterated Revision as Prioritized Merging},
  booktitle = {{KR}2006: Proceedings, Tenth International Conference on
      Principles of  Knowledge Representation and Reasoning},
  publisher = {AAAI Press},
  year = {2006},
  editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty},
  pages = {210--220},
  address = {Menlo Park, California},
  topic = {belief-revision;preferences;knowledge-integration;}
  }

@inproceedings{ delgrande-gupta_a2:1996a,
  author = {James P. Delgrande and Arvind Gupta},
  title = {A Representation for Efficient Temporal Reasoning},
  booktitle = {Proceedings of the Thirteenth National Conference on
              Artificial Intelligence and the Eighth Innovative
	      Applications of Artificial Intelligence  Conference,
	      Vol. 2},
  year = {1996},
  editor = {William J. Clancey and Dan Weld},
  pages = {381--388},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {temporal-reasoning;kr;krcourse;}
  }

@incollection{ delgrande-jackson_wk:1991a,
  author = {James P. Delgrande and W. Ken Jackson},
  title = {Default Logic Revisited},
  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 = {118--127},
  address = {San Mateo, California},
  topic = {default-logic;nonmonotonic-logic;kr-course;}
  }

@incollection{ delgrande-schaub:1994a,
  author = {James P. Delgrande and Torsten Schaub},
  title = {A General Approach to Specificity in Default Reasoning},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {146--157},
  address = {San Francisco, California},
  topic = {nonmonotonic-reasoning;specificity;}
  }

@article{ delgrande-schaub:1997a,
  author = {James P. Delgrande and Torsten H. Schaub},
  title = {Compiling Specificity into Approaches to Nonmonotonic
  	Reasoning},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {90},
  number = {1--2},
  pages = {301--348},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-logic;specificity;kr;}
  }

@inproceedings{ delgrande-schaub:1999a,
  author = {James P. Delgrande and Torsten Schaub},
  title = {The Role of Default Logic in Knowledge Representation:
		Preliminary Draft},
  booktitle = {Workshop on Logic-Based Artificial Intelligence,
	       Washington, DC, June 14--16, 1999},
  year = {1999},
  editor = {Jack Minker},
  publisher = {Computer Science Department, University of Maryland},
  address = {College Park, Maryland},
  topic = {default-logic;common-sense-reasoning;
		common-sense-logicism;}
  }

@article{ delgrande-schaub:2000a,
  author = {James P. Delgrande and Torsten Schaub},
  title = {Expressing Preferences in Default Logic},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {123},
  number = {1--2},
  pages = {41--87},
  topic = {default-logic;default-preferences;}
  }

@incollection{ delgrande-schaub:2000b,
  author = {James P. Delgrande and Torsten Schaub},
  title = {The Role of Default Logic in Knowledge Representation},
  booktitle = {Logic-Based Artificial Intelligence},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Jack Minker},
  pages = {107--126},
  address = {Dordrecht},
  topic = {logic-in-AI;kr;nonmonotonic-logic;default-logic;
  	nonmonotonic-prioritization;}
  }

@article{ delgrande-schwab:2003a,
  author = {James P. Delgrande and Torsten Schwab},
  title = {A Consistency-Based Approach to Belief Change},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {151},
  number = {1--2},
  pages = {1--41},
  topic = {belief-revision;consistency-checking;}
  }

@inproceedings{ deligne-sagisaka:1998a,
  author = {Sabine Deligne and Yoshinori Sagisaka},
  title = {Learning a Syntagmatic and Paradigmatic Structure from
  	Language Data with a Bi-Multigram Model},
  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 = {300--306},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {word-sequence-probabilities;}
}

@incollection{ delima:1997a,
  author

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib