Publications

Articles in journal, book chapters

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.

Conference articles

1. Vincent Barichard and Igor Stéphan. Quantified Constraint Handling Rules. In Technical Communications of the 35th International Conference on Logic Programming (ICLP 2019), 2019.
2. Henning Christiansen and Maja H. Kirkeby. Confluence of CHR Revisited: Invariants and Modulo Equivalence. In Logic-Based Program Synthesis and Transformation, pages 94-111, 2019. Springer. ISBN: 978-3-030-13838-7.
3. Beidi Li, Mehul Bhatt, and Carl Schultz. lambdaProlog (QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper). In 14th International Conference on Spatial Information Theory (COSIT 2019), 2019.