-
Enumerating All Maximal Clique-Partitions of an Undirected Graph
Marin, M., Kutsia, T., Pau, I. C. & Rukhaia, M., 22 Sept 2023, Proceedings 7th Symposium on Working Formal Methods, FROM 2023. Horatiu Cheval, Laurentiu Leustean, and Andrei Sipos (ed.). Vol. 389. p. 65-79 15 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Open Access -
A framework for approximate generalization in quantitative theories
Kutsia, T. & Pau, I. C., May 2022, Hagenberg, Linz: RISC, JKU, 22 p. (RISC Report Series; no. 22-04).Research output: Working paper and reports › Preprint
-
A Framework for Approximate Generalization in Quantitative Theories
Kutsia, T. & Pau, I. C., 2022, Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Proceedings. Blanchette, J., Kovács, L. & Pattinson, D. (eds.). Springer, Vol. 13385. p. 578-596 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13385 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Open Access -
Matching and Generalization Modulo Proximity and Tolerance Relations
Kutsia, T. & Pau, I. C., 2022, Proceedings of TbiLLC 2019 - 13th International Tbilisi Symposium on Logic, Language, and Computation. Özgün, A. & Zinova, Y. (eds.). Springer, Vol. 13206. p. 323-342 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13206 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
Symbolic Techniques for Approximate Reasoning
Pau, I. C., 2022, 202 p.Research output: Thesis › Doctoral thesis
Projects
- 1 Finished
-
Generalization: Algorithms and Applications
Cerna, D. (Researcher), Pau, I. C. (Researcher) & Kutsia, T. (PI)
01.02.2016 → 31.01.2021
Project: Funded research › FWF - Austrian Science Fund
Activities
-
39th International Workshop on Unification (Event)
Pau, I. C. (Member)
2025Activity: Membership/Function › Program committee
-
Stand bei der Langen Nacht der Forschung
Hemmecke, R. (Speaker) & Pau, I. C. (Speaker)
24 May 2024Activity: Talk or presentation › Other talk or presentation › science-to-public
-
Symbolic Techniques for, Approximate Reasoning
Pau, I. C. (Speaker)
15 Jan 2024Activity: Talk or presentation › Other talk or presentation › science-to-science
-
Report on PhD thesis: Symbolic Techniques for,Approximate Reasoning
Pau, I. C. (Speaker)
15 Jan 2024Activity: Talk or presentation › Other talk or presentation › science-to-science
-
Matching Modulo Proximity Theories
Pau, I. C. (Speaker)
22 Sept 2023Activity: Talk or presentation › Contributed talk › science-to-science