Handbook of Logic in Artificial Intelligence and Logic Programming Volume 2: Deduction Methodologies |
|
| Author:
| Gabbay, Dov M.
Hogger, C. J.
Robinson, J. A. |
| ISBN: | 978-0-19-853746-5 |
| Publication Date: | Mar 1994 |
| Publisher: | Oxford University Press
|
| Book Format: | Hardback |
| List Price: | AUD $720.91AUD $919.00 |
Book Description:
|
The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-author volume work covering all major areas of application of logic to AI and logic programming. Initially there will be six volumes containing a total of 43 articles, each article averaging around 75 pages in length but with some rather longer as the subject may demand. The authors are chosen on an international basis and are leaders in the fields covered. The Handbook is a closely co-ordinated work...
More DescriptionThe Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-author volume work covering all major areas of application of logic to AI and logic programming. Initially there will be six volumes containing a total of 43 articles, each article averaging around 75 pages in length but with some rather longer as the subject may demand. The authors are chosen on an international basis and are leaders in the fields covered. The Handbook is a closely co-ordinated work which has been under development for the past five years. Volume 2 covers deduction methodologies.