2006 | ||
---|---|---|
4 | EE | Tran Cao Son, Enrico Pontelli, Islam Elkabani: An Unfolding-Based Semantics for Logic Programming with Aggregates CoRR abs/cs/0605038: (2006) |
2005 | ||
3 | EE | Islam Elkabani, Enrico Pontelli, Tran Cao Son: SmodelsA - A System for Computing Answer Sets of Logic Programs with Aggregates. LPNMR 2005: 427-431 |
2004 | ||
2 | EE | Islam Elkabani, Enrico Pontelli, Tran Cao Son: Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP. ICLP 2004: 73-89 |
1 | EE | Enrico Pontelli, Tran Cao Son, Islam Elkabani: Smodels with CLP?A Treatment of Aggregates in ASP. LPNMR 2004: 356-360 |
1 | Enrico Pontelli | [1] [2] [3] [4] |
2 | Tran Cao Son | [1] [2] [3] [4] |