Handbook of Logic in Artificial Intelligence and Logic Programming Logical Foundations |
|
Editor:
| Gabbay, Dov M. Hogger, C. J. Robinson, J. A. Siekmann, J. |
Series title: | Handbook of Logic in Artificial Intelligence and Logic Programming Ser. |
ISBN: | 978-0-19-853745-8 |
Publication Date: | Aug 1993 |
Publisher: | Oxford University Press, Incorporated
|
Imprint: | Clarendon Press |
Book Format: | Hardback |
List Price: | USD $490.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.