Sitewide Free Shipping - Limited Time Only - No Minimum Spend - T&C's Apply
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $0
Logic-Based Artificial Intelligence - Jack Minker

Logic-Based Artificial Intelligence

By: Jack Minker

eText | 6 December 2012 | Edition Number 1

At a Glance

eText

$369.01

or 4 interest-free payments of $92.25 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.
The use of mathematical logic as a formalism for artificial intelligence was recognized by John McCarthy in 1959 in his paper on Programs with Common Sense. In a series of papers in the 1960's he expanded upon these ideas and continues to do so to this date. It is now 41 years since the idea of using a formal mechanism for AI arose. It is therefore appropriate to consider some of the research, applications and implementations that have resulted from this idea. In early 1995 John McCarthy suggested to me that we have a workshop on Logic-Based Artificial Intelligence (LBAI). In June 1999, the Workshop on Logic-Based Artificial Intelligence was held as a consequence of McCarthy's suggestion. The workshop came about with the support of Ephraim Glinert of the National Science Foundation (IIS-9S2013S), the American Association for Artificial Intelligence who provided support for graduate students to attend, and Joseph JaJa, Director of the University of Maryland Institute for Advanced Computer Studies who provided both manpower and financial support, and the Department of Computer Science. We are grateful for their support. This book consists of refereed papers based on presentations made at the Workshop. Not all of the Workshop participants were able to contribute papers for the book. The common theme of papers at the workshop and in this book is the use of logic as a formalism to solve problems in AI.
on
Desktop
Tablet
Mobile

You Can Find This eBook In

Non-FictionComputing & I.T.Computer ScienceArtificial IntelligencePhilosophyPhilosophy & Logic

Other Editions and Formats

Paperback

Published: 9th November 2012

View Product

More in Artificial Intelligence

AI-Powered Search - Trey Grainger

eBOOK

AI-Powered Search

eBook

$52.99

The Compass - Bob Pearson

eBOOK

The Compass

eBook

RRP $20.89

$19.99

Human-Agent Manifesto - Ronald Myers

eBOOK

Human-Agent Manifesto

eBook

$14.99

Coming of Age : Shared Intelligence - Steven Yates

eBOOK

Coming of Age

Shared Intelligence

eBook

RRP $16.49

$15.99

This product is categorised by