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 | 102 | 2009 |
Issues in parallel execution of non-monotonic reasoning systems M Balduccini, E Pontelli, O Elkhatib, H Le Parallel Computing 31 (6), 608-647, 2005 | 41 | 2005 |
: 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 | 30 | 2004 |
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 | 24 | 2005 |
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 | 20 | 2001 |
Exploiting Vertical Parallelism from Answer Set Programs. E Pontelli, O El-Khatib Answer Set Programming, 2001 | 16 | 2001 |
Integrating an Answer Set Solver into Prolog:- O Elkhatib, E Pontelli, TC Son International Conference on Logic Programming and Nonmonotonic Reasoning …, 2005 | 10 | 2005 |
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 | 9 | 2001 |
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 | 8 | 2005 |
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 | 6 | 2006 |
Parallel evaluation of answer sets programs preliminary results O El Khatib, E Pontelli Implementation Technologies for (Constraint) Logic Programming Languages, 55, 2000 | 4 | 2000 |
Modelling Assembly Line Balancing Problem in Answer Set Programming O El-Khatib 2016 International Conference on Computational Science and Computational …, 2016 | 1 | 2016 |
Solving the Pixel Puzzle under Answer Set Programming OEL KhatibA | 1 | 2016 |
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 | | |