Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Omar El-Khatib

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▷ joint publications with Tran Cao Son

> Home > Persons > Omar El-Khatib

Publications

2009
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/PontelliSE09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/PontelliSE09
Enrico Pontelli, Tran Cao Son, Omar El-Khatib:
Justifications for logic programs under answer set semantics. Theory Pract. Log. Program. 9(1): 1-56 (2009)
2008
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0812-0790
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0812-0790
Enrico Pontelli, Tran Cao Son, Omar El-Khatib:
Justifications for Logic Programs under Answer Set Semantics. CoRR abs/0812.0790 (2008)
2006
[c8]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aaaiss/El-KhatibPS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaaiss/El-KhatibPS06
Omar El-Khatib, Enrico Pontelli, Tran Cao Son:
A Tool for Knowledge Base Integration and Querying. AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering 2006: 16-21
2005
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/aadebug/El-KhatibPS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/El-KhatibPS05
Omar El-Khatib, Enrico Pontelli, Tran Cao Son:
Justification and debugging of answer set programs in ASP. AADEBUG 2005: 49-58
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/ElkhatibPS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/ElkhatibPS05
Omar El-Khatib, Enrico Pontelli, Tran Cao Son:
Integrating an Answer Set Solver into Prolog: ASP-PROLOG. LPNMR 2005: 399-404
2004
[c5]
- view
  - electronic edition @ math.ca
  - no references & citations available
- export record
  dblp key:
  - conf/nmr/ElkhativPS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/ElkhativPS04
Omar El-Khatib, Enrico Pontelli, Tran Cao Son:
ASP-PROLOG: a system for reasoning about answer set programs in prolog. NMR 2004: 155-163
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/ElkhatibPS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/ElkhatibPS04
Omar El-Khatib, Enrico Pontelli, Tran Cao Son:
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog. PADL 2004: 148-162

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.