Enhancing disjunctive logic programming systems by SAT checkers

, &
Artificial Intelligence 151 (1-2):177-212 (2003)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(03)00078-x

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

Disjunctive logic programming with types and objects: The DLV+ system.Francesco Ricca & Nicola Leone - 2007 - Journal of Applied Logic 5 (3):545-573.
A game semantics for disjunctive logic programming.Thanos Tsouanas - 2013 - Annals of Pure and Applied Logic 164 (11):1144-1175.
Foundations of Disjunctive Logic Programming.Jorge Lobo, Jack Minker & Arcot Rajasekar - 1992 - MIT Press.
Logic Programming and Nonmonotonic Reasoning 5th International Conference, Lpnmr '99, El Paso, Texas, Usa, December 2-4, 1999 : Proceedings'.Michael Gelfond, Nicole Leone & Gerald Pfeifer - 1999 - Springer.
Implementations of Logic Programming Systems.Evan Tick & Giancarlo Succi - 1994 - Springer Verlag.
Łukasiewicz Logic: From Proof Systems To Logic Programming.George Metcalfe, Nicola Olivetti & Dov Gabbay - 2005 - Logic Journal of the IGPL 13 (5):561-585.
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.
Programming Language Implementation and Logic Programming: 4th International Symposium, Plilp ’92, Leuven, Belgium, August 26–28, 1992 Proceedings.Maurice Bruynooghe - 1992 - Springer.
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).
A logic programming approach to knowledge-state planning, II: The system.Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer & Axel Polleres - 2003 - Artificial Intelligence 144 (1-2):157-211.
Logic Programming and Knowledge Engineering.Tore Amble - 1987 - Addison Wesley Publishing Company.
Programming Language Implementation and Logic Programming 3rd International Symposium, Plilp '91, Passau, Germany, August 26-28, 1991 : Proceedings'.J. Malszy Nski & Martin Wirsing - 1991
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.

Analytics

Added to PP
2020-12-22

Downloads
2 (#1,755,150)

6 months
2 (#1,157,335)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Add more references