AI - Bibliography : D

Paul Dagum

• Approximating probabilistic inference in Bayesian belief networks is NP-hard. Artificial Intelligence, 1993

Ole-Johan Dahl

• (Simula 67) common base language. Technical Report N. S-22, Norsk Regnesentral (Norwegian Computing Center), Oslo. 1970

George B. Dantzig

• On the significance of solving linear programming problems with some integer variables. Econometrica,1960

Adnan Youssef Darwiche

• A symbolic generalization of probability theory. In Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), San Jose, California. AAAI Press. 1992

Charles Darwin

• 종의 기원 (On the Origin of Species by Means of Natural Selection), 1859

Donald Davidson

• Essays on Actions and Events. Oxford University Press, Oxford. 1980

Todd R. Davies

• Analogy. Informal Note IN-CSLI-85-4, Center for the Study of Language and Information (CSLI), Stanford, California. 1985
• A logical approach to reasoning by analogy. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87), volume 1, Milan, Italy. Morgan Kaufmann. 1987

Ernest Davis : publications

• Representing and Acquiring Geographic Knowledge. Pitman and Morgan Kaufmann, London and San Mateo, California. 1986
• Representations of Commonsense Knowledge. Morgan Kaufmann, San Mateo, California. 1990

Martin Davis

• A computer program for Presburger's algorithm. In Summer Institute for Symbolic Logic, 1957
• A Computing Procedure for Quantification Theory, Journ. Assoc. of Comp. Mach., 1960

Randall Davis

• Meta-Rules: Reasoning about Control, Artificial Intelligence, 1980
• Knowledge-Based Systems in Artificial Intelligence. McGraw-Hill, New York. 1982

Richard Dawkins

• 이기적 유전자 (The Selfish Gene), 1976

Peter Dayan : publications

• The convergence of TDlambda for general lambda. Machine Learning, 1992
• Theoretical Neuroscience : Computational and Mathematical Modeling of Neural Systems, MIT Press, 2001

F. Timothy de Dombal

• Human and computer-aided diagnosis of abdominal pain: Further report with emphasis on performance of clinicians. British Medical Journal, 1974
• Geographical variation in disease presentation. Medical Decision Making, 1981

Bruno de Finetti

• Foresight: Its logical laws, its subjective sources. In Kyburg, H. E. & Smokler, H. E., editors, Studies in Subjective Probability, Krieger, New York. 1937
• Le prévision: ses lois logiques, ses sources subjectives. Ann. Inst. Poincaré, 7:1-68. Translated into English as de Finetti, 1937

Adriann D. de Groot

• Het Denken van den Schaker. Elsevier/North-Holland, Amsterdam, London, New York. Translated as de Groot, 1978. 1946
• Thought and Choice in Chess. Mouton, The Hague and Paris, second edition. 1978

Johan De Kleer : publications

• Qualitative and quantitative knowledge in classical mechanics. Technical Report AI-TR-352, MIT Artificial Intelligence Laboratory. 1975
• AMORD: explicit control of reasoning. SIGPLAN Notices, 1977
• A qualitative physics based on confluences. In Hobbs, J. R. & Moore, R. C., editors, Formal Theories of the Commonsense World, Ablex, Norwood, New Jersey. 1985
• An Assumption-Based TMS, Artificial Intelligence, 1986
• Extending the ATMS, Artificial Intelligence, 1986
• Problem Solving with the ATMS : Artificial Intelligence, 1986
• Building problem solvers : Forbus, K. and de Kleer, MIT Press, 1992

Augustus de Morgan

• On the syllogism IV and on the logic of relations. Cambridge Philosophical Transactions, 1864

Luc De Raedt

• Interactive Theory Revision: An Inductive Logic Programming Approach. Academic Press, New York. 1992
• Machine Learning - Proceedings of the 7th European Conference on Machine Learning, F. Bergadano, L. De Raedt (Eds.),  Lecture Notes in AI, Vol. 784, Springer Verlag, 1994 

Thomas Dean

