Publications

of year 2016

Articles in journal, book chapters

  1. Henning Christiansen and Maja H Kirkeby. On proving confluence modulo equivalence for Constraint Handling Rules. Formal Aspects of Computing, pp 1-39, 2016.
  2. Duc-Hanh DANG, Anh-Hoang TRUONG, and Van Hung DANG. On Model Finding with Constraint Patterns. New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Fifteenth SoMeT_16, 286:279, 2016.
  3. Ferruccio Guidi, Claudio Coen, and Enrico Tassi. Implementing Type Theory in Higher Order Constraint Logic Programming. December 2016. [WWW]
  4. Frédéric Lardeux and Eric Monfroy. Réduction et Encodage des Contraintes Ensemblistes en SAT. Douziemes Journees Francophones de Programmation par Contraintes, pp 153-162, 2016.
  5. Thom Frühwirth. Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints, pages 208-222. Springer International Publishing, 2016. ISBN: 978-3-319-42019-6. [doi:10.1007/978-3-319-42019-6_14]
  6. Daniel Gall and Thom Frühwirth. Translation of Cognitive Models from ACT-R to Constraint Handling Rules, pages 223-237. Springer International Publishing, 2016. [doi:10.1007/978-3-319-42019-6_15]

Conference articles

  1. Blanchard Allan, Nikolai Kosmatov, and Frédéric Loulergue. A CHR-Based Solver for Weak Memory Behaviors. In 7th Workshop on Constraint Solvers in Testing, Verification, and Analysis (CSTVA), 2016.
  2. Sebastian Krings and Michael Leuschel. Constraint Logic Programming over Infinite Domains with an Application to Proof. In Proc. 30th Workshop on Logic Programming (WLP 2016), 2016.
  3. 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.
  4. 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.
  5. 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.

Internal reports

  1. Iliano Cervesato and Edmund S.L. Lam. Concurrent Logic Programming: Met and Unmet Promises. Technical report, 2016. [PDF]
  2. Alejandro Serrano and Jurriaan Hage. Context-Dependent Type Error Diagnosis for Functional Languages. Technical report, Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands, 2016. ISSN: 0924-3275. [PDF]
  3. Alejandro Serrano and Jurriaan Hage. From Attribute Grammars to Constraint Handling Rules. Technical report, Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands, 2016. ISSN: 0924-3275. [PDF]

BACK TO INDEX