text:
= {Erika F. de Lima},
  title = {Assigning Grammatical Relations with a Back-Off Model},
  booktitle = {Proceedings of the Second Conference on Empirical
		Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Claire Cardie and Ralph Weischedel},
  pages = {90--96},
  address = {Somerset, New Jersey},
  topic = {empirical-methods-in-nlp;corpus-tagging;
		grammatical-relations;German-language;}
  }

@incollection{ delima:1998a,
  author = {Erica F. de Lima},
  title = {Induction of a Stem Lexicon for Two-Level Morphological
  		Analysis},
  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 = {267--268},
  address = {Somerset, New Jersey},
  topic = {computational-morphology;word-acquisition;machine-learning;}
  }

@article{ delin:1992a,
  author = {Judy Delin},
  title = {Properties of {\em It}-Cleft Presupposition},
  journal = {Journal of Semantics},
  year = {1992},
  volume = {9},
  number = {4},
  pages = {289--306},
  topic = {presupposition;cleft-constructions;}
  }

@inproceedings{ delin-etal:1993a,
  author = {Judy Delin and Donia Scott and Tony Hartley},
  title = {Knowledge, Intention, Rhetoric: Levels of Variation
  	in Multilingual  Instructions},
  booktitle = {{ACL} Workshop on Intentionality and Structure in
  	Discourse Relations},
  pages = {7--10},
  address = {Columbus, Ohio},
  year = {1993},
  topic = {discourse-structure;pragmatics;}
}

@inproceedings{ delin-etal:1994a,
  author = {Judy Delin and Anthony Hartley and C\'ecile Paris and Donia Scott
  	and Keith Vander Linden},
  title = {Expressing Procedural Relationships in Multilingual
  	Instructions},
  booktitle = {Seventh International Workshop on Natural Language Generation},
  address = {Kennebunkport, Maine},
  year = {1994},
  pages = {61--70},
  topic = {nl-generation;}
}

@article{ delin-knight_k:2006a,
  author = {Shou de Lin and Kevin Knight},
  title = {Discovering the Linear Writing Order of a Two-Dimensional
  		Hieroglyphic Script},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {4--5},
  pages = {409--438},
  topic = {decipherment;machine-learning;}
  }

@inproceedings{ delisle-etal:1998a,
  author = {Sylvain Delisle and Sylvain L\'etourneau and Stan Matwin},
  title = {Experiments with Learning Parsing Heuristics},
  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 = {307--314},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {parsing-algorithms;machine-learning;}
}

@inproceedings{ dellapierta-etal:1997a,
  author = {Stephen Della Pietra and Mark Epstein and Salim Roukos
  	and Todd Ward},
  title = {Fertility Models for Statistical Natural Language
  	Understanding},
  booktitle = {Proceedings of the Thirty-Fifth Annual Meeting of the
		{A}ssociation for {C}omputational {L}inguistics and Eighth
		Conference of the {E}uropean Chapter of the {A}ssociation
		for {C}omputational {L}inguistics},
  year = {1997},
  editor = {Philip R. Cohen and Wolfgang Wahlster},
  pages = {168--173},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {computational-semantics;statistical-nlp;}
 }

@article{ dellarocca-roversi:1997a,
  author = {Simona Ronchi Della Rocca and Luca Roversi},
  title = {Lambda Calculus and Intuitionistic Linear Logic},
  journal = {Studia Logica},
  year = {1997},
  volume = {59},
  number = {3},
  pages = {417--448},
  topic = {lambda-calculus;intuitionistic-logic;linear-logic;}
  }

@article{ delmasrigoutsos:1997a,
  author = {Yannis Delmas-Rigoutsos},
  title = {A Double Deduction System for Quantum Logic Based on
  	Natural Deduction},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {26},
  number = {1},
  pages = {57--67},
  topic = {quantum-logic;}
  }

@article{ delmol:2006a,
  author = {Liesbeth del Mol},
  title = {Closing the Circle: An Analysis of {P}ost's Early Work},
  journal = {The Bulletin of Symbolic Logic},
  year = {2006},
  volume = {12},
  number = {2},
  pages = {267--289},
  topic = {history-of-logic;computability;formal-language-theory;}
  }

@incollection{ delval:1992a,
  author = {Alvaro Del Val},
  title = {Computing Knowledge Base Updates},
  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 = {740--750},
  address = {San Mateo, California},
  topic = {kr;database-update;belief-revision;}
  }

@incollection{ delval:1994a,
  author = {Alvaro del Val},
  title = {Tractable Databases:  How to Make Propositional Unit Resolution
  	Complete Through Compilation},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {551--561},
  address = {San Francisco, California},
  topic = {kr;theorem-proving;complexity-in-AI;tractable-logics;kr-course;}
  }

@article{ delval:2000a,
  author = {Alvaro del Val},
  title = {On Some Tractable Classes in Deduction and Abduction},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {116},
  number = {1--2},
  pages = {297--313},
  topic = {complexity-in-AI;kr-course;}
  }

@article{ delval:2005a,
  author = {Alvaro del Val},
  title = {First Order {LUB} Approximations:  Characterization and
  		Algorithms},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {162},
  number = {1--2},
  pages = {7--48},
  topic = {problem-reformulation;theorem-proving;approximation;}
  }

@inproceedings{ delval-etal:1997a,
  author = {Alvaro del Val and Pedrito {Maynard-Reid II} and
  		Yoav Shoham},
  title = {Qualitative Reasoning about Perception and Belief},
  booktitle = {Proceedings of the Fifteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1997},
  editor = {Martha Pollack},
  pages = {508--513},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {qualitative-reasoning;reasoning-about-uncertainty;
  		perception;belief;}
  }

@inproceedings{ delval-shoham_y1:1993a,
  author = {Alvaro {d}el {V}al and Yoav Shoham},
  title = {Deriving Properties of Belief Update From Theories of Action {II}},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {732--737},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  xref = {See delval-shoham_y1:1994a for journal publication.},
  rtnote = {In RHT collection.},
  topic = {belief-revision;nonmonotonic-logic;}
  }

@article{ delval-shoham_y1:1994a,
  author = {Alvaro {d}el {V}al and Yoav Shoham},
  title = {Deriving Properties of Belief Update From Theories of Action},
  journal = {Journal of Logic, Language, and Information},
  year = {1994},
  volume = {3},
  number = {2},
  pages = {81--119},
  contentnote = {This is about revising your beliefs in response to
  	changes in the world, not about AGM update.  Authors argue
	that the this is NM temporal reasoning.},
  rtnote = {In RHT collection.},
  topic = {kr;belief-revision;nonmonotonic-logic;kr-course;}
  }

@article{ demantaras-arcos:2002a,
  author = {Ramon Lopez de Mantaras and Josep Lluis Arcos},
  title = {{AI} and Music: From Composition to Expressive Performance},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {23},
  number = {3},
  pages = {43--57},
  topic = {AI-and-music;}
  }

@inproceedings{ demarcken:1995a,
  author = {Carl de Marcken},
  title = {Lexical Heads, Phrase Structure, and Induction
				of Grammar},
  booktitle = {Proceedings of the Third Workshop on Very
		Large Corpora},
  year = {1995},
  editor = {David Yarovsky and Kenneth Church},
  pages = {14--26},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  rtnote = {In RHT collection.},
  topic = {corpus-linguistics;machine-learning;grammar-learning;}
  }

@inproceedings{ demarcken:1996a,
  author = {Carl de Marcken},
  title = {Linguistic Structure as Composition and Perturbation},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {335--341},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {word-learning;computational-lexical-semantics;}
 }

@inproceedings{ demello-sanderson:1986a,
  author = {L. DeMelloh and A.C. Sanderson},
  title = {And/Or Graph Representation of Assembly Plans},
  booktitle = {Proceedings of the Fifth National Conference on
              Artificial Intelligence},
  year = {1986},
  editor = {Tom Kehler and Stan Rosenschein},
  organization = {American Association for Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  missinginfo = {pages = {1113--??}},
  topic = {planning-algorithms;and/or-graphs;}
  }

@inproceedings{ demolombe:1995a,
  author = {Robert Demolombe},
  title = {Reasoning about Topics: Towards a Formal Theory},
  booktitle = {Formalizing Context},
  year = {1995},
  editor = {Sa\v{s}a Buva\v{c}},
  pages = {55--59},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {context;d-topic;}
  }

@inproceedings{ demolombe:1999a,
  author = {Robert Demolombe},
  title = {Multivalued Logics and Topics},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
  	Practical Reasoning and Rationality},
  year = {1999},
  editor = {John Bell},
  pages = {1--7},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {multivalued-logic;relevance ;}
  }

@article{ demopoulos_w:1982a,
  author = {William Demopoulos},
  title = {The Rejection of Truth-Conditional Semantics by {P}utnam and
  	{D}ummett},
  journal = {Philosophical Topics},
  year = {1982},
  volume = {13},
  number = {1},
  pages = {135--153},
  topic = {philosophy-of-language;foundations-of-semantics;}
  }

@article{ demopoulos_w:1994a,
  author = {William Demopoulos},
  title = {Frege and the Rigorization of Analysis},
  journal = {Journal of Philosophical Logic},
  year = {1994},
  volume = {23},
  number = {3},
  pages = {225--245},
  topic = {Frege;}
  }

@article{ demopoulos_w:1999a,
  author = {William Demopoulos},
  title = {On the Theory of Meaning of `On Denoting'},
  journal = {No\^us},
  year = {1999},
  volume = {33},
  number = {3},
  pages = {439--458},
  topic = {Russell;philosophy-of-language;}
  }

@article{ demopoulos_w:2004a,
  author = {William Demopoulos},
  title = {Elementary Propositions and Essentially Incomplete Knowledge:
  	A Framework for the Interpretation of Quantum Mechanics},
  journal = {No\^us},
  year = {2004},
  volume = {38},
  number = {1},
  pages = {86--109},
  topic = {foundations-of-quantum-mechanics;}
  }

@article{ demopoulos_y-etal:2002a,
  author = {Yiannis Demopoulos and Bernhar Nebel and Francesca Toni},
  title = {On the Computational Complexity of Assumption-Based
  	Argumentation for Default Reasoning},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {141},
  number = {1--2},
  pages = {57--78},
  topic = {nonmonotonic-reasoning;complexity-in-AI;}
  }

@book{ demori:1998a,
  editor = {Renato de Mori},
  title = {Spoken Dialogues with Computers},
  publisher = {Academic Press},
  year = {1998},
  address = {New York},
  contentnote = {TC:
  	1. Renato de Mori, "Problems and Methods for
		Solution", pp. 1--22
	2. Maurizio Onologi and Piergiorgio Svaizer and Renato de
		Mori, "Acoustic Transduction", pp. 23--67
	3. Bianca Angelini and Daliele Falavigna and Maurizio Onologi
		and Renato de Mori, "Basic Speech Sounds, their
		Analysis and Features", pp. 69--121
	4. Diego Giuliani and Daniele Falavigna and Renato de
		Mori, "Parameter Transformation", pp. 123--139
	5. Fabio Brugnara and Renato de Mori, "Acoustic
		Modeling", pp. 141--170
	6. Fabio Brugnara and Renato de Mori, "Training of
		Acoustic Models", pp. 171--197
	7. Marcello Federico and Renato de Mori, "Language
		Modeling", pp. 199--230
        8. Mauro Cettolo and Roberto Gretter and Renato de
       		Mori, "Knowledge Integration", pp. 231--256
        9. Mauro Cettolo and Roberto Gretter and Renato de
       		Mori, "Search and Generation of Word
		Hypotheses", pp. 287--309
       10. Edmondo Trentin and Yoshua Bengio and Cesare
       		Furlanello and Renato de Mori, "Neural
		Networks for Speech Recognition", pp. 311--361
       11. Diego Giuliani and Renato de Mori, "Speaker
       		Adaptation", pp. 363--403
       12. Chafic Mokbel and Denis Jouvet and Jean Monn\'e
       		and Renato de Mori, "Robust Speech
		Recognition", pp. 405--460
       13. Anna Corazza and Renato de Mori, "On the Use of
       		Formal Grammars", 461--484
       14. Roland Kuhn and Renato de Mori, "Sentence
       		Interpretation", pp 485--522
       15.  David Sadek and Renato de Mori, "Dialogue
       		Systems", pp. 523--561
       16. Christel Sorin and Renato de Mori, "Sentence
       		Generation", pp. 563--582
       17. Giuliano Antoniol and Roberto Fiutem and Gianni
       		Lazzari and Renato de Mori, "System Architectures
		and Applications", pp. 583--609
   },
  rtnote = {UMich Media Union Library, QA 76.9 .H85 S661 1998.},
  topic = {computational-dialogue;}
 }

@incollection{ demori:1998b,
  author = {Renato de Mori},
  title = {Problems and Methods for Solution},
  booktitle = {Spoken Dialogues with Computers},
  publisher = {Academic Press},
  year = {1998},
  editor = {Renato de Mori},
  pages = {1--22},
  address = {New York},
  contentnote = {This is an overview, and introduction to demori:1998a.},
  topic = {computational-dialogue;}
  }

@article{ demos:1964a,
  author = {Raphael Demos},
  title = {Plato's Theory of Language},
  journal = {The Journal of Philosophy},
  year = {1964},
  volume = {62},
  number = {20},
  pages = {595--610},
  xref = {Comments: ackrill:1964a.},
  topic = {Plato;philosophy-of-language;}
  }

@incollection{ demri:1994a,
  author = {St\'ephanie Demri},
  title = {Efficient Strategies for Automated Reasoning
  	in Modal Logics},
  booktitle = {Logics in Artificial Intelligence},
  publisher = {Springer-Verlag},
  year = {1994},
  editor = {Craig Mac{N}ish and Lu\'is Moniz Pereira and David Pearce},
  pages = {182--197},
  address = {Berlin},
  topic = {modal-logic;theorem-proving;}
  }

@article{ demri:1999a,
  author = {St\'ephane Demri},
  title = {A Logic with Relative Knowledge Operators},
  journal = {Journal of Logic, Language, and Information},
  year = {1999},
  volume = {8},
  number = {2},
  pages = {167--185},
  topic = {epistemic-logic;complexity-theory;completeness-theorems;}
  }

@article{ demri-denivelle:2005a,
  author = {St\'ephane Demri and Hans de Nivelle},
  title = {Deciding Regular Grammar Logics with Constants},
  journal = {Journal of Logic, Language, and Information},
  year = {2005},
  volume = {14},
  number = {3},
  pages = {289--329},
  topic = {guarded-fragments;decidability;subtheories-of-FOL;}
  }

@article{ demri-gabbay:2000a,
  author = {St\'ephanie Demri and Dov Gabbay},
  title = {On Modal Logics Characterized by Models with Relative
  	Accessibility Relations: Part {II}},
  journal = {Studia Logica},
  year = {2000},
  volume = {66},
  number = {3},
  pages = {349--384},
  topic = {modal-logic;}
  }

@article{ demri-gore:2000a,
  author = {St\'ephane Demri and Rajeev Gor\'e},
  title = {Display Calculi for Logics with Relative Accessibility
  	Relations},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {9},
  number = {2},
  pages = {213--236},
  topic = {epistemic-logic;modal-logic;proof-theory;display-logic;}
  }

@incollection{ dendikken-etal:1996a,
  author = {Marcel den Dikken and Richard K. Larson and Peter Ludlow},
  title = {Intensional `Transitive' Verbs and
		Concealed Complement Clauses},
  booktitle = {Readings in the Philosophy of Language},
  publisher = {The {MIT} Press},
  year = {1996},
  editor = {Peter Ludlow},
  pages = {1041--1053},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.},
  topic = {intensional-transitive-verbs;intensionality;}
  }

@article{ denecke_hm:1977a,
  author = {Heinz-Martin Denecke},
  title = {Quantum Logic of Quantifiers},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {6},
  number = {4},
  pages = {405--413},
  topic = {quantum-logic;}
  }

@incollection{ denecke_m:1997a,
  author = {Matthias Denecke},
  title = {A Programmable Multi-Blackboard Architecture
                for Dialogue Processing Systems},
  booktitle = {Interactive Spoken Dialog Systems:  Bridging
  	Speech and {NLP} Together in Real Applications},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Julia Hirschberg and Candace Kamm and Marilyn Walker},
  pages = {98--105},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;}
  }

