Omar El-Khatib

According to our database, Omar El-Khatib authored at least 9 papers between 2001 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Justifications for logic programs under answer set semantics.

Enrico Pontelli, Tran Cao Son, Omar El-Khatib

Theory Pract. Log. Program., 2009

2006

A Tool for Knowledge Base Integration and Querying.

Omar El-Khatib, Enrico Pontelli, Tran Cao Son

Proceedings of the Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 2006

2005

Issues in parallel execution of non-monotonic reasoning systems.

Marcello Balduccini, Enrico Pontelli, Omar El-Khatib, Hung Le

Parallel Comput., 2005

Integrating an Answer Set Solver into Prolog: ASP-PROLOG.

Omar El-Khatib, Enrico Pontelli, Tran Cao Son

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Justification and debugging of answer set programs in ASP.

Omar El-Khatib, Enrico Pontelli, Tran Cao Son

Proceedings of the Sixth International Workshop on Automated Debugging, 2005

2004

ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog.

Omar El-Khatib, Enrico Pontelli, Tran Cao Son

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

2002

Semantics-Based Filtering: Logic Programming's Killer App?

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

Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002

2001

Construction and Optimization of a Parallel Engine for Answer Set Programming.

Enrico Pontelli, Omar El-Khatib

Proceedings of the Practical Aspects of Declarative Languages, 2001

Exploiting Vertical Parallelism from Answer Set Programs.

Enrico Pontelli, Omar El-Khatib

Proceedings of the Answer Set Programming, 2001