Description
Book SynopsisProvides 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.
Trade ReviewReview of the first three volumes: `.. an essential acquisition for any library covering theoretical computer science and highly desirable for any researcher in the field.' Times Higher Education Supplement
Review of the first three volumes: `... the first three volumes... represent a detailed and comprehensive exposition of the theoretical and computational features of a wide variety of classical and non-classical logics.' `... can be unreservedly recommended to AI practitioners with proficiency in logic and commitment to its role in the development of AI systems.' The Computer Journal
Table of ContentsList 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
