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: 91,219

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

Programming Language Implementation and Logic Programming: 4th International Symposium, Plilp ’92, Leuven, Belgium, August 26–28, 1992 Proceedings.Maurice Bruynooghe - 1992 - Springer.
Programming Language Implementation and Logic Programming 3rd International Symposium, Plilp '91, Passau, Germany, August 26-28, 1991 : Proceedings'.J. Malszy Nski & Martin Wirsing - 1991
Theoretical Computer Science Selected Papers of the Symposium on Programming Language Implementation and Logic Programming , Passau, Germany, 26-28 August, 1991.J. Malszy Nski & Martin Wirsing - 1995 - Elsevier.
Programming Language Implementation and Logic Programming: 6th International Symposium, Plilp '94, Madrid, Spain, September 14 - 16, 1994. Proceedings.Manuel Hermenegildo & Jaan Penjam - 1994 - Springer Verlag.
Logic Programming: Proceedings of the Joint International Conference and Symposium on Logic Programming.Krzysztof R. Apt & Association for Logic Programming - 1992 - MIT Press (MA).
Logic Programming: Proceedings of the Fifth International Conference and Symposium.Robert Kowalski & Kenneth A. Bowen - 1988 - MIT Press (MA).
Programming Language Implementation and Logic Programming: 5th International Symposium, Plilp '93, Tallinn, Estonia, August 25-27, 1993 : Proceedings.Maurice Bruynooghe & Jaan Penjam - 1993 - Springer Verlag.
Programming Language Implementation and Logic Programming International Workshop Plilp '90, Linköping, Sweden, August 20-22, 1990 : Proceedings'.Pierre Deransart - 1990 - Springer Verlag.
Programming Languages Implementation and Logic Programming International Workshop Plilp '88, Orléans, France, May 16-18, 1988 : Proceedings'.Pierre Deransart, Bernard Lorho & J. Malszy Nski - 1989
Logic Programming and Automated Reasoning 4th International Conference, Lpar '93, St. Petersburg, Russia, 13-20, 1993 : Proceedings'.Andrei Voronkov - 1993 - Springer Verlag.
Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings.Gerard Comyn & Norbert E. Fuchs - 1992 - Springer Verlag.
Logic Programming: Proceedings of the 1990 North American Conference.Saumya Debray & Manuel Hermenegildo - 1990 - MIT Press.
Logic Programming: Proceedings of the 1991 International Symposium.Vijay Saraswat, Kazunori Ueda & Association for Logic Programming - 1991 - MIT Press.
Implementations of Logic Programming Systems.Evan Tick & Giancarlo Succi - 1994 - Springer Verlag.
Logic Programming: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming.Joxan Jaffar - 1998 - MIT Press.

Analytics

Added to PP
2016-06-30

Downloads
7 (#1,316,802)

6 months
4 (#698,851)

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