Handbook of Logic in Artificial Intelligence and Logic Programming Logical Foundations |
|
Editor:
| Gabbay, Dov M. Hogger, C. J. Robinson, J. A. Siekmann, J. |
ISBN: | 978-0-19-853745-8 |
Publication Date: | Jun 1993 |
Publisher: | Oxford University Press
|
Book Format: | Hardback |
List Price: | AUD $720.91AUD $919.00 |
Book Description:
|
BL A comprehensive five volume work BL Sets the standard in reference for logic and artificial intelligence The Handbook of Logic in Artificial Intelligence and Logic Programming will be published in five volumes. The handbook comes in response to the growing need for an in-depth survey of the applications of logic in artificial intelligence and computer science. This first volume presents the logical foundations and deductionmethodologies extensively used in AI.
BL A comprehensive five volume work BL Sets the standard in reference for logic and artificial intelligence The Handbook of Logic in Artificial Intelligence and Logic Programming will be published in five volumes. The handbook comes in response to the growing need for an in-depth survey of the applications of logic in artificial intelligence and computer science. This first volume presents the logical foundations and deductionmethodologies extensively used in AI.