Articles in journal, book chapters

2022

  1. Philipp Körner, Michael Leuschel, João Barbosa, Vìtor Santos Costa, Manuel V. Hermenegildo, Jose Morales, Jan Wielemaker, Giovanni Ciatto, Verónica Dahl, Daniel Diaz, and Salvador Abreu. 50 Years of Prolog and Beyond. arXiv preprint arXiv:2201.10816, 2022. Keyword(s): Prolog, logic programming systems, portability, rationale, evolution, vision.

2021

  1. Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, and Fabrizio Riguzzi. Nonground Abductive Logic Programming with Probabilistic Integrity Constraints. Theory and Practice of Logic Programming, 21(5):557-574, 2021.
  2. Wen-Chi Yang, Jean-François Raskin, and Luc De Raedt. Lifted Model Checking for Relational MDPs. arXiv preprint arXiv:2106.11735, 2021.

2020

  1. Matthew Francis-Landau, Tim Vieira, and Jason Eisner. Evaluation of Logic Programs with Built-Ins and Aggregation: A Calculus for Bag Relations. pp 49-63, 2020.
  2. Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, and Eelco Visser. Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications. Proceedings of the ACM on Programming Languages, 4(OOPSLA), November 2020. [WWW] [doi:10.1145/3428248]

2019

  1. Henning Christiansen and Maja H. Kirkeby. Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs. pp 112-130, 2019.
  2. Maja H. Kirkeby and Henning Christiansen. Confluence and convergence modulo equivalence in probabilistically terminating reduction systems. International Journal of Approximate Reasoning, 105:217-228, 2019.
  3. Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, and Dierk Ehmke. Towards Constraint Logic Programming over Strings for Test Data Generation. arXiv preprint arXiv:1908.10203, 2019.
  4. Douglas Walton and Thomas F. Gordon. How Computational Tools Can Help Rhetoric and Informal Logic with Argument Invention. Argumentation, 33(2):269-295, 2019.

2018

  1. Allan Blanchard, Nikolai Kosmatov, and Frédéric Loulergue. MMFilter: A CHR-Based Solver for Generation of Executions under Weak Memory Models. Computer Languages, Systems & Structures, 53:121-142, 2018.
  2. Verónica Dahl, Sergio Tessaris, and Mariano De Sousa Bispo. Parsing as semantically guided constraint solving: the role of ontologies. Annals of Mathematics and Artificial Intelligence, 82(1-3):161-185, 2018.
  3. Gregory J. Duck, Joxan Jaffar, and Roland H.C. Yap. Shape Neutral Analysis of Graph-based Data-structures. Theory and Practice of Logic Programming, 18(3-4):470-483, 2018.
  4. Thom Frühwirth. A Rule-Based Tool for Analysis and Generation of Graphs Applied to Mason's Marks. 2018.
  5. Thom Frühwirth. Parallelism, concurrency and distribution in constraint handling rules: A survey. Theory and Practice of Logic Programming, 18(5-6):759-805, 2018. [doi:10.1017/S1471068418000078]
  6. Thom Frühwirth. Rule-Based Drawing, Analysis and Generation of Graphs for Mason's Mark Design. arXiv preprint arXiv:1805.08453, 2018.
  7. Thom Frühwirth. Security Policies in Constraint Handling Rules. 2018.
  8. Thom Frühwirth and Daniel Gall. Exploring Parallel Execution Strategies for Constraint Handling Rules-Work-in-Progress Report. arXiv preprint arXiv:1808.07788, 2018.
  9. Daniel Gall. Confluence Analysis of Cognitive Models with Constraint Handling Rules. 2018.
  10. Thomas F. Gordon, Horst Friedrich, and Douglas Walton. Representing argumentation schemes with Constraint Handling Rules (CHR). Argument & Computation, 9(2):91-119, 2018.
  11. Shengbing Ren and Mengyu Jia. Scenario Oriented Program Slicing for Large-Scale Software Through Constraint Logic Programming and Program Transformation. IEEE Access, 7:62352-62360, 2018.
  12. Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, and Eelco Visser. Scopes As Types. Proc. ACM Program. Lang., 2(OOPSLA):114:1-114:30, October 2018. ISSN: 2475-1421. [WWW] [doi:10.1145/3276484] Keyword(s): domain-specific language, name resolution, scope graphs, static semantics, type checker, type system.

