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
By

Rating

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

Reviews

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