Publications

of year 2013

Books and proceedings

  1. Evelina Lamma and Terrance Swift, editors. ICLP13l, volume 13(4--5) of TPLP. CUP, August 2013.
  2. 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.
  3. Henning Christiansen and Jon Sneyers, editors. CHR13l, July 2013. KULCW, Technical report CW 641. [WWW] [PDF] Keyword(s): CHR 2013.
  4. Gopal Gupta, editor. LOPSTR13prel, 2013.
  5. Christian Schulte, editor. Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings, volume 8124 of Lecture Notes in Computer Science, 2013. Springer. ISBN: 978-3-642-40626-3.

Thesis

  1. Zsolt Zombori. Prolog Based Reasoning. PhD thesis, University of Technology and Economics Budapest, 2013.

Articles in journal, book chapters

  1. Marco Alberti, Marco Gavanelli, and Evelina Lamma. The CHR-based Implementation of the SCIFF Abductive System. Fundam. Inform., 124(4):365-381, 2013.
  2. Maurizio Gabbrielli, Jacopo Mauro, and Maria Chiara Meo. The expressive power of CHR with priorities. Inf. Comput., 228:62-82, 2013.
  3. Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella, and Herbert Wiklicky. Unfolding for CHR programs. TPLP, 2013. Note: To appear. [PDF]
  4. Marco Gavanelli and Toni Mancini. Automated reasoning. Intelligenza Artificiale, 7(2):113-124, 2013.
  5. Dragan Ivanovic. Implementing Constraint Handling Rules as a Domain-Specific Language Embedded in Java. CoRR, abs/1308.3939, 2013. [PDF]
  6. Ester Martinez-Martin, Maria Teresa Escrig, and Angel P. del Pobil. A Qualitative Acceleration Model Based on Intervals. ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal, 2(2), 2013. ISSN: 2255-2863. [WWW] Keyword(s): Model-based reasoning, Qualitative reasoning, Spatial reasoning.
  7. Jacopo Mauro. Expressive power of Constraint Handling Rules extensions and fragments. Bulletin of EATCS, 3(111), 2013.
  8. Carlos Olarte, Camilo Rueda, and Frank D. Valencia. Models and emerging trends of concurrent constraint programming. Constraints, 18(4):535-578, 2013. ISSN: 1572-9354. [WWW] [doi:10.1007/s10601-013-9145-3]
  9. Elvira Albert, Marìa Garcìa de la Banda, Miguel Gómez-Zamalloa, José Miguel Rojas, and Peter J. Stuckey. A CLP heap solver for test case generation. In Evelina Lamma and Terrance Swift, editors, ICLP13l, volume 13(4--5) of TPLP, pages 721-735. CUP, August 2013. [PDF]
  10. Jon Sneyers, Danny De Schreye, and Thom Frühwirth. Probabilistic legal reasoning in CHRiSM. In Evelina Lamma and Terrance Swift, editors, ICLP13l, volume 13(4--5) of TPLP, pages 769-781. CUP, August 2013. [PDF]
  11. 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]

Conference articles

  1. 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.
  2. 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.
  3. Verónica Dahl, Sinan Egilmez, Joao Martins, and Emilio Miralles. On Failure-Driven Constraint-Based Parsing through CHRG. In Henning Christiansen and Jon Sneyers, editors, CHR13l, pages 13-24, July 2013. KULCW, Technical report CW 641. [WWW] [PDF] Keyword(s): linguistics, CHR 2013, CHR 2013.
  4. Gregory J. Duck. Satisfiability modulo constraint handling rules. In IJCAI, 2013.
  5. Gregory J. Duck, Joxan Jaffar, and Nicolas C. H. Koh. Constraint-Based Program Reasoning with Heaps and Separation. In Christian Schulte, editor, CP, volume 8124 of Lecture Notes in Computer Science, pages 282-298, 2013. Springer. ISBN: 978-3-642-40626-3.
  6. David Fabian and Radek Marìk. Configuration Dynamics Verification Using UPPAAL. In 15 th International Configuration Workshop, pages 35, 2013.
  7. Edmund S.L. Lam and Iliano Cervesato. Decentralized Execution of Constraint Handling Rules for Ensembles. In Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, pages 205-216, 2013. ACM.
  8. 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.
  9. 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.
  10. Jon Sneyers, Daniel De Schreye, and Thom Frühwirth. CHRiSM and Probabilistic Argumentation Logic. In Henning Christiansen and Jon Sneyers, editors, CHR13l, pages 39-52, July 2013. KULCW, Technical report CW 641. [WWW] [PDF] Keyword(s): CHRiSM, applications, CHR 2013, CHR 2013.
  11. Amira Zaki, Matthias Rau, and Thom Frühwirth. CHR-IDE: An Eclipse Plug-In for Constraint Handling Rules. In Henning Christiansen and Jon Sneyers, editors, CHR13l, pages 53-60, July 2013. KULCW, Technical report CW 641. [WWW] [PDF] Keyword(s): debugging, CHR 2013, CHR 2013.

BACK TO INDEX