2017

  1. Samer Abdallah. Automatic Differentiation using Constraint Handling Rules in Prolog. arXiv preprint arXiv:1706.00231, 2017.
  2. Henning Christiansen and Maja H. Kirkeby. On proving confluence modulo equivalence for Constraint Handling Rules. Formal Aspects of Computing, 29(1):57-95, 2017.
  3. Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, and Maurizio Proietti. Program verification using constraint handling rules and array constraint generalizations. Fundamenta Informaticae, 150(1):73-117, 2017.
  4. Maja H. Kirkeby and Henning Christiansen. Confluence and Convergence in Probabilistically Terminating Reduction Systems. arXiv preprint arXiv:1709.05123, 2017.
  5. Alejandro Serrano and Jurriaan Hage. Constraint handling rules with binders, patterns and generic quantification. Theory and Practice of Logic Programming, 17(5-6):992-1009, 2017.
  6. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. Visualization of Constraint Handling Rules: Semantics and Applications. arXiv preprint arXiv:1706.01755, 2017.

2016

  1. 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.
  2. Ferruccio Guidi, Claudio Coen, and Enrico Tassi. Implementing Type Theory in Higher Order Constraint Logic Programming. December 2016. [WWW]
  3. 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.
  4. 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]
  5. 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]

2015

  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.

2014

  1. Peter Bailis, Alan Fekete, Michael J. Franklin, Ali Ghodsi, Joseph M. Hellerstein, and Ion Stoica. Coordination Avoidance in Database Systems. Proc. VLDB Endow., 8(3):185-196, November 2014. ISSN: 2150-8097. [WWW] [doi:10.14778/2735508.2735509]
  2. Peter Bailis, Alan Fekete, Michael J. Franklin, Ali Ghodsi, Joseph M. Hellerstein, and Ion Stoica. Coordination-Avoiding Database Systems. CoRR, abs/1402.2237, 2014. [WWW]
  3. Gregory J. Duck, Rémy Haemmerlé, and Martin Sulzmann. On Termination, Confluence and Consistent CHR-based Type Inference. Theory and Practice of Logic Programming, 14:619-632, 7 2014. ISSN: 1475-3081. [WWW] [doi:10.1017/S1471068414000246]
  4. Daniel Gall and Thom Frühwirth. Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R. Theory and Practice of Logic Programming, 14:525-538, 7 2014. ISSN: 1475-3081. [WWW] [doi:10.1017/S1471068414000180]
  5. Falco Nogatz and Thom Frühwirth. From XML Schema to JSON Schema: Translation with CHR. Proceedings of the 11th International Workshop on Constraint Handling Rules, 2014. [WWW]
  6. Aya Saad, Thom Frühwirth, and Carmen Gervet. The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information. Theory and Practice of Logic Programming, 14:461-475, 7 2014. ISSN: 1475-3081. [WWW] [doi:10.1017/S1471068414000143]
  7. Leonor Becerra-Bonache, Verónica Dahl, and M. Dolores Jiménez-López. Womb Grammars as a Bio-inspired Model for Grammar Induction, pages 79-86. Springer International Publishing, Cham, 2014. ISBN: 978-3-319-07476-4. [WWW] [doi:10.1007/978-3-319-07476-4_10]
  8. Henning Christiansen. Constraint Logic Programming for Resolution of Relative Time Expressions, pages 93-102. Springer International Publishing, Cham, 2014. ISBN: 978-3-319-08019-2. [WWW] [doi:10.1007/978-3-319-08019-2_10]
  9. Henning Christiansen. Constraint Programming for Context Comprehension, pages 401-418. Springer New York, New York, NY, 2014. ISBN: 978-1-4939-1887-4. [WWW] [doi:10.1007/978-1-4939-1887-4_25]
  10. Edmund S.L. Lam and Iliano Cervesato. Optimized Compilation of Multiset Rewriting with Comprehensions, pages 19-38. Springer International Publishing, Cham, 2014. ISBN: 978-3-319-12736-1. [WWW] [doi:10.1007/978-3-319-12736-1_2]
  11. Frédéric Lardeux and Eric Monfroy. From Declarative Set Constraint Models to ``Good'' SAT Instances, pages 76-87. Springer International Publishing, Cham, 2014. ISBN: 978-3-319-13770-4. [WWW] [doi:10.1007/978-3-319-13770-4_8]

