SMODELSA - A system for computing answer sets of logic programs

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

Volumn 3662 LNAI, Issue , 2005, Pages 427-431

  Elkabani, Islam ^a   Pontelli, Enrico ^a   Son, Tran Cao ^a  

^a NEW MEXICO STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33646027597     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11546207_40     Document Type: Conference Paper

References (3)

1. T. Dell'Armi, W. Faber, G. Ielpa, N. Leone, G. Pfeifer. Aggregate Functions in Disjunctive Logic Programming: Semantics,Complexity,and Implementation in DLV. IJCAI, 2003.
2. I. Elkabani, E. Pontelli, and T.C. Son. Smodels with clp and its applications: A simple and effective approach to aggregates in asp. Int. Conference Logic Programming, pp. 73-89, 2004.
3. T.C. Son, E. Pontelli, and I. Elkabani. A Translational Semantics for Aggregates in Logic Programming. Technical Report NMSU-CS-2005-005, New Mexico State University, 2005.