@inproceedings{ denecke_m-waibel:1999a,
  author = {Matthias Denecke and Alex Waibel},
  title = {Integrating Knowledge Sources for the Specification of
		a Task-Oriented Dialogue System},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
  	Knowledge and Reasoning in Practical Dialogue Systems},
  year = {1999},
  editor = {Jan Alexandersson},
  pages = {33--40},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {computational-dialogue;}
  }

@incollection{ denecker:2004a,
  author = {Marc Denecker},
  title = {What's in a Model?  Epistemological Analysis of Logic
  		Programming},
  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 = {106--113},
  address = {Menlo Park, California},
  topic = {logic-programming;foundations-of-kr ;}
  }

@incollection{ denecker-etal:2002a,
  author = {Marc Denecker and Victor W. Marek and Miroslaw Truszczy\'nski},
  title = {Ultimate Approximations in Nonmonotonic Knowledge
  	Representation Systems},
  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 = {177--188},
  address = {San Francisco, California},
  topic = {kr;nonmonotonic-logic;well-founded-semantics;}
  }

@article{ denecker-etal:2003a,
  author = {Marc Denecker and Victor W. Marek and Miroslaw
  	Truszczy\'nski},
  title = {Uniform Semantic Treatment of Default and Autoepistemic
  	Logics},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {143},
  number = {1},
  pages = {79--122},
  topic = {nonmonotonic-logic;autoepistemic-logic;default-logic;}
  }

@incollection{ denecker-ternovska:2004b,
  author = {Marc Denecker and Eugenia Ternovska},
  title = {Inductive Situation Calculus},
  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 = {545--555},
  address = {Menlo Park, California},
  topic = {temporal-reasoning;action-formalisms;ramification-problem;
  		non-monotone-inductive-definitions;}
  }

@article{ denecker-ternovska:2007a,
  author = {Marc Denecker and Eugenia Ternovska},
  title = {Inductive Situation Calculus},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {5--6},
  pages = {332--360},
  topic = {situation-calculus;ramification-problem;}
  }

@inproceedings{ deneker-etal:1999a,
  author = {Marc Deneker and Viktor Marek and Miroslaw Truszczy\'nski},
  title = {Approximating Operators, Stable Operators, Well-Founded
		Fixpoints and Applications in Nonmonotonic Reasoning},
  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 = {nonmonotonic-reasoning;logic-programming;stable-models;
		fixpoint-semantics;}
  }

@inproceedings{ deneker-etal:2000a,
  author = {Marc Denecker and Victor W. Marek and Miroslaw
  	Truszczy\'nski},
  title = {Uniform Semantic Treatment of Default and Autoepistemic
  	Logics},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {74--84},
  topic = {nonmonotonic-logic;default-logic;autoepistemic-logic;}
  }

@incollection{ deneker-etal:2000b,
  author = {Marc Deneker and Viktor Marek and Miroslaw
  	Truszczy\'nski},
  title = {Approximations, Stable Operators,
		Well-Founded Fixpoints and Applications in
		Nonmonotonic Reasoning},
  booktitle = {Logic-Based Artificial Intelligence},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Jack Minker},
  pages = {127--144},
  address = {Dordrecht},
  topic = {logic-in-AI;nonmonotonic-logic;fixpoint-semantics;
  	stable-models;auotepistemic-logic;logic-programming;}
  }

@article{ denivelle:1998a,
  author = {Hans de Nivelle},
  title = {Review of \emph{{T}he Resolution Calculus},
		by {A}lexander {L}eitsch},
  journal = {Journal of Logic, Language, and Information},
  year = {1998},
  volume = {7},
  number = {4},
  pages = {499--502},
  topic = {resolution;theorem-proving;}
  }

@book{ dennett:1969a,
  author = {Daniel C. Dennett},
  title = {Content and Consciousness},
  publisher = {Routledge and Kegan Paul},
  year = {1969},
  address = {London},
  rtnote = {UMich Graduate Library, BF311 .D39},
  topic = {philosophy-of-mind;intentionality;}
 }

@article{ dennett:1971a1,
  author = {Daniel C. Dennett},
  title = {Intentional Systems},
  journal = {The Journal of Philosophy},
  year = {1971},
  volume = {68},
  pages = {87--106},
  missinginfo = {number},
  xref = {Republished: dennett:1971a2.},
  topic = {foundations-of-cognition;philosophy-of-psychology;
      philosophy-of-AI;}
  }

@incollection{ dennett:1971a2,
  author = {Daniel C. Dennett},
  title = {Intentional Systems},
  booktitle = {Mind Design: Philosophy, Psychology, Artificial
  	Intelligence},
  publisher = {The {MIT} Press},
  year = {1981},
  editor = {John Haugeland},
  pages = {220-- 242},
  address = {Cambridge, Massachusetts},
  xref = {Originally Published: dennett:1971a1.},
  topic = {foundations-of-cognition;philosophy-of-psychology;
      philosophy-of-AI;}
  }

@incollection{ dennett:1975a,
  author = {Douglas C. Dennett},
  title = {Brain Writing and Mind Reading},
  booktitle = {Language, Mind, and Knowledge.  {M}innesota Studies in
  	the Philosophy of Science, Vol. 7},
  publisher = {University of Minnesota Press},
  year = {1975},
  editor = {Keith Gunderson},
  pages = {403--415},
  address = {Minneapolis, Minnesota},
  topic = {mental-representations;}
  }

@book{ dennett:1978a,
  author = {Daniel C. Dennett},
  title = {Brainstorms},
  publisher = {Bradford Books},
  year = {1978},
  address = {Montgomery, Vermont},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  topic = {philosophy-of-mind;freedom;volition;}
 }

@incollection{ dennett:1979a1,
  author = {Daniel C. Dennett},
  title = {Artificial Intelligence as Philosophy and as Psychology},
  booktitle = {Philosophical Perspectives in Artificial Intelligence},
  publisher = {Humanities Press},
  year = {1979},
  editor = {Martin Ringle},
  address = {Atlantic Highlands, New Jersey},
  pages ={57--80},
  xref = {Other publication: dennett:1979a2},
  topic = {foundations-of-AI;philosophy-AI;}
  }

@incollection{ dennett:1981b,
  author = {Daniel C. Dennett},
  title = {Making Sense of Ourselves},
  booktitle = {The Intentional Stance},
  publisher = {The {MIT} Press},
  year = {1987},
  editor = {Daniel C. Dennett},
  pages = {83--101},
  address = {Cambridge, Massachusetts},
  topic = {philosophy-of-mind;intentionality;consciousness;rationality;}
  }

@incollection{ dennett:1982a2,
  author = {Daniel C. Dennett},
  title = {Styles of Mental Representation},
  booktitle = {The Intentional Stance},
  publisher = {The {MIT} Press},
  year = {1987},
  editor = {Daniel C. Dennett},
  pages = {213--225},
  address = {Cambridge, Massachusetts},
  xref = {Republication of: dennett:1982a1.},
  topic = {philosophy-of-mind;}
  }

@article{ dennett:1982a,
  author = {Daniel C. Dennett},
  title = {Recent Work in Philosophy of Interest to {AI}},
  journal = {Artificial Intelligence},
  year = {1982},
  volume = {19},
  number = {1},
  pages = {3--5},
  topic = {philosophy-AI;}
  }

@incollection{ dennett:1982b1,
  author = {Daniel C. Dennett},
  title = {Beyond Belief},
  booktitle = {Thought and Object},
  publisher = {Oxford University Press},
  year = {1982},
  editor = {A. Woodfield},
  pages = {--},
  address = {Oxford},
  xref = {Republication: dennett:1982b2.},
  topic = {philosophy-of-mind;propositional-attitudes;}
  }

@incollection{ dennett:1982b2,
  author = {Daniel C. Dennett},
  title = {Beyond Belief},
  booktitle = {The Intentional Stance},
  publisher = {The {MIT} Press},
  year = {1987},
  editor = {Daniel C. Dennett},
  pages = {117--202},
  address = {Cambridge, Massachusetts},
  xref = {Republication of: dennett:1982b1.},
  topic = {philosophy-of-mind;propositional-attitudes;}
  }

@article{ dennett:1983a,
  author = {Daniel C. Dennett},
  title = {Styles of Mental Representation},
  journal = {Proceedings of the {A}ristotelian Society},
  year = {1983},
  volume = {83},
  note = {Supplementary Series.},
  pages = {213--226},
  topic = {foundations-of-cognition;philosophy-of-language;
  	philosophy-of-mind;}
 }

@book{ dennett:1984a,
  author = {Daniel C. Dennett},
  title = {Elbow Room: The Varieties of Free Will Worth Wanting},
  publisher = {The {MIT} Press},
  year = {1984},
  address = {Cambridge, Massachusetts},
  xref = {Review: greenspan:1986a.},
  topic = {freedom;volition;}
 }

@article{ dennett:1984b,
  author = {Daniel C. Dennett},
  title = {Recent Work in Philosophy {II}},
  journal = {Artificial Intelligence},
  year = {1984},
  volume = {22},
  number = {3},
  pages = {231--233},
  topic = {frame-problem;philosophy-AI;}
  }

@incollection{ dennett:1986a,
  author = {Daniel C. Dennett},
  title = {The Moral First Aid Manual},
  booktitle = {The {T}anner Lectures on Human Values, Volume {VIII}},
  publisher = {Cambridge University Press},
  address = {Cambridge, England},
  year = {1988},
  pages = {119--147},
  topic = {ethics;}
    }

@book{ dennett:1987a,
  author = {Daniel C. Dennett},
  title = {The Intentional Stance},
  publisher = {The {MIT} Press},
  year = {1987},
  address = {Cambridge, Massachusetts},
  ISBN = {026204093-X},
  contentnote = {TC:
     1. "Setting Off on the Right Foot", pp. 1--12
     2. "True Believers: The Intentional Strategy and Why
     		It Works", pp. 13--35
     3. "Three Kinds of Intentional Psychology", pp. 43--81
     4. "Making Sense of Ourselves", pp. 83--101
     5. "Beyond Belief", pp. 117--202
     6. "Styles of Mental Representation", pp. 213--225
     7. "Intentional Systems in Cognitive Ethology:  The
     		`{P}anglossian Paradigm' Defended", pp. 237--268
     8. "Evolution, Error, and Intentionality", pp. 287--321
     9. "Fast Thinking", pp. 323--337
    10. "Mid-Term Examination: Compare and Contrast", pp. 339--350
  },
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {intentionality;philosophy-of-psychology;philosophy-of-mind;
  	foundations-of-cogsci;}
 }

@incollection{ dennett:1987b,
  author = {Daniel C. Dennett},
  title = {Cognitive Wheels: The Frame Problem of {AI}},
  booktitle = {The Robot's Dilemma: The Frame Problem
    		 in Artificial Intelligence},
  editor = {Zenon Pylyshyn},
  publisher = {Ablex Publishing Co.},
  address = {Norwood, New Jersey},
  year = {1987},
  pages = {41--64},
  topic = {frame-problem;philosophy-AI;}
    }

@incollection{ dennett:1987c,
  author = {Daniel C. Dennett},
  title = {Setting Off on the Right Foot},
  booktitle = {The Intentional Stance},
  publisher = {The {MIT} Press},
  year = {1987},
  editor = {Daniel C. Dennett},
  pages = {1--12},
  address = {Cambridge, Massachusetts},
  topic = {philosophy-of-mind;folk-psychology;}
  }

@incollection{ dennett:1987d,
  author = {Daniel C. Dennett},
  title = {Three Kinds of Intentional Psychology},
  booktitle = {The Intentional Stance},
  publisher = {The {MIT} Press},
  year = {1987},
  editor = {Daniel C. Dennett},
  pages = {43--81},
  address = {Cambridge, Massachusetts},
  topic = {philosophy-of-mind;}
  }

@incollection{ dennett:1987e,
  author = {Daniel C. Dennett},
  title = {Evolution, Error, and Intentionality},
  booktitle = {The Intentional Stance},
  publisher = {The {MIT} Press},
  year = {1987},
  editor = {Daniel C. Dennett},
  pages = {287--321},
  address = {Cambridge, Massachusetts},
  topic = {philosophy-of-mind;intentionality;}
  }

@incollection{ dennett:1987f,
  author = {Daniel C. Dennett},
  title = {Fast Thinking},
  booktitle = {The Intentional Stance},
  publisher = {The {MIT} Press},
  year = {1987},
  editor = {Daniel C. Dennett},
  pages = {323--337},
  address = {Cambridge, Massachusetts},
  topic = {philosophy-of-mind;}
  }

@incollection{ dennett:1987g,
  author = {Daniel C. Dennett},
  title = {Mid-Term Examination: Compare and Contrast},
  booktitle = {The Intentional Stance},
  publisher = {The {MIT} Press},
  year = {1987},
  editor = {Daniel C. Dennett},
  pages = {339--350},
  address = {Cambridge, Massachusetts},
  topic = {philosophy-of-mind;}
  }

@book{ dennett:1991a,
  author = {Daniel C. Dennett},
  title = {Consciousness Explained},
  publisher = {Little, Brown and Co.},
  year = {1991},
  address = {Boston},
  xref = {Review: lycan:1993a},
  ISBN = {0316180653},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  rtnote = {UMich Graduate Library, C 105 .C477 D451 1991.},
  topic = {philosophy-of-mind;consciousness;}
 }

@article{ dennett:1993a,
  author = {Daniel C. Dennett},
  title = {Book Review of `Unified Theories of Cognition'
  	({A}llen {N}ewell)},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {285--294},
  xref = {Review of newell:1992a.},
  topic = {SOAR;cognitive-architectures;}
  }

@incollection{ dennett:1994a,
  author = {Daniel C. Dennett},
  title = {Language and Intelligence},
  booktitle = {What is Intelligence?},
  publisher = {Cambridge University Press},
  year = {1994},
  editor = {Jean Khalfa},
  pages = {161--178},
  address = {Cambridge, England},
  topic = {philosophy-of-mind;foundations-of-cognition;
  	foundations-of-language;philosophy-of-language;}
  }

@book{ dennett:1996a,
  author = {Daniel C. Dennett},
  title = {Kinds of Minds: Toward an Understanding
		of Consciousness},
  publisher = {Basic Books},
  year = {1996},
  address = {New York},
  topic = {consciousness;}
 }

@incollection{ dennett:1996b,
  author = {Daniel C. Dennett},
  title = {Producing Future by Telling Stories},
  booktitle = {The Robot's Dilemma Revisited: The Frame Problem
             in Artificial Intelligence},
  publisher = {Ablex Publishing Co.},
  year = {1996},
  editor = {Kenneth M. Ford and Zenon Pylyshyn},
  pages = {1--7},
  address = {Norwood, New Jersey},
  topic = {frame-problem;philosophy-of-cogsci;}
  }

@book{ dennett:1998a,
  author = {Daniel C. Dennett},
  title = {Brainchildren: Essays on Developing Minds},
  publisher = {The {MIT} Press},
  year = {1998},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-54090-8},
  topic = {philosophy-of-mind;}
 }

@book{ dennett:2005a,
  author = {Daniel C. Dennett},
  title = {Sweet Dreams},
  publisher = {The {MIT} Press},
  year = {2005},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-04225-8},
  rtnote = {In RHT collection.  Cogsci Shelves.},
  topic = {consciousness;philosophy-of-mind;}
 }

@book{ dennett:2006a,
  author = {Daniel C. Dennett},
  title = {Sweet Dreams:  Philosophical Obstacles to a Science of
  		Consciousness},
  publisher = {The {MIT} Press},
  year = {2006},
  address = {Cambridge, Massachusetts},
  ISBN = {9780-262-54191-6},
  rtnote = {In RHT collection.  Cogsci Shelves.},
  topic = {consciousness;philosophy-of-mind;}
 }

@book{ dennett-lambert_k:1978a,
  editor = {Daniel C. Dennett and Karel Lambert},
  title = {The Philosophical Lexicon},
  year = {1978},
  note = {Privately published.},
  rtnote = {In RHT collection.},
  topic = {humor;philosophy-general;}
 }

@book{ dennis-tapsfield:1996a,
  editor = {Ian Dennis and Patrick Tapsfield},
  title = {Human Abilities: Their Nature and Measurement},
  publisher = {Lawrence Erlbaum Associates},
  year = {1996},
  address = {Mahwah, New Jersey},
  topic = {cognitive-psychology;measurement-in-behavioral-science;}
 }

@article{ denoex:2008a,
  author = {Thierry Den{\oe}x},
  title = {Conjunctive and Disjunctive Combination of Belief
  		Functions Induced by Nondistinct Bodies of Evidence},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {2--3},
  pages = {234--264},
  topic = {Dempster-Shafer-theory;}
  }

@book{ denzin-lincoln:1998a,
  editor = {Norman K. Denzin and Yvonna S. Lincoln},
  title = {The Landscape of Qualitative Research},
  publisher = {Sage Publications},
  year = {1998},
  address = {Thousand Oaks, California},
  topic = {qualitative-methods;}
 }

@book{ denzin-lincoln:1998b,
  editor = {Norman K. Denzin and Yvonna S. Lincoln},
  title = {Strategies of Qualitative Inquiry},
  publisher = {Sage Publications},
  year = {1998},
  address = {Thousand Oaks, California},
  topic = {qualitative-methods;}
 }

@book{ denzin-lincoln:1998c,
  editor = {Norman K. Denzin and Yvonna S. Lincoln},
  title = {Collecting and Interpreting Qualitative Materials},
  publisher = {Sage Publications},
  year = {1998},
  address = {Thousand Oaks, California},
  topic = {qualitative-methods;}
 }

@incollection{ denzinger-dahn:1998a,
  author = {J. Denzinger and I. Dahn},
  title = {Cooperating Theorem Provers},
  booktitle = {Automated Deduction: A Basis for Applications.
  	Volume {II}, Systems and Implementation Techniques},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Wolfgang Bibel and Peter H. Schmidt},
  address = {Dordrecht},
  missinginfo = {A's 1st name, pages},
  topic = {theorem-proving;applied-logic;}
  }

@incollection{ denzinger-fuchs:1998a,
  author = {J. Denzinger and M. Fuchs},
  title = {A Comparison of Equality
   	Reasoning Heuristics},
  booktitle = {Automated Deduction: A Basis for Applications.
  	Volume {II}, Systems and Implementation Techniques},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Wolfgang Bibel and Peter H. Schmidt},
  address = {Dordrecht},
  missinginfo = {A's 1st name, pages},
  topic = {theorem-proving;applied-logic;}
  }

@article{ deo:2009a,
  author = {Ashwini Deo},
  title = {Unifying the Imperfective and the Progressive:  Partitions
  		in Quantificational Domains},
  journal = {Linguistics and Philosophy},
  year = {2009},
  volume = {32},
  number = {5},
  pages = {475--521},
  topic = {progressive-aspect;}
  }

@inproceedings{ depaiva:2003a,
  author = {Valeria de Paiva},
  title = {Natural Deduction and Context as (Constructive) Modality},
  booktitle = {Modeling and Using Context: Fourth International and
  	Interdisciplinary Conference, Context 2003},
  publisher = {Springer-Verlag},
  year = {2003},
  editor = {Patrick Blackburn and Chiara Ghidini and Roy M. Turner
  	and Fausto Giunchiglia},
  pages = {116--129},
  address = {Berlin},
  topic = {context;proof-theory;modal-logic;}
  }

@article{ depaul:2002a,
  author = {Michael R. DePaul},
  title = {Review of \emph{{K}nowledge in a Social World}, by {A}lvin
  	{L}. {G}oldman},
  journal = {No\^us},
  year = {2002},
  volume = {36},
  number = {2},
  pages = {335--350},
  xref = {Review of: goldman:1999a.},
  topic = {epsitemology;social-philosophy;}
  }

@book{ depaul-ramsey_w:1998a,
  editor = {Michael R. De{P}aul and William Ramsey},
  title = {Rethinking Intuition},
  publisher = {Rowman \& Littlefield Publishers, Inc.},
  year = {1998},
  address = {Oxford},
  topic = {common-sense;}
 }

@incollection{ depauw-daelemans:2000a,
  author = {Guy de Pauw and Walter Daelemans},
  title = {The Role of Algorithm
             Bias vs. Information Source in Learning Algorithms
	     for Morphosyntactic Disambiguation},
  booktitle = {Proceedings of the Fourth Conference on Computational
  	Natural Language Learning and of the Second Learning Language
	in Logic Workshop, {L}isbon, 2000},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Claire Cardie and Walter Daelemans and Claire N\'edellec
  	and Erik Tjong Kim Sang},
  pages = {19--24},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;disambiguation;}
  }

