We use cookies to provide essential features and services. By using our website you agree to our use of cookies .


Warehouse Stock Clearance Sale

Grab a bargain today!

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5


Product Description
Product Details

Table of Contents

1: Introduction to Logic Programming
2: Equational Logic Programming
3: Proof Procedure for Logic Programming
4: The Role of Abduction in Logic Programming
5: Semantics for Disjunctive Logic Programs
6: Negation as Failure, Completion and Statificaiton
7: Metaprogramming in Logic Programming
8: Higher-order Logic Programming
9: Constraint Logic Programming
10: Transformation of Logic Programs


From reviews of previous volumes: '... the Handbook 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

Ask a Question About this Product More...
Item ships from and is sold by Fishpond Retail Limited.

Back to top