2013

  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]

2012

  1. Stefano Bistarelli, Fabio Martinelli, and Francesco Santini. A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials. Computers & Mathematics with Applications, 64(4):447-462, 2012.
  2. Stefano Bistarelli, Fabio Martinelli, and Francesco Santini. A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials. Computers & Mathematics with Applications, (0):-, 2012. ISSN: 0898-1221. [WWW] [doi:10.1016/j.camwa.2011.12.017] Keyword(s): abduction, applications.
  3. Ruoyu Chen, Lejian Liao, and Zhi Fang. A Virtual Organization Model Based on Semantic Web Services and Its Application in Supply Chain for Agricultural Product. Advances in Control and Communication, 2012.
  4. Gregory J. Duck. SMCHR: Satisfiability Modulo Constraint Handling Rules. CoRR, abs/1210.5307, 2012.
  5. Rémy Haemmerlé. Diagrammatic Confluence for Constraint Handling Rules. TPLP, 12(4-5):737-753, September 2012. ISSN: 1471-0684. [WWW] [doi:10.1017/S1471068412000270] Keyword(s): confluence.
  6. Thomas König and Petra Hofstedt. Constraint-basierte Programmiersprachen. KI-Künstliche Intelligenz, 26(1):47-54, 2012.
  7. Cleyton Rodrigues, Ryan Ribeiro de Azevedo, Fred Freitas, and Eric Dantas. LSVF: a New Search Heuristic to Reduce the Backtracking Calls for Solving Constraint Satisfaction Problem. (IJARAI) International Journal of Advanced Research in Artificial Intelligence, 1(9):20-25, 2012.
  8. Kazunori Ueda and Seiji Ogawa. HyperLMNtal: An Extension of a Hierarchical Graph Rewriting Model. KI - Künstliche Intelligenz, pp 1-10, 2012. ISSN: 0933-1875. [WWW] Keyword(s): related formalisms.
  9. Todd J. Green, Molham Aref, and Grigoris Karvounarakis. LogicBlox, Platform and Language: A Tutorial, pages 1-8. Springer Berlin Heidelberg, Berlin, Heidelberg, 2012. ISBN: 978-3-642-32925-8. [WWW] [doi:10.1007/978-3-642-32925-8_1]
  10. Matje van de Camp and Henning Christiansen. Resolving relative time expressions in Dutch text with Constraint Handling Rules, pages 74-85. University of Orléans, 2012.
  11. M. Alberti, M. Gavanelli, and E. Lamma. Deon+: Abduction and Constraints for Normative Reasoning. In Alexander Artikis, Robert Craven, Nihan Kesim, Babak Sadighi, and Kostas Stathis, editors, Festschrift of Marek Sergot. Springer, 2012.
  12. Stefano Bistarelli, Fabio Martinelli, Francesco Roperti, and Francesco Santini. Negotiation of Weighted RTML Credentials on Mobile Devices. In Marco De Marco, Dov Te'eni, Valentina Albano, and Stefano Za, editors, Information Systems: Crossroads for Organization, Management, Accounting and Engineering, pages 429-438. Physica-Verlag HD, 2012. ISBN: 978-3-7908-2788-0. [WWW] [doi:10.1007/978-3-7908-2789-7_47]