@article{ depraetere:1995a,
  author = {Ilse Depraetere},
  title = {On the Necessity of Distinguishing Between (Un)Boundedness
  	and (A)Telicity},
  journal = {Linguistics and Philosophy},
  year = {1995},
  volume = {18},
  number = {1},
  pages = {1--19},
  topic = {Aktionsarten;}
  }

@inproceedings{ deprez:1994a,
  author = {Viviane Deprez},
  title = {Questions with Floated Quantifiers},
  booktitle = {Proceedings from Semantics and Linguistic Theory {IV}},
  year = {1994},
  editor = {Mandy Harvey and Lynn Santelmann},
  pages = {96--113},
  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;nl-quantifiers;interrogatives;}
  }

@article{ dequeiroz:2008a,
  author = {Ruy J.G.B. de Queiroz},
  title = {On Reduction Rules, Meaning-As-Use, and Proof-Theoretic
  		Semantics},
  journal = {Studia Logica},
  year = {2008},
  volume = {90},
  number = {2},
  pages = {211--217},
  topic = {proof-theory;foundations-of-semantics;}
  }

@article{ deraedt:1997a,
  author = {Luc de Raedt},
  title = {Logical Settings for Concept-Learning},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {95},
  number = {1},
  pages = {187--201},
  topic = {machine-learning;}
  }

