Omar El-Khatib

ASP-PROLOG: a system for reasoning about answer set programs in prolog

Enrico Pontelli, Tran Cao Son, Omar El-Khatib, 2004, NMR.

Construction and Optimization of a Parallel Engine for Answer Set Programming

Enrico Pontelli, Omar El-Khatib, 2001, PADL.

Justification and debugging of answer set programs in ASP

Enrico Pontelli, Tran Cao Son, Omar El-Khatib, 2005, AADEBUG'05.

Towards a programming environment for answer set programming

Enrico Pontelli, Omar El-Khatib, 2007 .

Modelling Assembly Line Balancing Problem in Answer Set Programming

Omar El-Khatib, 2016, 2016 International Conference on Computational Science and Computational Intelligence (CSCI).

Integrating an Answer Set Solver into Prolog: ASP-PROLOG

Enrico Pontelli, Tran Cao Son, Omar El-Khatib, 2005, LPNMR.

Issues in parallel execution of non-monotonic reasoning systems

Enrico Pontelli, Marcello Balduccini, Hung Le, 2005, Parallel Comput..

A Tool for Knowledge Base Integration and Querying

Enrico Pontelli, Tran Cao Son, Omar El-Khatib, 2006, AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering.

Under Consideration for Publication in Theory and Practice of Logic Programming Justifications for Logic Programs under Answer Set Semantics

Enrico Pontelli, Tran Cao Son, Omar El-Khatib, 2022 .

Exploiting Vertical Parallelism from Answer Set Programs

Enrico Pontelli, Omar El-Khatib, Enrico Pontelli, 2001, Answer Set Programming.

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

Desh Ranjan, Enrico Pontelli, Arthur I. Karshmer, 2002, PADL.