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

Dov M. Gabbay

ISBN 10: 019853745X / ISBN 13: 9780198537458

Verlag: Oxford University Press, Oxford, 1993

Beschreibung

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 UK warehouse or from our Australian or US warehouses, depending on stock availability.

Bestandsnummer des Verkäufers 9780198537458

Bibliografische Details

• Titel: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations (Hardcover)
• Verlag: Oxford University Press, Oxford
• Erscheinungsjahr: 1993
• Sprache: Englisch
• ISBN-10: 019853745X
• ISBN-13: 9780198537458
• Einband: Hardcover
• Zustand: new

Über diesen Titel

Inhaltsangabe

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.

Über die Autorin bzw. den Autor

Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.