Search
for Author
All Reviews
Levesque, Hector J.
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
4
of
4
reviews
Thinking as computation: a first course
Levesque H., The MIT Press, Cambridge, MA, 2012. 328 pp. Type: Book (978-0-262016-99-5), Reviews: (2 of 2)
This text is an example of computer science education in the 21st century. The author did not break the ice in introducing this new philosophy, but he is certainly enjoying the swim....
...
May 24 2012
Thinking as computation: a first course
Levesque H., The MIT Press, Cambridge, MA, 2012. 328 pp. Type: Book (978-0-262016-99-5), Reviews: (1 of 2)
Can computers think? Well, some might ask if people can think... Is thinking a form of computation? Can mere symbolic processing be equated with thought? These questions have dogged the intellect at least since the days of von Neumann ...
...
May 18 2012
Incremental execution of guarded theories
De Giacomo G., Levesque H., Sardiña S. ACM Transactions on Computational Logic 2(4): 495-525, 2001. Type: Article
The authors extend previous work that introduced the Golog language. Golog is a language for reasoning about state and change, based on the situation calculus, and implemented as a Prolog interpreter....
...
Apr 24 2002
The logic of knowledge bases
Levesque H., Lakemeyer G., MIT Press, Cambridge, MA, 2000. 282 pp. Type: Book (9780262122320)
The authors present their research into the problem of extending the classical logics to assign the value “unknown” to those formulas whose truth values are truly unknown. The book extends the usual first-order logi...
...
May 1 2001
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy