| |
|
|
| |
| | Ernest Davis received his BS in mathematics from MIT in 1977 and his PhD in computer science from Yale in 1984. He has been on the faculty of the Computer Science Department at the Courant Institute, New York University since 1983. Davis’ research area is the representation of commonsense knowledge in AI systems. His work has focused primarily on spatial and physical reasoning, but he has also done work in reasoning about knowledge, belief, plans, and goals, and their interaction with physical reasoning. He is currently working in collaboration with Gary Marcus of the NYU Psychology Department on combining AI and psychological models of commonsense physical reasoning. Davis is the author of more than 50 scientific papers and three books: Representing and Acquiring Geographic Knowledge (1986); Representations of Commonsense Knowledge (1990); and Linear Algebra and Probability for Computer Science Applications (2012). He has created four regular courses in the Computer Science Department curriculum, including one of the first courses on web search engines offered anywhere. He has supervised nine doctoral theses and five master’s theses. He has served as a program committee member for 50 scientific conferences and workshops and as a referee for 15 journals. In addition, he served as book reviews editor for IEEE Expert and is currently an area editor for ACM Transactions on Computational Logic. Davis writes book and article reviews on topics ranging across computer science, mathematics, cognitive psychology, history of science, scientific biography, digital humanities, invented languages, and children’s literature. In addition to Computing Reviews, these have been published in SIAM News, Artificial Intelligence, IEEE Expert, American Scientist, Mythprint, The Times Literary Supplement, and The New Yorker. |
| |
| |
|
Date Reviewed |
|
| |
1 - 10 of 13
reviews
|
|
|
 |
|
|
|
|
 Leonhard Euler: mathematical genius in the Enlightenment
Calinger R., Princeton University Press, Princeton, NJ, 2015. 696 pp. Type: Book (978-0-691119-27-4)
In the pantheon of great mathematicians, Leonhard Euler (1707-1783) is one of the supreme deities. It is not possible even to outline his accomplishments within the word limit of this review. Euler was the founding father of the calcul...
|
Sep 8 2016 |
|
|
|
|
|
|
Dance notations and robot motion
Laumond J., Abe N., Springer Publishing Company, Incorporated, New York, NY, 2015. 430 pp. Type: Book (978-3-319257-37-2)
Dance is the most perishable of the arts. Traditionally, dances are taught by one generation of dancers to the next; if memory fails or the chain of transmission breaks, then the dance is lost. Recent works of major significance have b...
|
Feb 24 2016 |
|
|
|
|
|
|
Machine translation
Bhattacharyya P., Chapman & Hall/CRC, Boca Raton, FL, 2015. 248 pp. Type: Book (978-1-439897-18-8)
Machine translation (MT) was one of the earliest goals of artificial intelligence (AI) research; its first rise in the late 1950s and fall in the mid-1960s is one of the classic examples of excessive hype followed by dramatic deflation...
|
Aug 25 2015 |
|
|
|
|
|
|
An empirical perspective on representing time
Scheuermann A., Motta E., Mulholland P., Gangemi A., Presutti V. K-CAP 2013 (Proceedings of the 7th International Conference on Knowledge Capture, Banff, Canada, Jun 23-26, 2013) 89-96, 2013. Type: Proceedings
What is the best way to represent a state that changes over time, such as “Obama is the President of the United States” (that is, in 2014)? This kind of issue arises constantly in developing ontologies for use in th...
|
Aug 1 2014 |
|
|
|
|
|
|
Three views of logic: mathematics, philosophy, and computer science
Loveland D., Hodel R., Sterrett S., Princeton University Press, Princeton, NJ, 2014. 344 pp. Type: Book (978-0-691160-44-3), Reviews: (1 of 2)
Mathematical logic historically had its roots in mathematics and philosophy, and is one of the foundations of computer science (CS). All three disciplines continue to contribute to the development of the field, and each provides a diff...
|
Apr 17 2014 |
|
|
|
|
|
|
Case-based reasoning: a textbook
Richter M., Weber R., Springer Publishing Company, Incorporated, New York, NY, 2013. 450 pp. Type: Book (978-3-642401-66-4)
Learning from experience, using knowledge of past problems and their solutions to find a solution to the problem at hand, is one of the central forms of both natural and machine learning. Most machine learning algorithms divide this pr...
|
Jan 27 2014 |
|
|
|
|
|
|
Bootstrapping a game with a purpose for commonsense collection
Herdağdelen A., Baroni M. ACM Transactions on Intelligent Systems and Technology 3(4): 1-24, 2012. Type: Article
The problem of incorporating human commonsense knowledge into a computer program and using that knowledge for intelligent tasks has been recognized as a central problem in artificial intelligence (AI) since the inception of the field. ...
|
Sep 19 2013 |
|
|
|
|
|
|
Artificial Intelligence (v. 194): Special Issue on Artificial Intelligence, Wikipedia and Semi-Structured Resources
Artificial Intelligence 2013. Type: Journal
Wikipedia is one of the noblest manifestations of the spirit of the Information Age. It is also one of the most astonishing. Who could have predicted in 1985 that in 20 years a significant fraction of the world’s population w...
|
Feb 8 2013 |
|
|
|
|
|
|
Exploiting qualitative spatial reasoning for topological adjustment of spatial data
Wallgrün J. SIGSPATIAL 2012 (Proceedings of the 20th International Conference on Advances in Geographic Information Systems, Redondo Beach, CA, Nov 6-9, 2012) 229-238, 2012. Type: Proceedings
Suppose you have collected geographic information about a collection of objects and their positions. Their shapes are recorded accurately, but their positions may be misrecorded or misperceived. You additionally have information constr...
|
Jan 25 2013 |
|
|
|
|
|
|
Robust grasping under object pose uncertainty
Hsiao K., Kaelbling L., Lozano-Pérez T. Autonomous Robots 31(2-3): 253-268, 2011. Type: Article
The apparently simple act of moving a robot manipulator so as to grasp a target object can involve many complex issues, particularly when the position of the object is imperfectly known....
|
Apr 17 2012 |
|
|
|
|
|
| |
|
|
| |
|
|
