Publications related to quantitative techniques

This section contains papers that are related to quantitative techniques, including matching, unification, and generalization for quantitative extensions of equality (fuzzy proximity and similarity relations or more general quantalic relations), as well as integration of some of these techniques into declarative programming. It includes both refereed publications and reports. Entries in this section may appear in the others as well.

Journal and conference papers

  • M. Ayala-Rincón, T.A. de Lima, G. Ehling, and T. Kutsia. Graded Quantitative Narrowing. In: P. Koepke and V. de Paiva (eds.). Proceedings of CICM 2025 -- 18th Conference on Intelligent Computer Mathematics. Volume 16136 of Lecture Notes in Artificial Intelligence. Springer, 2025. 113–132. DOI: 10.1007/978-3-032-07021-0_7.
    PDF, BibTeX.
  • B. Dundua, T. Kutsia. Higher-Order Pattern Unification Modulo Similarity Relations. In: S. Escobar and L. Titolo (eds.). Proceedings of the 35th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2025.Volume 16117 of Lecture Notes in Computer Science. Springer, 2025. 75–93. DOI: 10.1007/978-3-032-04848-6_5.
    PDF, BibTeX.
  • G. Ehling, T. Kutsia. Solving Quantitative Equations. In: Ch. Benzmüller, M. J. H. Heule, R. A. Schmidt, editors. Proceedings of IJCAR 2024 - 12th International Joint Conference Automated Reasoning, Part. II. Volume 14740 of Lecture Notes in Artificial Intelligence. Springer, 2024. 381–400. DOI: 10.1007/978-3-031-63501-4_20.
    PDF, BibTeX.
  • T. Kutsia, C. Pau. A Framework for Approximate Generalization in Quantitative Theories. In: J. Blanchette, L. Kovács, and D. Pattinson, editors. Proceedings of IJCAR 2022 - 11th International Joint Conference on Automated Reasoning. Volume 13385 of Lecture Notes in Artificial Intelligence. Springer, 2022. 578–596. DOI: 10.1007/978-3-031-10769-6_34.
    PDF, BibTeX.
  • T. Kutsia, C. Pau. Matching and Generalization Modulo Proximity and Tolerance Relations. In: A. Özgün and Y. Zinova, editors. Proceedings of TbiLLC 2019 - 13th International Tbilisi Symposium on Logic, Language, and Computation. Volume 13206 of Lecture Notes in Computer Science. Springer, 2022. 323–342. DOI: 10.1007/978-3-030-98479-3_16.
    PDF, BibTeX.
  • C. Pau, T. Kutsia. Proximity-Based Unification and Matching for Fully Fuzzy Signatures. In: Proceedings of FUZZ-IEEE 2021 - 30th IEEE International Conference on Fuzzy Systems. IEEE 2021. 1–6. DOI: 10.1109/FUZZ45933.2021.9494438.
    PDF, BibTeX.
  • B. Dundua, T. Kutsia, M. Marin, C. Pau. Constraint solving over multiple similarity relations. In: Z. M. Ariola, editor. Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020. Volume 167 of Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl, 2020. 31:1–31:18.
    PDF, BibTeX.
  • B. Dundua, T. Kutsia, M. Marin, C. Pau. Extending the ρLog Calculus with Proximity Relations. In: G. Jaiani and D. Natroshvili, editors. Applications of Mathematics and Informatics in Natural Sciences and Engineering, AMINSE 2019. Volume 334 of Springer Proceedings in Mathematics & Statistics. Springer, Cham. 2020. 83–100.
    PDF, BibTeX.
  • T. Kutsia, C. Pau. Solving Proximity Constraints. In: M. Gabbrielli, editor. Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019. Revised Selected Papers. October 8–10, 2019, Porto, Portugal. Vol. 12042 of Lecture Notes in Computer Science. Springer, 2019. 107–122. © Springer.
    PDF, BibTeX.

Workshop Papers and Technical Reports

  • G. Ehling, T. Kutsia. Matching in Quantitative Equational Theories. V. Ravishankar and C. Ringeissen, eds. 37th International Workshop on Unification, UNIF 2023, hal-04128216.
    PDF.
  • T. Kutsia, C. Pau. Proximity-Based Unification with Arity Mismatch. T. Kutsia and A. M. Marshall, eds. 34th International Workshop on Unification, UNIF 2020, technical Report 20-10 in RISC Report Series, RISC, Johannes Kepler University Linz, 9:1–9:6.
    PDF.
  • T. Kutsia, C. Pau. Solving Proximity Constraints. S. Erbatur and D. Nantes, eds. 33nd International Workshop on Unification, UNIF 2019, 7 pages.
    PDF.
  • T. Kutsia, C. Pau. Proximity-Based Generalization. M. Ayala-Rincon and Ph. Balbiani, eds. 32nd International Workshop on Unification, UNIF 2018, 8 pages.
    PDF.