Logic is now widely recognized to be one of the foundational disciplines of computing with applications in virtually all aspects of the subject, from software engineering and hardware development to programming languages and artificial intelligence. There is a 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 and its companion, Handbook of Logic in Computer Science, have been created in response to this need. This book is a combination of authoritative exposition, comprehensive survey, and fundamental research that explores underlying unifying themes in the various subject areas. Chapters have been written by an internationally renowned team of researchers and are coordinated in terms of the theories discussed and the examples offered. This book will be of interest to graduate students and researchers in all areas of artificial intelligence, computer science, and logic, as well as to logicians and mathematicians.
'The standard of exposition is always high; some of the chapters are a delight to read. All parts of the Handbook should be accessible to anyone with a graduate course level background in logic; in some cases even less will suffice ... the editors' choice is very reasonable and the contributors have also made fair use of their freedom to emphasize what they believe is important. The novice will not be let astray if she follows the paths cut through the
jungle of current research. For the expert the volumes provides reliable surveys and useful teaching aids. The Handbook promises to become a unique collection of some of the finest work in AI.'
André Fuhrmann, University of Konstanz, Studia Logica
`three volumes of the handbook of Logic in Artificial Intelligence and Logic Programming represent a detailed and comprehensive exposition of the theoretical and computational features of a wide variety of classical and non-classical logics ... the Handbook can be unreservedly recommended to AI practitionrs with proficiency in logic and commitment to its role in the development of AI systems'
Maria Fox, University College, London, The Computer Journal, Vol. 37, No. 9, 1994
List of contributors
1.1: David J. Israel: The role(s) of logic in artificial intelligence
1.2: Martin Davis: First order logic
1.3: W. Bibel and E. Eder: Methods and calculi for deduction
1.4: Norbert Eisinger and Hans Jürgen Ohlbach: Deduction systems based on resolution
1.5: David A. Plaisted: Equational reasoning and term rewriting systems
1.6: Melvin Fitting: Basic modal logic
1.7: Wilfrid Hodges: Logical features of Horn clauses
Series: Handbook of Logic in Artificial Intelligence and Logic Progr : Book 1
Number Of Pages: 536
Published: 24th June 1993
Country of Publication: GB
Dimensions (cm): 23.93 x 15.8
Weight (kg): 1.01