Emphasizing theory and implementation issues more than specific applications and Prolog programming techniques, this book by David Maier and Davis S. Warren, respected researchers in logic programming, is a superb book.

Nigel Ford's book purports to be both an introduction to AI and an examination of whether machines are cognizant entities.With this pairing, Ford intends to begin at the beginning, answering the question "what is AI?" and to proceed to his main thesis about whether machines can think. Unfortunately, Ford is unable to move on to the higher plane of his main thesis.

Yoav Shoham's revised doctoral dissertation is not fully comprehensible to all readers, but it provides a good introduction to reasoning about change; the references are sometimes incomplete, however.

Emphasizing theory and implementation issues more than specific applications and Prolog programming techniques, this book by David Maier and Davis S. Warren, respected researchers in logic programming, is a superb book.

The second Natural Language Understanding and Logic Programming (NLULP) Workshop was held on 17-19 August 1987 at Simon Fraser University, Vancouver, British Columbia, Canada, (the first NLULP workshop was held three years ago in Rennes, France).

An informal workshop on concurrent logic programming, metaprogramming, and open systems was held at Xerox Palo Alto Research Center (PARC) on 8-9 September 1987 with support from the Association for the Advancement of Artificial Intelligence. The 50 workshop participants came from the Japanese Fifth Generation Project (ICOT), the Weizmann Institute of Sci-ence in Israel, Imperial College in London, the Swedish Institute of Computer Science, Stanford University, the Mas-sachusetts Institute of Technology (MIT), Carnegie Mellon University (CMU), Cal Tech, Science University of Tokyo, Melbourne University, Calgary University, University of Wisconsin, Case Western Reserve, University of Oregon, Korea Advanced Institute of Science and Technology (KAIST), Quintus, Symbolics, IBM, and Xerox PARC. No proceedings were generated; instead, participants distributed copies of drafts, slides, and recent papers.

Johnson-Laird In a field choked with seemingly impenetrable jargon, Quick and thorough. Philip Johnson-Laird has done the impossible: written a By mixing forward and backward chaining, goal search book about how the mind works that requires no advance time can be shortenedramatically And, using GURU's knowledge of artificial intelligence, neurophysiology, or multiple rule firing capabilityou can refire rules psychology, providing the single best introduction to cognitive as values change GURU also comes equipped with science available. "Philip Johnson-Laird has that rare gift of being a cognitive seamlessly integrated 4th generation decision support scientist of the first order, yet he addresses himself to capabilitiesuch as data base, spreadsheet, and the deep classical issues in psychology, in the philosophy report generator

An informal workshop on concurrent logic programming, metaprogramming, and open systems was held at Xerox Palo Alto Research Center (PARC) on 8-9 September 1987 with support from the Association for the Advancement of Artificial Intelligence. The 50 workshop participants came from the Japanese Fifth Generation Project (ICOT), the Weizmann Institute of Sci-ence in Israel, Imperial College in London, the Swedish Institute of Computer Science, Stanford University, the Mas-sachusetts Institute of Technology (MIT), Carnegie Mellon University (CMU), Cal Tech, Science University of Tokyo, Melbourne University, Calgary University, University of Wisconsin, Case Western Reserve, University of Oregon, Korea Advanced Institute of Science and Technology (KAIST), Quintus, Symbolics, IBM, and Xerox PARC. No proceedings were generated; instead, participants distributed copies of drafts, slides, and recent papers.

CACM, 31, 38–43.

Did you know your Organization can subscribe to the ACM Digital Library?