2011

  1. Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, and Sergio Storari. Learning specifications of interaction protocols and business processes and proving their properties. Intelligenza artificiale, 5(1):71-75, February 2011. ISSN: 1724-8035. [PDF] [doi:10.3233/IA-2011-0006]
  2. A.M. Cheadle, W. Harvey, A.J. Sadler, J. Schimpf, K. Shen, and M.G. Wallace. ECL$^i$PS$^e$: A Tutorial Introduction. 2011. Keyword(s): tutorial.
  3. János Csorba, Zsolt Zombori, and Péter Szeredi. Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language. CoRR, abs/1112.3784, 2011.
  4. Gregory J. Duck, Joxan Jaffar, and Nicolas Koh. A Symbolic Execution Framework with Explicit Heaps and Separation. 2011.
  5. Andrea Triossi. Hardware Execution of Constraint Handling Rules. PhD Thesis, 2011.
  6. Verónica Dahl. Informing Datalog through Language Intelligence - A Personal Perspective. In Oege de Moor, Georg Gottlob, Tim Furche, and Andrew Sellers, editors, Datalog Reloaded, volume 6702 of Lecture Notes in Computer Science, pages 161-180. Springer Berlin / Heidelberg, 2011. ISBN: 978-3-642-24205-2. [WWW] Keyword(s): linguistics.
  7. Verónica Dahl, Baohua Gu, and Erez Maharask. In Gemma Bel-Enguix and M. Dolores Jimenez-Lopez, editors, Bio-Inspired Models for Natural and Formal Languages, pages 205ff. Cambridge Scholars Publishing, April 2011.
  8. Verónica Dahl and Erez Maharask. In Gemma Bel-Enguix and M. Dolores Jimenez-Lopez, editors, Bio-Inspired Models for Natural and Formal Languages, pages 259ff. Cambridge Scholars Publishing, April 2011.
  9. Rémy Haemmerlé. (Co-)Inductive semantics for Constraint Handling Rules. In John Gallagher and Michael Gelfond, editors, ICLP11l, volume 11(4--5) of TPLP, pages 593-609. CUP, July 2011. [doi:10.1017/S1471068411000196] Keyword(s): semantics, termination.
  10. Rémy Haemmerlé. Observational equivalences for linear logic concurrent constraint languages. In John Gallagher and Michael Gelfond, editors, ICLP11l, volume 11(4--5) of TPLP, pages 469-485. CUP, July 2011. [doi:10.1017/S1471068411000123] Keyword(s): linear logic, semantics, confluence, related formalisms.

