| * | 2009 |
|---|
| 10 | EE | Enrico Pontelli,
Tran Cao Son,
Omar El-Khatib:
Justifications for logic programs under answer set semantics.
TPLP 9(1): 1-56 (2009) |
| 2008 |
|---|
| 9 | EE | Enrico Pontelli,
Tran Cao Son,
Omar El-Khatib:
Justifications for Logic Programs under Answer Set Semantics
CoRR abs/0812.0790: (2008) |
| 2005 |
|---|
| 8 | EE | Omar El-Khatib,
Enrico Pontelli,
Tran Cao Son:
Justification and debugging of answer set programs in ASP.
AADEBUG 2005: 49-58 |
| 7 | EE | Omar El-Khatib,
Enrico Pontelli,
Tran Cao Son:
Integrating an Answer Set Solver into Prolog: ASP-PROLOG.
LPNMR 2005: 399-404 |
| 6 | EE | Marcello Balduccini,
Enrico Pontelli,
Omar El-Khatib,
Hung Le:
Issues in parallel execution of non-monotonic reasoning systems.
Parallel Computing 31(6): 608-647 (2005) |
| 2004 |
|---|
| 5 | EE | Omar El-Khatib,
Enrico Pontelli,
Tran Cao Son:
ASP-PROLOG: a system for reasoning about answer set programs in prolog.
NMR 2004: 155-163 |
| 4 | EE | Omar El-Khatib,
Enrico Pontelli,
Tran Cao Son:
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog.
PADL 2004: 148-162 |
| 2002 |
|---|
| 3 | EE | Gopal Gupta,
Hai-Feng Guo,
Arthur I. Karshmer,
Enrico Pontelli,
Juan Raymundo Iglesias,
Desh Ranjan,
Brook Milligan,
Nayana Datta,
Omar El-Khatib,
Mohammed Noamany,
Xinhong Zhou:
Semantics-Based Filtering: Logic Programming's Killer App?
PADL 2002: 82-100 |
| 2001 |
|---|
| 2 | EE | Enrico Pontelli,
Omar El-Khatib:
Exploiting Vertical Parallelism from Answer Set Programs.
Answer Set Programming 2001 |
| 1 | EE | Enrico Pontelli,
Omar El-Khatib:
Construction and Optimization of a Parallel Engine for Answer Set Programming.
PADL 2001: 288-303 |
