-
Enumerating All Maximal Clique-Partitions of an Undirected Graph
Marin, M., Kutsia, T., Pau, I. C. & Rukhaia, M., 22 Sep. 2023, Proceedings 7th Symposium on Working Formal Methods, FROM 2023. Horatiu Cheval, Laurentiu Leustean, and Andrei Sipos (Hrsg.). Band 389. S. 65-79 15 S. (Electronic Proceedings in Theoretical Computer Science, EPTCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
Open Access -
A framework for approximate generalization in quantitative theories
Kutsia, T. & Pau, I. C., Mai 2022, Hagenberg, Linz: RISC, JKU, 22 S. (RISC Report Series; Nr. 22-04).Publikation: Preprints, Working Paper und Forschungsberichte › Vorabpublikation
-
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. (Hrsg.). Springer, Band 13385. S. 578-596 19 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13385 LNAI).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
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. (Hrsg.). Springer, Band 13206. S. 323-342 20 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13206 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
Symbolic Techniques for Approximate Reasoning
Pau, I. C., 2022, 202 S.Publikation: Abschlussarbeiten › Dissertation
Projekte
- 1 Abgeschlossen
-
Generalization: Algorithms and Applications
Cerna, D. (Forscher*in), Pau, I. C. (Forscher*in) & Kutsia, T. (Projektleiter*in)
01.02.2016 → 31.01.2021
Projekt: Geförderte Forschung › FWF - Österreichischer Wissenschaftsfonds
Aktivitäten
-
39th International Workshop on Unification (Veranstaltung)
Pau, I. C. (Mitglied)
2025Aktivität: Mitgliedschaft/Funktion › Programm-Komitee
-
Stand bei der Langen Nacht der Forschung
Hemmecke, R. (Vortragende*r) & Pau, I. C. (Vortragende*r)
24 Mai 2024Aktivität: Vortrag oder Präsentation › Anderer Vortrag oder Präsentation › Science-to-public
-
Symbolic Techniques for, Approximate Reasoning
Pau, I. C. (Vortragende*r)
15 Jän. 2024Aktivität: Vortrag oder Präsentation › Anderer Vortrag oder Präsentation › Science-to-science
-
Report on PhD thesis: Symbolic Techniques for,Approximate Reasoning
Pau, I. C. (Vortragende*r)
15 Jän. 2024Aktivität: Vortrag oder Präsentation › Anderer Vortrag oder Präsentation › Science-to-science
-
Matching Modulo Proximity Theories
Pau, I. C. (Vortragende*r)
22 Sep. 2023Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › Science-to-science