Search the dblp DataBase

Publications of Author

1. Omar El-Khatib, Enrico Pontelli, Tran Cao Son
   Justification and debugging of answer set programs in ASP. [Citation Graph (0, 0)][DBLP]
   AADEBUG, 2005, pp:49-58 [Conf]
   
2. Enrico Pontelli, Omar El-Khatib
   Exploiting Vertical Parallelism from Answer Set Programs. [Citation Graph (0, 0)][DBLP]
   Answer Set Programming, 2001, pp:- [Conf]
   
3. Omar El-Khatib, Enrico Pontelli, Tran Cao Son
   Integrating an Answer Set Solver into Prolog: ASP-PROLOG. [Citation Graph (0, 0)][DBLP]
   LPNMR, 2005, pp:399-404 [Conf]
   
4. Omar El-Khatib, Enrico Pontelli, Tran Cao Son
   ASP-PROLOG: a system for reasoning about answer set programs in prolog. [Citation Graph (0, 0)][DBLP]
   NMR, 2004, pp:155-163 [Conf]
   
5. Omar El-Khatib, Enrico Pontelli, Tran Cao Son
   ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog. [Citation Graph (0, 0)][DBLP]
   PADL, 2004, pp:148-162 [Conf]
   
6. Enrico Pontelli, Omar El-Khatib
   Construction and Optimization of a Parallel Engine for Answer Set Programming. [Citation Graph (0, 0)][DBLP]
   PADL, 2001, pp:288-303 [Conf]
   
7. 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? [Citation Graph (0, 0)][DBLP]
   PADL, 2002, pp:82-100 [Conf]
   
8. Marcello Balduccini, Enrico Pontelli, Omar El-Khatib, Hung Le
   Issues in parallel execution of non-monotonic reasoning systems. [Citation Graph (0, 0)][DBLP]
   Parallel Computing, 2005, v:31, n:6, pp:608-647 [Journal]
   
9. 
   Justifications for Logic Programs under Answer Set Semantics [Citation Graph (, )][DBLP]