BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
3 × USA
Collaborated with:
E.Pontelli T.C.Son G.Gupta H.Guo A.I.Karshmer J.R.Iglesias D.Ranjan B.Milligan N.Datta M.Noamany X.Zhou
Talks about:
program (3) prolog (2) answer (2) set (2) construct (1) parallel (1) system (1) semant (1) reason (1) killer (1)

Person: Omar El-Khatib

DBLP DBLP: El-Khatib:Omar

Contributed to:

PADL 20042004
PADL 20022002
PADL 20012001

Wrote 3 papers:

PADL-2004-ElkhatibPS #named #prolog #reasoning #set #source code
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog (OEK, EP, TCS), pp. 148–162.
PADL-2002-GuptaGKPIRMDENZ #logic programming #question #semantics
Semantics-Based Filtering: Logic Programming’s Killer App? (GG, HFG, AIK, EP, JRI, DR, BM, ND, OEK, MN, XZ), pp. 82–100.
PADL-2001-PontelliE #optimisation #parallel #programming #set
Construction and Optimization of a Parallel Engine for Answer Set Programming (EP, OEK), pp. 288–303.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.