nlp: A compiler for nested logic programming

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2923, Issue , 2004, Pages 361-364

  Sarsakov, Vladimir ^a   Schaub, Torsten ^a,c   Tompits, Hans ^b   Woltran, Stefan ^b  

^a UNIVERSITY OF POTSDAM   (Germany)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^c SIMON FRASER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; PROGRAM COMPILERS; PROGRAM TRANSLATORS; SEMANTICS; BENCHMARKING; OPTIMIZATION; POLYNOMIALS; PROBLEM SOLVING; QUERY LANGUAGES; WEBSITES;

ANSWER SET; ANSWER SET SEMANTICS; BENCH-MARK PROBLEMS; DISJUNCTIVE LOGIC PROGRAMMING; FRONT END; LOGIC PROGRAMS;

LOGIC PROGRAMMING;

LANGUAGE-PRESERVING; LOGIC PROGRAMS; MULTIPLE TRANSFORMATIONS; STRUCTURAL TRANSLATION;

EID: 9444232279     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (6)

1. P. Ferraris and V. Lifschitz. Weight constraints as nested expressions. Theory and Practice of Logic Programming, 2003. To appear.
2. T. Janhunen, I. Niemelä, P. Simons, and J. You. Unfolding partiality and disjunctions in stable model semantics. In Proc. KR-00, pages 411-419. Morgan Kaufmann, 2000.
3. N. Leone, W. Faber, G. Pfeifer, T. Eiter, G. Gottlob, C. Koch, C. Mateis, S. Perri, and F. Scarcello. The dlv system for knowledge representation and reasoning. ACM Transactions on Computational Logic, 2003. To appear.
4. V. Lifschitz, L. Tang, and H. Turner. Nested expressions in logic programs. Annals of Mathematics and Artificial Intelligence, 25(3-4):369-389, 1999.
5. D. Pearce, V. Sarsakov, T. Schaub, H. Tompits, and S. Woltran. A polynomial translation of logic programs with nested expressions into disjunctive logic programs. In Proc. ICLP-02, pages 405-420. Springer, 2002.
6. P. Simons, I. Niemelä, and T. Soininen. Extending and implementing the stable model semantics. Artificial Intelligence, 138(1-2):181-234, 2002.