Exploiting Vertical Parallelism from Answer Set Programs. - Enrico Pontelli; Omar El-Khatib (Answer Set Programming, 2001)

Construction and Optimization of a Parallel Engine for Answer Set Programming. - Enrico Pontelli; Omar El-Khatib (PADL, 2001)

Semantics-Based Filtering: Logic Programming's Killer App? - Gopal Gupta 001; Hai-Feng Guo; Arthur I. Karshmer; Enrico Pontelli; Juan Raymundo Iglesias; Desh Ranjan; Brook Milligan; Nayana Datta; Omar El-Khatib; Mohammed Noamany; Xinhong Zhou (PADL, 2002)

ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog. - Omar El-Khatib; Enrico Pontelli; Tran Cao Son (PADL, 2004)

Justification and debugging of answer set programs in ASP. - Omar El-Khatib; Enrico Pontelli; Tran Cao Son (AADEBUG, 2005)

Integrating an Answer Set Solver into Prolog: ASP-PROLOG. - Omar El-Khatib; Enrico Pontelli; Tran Cao Son (LPNMR, 2005)

Issues in parallel execution of non-monotonic reasoning systems. - Marcello Balduccini; Enrico Pontelli; Omar El-Khatib; Hung Le (Parallel Comput., 2005)

A Tool for Knowledge Base Integration and Querying. - Omar El-Khatib; Enrico Pontelli; Tran Cao Son (AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 2006)

Justifications for logic programs under answer set semantics. - Enrico Pontelli; Tran Cao Son; Omar El-Khatib (Theory Pract. Log. Program., 2009)