Logic and programming

&

Abstract

This chapter locates logic programming in the context of the history of ideas, and in particular the tradition concerned with the formalising of human reasoning using logic.

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,654

External links

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

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Selected papers published before 1996.Vladimir Lifschitz - manuscript
Fixpoint Semantics for Logic Programming A Survey.Melvin Fitting - unknown
Bilattices In Logic Programming.Melvin Fitting - unknown
Computability theory, semantics, and logic programming.Melvin Fitting - 1987 - Oxford: Clarendon Press.
What is answer set programming?Vladimir Lifschitz - unknown
Logic for computer scientists.Uwe Schöning - 1989 - Boston: Birkhäuser.
Temporal Phylogenetic Networks and Logic Programming.Vladimir Lifschitz - unknown
Using criticalities as a heuristic for answer set programming.Orkunt Sabuncu, Ferda N. Alpaslan & Varol Akman - 2003 - In Vladimir Lifschitz & Ilkka Niemela (eds.), Logic Programming and Nonmonotonic Reasoning, Lecture Notes in Artificial Intelligence 2923 (7th International Conference, LPNMR 2004, Fort Lauderdale, FL, January 6-8, 2004 Proceedings). Berlin, Heidelberg: Springer. pp. 234-246.
Hybrid probabilistic logic programs as residuated logic programs.Carlos Viegas Damásio & Luís Moniz Pereira - 2002 - Studia Logica 72 (1):113 - 138.

Analytics

Added to PP
2010-07-24

Downloads
3 (#1,721,534)

6 months
1 (#1,498,899)

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