@inproceedings{ deraedt:1998a,
  author = {Luc De Raedt},
  title = {An Inductive Logic Programming Query
		Language for Database Mining (Extended Abstract)},
  booktitle = {Artificial Intelligence and Symbolic Computation:
	Proceedings of {AISC'98}},
  year = {1998},
  editor = {Jacques Calmet and Jan Plaza},
  pages = {1--13},
  publisher = {Springer Verlag},
  address = {Berlin},
  topic = {inductive-logic-programming;}
  }

@article{ deraedt-bruynooghe:1992a,
  author = {Luc De Raedt and Maurice Bruynooghe},
  title = {Belief Updating from Integrity Constraints and Queries},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {53},
  number = {2--3},
  pages = {291--307},
  topic = {belief-revision;}
  }

@article{ deraedt-dzeroski:1994a,
  author = {Luc De Raedt and Sa\v{s}o D\v{z}eroski},
  title = {First-Order jk-Clausal Theories Are {PAC}-Learnable},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {70},
  number = {1--2},
  pages = {375--392},
  acontentnote = {Abstract:
     We present positive PAC-learning results for the nonmonotonic
     inductive logic programming setting. In particular, we show that
     first-order range-restricted clausal theories that consist of
     clauses with up to k literals of size at most j each are
     polynomial-sample polynomial-time PAC-learnable with one-sided
     error from positive examples only. In our framework, concepts
     are clausal theories and examples are finite interpretations. We
     discuss the problems encountered when learning theories which
     only have infinite nontrivial models and propose a way to avoid
     these problems using a representation change called flattening.
     Finally, we compare our results to PAC-learnability results for
     the normal inductive logic programming setting.
  },
  topic = {Horn-clause-abduction;PAC-learnability;polynomial-algorithms;}
  }

@incollection{ deraedt-ramon:2004a,
  author = {Luc De Raedt and Jan Ramon},
  title = {Condensed Representations for Inductive Logic Programming},
  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 = {438--446},
  address = {Menlo Park, California},
  topic = {inductive-logic-programming;}
  }

@techreport{ derijke:1990a,
  author = {Maarten de Rijke},
  title = {The Modal Logic of Inequality},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {LP-90-15},
  year = {1990},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland },
  rtnote = {In RHT collection.},
  topic = {modal-logic;completeness-theorems;}
  }

@book{ derijke:1995a,
  editor = {Maarten de Rijke},
  title = {Diamonds and Defaults},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  address = {Dordrecht},
  contentnote = {TC:
             1.  Johan van Benthem, "Beyond Accessibility: Functional
		  Models for Modal Logic", pp. 1--18
             2.  Patrick Blackburn, "Modal Logic and Attribute
		  Value Structures", pp. 19--65
             3.  Tijn Borghus, "Interpreting Modal Natural Deduction in
		  Type Theory", pp. 67--102
             4.  Kosta Do\v{s}en, "Modal Translations in K and
                  D", pp. 103--127
             5.  Jan O.M. Jaspars, "Logical Omniscience and
		  Inconsistent Belief", pp. 129--146
             6.  Catholijn Jonker, "Cautious Backtracking in Truth
		  Maintenance Systems", pp. 147--173
             7.  Marcus Kracht, "How Completeness and Correspondence
		  Theory Got Married", pp. 175--214
             8.  Dirk Roorda, "Dyadic Modalities and Lambek
                  Calculus", pp. 215--253
             9.  Valentin Shehtman, "A Logic with Progressive
                  Tenses", pp. 255--285
             10. Edith Spaan, "The Complexity of Propositional Tense
		 Logics", pp. 287--307
             11. Elias Thijsse, "On Total Awareness Logics", pp. 309--347
             12. Yde Venema, "Completeness via Completeness: Since and
		  Until", pp. 349--358
             13. Gerard Vreeswijk, "The Feasibility of Defeat in
		  Defeasible Reasoning", pp. 359--380
		 	},
  rtnote = {HILLMAN QA9.46 D53 1993},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-logic;logic-in-AI;}
 }

@article{ derijke:1995b,
  author = {Maarten de Rijke},
  title = {The Logic of {P}eirce Algebras},
  journal = {Journal of Logic, Language, and Information},
  year = {1993},
  volume = {4},
  number = {3},
  pages = {227--250},
  topic = {algebraic-logic;modal-logic;}
  }

@book{ derijke:1997a,
  author = {Maarten de Rijke},
  title = {Advances in Intensional Logic},
  publisher = {Kluwer Academic Publishers},
  year = {1997},
  address = {Dordrecht},
  contentnote = {TC:
	1. Johan van Benthem and N. Alechina, "Modal Quantification
			over Structured Domains"
	2. Patrick Blackburn and W. Meyer-Viol, "Model Logic and
			Model-Theoretic Syntax"
	3. R.J.C.B. Queroz and Dov Gabbay, "The Functional
			Interpretation of Modal Necessity"
	4. V.V. Rybakov, "Logics of Schemes for "First-Order
			Theories and Poly-Modal Propositional Logic"
	5. J. Seligman, "The Logic of Correct Description"
	6. D. Vakaralov, "Modal Logic of Arrows"
	7. H. Wansing, "A Full-Circle Theorem for Simple
			Tense Logic"
	8. M. Zakharyaschev, "Canonical Formulas for Modal and
			Superintuitionistic Logics: A Short Outline"
	9. E.N. Zalta, "The Modal Subject Calculus and its
			Interpretation"
  },
  ISBN = {0792347110},
  topic = {modal-logic;}
 }

@article{ derijke:1997b,
  author = {Maarten de Rijke},
  title = {A System of Dynamic Modal Logic},
  journal = {Journal of Philosophical Logic},
  year = {1998},
  volume = {27},
  number = {2},
  pages = {109--142},
  topic = {dynamic-logic;modal-logic;}
  }

@article{ derijke:1999a,
  author = {Maarten de Rijke},
  title = {Review of \emph{{L}ogical Reasoning with Diagrams}, edited
  	by {G}erard {A}llwein and {J}on {B}arwise},
  journal = {Journal of Logic, Language, and Information},
  year = {1999},
  volume = {8},
  number = {3},
  pages = {387--390},
  xref = {Review of allwein-barwise:1996a.},
  topic = {diagrams;reasoning-with-diagrams;
  	logical-reasoning;visual-reasoning;}
  }

@article{ derijke:1999b,
  author = {Maarten de Rijke},
  title = {Review of \emph{{I}nformation Flow: The Logic of Distributed
  	Systems}, by {J}on {B}arwise and {J}erry {S}eligman},
  journal = {Journal of Symbolic Logic},
  year = {1999},
  volume = {64},
  number = {4},
  pages = {1836},
  xref = {Review of barwise-seligman_j:1997a.},
  topic = {information-flow-theory;distributed-systems;}
  }

