Ernest Davis (davis-e)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Davis, Ernest. 1987. “Constraint Propagation with Interval Labels.” Artificial Intelligence 32(3): 281–331.
Davis, Ernest. 1989. “Solutions to a Paradox of Perception with Limited Acuity.” in KR’89: Principles of Knowledge Representation and Reasoning, edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter, pp. 79–82. San Francisco, California: Morgan Kaufmann Publishers.
Davis, Ernest. 1990. “Order of Magnitude Reasoning in Qualitative Differential Equations.” in Readings in Qualitative Reasoning about Physical Systems, edited by Daniel S. Weld and Johan de Kleer, pp. 422–434. San Francisco, California: Morgan Kaufmann Publishers.
Davis, Ernest. 1991. Common Sense Reasoning. San Francisco, California: Morgan Kaufmann Publishers.
Davis, Ernest. 1992a. “Infinite Loops in Finite Time: Some Observations.” in KR’92: Principles of Knowledge Representation and Reasoning, edited by Bernhard Nebel, Charles Rich, and William R. Swartout, pp. 47–58. San Francisco, California: Morgan Kaufmann Publishers.
Davis, Ernest. 1992b. “Axiomatizing Qualitative Process Theory.” in KR’92: Principles of Knowledge Representation and Reasoning, edited by Bernhard Nebel, Charles Rich, and William R. Swartout, pp. 177–188. San Francisco, California: Morgan Kaufmann Publishers.
Davis, Ernest. 1993. “Representations of Commonsense Knowledge: Response to the Reviews.” Artificial Intelligence 61(1): 175–179.
Davis, Ernest. 1999. “Guide to Axiomatizing Domains in First-Order Logic.” Electronic Newsletter on Reasoning about Actions and Change 99002.
Davis, Ernest. 2001a. “Knowledge Representation.” in The International Encyclopedia of the Social and Behavioral Sciences, edited by Neil J. Smelser and Paul B. Baltes. Amsterdam: Elsevier Science Publishers B.V.
Davis, Ernest. 2001b. “Two Machine Learning Textbooks: An Instructor’s Perspective.” Artificial Intelligence 131(1–2): 191–198.
Davis, Ernest and Morgenstern, Leora. 2001. “Introduction: Progress in Formal Commonsense Reasoning.” Artificial Intelligence 153(5–6).