rent-now

Rent More, Save More! Use code: ECRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

9780198537458

Handbook of Logic in Artificial Intelligence and Logic Programming Volume 1: Logical Foundations

by ; ; ;
  • ISBN13:

    9780198537458

  • ISBN10:

    019853745X

  • Format: Hardcover
  • Copyright: 1993-08-05
  • Publisher: Clarendon Press

Note: Supplemental materials are not guaranteed with Rental or Used book purchases.

Purchase Benefits

List Price: $555.32 Save up to $159.65
  • Rent Book $395.67
    Add to Cart Free Shipping Icon Free Shipping

    TERM
    PRICE
    DUE
    USUALLY SHIPS IN 3-5 BUSINESS DAYS
    *This item is part of an exclusive publisher rental program and requires an additional convenience fee. This fee will be reflected in the shopping cart.

How To: Textbook Rental

Looking to rent a book? Rent Handbook of Logic in Artificial Intelligence and Logic Programming Volume 1: Logical Foundations [ISBN: 9780198537458] for the semester, quarter, and short term or search our site for other textbooks by Gabbay, Dov M.; Hogger, C. J.; Robinson, J. A.; Siekmann, J.. Renting a textbook can save you up to 90% from the cost of buying.

Summary

Logic is now widely recognized to be one of the foundational disciplines of computing with applications in virtually all aspects of the subject, from software engineering and hardware development to programming languages and artificial intelligence. There is a growing need for an in-depth survey of the applications of logic in AI and computer science. The Handbook of Logic in Artificial Intelligence and Logic Programming and its companion, Handbook of Logic in Computer Science , have been created in response to this need. This book is a combination of authoritative exposition, comprehensive survey, and fundamental research that explores underlying unifying themes in the various subject areas. Chapters have been written by an internationally renowned team of researchers and are coordinated in terms of the theories discussed and the examples offered. This book will be of interest to graduate students and researchers in all areas of artificial intelligence, computer science, and logic, as well as to logicians and mathematicians.

Table of Contents

List of contributors
The role(s) of logic in artificial intelligence
First order logic
Methods and calculi for deduction
Deduction systems based on resolution
Equational reasoning and term rewriting systems
Basic modal logic
Logical features of Horn clauses
Author index
Subject index
Table of Contents provided by Publisher. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program