Publications

of Slim Abdennadher

Books and proceedings

  1. Slim Abdennadher, editor. WLP10l, September 2010. [WWW]
  2. Slim Abdennadher, Thom Frühwirth, and Christian Holzbaur, editors. Special Issue on Constraint Handling Rules, volume 5(4--5) of Theory and Practice of Logic Programming. CUP, July 2005.
  3. Thom Frühwirth and Slim Abdennadher. Essentials of Constraint Programming. SV, 2003. ISBN: 3540676236. Keyword(s): tutorial.

Thesis

  1. Slim Abdennadher. Rule-based Constraint Programming: Theory and Practice. Habilitationsschrift, Institute of Computer Science, LMU, Munich, Germany, July 2001.

Articles in journal, book chapters

  1. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. Visualization of Constraint Handling Rules: Semantics and Applications. arXiv preprint arXiv:1706.01755, 2017.
  2. Alia El Bolock and Slim Abdennadher. Satisfying Poetry Properties Using Constraint Handling Rules, pages 335-347. Springer International Publishing, Cham, 2015. ISBN: 978-3-319-18117-2. [WWW] [doi:10.1007/978-3-319-18117-2_25]
  3. Ahmed Elsawy, Amira Zaki, and Slim Abdennadher. Exhaustive Execution of CHR Through Source-to-Source Transformation, pages 59-73. Springer International Publishing, Cham, 2015. ISBN: 978-3-319-17822-6. [WWW] [doi:10.1007/978-3-319-17822-6_4]
  4. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. CHRAnimation: An Animation Tool for Constraint Handling Rules, pages 92-110. Springer International Publishing, Cham, 2015. ISBN: 978-3-319-17822-6. [WWW] [doi:10.1007/978-3-319-17822-6_6]
  5. Amira Zaki, Thom Frühwirth, and Slim Abdennadher. Towards Inverse Execution of Constraint Handling Rules. In Evelina Lamma and Terrance Swift, editors, Technical Communications of the 29th Intl. Conf. on Logic Programming, volume 13(4--5), Online Supplement of TPLP. CUP, August 2013. [PDF]
  6. Ingi Sobhi, Slim Abdennadher, and Hariolf Betz. Constructing Rule-Based Solvers for Intentionally-Defined Constraints. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI, pages 70-84. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_4] Keyword(s): program generation.
  7. Slim Abdennadher and Christophe Rigotti. Automatic generation of CHR constraint solvers. In Slim Abdennadher, Thom Frühwirth, and Christian Holzbaur, editors, Special Issue on Constraint Handling Rules, volume 5(4--5) of Theory and Practice of Logic Programming, pages 403-418. CUP, July 2005. [doi:10.1017/S1471068405002371] Keyword(s): program generation.
  8. Slim Abdennadher and Christophe Rigotti. Automatic generation of rule-based constraint solvers over finite domains. TOCL, 5(2):177-205, 2004. ISSN: 1529-3785. Keyword(s): program generation.
  9. Thom Frühwirth and Slim Abdennadher. The Munich Rent Advisor: A success for logic programming on the Internet. TPLP, 1(3):303-319, 2001. ISSN: 1471-0684. [doi:10.1017/S1471068401001181] Keyword(s): applications.
  10. Slim Abdennadher and Michael Marte. University Course Timetabling Using Constraint Handling Rules.. In C. Holzbaur and Th. Frühwirth, editors, Special Issue on Constraint Handling Rules, volume 14(4) of Journal of Applied Artificial Intelligence, pages 311-325. Taylor & Francis, April 2000. [doi:10.1080/088395100117016]
  11. Slim Abdennadher, Thom Frühwirth, and Holger Meuss. Confluence and Semantics of Constraint Simplification Rules. Constraints, 4(2):133-165, 1999. ISSN: 1383-7133. [doi:10.1023/A:1009842826135] Keyword(s): confluence, semantics.