@article{ derijke:2000a,
  author = {Maartin de Rijke},
  title = {Review of \emph{{H}andbook of Tableau Methods}, edited by
		{M}arcello {D}'{A}gostino, {D}ov {M}. {G}abbay,
		{R}einer {H}\"anle and {J}oachim {P}osegga},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {10},
  number = {4},
  pages = {518--523},
  xref = {Review of: dagostino_m-etal:1999a.},
  topic = {proof-theory;}
  }

@incollection{ derijke:2001a,
  author = {Maarten de Rijke},
  title = {Computing with Meaning},
  booktitle = {Logic in Action},
  publisher = {Institute for Logic, Language, and Computation,
  	University of Amsterdam},
  year = {2001},
  editor = {Johan van Benthen and Paul Dekker and Jan van Eijk and
  	Maarten de Rijke and Yde Venema},
  pages = {75--113},
  address = {Amsterdam},
  topic = {computational-semantics;information-retrieval;}
  }

@article{ derijke-venema:1995a,
  author = {Maarten de Rijke and Yde Venema},
  title = {Sahlqvist's Theorem for Boolean Algebras with Operators
  	with an Application to Cylindric Algebras},
  journal = {Studia Logica},
  year = {1995},
  volume = {54},
  number = {1},
  pages = {61--78},
  topic = {algebraic-logic;}
  }

@article{ dermitas-kokkinakis:1995a,
  author = {Evangelos Dermitas and George Kokkinakis},
  title = {Automatic Stochastic Tagging of Natural Language Texts},
  journal = {Computational Linguistics},
  year = {1995},
  volume = {21},
  number = {2},
  pages = {137--163},
  topic = {part-of-speech-tagging;statistical-nlp;}
  }

@article{ derose:1991a,
  author = {Keith DeRose},
  title = {Epistemic Possibilities},
  journal = {The Philosophical Review},
  year = {1991},
  volume = {107},
  number = {2},
  pages = {581--605},
  topic = {possibility;}
  }

@article{ derose:1995a,
  author = {Keith DeRose},
  title = {Solving the Skeptical Problem},
  journal = {The Philosophical Review},
  year = {1995},
  volume = {104},
  number = {1},
  pages = {1--52},
  rtnote = {In RHT collection.},
  topic = {agent-attitudes;context;skepticism;}
 }

@article{ derose:2002a,
  author = {Keith DeRose},
  title = {Assertion, Knowledge, and Context},
  journal = {The Philosophical Review},
  year = {2002},
  volume = {111},
  number = {2},
  pages = {167--203},
  topic = {context;knowledge;}
  }

@article{ derose-grandy_re:1999a,
  author = {Keith DeRose and Richard E. Grandy},
  title = {Conditional Assertions and `Biscuit' Conditionals},
  journal = {No\^us},
  year = {1999},
  volume = {33},
  number = {3},
  pages = {405--420},
  contentnote = {A "biscuit conditional" is one like Austin's
  	example, "There are biscuits on the sideboard if you
	want some".},
  rtnote = {In RHT collection.},
  topic = {conditional-assertion;conditionals;}
  }

@book{ derouilhan:1996a,
  author = {Philippe de Rouilhan},
  title = {Russell et le Cercle des Paradoxes},
  publisher = {\'Epim\'eth\'ee},
  year = {1996},
  address = {Presses Universitaires de France},
  xref = {Review: dacosta-bueno:1999a.},
  topic = {Russell;paradoxes;}
 }

@book{ derrida:1993a,
  author = {Jacques Derrida},
  title = {Aporias},
  publisher = {Stanford University Press},
  year = {1993},
  address = {Stanford, California},
  rtnote = {In RHT collection.  Contemporary Philosophy Shelves.},
  topic = {postmodernism;}
 }

@article{ dershowitz:1985a,
  author = {Nachum Dershowitz},
  title = {Synthetic Programming},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {25},
  number = {3},
  pages = {323--373},
  acontentnote = {Abstract:
     Given a formal specification for a desired program, our goal is
     to transform it step-by-step into executable code. We proceed in
     a top-down fashion - as suggested by `structured programming'
     methodology. Each step consists of applying a synthesis rule to
     rewrite a segment of the developing program in increased detail.
     If every step is transparent enough to ensure correctness, each
     partial program in the series is sure to be equivalent to its
     predecessor. In particular, the final program is guaranteed to
     satisfy the initial specifications.
       In this paper, we concentrate on automatable strategies for
     the formation of iterative loops, giving rules based on
     `invariant assertions' and on `subgoal assertions'.  },
  topic = {automatic-programming;}
  }

@article{ dershowitz-gurevich:2008a,
  author = {Nachum Dershowitz and Yuri Gurevich},
  title = {A Natural Axiomatization of Computability and Proof
  		of {C}hurch's Thesis},
  journal = {The Bulletin of Symbolic Logic},
  year = {2008},
  volume = {14},
  number = {3},
  pages = {299--350},
  topic = {computability;Church's-thesis;abstract-state-machines;}
  }

@article{ derthick:1990a,
  author = {Mark Derthick},
  title = {Review of \emph{{C}onnections and Symbols},
    edited by {S}teven {P}inker and {J}acques {M}ehler},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {43},
  number = {2},
  pages = {251--265},
  topic = {foundations-of-cognition;connectionism;}
  }

@article{ derthick:1990b,
  author = {Mark Derthick},
  title = {Mundane Reasoning by Settling on a Plausible Model},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {46},
  number = {1--2},
  pages = {107--157},
  topic = {connectionist-plus-symbolic-architectures;}
  }

@article{ deruyver-etal:2009a,
  author = {Aline Deruyver and Yann Hod and Luc Brun},
  title = {Image Interpretation with a Conceptual Graph: Labeling
  		Over-Segmented Images and Detection of Unexpected Objects},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {14},
  pages = {1245--1265},
  topic = {image-interpretation;conceptual-graphs;arc-(in)consistency;}
  }

@article{ deruyver-hod:1997a,
  author = {A. Deruyver and Y. Hod\'e},
  title = {Constraint Satisfaction Problem with Bilevel Constraint:
  	Application to Interpretation of Over Segmented Images},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {93},
  number = {1--2},
  pages = {321--335},
  acontentnote = {Abstract:
     In classical finite-domain constraint satisfaction problems, the
     assumption made is that only one value is associated with only
     one variable. For example, in pattern recognition one variable
     is associated with only one segmented region. However, in
     practice, regions are often over-segmented which results in
     failure of any one to one mapping. This paper proposes a
     definition of finite-domain constraint satisfaction problems
     with bilevel constraints in order to take into account a many to
     one relation between the values and the variables. The
     additional level of constraint concerns the data assigned to the
     same complex variable.  Then, we give a definition of the arc
     consistency problem for bilevel constraint satisfaction
     checking. A new algorithm for arc consistency to deal with these
     problems is presented as well.  This extension of the arc
     consistency algorithm retains its good properties and has a time
     complexity in O(en3d2) in the worst case.  This algorithm was
     tested on medical images. These tests demonstrate its
     reliability in correctly identifying the segmented regions even
     when the image is over-segmented.},
  topic = {constraint-satisfaction;arc-(in)consistency;image-processing;}
  }

@book{ desain-honing:1992a,
  author = {Peter Desain and Henkjan Honing},
  title = {Music, Mind and Machine: Studies in Computer Music, Music
    Cognition and Artificial Intelligence},
  publisher = {Thesis Publishers},
  year = {1992},
  address = {Amsterdam},
  ISBN = {9051701497},
  xref = {Review: smoliar:1996a.},
  contentnote = {Includes material from both authors' theses and
    most of their published works that were completed at the Utrecht
    Centre for Knowledge Technology and at City University in London.
    Includes bibliographical references.},
  rtnote = {UMich MUSIC, ML 1380 .D4711 1992},
  xref = {Review: smoliar:1996a.},
  topic = {AI-and-music;}
 }

@incollection{ desaintcyr-prade:2006a,
  author = {Florence Dupin de Saint-Cyr and Henri Prade},
  title = {Possibilistic Handling of Uncertain Default Rules with
  		Applications to Persistence Modeling and Fuzzy
		Default Reasoning},
  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 = {440--450},
  address = {Menlo Park, California},
  topic = {default-logic;possibilistic-logic;}
  }

@book{ deschreye:1999a,
  editor = {Danny De Schreye},
  title = {Logic Programming: Proceedings of the 1999 International
  	Conference on Logic Programming},
  publisher = {The {MIT} Press},
  year = {1999},
  address = {Cambridge, Massachusetts},
  ISBN = {0262541041},
  rtnote = {UMich Media Union Library, QA 76.63 .L6431 1999.},
  topic = {logic-programming;}
 }

@article{ deschreye-etal:1989a,
  author = {Danny de Schreye and Maurice Bruynooghe and Kristof
  	Verschaetse},
  title = {On the Existence of Nonterminating Queries for a
  	Restricted Class of {PROLOG}-Clauses},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {41},
  number = {2},
  pages = {237--248},
  topic = {Prolog;AI-algorithms-analysis;}
  }

@article{ descotte-latombe:1985a,
  author = {Yannick Descotte and Jean-Claude Latombe},
  title = {Making Compromises among Antagonist Constraints in a
  	Planner},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {27},
  number = {2},
  pages = {183--217},
  topic = {planning-algorithms;conflict-resolution;}
  }

@article{ desjardins-etal:1999a,
  author = {Marie E. {des}{J}ardins and Edmund H. Durfee and
  	Charles L {Ortiz, Jr.} and Michael Wolverton},
  title = {A Survey of Research in Distributed, Continual Planning},
  journal = {The {AI} Magazine},
  year = {1999},
  volume = {20},
  number = {4},
  pages = {13--22},
  topic = {distributed-systems;planning;multiagent-planning;}
  }

@article{ desjardins-etal:2008a,
  author = {Marie E. {des}{J}ardins and Matthew E. Gaston and
  		Dragomir Radev},
  title = {Introduction to the Special Issue on {AI} and Networks},
  journal = {The {AI} Magazine},
  year = {2008},
  volume = {29},
  number = {3},
  pages = {11--15},
  topic = {networks;network-models;}
  }

@article{ desjardins-wolverton:1999a,
  author = {Marie E. {des}{J}ardins and Michael Wolverton},
  title = {Coordinating a Distributed Planning System},
  journal = {The {AI} Magazine},
  year = {1999},
  volume = {20},
  number = {4},
  pages = {45--53},
  topic = {multiagent-planning;distributed-systems;cooperation;}
  }

@inproceedings{ desmedt:1984a,
  author = {Koenraad De Smedt},
  title = {Using Object-Oriented Knowledge-Representation
	Techniques in Morphology and Syntax Programming},
  booktitle = {Proceedings, Sixth {E}uropean {C}onference on {A}rtificial
  	{I}ntelligence},
  year = {1984},
  pages = {181--184},
  missinginfo = {editor, organization, publisher, address },
  topic = {morphology;inheritance;nm-ling;}
  }

@phdthesis{ desmedt:1990a,
  author = {Koenraad De Smedt},
  title = {Incremental Sentence Generation: A Computer Model
	of Grammatical Encoding},
  school = {Katholieke Universiteit te Nijmegen},
  year = {1990},
  type = {Ph.{D}. Dissertation},
  address = {Nijmegen},
  note = {Nijmegen Institute for
	Cognition Research and Information Technology Technical
	Report 90-01, 1990.},
  topic = {nl-processing;}
 }

@incollection{ desmedt:1990b,
  author = {Koenraad De Smedt},
  title = {{IPF}: An Incremental Parallel Formulator},
  booktitle = {Current Research in Natural Language Generation},
  year = {1990},
  editor = {Robert Dale and Chris Mellish and Michael Zock},
  publisher = {Academic Press},
  address = {London},
  pages = {167--192},
  topic = {nl-generation;}
}

@incollection{ desmedt-etal:1996a,
  author = {Koenraad De Smedt and Helmut Horacek and Michael Zock},
  title = {Architectures for Natural Language Generation:
		Problems and Perspectives},
  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 = {17--46},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {nl-generation;}
  }

@incollection{ desmedt-kempen:1991a,
  author = {Koenraad De Smedt and Gerard Kempen},
  title = {Segment Grammar: A Formalism for Incremental Sentence
		Generation},
  booktitle = {Natural Language Generation in Artificial Intelligence and
  	Computational Linguistics},
  publisher = {Kluwer Academic Publishers},
  address = {Dordrecht},
  year = {1991},
  editor = {C\'{e}cile L. Paris and William R. Swartout
  	and William C. Mann},
  pages = {329--349},
  topic = {nl-generation;grammar-formalisms;}
  }

@incollection{ desousa:1986a,
  author = {Ronald B. de Sousa},
  title = {Desire and Time},
  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 = {83--100},
  address = {Chicago},
  topic = {desire;philosophical-psychology;temporal-reasoning;
  	practical-reasoning;}
  }

@book{ desousa:1987a,
  author = {Ronald Desousa},
  title = {The Rationality of Emotion},
  publisher = {The {MIT} Press},
  year = {1987},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {emotion;}
 }

@article{ desousa:1998a,
  author = {Ronald Desousa},
  title = {Individual Natures},
  journal = {Philosophia},
  year = {1998},
  volume = {26},
  number = {1--2},
  pages = {3--22},
  contentnote = {Considers the question of whether there can
  	be laws about human beings.},
  topic = {philosophy-of-psychology;human-nature;}
  }

@article{ desousa:2000a,
  author = {Ronald de Sousa},
  title = {Review of \emph{{A}rtificial Intelligence and Literary
  	Creativity: Inside the Mind of {BRUTUS}, a Storytelling
	Machine}, by {S}elmer {B}ringsford and {D}avid {A}.
	{F}errucci},
  journal = {Computational Linguistics},
  year = {2000},
  volume = {26},
  number = {2},
  pages = {642--647},
  xref = {Review of: bringsford-ferrucci:2000a},
  topic = {automated-creative-writing;}
  }

@inproceedings{ desrivieres-levesque:1986a,
  author = {Jim des Rivi\'eres and Hector J. Levesque},
  title = {The Consistency of Syntactical Treatments of Knowledge},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the First Conference},
  year = {1986},
  editor = {Joseph Y. Halpern},
  pages = {115--130},
  publisher = {Morgan Kaufmann Publishers, Inc.},
  address = {Los Altos, California},
  topic = {syntactic-attitudes;}
  }

@techreport{ desrivieres-smith_bc:1984a,
  author = {Jim des Rivi\'eres and Brian C. Smith},
  title = {The Implementation of Procedurally Reflective Languages},
  institution = {Center for the Study of Language and Information},
  number = {CSLI--84--9},
  year = {1984},
  address = {Stanford, California},
  rtnote = {In RHT collection.},
  topic = {self-reference;programming-languages;}
  }

@book{ deswart_h1:1998a,
  author = {Henriette de Swart},
  title = {Introduction to Natural Language Semantics},
  publisher = {{CSLI} Publications},
  year = {1998},
  address = {Stanford, California},
  xref = {Review: hartmann_k-zimmerman_te:2000a.},
  rtnote = {semantics-course;},
  topic = {nl-semantics;}
 }

@inproceedings{ deswart_h1:1999a,
  author = {Henriette de Swart},
  title = {Indefinites between Predication and Reference},
  booktitle = {Proceedings from Semantics and Linguistic Theory {IX}},
  publisher = {Cornell University},
  year = {1999},
  editor = {Tanya Matthews and Devon Strolovitch},
  pages = {273--297},
  address = {Ithaca, New York},
  topic = {nl-semantics;indefiniteness;}
  }

@incollection{ deswart_h2-rauszer:1995a,
  author = {Harrie de Swart and Cecylia Rauszer},
  title = {Different Approaches to Knowledge, Common Knowledge and
  	{A}umann's Theorem},
  booktitle = {Knowledge and Belief in Philosophy and Artificial
  	Intelligence},
  publisher = {Akedemie Verlag},
  year = {1995},
  editor = {Armin Laux and Heinrich Wansing},
  pages = {87--102},
  address = {Berlin},
  topic = {epistemic-logic;mutual-belief;}
  }

@article{ deswart_hcm:2006a,
  author = {H.C.M. de Swart},
  title = {Review of \emph{{A} Modern Perspective on Type
  		Theory---From its Origins until Today}, by
		{F}arouz {K}amareddine, {T}wan {L}aan and {R}ob {N}ederfelt},
  journal = {Journal of Logic, Language, and Information},
  year = {2006},
  volume = {15},
  number = {3},
  pages = {297--302},
  xref = {Review of: kamareddine-etal:2004a.},
  topic = {type-theory;}
  }

@article{ deswart_hcm-posy:1981a,
  author = {H.C.M. Deswart and Carl Posy},
  title = {Validity and Quantification in Intuitionism},
  journal = {Journal of Philosophical Logic},
  year = {1981},
  volume = {10},
  number = {1},
  pages = {117--126},
  topic = {intuitionistic-logic;}
  }

@article{ detlefsen:1979a,
  author = {Michael Detlefsen},
  title = {On Interpreting {G}\"odel's Second Theorem},
  journal = {Journal of Philosophical Logic},
  year = {1979},
  volume = {8},
  number = {3},
  pages = {297--313},
  topic = {goedels-second-theorem;}
  }

@book{ detlefsen:1986a,
  author = {Michael Detlefsen},
  title = {Hilbert's Program},
  publisher = {D. Reidel Publishing Co.},
  year = {1986},
  address = {Dordrecht},
  ISBN = {90-277-2151-3},
  rtnote = {In RHT collection.  Philsci Shelves.},
  topic = {philosophy-of-mathematics;foundations-of-mathematics;
  	Hilbert's-program;}
 }

@article{ detlefsen:1990a,
  author = {Michael Detlefsen},
  title = {On the Alleged Refutation of {H}ilbert's Program
		Using {G}\"odel's First Incompleteness Theorem},
  journal = {Journal of Philosophical Logic},
  year = {1990},
  volume = {19},
  number = {4},
  pages = {343--377},
  contentnote = {Kreisel, Prawitz, Simpson, and Smorynski have claimed that
	G1 provides a refutation of Hilbert's program at least as good
	as that provided by G1.},
  topic = {goedels-first-theorem;Hilbert's-program;}
  }

@book{ detmer:1986a,
  author = {David Detmer},
  title = {Freedom as a Value:  A Critique of the Ethical Theory of
  		{J}ean-{P}aul {S}artre},
  publisher = {Open Court},
  year = {1986},
  address = {La Salle, Ilinois},
  rtnote = {In RHT collection.  History of philosophy shelves.},
  topic = {Sartre;ethics;}
 }

@unpublished{ deutsch_d-ekert:1999a,
  author = {David Deutsch and Artur Ekert},
  title = {Quantum Communication Moves into the Unknown},
  year = {1999},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  topic = {quantum-computating;}
  }

@article{ deutsch_d-etal:2000a,
  author = {David Deutsch and Artur Ekhert and Rosella Lupacchini},
  title = {Machines, Logic and Quantum Physics},
  journal = {The Bulletin of Symbolic Logic},
  year = {2000},
  volume = {6},
  number = {3},
  pages = {265--283},
  topic = {quantum-computating;}
  }

@article{ deutsch_h:1984a,
  author = {Harry Deutsch},
  title = {Paraconsistent Analytic Implication},
  journal = {Journal of Philosophical Logic},
  year = {1984},
  volume = {13},
  number = {1},
  pages = {1--11},
  topic = {relevance-logic;}
  }

@incollection{ deutsch_h:1998a,
  author = {Harry Deutsch},
  title = {Identity and General Similarity},
  booktitle = {Philosophical Perspectives 12: Language, Mind,
  	and Ontology},
  publisher = {Blackwell Publishers},
  year = {1998},
  editor = {James E. Tomberlin},
  pages = {177--199},
  address = {Oxford},
  topic = {identity;similarity;}
  }

@article{ deutsch_h:2008a,
  author = {Harry Deutsch},
  title = {Review of {The Nature and Structure of Content}},
  journal = {Notre Dame Philosophical Reviews},
  year = {2008},
  month = {May},
  note = {Available at {\tt http://ndpr.nd.edu/re\-view.cfm?id=13165}.},
  xref = {Review of: king_jc:2007a},
  topic = {propositional-attitudes;structured-propositions;}
  }

@incollection{ deutsch_wa-etal:1997a,
  author = {Werner A. Deutsch and Ralf Vollman and Anton Noll and Sylvia
		Moosm\"uller},
  title = {An Open Systems Approach to an
		Acoustic-Phonetic Continuous Speech Database: The
		{S}-{T}ools Database-Management System
		({STDBMS})},
  booktitle = {Linguistic Databases},
  publisher = {{CSLI} Publications},
  year = {1997},
  editor = {John Nerbonne},
  pages = {77--92},
  address = {Stanford, California},
  topic = {linguistic-databases;}
  }

@incollection{ devanbu-litman:1991a,
  author = {Premkumar Devanbu and Diane J. Litman},
  title = {Plan-Based Terminological Reasoning},
  booktitle = {{KR}'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {128--138},
  address = {San Mateo, California},
  xref = {Superseded by devanbu-litman:1996a},
  topic = {kr;description-logics;extensions-of-kl1;kr-course;}
  }

@article{ devanbu-litman:1996a,
  author = {Premkumar Devanbu and Diane J. Litman},
  title = {Taxonomic Plan Reasoning},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {84},
  number = {1--2},
  pages = {1--35},
  rtnote = {In RHT collection.  Filed under Devanbu.},
  xref = {See devanbu-litman:1991a},
  topic = {kr;description-logics;extensions-of-kl1;kr-course;}
  }

@inproceedings{ devault-etal:2004a,
  author = {David DeVault and Charles Rich and Candace L. Sidner},
  title = {Natural Language Generation and Discourse Context:
  	Computing Distractor Sets from the Focus Stack},
  booktitle = {17th International {FLAIRS} Conference ({FLAIRS}-2004)},
  year = {2004},
  editor = {Valerie Barr and Zdravko Markov},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  url = {www.research.rutgers.edu/~ddevault/publications/flairs04.pdf},
  topic = {referring-expressions;nl-generation;context;discourse-focus;}
  }

@inproceedings{ devault-etal:2005a,
  author = {David DeVault and Natalia Kariaeva and Anubha Kothari and
  		Iris Oved and Matthew Stone},
  title = {An Information-State Approach to Collaborative Reference},
  booktitle = {ACL 2005 Proceedings Companion Volume. Interactive
  	Poster and Demo Track},
  year = {2005},
  editor = {Masaaki Nagata and Ted Pedersen},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  note = {URL: http://www.cs.rutgers.edu/~mdstone/pubs/acl05ip.pdf},
  address = {New Brunswick, New Jersey},
  pages = {1--4},
  topic = {referring-expressions;computational-dialogue;}
  }

@unpublished{ devault-stone_m:2005a,
  author = {David DeVault and Matthew Stone},
  title = {An Implementable Semantics for Utterance Context},
  year = {2005},
  note = {Unpublished manuscript, Rutgers University},
  rtnote = {In RHT collection.},
  url = {http://www.cs.rutgers.edu/~mdstone/pointers/naacl06.pdf},
  topic = {context;conversational-record;mutual-belief;}
  }

@article{ dever:1999a,
  author = {Josh Dever},
  title = {Compositionality as Methodology},
  journal = {Linguistics and Philosophy},
  year = {1999},
  volume = {22},
  number = {3},
  pages = {311--326},
  topic = {compositionality;foundations-of-semantics;}
  }

@article{ dever:2001a,
  author = {Josh Dever},
  title = {Complex Demonstratives},
  journal = {Linguistics and Philosophy},
  year = {2001},
  volume = {24},
  number = {3},
  pages = {271--330},
  topic = {demonstratives;nl-quantifiers;complex-demonstratives;}
  }

@article{ dever:2003a,
  author = {Josh Dever},
  title = {Review of \emph{{P}roblems of Compositionality\/}, by
  	{Z}olt\'an {G}endler {S}zab\'o},
  journal = {The Philosophical Review},
  year = {2003},
  volume = {112},
  number = {2},
  pages = {254--258},
  xref = {Review of: szabo_zg:2000a.},
  topic = {compositionality;foundations-of-semantics;nl-semantics
  	philosophy-of-language;}
  }

@article{ dever:2003b,
  author = {Josh Dever},
  title = {Modal Fictionalism and Compositionality},
  journal = {Philosophical Studies},
  year = {2003},
  volume = {114},
  pages = {223--251},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-possible-worlds;}
  }

@unpublished{ dever:2004a,
  author = {Josh Dever},
  title = {Semantic Value},
  year = {2004},
  note = {Unpublished manuscript, University of Texas at Austin},
  rtnote = {In RHT collection.},
  rtnote = {Forthcoming in \emph{Elservier Encyclopedia of Language
  		and Linguistics.}},
  topic = {nl-semantics;compositionality;}
  }

@article{ devett:2008a,
  author = {Michael Devett},
  title = {Resurrecting Biological Essentialism},
  journal = {Philosx\ophy of Science},
  year = {2008},
  volume = {75},
  number = {3},
  pages = {344--382},
  topic = {philosophy-of-biology;species;essentialism;}
  }

@article{ devidi-solomon_g:1999a,
  author = {David De{V}idi and Graham Solomon},
  title = {Tarski on ``Essentially Richer'' Metalanguages},
  journal = {Journal of Philosophical Logic},
  year = {1999},
  volume = {28},
  number = {1},
  pages = {1--28},
  topic = {semantic-paradoxes;Tarski;Tarski-hierarchy;}
  }

@article{ deville-etal:1999a,
  author = {Yvres Deville and Olivier Barette and Pascal van
  	Hentenryck},
  title = {Constraint Satisfaction over Connected Row-Convex
  	Constraints},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {109},
  number = {1--2},
  pages = {243--271},
  topic = {constraint-satisfaction;}
  }

@article{ devitt:1975a,
  author = {Michael Devitt},
  title = {Suspension of Judgment: A Response to {H}eidelberger
  	on {K}aplan},
  journal = {Journal of Philosophical Logic},
  year = {1975},
  volume = {5},
  number = {1},
  pages = {17--24},
  topic = {quantifying-in-modality;}
  }

@book{ devitt:1981a,
  author = {Michael Devitt},
  title = {Designation},
  publisher = {Columbia University Press},
  year = {1981},
  address = {New York},
  ISBN = {0231051263},
  rtnote = {UMich Graduate Library, B105.R25 D49.},
  topic = {reference;philosophy-of-language;}
 }

@incollection{ devitt:1984a,
  author = {Michael Devitt},
  title = {Thoughts and Their Ascription},
  booktitle = {Midwest Studies in Philosophy Volume {IX}:
  	Causation and Causal Theories},
  publisher = {University of Minnesota Press},
  year = {1984},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard
  	K. Wettstein},
  pages = {385--420},
  address = {Minneapolis},
  topic = {propositional-attitudes;}
  }

@book{ devitt:1984b,
  author = {Michael Devitt},
  title = {Realism and Truth},
  publisher = {Basil Blackwell},
  year = {1984},
  address = {Oxford},
  ISBN = {0631135359},
  rtnote = {UMich Graduate Library, B835 .D481 1984.},
  topic = {truth;philosophical-realism;}
 }

@incollection{ devitt:1987a,
  author = {Michael Devitt},
  title = {Putting Metaphysics First: A Response
    		to {J}ames {T}omberlin},
  booktitle = {Philosophical Perspectives, Volume 12:
	Language, Mind, and Ontology},
  publisher = {The {MIT} Press},
  year = {1997},
  editor = {Rosanna Keefe and Peter Smith},
  pages = {499--502},
  address = {Cambridge, Massachusetts},
  topic = {philosophical-ontology;}
  }

@incollection{ devitt:1993a,
  author = {Michael Devitt},
  title = {A Critique of the Case for Semantic Holism},
  booktitle = {Philosophical Perspectives, Volume 7:
  	Language and Logic},
  publisher = {Blackwell Publishers},
  year = {1993},
  editor = {James E. Tomberlin},
  pages = {281--306},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  contentnote = {"... semantic, or meaning, holism is the doctrine
  	that all of the inferential properties of an expression
	constitute its meaning."},
  topic = {holism;foundations-of-semantics;}
  }

@article{ devitt:1994a,
  author = {Michael Devitt},
  title = {The Methodology of Naturalistic Semantics},
  journal = {Journal of Philosophy},
  year = {1994},
  volume = {91},
  number = {10},
  pages = {545--572},
  topic = {philosophy-of-language;}
  }

@book{ devitt:1995a,
  author = {Michael Devitt},
  title = {Coming to Our Senses: A Naturalistic Program for Semantic
    Localism},
  publisher = {Cambridge University Press},
  year = {1995},
  address = {Cambridge, England},
  ISBN = {0521495431 (hardback)},
  rtnote = {UMich Graduate Library, P 325 .D48 1996.},
  xref = {Critical review: richard:1997a.  Review: gert:1998a.},
  topic = {philosophy-of-language;foundations-of-semantics;}
 }

@article{ devitt:1997a,
  author = {Michael Devitt},
  title = {Meanings and Psychology: A Response to {M}ark {R}ichard},
  journal = {No\^us},
  year = {1997},
  volume = {31},
  number = {1},
  pages = {115--131},
  rtnote = {Reply to richard:1997a.},
  topic = {philosophy-of-language;propositional-attitudes;}
  }

@incollection{ devitt:1998a,
  author = {Michael Devitt},
  title = {Putting Metaphysics First: A Response
    		to {J}ames {T}omberlin},
  booktitle = {Philosophical Perspectives 12: Language, Mind,
  	and Ontology},
  publisher = {Blackwell Publishers},
  year = {1998},
  editor = {James E. Tomberlin},
  pages = {499--502},
  address = {Oxford},
  topic = {philosophical-ontology;}
  }

@book{ devitt:2006a,
  author = {Michael Devitt},
  title = {Ignorance of Language},
  publisher = {Oxford University Press},
  year = {2006},
  address = {Oxford},
  ISBN = {978-0-19-925096-7},
  xref = {Review: ludlow:2009a.},
  topic = {Chomsky;competence;philosophy-of-linguistics;}
 }

@book{ devitt-hanley:2006a,
  editor = {Michael Devitt and Richard Hanley},
  title = {The {B}lackwell Guide to the Philosophy of Language},
  publisher = {Blackwell Publishers},
  year = {2006},
  address = {Oxford},
  ISBN = {0-631-23142-0},
  topic = {philosophy-of-language;}
 }

@book{ devitt-sterelny:1987a,
  author = {Michael Devitt and Kim Sterelny},
  title = {Language and Reality: An Introduction to the Philosophy of
    Language},
  publisher = {Basil Blackwell},
  year = {1987},
  address = {Oxford},
  ISBN = {0631150110},
  rtnote = {UMich Graduate Library, 800 D4868La.},
  topic = {philosophy-of-language;}
 }

@incollection{ devitt-sterelny:1989a,
  author = {Michael Devitt and Kim Sterelny},
  title = {Linguistics: What's Wrong with `The Right View'\, },
  booktitle = {Philosophical Perspectives 3:
  	Philosophy of Mind and Action Theory},
  publisher = {Ridgeview Publishing Company},
  year = {1989},
  editor = {James E. Tomberlin},
  pages = {497--531},
  address = {Atasacadero, California},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {philosophy-of-linguistics;psychological-reality;
  		functionalism;}
  }

@book{ devitt-sterelny:1999a,
  author = {Michael Devitt and Kim Sterelny},
  title = {Language and Reality: An Introduction to the
  	Philosophy of Language},
  publisher = {The {MIT} Press},
  edition = {2},
  year = {1999},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-54099-1},
  topic = {philosophy-of-language;}
 }

@incollection{ devlin:2003a,
  author = {John Devlin},
  title = {An Argument for an Error Theory of Truth},
  booktitle = {Philosophical Perspectives 17: Language and Philosophical
  	Linguistics, 2003},
  publisher = {Blackwell Publishers},
  year = {2003},
  editor = {John Hawthorne and Dean Zimmerman},
  pages = {51--82},
  address = {Oxford},
  topic = {truth;metaphysics;}
  }

@incollection{ devlin-tail:1997a,
  author = {Siohan Devlin and John Tait},
  title = {The Use of a Psycholinguistic Database in the
  	Simplification of Text for Aphasic Readers},
  booktitle = {Linguistic Databases},
  publisher = {{CSLI} Publications},
  year = {1997},
  editor = {John Nerbonne},
  pages = {161--174},
  address = {Stanford, California},
  topic = {corpus-linguistics;text-simplification;}
  }

@incollection{ dewitt_bs:1973a,
  author = {B.S. DeWitt},
  title = {Quantum Mechanics and Reality},
  booktitle = {The Many-Worlds Interpretation of Quantum Mechanics},
  publisher = {Princeton University Press},
  year = {1973},
  editor = {B.S. {de}Witt and N. Graham},
  pages = {155--165},
  address = {Princeton},
  missinginfo = {A's 1st name, E's 1st name.},
 topic = {foundations-of-quantum-mechanics;}
  }

@book{ dewitt_bs-graham_n:1973a,
  author = {B.S. {de}Witt and N. Graham},
  title = {The Many-Worlds Interpretation of Quantum Mechanics},
  publisher = {Princeton University Press},
  year = {1973},
  address = {Princeton},
  rtnote = {tmix-project;},
  topic = {foundations-of-quantum-mechanics;branching-time;}
 }

@article{ dewitt_r:2005a,
  author = {Richard DeWitt},
  title = {On Retaining Classical Truths and Classical Deducibility
  		in Many-Valued and Fuzzy Logics},
  journal = {Journal of Philosophical Logic},
  year = {2005},
  volume = {34},
  number = {5--6},
  pages = {545--560},
  topic = {multivalued-logic;}
  }

@book{ dey-etal:2005a,
  editor = {Anind Dey and Boicho Kokinov and David Leake and Roy Turner},
  title = {Modeling and Using Context: 5th International and
  	Interdisciplinary Conference},
  publisher = {Springer-Verlag},
  year = {2005},
  address = {Berlin},
  ISBN = {3-540-26924-X},
  contentnote = {TC:
     1. Fabio N. Akras, "Modelling the Context of Learning Interactions in
  	Intelligent Learning Environments", pp. 1-14
     2. Horacio Arl\'o Costa, William Taysom, "Contextual
        Modals", pp. 15-28
     3. Mary Bazire and Patrick Brezillon, "Understanding Context
        before Using It", pp. 29-40
     4. Claudia Bianchi and Nicla Vassallo, "Epistemological
        Contextualization: A Semantic Perspective", pp. 41-54
     5. Patrick Brezillon, "Task-Realization Models in Contextual
        Graphs", pp. 55-68
     6. Nicholas J. Bullot, "Context-Dependent and Epistemic Uses of
        Attention for Perceptual-Demonstrative
        Identification", pp.  69-82
     7. Donna K. Byron, Thomas Mampilly, Vinay Sharma
  	and Tianfang Xu, "Utilizing Visual Attention for Cross-Modal
        Coreference Interpretation", pp. 83-96
     8. Henning Christiansen and Veronica Dahl, "Meaning in
        Context", pp. 97-111
     9. Norman H. Cohen, Paul Castro and Archan Misra, "Descriptive
        Naming of Context Data Providers", pp. 112-125
    10. Phillipe De Brabanter, "Questions and the Intrusion of
        Non-Linguistic Communication into Utterances", pp. 126-139
    11. Mattias Esbjornssen and Alexandra Weilemann, "Mobile Phone
        Talk in Context", pp. 140-154
    12. John A. Flanagan, "Unsupervised Clustering of Context Data
        and Learning User Requirements for a Mobile
        Device", pp.  155-168
    13. Ovidiu Fortu and Dan Moldovan, "Identification of Textual
        Contexts", pp. 169-182
    14. Evgenia Hristova and Maurice Grinberg, "Investigation of
        Context Effects in Iterated Prisoner's Dilemma
        Game", pp.  183-196
    15. Ashraf Khalil and Kay Connelly, "Context-Aware Configuration:
        A Study on Improving Cell Phone Awareness", pp. 197-209
    16. Ronney Kramer, Marko Modsching, Jorg Schulze and
  	Klaus ten Hagen, "Context-Aware Adaptation in a Mobile Tour
        Guide", pp. 210-224
    17. Myriam Lamolle and Maurizio Mancini and Catherine Pelachaud
        and Sarkis Abrillian and Jean-Claude Martin and Laurence
	Devillers, "Contextual Factors and Adaptive Multimodal
	Human-Computer Interaction: Multi-Level Specification of
	Emotion and Expressivity in Embodied Conversational
	Agents", pp. 225-240
    18. Frederic Landragin, "Modeling Context for Referring in
        Multimodal Dialogue Systems", pp. 240-253
    19. David Leake and Ana Maguitman and Thomas
        Reichherzer, "Exploiting Rich Context: An Incremental
	Approach to Context-Based Web Search", pp. 254-267
    20. Seunghwa Lee and Heeyong Youn and Eunseek Lee, "Context
    	Adaptive Self-Configuration System Based on
        Multi-Agent", pp.  268-277
    21. Laure Leger and Charles Tijus and Thierry Baccino, "Effect of
        the Task, Visual and Semantic Context on Word Target
	Detection", pp. 278-292
    22. Nils Malzahn and Sam Zeini and Andreas Harrer, "Ontology
        Facilitated Community Navigation -- Who Is
  	Interesting for What I am Interested In?", pp. 292-303
    23. Carlos Martin-Vide and Victor Mitrana, "Contextual
        Information Systems", pp. 304-315
    24. Nako Matsumoto and Akifumi Toksumi, "Context Building through
        Socially-Supported Belief", pp. 316-325
    25. Naomi Nagy and Xiaoli Zhang and George Nagy and Edgar W.
        Schneider, "A Quantitative Categorization of Phonemic Dialect
	Features in Context", pp. 326-338
    26. Dympna O'Sullivan and Eoin McLoughlin and Michela
  	Bertolotto and David Wilson, "Context-Oriented Image
        Retrieval", pp. 339-352
    27. Amir Padovitz and Seng W. Loke and Arkady Zaslavsky and
  	Bernard Berg and Claudio Bartolini, "An Approach to Data
        Fusion for Context Awareness", pp. 353-367
    28. Giovanni Pezzulo and Gianguglielmo Calvi, "Dynamic
        Computation and Context Effects in Hybrid Architecture
	AKIRA", pp. 368-382
    29. Iyad Rahwan and Fernando Koch and Connor Graham and Anton
  	Katton and Liz Sonenberg, "Goal-Directed Automated
        Negotiation for Supporting Mobile User
	Coordination", pp.  382-395
    30. William J. Rappaport, "In Defense of Contextual Vocabulary
        Acquisition -- How to Do Things with Words in
	Context", pp.  396-409
    31. Sarunas Raudys and Aini Hussain and Viktorias Justickis and
  	Alvydas Pumputis and Arunas Augustinaitis, "Functional Models
        of Criminality: Simulation Study", pp. 410-423
    32. Floris Roelofsen and Luciano Serafini, "Minimality and
        Non-Determinism in Multi-Context Systems", pp. 424-435
    33. Esther Romero and Belen Soria, "`I' as a Pure Indexical and
    	Metonymy as Language Reduction", pp. 426-450
    34. Hedda R. Schmidke, "Granularity as a Parameter of Context",
        pp. 450-463
    35. Sandra de A. Siebra and Ana Carolina Salgado and Patricia A.
  	Tedesco and Patrick Brezillon, "Identifying the Interaction
	Context in CSCLE", pp. 464-475
    36. Alexander Smirnov and Michael Pashkin and Nikolai Chilov
  	and Tatania Levashova, "Operational Decision Support:
        Context-Based Approach and Technological
        Framework", pp.  476-489
    37. Alan N. Steinberg, "Threat Assessment Technology
        Development", pp. 490-501
    38. Richmond H. Thomason, "Making Contextual Intensional Logic
        Nonmonotonic", pp. 502-514
    39. Sriharsha Veeramachaneni and Prateek Sarkar and George
        Nagy, "Modeling Context as Statistical
	Dependence", pp.  515-528
    40. Xiaojie Wang, "Robust Utilization of Context in Word Sense
        Disambiguation", pp. 529-541
    41. Elizabetti Zibetti and Charles Tijus, "Understanding Actions:
        Contextual Dimensions and Heuristics", pp. 542-555
    42. Andreas Zimmerman and Andreas Lorenz and Marcus Specht,
        "Applications of a Context-Management System", pp. 556-569
  },
 topic = {context;}
 }

@article{ diamantidis-etal:2000a,
  author = {N.A. Diamantidis and D. Karlis and E.A. Giakoumakis},
  title = {Unsupervised Stratification of Cross-Validation for
  	Accuracy Estimation},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {116},
  number = {1--2},
  pages = {1--16},
  topic = {machine-learning;accuracy-estimation;}
  }

@book{ diamond-teichman:1979a,
  editor = {Cora Diamond and Jenny Teichman},
  title = {Intention and Intentionality: Essays in Honour of {G.E.M}.
  	{A}nscombe},
  publisher = {Harvester Press},
  year = {1979},
  address = {Brighton},
  ISBN = {0855279850},
  rtnote = {UMich Graduate Library, BC199.I55 I62.},
  topic = {intention;intentionality;}
 }

@book{ diaper:1989a,
  editor = {Dan Diaper},
  title = {Task Analysis for Human-Computer Interaction},
  publisher = {Ellis Horwood},
  year = {1989},
  address = {Chichester},
  ISBN = {0470216069 (Halsted Press)},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 T371 1989.},
  topic = {HCI;}
 }

@inproceedings{ dichev:2001a,
  author = {Christo Dichev},
  title = {A Framework for a Context-Driven Web Resource Directory},
  booktitle = {Modeling and Using Context: Third International and
  	Interdisciplinary Conference, Context 2001},
  publisher = {Springer-Verlag},
  year = {2001},
  editor = {Varol Akman and Paolo Bouquet and Richmond Thomason
  	and Roger A. Young},
  pages = {433--436},
  address = {Berlin},
  topic = {context;information-retrieval;}
  }

@article{ dickason_a:1976a,
  author = {Anne Dickason},
  title = {Aristotle, the Sea Fight, and The Cloud},
  journal = {Journal of the History of Philosophy},
  year = {1976},
  volume = {14},
  pages = {11--22},
  missinginfo = {number},
  topic = {Aristotle;future-contingent-propositions;}
  }

@inproceedings{ dickinson_m-meurers:2005a,
  author = {Markus Dickinson and W. Detmar Meurers},
  title = {Detecting Errors in Discontinuous Structural Annotation},
  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 = {322--329},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1040},
  topic = {corpus-annotation;}
  }

@article{ dickmanns:1998a,
  author = {Ernst D. Dickmanns},
  title = {Vehicles Capable of Dynamic Vision:  A New Breed
  	of Technical Beings?},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {103},
  number = {1--2},
  pages = {49--76},
  topic = {autonomous-vehicles;computer-vision;}
  }

@article{ dickson:1999a,
  author = {Michael Dickson},
  title = {Review of \emph{{I}nterpreting the Quantum World}, by
  	{J}effrey {B}ub},
  journal = {Philosophy of Science},
  year = {1999},
  volume = {66},
  number = {3},
  pages = {495--496},
  xref = {Review of bub:1997a.},
  topic = {philosophy-of-quantum-mechanics;}
  }

@incollection{ diday:1991a,
  author = {E Diday},
  title = {From Data Analysis to Uncertainty Knowledge Analysis},
  booktitle = {Symbolic and Quantitative Approaches for Uncertainty:
  	Proceedings of the {E}uropean Conference {ECSQAU}, Marseille,
	France, October 1991},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Rudolf Kruse and Pierre Siegel},
  pages = {153--160},
  address = {Berlin},
  topic = {reasoning-about-uncertainty;possibility-theory;}
  }

@incollection{ dierbach-chester:1991a,
  author = {Charles Dierbach and Daniel L. Chester},
  title = {A Formal Basis for Analogical Reasoning},
  booktitle = {{KR}'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {139--150},
  address = {San Mateo, California},
  topic = {kr;analogy;abstraction;kr-course;analogical-reasoning;}
  }

@article{ dierbach-chester:1997a,
  author = {Charles Dierbach and Daniel L. Chester},
  title = {Abstractional Concept Mapping: A Foundational Model for
  	Analogical Reasoning},
  journal = {Computational Intelligence},
  year = {1997},
  volume = {13},
  number = {1},
  pages = {32--86},
  topic = {analogy;metaphor;pragmatics;analogical-reasoning;}
  }

@book{ diesing:1992a,
  author = {Molly Diesing},
  title = {Indefinites},
  publisher = {The {MIT} Press},
  year = {1992},
  address = {Cambridge, Massachusetts},
  topic = {indefiniteness;nl-quantifiers;nl-quantifier-scope;}
 }

@article{ diesing:2000a,
  author = {Molly Diesing},
  title = {Aspect in {Y}iddish: The Semantics of an Inflectional Head},
  journal = {Natural Language Semantics},
  year = {2000},
  volume = {8},
  number = {3},
  pages = {173--253},
  topic = {tense-aspect;Yiddish-language;}
  }

@article{ diesing-jelinek_e:1995a,
  author = {Molly Diesing and Eloise Jelinek},
  title = {Double-Access Sentences and References to States},
  journal = {Natural Language Semantics},
  year = {1995},
  volume = {3},
  number = {2},
  pages = {123--176},
  topic = {LF;nl-semantics;nl-syntax;}
  }

@book{ diesling:1992a,
  author = {Molly Diesling},
  title = {Indefinites},
  publisher = {The {MIT} Press},
  year = {1992},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {nl-semantics;indefiniteness;GB-syntax;}
 }

@incollection{ dietrich-fields_c:1996a,
  author = {Eric Dietrich and Chris Fields},
  title = {The Role of the Frame Problem in {F}odor's Modularity
  	Thesis: A Case Study of Rationalist Cognitive Science},
  booktitle = {The Robot's Dilemma Revisited: The Frame Problem
             in Artificial Intelligence},
  publisher = {Ablex Publishing Co.},
  year = {1996},
  editor = {Kenneth M. Ford and Zenon Pylyshyn},
  pages = {9--24},
  address = {Norwood, New Jersey},
  topic = {frame-problem;cognitive-modularity;philosophy-of-cogsci;}
  }

@article{ dietrich-gillies_as:2000a,
  author = {Eric Dietrich and Anthony Gillies},
  title = {Consciousness and the Limits of Our Imagination},
  journal = {Synth\'ese},
  year = {2000},
  volume = {85},
  number = {1},
  pages = {361--381},
  rtnote = {In RHT collection.},
  topic = {consciousness;philosophy-of-mind;}
  }

@article{ dietterich:1998a,
  author = {Thomas G. Dietterich},
  title = {Machine-Learning Research: Four Current Directions},
  journal = {The {AI} Magazine},
  year = {1998},
  volume = {18},
  number = {4},
  pages = {97--136},
  topic = {machine-learning;}
  }

@article{ dietterich-etal:1997a,
  author = {Thomas G. Dietterich and Richard H. Lathrop and Tom\'as
  	Lozano-P\'erez},
  title = {Solving the Multiple Instance Problem with Axis-Parallel
  	Rectangles},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {89},
  number = {1--2},
  pages = {31--71},
  acontentnote = {Abstract:
     The multiple instance problem arises in tasks where the training
     examples are ambiguous: a single example object may have many
     alternative feature vectors (instances) that describe it, and
     yet only one of those feature vectors may be responsible for the
     observed classification of the object.  This paper describes and
     compares three kinds of algorithms that learn axis-parallel
     rectangles to solve the multiple instance problem. Algorithms
     that ignore the multiple instance problem perform very poorly.
     An algorithm that directly confronts the multiple instance
     problem (by attempting to identify which feature vectors are
     responsible for the observed classifications) performs best,
     giving 89% correct predictions on a musk odor prediction task.
     The paper also illustrates the use of artificial data to debug
     and compare these algorithms. },
  topic = {machine-learning;}
  }

@article{ dietterich-michalski:1981a,
  author = {Thomas G.  Dietterich and Ryszard S. Michalski},
  title = {Inductive Learning of Structural Descriptions: Evaluation
  	Criteria and Comparative Review of Selected Methods},
  journal = {Artificial Intelligence},
  year = {1981},
  volume = {16},
  number = {3},
  pages = {257--294},
  topic = {machine-learning;structure-learning;}
  }

@article{ dietterich-michalski:1985a,
  author = {Thomas G.  Dietterich and Ryszard S. Michalski},
  title = {Discovering Patterns in Sequences of Events},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {25},
  number = {2},
  pages = {187--232},
  topic = {machine-learning;structure-learning;}
  }

@incollection{ dietz:2008a,
  author = {Richard Dietz},
  title = {Betting on Borderline Cases},
  booktitle = {Philosophical Perspectives 22, 2008: Philosophy of
  		Language},
  publisher = {Blackwell Publishers},
  year = {2008},
  editor = {John Hawthorne},
  pages = {47--88},
  address = {Oxford},
  topic = {vagueness;probability;}
  }

@phdthesis{ dieugenio:1993a,
  author = {Barbara Di Eugenio},
  title = {Understanding Natural Language Instuctions: A Computational
  	Approach to Purpose Clauses},
  school = {Computer Science Department, University of Pennsylvania},
  year = {1993},
  type

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit