Omar El-Khatib

11 papers B 1C 3Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2009 J jnl
Justifications for logic programs under answer set semantics.
Theory Pract. Log. Program.
Enrico Pontelli, Tran Cao Son, Omar El-Khatib
2008 J jnl
Justifications for Logic Programs under Answer Set Semantics
CoRR
Enrico Pontelli, Tran Cao Son, Omar El-Khatib
2006 — conf
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
Omar El-Khatib, Enrico Pontelli, Tran Cao Son
2005 B conf
Integrating an Answer Set Solver into Prolog: ASP-PROLOG.
LPNMR
Omar El-Khatib, Enrico Pontelli, Tran Cao Son
2005 J jnl
Issues in parallel execution of non-monotonic reasoning systems.
Parallel Comput.
Marcello Balduccini, Enrico Pontelli, Omar El-Khatib, Hung Le
2005 — conf
Justification and debugging of answer set programs in ASP.
AADEBUG
Omar El-Khatib, Enrico Pontelli, Tran Cao Son
2004 C conf
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog.
PADL
Omar El-Khatib, Enrico Pontelli, Tran Cao Son
2004 — conf
ASP-PROLOG: a system for reasoning about answer set programs in prolog.
NMR
Omar El-Khatib, Enrico Pontelli, Tran Cao Son
2002 C conf
Semantics-Based Filtering: Logic Programming's Killer App?
PADL
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
2001 C conf
Construction and Optimization of a Parallel Engine for Answer Set Programming.
PADL
Enrico Pontelli, Omar El-Khatib
2001 — conf
Exploiting Vertical Parallelism from Answer Set Programs.
Answer Set Programming
Enrico Pontelli, Omar El-Khatib