Conference articles

  1. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. CHR vis: Syntax and Semantics. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018), 2018.
  2. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. Rule-Based Visualization of Tableau Calculus for Propositional Logic. In 22nd International Conference Information Visualisation (IV 2018), pages 368-372, 2018. IEEE.
  3. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. A Rule-Based Approach for Automatic Interaction Detection and Annotation. In 21st International Conference Information Visualisation (iV2017), July 2017.
  4. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. CHR-Graph: A Platform for Animating Tree and Graph Algorithms. In 21st International Conference Information Visualisation, IV, pages 11-14, July 2017.
  5. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. Using Rules to Animate Prolog Programs. In Proceedings of the Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters hosted by International Joint Conference on Rules and Reasoning 2017 (RuleML+RR 2017), 2017.
  6. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. A Rule Based Approach to teach Mathematics using Animation. In Supplementary Proceedings of the RuleML 2016 Challenge, Doctoral Consortium and Industry Track hosted by the 10th International Web Rule Symposium, RuleML 2016, New York, USA, July 6-9, 2016., 2016.
  7. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. A Rule-Based Approach for Animating Java Algorithms. In Information Visualisation (IV), 2016 20th International Conference, pages 141-145, 2016. IEEE.
  8. Nada Sharaf, Slim Abdennadher, Thom Frühwirth, and Daniel Gall. Animating Cognitive Models and Architectures: A Rule-Based Approach. In Christoph Benzmerb=uller, Geoff Sutcliffe, and Raul Rojas, editors, GCAI 2016. 2nd Global Conference on Artificial Intelligence, volume 41 of EPiC Series in Computing, pages 253-265, 2016. EasyChair. ISSN: 2398-7340.
  9. Maged Shalaby, Slim Abdennadher, Nada Sharaf, and Ghada Fakhry. Learning Instance-Level Constraints in Folksonomies for Semi-supervised Clustering using CHR. In 29nd Workshop on (Constraint) Logic Programming (WLP 2015), pages 79-88, 2015. [PDF]
  10. N. Sharaf, S. Abdennadher, and T. Frühwirth. DiagrammaticCHR: A Diagrammatic Representation of CHR Programs. In 2015 19th International Conference on Information Visualisation, pages 121-126, July 2015. ISSN: 1550-6037. [doi:10.1109/iV.2015.31] Keyword(s): constraint handling, program visualisation, visual languages, CHR program diagrammatic representation, DiagrammaticCHR, animation, constraint handling rules, general purpose language, visualization features, Animation, Color, Joining processes, Semantics, Solids, Syntactics, Visualization, Constraint Handling Rules, Program Animation, Visual Language.
  11. Slim Abdennadher, Ghada Fakhry, and Nada Sharaf. Implementation of the Operational Semantics for CHR with User-defined Rule Priorities. In Henning Christiansen and Jon Sneyers, editors, CHR13l, pages 1-12, July 2013. KULCW, Technical report CW 641. [WWW] [PDF] Keyword(s): implementation, priorities, CHR 2013, CHR 2013.
  12. Slim Abdennadher, Ghada Fakhry, and Nada Sharaf. Towards The Implementation of Source-to-Source Transformation Tool for CHR Operational Semantics. In Gopal Gupta, editor, LOPSTR13prel, 2013.
  13. Amr Osman, Amira Zaki, and Slim Abdennadher. CHR Meets MapReduce. In Henning Christiansen and Jon Sneyers, editors, CHR13l, pages 25-38, July 2013. KULCW, Technical report CW 641. [WWW] [PDF] Keyword(s): applications, CHR 2013, CHR 2013.
  14. Nada Sharaf, Injy Hamed, and Slim Abdennadher. Tagging Reasoning System using CHR. In Henning Christiansen and Jon Sneyers, editors, CHR13l, pages 61-69, July 2013. KULCW, Technical report CW 641. [WWW] [PDF] Keyword(s): applications, CHR 2013, CHR 2013.
  15. Slim Abdennadher and Nada Sharaf. Visualization of CHR through Source-to-Source Transformation. In Agostino Dovier and Vìtor Santos Costa, editors, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12), volume 17 of Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany, pages 109-118, 2012. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. ISBN: 978-3-939897-43-9. ISSN: 1868-8969. [WWW] [doi:http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.109]
  16. Slim Abdennadher, Haythem Ismail, and Frederick Khoury. Transforming Imperative Algorithms to Constraint Handling Rules. In A. Wolf and U. Geske, editors, WLP '09: Proc. 23rd Workshop on (Constraint) Logic Programming, 2010. Universität Potsdam. [WWW]
  17. Slim Abdennadher and Shehab Fawzy. JCHRIDE: An Integrated Development Environment for JCHR. In Sibylle Schwarz, editor, WLP '08: Proc. 22nd Workshop on (Constraint) Logic Programming, Dresden, Germany, pages 1-6, September 2008. University Halle-Wittenberg, Institute of Computer Science, Technical report 2008/08. Keyword(s): Java.
  18. Slim Abdennadher and Ingi Sobhi. Generation of Rule-based Constraint Solvers: Combined Approach. In A. King, editor, LOPSTR07l, volume 4915 of LNCS, 2008. Keyword(s): program generation.
  19. Slim Abdennadher, Abdellatif Olama, Noha Salem, and Amira Thabet. ARM: Automatic Rule Miner. In LOPSTR06, volume 4407 of LNCS, July 2006. SV. Keyword(s): program generation.
  20. Slim Abdennadher and Thom Frühwirth. Integration and Optimization of Rule-based Constraint Solvers. In M. Bruynooghe, editor, LOPSTR03, volume 3018 of LNCS, pages 198-213, 2004. SV. [PDF]
  21. Slim Abdennadher, Ekkerhard Krämer, Matthias Saft, and Matthias Schmauss. JACK: A Java Constraint Kit. In M. Hanus, editor, WFLP '01: Proc. 10th Intl. Workshop on Functional and (Constraint) Logic Programming, Selected Papers, volume 64 of ENTCS, pages 1-17, November 2002. Elsevier. Note: See also http://pms.ifi.lmu.de/software/jack/. Keyword(s): Java.
  22. Slim Abdennadher and Christophe Rigotti. Using confluence to generate rule-based constraint solvers. In R. De Nicola and H. Sondergaard, editors, PPDP01l, pages 127-135, September 2001. ACM. ISBN: 1-58113-388-X. Keyword(s): confluence.
  23. Slim Abdennadher and Matthias Saft. A visualization tool for Constraint Handling Rules. In A. Kusalik, editor, WLPE01, December 2001.
  24. Slim Abdennadher. A Language for Experimenting with Declarative Paradigms. In T. Frühwirth and others, editors, RCoRP '00(bis): Proc. 2nd Workshop on Rule-Based Constraint Reasoning and Programming, September 2000. Keyword(s): disjunction.
  25. Slim Abdennadher and Henning Christiansen. An Experimental CLP Platform for Integrity Constraints and Abduction. In FQAS '00: Proc. 4th Intl. Conf. Flexible Query Answering Systems, pages 141-152, October 2000. SV. Keyword(s): abduction.
  26. Slim Abdennadher, Matthias Saft, and Sebastian Will. Classroom Assignment using Constraint Logic Programming. In PACLP '00: Proc. 2nd Intl. Conf. and Exhibition on Practical Application of Constraint Technologies and Logic Programming, April 2000.
  27. Slim Abdennadher and Thom Frühwirth. Operational Equivalence of CHR Programs and Constraints. In J. Jaffar, editor, CP99l, volume 1713 of LNCS, pages 43-57, October 1999. SV. ISBN: 3-540-66626-5. Keyword(s): semantics.
  28. Slim Abdennadher and Thom Frühwirth. On Completion of Constraint Handling Rules. In M. J. Maher and J.-F. Puget, editors, CP98l, volume 1520 of LNCS, pages 25-39, October 1998. SV. ISBN: 3-540-65224-8. Keyword(s): program generation.
  29. Slim Abdennadher and Heribert Schütz. CHR$^\vee$, A Flexible Query Language. In T. Andreasen, H. Christiansen, and H.L. Larsen, editors, FQAS '98: Proc. 3rd Intl. Conf. on Flexible Query Answering Systems, volume 1495 of LNAI, pages 1-14, May 1998. SV. Keyword(s): disjunction.
  30. Slim Abdennadher. Operational Semantics and Confluence of Constraint Propagation Rules. In G. Smolka, editor, CP '97: Proc. Third Intl. Conf. Principles and Practice of Constraint Programming, volume 1330 of LNCS, pages 252-266, 1997. SV. Keyword(s): confluence, semantics.
  31. Slim Abdennadher, Thom Frühwirth, and Holger Meuss. On confluence of Constraint Handling Rules. In CP '96: Proc. Second Intl. Conf. Principles and Practice of Constraint Programming, volume 1118 of LNCS, pages 1-15, August 1996. SV. [doi:10.1007/3-540-61551-2_62] Keyword(s): confluence.

BACK TO INDEX