Computation as Logic

Prentice-Hall (1993)
  Copy   BIBTEX

Abstract

Logic plays an important role in the two areas of computer science - reduction and resolution respectively associated with functional programming and logic programming. This book illustrates that logic is not only a language in which one can accurately state facts or knowledge (as in artificial intelligence) but also that programming itself is a logical activity.

Categories

Keywords

Reprint years

ISBN(s)

0137700091
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

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

Min-max Computation Tree Logic.Pallab Dasgupta, P. P. Chakrabarti, Jatindra Kumar Deka & Sriram Sankaranarayanan - 2001 - Artificial Intelligence 127 (1):137-162.
Combinators, Computation and Logic.C. S. Calude & M. J. Dinneen - 2002 - Studia Logica 71 (1):144-145.
An Axiomatization of Full Computation Tree Logic.M. Reynolds - 2001 - Journal of Symbolic Logic 66 (3):1011-1057.
An axiomatization of full computation tree logic.M. Reynolds - 2001 - Journal of Symbolic Logic 66 (3):1011-1057.
One-pass tableaux for computation tree logic.Rajeev Gore - manuscript
A clausal resolution method for extended computation tree logic ECTL.Alexander Bolotov & Artie Basukoski - 2006 - Journal of Applied Logic 4 (2):141-167.
Computation paths logic: An expressive, yet elementary, process logic.David Harel & Eli Singerman - 1999 - Annals of Pure and Applied Logic 96 (1-3):167-186.
Computability in Context: Computation and Logic in the Real World.S. B. Cooper & Andrea Sorbi (eds.) - 2011 - World Scientific.
Handbook of Logic in Artificial Intelligence and Logic Programming.Dov M. Gabbay, Christopher John Hogger & J. A. Robinson - 1993
Logic Programming: Proceedings of the Tenth International Conference on Logic Programming.David S. Warren - 1993 - MIT Press.

Analytics

Added to PP
2015-02-13

Downloads
3 (#1,729,579)

6 months
2 (#1,259,876)

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