Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Levesque, Hector J. Add to Alert Profile  
 
Options:
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  

   
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy