text:
1. Nadia Magnenat-Thalmann, "A Model for Creating and
     		Visualizing Speech and Emotion", pp. 1--12
     2. Mark Kantrowitz and Joseph Bates, "Integrated Natural
     		Language Generation Systems", pp. 13--28
     3. Helmut Horacek, "An Integrated View of Text
     		Planning", pp.  29--44
     4. Robin Rubinoff, "Integrating Text Planning and Linguistic
     		Choice by Annotating Linguistic Structures", pp. 45--56
     5. Eduard Hovy and Julia Lavid and Elisabeth Maier and
     		C\'ecile Paris, "Employing Knowledge Resources
		in a New Text Planner Architecture", pp. 57--72
     6. David D. McDonald, "Type-Driven Suppression of Redundancy
     		in the Generation of Inference-Rich Reports", pp. 73--88
     7. Michael Elhadad and Jacques Robin, "Controlling Content
     		Realization with Functional Unification
		Grammars", pp. 89--104
     8. Ishizati Masato, "Syntactic Selection in Linguistic
     		Realization: A Comparative Study", pp. 105--134
     9. Patrick Saint-Dizier, "A Constraint Logic Programming
     		Treatment of Syntactic Choice in Natural Language
		Generation", pp. 119--134
    10. Nick J. Youd and Scott McGlashen, "Generating Utterances in
    		Dialogue Systems", pp. 135--149
    11. Robin P. Fawcett and Bethan L. Davies, "Monologue as a Turn
    		in Dialogue: Towards an Integration of Exchange
		Structure in Rhetorical Structure Theory", pp. 151--166
    12. Alex Lascarides and John Oberlander, "Abducing Temporal
    		Discourse", pp. 167--182
    13. Keith Vander Linden and Susanna Cumming and James
    		Martin, "Using System Networks to Build
		Rhetorical Structures", pp. 183--198
    14. Dietmar R\"osner and Manfred Stede, "Customizing {RST} for
    		the Automatic Production of Technical
		Manuals", pp. 199--214
    15. Kentaro Inui and Takenobu Tokunaga and Hozumi Tanaka, "Text
    		Revision: A Model and its Implementation", pp. 215--230
    16. Mark A. Jones and Kathleen F. McCoy, "Transparently-Motivated
    		Metaphor Generation", pp. 231--246
    17. Wim Classen, "Generating Referring Expressions in a
    		Multimodal Environment", pp. 227--262
    18. Norbert Reithinger, "The Performance of an Incremental
    		Generation Component for Multi-Modal Dialog
		Contributions", pp. 263--276
    19. Yigal Arens, "Multimedia Presentation Planning as an
    		Extension of Text Planning", pp. 278--280
    20. Robert Dale, "Visible Language: Multimodal Constraints
    		in Information Presentation", pp. 281--283
    21. Stephen M. Kerpedjiev, "Generation of Multimodal Weather
    		Reports", pp. 284--286
    22. Oliviero Stock, "Steps toward Hypergeneration", pp. 287--289
    23. Wolfgang Wahlster and Elisabeth Andr\'e and Wolfgang Finkler
    		and Winfried Graf andd Hans-J\"urgen Profitlich
		and Thomas Rist and Anne Schauder, "{WIP}:
		Integrating Text and Graphics Design for Adaptive
		Information Processing", pp. 290--292
    24. Eduard Hovy, "Constructing an Interlingua Using Grammar
    		Resources", pp. 294--296
    25. Richard Kittridge, "Bilingual Report Generation: Experience
    		with Interlinguae", pp. 297--299
    26. Christian Matthiesson and Keizo Nanri and Zeng
    		Licheng, "Multilingual Generation: Dimensions of
		Organization and Forms of Representation", pp. 300--302
    27. Sergei Nirenberg, "On Language-Independent Inputs for
    		Multilingual Generation", pp. 303--305
    28. Dietmar R\"osner, "Remarks on Multilinguality and
    		Generation", pp. 306--308
  },
 topic = {nl-generation;}
 }

@article{ dale_r-etal:1998a,
  author = {Robert Dale and Barbara Di Eugenio and Donia Scott},
  title = {Introduction to the Special Issue on Natural Language
  	Generation},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {3},
  pages = {345--353},
  topic = {nl-generation;}
  }

@book{ dale_r-etal:2000a,
  editor = {Robert Dale and Hermann Moisl and Harold Somers},
  title = {Handbook of Natural Language Processing},
  publisher = {Marcel Dekker},
  year = {2000},
  address = {New York},
  ISBN = {0824790006},
  rtnote = {UMich MEDIA UNION LIBRARY QA 76.9 .N38 H3631 2000},
  topic = {nl-processing;}
 }

@incollection{ dale_r-etal:2002a,
  author = {Robert Dale and Diego Moll\'a Aliod and Rolf
     		Schwitter},
  title = {Evangelizing Language Technology:  A
		Practically-Focussed Undergraduate Program},
  booktitle = {Effective Tools and Methodologies for Teaching
  	{NLP} and {CL}},
  publisher = {Association for Computational Linguistics},
  year = {2002},
  editor = {Dragomir Radev and Chris Brew},
  pages = {26--31},
  address = {New Brunswick, New Jersey},
  topic = {nlp-pedagogy;}
  }

@article{ dale_r-haddock:1991a,
  author = {Robert Dale and Nicholas Haddock},
  title = {Content Determination in the Generation of Referring
  	   Expressions},
  pages = {252--265},
  journal = {Computational Intelligence},
  volume = {7},
  number = {4},
  year = {1991},
  topic = {nl-generation;referring-expressions;}
  }