2010

  1. N. Berger. Modélisation et résolution en programmation par contraintes de problèmes mixtes continu/discret de satisfaction de contraintes et d'optimisation. October 2010.
  2. S. Bistarelli, F. Martinelli, and F. Santini. A formal framework for trust policy negotiation in autonomic systems: abduction with soft constraints. Autonomic and Trusted Computing, pp 268-282, 2010.
  3. Verónica Dahl, M. Jiménez-López, and O. Perriquet. Poetic RNA: Adapting RNA Design Methods to the Analysis of Poetry. Trends in Practical Applications of Agents and Multiagent Systems, pp 403-410, 2010.
  4. P. Deransart. Conception de traces et applications (vers une méta-théorie des traces)‘‘document de travail’’8 février 2010. 2010.
  5. M. Falda. Spatial Reasoning with Integrated Qualitative-Metric Fuzzy Constraint Networks. Journal of Universal Computer Science, 16(11):1390-1409, 2010.
  6. M. Gavanelli and F. Rossi. Constraint logic programming. A 25-year perspective on logic programming, pp 64-86, 2010.
  7. G. Jerke, J. Lienig, and J.B. Freuer. Constraint-Driven Design Methodology: A Path to Analog Design Automation. Analog Layout Synthesis: A Survey of Topological Approaches, pp 269, 2010.
  8. Y.S. Liu, H.J. Zhu, M. Zhu, and Y.Q. Xu. Research and implementation on negative disjunction constraints in FLUX. Jisuanji Yingyong Yanjiu, 27(8):2980-2983, 2010. Keyword(s): FLUX.
  9. M. Montali. Proof Procedures. Specification and Verification of Declarative Open Interaction Models, pp 201-227, 2010.
  10. M. Montali, P. Torroni, F. Chesani, P. Mello, M. Alberti, and E. Lamma. Abductive logic programming as an effective technology for the static verification of declarative business processes. Fundamenta Informaticae, 102(3):325-361, 2010.
  11. J. Oliveira and E. Carrapatoso. Evaluating the Adaptation of Multimedia Services Using a Constraints-Based Approach. Mobile Multimedia Processing, pp 70-88, 2010.
  12. Frank Raiser and Thom Frühwirth. Analyzing Graph Transformation Systems through Constraint Handling Rules. TPLP, 2010. Note: To appear. Keyword(s): Graph Transformation Systems, related formalisms.
  13. I. Salomie, V.R. Chifu, I. Harsa, and M. Gherga. Web service composition using fluent calculus. International Journal of Metadata, Semantics and Ontologies, 5(3):238-250, 2010.
  14. Z. Shan, C. Jin-yi, and WAN Jun-peng. QSRM: An Implementation Method for Qualitative Spatial Reasoning with Constraint Handling Rules. Journal of Changshu Institute of Technology, pp 90-94, 2010.
  15. Jon Sneyers, Peter Van Weert, Tom Schrijvers, and Leslie De Koninck. As Time Goes By: Constraint Handling Rules -- A Survey of CHR Research between 1998 and 2007. TPLP, 10(1):1-47, 2010. [PDF] [doi:10.1017/S1471068409990123] Keyword(s): survey.
  16. Peter Van Weert. Efficient Lazy Evaluation of Rule-Based Programs. IEEE Transactions on Knowledge and Data Engineering, 22(11):1521-1534, November 2010. [doi:10.1109/TKDE.2009.208] Keyword(s): implementation, optimizing compilation.
  17. D. Vytiniotis, S.P. Jones, T. Schrijvers, and M. Sulzmann. OutsideIn (X) Modular type inference with local assumptions. 2010.
  18. Bernhard Aichernig. A Systematic Introduction to Mutation Testing in Unifying Theories of Programming. In Paulo Borba, Ana Cavalcanti, Augusto Sampaio, and Jim Woodcook, editors, Testing Techniques in Software Engineering, volume 6153 of LNCS, pages 243-287. SV, 2010. [doi:10.1007/978-3-642-14335-9_8] Keyword(s): applications, testing.
  19. Hariolf Betz, Frank Raiser, and Thom Frühwirth. A Complete and Terminating Execution Model for Constraint Handling Rules. In Manuel Hermenegildo and Torsten Schaub, editors, ICLP10l, volume 10(4--6) of TPLP, pages 597-610. CUP, July 2010. [doi:10.1017/S147106841000030X] Keyword(s): semantics, termination.
  20. Stefano Bistarelli, Fabio Martinelli, and Francesco Santini. A formal framework for trust policy negotiation in autonomic systems: abduction with soft constraints. In Autonomic and Trusted Computing, pages 268-282. Springer, 2010.
  21. Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo, and Jon Sneyers. Decidability properties for fragments of CHR. In Manuel Hermenegildo and Torsten Schaub, editors, ICLP10l, volume 10(4--6) of TPLP, pages 611-626. CUP, July 2010. [doi:10.1017/S1471068410000311] Keyword(s): computability.
  22. Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, and Taisuke Sato. CHR(PRISM)-based Probabilistic Logic Learning. In Manuel Hermenegildo and Torsten Schaub, editors, ICLP10l, volume 10(4--6) of TPLP, pages 433-447. CUP, July 2010. [doi:10.1017/S1471068410000207] Keyword(s): probabilistic CHR, CHRiSM, extensions.

2009

  1. Henning Christiansen. Executable specifications for hypotheses-based reasoning with Prolog and Constraint Handling Rules. J. of Applied Logic, 7(3):341-362, September 2009. [doi:10.1016/j.jal.2008.10.004] Keyword(s): abduction.
  2. Leslie De Koninck. Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities. TPLP, 9(2):165-212, March 2009. [doi:10.1017/S1471068409003664] Keyword(s): priorities, related formalisms, complexity.
  3. Maurizio Gabbrielli and Maria Chiara Meo. A compositional semantics for CHR. TOCL, 10(2):1-36, February 2009. [doi:10.1145/1462179.1462183] Keyword(s): semantics.
  4. Edmund S.L. Lam and Martin Sulzmann. Concurrent goal-based execution of Constraint Handling Rules. TPLP, 11:841-879, 2009. [POSTSCRIPT] Keyword(s): parallelism.
  5. Jon Sneyers, Tom Schrijvers, and Bart Demoen. The Computational Power and Complexity of Constraint Handling Rules. TOPLAS, 31(2), February 2009. [doi:10.1145/1462166.1462169] Keyword(s): complexity, computability.
  6. Hongwei Zhu and Stuart E. Madnick. Reconciliation of temporal semantic heterogeneity in evolving information systems. Ingénierie des Systèmes d'Information, 14(6):59-74, 2009.

