Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming
Author:   Dov M. Gabbay (Professor of Computing, Professor of Computing) ,  C.J. Hogger (Department of Computing, Department of Computing, both t Imperial College) ,  J. A. Robinson (Department of Computing, Department of Computing, Syracuse University)
Publisher:   Oxford University Press
ISBN:  

9780198537922


Pages:   814
Publication Date:   08 January 1998
Format:   Hardback
Availability:   To order   Availability explained
Stock availability from the supplier is unknown. We will order it for you and ship this item to you once it is received by us.

Our Price $604.95 Quantity:  
Add to Cart

Share |

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


Add your own review!

Overview

Full Product Details

Author:   Dov M. Gabbay (Professor of Computing, Professor of Computing) ,  C.J. Hogger (Department of Computing, Department of Computing, both t Imperial College) ,  J. A. Robinson (Department of Computing, Department of Computing, Syracuse University)
Publisher:   Oxford University Press
Imprint:   Oxford University Press
Dimensions:   Width: 16.40cm , Height: 5.00cm , Length: 24.20cm
Weight:   1.331kg
ISBN:  

9780198537922


ISBN 10:   0198537921
Pages:   814
Publication Date:   08 January 1998
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   To order   Availability explained
Stock availability from the supplier is unknown. We will order it for you and ship this item to you once it is received by us.

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


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


Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now