Publications

of year 2015

Books and proceedings

  1. Joanne M. Atlee and Stefania Gnesi, editors. Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, FMSPLE@ETAPS 2015, London, UK, 11 April 2015, volume 182 of EPTCS, 2015. [WWW] [doi:10.4204/EPTCS.182]

Articles in journal, book chapters

  1. Fabian Büttner and Jordi Cabot. Lightweight string reasoning in model finding. Software & Systems Modeling, 14(1):413-427, 2015. ISSN: 1619-1374. [WWW] [doi:10.1007/s10270-013-0332-x]
  2. Martin Sulzmann, Kai Stadtmüller, and Edmund S.L. Lam. Establishing a Correspondence between Transactional Events and Constraint Handling Rules. 2015. [PDF]
  3. Henning Christiansen and Maja H. Kirkeby. Confluence Modulo Equivalence in Constraint Handling Rules, pages 41-58. Springer International Publishing, Cham, 2015. ISBN: 978-3-319-17822-6. [WWW] [doi:10.1007/978-3-319-17822-6_3]
  4. Flavio Cruz and Ricardo Rocha. On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities, pages 34-49. Springer International Publishing, Cham, 2015. ISBN: 978-3-319-19686-2. [WWW] [doi:10.1007/978-3-319-19686-2_3]
  5. 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]
  6. 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]
  7. Daniel Gall and Thom Frühwirth. A Formal Semantics for the Cognitive Architecture ACT-R, pages 74-91. Springer International Publishing, Cham, 2015. ISBN: 978-3-319-17822-6. [WWW] [doi:10.1007/978-3-319-17822-6_5]
  8. Michael Hanus. CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry, pages 74-89. Springer International Publishing, Cham, 2015. ISBN: 978-3-319-19686-2. [WWW] [doi:10.1007/978-3-319-19686-2_6]
  9. Edmund S.L. Lam, Iliano Cervesato, and Nabeeha Fatima. Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles, pages 51-66. Springer International Publishing, Cham, 2015. ISBN: 978-3-319-19282-6. [WWW] [doi:10.1007/978-3-319-19282-6_4]
  10. 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]
  11. Rahul Singhal, Martin Henz, and Shubham Goyal. Artificial Intelligence in Education: 17th International Conference, AIED 2015, Madrid, Spain, June 22-26, 2015. Proceedings, chapter A Framework for Automated Generation of Questions Based on First-Order Logic, pages 776-780. Springer International Publishing, Cham, 2015. ISBN: 978-3-319-19773-9. [WWW] [doi:10.1007/978-3-319-19773-9_114]
  12. Thom Frühwirth. Constraint Handling Rules-What Else?. In Rule Technologies: Foundations, Tools, and Applications, pages 13-34. Springer, 2015.

Conference articles

  1. Rafael Caballero, Yolanda Garcìa-Ruiz, and Fernando Sáenz-Pérez. Debugging of wrong and missing answers for datalog programs with constraint handling rules. In Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, pages 55-66, 2015. ACM.
  2. Verónica Dahl, Sergio Tessaris, and Thom Frühwirth. Imperfect Querying through Womb Grammars plus Ontologies.. In Odile Papini, Salem Benferhat, Laurent Garcia, Marie-Laure Mugnier, Eduardo L. Fermé, Thomas Meyer, Renata Wassermann, Torsten Hahmann, Ken Baclawski, Adila Krisnadhi, Pavel Klinov, Stefano Borgo, Oliver Kutz, and Daniele Porello, editors, JOWO@IJCAI, volume 1517 of CEUR Workshop Proceedings, 2015. CEUR-WS.org. [WWW] Keyword(s): dblp.
  3. Thom Frühwirth. A devil's advocate against termination of direct recursion. In Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, pages 103-113, 2015. ACM.
  4. Daniel Gall and Thom Frühwirth. A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations. In Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, pages 114-124, 2015. ACM.
  5. Daniel Gall and Thom Frühwirth. An adaptable implementation of ACT-R with refraction in Constraint Handling Rules. In Proceedings of the 13th International Conference on Cognitive Modeling, pages 61-66, 2015.
  6. Edmund Soon Lee Lam, Iliano Cervesato, and Nabeeha Fatima. Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles. In Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Grenoble, France, 2015, pages 51-66, 2015.
  7. Uwe Lesta, Ina Schaefer, and Tim Winkelmann. Detecting and Explaining Conflicts in Attributed Feature Models. In Joanne M. Atlee and Stefania Gnesi, editors, Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, FMSPLE@ETAPS 2015, London, UK, 11 April 2015., volume 182 of EPTCS, pages 31-43, 2015. [WWW] [doi:10.4204/EPTCS.182.3]
  8. Francesco Santini. Argument-based constraint logic-programming in satisfiability modulo CHR. In 12th International Workshop on Argumentation in Multi-Agent Systems. Informal Proceedings, 2015. [PDF]
  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.

Miscellaneous

  1. Falco Nogatz. CHR.js: Compiling Constraint Handling Rules to JavaScript. Master's thesis, University of Ulm, 2015. [PDF]

BACK TO INDEX