2008

  1. Bernhard K. Aichernig and He Jifeng. Mutation testing in UTP. Formal Aspects of Computing, 21(1--2):33-64, February 2008. [doi:10.1007/s00165-008-0083-6] Keyword(s): testing.
  2. Khalil Djelloul, Dao Thi-Bich-Hanh, and Thom Frühwirth. Theory of finite or infinite trees revisited. TPLP, 8(4):431-489, 2008. [doi:10.1017/S1471068407003171]
  3. Tom Schrijvers, Bart Demoen, and David S. Warren. TCHR: a framework for tabled CLP. TPLP, 8(4):491-526, July 2008. [doi:10.1017/S147106840800327X] Keyword(s): implementation.
  4. Martin Sulzmann and Peter J. Stuckey. HM(X) Type Inference is CLP(X) Solving. Journal of Functional Programming, 18(2):251-283, 2008. [doi:10.1017/S0956796807006569] Keyword(s): type systems.
  5. Hongwei Zhu, Stuart E. Madnick, and Michael D. Siegel. Enabling global price comparison through semantic integration of web data. IJEB, 6(4):319-341, 2008.
  6. Henning Christiansen. Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI, pages 85-118. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_5] Keyword(s): abduction, probabilistic CHR.
  7. Leslie De Koninck, Tom Schrijvers, and Bart Demoen. A Flexible Search Framework for CHR. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI, pages 16-47. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_2] Keyword(s): disjunction, search.
  8. Thom Frühwirth. Welcome to Constraint Handling Rules. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI, pages 1-15. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_1] Keyword(s): tutorial.
  9. Maurizio Gabbrielli, Maria Chiara Meo, and Paolo Tacchella. A Compositional Semantics for CHR with Propagation Rules. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI, pages 119-160. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_6] Keyword(s): semantics.
  10. Jon Sneyers, Tom Schrijvers, and Bart Demoen. Guard Reasoning in the Refined Operational Semantics of CHR. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI, pages 213-244. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_8] Keyword(s): implementation, optimizing compilation.
  11. 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.
  12. Peter Van Weert, Pieter Wuille, Tom Schrijvers, and Bart Demoen. CHR for Imperative Host Languages. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI, pages 161-212. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_7] Keyword(s): implementation, Java.
  13. Armin Wolf, Jacques Robin, and Jairson Vitorino. Adaptive CHR meets CHR$^\vee$: An Extended Refined Operational Semantics for CHR$^\vee$ Based on Justifications. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI, pages 48-69. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_3] Keyword(s): disjunction, search, semantics.

2007

  1. Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Specification and Verification of Agent Interaction Protocols in a Logic-based System. Scalable Computing: Practice and Experience, 8(1):1-13, March 2007.
  2. Mathieu Boespflug. TaiChi:how to check your types with serenity. The Monad.Reader, 9:17-31, November 2007. Keyword(s): type systems.
  3. Jacques Robin, Jairson Vitorino, and Armin Wolf. Constraint Programming Architectures: Review and a New Proposal. j-jucs, 13(6):701-720, 2007. [WWW]
  4. Beata Sarna-Starosta, R. E. Kurt Stirewalt, and Laura K. Dillon. A Model-Based Design-for-Verification Approach to Checking for Deadlock in Multi-Threaded Applications. Intl. Journal of Softw. Engin. and Knowl. Engin., 17(2):207-230, 2007. [doi:10.1142/S0218194007003197] Keyword(s): applications, testing.
  5. Martin Sulzmann, Gregory J. Duck, Simon Peyton-Jones, and Peter J. Stuckey. Understanding functional dependencies via Constraint Handling Rules. J. Functional Prog., 17(1):83-129, 2007. [doi:10.1017/S0956796806006137] Keyword(s): type systems.

