ASP – PROLOG: A system for reasoning about answer set programs in prolog

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3057, Issue , 2004, Pages 148-162

  Elkhatib, Omar ^a   Pontelli, Enrico ^a   Son, Tran Cao ^a  

^a NEW MEXICO STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING;

ANSWER SET; ANSWER SET PROGRAMMING; CIAO-PROLOG; COMBINED SYSTEM; EXPRESSIVE POWER; SMODELS; STABLE MODEL;

PROLOG (PROGRAMMING LANGUAGE);

EID: 84974712420     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24836-1_11     Document Type: Conference Paper

References (18)

1. The DLV Wrapper Project. 160.97.47.246:8080/Wrapper, 2003.
2. L. Castro, T. Swift, and D.S. Warren. XASP: Answer Set Programming with XSB and Smodels. SUNY Stony Brook, 2002. xsb.sourceforge.net/packages/xasp.pdf.
3. T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. The KR System dlv: Progress Report, Comparisons, and Benchmarks. In KR-98, pages 406-417, 1998.
4. M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programs. In ICLPS-88, pages 1070-1080. MIT Press, 1988.
5. K. Heljanko and I. Niemela. Answer Set Programming and Bounded Model Checking. In TPLP, 3(4):519-550, 2003.
6. M. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M.J. García de la Banda, P. López-García, and G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Parallelism and Implementation of Logic and Constraint Logic Programming, pages 65-85. Nova Science, Commack, NY, USA, April 1999.
7. Y. Lierler and M. Maratea. Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. In LPNMR’04, pages 346-350, 2004.
8. V. Lifschitz. Action Languages, Answer Sets, and Planning. In The Logic Programming Paradigm. Springer Verlag, 1999.
9. F. Lin and Y. Zhao. ASSAT: Computing Answer Sets of A Logic Program By SAT Solvers. In AAAI, pages 112-117, 2002.
10. J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Heidelberg, 1987.
11. V.W. Marek and M. Truszczyński. Stable Models and an Alternative Logic Programming Paradigm. In K.R. Apt, V.W. Marek, M. Truszczi´nski, and D. S. Warren, editors, The Logic Programming Paradigm. Springer Verlag, 1999.
12. I. Niemela. Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm. Annals of Mathematics and AI, 25(3/4):241-273, 1999.
13. I. Niemela and P. Simons. Smodels-An Implementation of the Stable Model and Well-Founded Semantics for Normal LP. In LPNMR-97, pages 421-430, 1997.
14. M. Nogueira, M. Balduccini, M. Gelfond, R. Watson, and M. Barry. An A-Prolog Descision Support System for the Space Shuttle. In PADL-01, pages 169-183, 2001.
15. M. Pineda and F. Bueno. The O’Ciao Approach to Object Oriented Logic Programming. In Colloquium on Implementation of Constraint Logic Programming Systems, 2002.
16. T.C. Son and E. Pontelli. Planning with preferences using logic programming. In LPNMR’04, pages 247-260, 2004.
17. T. Syrjänen. Lparse User’s Manual. http://www.tcs.hut.fi/Software/smodels/.
18. T. Syrjänen. Implementation of Local Grounding for Logic Programs with Stable Model Semantics. Technical Report B-18, Helsinki University of Technology, 1998.