Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations (Hardcover)

Dov M. Gabbay

ISBN 10: 019853745X / ISBN 13: 9780198537458

Edité par Oxford University Press, Oxford, 1993

A propos de cet article

Hardcover. Logic is now widely recognized to be one of the foundational disciplines of computing and has found applications in virtually all aspects of the subject, from software engineering and hardware to programming languages and artificial intelligence. This Handbook has been created in response to the growing need for an in-depth survey of the applications of logic in AI and computer science.The Handbook of Logic in ArtificialIntelligence and Logic Programming will be published in five volumes. Each volume provides a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying unifying themes inthe various areas. this first volume presents the logical foundations and deduction methodologies extensively used in AI. An in-depth survey of the applications of logic in artificial intelligence and computer science. This first volume presents the logical foundations and deduction methodologies extensively used in AI. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. N° de réf. du vendeur 9780198537458

Détails bibliographiques

Titre : Handbook of Logic in Artificial Intelligence...

Éditeur : Oxford University Press, Oxford

Date d'édition : 1993

Reliure : Hardcover

Etat : new

A propos de ce titre

Synopsis :

Logic is now widely recognized to be one of the foundational disciplines of computing and has found applications in virtually all aspects of the subject, from software engineering and hardware to programming languages and artificial intelligence. This Handbook has been created in response to the 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 will be published in five volumes. Each volume provides a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying unifying themes in the various areas. this first volume presents the logical foundations and deduction methodologies extensively used in AI.