@inproceedings{ dale_r-milosavljevic:1996a,
  author = {Robert Dale and M. Milosavljevic},
  title = {Authoring on Demand: Natural Language Generation in
  	Hypertext Documents},
  booktitle = {Proceedings of the First
     {A}ustralian Document Computing Symposium},
  year = {1996},
  missinginfo = {pages, A's 1st name, editor, organization, publisher},
  topic = {nl-generation;}
  }

@article{ dale_r-reiter_e:1995a,
  author = {Robert Dale and Ehud Reiter},
  title = {Computational Interpretations of the
     {G}ricean Maxims in the Generation of Referring Expressions},
  journal = {Cognitive Science},
  year = {1995},
  volume = {19},
  number = {2},
  pages = {233--263},
  topic = {implicature;pragmatics;nl-generation;referring-expressions;}
  }

@inproceedings{ dale_r-reiter_e:1996a,
  author = {Robert Dale and Ehud Reiter},
  title = {The Role of the {G}ricean Maxims in the Generation of
  	Referring Expressions},
  booktitle = {Working Notes: {AAAI} Spring Symposium on Computational
  	Implicature: Computational Approaches to Interpreting and
	Generating Conversational Implicature},
  year = {1996},
  pages = {16--20},
  organization = {{AAAI}},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  editor = {Barbara Di Eugenio and Nancy L. Green},
  rtnote = {In RHT collection.},
  topic = {implicature;pragmatics;nl-generation;referring-expressions;}
  }

@article{ dalessio:1967a,
  author = {J.C. D'Alessio},
  title = {On Subjunctive Conditionals},
  journal = {The Journal of Philosophy},
  year = {1967},
  volume = {64},
  number = {10},
  pages = {306--310},
  rtnote = {In RHT collection.},
  topic = {conditionals;subjunctive-mood;}
  }

@article{ dalessio:1972a,
  author = {J.C. D'Alessio},
  title = {Austin on {N}owell-{S}mith's Conditional Analysis of
  	`Could Have' and `Can'\,},
  journal = {Mind, New Series},
  year = {1972},
  volume = {81},
  number = {322},
  pages = {260--264},
  topic = {JL-Austin;ability;}
  }

@book{ dalgarno:1661a,
  author = {George Dalgarno},
  title = {Ars Signorum, Vulgo Character Universalis et Lingua
  	Philosophica},
  publisher = {J. Hayes},
  year = {1661},
  address = {London},
  note = {Reprinted 1968: Menston (Yorkshire): The Scholar Press},
  topic = {artificial-languages;}
 }

@incollection{ dalianis-hovy:1996a,
  author = {Hercules Dalianis and Eduard H. Hovy},
  title = {Aggregation in Natural Language Generation},
  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 = {88--105},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {nl-generation;microplanning;aggregation;}
  }

@article{ dallachiara:1977a,
  author = {Maria Luisa Dalla Chiara},
  title = {Quantum Logic and the Physical Modalities},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {6},
  number = {4},
  pages = {391--404},
  topic = {quantum-logic;modal-logic;}
  }

@article{ dallachiara:1977b,
  author = {Maria Luisa Dalla Chiara},
  title = {Logical Self Reference, Set Theoretical Paradoxes and
  	the Measurement Problem in Quantum Mechanics},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {6},
  number = {3},
  pages = {331--347},
  topic = {quantum-logic;}
  }

@incollection{ dallachiara:1986a,
  author = {Maria Luisa dalla Chiara},
  title = {Quantum Logic},
  booktitle = {Handbook of Philosophical Logic, Volume {III}:
  	Alternatives in Classical Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1986},
  editor = {Dov Gabbay and Franz Guenther},
  pages = {427--469},
  address = {Dordrecht},
  topic = {quantum-logic;}
 }

@inproceedings{ dallargo-etal:2002a,
  author = {Ugo Dal Largo and Marco Pistore and Paolo Traverso},
  title = {Planning with a Language for Extended Goals},
  booktitle = {Proceedings of the Eighteenth National Conference on
              Artificial Intelligence},
  year = {2002},
  editor = {Rina Dechter and Michael Kearns and Richard S. Sutton},
  pages = {447--454},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  contentnote = {An extended goal is a constraint on histories.},
  topic = {planning;planning-algorithms;planning-formalisms;}
  }

@book{ dalrymple:1995a,
  editor = {Mary Dalrymple},
  title = {Formal Issues in Lexical-Functional Grammar},
  publisher = {Center for the Study of Language and Information},
  year = {1995},
  address = {Stanford},
  contentnote = {TC:
     1. Ronald M.  Kaplan, "The Formal Architecture of
     		Lexical-Functional Grammar "
     2. Ronald M. Kaplan and Joan Bresnan, "Lexical-functional
     		Grammar: A Formal System for Grammatical
		Representation"
     3. Ronald M. Kaplan and Annie Zaenen, "Long-Distance
     		Dependencies, Constituent Structure, and Functional
		Uncertainty"
     4. Mary Dalrymple and John T. Maxwell {III} and Annie
     		Zaenen, "Modeling Syntactic Constraints on Anaphoric
		Binding"
     5. Ronald M. Kaplan and John T. Maxwell {III}, "An Algorithm
     		for Functional Uncertainty"
     6. Ronald M. Kaplan and John T. Maxwell {III}, "Constituent
     		Coordination in Lexical-Functional Grammar"
     7. Annie Zaenen and Ronald M. Kaplan, " Formal Devices for
     		Linguistic Generalizations: West {G}ermanic Word Order
		in {LFG}"
     8. Joan Bresnan, "Linear Order, Syntactic Rank, and Empty
     		Categories: On Weak Crossover"
     9. Per-Kristian Halvorsen and Ronald M. Kaplan, "Projections and
     		Semantic Description in Lexical-Functional Grammar"
    10. Per-Kristian Halvorsen, "Situation Semantics and Semantic
    		Interpretation in Constraint-Based Grammars"
    11. Ronald M. Kaplan et al., "Translation by Structural
    		Correspondences"
    12. Ronald M. Kaplan, "Three Seductions of Computational
    		Psycholinguistics"
    13. Mark Johnson, "Logic and Feature Structures"
    14.  John T. Maxwell {III} and Ronald M. Kaplan, " A method for
    		Disjunctive Constraint Satisfaction; The Interface
		between Phrasal and Functional Constraints"
  },
  ISBN = {1881526372},
  rtnote = {UMich Graduate Library, P 158.25 .F671 1995.},
  topic = {LFG;}
 }

@techreport{ dalrymple-etal:1987a,
  author = {Mary Dalrymple and Ronald M. Kaplan and Lauri Karttunen
  	and Kimmo Koskenniemi and Michael Wescoat},
  title = {Tools for Morphological Analysis},
  institution = {CSLI},
  number = {CSLI--87-108},
  year = {1987},
  address = {Stanford, California},
  rtnote = {In RHT Collection.  CS MS shelves.},
  topic = {computational-morphology;}
  }

@article{ dalrymple-etal:1991a,
  author = {Mary Dalrymple and Stuart M. Shieber and Fernando C.N.
  	Pereira},
  title = {Ellipsis and Higher-Order Unification},
  journal = {Linguistics and Philosophy},
  year = {1991},
  volume = {14},
  number = {4},
  pages = {399--452},
  topic = {ellipsis;higher-order-unification;}
  }

@inproceedings{ dalrymple-etal:1994a,
  author = {Mary Dalrymple and Makoto Kanazawa and Sam Bchombo
		and Stanley Peters},
  title = {What do Reciprocals Mean?},
  booktitle = {Proceedings from Semantics and Linguistic Theory {IV}},
  year = {1994},
  editor = {Mandy Harvey and Lynn Santelmann},
  pages = {61--78},
  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;reciprical-constructions;}
  }

@book{ dalrymple-etal:1995a,
  editor = {Mary Dalrymple and John T. {Maxwell III} and Ronald M.
  	Kaplan and Annie Zaenan},
  title = {Formal Issues in Lexical-Functional Grammar},
  publisher = {Center for the Study of Language and Information},
  year = {1995},
  address = {Stanford, California},
  ISBN = {1881526372},
  contentnote = {TC:
     1. Ronald M. Kaplan, "The formal architecture of lexical-functional
     		grammar"
     2. Ronald M. Kaplan and Joan Bresnan, "Lexical-functional
     		grammar: a formal system for grammatical representation"
     3. Ronald M. Kaplan and Annie Zaenen, "Long-distance
     		dependencies, constituent structure, and functional
		uncertainty"
     4. Mary Dalrymple, John T. Maxwell III, and Annie Zaenen,
     		"Modeling syntactic constraints on anaphoric binding"
     5. Ronald M. Kaplan and John T. Maxwell III, "An algorithm for
     		functional uncertainty"
     6. Ronald M. Kaplan and John T. Maxwell III, "Constituent
     		coordination in lexical-functional grammar"
     7. Annie Zaenen and Ronald M. Kaplan, "Formal devices for
     		linguistic generalizations: West Germanic word order
		in LFG"
     8. Joan Bresnan, "Linear order, syntactic rank, and empty
     		categories: on weak crossover"
     9. Per-Kristian Halvorsen and Ronald M. Kaplan, "Projections and
     		semantic description in lexical-functional grammar"
    10. Per-Kristian Halvorsen, "Situation semantics and semantic
    		interpretation in constraint-based grammars"
    11. Ronald M. Kaplan ... [et al.], "Translation by structural
    		correspondences"
    12. Ronald M. Kaplan, "Three seductions of computational
    		psycholinguistics"
    13. Mark Johnson, "Logic and feature structures"
    14. John T. Maxwell III and Ronald M. Kaplan, "A method for
    		disjunctive constraint satisfaction ; The interface
		between phrasal and functional constraints"
  },
  rtnote = {UMich Graduate Library, P 158.25 .F671 1995},
  topic = {LFG;}
 }

@article{ dalrymple-etal:1997a,
  author = {Mary Dalrymple and John Lamping and Fernando Pereira
  	and Vijay Saraswat},
  title = {Quantifiers, Anaphora, and Intensionality},
  journal = {Journal of Logic, Language, and Information},
  year = {1997},
  volume = {6},
  number = {3},
  pages = {219--273},
  topic = {LFG;linear-logic;nl-semantics;nl-quantifier-scope;}
  }

@article{ dalrymple-etal:1998a,
  author = {Mary Dalrymple and Makoto Kanazawa and Yookyung Kim
  	and Sam Mchombo and Stanley Peters},
  title = {Reciprocal Expressions and the Concept of Reciprocity},
  journal = {Linguistics and Philosophy},
  year = {1998},
  volume = {21},
  number = {2},
  pages = {159--210},
  topic = {nl-semantics;reciprical-constructions;}
  }

@article{ dalton:1995a,
  author = {Peter Dalton},
  title = {Extended Action},
  journal = {Philosophia},
  year = {1995},
  volume = {24},
  number = {3--4},
  pages = {253--270},
  contentnote = {Considers question of how long an action takes.},
  topic = {action;events;interval-logic;}
  }

@book{ damasio_ar:1994a,
  author = {Antonio Damasio},
  title = {DesCartes' Error: Emotion, Reason, and the Human Brain},
  publisher = {Harper Collins},
  year = {1994},
  address = {New York},
  ISBN = {0-380-72647-5},
  rtnote = {In RHT collection.  Cogsci Shelves.},
  rtnote = {UMich Graduate Library QP 401 .D21 1994},
  topic = {cognitive-neuroscience;emotion;irrationality;}
 }

@book{ damasio_ar:1999a,
  author = {Antonio Damasio},
  title = {The Feeling of What Happens: Body and Emotion in the
  		Making of Consciousness},
  publisher = {Harcourt Brace},
  year = {1999},
  address = {New York},
  ISBN = {0-15-601075-5},
  rtnote = {In RHT collection.  Cogsci Shelves.},
  rtnote = {UMich Undergraduate, BF 311 .D331 1999.},
  topic = {cognitive-neuroscience;emotion;philosophical-psychology;
  		consciousness;}
 }

@incollection{ damasio_cv-etal:1998a,
  author = {Carlos Viegas Dam\'asio and Lu\'is Moniz Pereira},
  title = {A Survey of Paraconsistent Semantics for Logic
              Programs},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 2: Reasoning with
                Actual and Potential Contradictions},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Dov M. Gabbay and Philippe Smets},
  pages = {241--320},
  address = {Dordrecht},
  topic = {paraconsistency;relevance-logics;logic-programming;}
  }

@incollection{ damasio_cv-pereira_lm:1994a,
  author = {Carlos Viegas Dam\'asio and Lu\'is Moniz Pereira},
  title = {{REVISE}: An Extended Logic Programming System for Revising
  	Knowledge Bases},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {607--618},
  address = {San Francisco, California},
  topic = {kr;nonmonotonic-reasoning;logic-programming;kr-course;
		extended-logic-programming;}
  }

@incollection{ damasio_cv-pereira_lm:1998a,
  author = {Carlos Viegas Dam\'asio and Lu\'is Moniz Pereira},
  title = {A Survey of Paraconsistent Semantics for Logic Programs},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 2},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Dov M. Gabbay and Philippe Smets},
  pages = {241--320},
  address = {Dordrecht},
  topic = {paraconsistency;paraconsistent-reasoning;logic-programming;}
  }

@inproceedings{ dambrosio:1987a,
  author = {Bruce D'Ambrision},
  title = {Extending the Mathematics in Qualitative Process Theory},
  booktitle = {Proceedings of the Sixth National Conference on
              Artificial Intelligence},
  year = {1987},
  editor = {Kenneth Forbus and Howard Shrobe},
  pages = {595--599},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  topic = {qualitative-process-theory;}
  }

@inproceedings{ dambrosio:1991a,
  author = {Bruce D'Ambrision},
  title = {Local Expression Languages for Probabilistic Dependence},
  booktitle = {Proceedings of the
  	7th Conference on Uncertainty in Artificial Intelligence
	(UAI91)},
  year = {1991},
  pages = {95--102},
  missinginfo = {Editor, Organization, Address},
  topic = {probabilistic-reasoning;}
  }

@inproceedings{ dambrosio:1994a,
  author = {Bruce D'Ambrision},
  title = {Symbolic Probabilistic Inference in Large {BN}20 Networks},
  booktitle = {Proceedings of the
  	10th Conference on Uncertainty in Artificial Intelligence
	(UAI94)},
  year = {1994},
  pages = {128--125},
  missinginfo = {Editor, Organization, Address},
  topic = {probabilistic-reasoning;Bayesian-networks;}
  }

@inproceedings{ dambrosio-etal:1992a,
  author = {Bruce D'Ambrisio and T. Fountain and Zhaoyu Li},
  title = {Parallelizing Probabilistic
  	Inference: Some Early Explorations},
  booktitle = {Proceedings of the 8th Conference on Uncertainty in
  	Artificial Intelligence (UAI92)},
  year = {1992},
  pages = {59--66},
  missinginfo = {Editor, Organization, Address},
  topic = {probabilistic-reasoning;parallel-processing;Bayesian-networks;}
  }

@article{ damnjanovic:1997a,
  author = {Zlatan Damnjanovic},
  title = {Elementary Realizability},
  journal = {Journal of Philosophical Logic},
  year = {1997},
  volume = {26},
  number = {3},
  pages = {311--339},
  topic = {intuitionistic-logic;realizability;}
  }

@incollection{ damon:1991a,
  author = {William Damon},
  title = {Problems of Direction in Socially Shared Cognition},
  booktitle = {Perspectives on Socially Shared Cognition},
  publisher = {American Psychological Association},
  year = {1991},
  editor = {Lauren B. Resnick and John M. Levine and
  	Stephanie D. Teasley},
  pages = {398--417},
  address = {Washington, D.C.},
  topic = {social-psychology;shared-cognition;}
  }

@article{ damotta-etal:2008a,
  author = {Andr\'e da Motta and Salles Barreto and Charles W. Anderson},
  title = {Restricted Gradient-Descent Algorithm for Value-Function
  		Approximation in Reinforcement Learning},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {4--5},
  pages = {454--482},
  topic = {reinforcement-learning;}
  }

@book{ damour:2005a,
  author = {Thibault Damour},
  title = {The Pea and the Sun:  A Mathamatical Paradox},
  publisher = {A.K. Peters, Ltd.},
  year = {2005},
  address = {Wellesley, Massachusetts},
  ISBN = {1-56881-213-2},
  topic = {Banach-Tarski-theorem;}
 }

@book{ damper:2001a,
  editor = {Robert I. Damper},
  title = {Data-Driven Techniques in Speech Synthesis},
  publisher = {Kluwer Academic Publishers},
  year = {2001},
  address = {Dordrecht},
  ISBN = {0-412-81750-0},
  xref = {Review: dutoit:2002a},
  topic = {speech-generation;machine-learning;}
 }

@incollection{ damper-marchand_y:2000a,
  author = {Robert I. Damper and Yannik Marchand},
  title = {Pronunciation by Analogy in Normal and Impaired Readers},
  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 = {13--18},
  address = {Somerset, New Jersey},
  topic = {cognitive-modeling;speech-production;}
  }

@inproceedings{ damso-ruboff:1998a,
  author = {Martin Damsbo and Peder Thusgaard Ruboff},
  title = {An Evolutionary Algorithm for Welding Task Sequence Ordering},
  booktitle = {Artificial Intelligence and Symbolic Computation:
	Proceedings of {AISC'98}},
  year = {1998},
  editor = {Jacques Calmet and Jan Plaza},
  pages = {120--131},
  publisher = {Springer Verlag},
  address = {Berlin},
  topic = {genetic-algorithms;scheduling;}
  }

@article{ dancy:1984a,
  author = {Jonathan Dancy},
  title = {Even-IFs},
  journal = {Synth\'ese},
  year = {1984},
  volume = {58},
  number = {2},
  pages = {119--128},
  topic = {`even';conditionals;}
  }

@article{ dancy:1995a,
  author = {Jonathan Dancy},
  title = {Why There Is Really No Such Thing as the Theory of
  	Motivation},
  journal = {Proceedings of the {A}ristotelian Society},
  year = {1995},
  volume = {95},
  note = {Supplementary Series.},
  pages = {1--18},
  topic = {reasons-for-action;action;}
 }

@incollection{ dandrade:1989a,
  author = {Roy G. D'Andrade},
  title = {Cultural Cognition},
  booktitle = {Foundations of Cognitive Science},
  publisher = {The {MIT} Press},
  year = {1989},
  editor = {Michael I. Posner},
  chapter = {20},
  pages = {795--830},
  address = {Cambridge, Massachusetts},
  topic = {cognitive-psychology;cultural-anthropology;}
  }

@book{ dandrade:1995a,
  author = {Roy G. D'Andrade},
  title = {The Development of Cognitive Anthropology},
  publisher = {Cambridge University Press},
  year = {1995},
  address = {Cambridge, England},
  rtnote = {UMich Graduate Library GN 502 .D361 1995},
  rtnote = {semantics-course;},
  topic = {cultural-anthropology;cognitive-anthropology;}
 }

@book{ dandrade-strauss_c:1992a,
  editor = {Roy G. D'Andrade and Claudia Strauss},
  title = {Human Motives and Cultural Models},
  publisher = {Cambridge University Press},
  year = {1992},
  address = {Cambridge, England},
  ISBN = {0521412331 (hardback)},
  rtnote = {UMich Graduate Library, HM 101 .H851 1992.},
  topic = {emotion;practical-reasoning;philosophical-psychology;
  	philosophical-anthropology;}
 }

@article{ dandrade-wish:1985a,
  author = {R.G. D'Andrade and M. Wish},
  title = {Speech Act Theory in Quantitative Research on
  	Interpersonal Behavior},
  journal = {Discourse Processes},
  year = {1985},
  volume = {8},
  pages = {229--259},
  missinginfo = {A's 1st name, number},
  topic = {speech-acts;cognitive-psychology;}
  }

@article{ dandrea-lee_jw:2000a,
  author = {Raffaello D'Andrea and Jin-Woo Lee},
  title = {Cornell Big Red: Small-Size League WInner},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {21},
  number = {3},
  pages = {41--44},
  topic = {RoboCup;robotics;}
  }

@inproceedings{ dang_ht-etal:1998a,
  author = {Hoa Trang Dang and Karin Kipper and Martha Palmer and
  	Joseph Rosenzweig},
  title = {Investigating Regular Sense Extensions based on
  	Intersective {L}evin Classes},
  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 = {293--299},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {polysemy;computational-semantics;}
}

@inproceedings{ dang_ht-palmer_m:2005a,
  author = {Hoa Trang Dang and Martha Palmer},
  title = {The Role of Semantic Roles in Disambiguating Verb Senses},
  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 = {42--49},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1006},
  topic = {lexical-disambiguation;thematic-roles;}
  }

@techreport{ daniel:1977a,
  author = {L. Daniel},
  title = {Planning: Modifying Non-linear Plans},
  type = {Working Paper},
  number = {24},
  institution = {Department of AI, University of Edinburgh},
  year = {1977},
  topic = {planning-algorithms;}
 }

@incollection{ danieli-etal:1997a,
  author = {Morena Danieli and Elissbetta Gerbino and Loretta M.
                Moisa},
  title = {Dialogue Strategies for Improving the Usability
                of Telephone Human-Machine Communication},
  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 = {114--120},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;speech-recognition;}
  }

@article{ daniels:1972a,
  author = {Charles B. Daniels},
  title = {Reference and Singular Referring Terms},
  journal = {Journal of Philosophical Logic},
  year = {1972},
  volume = {1},
  number = {1},
  pages = {86--102},
  topic = {reference;referring-expressions;}
  }

@article{ daniels:1990a,
  author = {Charles B. Daniels},
  title = {The Propositional Objects of Mental Attitudes},
  journal = {Journal of Philosophical Logic},
  year = {1990},
  volume = {19},
  number = {3},
  pages = {317--342},
  topic = {propositional-attitudes;indexicals;}
  }

@article{ daniels-freeman_jb:1977a,
  author = {Charles B. Daniels and James B. Freeman},
  title = {Classical Second-Order Intensional Logic with Maximal
  	Propositions},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {6},
  number = {1},
  pages = {1--31},
  topic = {intensional-logic;}
  }

@book{ danielson_pa:1998a,
  editor = {Peter A. Danielson},
  title = {Modeling Rationality, Morality, and Evolution},
  publisher = {Oxford University Press},
  year = {1998},
  address = {Oxford},
  contentnote = {TC:
  	1. Peter A. Danielson, "Introduction"
	I. Rationality
	2.  Edward F. McClennen, "Rationality and Rules"
	3.  David Gauthier, "Intention and Deliberation"
	4.  Michael E. Bratman, "Following Through with One's Plans:
		Reply to David Gauthier"
	5.  A. D. Irvine, "How Braess' Paradox Solves Newcomb's Problem"
	6.  Bryan R. Routledge, "Economics of the Prisoner's Dilemma:
		A Background"
	7. Ronald de Sousa, "Modeling Rationality: Normative or
		Descriptive?"
	II. Modeling Social Interaction
       10. Leslie Burkholder, "Theorem 1"
       11. Louis Marinoff, "The Failure of Success: Intrafamilial
       		Exploitation in the Prisoner's Dilemma"
       12.  Peter Kollock, "Transforming Social Dilemmas: Group
       		Identity and Co-operation"
       13. Bernardo A. Huberman and Natalie S. Glance, "Beliefs and
       		Co-operation"
       14.  Paul M. Churchland, "The Neural Representation of the
       		Social World"
     III. Morality
       15. David Schmidtz, "Moral Dualism"
       16.  Duncan MacIntosh, "Categorically Rational Preferences and
       		the Structure of Morality"
       17.  William J. Talbott, "Why We Need a Moral Equilibrium Theory"
       18.  Chantale LaCasse and Don Ross, "Morality's Last Chance"
     IV. Evolution
       19. Brian Skyrms, "Mutual Aid: Darwin Meets The Logic of Decision"
       20. Elliott Sober, "Three Differences between Deliberation
       		and Evolution"
       21. Peter A. Danielson, "Evolutionary Models of Co-operative
       		Mechanisms: Artificial Morality and Genetic
		Programming"
       15. Giovanni Dosi, Luigi Marengo, Andrea Bassanini and Marco
       		Valente, "Norms as Emergent Properties of Adaptive
		Learning: The Case of Economic Routines"
   },
  ISBN = {0-19-512550-9 (paper), 0-19-512549-5 (cloth)},
  topic = {rationality;}
 }

@article{ danielson_s:1965a,
  author = {Sven Danielson},
  title = {Definitions of `Performatives'\, },
  journal = {Theoria},
  year = {1965},
  volume = {31},
  pages = {20--31},
  missinginfo = {number},
  topic = {speech-acts;pragmatics;}
  }

@book{ danlos:1986a,
  author = {Laurence Danlos},
  title = {Studies in Natural Language Processing: The Linguistic
  	Basis of Text Generation},
  publisher = {Cambridge University Press},
  year = {1986},
  topic = {nl-generation;}
}

@book{ danlos:1987a,
  author = {Laurence Danlos},
  title = {The Linguistic Basis of Text Generation},
  publisher = {Cambridge University Press},
  year = {1987},
  address = {Cambridge},
  ISBN = {0521329388},
  rtnote = {UMich MEDIA UNION LIBRARY, P98 .D183 1987.},
  topic = {nl-generation;}
 }

@incollection{ danlos:1998a,
  author = {Laurence Danlos},
  title = {Linguistic Ways for Expressing a Discourse
		Relation in a Lexicalized Text Generation System},
  booktitle = {Discourse Relations and Discourse Markers:  Proceedings
  	of the Conference},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Manfred Stede and Leo Wanner and Eduard Hovy},
  pages = {50--53},
  address = {Somerset, New Jersey},
  topic = {discourse-cue-words;discourse-structure;nl-generation;}
  }

@article{ danos-etal:1997a,
  author = {Vincent Danos and Jean-Baptiste Joinet
		and Harold Schellinx},
  title = {A New Deconstructive Logic: Linear Logic},
  journal = {Journal of Symbolic Logic},
  year = {1997},
  volume = {62},
  number = {3},
  pages = {755--807},
  rtnote = {This looks important.  Read it.},
  topic = {linear-logic;proof-theory;constructive-logic;}
  }

@incollection{ danto:1960a,
  author = {Arthur Danto},
  title = {On Consciousness in Machines},
  booktitle = {Dimensions of Mind: A Symposium},
  publisher = {New York University Press},
  year = {1960},
  editor = {Sidney Hook},
  pages = {180--187},
  address = {New York},
  topic = {philosophy-of-mind;consciousness;machine-intelligence;}
  }

@article{ danto:1964a,
  author = {Arthur C. Danto},
  title = {What We Can Do},
  journal = {The Journal of Philosophy},
  year = {1963},
  volume = {60},
  number = {15},
  pages = {435--445},
  topic = {philosophy-of-action;}
  }

@book{ danto:1965a,
  author = {Arthur C. Danto},
  title = {Analytical Philosophy of History},
  publisher = {Cambridge University Press},
  year = {1965},
  address = {Cambridge, England},
  topic = {philosophy-of-history;}
 }

@article{ danto:1965b,
  author = {Arthur C. Danto},
  title = {Basic Actions},
  journal = {American Philosophical Quarterly},
  year = {1965},
  volume = {2},
  number = {2},
  pages = {141--148},
  topic = {philosophy-of-action;}
  }

@book{ danto:1973a,
  author = {Arthur Coleman Danto},
  title = {Analytical Philosophy of Action},
  publisher = {Cambridge University Press},
  year = {1973},
  address = {Cambridge},
  ISBN = {0521201209},
  rtnote = {UMich Graduate Library B 808.5 .D19},
  topic = {philosophy-of-action;}
 }

@incollection{ danto:1993a,
  author = {Arthur Danto},
  title = {Metaphor and Cognition},
  booktitle = {Knowledge and Language: Volume {III}, Metaphor and
  	Knowledge},
  publisher = {Kluwer Academic Publishers},
  year = {1993},
  editor = {F.R. Ankersmit and J.J.A. Mooij},
  pages = {21--35},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {metaphor;pragmatics;}
  }

@article{ dapaznmedeiros:2006a,
  author = {Maria da Paz N. Medeiros},
  title = {A New {S4} Modal Logic in Natural Deduction},
  journal = {Journal of Symbolic Logic},
  year = {2006},
  volume = {71},
  number = {3},
  pages = {799--809},
  topic = {modal-logic;natural-deduction;}
  }

@article{ dar-etal:1999a,
  author = {Tzachi Dar and Leo Joskowicz and Ehud Rivlin},
  title = {Understanding Mechanical Motion: From Images to
  	Behaviors},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {112},
  number = {1--2},
  pages = {147--179},
  acontentnote = {Abstract:
     We present an algorithm for producing behavior descriptions of
     planar fixed axes mechanical motions from image sequences using
     a formal behavior language.  The language, which covers the most
     important class of mechanical motions, symbolically captures the
     qualitative aspects of objects that translate and rotate along
     axes that are fixed in space.  The algorithm exploits the
     structure of these motions to robustly recover the objects
     behaviors.  It starts by identifying the independently moving
     objects, their motion parameters, and their variation with
     respect to time using normal optical flow analysis, iterative
     motion segmentation, and motion parameter estimation.  It then
     produces a formal description of their behavior by identifying
     individual uniform motion events and simultaneous motion
     changes, and parsing them with a motion grammar.  We demonstrate
     the algorithm on three sets of image sequences: mechanisms,
     everyday situations, and a robot manipulation scenario.},
  topic = {qualitative-reasoning;motion-reconstruction;}
  }

@incollection{ daradoumis:1996a,
  author = {Thanasis Daradoumis},
  title = {Towards a Representation of the Rhetorical Structure of
  	Interrupted Exchanges},
  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 = {106--124},
  address = {New York},
  topic = {discourse-structure;}
  }

@incollection{ darden:2000a,
  author = {Lindley Darden},
  title = {Strategies for Discovering Mechanisms: Schema Instantiation,
  	Modular Subassembly, Forward/Backward Chaining},
  booktitle = {{PSA}'00: Proceedings of the 2000 Biennial Meetings
  	of the Philosophy of Science Association, Part {II}:
	Symposium Papers},
  publisher = {Philosophy of Science Association},
  year = {2002},
  editor = {Jeffrey A. Barrett and J. McKenzie Alexander},
  pages = {S354--S377},
  address = {Newark, Delaware},
  topic = {philosophy-of-science;mechanisms;scientific-discovery;}
  }

@article{ darlington:1981a,
  author = {John Darlington},
  title = {An Experimental Program Transformation and Synthesis
  	System},
  journal = {Artificial Intelligence},
  year = {1981},
  volume = {16},
  number = {1},
  pages = {1--46},
  topic = {program-synthesis;}
  }

@phdthesis{ darwiche:1992a,
  author = {Adnan Darwiche},
  title = {A Symbolic Generalization of Probability Theory},
  school = {Computer Science Department, Stanford University},
  year = {1992},
  type = {Ph.{D}. Dissertation},
  address = {Stanford. California},
  topic = {qualitative-probability;abstract-probability;}
 }

@unpublished{ darwiche:1995a,
  author = {Adnan Darwiche},
  title = {Structure-Based Generation of Plans},
  year = {1995},
  note = {Unpublished manuscript, Rockwell Science Center.},
  rtnote = {In RHT collection.},
  missinginfo = {Year is Guess.  Published in some AI conference.
  	Which one?},
  topic = {planning;}
  }

@inproceedings{ darwiche:1996a,
  author = {Adnan Darwiche},
  title = {Using Knowledge-Base Semantics in Graph-Based Algorithms},
  booktitle = {Proceedings of the Thirteenth National Conference on
              Artificial Intelligence and the Eighth Innovative
	      Applications of Artificial Intelligence  Conference,
	      Vol. 2},
  year = {1996},
  editor = {William J. Clancey and Dan Weld},
  pages = {607--613},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {join-trees;AI-algorithms;}
  }

@article{ darwiche:1997a,
  author = {Adnan Darwiche},
  title = {A Logical Notion of Conditional Independence:  Properties and
		Applications},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {97},
  number = {1--2},
  pages = {45--82},
  topic = {statistical-(in)dependence;conditional-independence;}
  }

@incollection{ darwiche:1998a,
  author = {Adnan Darwiche},
  title = {Compiling Devices: A Structure-Based Approach},
  booktitle = {{KR}'98: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1998},
  editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C.
		Shapiro},
  address = {San Francisco, California},
  missinginfo = {pages   pages = {156--}},
  topic = {kr;diagnosis;device-modeling;kr-course;}
  }

@article{ darwiche:2000a,
  author = {Adnan Darwiche},
  title = {Model-Based Diagnosis under Real-World Constraints},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {21},
  number = {2},
  pages = {57--73},
  topic = {model-based-reasoning;diagnosis;}
  }

@article{ darwiche:2001a,
  author = {Adnan Darwiche},
  title = {Recursive Conditioning},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {126},
  number = {1--2},
  pages = {5--41},
  topic = {AI-algorithms;Bayesian-networks;conditioning-methods;}
  }

@incollection{ darwiche:2002a,
  author = {Adnan Darwiche},
  title = {A Logical Approach to Factoring Belief Networks},
  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 = {409--420},
  address = {San Francisco, California},
  topic = {kr;logic-in-AI;Bayesian-networks;}
  }

@inproceedings{ darwiche:2002b,
  author = {Adnan Darwiche},
  title = {A Compiler for Deterministic, Decomposible Negation
  		Normal Form},
  booktitle = {Proceedings of the Eighteenth National Conference on
              Artificial Intelligence},
  year = {2002},
  editor = {Rina Dechter and Michael Kearns and Richard S. Sutton},
  pages = {627--634},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {model-checking;}
  }

@book{ darwiche:2009a,
  author = {Adnan Darwiche},
  title = {Modeling and Reasoning with {B}ayesian Networks},
  publisher = {Cambridge University Press},
  year = {2009},
  address = {Cambridge, England},
  ISBN = {9780521884389 (hardback)},
  rtnote = {Shapiro Science  QA279.5 .D37 2009},
  xref = {Review: xiang:2009a},
  topic = {bayesian-networks;AI-text;}
 }

@inproceedings{ darwiche-ginsberg_ml:1992a,
  author = {Adnan Darwiche and Matthew L. Ginsberg},
  title = {A Symbolic Generalization of Probability Theory},
  booktitle = {Proceedings of the Tenth National Conference on
              Artificial Intelligence},
  year = {1992},
  editor = {Paul Rosenbloom and Peter Szolovits},
  pages = {622--627},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {qualitative-probability;abstract-probability;}
  }

@inproceedings{ darwiche-goldszmidt:1994a,
 author = {Adnan Darwiche and Mois\'es Goldszmidt},
 title = {On the Relation between Kappa Calculus and Probabilistic
 	Reasoning},
 booktitle = {Proceedings of the Tenth Conference on
			Uncertainty in Artificial Intelligence},
 year = {1994},
 pages = {145--153},
 month = {July},
 topic = {qualitative-probability;diagnosis;}
 }

@article{ darwiche-marquis:2004a,
  author = {Adnan Darwiche and Pierre Marquis},
  title = {Compiling Propositional Weighted Bases},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {157},
  number = {1--2},
  pages = {81--113},
  topic = {knowledge-integration;complexity-in-AI;}
  }

@techreport{ darwiche-pearl:1991a,
  author = {Adnan Darwiche and Judea Pearl},
  title = {On the Logic of Iterated Belief Revision},
  institution = {UCLA, Computer Science Department},
  number = {R--202},
  year = {1991},
  address = {Los Angeles, California},
  rtnote = {In RHT collection.},
  topic = {belief-revision;}
  }

@inproceedings{ darwiche-pearl:1994a,
  author = {Adnan Darwiche and Judea Pearl},
  title = {Symbolic Causal Networks},
  booktitle = {Proceedings of the Twelfth National Conference on
              Artificial Intelligence},
  year = {1994},
  editor = {Barbara Hayes-Roth and Richard Korf},
  pages = {238--244},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {causal-networks;}
  }

@inproceedings{ darwiche-pearl:1994b,
  author = {Adnan Darwiche and Judea Pearl},
  title = {On the Logic of Iterated Belief Revision},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fifth Conference},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Ronald Fagin},
  pages = {5--23},
  address = {San Francisco},
  xref = {Journal publication: darwiche-pearl:1997a.},
  topic = {belief-revision;conditionals;}
  }

@inproceedings{ darwiche-pearl:1994c,
  author = {Adnan Darwiche and Judea Pearl},
  title = {Symbolic Causal Networks for Reasoning about Actions and Plans},
  booktitle = {Working Notes: {AAAI} Spring Symposium on
  	Decision-Theoretic Planning},
  year = {1994},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  missinginfo = {editor, pages, etc},
  topic = {causal-networks;practical-reasoning;
  	decision-theoretic-planning;}
  }

@article{ darwiche-pearl:1997a,
  author = {Adnan Darwiche and Judea Pearl},
  title = {On the Logic of Iterated Belief Revision},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {89},
  number = {1--2},
  pages = {1--31},
  xref = {Conference publication: darwiche-pearl:1994b.},
  topic = {belief-revision;}
  }

@inproceedings{ darwiche-sakame:1995a,
  author = {Adnan Darwiche and Chiaki Sakama},
  title = {Model-Based Diagnosis Using Causal Networks},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {211--218},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {diagnosis;causal-reasoning;causal-networks;}
  }

@article{ darwish:1983a,
  author = {Nevin M. Darwish},
  title = {A Quantitative Analysis of the Alpha-Beta Pruning
  	Algorithm},
  journal = {Artificial Intelligence},
  year = {1983},
  volume = {21},
  number = {4},
  pages = {405--433},
  topic = {search;AI-algorithms-analysis;}
  }

@article{ das-ahuja:1996a,
  author = {Subhodev Das and Narendra Ahuja},
  title = {Active Surface Estimation: Integrating Coarse-to-Fine
  	Image Acquisition and Estimation from Multiple Cues},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {83},
  number = {2},
  pages = {241--266},
  acontentnote = {Abstract:
     This paper is concerned with the problem of surface
     reconstruction from stereo images for large scenes having large
     depth ranges with depth discontinuities. The passive stereo
     paradigm is inadequate for this problem because of the need to
     aim cameras in different directions and to fixate at different
     objects.  We present an active approach that involves the
     following steps.  First, a new fixation point is selected from
     among the nonfixated, low-resolution scene parts of current
     fixation.  Second, a reconfiguration of the cameras is initiated
     for refixation.  As reconfiguration progresses, the images of
     the new fixation point gradually deblur and the accuracy of the
     position estimate of the point improves allowing the cameras to
     be aimed at it with increasing precision. In the third step, the
     improved depth estimate is used to select focus settings of the
     cameras, thus completing fixation.  Finally, stereo images are
     acquired and segmented into fixated and nonfixated parts of the
     scene that are analyzed in parallel.},
  topic = {computer-vision;scene-reconstruction;}
  }

@incollection{ dascal:1976a,
  author = {Marcello Dascal},
  title = {Levels of Meaning and Moral Discourse},
  booktitle = {Language in Focus},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  editor = {Asa Kasher},
  pages = {587--625},
  address = {Dordrecht},
  topic = {deontic-logic;ethics;}
  }

@incollection{ dascal:1979a,
  author = {Marcelo Dascal},
  title = {Conversational Relevance},
  booktitle = {Meaning and Use: Papers Presented at the Second
		{J}erusalem Philosophy Encounter},
  publisher = {D. Reidel Publishing Co.},
  year = {1979},
  editor = {Avishai Margalit},
  pages = {153--174},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {relevance;implicature;}
  }

@incollection{ dascal:1979b,
  author = {Mardelo Dascal},
  title = {Contextualism},
  booktitle = {Possibilities and Limitations of Pragmatics: Proceedings
  	of the Conference at Urbino, July 8--14, 1979},
  publisher = {John Benjamins Publishing Company},
  year = {1981},
  editor = {Herman Parret and M. Sbis\`a and Jef Verschueren},
  pages = {153--177},
  address = {Amsterdam},
  topic = {context;}
  }

@article{ dascal:1987a,
  author = {Marcelo Dascal},
  title = {Defending Literal Meaning},
  journal = {Cognitive Science},
  year = {1987},
  volume = {11},
  pages = {259--281},
  topic = {speaker-meaning;foundations-of-semantics;}
  }

@incollection{ dascal:1992a,
  author = {Marcelo Dascal},
  title = {On the Pragmatic Structure of Conversation},
  booktitle = {(On) {S}earle on Conversation},
  publisher = {John Benjamins Publishing Company},
  year = {1992},
  editor = {Herman Parret and Jef Verschueren},
  pages = {35--56},
  address = {Amsterdam},
  rtnote = {In RHT collection.},
  topic = {foundations-of-pragmatics;discourse-analysis;pragmatics;}
 }

@article{ dasgupta-etal:1994a,
  author = {Pallab Dasgupta and P.P. Chakrabarti and S.C. DeSarkar},
  title = {Agent Searching in a Tree and the Optimality of Iterative
  	Deepening},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {71},
  number = {1},
  pages = {195--208},
  acontentnote = {Abstract:
     The agent searching framework models the effort of a search
     strategy in terms of the distance traversed by an agent while
     exploring the search space.  The framework has been found to be
     useful in modeling search problems where the cost of
     backtracking and retracing search paths is important in
     determining search complexity.  In this paper we show that
     depth-first iterative deepening (DFID) strategies are optimal
     for an agent searching in a line, in m concurrent rays, and in
     uniform b-ary trees. In the conventional search model it is
     known that DFID is asymptotically optimal for uninformed search
     of uniform b-ary trees.  In this paper we prove the stronger
     result that for agent searching in uniform b-ary trees,
     iterative deepening is optimal up to lower-order terms.  We also
     discuss the problems involved in optimally performing agent
     search in a graph.},
  topic = {search;iterative-deepening;}
  }

@article{ dasgupta-etal:1996a,
  author = {Pallab Dasgupta and P.P. Chakrabarti and S.C. DeSarkar},
  title = {Searching Game Trees under a Partial Order},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {82},
  number = {1--2},
  pages = {237--257},
  acontentnote = {Abstract:
     The problem of partial order game tree search arises from game
     playing situations where multiple, conflicting and
     non-commensurate criteria dictate the merit of a position of the
     game. In partial order game trees, the outcomes evaluated at the
     tip nodes are vectors, where each dimension of the vector
     represents a distinct criterion of merit. This leads to an
     interesting variant of the game tree searching problem where
     corresponding to every game playing strategy of a player,
     several outcomes are possible depending on the individual
     priorities of the opponent. In this paper, we identify the
     necessary and sufficient conditions for a set of outcomes to be
     inferior to another set of outcomes for every strategy. Using an
     algebra called Dominance Algebra on sets of outcomes, we
     describe a bottom-up approach to find the non-inferior sets of
     outcomes at the root node.  We also identify shallow and deep
     pruning conditions for partial order game trees and present a
     partial order search algorithm on lines similar to the
     alpha-beta pruning algorithm for conventional game trees.},
  topic = {search;game-trees;}
  }

@article{ dasgupta-etal:2001a,
  author = {Pallab Dasgupta and P. P. Chakrabarti and Jatindra Kumar
  	Deka and Sriram Sankaranarayanan},
  title = {Min-Max Computation Tree Logic},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {127},
  number = {1},
  pages = {137--162},
  topic = {temporal-logic;model-checking;}
  }

@article{ dash-druzdzel:2008a,
  author = {Denver Dash and Marek J. Druzdzel},
  title = {A Note on the Correctness of the Causal Ordering Algorithm},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {15},
  pages = {1800--1808},
  topic = {causality;structural-models;}
  }

@article{ dash-lee_ha:2003a,
  author = {Manjoranjan Dash and Huan Lee},
  title = {Consistency-Based Search in Feature Selection},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {151},
  number = {1--2},
  pages = {155--176},
  topic = {feature-selection;search;}
  }

@techreport{ dasigi:1988a,
  author = {Venu R. Dasigi},
  title = {Word Sense Disambiguation in Descriptive Text
  	Interpretation: A Dual-Route Parsimonious Covering Model},
  institution = {Department of Computer Science, University of
  	Maryland},
  number = {TR-2151},
  year = {1988},
  address = {College Park, Maryland},
  topic = {nl-interpretation;disambiguation;}
  }

@book{ dassow-etal:1996a,
  editor = {J\"urgen Dassow and Grzegorz Rozenberg and Arto Salomaa},
  title = {Developments in Language Theory {II}: At The Crossroads of
    	Mathematics, Computer Science, and Biology},
  publisher = {World Scientific},
  year = {1996},
  address = {Singapore},
  ISBN = {9810226829},
  rtnote = {UMich Media Union Library, QA 267.3 .D482 1996.},
  topic = {formal-language-theory;}
 }

@inproceedings{ dastani-indurkhya:2001a,
  author = {Mehdi Dastani and Bipin Indurkhya},
  title = {Modeling Context Effect in Perceptual Domains},
  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 = {129--142},
  address = {Berlin},
  topic = {context;psychology-of-perception;vision;}
  }

@unpublished{ dau:1973a,
  author = {Paolo Dau},
  title = {Why is {R}ussell's {\em {O}n Denoting} So Confusing?},
  year = {1973},
  note = {Unpublished manuscript, Philosophy Department, University
  	of Pittsburgh},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a guess.},
  topic = {Russell;deinite-descriptions;}
  }

@unpublished{ dau:1979a,
  author = {Paolo Dau},
  title = {Certain Rather Curious Difficulties},
  year = {1979},
  note = {Unpublished manuscript, Philosopohy Department, University
  	of Pittsburgh},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a guess.},
  topic = {Russell;on-denoting;}
  }

@inproceedings{ daugherty_af-forsythe:1988a,
  author = {Andrew F. Daugherty and Robert Forsythe},
  title = {Complete Information Outcomes without Common Knowledge},
  booktitle = {Proceedings of the Second Conference on Theoretical
  	Aspects of Reasoning about Knowledge},
  year = {1988},
  editor = {Moshe Y. Vardi},
  pages = {195--209},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  topic = {game-theory;mutual-belief;}
  }

@book{ david:1994a,
  author = {Marian David},
  title = {Correspondence and Disquotation: An Essay on the Nature of
  	Truth},
  publisher = {Oxford University Press},
  year = {1994},
  address = {Oxford},
  xref = {Review: porter_lf:1998a.},
  topic = {truth;disquotationalist-truth;}
 }

@incollection{ david:1997a,
  author = {Marian David},
  title = {Kim's Functionalism},
  booktitle = {Philosophical Perspectives 11: Mind, Causation, and World},
  publisher = {Blackwell Publishers},
  year = {1997},
  editor = {James E. Tomberlin},
  pages = {133--148},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-mind;philosophy-of-psychology;}
  }

@article{ davidson_d:1963a,
  author = {Donald Davidson},
  title = {Actions, Reasons and Causes},
  journal = {Journal of Philosophy},
  year = {1963},
  volume = {60},
  pages = {685--700},
  missinginfo = {number},
  topic = {actions;causality;}
  }

@incollection{ davidson_d:1967a1,
  author = {Donald Davidson},
  title = {The Logical Form of Action Sentences},
  booktitle = {The Logic of Decision and Action},
  year = {1967},
  editor = {Nicholas Rescher},
  pages = {81--95},
  publisher = {University of Pittsburgh Press},
  address = {Pittsburgh},
  xref = {Republished in davidson_d:1980a.  Also davidson_d:1967a2.},
  note = {Republished in Donald Davidson, {\it Essays on Actions and
  	Events}, Oxford University Press, Oxford, 1980.},
  topic = {action;events;nl-semantics;event-semantics;}
  }

@incollection{ davidson_d:1967a2,
  author = {Donald Davidson},
  title = {The Logical Form of Action Sentences},
  booktitle = {The Logic of Grammar},
  publisher = {Dickenson Publishing Co.},
  year = {1975},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {235--245},
  address = {Encino, California},
  xref = {Original Publication: davidson_d:1967a1.},
  topic = {action;events;nl-semantics;event-semantics;}
  }

@article{ davidson_d:1967b1,
  author = {Donald Davidson},
  title = {Causal Relations},
  journal = {The Journal of Philosophy},
  year = {1967},
  volume = {64},
  number = {21},
  pages = {691--703},
  xref = {Republication: davidson_d:1967b2.},
  rtnote = {In RHT collection.},
  topic = {causality;}
  }

@incollection{ davidson_d:1967b2,
  author = {Donald Davidson},
  title = {Causal Relations},
  booktitle = {The Logic of Grammar},
  publisher = {Dickenson Publishing Co.},
  year = {1975},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {246--254},
  address = {Encino, California},
  xref = {Original Publication: davidson_d:1967b1.},
  topic = {causality;}
  }

@article{ davidson_d:1967c,
  author = {Donald Davidson},
  title = {Truth and Meaning},
  journal = {Synth\'ese},
  year = {1967},
  volume = {17},
  pages = {304--323},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {foundations-of-semantics;Davidson-semantics;}
  }

@article{ davidson_d:1968a1,
  author = {Donald Davidson},
  title = {On Saying That},
  journal = {Synth\'ese},
  year = {1968},
  volume = {19},
  pages = {130--146},
  xref = {Republication: davidson_d:1968a2.},
  rtnote = {In RHT collection.},
  topic = {indirect-discourse;propositional-attitudes;propositions
  	philosophy-of-language;}
  }

@incollection{ davidson_d:1968a2,
  author = {Donald Davidson},
  title = {On Saying That},
  booktitle = {The Logic of Grammar},
  publisher = {Dickenson Publishing Co.},
  year = {1975},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {143--152},
  address = {Encino, California},
  xref = {Original Publication: davidson_d:1968a1.},
  topic = {indirect-discourse;propositional-attitudes;propositions
  	philosophy-of-language;}
  }

@incollection{ davidson_d:1969a,
  author = {Donald Davidson},
  title = {The Individuation of Events},
  booktitle = {Essays in Honor of Carl G. Hempel},
  year = {1969},
  editor = {Nicholas Rescher},
  pages = {216--234},
  publisher = {D. Reidel Publishing Company},
  address = {Dordrecht},
  xref = {Republished in davidson_d:1980a.},
  note = {Republished in Donald Davidson, {\it Essays on Actions and
  	Events}, Oxford University Press, Oxford, 1980.},
  topic = {events;event-individuation;individuation;}
  }

@incollection{ davidson_d:1970a,
  author = {Donald Davidson},
  title = {Mental Events},
  booktitle = {Experience and Theory},
  publisher = {University of Massachusetts Press},
  year = {1970},
  editor = {Lawrence Foster and J. W. Swanson},
  pages = {79--101},
  address = {Amherst, Massachusetts},
  rtnote = {In RHT collection.},
  xref = {Reprinted in davidson_d:1980a.},
  topic = {philosophy-of-mind;mind-body-problem;anomalous-monism;
  	mental-events;}
  }

@incollection{ davidson_d:1970b,
  author = {Donald Davidson},
  title = {How Is Weakness of the Will Possible?},
  booktitle = {Moral Concepts},
  editor = {Joel Feinberg},
  publisher = {Oxford University Press},
  address = {Oxford},
  year = {1970},
  xref = {Reprinted in davidson_d:1980a.},
  rtnote = {In RHT collection.},
  topic = {akrasia;volition;}
    }

@incollection{ davidson_d:1970c1,
  author = {Donald Davidson},
  title = {Semantics for Natural Languages},
  booktitle = {Linguaggi nella Societ\'a e nella Tecnica},
  publisher = {Edizioni di Communit\`a},
  year = {1970},
  editor = {Bruno Visentini et al.},
  pages = {177--188},
  address = {Milan},
  xref = {Republication: davidson_d:1970c2.},
  missinginfo = {other editors},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-language;nl-semantics;Davidson-semantics;}
  }

@incollection{ davidson_d:1970c2,
  author = {Donald Davidson},
  title = {Semantics for Natural Languages},
  booktitle = {The Logic of Grammar},
  publisher = {Dickenson Publishing Co.},
  year = {1975},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {18--24},
  address = {Encino, California},
  xref = {Original Publication: davidson_d:1970a1.},
  topic = {philosophy-of-language;nl-semantics;Davidson-semantics;}
  }

@article{ davidson_d:1970d,
  author = {Donald Davidson},
  title = {Action and Reaction},
  journal = {Inquiry},
  year = {1970},
  volume = {13},
  pages = {140--148},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {action;events;nl-semantics;event-semantics;}
  }

@incollection{ davidson_d:1971a,
  author = {Donald Davidson},
  title = {Agency},
  booktitle = {Agent, Action and Reason},
  publisher = {Oxford University Press},
  year = {1971},
  editor = {Robert Binkley and Richard Bronaugh and Ausonio Marras},
  xref= {Republished in davidson_d:1980a},
  missinginfo = {pages},
  topic = {action;agency;}
  }

@article{ davidson_d:1971b,
  author = {Donald Davidson},
  title = {Eternal versus Ephemeral Events},
  journal = {No\^us},
  year = {1971},
  volume = {5},
  number = {4},
  pages = {335--349},
  topic = {events;philosophical-ontology;}
  }

@incollection{ davidson_d:1973a,
  author = {Donald Davidson},
  title = {In Defense of Convention {T}},
  booktitle = {Truth, Syntax and Modality},
  publisher = {North-Holland},
  year = {1973},
  editor = {Hugues Leblanc},
  address = {Amsterdam},
  missinginfo = {pages = {}},
  topic = {truth-definitions;}
  }

@incollection{ davidson_d:1973b1,
  author = {Donald Davidson},
  title = {The Material Mind},
  booktitle = {Logic, Methodology, and Philosophy of Science {IV}},
  publisher = {North-Holland},
  year = {1973},
  editor = {Patrick Suppes et al.},
  address = {Amsterdam},
  missinginfo = {pages, other editors},
  xref = {Republished: davidson_d:1973a2.},
  topic = {philosophy-of-mind;mind-body-problem;}
  }

@incollection{ davidson_d:1973b2,
  author = {Donald Davidson},
  title = {The Material Mind},
  booktitle = {Mind Design: Philosophy, Psychology, Artificial
  	Intelligence},
  publisher = {The {MIT} Press},
  year = {1981},
  editor = {John Haugeland},
  pages = {339--354},
  address = {Cambridge, Massachusetts},
  xref = {Originally Published: davidson_d:1973a1.},
  topic = {philosophy-of-mind;mind-body-problem;}
  }

@incollection{ davidson_d:1974a,
  author = {Donald Davidson},
  title = {Philosophy as Psychology},
  booktitle = {Philosophy of Psychology},
  editor = {S. C. Brown},
  publisher = {The Macmillan Press},
  year = {1974},
  xref = {Reprinted in davidson_d:1980a.},
  topic = {philosophy-of-mind;}
    }

@article{ davidson_d:1976a,
  author = {Donald Davidson},
  title = {Hempel on Explaining Action},
  journal = {Erkenntnis},
  year = {1976},
  volume = {10},
  pages = {239--253},
  topic = {action;explanation;intentionality;}
  }

@incollection{ davidson_d:1976b1,
  author = {Donald Davidson},
  title = {Moods and Performances},
  booktitle = {Meaning and Use: Papers Presented at the Second
		{J}erusalem Philosophy Encounter},
  publisher = {D. Reidel Publishing Co.},
  year = {1979},
  editor = {Avishai Margalit},
  missinginfo = {pages},
  address = {Dordrecht},
  xref = {Republication: davidson_d:1976b2.},
  topic = {speech-acts;nl-mood;}
  }

@incollection{ davidson_d:1976b2,
  author = {Donald Davidson},
  title = {Moods and Performances},
  booktitle = {Inquiries into Truth and Interpretation},
  publisher = {Oxford University Press},
  year = {1984},
  editor = {Donald Davidson},
  pages = {109--121},
  address = {Oxford},
  xref = {Republication of: davidson_d:1976b1.},
  topic = {speech-acts;nl-mood;}
  }

@incollection{ davidson_d:1976c,
  author = {Donald A. Davidson},
  title = {Reply to {F}oster},
  booktitle = {Truth and Meaning: Essays in Semantics},
  publisher = {Oxford University Press},
  year = {1976},
  editor = {Gareth Evans and John Mc{D}owell},
  pages = {33--41},
  address = {Oxford},
  topic = {Davidson-semantics;}
  }

@incollection{ davidson_d:1976d,
  author = {Donald Davidson},
  title = {Introduction (to a Section on `Formulating the Target')},
  booktitle = {Origins and Evolution of Language and Speech},
  publisher = {New York Academy of Sciences},
  year = {1976},
  editor = {Stevan R. Harnad and Horst D. Steklis and Jane Lancaster},
  pages = {18--19},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;}
  }

@incollection{ davidson_d:1978a,
  author = {Donald Davidson},
  title = {Intending},
  booktitle = {Philosophy of History and Action},
  editor = {Yirmiaku Yovel},
  publisher = {D. Reidel Publishing Company},
  year = {1978},
  xref = {Reprinted in davidson_d:1980a.},
  topic = {intention;}
    }

@incollection{ davidson_d:1978b,
  author = {Donald Davidson},
  title = {The Method of Truth in Metaphysics},
  booktitle = {Contemporary Perspectives in the Philosophy of Language},
  publisher = {University of Minnesota Press},
  year = {1978},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {294--304},
  address = {Minneapolis},
  topic = {holism;philosophy-of-language;metaphysics;}
  }

@incollection{ davidson_d:1979a,
  author = {Donald Davidson},
  title = {Moods and Performances},
  booktitle = {Meaning and Use: Papers Presented at the Second
		{J}erusalem Philosophy Encounter},
  publisher = {D. Reidel Publishing Co.},
  year = {1979},
  editor = {Avishai Margalit},
  pages = {9--20},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {speech-acts;foundations-of-semantics;}
  }

@book{ davidson_d:1980a,
  author = {Donald Davidson},
  title = {Essays on Actions and Events},
  publisher = {Oxford University Press},
  year = {1980},
  address = {Oxford},
  contentnote = {TC:
  		Actions, Reasons, and Causes.
		How is Weakness of the Will Impossible?
		Agency
		Freedom to Act
		Intending
		The Logical Form of Action Sentences
		Criticism, Comment, and Defence [On above article.]
		The Individuation of Events
		Events as Particulars
		Eternal vs. Ephemeral Events
		Mental Events
		Appendix: Emeroses by Other Names
		Psychology as Philosophy
		Comments and Replies [To above article.]
		The Material Mind
		Hempel on Explaining Action
		Hume's Cognitive Theory of Pride
		},
  ISBN = {0198245297},
  rtnote = {UMich Graduate Library, B105.A35 D371.},
  topic = {action;events;philosophy-of-mind;}
 }

@incollection{ davidson_d:1982a,
  author = {Donald Davidson},
  title = {Paradoxes of Irrationality},
  booktitle = {Philosophical Essays on {F}reud},
  publisher = {Cambridge University Press},
  year = {1982},
  editor = {Richard Wollheim and J. Hopkins},
  pages = {289--305},
  address = {Cambridge, England},
  rtnote = {In RHT collection.},
  topic = {irrationality;philosophy-of-mind;}
  }

@book{ davidson_d:1984a,
  author = {Donald Davidson},
  title = {Inquiries into Truth and Interpretation},
  publisher = {Oxford University Press},
  year = {1984},
  address = {Oxford},
  ISBN = {019824617X},
  contentnote = {TC:
     1. "Introduction", pp. xiii--xx
     2. "Theories of Meaning and Learnable Languages", pp. 3--15
     3. "Truth and meaning", pp. 17--36
     4. "True to the Facts", pp. 37--54
     5. "Semantics for Natural Languages", pp. 55--64
     6. "In Defense of Convention T", pp. 65--75
     7. "Quotation", pp. 79--92
     8. "On Saying That", pp. 93--108
     9. "Moods and Performances", pp. 109--121
    10. "Radical Interpretation", pp. 125--139
    11. "Belief and the Basis of Meaning", pp. 141--154
    12. "Thought and Talk", pp. 155--170
    13. "Reply to {F}oster", pp. 171--179
    14. "On the Very Idea of a Conceptual Scheme", pp. 183--198
    15. "The Method of Truth in Metaphysics", pp. 199--214
    16. "Reality without Reference", pp. 215--225
    17. "The Inscrutability of Reference", pp. 227--
    18. "What Metaphors Mean", pp. 245--264
    19. "Communication and Convention", pp. 265--280
  },
 topic = {philosophy-of-language;metaphysics;}
 }

@incollection{ davidson_d:1984b,
  author = {Donald Davidson},
  title = {Quotation},
  booktitle = {Inquiries into Truth and Interpretation},
  publisher = {Oxford University Press},
  year = {1984},
  editor = {Donald Davidson},
  pages = {479--488},
  address = {Oxford},
  topic = {direct-discourse;}
  }

@incollection{ davidson_d:1984c,
  author = {Donald Davidson},
  title = {Radical Interpretation},
  booktitle = {Inquiries Into Truth and Interpretation},
  publisher = {Oxford University Press},
  year = {1984},
  editor = {Donald Davidson},
  pages = {125--139},
  address = {Oxford},
  topic = {radical-interpretation;foundations-of-semantics;
  	philosophy-of-language;}
  }

@incollection{ davidson_d:1984d,
  author = {Donald Davidson},
  title = {The Inscrutability of Reference},
  booktitle = {Inquiries Into Truth and Interpretation},
  publisher = {Oxford University Press},
  year = {1984},
  editor = {Donald Davidson},
  pages = {227--242},
  address = {Oxford},
  topic = {reference;radical-interpretation;foundations-of-semantics;
  	philosophy-of-language;}
  }

@article{ davidson_d:1984e,
  author = {Donald Davidson},
  title = {Communication and Convention},
  journal = {Synth\'ese},
  year = {1984},
  volume = {59},
  number = {1},
  pages = {3--17},
  topic = {philosophy-of-language;convention;pragmatics;}
  }

@incollection{ davidson_d:1986a,
  author = {Donald Davidson},
  title = {A Nice Derangement of Epitaphs},
  booktitle = {Philosophical Grounds of Rationality},
  publisher = {Oxford University Press},
  year = {1986},
  editor = {Richard E. Grandy and Richard Warner},
  pages = {157--174},
  address = {Oxford},
  topic = {philosophy-of-language;implicature;pragmatics;
  	speaker-meaning;Grice;}
  }

@article{ davidson_d:1987a,
  author = {Donald Davidson},
  title = {What Metaphors Mean},
  journal = {Critical Inquiry},
  year = {1987},
  volume = {5},
  number = {31--47},
  pages = {200--220},
  missinginfo = {number},
  topic = {metaphor;pragmatics;}
  }

@incollection{ davidson_d:1993a,
  author = {Donald Davidson},
  title = {Thinking Causes},
  booktitle = {Mental Causation},
  publisher = {Oxford University Press},
  year = {1993},
  editor = {John Heil and Alfred R. Mele},
  pages = {3--17},
  address = {Oxford},
  topic = {mind-body-problem;causality;anomalous-monism;}
  }

@incollection{ davidson_d:1994a,
  author = {Donald Davidson},
  title = {Radical Interpretation Interpreted},
  booktitle = {Philosophical Perspectives, Volume 8:
  	Logic and Language},
  publisher = {Blackwell Publishers},
  year = {1994},
  editor = {James E. Tomberlin},
  pages = {121--128},
  address = {Oxford},
  rtnote = {In RHT collection.  Zip disk.},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {foundations-of-semantics;radical-interpretation;}
  }

@article{ davidson_d:1996a,
  author = {Donald Davidson},
  title = {The Folly of Trying to Define Truth},
  journal = {The Journal of Philosophy},
  year = {1996},
  volume = {93},
  number = {6},
  pages = {263--278},
  contentnote = {Deals with role of theory of truth in an overall theory
    of attitudes, etc.  Appears to be mainly a criticism of
    horwich:1990a.},
  topic = {truth;philosophy-of-language;}
  }

@book{ davidson_d-harman_gh:1972a,
  editor = {Donald Davidson and Gilbert H. Harman},
  title = {Semantics of Natural Language},
  publisher = {D. Reidel Publishing Co.},
  year = {1972},
  address = {Dordrecht},
  ISBN = {90 277 0195 4},
  contentnote = {TC:
     1. Charles J. Fillmore, "Subjects, Speakers and Roles", pp. 1--24
     2. Gilbert H. Harman, "Deep Structure as Logical Form", pp. 25--47
     3. Jerry A. Fodor, "Troubles about Actions", pp. 48--69
     4. John Robert Ross, "Act", pp. 70--126
     5. Terence Parsons, "Some Problems Concerning the Logic of
          Grammatical Modifiers", pp. 127--141`
     6. Richard Montague, "Pragmatics and Intensional Logic", pp. 142--
     7. David Lewis, "General Semantics", pp. 169--218
     8. John Wallace, "On the Frame of Reference", pp. 219--252
     9. Saul A. Kripke, "Naming and Necessity", pp. 253--355
    10. Keith S. Donnellan, "Proper Names and Identifying
     	  Descriptions", pp. 356--379
    11. Robert C. Stalnaker, "Pragmatics", pp. 380--397
    12. Jaakko Hintikka, "The Semantics of Modal Notions and the
    	  Indeterminacy of Ontology", pp. 398--414
    13. Barbara H. Partee, "P[actiy, Coreference, and
          Pronouns", pp. 415--441
    14. Willard V. Quine, "Methodological Reflections on Current
          Linguistic Theory", pp. 442--454
    15. Peter F. Strawson, "Grammar and Philosophy", pp. 455--472
    16. Leonard Linsky, "Analytic/Synthetic and Semantic
          Theory", pp. 473--482
    17. Peter T. Geach, "A Program for Syntax", pp. 483--497
    18. James D. McCawley, "A Program for Logic", pp. 498--544
    19. George Lakoff, "Linguistics and Natural Logic", pp. 545--665
    20. Dana Scott, "Semantical Archaeology: A Parable", pp. 666--674
    21. Hector-Neri Casta\~neda, "On the Semantics of the
           Ought-to-Do", pp. 675--694
    22. Bas C. van Fraassen, "Inference and Self-Reference", pp. 695--708
    23. Paul Ziff, "What is Said", pp. 709--721
    24. L. Jonathan Cohen and Avishai Margalit, "The Role of  Inductive
           Reasoning in the Interpretation of Metaphor", pp. 722--740
    25. Patrick Suppes, "Probabilistic Grammars for Natural
           Languages", pp. 741--762
  },
  rtnote = {In RHT collection.  LL Collections Shelf.},
  topic = {philosophy-of-language;nl-semantics;}
 }

@book{ davidson_d-harman_gh:1975a,
  editor = {Donald Davidson and Gilbert H. Harman},
  title = {The Logic of Grammar},
  publisher = {Dickenson Publishing Co.},
  year = {1975},
  contentnote = {TC:
     1. Donald Davidson and Gilbert Harman, "Introduction", pp. 1--14
     2. Donald Davidson, "Semantics for Natural Languages", pp. 18--24
     3. Alfred Tarski, "Excerpt from {\it The Concept of Truth in
         Formalized Languages}, pp. 25--49
     4. John Wallace, "Nonstandard Theories of Truth", pp. 50--60
     5. Scott Weinstein, "Truth and Demonstratives", pp. 60--63
     6. H.P. Grice, "Logic and Conversation", pp. 64--75
     7. Willard V. Quine, "Logic as a Source of Syntactical
         Insights", pp. 153--159
     8. Emmon Bach, "Nouns and Noun Phrases", pp. 79--99
     9. James D. McCawley, "English as a {VSO} Language", 100--113
    10. Gottlob Frege, "On Sense and Reference", pp. 116--128
    11. Alonzo Church, "On {C}arnap's Analysis of Statements of
          Assertion and Belief", pp. 129--142
    12. Israel Scheffler, "Beliefs and Desires", pp. 131--142
    13. Donald Davidson, "On Saying That", pp. 143--152
    14. Willard V. Quine, "Quantifiers and Propositional
         Attitudes", pp. 153--159
    15. David Kaplan, "Quantifying In", pp. 160-- 181
    16. Bertrand Russell, "On Denoting", pp. 184--193
    17. Willard V. Quine, "Excerpts from {\it Word and
           Object}, pp. 193--199
    18. Tyler Burge, "Reference and Proper Names", pp. 200-- 209
    19. David Kaplan, "What is {R}ussell's Theory of
           Descriptions?", pp. 210--217
    20. Hans Reichenbach, "Excerpts from {\it Elements
           of Symbolic Logic}, pp. 220--234
    21. Donald Davidson, "The Logical Form of Action
           Sentences", pp. 235--245
    22. Donald Davidson, "Causal Relations", pp. 246--254
    23. Zeno Vendler, "Causal Relations", pp. 255--261
    24. Noam Chomsky, "Remarks on Nominalization", pp. 262--289
    25. Gilbert Harman, "Logical Form", pp. 289--307
   },
  address = {Encino, California},
  rtnote = {In RHT Collection.  LL Collections shelf.},
  topic = {philosophy-of-language;nl-semantics;}
 }

@incollection{ davidson_d-harman_gh:1975b,
  author = {Donald Davidson and Gilbert Harman},
  title = {Introduction},
  booktitle = {The Logic of Grammar},
  publisher = {Dickenson Publishing Co.},
  year = {1975},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {1--14},
  address = {Encino, California},
  topic = {philosophy-of-language;nl-semantics;}
  }

@book{ davidson_d-hintikka:1969a,
  editor = {Donald Davidson and Jaakko Hintikka},
  title = {Words and Objections: Essays on the Work of {W.V.O.} {Q}uine},
  publisher = {D. Reidel Publishing Co.},
  year = {1969},
  address = {Dordrecht},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  contentnote = {TC:
          1. J.J.C. Smart, "Quine's Philosophy of Science"
          2. G. Harman, "An Introduction to Translation and Meaning"
          3. E. Stenius, "Beginning with Ordinary Things"
          4. Noam Chomsky, "Quine's Empirical Assumptions"
          5. Jaakko Hintikka, "Behavioral Criteria of Radical Translation"
          6. B. Stroud, "Conventionalism and the Indeterminacy of Translation"
          7. P. Strawson, "Singular terms and Predication"
          8. H.P. Grice, "Vacuous Names"
          9. P.T. Geach, "Quine's Syntactical Insights"
         10. D. Davidson, "On Saying That"
         11. D. Follesdal, "Quine on Modality"
         12. W. Sellars, "Some Problems about Belief"
         13. D. Kaplan, "Quantifying In"
         14. G. Berry, "Logic with Platonism"
         15. R.B. Jensen, "On the Consistency of a Slight (?) Modification
	 	of {Q}uine's {\it {N}ew {F}oundations}"
         16. W.V. Quine, "Replies"
  	},
  topic = {Quine;}
 }

@inproceedings{ davidsson_p:1993a,
  author = {Paul Davidsson},
  title = {Toward a General Solution to the Symbol Grounding Problem:
  	Combining Machine Learning and Computer Vision},
  booktitle = {{AAAI} Fall Symposium Series, Machine Learning in
  	Computer Vision: What, Why and How?},
  publisher = {AAAI Press},
  pages = {157--161},
  year = {1993},
  rtnote = {In RHT collection.},
  topic = {symbol-grounding-problem;}
   }

@incollection{ davies_djm-isard:1972a,
  author = {D.J.M. Davies and S. Isard},
  title = {Utterances as Programs},
  booktitle = {Machine Intelligence 7},
  publisher = {Edinburgh University Press},
  year = {1972},
  editor = {Donald Michie and Bernard Meltzer},
  pages = {325--339},
  missinginfo = {A's 1st name},
  topic = {pragmatics;speech-acts;}
  }

@article{ davies_m:1989a,
  author = {Martin Davies},
  title = {\,`Two Examiners Marked Six Scripts.'  Interpretations
  	of Numerically Quantified Sentence},
  journal = {Linguistics and Philosophy},
  year = {1989},
  volume = {12},
  number = {3},
  pages = {293--323},
  topic = {nl-quantifiers;nl-quantifier-scope;}
  }

@article{ davies_m-humberstone:1980a,
  author = {Martin Davies and Lloyd Humberstone},
  title = {Two Notions of Necessity},
  journal = {Philosophical Studies},
  year = {1980},
  volume = {38},
  pages = {1--30},
  topic = {necessary-truth;}
}

@book{ davies_m-stone_t:1995a,
  editor = {Martin Davies and Tony Stone},
  title = {Folk Psychology: The Theory of Mind Debate},
  publisher = {Blackwell Publishers},
  year = {1995},
  address = {Oxford},
  rtnote = {UMich Undergraduate: BF 441 .F65 1995},
  contentnote = {TC:
  	0.  Tony Stone and Martin Davies, "Introduction"
  	1.  Jane Heal, "Replication and Functionalism"
  	2.  Robert M. Gordon, "Folk Psychology as Simulation"
  	3.  Alvin I. Goldman, "Interpretation Psychologized"
  	4.  Robert M. Gordon, "The Simulation Theory: Objections
		and Misconceptions"
  	5.  Steven Stich and Shaun Nichols, "Folk Pyschology:
		Simulation or Tacit Theory?"
  	6.  Josef Perner and Deborrah Howes, "`He Thinks He
		Knows': and More Developmental Evidence
		against the Simulation (Role-Taking) Theory"
  	7.  Robert M. Gordon, "Reply to {S}tich and {N}ichols"
  	8.  Robert M. Gordon, "Reply to {P}erner and {H}owes"
  	9.  Alvin I. Goldman, "In Defense of the Simulation Theory"
  	10. Paul L. Harris, "From Simulation to Folk Psychology:
		The Case for Development"
  	11. Alsion Gopnik and Henry M. Wellman, "Why the Child's
		Theory of Mind Really {\em Is} a Theory"
  	12. Simon Baron-Cohen and Pippa Cross, Reading the Eyes:
		Evidence for the Role of Perception in the
		Development of a Theory of Mind"
  	13. Simon Blackburn, "Theory, Observation, and Drama"
  	},
  ISBN = {0631195149},
  rtnote = {UMich: Undergraduate BF 441 .F65 1995},
  topic = {folk-psychology;theory-theory-of-folk-psychology;
  	mental-simulation-theory-of-folk-psychology;
	propositional-attitude-ascription;}
}

@book{ davies_m-stone_t:1995b,
  editor = {Martin Davies and Tony Stone},
  title = {Mental Simulation: Evaluations and Applications},
  publisher = {Blackwell Publishers},
  year = {1995},
  address = {Oxford},
  contentnote = {TC:
  	0.  Tony Stone and Martin Davies, "Introduction"
  	1.  Gary Fuller, "Simulation and Psychological Concepts"
  	2.  Jane Heal, "How to think about Thinking"
  	3.  Robert M. Gordon, "Simulation without Introspection or
		Interference from Me to You"
  	4.  Norman H. Freeman, "Theories of Mind in Collision:
		Plausibility and Authority"
  	5.  Steven Stich and Shaun Nichols, "Second Thoughts on
		Simulation"
  	6.  Jerry A. Fodor, "A Theory of the Child's Theory of Mind"
  	7.  Alan M. Leslie and Tim P. German, "Knowledge and
		Ability in `Theory of Mind': One-Eyed Overview
		of a Debate"
  	8.  Gregory Currie, "Imagination and Simulation: Aesthetics
		Meets Cognitive Science"
  	9.  Paul L. Harris, "Imagining and Pretending"
  	10. Alvin I. Goldman, "Empathy, Mind, and Morals"
  	11. Derek Bolton, "Self-Knowledge, Error and Disorder"
  	12. Adam Morton, "Game Theory and Knowledge by Simulation"
  	13. John A. Barnden, "Simulative Reasoning, Common-Sense
		Psychology, and Artificial Intelligence"
  	},
  ISBN = {0631198725},
  rtnote = {UMich Undergraduate BF 449.5 .M461 1995},
  topic = {folk-psychology;theory-theory-of-folk-psychology;
  	mental-simulation-theory-of-folk-psychology;
	propositional-attitude-ascription;}
 }

@incollection{ davies_m-stone_t:1995c,
  author = {Martin Davies and Tony Stone},
  title = {Introduction},
  booktitle = {Folk Psychology: The Theory of Mind Debate},
  publisher = {Blackwell Publishers},
  year = {1995},
  editor = {Martin Davies and Tony Stone},
  pages = {1--44},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {folk-psychology;theory-theory-of-folk-psychology;
  	mental-simulation-theory-of-folk-psychology;
	propositional-attitude-ascription;}
  }

@article{ davies_mk:1978a,
  author = {Martin K. Davies},
  title = {Weak Necessity and Truth Theories},
  journal = {Journal of Philosophical Logic},
  year = {1978},
  volume = {7},
  number = {4},
  pages = {415--439},
  topic = {modal-logic;truth;}
  }

@article{ davies_mk:1982a,
  author = {Martin K. Davies},
  title = {Individuation and the Semantics of Demonstratives},
  journal = {Journal of Philosophical Logic},
  year = {1982},
  volume = {11},
  number = {3},
  pages = {287--310},
  topic = {demonstratives;indexicality;quantifying-in-modality;}
  }

@incollection{ davies_mk:1996a,
  author = {Martin K. Davies},
  title = {Philosophy of language},
  booktitle = {The {B}lackwell Companion To Philosophy},
  publisher = {Blackwell Reference},
  year = {1996},
  editor = {Nicholas Bunnin and E.P. Tsui-James},
  pages = {90--139},
  address = {Oxford},
  topic = {philosophy-of-language;}
  }

@book{ davis_a:1996a,
  author = {A. Davis},
  title = {Lexical Semantics and Linking in the Hierarchical Lexicon},
  publisher = {D. Reidel Publishing Co.},
  year = {1996},
  address = {Dordrecht},
  topic = {lexical-semantics;}
 }

@article{ davis_c:1974a,
  author = {Charles Davis},
  title = {Some Semantically Closed Languages},
  journal = {Journal of Philosophical Logic},
  year = {1974},
  volume = {3},
  number = {3},
  pages = {229--240},
  topic = {nl-semantics;semantic-paradoxes;}
  }

@unpublished{ davis_cc-hellan:1975a,
  author = {Charles C. Davis and  Lars Hellan},
  title = {The Syntax and Semantics of Comparative Constructions},
  year = {1975},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {Montague-grammar;comparative-constructions;}
  }

@article{ davis_e:1987a,
  author = {Ernest Davis},
  title = {Constraint Propagation with Interval Labels},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {32},
  number = {3},
  pages = {281--331},
  topic = {constraint-propagation;}
  }

@incollection{ davis_e:1989a,
  author = {Ernest Davis},
  title = {Solutions to a Paradox of Perception With Limited Acuity},
  booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1989},
  editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter},
  pages = {79--82},
  address = {San Mateo, California},
  contentnote = {This is an attempt to solve the sorites, but Davis
        seems to be ignorant of the problem or the literature on it.},
  topic = {kr;vagueness;sorites-paradox;}
 }

@incollection{ davis_e:1990a,
  author = {Ernest Davis},
  title = {Order of Magnitude Reasoning in Qualitative
    		Differential Equations},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {422--434},
  address = {San Mateo, California},
  topic = {qualitative-physics;qualitative-reasoning;
  		order-of-magnitude-reasoning;}
  }

@book{ davis_e:1991a,
  author = {Ernest Davis},
  title = {Representations of Common Sense Knowledge},
  publisher = {Morgan Kaufmann},
  year = {1991},
  address = {San Francisco},
  xref = {Review: croft_w:1993b.},
  rtnote = {UMich Media Union Library, Q335 .D371 1990.},
  topic = {common-sense-reasoning;kr;kr-course;}
 }

@incollection{ davis_e:1992a,
  author = {Ernest Davis},
  title = {Infinite Loops in Finite Time: Some Observations},
  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 = {47--58},
  address = {San Mateo, California},
  topic = {kr;temporal-reasoning;kr-course;}
  }

@incollection{ davis_e:1992b,
  author = {Ernest Davis},
  title = {Axiomatizing Qualitative Process Theory},
  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 = {177--188},
  address = {San Mateo, California},
  topic = {qualitative-reasoning;kr;}
  }

@article{ davis_e:1993a,
  author = {Ernest Davis},
  title = {{\it Representations of Commonsense Knowledge}: Response
  	to the Reviews},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {61},
  number = {1},
  pages = {175--179},
  xref = {Response to reviews of davis_e:1991a.},
  topic = {common-sense-reasoning;kr;kr-course;}
  }

@article{ davis_e:1999a,
  author = {Ernest Davis},
  title = {Guide to Axiomatizing Domains in First-Order Logic},
  journal = {Electronic Newsletter on Reasoning about Actions and Change},
  year = {1999},
  note = {http://www.cs.nyu.edu/cs/faculty/avise/guide.html.},
  volume = {99002},
  rtnote = {In RHT collection.},
  topic = {macro-formalization;}
 }

@incollection{ davis_e:2001a,
  author = {Ernest Davis},
  title = {Knowledge Representation},
  booktitle = {The International Encyclopedia of the Social
            and Behavioral Sciences},
  editor = {Neil J. Smelser and Paul B. Baltes},
  publisher = {Elsevier},
  address = {Amsterdam},
  year = {2001},
  note = {Forthcoming.},
  topic = {kr-survey;krcourse;}
 }

@article{ davis_e:2001b,
  author = {Ernest Davis},
  title = {Two Machine Learning Textbooks: An Instructor's
  	Perspective},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {131},
  number = {1--2},
  pages = {191--198},
  xref = {Review of mitchell_tm:1997b and witten-frank_e:2000a.},
  topic = {machine-learning;AI-instruction;}
  }

@incollection{ davis_e:2004a,
  author = {Ernest Davis},
  title = {A First-Order Theory of Communicating First-Order Formulas},
  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 = {235--245},
  address = {Menlo Park, California},
  topic = {multiagent-systems;agent-communication;}
  }

@article{ davis_e:2005a,
  author = {Ernest Davis},
  title = {Knowledge and Communication:  A First-Order Theory},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {166},
  number = {1--2},
  pages = {81--139},
  topic = {epistemic-logic;agent-communication;}
  }

@article{ davis_e:2008a,
  author = {Ernest Davis},
  title = {Pouring Liquids: A Study in Commonsense Physical Reasoning},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {12--13},
  pages = {1540--1578},
  topic = {qualitative-physics;common-sense-reasoning;}
  }

@article{ davis_e-morgenstern_l:2001a,
  author = {Ernest Davis and Leora Morgenstern},
  title = {Introduction: Progress in Formal Commonsense Reasoning},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {153},
  number = {5--6},
  note = {Introduction to a special issue of {\it Artificial Intelligence}},
  pages = {1--12},
  topic = {common-sense-reasoning;}
  }

@book{ davis_ld:1987a,
  editor = {Lawrence D. Davis},
  title = {Genetic Algorithms and Simulated Annealing},
  publisher = {Morgan Kaufmann Publishers},
  year = {1987},
  address = {Los Altos, California},
  ISBN = {0934613443 (U.S.)},
  rtnote = {UMich Media Union Library, QA 402.5 .D291 1987.},
  topic = {genetic-algorithms;}
 }

@book{ davis_ld:1991a,
  editor = {Lawrence D. Davis},
  title = {Handbook of Genetic Algorithms},
  publisher = {Van Nostrand Reinhold},
  year = {1991},
  address = {New York},
  ISBN = {0442001738},
  rtnote = {UMich Media Union Library, QA 402.5 .H361 1991.},
  xref = {Reviwew: mitchell_m:1998a.},
  topic = {genetic-algorithms;}
 }

@article{ davis_lh:1979a,
  author = {Lawrence H. Davis},
  title = {An Alternative Formulation of {K}ripke's Theory of Truth},
  journal = {Journal of Philosophical Logic},
  year = {1979},
  volume = {8},
  number = {3},
  pages = {289--296},
  topic = {truth;}
  }

@book{ davis_lh:1979b,
  author = {Lawrence H. Davis},
  title = {Theory of Action},
  publisher = {Prentice-Hall},
  year = {1979},
  address = {Englewood Cliffs, New Jersey},
  ISBN = {0139131523},
  rtnote = {UMich Undergraduate, B105.A35 D26},
  topic = {action;philosophy-of-action;}
}

@incollection{ davis_lh:1985a,
  author = {Lawrence H. Davis},
  title = {Prisoners, Paradox, and Rationality},
  booktitle = {Paradoxes of Rationality and Cooperation},
  publisher = {The University of British Columbia Press},
  year = {1985},
  pages = {45--59},
  address = {Vancouver},
  topic = {rationality;prisoner's-dilemma;}
  }

@incollection{ davis_lh:1985b,
  author = {Lawrence H. Davis},
  title = {Is the Symmetry Argument Valid?},
  booktitle = {Paradoxes of Rationality and Cooperation},
  publisher = {The University of British Columbia Press},
  year = {1985},
  pages = {255--263},
  address = {Vancouver},
  topic = {rationality;prisoner's-dilemma;}
  }

@article{ davis_lh-rosenfeld:1981a,
  author = {Larry S. Davis and Azriel Rosenfeld},
  title = {Cooperating Processes for Low-Level Vision: A Survey},
  journal = {Artificial Intelligence},
  year = {1981},
  volume = {17},
  number = {1--3},
  pages = {245--263},
  acontentnote = {Abstract:
     Cooperating local parallel processes can be used as aids in
     assigning numerical or symbolic labels to image or scene parts.
     Various approaches to using such processes in low-level vision
     are reviewed, and their advantages are discussed. Methods of
     designing and controlling such processes are also considered.},
  topic = {vision;parallel-processing;distributed-processing;}
  }

@article{ davis_m:1980a,
  author = {Martin Davis},
  title = {The Mathematics of Nonmonotonic Reasoning},
  journal = {Artificial intelligence},
  year = {1980},
  volume = {13},
  number = {1--2},
  pages = {73--80},
  rtnote = {This paper is pretty much out of date.},
  contentnote = {M.D. says some things about an early version of
  	circumscription, criticizes Doyle-McDermott for unclarity.},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-logic;}
  }

@incollection{ davis_m:1988a,
  author = {Martin Davis},
  title = {Mathematical Logic and the Origin of Modern Computers},
  booktitle = {The Universal {T}uring Machine: A Half-Century
  	Survey},
  publisher = {Oxford University Press},
  year = {1988},
  editor = {Rolf Herkin},
  pages = {149--174},
  address = {Oxford},
  topic = {history-of-theory-of-computation;history-of-computation;
	history-of-logic;}
  }

@incollection{ davis_m:1988b,
  author = {Martin Davis},
  title = {Influences of Mathematical Logic on Computer Science},
  booktitle = {The Universal {T}uring Machine: A Half-Century
  	Survey},
  publisher = {Oxford University Press},
  year = {1988},
  editor = {Rolf Herkin},
  pages = {315--326},
  address = {Oxford},
  topic = {history-of-theory-of-computation;history-of-computation;
	history-of-logic;}
  }

@incollection{ davis_m:1993a,
  author = {Martin Davis},
  title = {First Order Logic},
  booktitle = {The Handbook of Logic in Artificial Intelligence and
  	Logic Programming, Volume 1: Deductive
		 Methodologies},
  editor = {Dov Gabbay and Christopher Hogger and  J.A. Robinson},
  publisher = {Oxford University Press},
  pages = {31--67},
  address = {Oxford},
  year = {1993},
  missinginfo = {ed's 1st name},
  topic = {kr;logic-survey;kr-course;}
}

@article{ davis_m:1996a,
  author = {Martin Davis},
  title = {American Logic in the 1920s},
  journal = {The Bulletin of Symbolic Logic},
  year = {1996},
  volume = {1},
  number = {3},
  pages = {273--278},
  topic = {history-of-logic;}
  }

@book{ davis_m:2000a,
  author = {Martin Davis},
  title = {The Universal Computer: The Road from {L}eibniz to {T}uring},
  publisher = {W.W. Norton \&\ Company},
  year = {2000},
  address = {New York},
  ISBN = {0-393-04785-7},
  topic = {history-of-computer-science;Leibniz;Turing;}
 }

@article{ davis_m:2005a,
  author = {Martin Davis},
  title = {Review of \emph{{T}uring:  A Novel about Computation},
  		by {C}hristos {P}apidimitriou},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {169},
  number = {2},
  pages = {209--210},
  xref = {Review of: papidimitriou:2003a},
  topic = {novel;AI-editorial;}
  }

@book{ davis_pj:2006a,
  author = {Philip J. Davis},
  title = {Mathematics and Common Sense},
  publisher = {A.K. Peters, Ltd.},
  year = {2006},
  address = {Wellesley, Massachusetts},
  ISBN = {1-56881-270-1},
  topic = {philosophy-of-mathematics;}
 }

@article{ davis_r:1979a1,
  author = {Randall Davis},
  title = {Interactive Transfer of Expertise: Acquisition of New
  	Inference Rules},
  journal = {Artificial Intelligence},
  year = {1979},
  volume = {12},
  number = {2},
  pages = {121--157},
  acontentnote = {Abstract:
     TEIRESIAS is a program designed to provide assistance on the
     task of building knowledge-based systems. It facilitates the
     interactive transfer of knowledge from a human expert to the
     system, in a high level dialog conducted in a restricted subset
     of natural language. This paper explores an example of TEIRESIAS
     in operation and demonstrates how it guides the acquisition of
     new inference rules. The concept of meta-level knowledge is
     described and illustrations given of its utility in knowledge
     acquisition and its contribution to the more general issues of
     creating an intelligent program.},
  xref = {Republication: davis_r:1979a2.},
  topic = {knowledge-acquisition;nl-kr;}
  }

@incollection{ davis_r:1979a2,
  author = {Randall Davis},
  title = {Interactive Transfer of Expertise: Acquisition
          of New Inference Rules},
  booktitle = {Readings in Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  year = {1981},
  editor = {Bonnie Webber and Nils J. Nilsson},
  pages = {410--430},
  address = {Los Altos,

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit