Computational Logic and Human Thinking: How to Be Artificially Intelligent

Kowalski, Robert

ISBN 10: 0521123364 / ISBN 13: 9780521123365

Verlag: Cambridge University Press, 2011

Beschreibung

Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.

Bestandsnummer des Verkäufers SHUB352057

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: Softcover
• Zustand: Neu

Ü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.