RISC Publications in the frame of project 'Generalization ALgorithms and Applications'
2022
Besik Dundua, Temur Kutsia, Mikheil Rukhaia.Unranked Nominal Unification. In: Proceedings of TbiLLC 2019 - 13th International Tbilisi Symposium on Logic, Language, and Computation, Aybüke Özgün and Yulia Zinova (ed.), Proceedings of 13th International Tbilisi Symposium on Logic, Language, and Computation, Lecture Notes in Computer Science13206, pp. 279-296.2022.Springer,ISBN 978-3-030-98478-6.[doi][pdf][bib]
Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret, Yunus Kutz.Nominal Unification and Matching of Higher Order Expressions with Recursive Let.Fundamenta Informaticae185(3), pp. 247-283.2022.IOS Press,ISSN 1875-8681.[url][bib]
Temur Kutsia, Cleo Pau.Matching and Generalization Modulo Proximity and Tolerance Relations. In: Proceedings of TbiLLC 2019 - 13th International Tbilisi Symposium on Logic, Language, and Computation, Aybüke Özgün and Yulia Zinova (ed.), Lecture Notes in Computer Science13206, pp. 323-342.2022.Springer,ISBN 978-3-030-98478-6.[doi][pdf][bib]
Cleo Pau.Symbolic Techniques for Approximate Reasoning. RISC, JKU. PhD Thesis.2022.[pdf][bib]
2021
Besik Dundua, Temur Kutsia, Mircea Marin.Variadic equational matching in associative and commutative theories.Journal of Symbolic Computation106, pp. 78-109.2021.Elsevier,ISSN 0747-7171.[doi][pdf][bib]
Cleo Pau, Temur Kutsia.Proximity-Based Unification and Matching for Fully Fuzzy Signatures. In: Proceedings of the 30th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2021, , pp. 1-6.2021.IEEE,isbn 978-1-6654-4407-1.[doi][pdf][bib]
2020
David Cerna, Temur Kutsia.Idempotent Anti-unification.ACM Transactions on Computational Logic (TOCL)21(2), pp. 10:1-10:32.2020.ACM Press,ISSN 1529-3785.[doi][pdf][bib]
David M. Cerna , Temur Kutsia.Unital Anti-Unification: Type and Algorithms. In: 5th International Conference on Formal Structures for Computation and Deduction, {FSCD} 2020, June 29-July 6, 2020, Paris, France (Virtual Conference, Zena M. Ariola (ed.), Proceedings of FSCD, LIPICS167/20-02, pp. 1-20.2020.1868-8969.[doi][bib]
Besik Dundua, Temur Kutsia, Mircea Marin, Cleopatra Pau.Constraint Solving over Multiple Similarity Relations. In: Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Zena M. Ariola (ed.), Leibniz International Proceedings in Informatics (LIPIcs)167, pp. 30:1-30:19.2020.Schloss Dagstuhl-Leibniz-Zentrum für Informatik,ISBN 978-3-95977-155-9, ISSN 1868-8969.[doi][bib]
Besik Dundua, Temur Kutsia, Mircea Marin, Mikheil Rukhaia.Specification and Analysis of ABAC Policies in a Rule-Based Framework. In: AMINSE 2019: Applications of Mathematics and Informatics in Natural Sciences and Engineering, George Jaiani, David Natroshvili (ed.), Springer Proceedings in Mathematics & Statistics334, pp. 101-116.2020.Springer,ISBN 978-3-030-56356-1, 978-3-030-56355-4.[doi][pdf][bib]
Mircea Marin, Besik Dundua, Temur Kutsia.A Rule-Based System for Computation and Deduction in Mathematica. In: WRLA 2020: Rewriting Logic and Its Applications, Santiago Escobar, Narciso Martí-Oliet (ed.), Lecture Notes in Computer Science12328, pp. 57-74.2020.Springer,ISBN 978-3-030-63595-4, 978-3-030-63594-7.[doi][pdf][bib]
Besik Dundua, Temur Kutsia, Mircea Marin, Cleo Pau.Extending the 𝜌Log Calculus with Proximity Relations. In: AMINSE 2019: Applications of Mathematics and Informatics in Natural Sciences and Engineering, George Jaiani, David Natroshvili (ed.), Springer Proceedings in Mathematics & Statistics334, pp. 83-100.2020.Springer,ISBN 978-3-030-56356-1, 978-3-030-56355-4.[doi][pdf][bib]
Ilias Kotsireas, Temur Kutsia, Dimitris Simos. Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques.Annals of Mathematics and Artificial Intelligence88(1), pp. 213-236.2020.ISSN 1573-7470.[doi][pdf][bib]
Temur Kutsia, Cleo Pau.Proximity-based Unification with Arity Mismatch. In: Proceedings of the 34th International Workshop on Unification, Temur Kutsia, Andrew M. Marshall (ed.), pp. 9:1-9:6.2020.[bib]
2019
David M. Cerna, Temur Kutsia.A Generic Framework for Higher-Order Generalizations. In: Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019), Herman Geuvers (ed.), Leibniz International Proceedings in Informatics (LIPIcs)131, pp. 10:1-10:19.2019.Schloss Dagstuhl,ISSN 1868-8969.[doi][bib]
Besik Dundua, Temur Kutsia, Mircea Marin.Variadic Equational Matching. In: Intelligent Computer Mathematics - 12th International Conference, CICM 2019, Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen (ed.), Lecture Notes in Computer Science11617, pp. 77-92.2019.Springer,ISBN 978-3-030-23249-8.[pdf][bib]
Temur Kutsia, Cleo Pau.Solving Proximity Constraints. In: Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019. Revised Selected Papers, Maurizio Gabbrielli (ed.), Lecture Notes in Computer Science 12042, pp. 107-122.2019.ISBN 978-3-030-45259-9.[pdf][bib]
Temur Kutsia, Cleo Pau.Solving Proximity Constraints. In: 33nd International Workshop on Unification, UNIF 2019, Daniele Nantes, Serdar Erbatur (ed.), pp. --.2019.[bib]
2018
N. Amiridze, T. Kutsia.Anti-Unification and Natural Language Processing. In: Fifth Workshop on Natural Language and Computer Science, NLCS’18, A. Asudeh, V. de Paiva, L. Moss (ed.), EasyChair preprints203, pp. 1-12.2018.[doi][pdf][bib]
Sandra Alves, Besik Dundua, Mário Florido, Temur Kutsia.Pattern-based calculi with finitary matching.Logic Journal of the IGPL26(2), pp. 203-243.2018.ISSN 1367-0751.[doi][bib]
Temur Kutsia, Cleo Pau.Proximity-Based Generalization. In: 32nd International Workshop on Unification, UNIF 2018, Mauricio Ayala-Rincon and Philippe Balbiani (ed.), pp. - .2018.[pdf][bib]
2017
David M. Cerna and Michael Lettmann.Integrating a Global Induction Mechanism into a Sequent Calculus. In: TABLEAUX 2017, Renate A. Schmidt and Cl{\'{a}}udia Nalon (ed.), Proceedings of Tableaux, lecture notes in computer science, pp. 278-294.September2017.Springer,978-3-319-66901-4.[bib]
David M. Cerna and Michael Lettmann.Towards a Clausal Analysis of Proof Schemata. In: SYNASC 2017, Tudor Jebelean and Viorel Negru and Dana Petcu and Daniela Zaharie and Tetsuo Ida and Stephan Watt (ed.), IEEE Xplore, pp. 113-120.September2017.978-1-5386-2625-2.[bib]
Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayr.An overview of PρLog. In: Proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, Y. Lierler and W. Taha (ed.), Lecture Notes in Computer Science10137, pp. 34-49.2017.Springer,ISBN 978-3-319-51675-2.[pdf][bib]
Mauricio Ayala-Rincon, Besik Dundua, Temur Kutsia, Mircea Marin.Rewriting Logic from a ρLog Point of View. In: Proceedings of the 12th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2017) , Sandra Alves and Renata Wasserman (ed.), pp. -.2017.[pdf][bib]
Sandra Alves, Besik Dundua, Mario Florido, Temur Kutsia.Pattern-Based Calculi with Finitary Matching.Logic Journal of the IGPL, pp. -.2017.Oxford University Press,ISSN 1367-0751.To appear.[doi][bib]
Johannes Blömer, Ilias Kotsireas, Temur Kutsia, Dimitris E. Simos, editors.Mathematical Aspects of Computer and Information Sciences.Lecture Notes in Computer Science10693,2017.Springer,ISBN 978-3-319-72452-2.[doi][bib]
2016
Mircea Marin, Temur Kutsia, Besik Dundua.A rewrite-based computational model for functional logic programming. In: Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, James H. Davenport (ed.), EPiC Series in Computing39, pp. 95-106.2016.EasyChair,ISSN 2398-7340.[url][bib]
B. Dundua, T. Kutsia, K. Reisenberger-Hagmayr.PρLog: Combining Logic Programming with Conditional Transformation Systems (Tool Description). In: Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016, M. Carro, A. King, N. Saeedloei, and M. De Vos (ed.), OpenAccess Series in Informatics (OASIcs)52, pp. 10.1-10.5.2016.Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik,ISBN 978-3-95977-007-1, ISSN 2190-6807.[url][bib]
Boris Konev, Temur 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, Chitta Baral, James P. Delgrande, Frank Wolter (ed.), pp. 227-236.April 25-292016.AAAI Press,Cape Town, South Africa,978-1-57735-755-1.[url][bib]
David M. Cerna and Wolfgang Schreiner, Temur Kutsia.Predicting Space Requirements for a Stream Monitor Specification Language. In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, Yli{\`{e}}s Falcone and C{\'{e}}sar S{\'{a}}nchez (ed.), pp. 135-151.2016.978-3-319-46981-2.[doi][bib]
2014
David M. Cerna.A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata. In: Intelligent Computer Mathematics - International Conference, {CICM} 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, Stephen M. Watt and James H. Davenport and Alan P. Sexton and Petr Sojka and Josef Urban (ed.), Proceedings of CICM, pp. 61-75.2014.10.1007/978-3-319-08434-3\_6.[bib]