Computational Logic and Human Thinking: How to Be Artificially Intelligent

Kowalski, Robert

ISBN 10: 0521123364 / ISBN 13: 9780521123365

Verlag: Cambridge University Press, 2011

Beschreibung

Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!

Bestandsnummer des Verkäufers S_411765284

Bibliografische Details

• Titel: Computational Logic and Human Thinking: How to Be Artificially Intelligent
• Verlag: Cambridge University Press
• Erscheinungsjahr: 2011
• Sprache: Englisch
• ISBN-10: 0521123364
• ISBN-13: 9780521123365
• Einband: Paperback
• Zustand: Good

Über diesen Titel

Inhaltsangabe

Robert Kowalski demonstrates how ordinary people in their everyday life can profit from the advances of computational logic that have been developed for artificial intelligence. This book is an eye-opening read for any student who employs practical thinking, problem solving and communication skills.

Über die Autorin bzw. den Autor

Robert Kowalski is Emeritus Professor and Research Investigator in the Department of Computing at Imperial College London. He recently received the IJCAI 2011 Award for Research Excellence for his contributions to logic for knowledge representation and problem solving, including his pioneering work on automated theorem proving and logic programming.