• An Analysis of Time-Dependent Planning : in Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI-88), Menlo Park, CA: AAAI Press, 1988
• Hierarchical planning involving deadlines, travel time, and resources : Computational Intelligence, 1989
• A model for reasoning about persistence and causation : Computational Intelligence, 1989
• Planning and Control, San Francisco: Morgan Kaufmann, 1991
• Uncertainty in Graph-Based Map Learning : in Connell, J., & Mahadevan, S. (eds.), {Robot Learning}, Boston: Kluwer Academic Publishers, 1993
• Planning with deadlines in stochastic domains : In Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93), Washington, D.C. AAAI Press. 1993
• 인공지능 이론 및 실제 (Artificial Intelligence: Theory and Practice) : Thomas Dean. James Allen. John Aloimonos, Addison-Wesley, 1995

Gerald Debreu

• Topological methods in cardinal utility theory. In Arrow, K. J., Karlin, S., & Suppes, P., editors, Mathematical Methods in the Social Sciences, 1959. Stanford University Press, Stanford, California. 1960

Rina Dechter

• Generalized best-first search strategies and the optimality of A*. Journal of the Association for Computing Machinery, 1985
• "Bucket Elimination: A Unifying Framework for Probabilistic Inference," in Proceedings of the Twelfth Conference on Uncertainty in AI, San Francisco: Morgan Kaufmann, 1996

Morris H. DeGroot

• Optimal Statistical Decisions. McGraw-Hill, New York. 1970
• Probability and Statistics. Addison-Wesley, Reading, Massachusetts, second edition. Reprinted with corrections. 1989

Gerald Dejong

• Generalizations based on explanations. In Proceedings of the Seventh International Joint Conference on Artificial Intelligence (IJCAI-81), Vancouver, British Columbia. Morgan Kaufmann. 1981
• Explanation-based learning: An alternative view. Machine Learning, 1986

Arthur P. Dempster

• A Generalization of Bayesian Inference, Journal of the Royal Statistical Society, Series B, 1968
• Maximum Likelihood from Incomplete Data via the EM Algorithm, Journal of the Royal Statistical Society, Series B, 1977

Daniel Dennett : Publication

