The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Omar El-Khatib" ( http://dblp.L3S.de/Authors/Omar_El-Khatib )

  Author page on DBLP  Author page in RDF  Community of Omar El-Khatib in ASPL-2

Publication years (Num. hits)
2001-2009 (11)
Publication types (Num. hits)
article(3) inproceedings(8)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

Results
Found 12 publication records. Showing 11 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Enrico Pontelli, Tran Cao Son, Omar El-Khatib Justifications for logic programs under answer set semantics. Search on Bibsonomy TPLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Enrico Pontelli, Tran Cao Son, Omar El-Khatib Justifications for Logic Programs under Answer Set Semantics Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Omar El-Khatib, Enrico Pontelli, Tran Cao Son A Tool for Knowledge Base Integration and Querying. Search on Bibsonomy AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering The full citation details ... 2006 DBLP  BibTeX  RDF
1Marcello Balduccini, Enrico Pontelli, Omar El-Khatib, Hung Le Issues in parallel execution of non-monotonic reasoning systems. Search on Bibsonomy Parallel Computing The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Omar El-Khatib, Enrico Pontelli, Tran Cao Son Integrating an Answer Set Solver into Prolog: ASP-PROLOG. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Omar El-Khatib, Enrico Pontelli, Tran Cao Son Justification and debugging of answer set programs in ASP. Search on Bibsonomy AADEBUG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF small answer set programming, logic programming, justifications
1Omar El-Khatib, Enrico Pontelli, Tran Cao Son ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog. Search on Bibsonomy PADL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Omar El-Khatib, Enrico Pontelli, Tran Cao Son ASP-PROLOG: a system for reasoning about answer set programs in prolog. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Gopal 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 Semantics-Based Filtering: Logic Programming's Killer App? Search on Bibsonomy PADL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Enrico Pontelli, Omar El-Khatib Construction and Optimization of a Parallel Engine for Answer Set Programming. Search on Bibsonomy PADL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Enrico Pontelli, Omar El-Khatib Exploiting Vertical Parallelism from Answer Set Programs. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license