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

Addison Wesley Publishing Company (1989)
  Copy   BIBTEX

Abstract

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.

Categories

Keywords

Reprint years

ISBN(s)

0201129205

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,173

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Logic for Computer Science.Steve Reeves & Michael Clarke - 1990 - Addison Wesley Publishing Company.
From Standard Logic to Logic Programming: Introducing a Logic Based Approach to Artificial Intelligence.André Thayse & Paul Gochet - 1988
Logic Programming: Proceedings of the Joint International Conference and Symposium on Logic Programming.Krzysztof R. Apt & Association for Logic Programming - 1992 - MIT Press (MA).
We Will Show Them: Essays in Honour of Dov Gabbay.S. Artemov, H. Barringer, A. Garcez, L. Lamb & J. Woods (eds.) - 2005 - London: College Publications.
Obstacles to the development of logic-based models of legal reasoning.Donald H. Berman & Carole D. Hafner - 1988 - In Charles Walter (ed.), Computer power and legal language: The use of computational models in linguistics, artificial intelligence, and expert systems in the law. Quorum Books.
An Introduction to Default Logic.Philippe Besnard - 2010 - Springer.
Logic Programming: Proceedings of the Tenth International Conference on Logic Programming.David S. Warren - 1993 - MIT Press.
Simply Logical: Intelligent Reasoning by Example.Peter Flach - 1994 - Wiley.
Machinations: Computational Studies of Logic, Language, and Cognition.Richard Spencer-Smith, Steve Torrance & Stephen B. Torrance - 1992 - Intellect Books.
Temporal Logic: Mathematical Foundations and Computational Aspects.Dov M. Gabbay, Ian Hodkinson & Mark A. Reynolds - 1994 - Oxford University Press on Demand.

Analytics

Added to PP
2015-02-02

Downloads
10 (#1,467,566)

6 months
4 (#1,246,333)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references