• Content and Consciousness : . Routledge and Kegan Paul, London. 1969
• Intentional Systems : The Journal of Philosophy, 1971
• Brainstorms: Philosophical Essays on Mind and Psychology : MIT Press, Cambridge, Massachusetts, first edition. 1978
• Why you can't make a computer that feels pain : Synthese, 1978
• Cognitive wheels: the frame problem of AI : In Hookway, C., editor, Minds, Machines, and Evolution: Philosophical Studies, Cambridge University Press, Cambridge. 1984
• 이런 이게 바로 나야 (THE MIND'S I : Fantasies and Reflections on Self and Soul) : Basics Books, 1981
• The moral first aid manual : Tanner lectures on human values, University of Michigan.1986
• Darwin's Dangerous Idea : New York: Simon & Schuster, 1995

Narsingh Deo : publications

• Shortest path algorithms: Taxonomy and annotation : Technical Report CS-80-057, Computer Science Department, Washington State University. 1982
• Graph Theory with Application to Engineering and Computer Science : Prentice-Hall, Englewood Cliffs, N.J., 1974
• Combinatorial Algorithms: Theory and Practice :  with E.M. Reingold and J. Nievergelt, Prentice-Hall, Englewood Cliffs, NJ., 1977

Yannick Descotte

• Making compromises among antagonist constraints in a planner. Artificial Intelligence, 1985

J. Anthony Deutsch

• The Structural Basis of Behavior, Chicago: The University of Chicago Press, 1960

Prem Devanbu : publications

•   LaSSIE: a knowledge-based software information system. Communications of the Association for Computing Machinery, 1991

Keith Devlin : books

• Logic and Information. Cambridge University Press. 1991
• Goodbye Descartes:The End of Logic and the Search for a New Cosmology of the Mind, John Wiley (1997).
• 수학 : 새로운 황금시대 (Mathematics: The New Golden Age), Second Edition, Columbia University Press (1999).
• 수학 세계 탐험기 (All the Math that's Fit to Print)
• 수학 : 양식의 과학 (MATHEMATICS: The Science of Patterns)
• The Math Instinct: Why You’re a Mathematical Genius (along with Lobsters, Birds, Cats, and Dogs), Avalon Publishing: Thunder's Mouth Press (2005).

Ernst D. Dickmanns

• Autonomous high speed road vehicle guidance by computer vision. In Isermann, R., editor, Automatic Control-World Congress, 1987: Selected Papers from the 10th Triennial World Congress of the International Federation of Automatic Control, Munich, Germany. Pergamon. 1987

Thomas Dietterich : Publications

• Machine learning. Annual Review of Computer Science, 1990
• Error-Correcting Output Codes: A General Method for Improving Multiclass Inductive Learning Programs, in Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91), Menlo Park, CA: AAAI Press. 1991
• Solving Multiclass Learning Problems via Error-Correcting Output Codes, Journal of Artificial Intelligence Research, 1995

Edsger W. Dijkstra

• A Note on Two Problems in Connection with Graphs, Numerische Mathematik, 1959

Mehmet Dincbas : COSYTEC

• Metacontrol of logic programs in METALOG. In Proceedings of the International Conference on Fifth-Generation Computer Systems, Tokyo. Elsevier/North-Holland. 1984

William Orr Dingwall

• The evolution of human communicative behavior. In Newmeyer, F. J., editor, Linguistics: The Cambridge Survey, Vol. III, Cambridge University Press. 1988

Jon Doyle : Publications

• A Truth Maintenance System : Artificial Intelligence, 1979. (Reprinted in Webber, B., & Nilsson, N. (eds.), Readings in Artificial Intelligence, San Francisco: Morgan Kaufmann, 1981.) 1979
• A model for deliberation, action, and introspection : Technical Report AI-TR-581, Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, Massachusetts. Republished PhD dissertation. 1980
• What is rational psychology? Toward a modern mental philosophy : AI Magazine, 1983
• Two theses of knowledge representation: language restrictions, taxonomic classification, and the utility of representation services : Artificial Intelligence, 1991

Brian Drabble

• Mission scheduling for spacecraft: Diaries of T- SCHED. In Expert Planning Systems, Institute of Electrical Engineers. 1990

Denise Draper

• Probabilistic planning with information gathering and contingent execution. In Proceedings 2nd AIPS. 1994

Hubert Dreyfus

• What Computers Can't Do: A Critique of Artificial Reason. Harper and Row, New York, first edition. 1972
• What Computers Can't Do: The Limits of Artificial Intelligence. Harper and Row, New York, revised edition. 1979
• What Computers Still Can't Do: A Critique of Artificial Reason, Cambridge, MA: MIT Press, 1992
• Mind over Machine: The Power of Human Intuition and Expertise in the Era of the Computer, (with T. Athanasiou), Oxford: Blackwell, 1986

Stuart Dreyfus

• An appraisal of some shortest-paths algorithms. Operations Research, 1969
• How Reliable are Computer Models of Socioeconomic Systems?, ACM Conference on Critical Issues, 1990.
Making a Mind Versus Modeling the Brain: Artificial Intelligence Back at a Branchpoint (with H. Dreyfus),Daedulus, Winter 1988
Mind Over Machine (with H. Dreyfus), Free Press, 1986

Didier Dubois

• A survey of belief revision and updating rules in various uncertainty models. International Journal of Intelligent Systems, 1994

Richard O. Duda

• Subjective Bayesian Methods for Rule-Based Inference Systems, Proc. AFIPS Nat. Computer Conference}, vol. 47:1075-1082, 1976. (Reprinted in Webber, B., and Nilsson, N. (eds.), {Readings in Artificial Intelligence, San Francisco: Morgan Kaufmann, 1981.) 1976
• Model design in the PROSPECTOR consultant system for mineral exploration. In Michie, D., editor, Expert Systems in the Microelectronic Age, Edinburgh University Press, Edinburgh, Scotland. 1979
• Pattern Classification, second edition, New York: John Wiley & Sons, 1998

Michael G. Dyer : publications

• In-Depth Understanding: A Computer Model of Integrated Processing for Narrative Comprehension. MIT Press. 1983

Clive L. Dym

• Knowledge-Based Systems in Engineering, New York: McGraw-Hill, 1991
• Computing Futures in Engineering Design, 1997

Saso Dzeroski : publications

• PAC-learnability of determinate logic programs, S. Dzeroski, S. Muggleton, and S. Russell, In Proceedings of the Fifth Annual ACM Workshop on Computational Learning Theory (COLT-92), Pittsburgh, Pennsylvania. ACM Press. 1992
• Engineering applications of inductive logic programming. I. Bratko, and S. Dzeroski. New Generation Computing, 13: 313-333, (Special issue on Inductive Logic Programming), 1995.