BibTeX records: Omar El-Khatib

download as .bib file

@article{DBLP:journals/tplp/PontelliSE09,
  author    = {Enrico Pontelli and
               Tran Cao Son and
               Omar El{-}Khatib},
  title     = {Justifications for logic programs under answer set semantics},
  journal   = {Theory Pract. Log. Program.},
  volume    = {9},
  number    = {1},
  pages     = {1--56},
  year      = {2009},
  url       = {https://doi.org/10.1017/S1471068408003633},
  doi       = {10.1017/S1471068408003633},
  timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tplp/PontelliSE09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0812-0790,
  author    = {Enrico Pontelli and
               Tran Cao Son and
               Omar El{-}Khatib},
  title     = {Justifications for Logic Programs under Answer Set Semantics},
  journal   = {CoRR},
  volume    = {abs/0812.0790},
  year      = {2008},
  url       = {http://arxiv.org/abs/0812.0790},
  archivePrefix = {arXiv},
  eprint    = {0812.0790},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-0812-0790.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/El-KhatibPS06,
  author    = {Omar El{-}Khatib and
               Enrico Pontelli and
               Tran Cao Son},
  title     = {A Tool for Knowledge Base Integration and Querying},
  booktitle = {Formalizing and Compiling Background Knowledge and Its Applications
               to Knowledge Representation and Question Answering, Papers from the
               2006 {AAAI} Spring Symposium, Technical Report SS-06-05, Stanford,
               California, USA, March 27-29, 2006},
  pages     = {16--21},
  publisher = {{AAAI}},
  year      = {2006},
  url       = {http://www.aaai.org/Library/Symposia/Spring/2006/ss06-05-003.php},
  timestamp = {Sat, 18 Feb 2012 12:30:22 +0100},
  biburl    = {https://dblp.org/rec/conf/aaaiss/El-KhatibPS06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/BalducciniPEL05,
  author    = {Marcello Balduccini and
               Enrico Pontelli and
               Omar El{-}Khatib and
               Hung Le},
  title     = {Issues in parallel execution of non-monotonic reasoning systems},
  journal   = {Parallel Comput.},
  volume    = {31},
  number    = {6},
  pages     = {608--647},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.parco.2005.03.004},
  doi       = {10.1016/j.parco.2005.03.004},
  timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/pc/BalducciniPEL05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/El-KhatibPS05,
  author    = {Omar El{-}Khatib and
               Enrico Pontelli and
               Tran Cao Son},
  editor    = {Clinton Jeffery and
               Jong{-}Deok Choi and
               Raimondas Lencevicius},
  title     = {Justification and debugging of answer set programs in {ASP}},
  booktitle = {Proceedings of the Sixth International Workshop on Automated Debugging,
               {AADEBUG} 2005, Monterey, California, USA, September 19-21, 2005},
  pages     = {49--58},
  publisher = {{ACM}},
  year      = {2005},
  url       = {https://doi.org/10.1145/1085130.1085137},
  doi       = {10.1145/1085130.1085137},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/aadebug/El-KhatibPS05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/ElkhatibPS05,
  author    = {Omar El{-}Khatib and
               Enrico Pontelli and
               Tran Cao Son},
  editor    = {Chitta Baral and
               Gianluigi Greco and
               Nicola Leone and
               Giorgio Terracina},
  title     = {Integrating an Answer Set Solver into Prolog: {ASP-PROLOG}},
  booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference,
               {LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3662},
  pages     = {399--404},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11546207\_35},
  doi       = {10.1007/11546207\_35},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/conf/lpnmr/ElkhatibPS05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/ElkhativPS04,
  author    = {Omar El{-}Khatib and
               Enrico Pontelli and
               Tran Cao Son},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {{ASP-PROLOG:} a system for reasoning about answer set programs in
               prolog},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {155--163},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper21.pdf},
  timestamp = {Thu, 07 Jul 2005 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/ElkhativPS04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/ElkhatibPS04,
  author    = {Omar El{-}Khatib and
               Enrico Pontelli and
               Tran Cao Son},
  editor    = {Bharat Jayaraman},
  title     = {{ASP-PROLOG:} {A} System for Reasoning about Answer Set Programs in
               Prolog},
  booktitle = {Practical Aspects of Declarative Languages, 6th International Symposium,
               {PADL} 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3057},
  pages     = {148--162},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/978-3-540-24836-1\_11},
  doi       = {10.1007/978-3-540-24836-1\_11},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/conf/padl/ElkhatibPS04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/GuptaGKPIRMDENZ02,
  author    = {Gopal Gupta and
               Hai{-}Feng Guo and
               Arthur I. Karshmer and
               Enrico Pontelli and
               Juan Raymundo Iglesias and
               Desh Ranjan and
               Brook Milligan and
               Nayana Datta and
               Omar El{-}Khatib and
               Mohammed Noamany and
               Xinhong Zhou},
  editor    = {Shriram Krishnamurthi and
               C. R. Ramakrishnan},
  title     = {Semantics-Based Filtering: Logic Programming's Killer App?},
  booktitle = {Practical Aspects of Declarative Languages, 4th International Symposium,
               {PADL} 2002, Portland, OR, USA, January 19-20, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2257},
  pages     = {82--100},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45587-6\_7},
  doi       = {10.1007/3-540-45587-6\_7},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/conf/padl/GuptaGKPIRMDENZ02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/PontelliE01,
  author    = {Enrico Pontelli and
               Omar El{-}Khatib},
  editor    = {Alessandro Provetti and
               Tran Cao Son},
  title     = {Exploiting Vertical Parallelism from Answer Set Programs},
  booktitle = {Answer Set Programming, Towards Efficient and Scalable Knowledge Representation
               and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford,
               CA, USA, March 26-28, 2001},
  year      = {2001},
  url       = {http://www.cs.nmsu.edu/\%7Etson/ASP2001/24.ps},
  timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/asp/PontelliE01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/PontelliE01,
  author    = {Enrico Pontelli and
               Omar El{-}Khatib},
  editor    = {I. V. Ramakrishnan},
  title     = {Construction and Optimization of a Parallel Engine for Answer Set
               Programming},
  booktitle = {Practical Aspects of Declarative Languages, Third International Symposium,
               {PADL} 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1990},
  pages     = {288--303},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45241-9\_20},
  doi       = {10.1007/3-540-45241-9\_20},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/conf/padl/PontelliE01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics