Omar El-Khatib

Publication Activity (10 Years)

Years Active: 2001-2009
Publications (10 Years): 0

Publications

Enrico Pontelli, Tran Cao Son, Omar El-Khatib
Justifications for logic programs under answer set semantics. Theory Pract. Log. Program. 9 (1) (2009)
Enrico Pontelli, Tran Cao Son, Omar El-Khatib
Justifications for Logic Programs under Answer Set Semantics CoRR (2008)
Omar El-Khatib, Enrico Pontelli, Tran Cao Son
A Tool for Knowledge Base Integration and Querying. AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering (2006)
Marcello Balduccini, Enrico Pontelli, Omar El-Khatib, Hung Le
Issues in parallel execution of non-monotonic reasoning systems. Parallel Comput. 31 (6) (2005)
Omar El-Khatib, Enrico Pontelli, Tran Cao Son
Justification and debugging of answer set programs in ASP. AADEBUG (2005)
Omar El-Khatib, Enrico Pontelli, Tran Cao Son
Integrating an Answer Set Solver into Prolog: ASP-PROLOG. LPNMR (2005)
Omar El-Khatib, Enrico Pontelli, Tran Cao Son
ASP-PROLOG: a system for reasoning about answer set programs in prolog. NMR (2004)
Omar El-Khatib, Enrico Pontelli, Tran Cao Son
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog. PADL (2004)
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)
Enrico Pontelli, Omar El-Khatib
Construction and Optimization of a Parallel Engine for Answer Set Programming. PADL (2001)
Enrico Pontelli, Omar El-Khatib
Exploiting Vertical Parallelism from Answer Set Programs. Answer Set Programming (2001)