Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations
Seiten
1993
Clarendon Press (Verlag)
978-0-19-853745-8 (ISBN)
Clarendon Press (Verlag)
978-0-19-853745-8 (ISBN)
Provides authoritative exposition, comprehensive survey, and fundamental research exploring the underlying unifying themes in the various areas of application of logic in artificial intelligence and computer science. The book assumes as background some mathematical sophistication.
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.
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.
List of contributors ; 1.1 The role(s) of logic in artificial intelligence ; 1.2 First order logic ; 1.3 Methods and calculi for deduction ; 1.4 Deduction systems based on resolution ; 1.5 Equational reasoning and term rewriting systems ; 1.6 Basic modal logic ; 1.7 Logical features of Horn clauses ; Author index ; Subject index
| Erscheint lt. Verlag | 24.6.1993 |
|---|---|
| Reihe/Serie | Handbook of Logic in Artificial Intelligence and Logic Programming |
| Zusatzinfo | numerous line drawings, tables |
| Verlagsort | Oxford |
| Sprache | englisch |
| Maße | 162 x 242 mm |
| Gewicht | 910 g |
| Themenwelt | Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik |
| Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika | |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-10 | 0-19-853745-X / 019853745X |
| ISBN-13 | 978-0-19-853745-8 / 9780198537458 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Hardcover (2012)
Westermann Schulbuchverlag
CHF 44,90
Schulbuch Klassen 7/8 (G9)
Buch | Hardcover (2015)
Klett (Verlag)
CHF 29,90
Buch | Softcover (2004)
Cornelsen Verlag
CHF 23,90
