Clausal Form Logic: An Introduction to the Logic of Computer Reasoning

Authors:
Tom Richards
Affiliations:
-
Venue:
Clausal Form Logic: An Introduction to the Logic of Computer Reasoning
Year:
1989

Citing 0
Cited 2

An intelligent middleware for linear correlation discovery

Decision Support Systems
An Order-Sorted Resolution with Implicitly Negative Sorts

Proceedings of the 17th International Conference on Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

From the Publisher:This unique book provides a gentle introduction to an increasingly important type of formal logic called CLAUSAL FORM LOGIC (CFL). Having evolved out of human reasoning, CFL represents the ideal to which all computer-based systems must approximate. Most present day computational logic systems are based on it, including the well-know artificial intelligence language PROLOG.