2006

  1. Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, and Paolo Torroni. Compliance Verification of Agent Interaction: a Logic-based Software Tool. Applied Artificial Intelligence, 20(2--4):133-157, 2006.
  2. Maryam Bavarian and Verónica Dahl. Constraint Based Methods for Biological Sequence Analysis. j-jucs, 12(11):1500-1520, 2006. [WWW] Keyword(s): applications.
  3. Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, and Corneliu Popeea. A flow-based approach for variant parametric types. SIGPLAN Not., 41(10):273-290, 2006. Keyword(s): type systems.
  4. Tom Schrijvers and Thom Frühwirth. Optimal union-find in Constraint Handling Rules. TPLP, 6(1--2):213-224, 2006. ISSN: 1471-0684. [doi:10.1017/S1471068405002541] Keyword(s): algorithms.
  5. Yoshinori Shigeta, Kiyoshi Akama, Hiroshi Mabuchi, and Hidekatsu Koike. Converting Constraint Handling Rules to Equivalent Transformation Rules. JACIII, 10(3):339-348, 2006. Keyword(s): related formalisms.

2005

  1. Peter J. Stuckey and Martin Sulzmann. A theory of overloading. TOPLAS, 27(6):1216-1269, 2005. ISSN: 0164-0925. Keyword(s): type systems.
  2. 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.
  3. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Michela Milano. A CHR-based implementation of known arc-consistency. 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 419-440. CUP, July 2005. [doi:10.1017/S147106840500236X]
  4. Sebastian Brand and Krzysztof R. Apt. Schedulers and Redundancy for a Class of Constraint Propagation Rules. 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 441-465. CUP, July 2005. [doi:10.1017/S1471068405002401]
  5. Henning Christiansen. CHR grammars. 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 467-501. CUP, July 2005. [doi:10.1017/S1471068405002395] Keyword(s): applications, linguistics.
  6. Christian Holzbaur, Marìa Garcìa de la Banda, Peter J. Stuckey, and Gregory J. Duck. Optimizing compilation of Constraint Handling Rules in HAL. 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 503-531. CUP, July 2005. [doi:10.1017/S1471068405002413] Keyword(s): implementation, optimizing compilation.
  7. Michael Thielscher. FLUX: A Logic Programming Method for Reasoning Agents. 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 533-565. CUP, July 2005. [doi:10.1017/S1471068405002358] Keyword(s): FLUX.
  8. Armin Wolf. Intelligent search strategies based on adaptive Constraint Handling Rules. 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 567-594. CUP, July 2005. [doi:10.1017/S1471068405002383]

2004

  1. 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.
  2. Stefano Bistarelli, Thom Frühwirth, Michael Marte, and Francesca Rossi. Soft Constraint Propagation and Solving in Constraint Handling Rules. Computational Intelligence: Special Issue on Preferences in AI and CP, 20(2):287-307, May 2004.
  3. Antonio J. Fernández and Patricia M. Hill. An interval constraint system for lattice domains. ACM Trans. Program. Lang. Syst., 26(1):1-46, 2004. ISSN: 0164-0925. [doi:10.1145/963778.963779]
  4. Alexander Pretschner, Heiko Lötzbeyer, and Jan Philipps. Model based testing in incremental system development. Journal of Systems and Software, 70(3):315-329, 2004. ISSN: 0164-1212. [doi:10.1016/S0164-1212(03)00076-1] Keyword(s): applications, testing.
  5. Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, and Stefan Kriebel. Model-based testing for real. J. Software Tools for Technology Transfer (STTT), 5(2--3):140-157, 2004. Keyword(s): applications, testing.

2003

  1. Steve Barker and Peter J. Stuckey. Flexible access control policy specification with constraint logic programming. ACM Trans. Inf. Syst. Secur., 6(4):501-546, 2003. ISSN: 1094-9224. [doi:10.1145/950191.950194]
  2. Lledó Museros Cabedo and Marìa Teresa Escrig. Modeling Motion by the Integration of Topology and Time. j-jucs, 9(9):1096-1122, 2003. [WWW]
  3. Henning Christiansen and Verónica Dahl. Logic Grammars for Diagnosis and Repair. Intl. J. Artificial Intelligence Tools, 12(3):227-248, 2003. Keyword(s): applications, abduction.

