Jump to ContentJump to Main Navigation
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming - Oxford Scholarship Online
Users without a subscription are not able to see the full content.

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

Dov M. Gabbay, C.J. Hogger, and J. A. Robinson

Abstract

Logic is now widely recognized as one of the foundational disciplines of computing and has applications in virtually all aspects of the subject, from software engineering and hardware to programming languages and artificial intelligence. The Handbook of Logic in Artificial Intelligence and its companion The Handbook of Logic in Computer Science were created in response to the growing need for an in-depth survey of these applications. This handbook comprises five volumes, each an in-depth overview of one of the major topics in this area. The result of years of cooperative effort by internationa ... More

Bibliographic Information

Print publication date: 1998 Print ISBN-13: 9780198537922
Published to Oxford Scholarship Online: November 2020 DOI:10.1093/oso/9780198537922.001.0001

Authors

Affiliations are at time of print publication.

Dov M. Gabbay, editor

C.J. Hogger, editor

J. A. Robinson, editor

Show Summary Details

subscribe or login to access all content.

Contents

View:

2 Equational Logic Programming

Michael J. O’Donnell

3 Proof Procedures for Logic Programming

Donald W. Loveland and Gopalan Nadathur

4 The Role of Abduction in Logic Programming

A. C. Kakas and R. A. Kowalski

7 Meta-Programming in Logic Programming

P. M. Hill and J. Gallagher

8 Higher-Order Logic Programming

Gopalan Nadathur and Dale Miller

9 Constraint Logic Programming: A Survey

Joxan Jaffar and Michael J. Maher

10 Transformation of Logic Programs

Alberto Pettorossi and Maurizio Proietti

End Matter