Follow
Omar EL-Khatib
Title
Cited by
Cited by
Year
Justifications for logic programs under answer set semantics
E Pontelli, TC Son, O Elkhatib
Theory and Practice of Logic Programming 9 (1), 1-56, 2009
1022009
Issues in parallel execution of non-monotonic reasoning systems
M Balduccini, E Pontelli, O Elkhatib, H Le
Parallel Computing 31 (6), 608-647, 2005
412005
: A System for Reasoning about Answer Set Programs in Prolog
O Elkhatib, E Pontelli, TC Son
International Symposium on Practical Aspects of Declarative Languages, 148-162, 2004
292004
Justification and debugging of answer set programs in ASP
O El-Khatib, E Pontelli, TC Son
Proceedings of the sixth international symposium on Automated analysis …, 2005
242005
Construction and optimization of a parallel engine for answer set programming
E Pontelli, O El-Khatib
International Symposium on Practical Aspects of Declarative Languages, 288-303, 2001
202001
Exploiting Vertical Parallelism from Answer Set Programs.
E Pontelli, O El-Khatib
Answer Set Programming, 2001
162001
Integrating an Answer Set Solver into Prolog:-
O Elkhatib, E Pontelli, TC Son
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2005
102005
Semantics-based filtering: logic programming’s Killer app
G Gupta, HF Guo, AI Karshmer, E Pontelli, JR Iglesias, D Ranjan, ...
International Symposium on Practical Aspects of Declarative Languages, 82-100, 2001
92001
Programming language support for collaborative virtual environments
C Jeffery, O El-Khatib, Z Al-sharif, N Martinez
Proceedings of 18th International Conference on Computer Animation and …, 2005
82005
A Tool for Knowledge Base Integration and Querying.
O El-Khatib, E Pontelli, TC Son
AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and …, 2006
62006
Parallel evaluation of answer sets programs preliminary results
O El Khatib, E Pontelli
Implementation Technologies for (Constraint) Logic Programming Languages, 55, 2000
42000
Modelling Assembly Line Balancing Problem in Answer Set Programming
O El-Khatib
2016 International Conference on Computational Science and Computational …, 2016
12016
Solving the Pixel Puzzle under Answer Set Programming
OEL KhatibA
12016
Towards a Programming Environment for Answer Set Programming
O El-Khatib
ProQuest, 2007
2007
Integrating an Answer Set Solver into Prolog: ASP
O Elkhatib, E Pontelli, TC Son
Logic Programming and Non-monotonic Reasoning: Proceedings of the …, 2005
2005
ASP− PROLOG
O El-Khatib, E Pontelli, TC Son
AADEBUG 2005: Proceedings of the Sixth International Symposium on Automated …, 2005
2005
Answer Set Programming Techniques and Methods
O El-khatib
ACM JORDAN, 48, 0
Issues in Parallel Execution of Non-monotononic Reasoning Systems
E Pontelli, M Balduccini, F Bermudez, O El-Khatib, L Miller
Building the Tower of Babel: Converting XML Documents to VoiceXML for Accessibility1
G Gupta, O El Khatib, MF Noamany, H Guo
The system can't perform the operation now. Try again later.
Articles 1–19