2001

  1. Krzysztof R. Apt and Eric Monfroy. Constraint programming viewed as rule-based programming. TPLP, 1(6):713-750, 2001. ISSN: 1471-0684. [doi:10.1017/S1471068401000072]
  2. 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.

2000

  1. Marìa Teresa Escrig and Francisco Toledo. Autonomous robot navigation using human spatial concepts. Intl. Journal on Intelligent Systems, 15(3):165-196, February 2000.
  2. Thom Frühwirth and Pascal Brisset. Placing Base Stations in Wireless Indoor Communication Networks. IEEE Intelligent Systems and Their Applications, 15(1):49-53, 2000. Keyword(s): applications.
  3. 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]
  4. Henning Christiansen and Davide Martinenghi. Symbolic constraints for meta-logic programming. In C. Holzbaur and Th. Frühwirth, editors, Special Issue on Constraint Handling Rules, volume 14(4) of Journal of Applied Artificial Intelligence, pages 345-367. Taylor & Francis, April 2000. [doi:10.1080/088395100117034]
  5. Christian Holzbaur and Thom Frühwirth. A Prolog Constraint Handling Rules Compiler and Runtime System.. In C. Holzbaur and Th. Frühwirth, editors, Special Issue on Constraint Handling Rules, volume 14(4) of Journal of Applied Artificial Intelligence, pages 369-388. Taylor & Francis, April 2000. [doi:10.1080/088395100117043] Keyword(s): implementation.
  6. Christian Holzbaur and Thom Frühwirth. Selected recent project descriptions involving CHR. In C. Holzbaur and Th. Frühwirth, editors, Special Issue on Constraint Handling Rules, volume 14(4) of Journal of Applied Artificial Intelligence, pages 417-420. Taylor & Francis, April 2000. [doi:10.1080/088395100117061]
  7. Bernd Meyer. A Constraint-Based Framework for Diagrammatic Reasoning. In C. Holzbaur and Th. Frühwirth, editors, Special Issue on Constraint Handling Rules, volume 14(4) of Journal of Applied Artificial Intelligence, pages 327-344. Taylor & Francis, April 2000. [doi:10.1080/088395100117025]
  8. Armin Wolf, Thomas Gruenhagen, and Ulrich Geske. On Incremental Adaptation of CHR Derivations. In C. Holzbaur and Th. Frühwirth, editors, Special Issue on Constraint Handling Rules, volume 14(4) of Journal of Applied Artificial Intelligence, pages 389-416. Taylor & Francis, April 2000. [doi:10.1080/088395100117052]

1999

  1. 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.
  2. Mireille Ducassé. Opium: an extendable trace analyzer for Prolog. J. Logic Programming, 39(1--3):177-223, 1999.

1998

  1. Marìa Teresa Escrig and Francisco Toledo. A Framework Based on CLP Extended with CHRs for Reasoning with Qualitative Orientation and Positional Information. J. Visual Languages and Computing, 9(1):81-101, 1998.
  2. Thom Frühwirth. Theory and Practice of Constraint Handling Rules. J. Logic Programming, Special Issue on Constraint Logic Programming, 37(1--3):95-138, 1998. [POSTSCRIPT] [doi:10.1016/S0743-1066(98)10005-5] Keyword(s): survey.

1996

  1. Thom Frühwirth, Pascal Brisset, and Jörq-Rainer Molwitz. Planning Cordless Business Communication Systems. IEEE Intelligent Systems, 11(1):50-55, 1996. [doi:10.1109/64.482958]

1995

  1. Jonathan Lever, Mark Wallace, and Barry Richards. Constraint Logic Programming for Scheduling and Planning. BT Technical Journal, 13(1), 1995.
  2. Thom Frühwirth and Philipp Hanschke. Terminological Reasoning with Constraint Handling Rules. In V. Saraswat and P. Van Hentenryck, editors, Principles and Practice of Constraint Programming, chapter 19. MIT Press, 1995.

BACK TO INDEX