Definitions in answer set programming

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

Volumn 2923, Issue , 2004, Pages 114-126

  Erdoʇan, Selim T ^a   Lifschitsz, Vladimir ^a  

^a University of Texas at Austin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; DATABASE SYSTEMS; MATHEMATICAL TRANSFORMATIONS; PROBLEM SOLVING; SEARCH ENGINES; SEMANTICS; SET THEORY; COMPUTER PROGRAMMING;

COMBINATORIAL SEARCH PROBLEMS; PROGRAMMING SYSTEMS; SET PROGRAMMING;

LOGIC PROGRAMMING;

ANSWER SET; ANSWER SET PROGRAMMING; COMBINATORIAL SEARCH; NESTED EXPRESSIONS; PROGRAM CORRECTNESS; RECURSIVE DEFINITIONS; SMODELS;

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

References (10)

1. Thomas Eiter, Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Declarative problem-solving using the DLV system. In Jack Minker, editor, Logic-Based Artificial Intelligence, pages 79-103. Khmer, 2000.
2. Esra Erdem and Vladimir Lifschitz. Tight logic programs. Theory and Practice of Logic Programming, 3:499-518, 2003.
3. Paolo Ferraris and Vladimir Lifschitz. Weight constraints as nested expressions. Theory and Practice of Logic Programming, 2003. To appear.
4. Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. In Robert Kowalski and Kenneth Bowen, editors, Logic Programming: Proc. Fifth Int'l Conf. and Symp., pages 1070-1080, 1988.
5. Michael Gelfond and Vladimir Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365 385, 1991.
6. Michael Gelfond and Halina Przymusinska. Definitions in epistemic specifications. In Anil Nerode, Victor Marek, and V. S. Subrainanian, editors, Logic Programming and Nonmonotonic Reasoning: Proceedings of the First Int'l Workshop, pages 245-259, 1991.
7. Vladimir Lifschitz and Hudson Turner. Splitting a logic program. In Pascal Van Hentenryck, editor, Proc. Eleventh Int'l Conf. on Logic Programming, pages 23-37, 1994.
8. Vladimir Lifschitz, Lappoon R. Tang, and Hudson Turner. Nested expressions in logic programs. Annals of Mathematics and Artificial Intelligence, 25:369 389, 1999.
9. Victor Marek and Mirosław Truszczyński. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: a 25-Year Perspective, pages 375-398. Springer Verlag, 1999.
10. Ilkka Niemelä. Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence, 25:241-273, 1999.