Logic programming as classical inference

Journal of Applied Logic 13 (3):316-369 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2015.06.003

Links

PhilArchive



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

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

Review of Stephen Muggleton, Ed.: inductive logic programming. [REVIEW]Bradley L. Richards - 1996 - Journal of Applied Non-Classical Logics 6 (3):289-291.
Uniform proofs as a foundation for logic programming.Dale Miller, Gopalan Nadathur, Frank Pfenning & Andre Scedrov - 1991 - Annals of Pure and Applied Logic 51 (1-2):125-157.
Traditional Logic and Computational Thinking.J. -Martín Castro-Manzano - 2021 - Philosophies 6 (1):12.
Using Specialisation to Reconstruct Two Mode Inference Systems.C. S. Mellish - 1991 - Department of Artificial Intelligence, University of Edinburgh.
Programming in Martin-Löf's Type Theory. An Introduction.Kent Petersson & Jan M. Smith - 1992 - Journal of Symbolic Logic 57 (1):272-274.
A neural implementation of multi-adjoint logic programming.J. Medina, E. Mérida-Casermeiro & M. Ojeda-Aciego - 2004 - Journal of Applied Logic 2 (3):301-324.
Disjunctive logic programming with types and objects: The DLV+ system.Francesco Ricca & Nicola Leone - 2007 - Journal of Applied Logic 5 (3):545-573.
From Logic Programming to Prolog.Krzysztof R. Apt - 1997
Some Normalization Properties of Martin-Löf's Type Theory, and Applications.David A. Basin & Douglas J. Howe - 1991 - Department of Artificial Intelligence, University of Edinburgh.
Incorporating equality into logic programming via surface deduction.P. T. Cox & T. Pietrzykowski - 1986 - Annals of Pure and Applied Logic 31:177-189.

Analytics

Added to PP
2016-06-30

Downloads
8 (#1,343,911)

6 months
4 (#863,607)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Disjunctive logic programs, answer sets, and the cut rule.Éric Martin - 2022 - Archive for Mathematical Logic 61 (7):903-937.

Add more citations

References found in this work

The Stable Model Semantics for Logic Programming.Melvin Fitting - 1992 - Journal of Symbolic Logic 57 (1):274-277.
Infinitary logic and admissible sets.Jon Barwise - 1969 - Journal of Symbolic Logic 34 (2):226-252.
Minimal belief and negation as failure.Vladimir Lifschitz - 1994 - Artificial Intelligence 70 (1-2):53-72.

View all 6 references / Add more references