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