Publications related to generalization computation

This section contains papers that are related to the computation of generalizations (also called anti-unification). It includes both refereed publications and reports, but not edited books or volumes. Entries in this section may appear in the others as well.

Journal and conference papers

  • D. Cerna, T. Kutsia. Anti-unification and Generalization: a Survey. In: E. Elkind, editor. Proceedings of IJCAI 2023 - 32nd International Joint Conference on Artificial Intelligence. ijcai.org, 2023. 6563–6573. DOI: 110.24963/ijcai.2023/736.
    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.
  • D. Cerna, T. Kutsia. Higher-Order Pattern Generalization Modulo Equational Theories. Mathematical Structures in Computer Science, 30(6), 627–663, 2020. DOI: 10.1017/S0960129520000110.
    PDF, BibTeX.
  • D. Cerna, T. Kutsia. Idempotent anti-unification. ACM Transactions on Computational Logic, 21(2), 10:1–10:32, 2020. DOI: 110.1145/3359060.
    PDF, BibTeX.
  • D. Cerna, T. Kutsia. Unital Anti-unification: Type and Algorithms. 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. 27:1–27:20.
    PDF, BibTeX.
  • D. Cerna, T. Kutsia. A Generic Framework for Higher-Order Generalizations. In: H. Geuvers, editor. Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019. June 25–29, 2019, Dortmund, Germany. Vol. 131 of the Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl, 2019, 10:1–10:19.
    PDF, BibTeX.
  • A. Baumgartner, T. Kutsia, J. Levy, M. Villaret. Term-Graph Anti-Unification. In: H. Kirchner, editor. Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018. June 9–12, 2018, Oxford, UK. Vol. 108 of the Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl, 2018, 9:1–9:17.
    PDF, BibTeX.
  • D. Cerna, T. Kutsia. Higher-Order Equational Pattern Anti-Unification. In: H. Kirchner, editor. Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018. June 9–12, 2018, Oxford, UK. Vol. 108 of the Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl, 2018, 12:1–12:17.
    PDF, BibTeX.
  • A. Baumgartner, T. Kutsia. Unranked Second-Order Anti-Unification. Information and Computation. 255, part 2. 262–286, 2017. DOI: 10.1016/j.ic.2017.01.005.
    PDF, BibTeX.
  • A. Baumgartner, T. Kutsia, J. Levy, M. Villaret. Higher-Order Pattern Anti-Unification in Linear Time. Journal of Automated Reasoning. 58(2):293–310, 2017. DOI: 10.1007/s10817-016-9383-3.
    PDF, BibTeX.
  • B. Konev, T. Kutsia. Anti-Unification of Concepts in Description Logic EL. In: Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016. April 25–29, 2016, Cape Town, South Africa. The AAAI Press, 2016. 227–236.
    PDF, BibTeX.
  • A. Baumgartner, T. Kutsia, J. Levy, M. Villaret. Nominal Anti-Unification. In: M. Fernández, editor, Proceedings of the 26th International Conference on Rewriting Techniques and Applications, RTA 2015. June 29–July 3, 2015, Warsaw, Poland. Vol. 36 of the Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl, 2015, 57–73.
    PDF, BibTeX.
  • T. Kutsia, J. Levy, M. Villaret. Anti-Unification for Unranked Terms and Hedges. Journal of Automated Reasoning. 52(2): 155–190, 2014. DOI: 10.1007/s10817-013-9285-6.
    PDF, BibTeX.
  • A. Baumgartner, T. Kutsia. A Library of Anti-Unification Algorithms. In: E. Ferme and J. Leite, editors, Proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014. September 24–26, Madeira, Portugal. Volume 8761 of Lecture Notes in Computer Science. Springer, 2014, 543–557. © Springer.
    PDF, BibTeX.
  • A. Baumgartner, T. Kutsia. Unranked Second-Order Anti-Unification. In: U. Kohlenbach, editor, Proceedings of the 21st Workshop on Logic, Language, Information and Computation, WoLLIC 2014. September 4–6, 2014, Valparaiso, Chile. Volume 8652 of Lecture Notes in Computer Science. Springer, 2014, 66–80. © Springer.
    PDF, BibTeX.
  • A. Baumgartner, T. Kutsia, J. Levy, M. Villaret. A Variant of Higher-Order Anti-Unification. In: F. van Raamsdonk, editor, Proceedings of the 24th International Conference on Rewriting Techniques and Applications, RTA 2013. June 24–26, 2013, Eindhoven, The Netherlands. Vol. 21 of the Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl, 2013, 113–127.
    PDF, BibTeX.
  • T. Kutsia, J. Levy, M. Villaret. Anti-Unification for Unranked Terms and Hedges. In: M. Schmidt-Schauss, editor, Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011. May 30–June 1, 2011, Novi Sad, Serbia. Vol. 10 of the Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl, 2011, 219–234.
    PDF, BibTeX.

Workshop papers and technical reports

  • T. Kutsia, C. Pau. Computing All Maximal Clique Partitions in a Graph. Technical report no. 19-04 in RISC Report Series. RISC, Johannes Kepler University Linz, 2019. 9 pages.
    PDF, BibTeX.
  • D. Cerna, T. Kutsia. Towards Generalization Methods for Purely Idempotent Equational Theories. M. Ayala-Rincon and Ph. Balbiani, eds. 32nd International Workshop on Unification, UNIF 2018, 5 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.
  • D. Cerna, T. Kutsia. Idempotent Generalization is Infinitary. RISC. Technical report, 2018.
    PDF, BibTeX.
  • N. Amiridze, T. Kutsia. Anti-Unification and Natural Language Processing. A. Asudeh, V. de Paiva, L. Moss, eds. Fifth Workshop on Natural Language and Computer Science, NLCS'18, EasyChair preprint 203, 2018. 12 pages.
    PDF, BibTeX.
  • A. Baumgartner, T. Kutsia, J. Levy, M. Villaret. Nominal Anti-unification. In: T. Kutsia and Ch. Ringeissen, editors. 28th International Workshop on Unification, UNIF 2014. July 13, 2014, Vienna, Austria. 62–69.
    PDF, BibTeX.
  • A. Baumgartner, T. Kutsia. Unranked Anti-Unification with Hedge and Context Variables. In: B. Morawska and K. Korovin, editors, 27th International Workshop on Unification, UNIF 2013. June 27, 2013, Eindhoven, The Netherlands.
    BibTeX.
  • T. Kutsia. Anti-Unification: Algorithms and Applications. In: B. Morawska and K. Korovin, editors, 27th International Workshop on Unification, UNIF 2013. June 27, Eindhoven, The Netherlands.
    BibTeX.