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: El-Khatib:Omar
Contributed to:
200420022001Wrote 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.