RISC Publications and Technical Reports of Teimuraz Kutsia
2024
G. Ehling, T. Kutsia.Solving Quantitative Equations. Technical report no. 24-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).April2024. Licensed under CC BY 4.0 International.[doi][pdf][bib]
2023
David Cerna, Temur Kutsia.Anti-unification and Generalization: a Survey. In: Proceedings of IJCAI 2023 - 32nd International Joint Conference on Artifical Intelligence, Edith Elkind (ed.), pp. 6563-6573.2023.ijcai.org,ISBN 978-1-956792-03-4 .[doi][bib]
Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, and Daniele Nantes-Sobrinho.Nominal AC-Matching. In: Proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, Catherine Dubois and Manfred Kerber (ed.), Lecture Notes in Aritificial Intelligence14101, pp. 53-68.2023.Springer,ISBN 978-3-031-42752-7.[doi][bib]
Mircea Marin, Temur Kutsia, Cleo Pau, Mikheil Rukhaia.Enumerating All Maximal Clique-Partitions of an Undirected Graph. In: Proceedings 7th Symposium on Working Formal Methods, FROM 2023, Horatiu Cheval, Laurentiu Leustean, and Andrei Sipos (ed.), pp. 65-79.2023.[doi][bib]
Mauricio Ayala-Rincón, David M. Cerna, Andres Felipe Gonzalez Barragan, Temur Kutsia.Equational Anti-Unification over Absorption Theories. arXiv:2310.11136. Technical report, 2023.[doi][bib]
Georg Ehling, Temur Kutsia.Matching in Quantitative Equational Theories. In: UNIF 2023 - 37th International Workshop on Unification, Veena Ravishankar and Christophe Ringeissen (ed.), pp. -.2023.[url][bib]
2022
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]
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]
Temur Kutsia, Cleo Pau.A framework for approximate generalization in quantitative theories. Technical report no. 22-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).May2022. Licensed under CC BY 4.0 International.[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 and Cleo Pau.A Framework for Approximate Generalization in Quantitative Theories. In: Automated Reasoning, Jasmin Blanchette, Laura Kovács, and Dirk Pattinson (ed.), Proceedings of 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Lecture Notes in Artificial Intelligence13385, pp. 578-596.2022.Springer,ISBN 978-3-031-10768-9.[doi][bib]
Kevin Buzzard and Temur Kutsia.Work-in-progress papers presented at the 15th Conference on Intelligent Computer Mathematics, CICM 2022 (Informal Proceedings). , 2022.[url][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]
Temur Kutsia, Cleo Pau.Proximity-Based Unification and Matching for Full Fuzzy Signatures. Technical report no. 21-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).April2021.[doi][pdf][bib]
Temur Kutsia, Cleo Pau.Generalization Algorithms with Proximity Relations in Full Fuzzy Signatures. Technical report no. 21-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).April2021.[doi][pdf][bib]
Temur Kutsia (editor).9th International Symposium on Symbolic Computation in Software Science (SCSS 2021), short and work-in-progress papers. Technical report no. 21-16 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).August2021. Licensed under CC BY 4.0 International.[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
Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner.McCarthy-Kleene fuzzy automata and MSO logics.Information and Computation, pp. -.2020.Elsevier,ISSN 0890-5401.In Press.[doi][bib]
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]
Temur Kutsia.Unification modulo alpha-equivalence in a mathematical assistant system. Technical report no. 20-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2020.[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 and Andrew M. Marshall (Editors).Proceedings of The 34th International Workshop on Unification, UNIF 2020. Technical report no. 20-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2020.[pdf][bib]
David M. Cerna, Temur Kutsia.Unital Anti-Unification: Type and Algorithms. 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. 26:1-26:20.2020.Schloss Dagstuhl-Leibniz-Zentrum für Informatik,ISBN 978-3-95977-155-9, ISSN 1868-8969.[url][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]
David M. Cerna, Temur Kutsia.Higher-order pattern generalization modulo equational theories.Mathematical Structures in Computer Science30(6), pp. 627-663.2020.ISSN 0960-1295.[url][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]
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]
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, Mikheil Rukhaia.Unranked Nominal Unification. Technical report no. 20-21 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2020.[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
Temur Kutsia, Cleo Pau.Computing All Maximal Clique Partitions in a Graph. Technical report no. 19-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2019.[pdf][bib]
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. Technical report no. 19-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2019.[pdf][bib]
Temur Kutsia, Cleo Pau.Matching and Generalization Modulo Proximity and Tolerance. Technical report no. 19-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2019.[pdf][bib]
Mircea Marin, Temur Kutsia, Besik Dundua.A Rule-based Approach to the Decidability of Safety of ABACα. In: Proceedings of the 24th ACM Symposium on Access Control Models and Technologies, SACMAT 2019, Florian Kerschbaum, Atefeh Mashatan, Jianwei Niu, Adam J. Lee (ed.), pp. 173-178.2019.ACM,ISBN 978-1-4503-6753-0.[doi][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
David M. Cerna and Temur Kutsia.Idempotent Generalization is Infinitary. RISC. Technical report, RISC Report, 2018.[pdf][bib]
David M. Cerna, Temur Kutsia.Idempotent Anti-unification . RISC. Technical report, Feb.2018.to appear in TOCL.[pdf][bib]
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret.Term-Graph Anti-Unification. Technical report no. 18-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2018.[pdf][bib]
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]
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]
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]
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret.Term-Graph Anti-Unification. In: 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), Helene Kirchner (ed.), Leibniz International Proceedings in Informatics (LIPIcs)108, pp. 9:1-9:17.2018.Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik,Dagstuhl, Germany,ISBN 978-3-95977-077-4 ISSN 1868-8969.[url][bib]
David M. Cerna, Temur Kutsia.Higher-Order Equational Pattern Anti-Unification. In: 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), Helene Kirchner (ed.), Leibniz International Proceedings in Informatics (LIPIcs)108, pp. 12:1-12:17.2018.Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik,Dagstuhl, Germany,ISBN 978-3-95977-077-4 ISSN 1868-8969.[url][bib]
2017
Alexander Baumgartner, Temur Kutsia.Unranked Second-Order Anti-Unification.Information and Computation255(2), pp. 262-286.2017.ISSN: 0890-5401.[doi][bib]
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret.Higher-Order Pattern Anti-Unification in Linear Time. Journal of Automated Reasoning58(2), pp. 293-310.2017.ISSN 0168-7433.[doi][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]
Manfred Schmidt-Schauss, Temur Kutsia, Jordy Levy, Mateu Villaret.Nominal Unification of Higher Order Expressions with Recursive Let. In: Proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, M. Hermenegildo and P. Lopez-Garcia (ed.), LNCS10184, pp. 328-344.2017.Springer,ISBN 978-3-319-63138-7.[pdf][bib]
Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner.MK-fuzzy Automata and MSO Logics. In: 8th Symposium on Games, Automata, Logics and Formal Verification (GandALF’17), P. Bouyer, A. Orlandini, P. San Pietro (ed.), Electronic Proceedings in Theoretical Computer Science (EPTCS)256, pp. 106-120.September2017.Rome, Italy, September 22-27,ISSN 2075-2180.[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
Besik Dundua, Mario Florido, Temur Kutsia, Mircea Marin.CLP(H): Constraint Logic Programming for Hedges.Theory and Practice of Logic Programming16(2), pp. 141-162.2016.ISSN 1471-0684.[url][bib]
Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, Wolfgang Windsteiger.Theorema 2.0: Computer-Assisted Natural-Style Mathematics.JFR9(1), pp. 149-185.2016.ISSN 1972-5787.[doi][bib]
Wolfgang Schreiner, David Cerna, Temur Kutsia, Michael Krieger, Bashar Ahmad, Helmut Otto, Martin Rummerstorfer, Thomas Gössl.Practical Event Monitoring in the LogicGuard Framework. In: embedded world Conference 2016, February 23-25 2016, Nürnberg, Germany, Matthias Sturm et al. (ed.), pp. -.February2016.Design & Elektronik,Haar, Germany,ISBN 978-3-645-50159-0.[pdf][bib]
David M. Cerna, Wolfgang Schreiner, and Temur Kutsia.Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors. In: SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science, James H. Davenport and Fadoua Ghourabi (ed.), Proceedings of The 7th International Symposium on Symbolic Computation in Software Science, EPiC Series in Computing39, pp. 29-41.2016.EasyChair,ISSN 2040-557X.[url][pdf][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]
Manfred Schmidt-Schauss, Temur Kutsia, Jordi Levy, Mateu Villaret.Nominal Unification of Higher Order Expressions with Recursive Let. Technical report no. 16-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2016.[pdf][bib]
Temur Kutsia, George Rahonis, Wolfgang Schreiner.MK-fuzzy automata. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, May2016.[pdf][bib]
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]
Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer.An Overview of PρLog. Technical report no. 16-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2016.[pdf][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]
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]
2015
Boris Konev, Temur Kutsia.Anti-Unification of Concepts in Description Logic EL. Technical report no. 15-20 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2015.[pdf][bib]
Temur Kutsia, Mircea Marin.Regular Expression Order-Sorted Unification and Matching.Journal of Symbolic Computation67, pp. 42-67.2015.ISSN 0747-7171.[doi][pdf][bib]
Wolfgang Schreiner, Temur Kutsia, Michael Krieger, Bashar Ahmad, Helmut Otto, Martin Rummerstorfer.Securing Device Communication by Predicate Logic Specifications. In: embedded world Conference 2015, February 24-26 2015, Nürnberg, Germany, Matthias Sturm et al. (ed.), pp. -.February2015.Design&Elektronik,Haar, Germany,ISBN 978-3-645-50144-6.[pdf][bib]
Ilias Kotsireas, Temur Kutsia, Dimitris E. Simos.Constructing Orthogonal Designs in Powers of Two: Groebner Bases Meet Equational Unification. In: Proceedings of the 26th International Conference on Rewriting Techniques and Applications, RTA'15, Maribel Fernandez (ed.), Leibniz International Proceedings in Informatics (LIPIcs), pp. 241-256.2015.Schloss Dagstuhl,ISSN 1868-8969.[pdf][bib]
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret.Nominal Anti-Unification. RISC. Technical report no. 15-03, April2015.[pdf][bib]
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret.Nominal Anti-Unification. In: Proceedings of the 26th International Conference on Rewriting Techniques and Applications, RTA'15, Maribel Fernandez (ed.), Leibniz International Proceedings in Informatics (LIPIcs), pp. 57-73.2015.ISSN 1868-8969.[pdf][bib]
Besik Dundua, Mario Florido, Temur Kutsia.Lambda Calculus with Regular Types. In: Proceeding of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, , pp. -.2015.To appear.[pdf][bib]
Wolfgang Schreiner, Temur Kutsia, Davic Cerna, Michael Krieger, Bashar Ahmad, Helmut Otto, Martin Rummerstorfer, Thomas Gössl.The LogicGuard Stream Monitor Specification Language Tutorial and Reference Manual. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, October2015.Technical Report.[pdf][bib]
2014
Temur Kutsia, Jordi Levy, Mateu Villaret.Anti-Unification for Unranked Terms and Hedges. Journal of Automated Reasoning52(2), pp. 155-190.2014.ISSN 0168-7433.[doi][bib]
Besik Dundua, Mario Florido, Temur Kutsia, Mircea Marin.Constraint Logic Programming for Hedges: A Semantic Reconstruction. Technical report no. 14-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2014.[pdf][bib]
Besik Dundua, Mario Florido, Temur Kutsia, Mircea Marin.Constraint Logic Programming for Hedges: A Semantic Reconstruction. In: Proceedings of the Twelfth International Symposium on Functional and Logic Programming, FLOPS 2014, Michael Codish and Eijiro Sumii (ed.), LNCS8475, pp. 285-301.2014.Springer,ISBN 978-3-319-07150-3.[pdf][bib]
Alexander Baumgartner, Temur Kutsia.Unranked Second-Order Anti-Unification. RISC, JKU Linz. Technical report no. 14-05, March2014.[pdf][bib]
Temur Kutsia, Christophe Ringeissen.Proceedings of the 28th International Workshop on Unification, UNIF 2014. Technical report no. 14-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2014.[url][pdf][bib]
Alexander Baumgartner, Temur Kutsia.Unranked Second-Order Anti-Unification. In: Proceedings of the 21st Workshop on Logic, Language, Information and Computation, WoLLIC 2014 , Ulrich Kohlenbach (ed.), Lecture Notes in Computer Science8652, pp. 66- 80.2014.Springer,ISBN 978-3-662-44144-2.[pdf][bib]
Alexander Baumgartner, Temur Kutsia.A Library of Anti-Unification Algorithms. Technical report no. 14-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).June2014.[url][pdf][bib]
Alexander Baumgartner, Temur Kutsia.A library of anti-unification algorithms. In: Proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, Eduardo Ferme and Joao Leite (ed.), Lecture Notes in Computer Science, pp. 543-557.2014.Springer,ISBN 978-3-319-11557-3.[pdf][bib]
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret.Nominal anti-unification. In: Proceedings of the 28th International Workshop on Unification, UNIF 2014, Temur Kutsia, Christophe Ringeissen (ed.), pp. 62-68.2014.[pdf][bib]
Temur Kutsia, Wolfgang Schreiner.Verifying the Soundness of Resource Analysis for LogicGuard Monitors (Revised Version) . Technical report no. 14-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2014.[pdf][bib]
Wolfgang Schreiner, Temur Kutsia, Michael Krieger, Ahmad Bashar, Helmut Otto, Martin Rummerstorfer.Monitoring Network Traffic by Predicate Logic. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, September2014.[pdf][bib]
Temur Kutsia, Andrei Voronkov (eds.).Sixth International Symposium on Symbolic Computation in Software Science, SCSS 2014. Short Papers. Technical report no. 14-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2014.[url][pdf][bib]
2013
Laura Kovacs, Temur Kutsia (ed.).Proceedings of the Fifth International Symposium on Symbolic Computation in Software Science, SCSS 2013. Technical report no. 13-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2013.[pdf][bib]
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret.A Variant of Higher-Order Anti-Unification. In: Proceedings of the 24th International Conference on Rewriting Techniques and Applications, RTA 2013, Femke van Raamsdonk (ed.), Leibniz International Proceedings in Informatics21, pp. 113-127.2013.ISBN 978-3-939897-53-8, ISSN 1868-8969.[url][bib]
Alexander Baumgartner, Temur Kutsia.Unranked Anti-Unification with Hedge and Context Variables. In: Proceedings of the 27th International Workshop on Unification, UNIF 2013, Barbara Morawska, Konstantin Korovin (ed.), pp. 13-21.2013.[url][bib]
Sandra Alves, Besik Dundua, Mario Florido, Temur Kutsia.A Confluent Pattern Calculus with Hedge Variables. In: Proceedings of the 2nd International Workshop on Confluence, IWC 2013, Nao Hirokawa, Vincent van Oostrom (ed.), pp. 41-45.2013.[url][bib]
Temur Kutsia, Wolfgang Schreiner.Verifying the Soundness of Resource Analysis for LogicGuard Monitors, Part 1. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, December 162013.[pdf][bib]
Wolfgang Schreiner, Temur Kutsia.A Resource Analysis for LogicGuard Monitors. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, December 172013.[pdf][bib]
2012
Temur Kutsia, Wolfgang Schreiner.LogicGuard Abstract Language. Technical report no. 12-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2012.[pdf][bib]
Temur Kutsia, Wolfgang Schreiner.Translation Mechanism for the LogicGuard Abstract Language. Technical report no. 12-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2012.[pdf][bib]
Temur Kutsia, Mircea Marin.Solving, Reasoning, and Programming in Common Logic. Technical report no. 12-15 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2012.[pdf][bib]
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret.A Variant of Higher-Order Anti-Unification. Technical report no. 12-19 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2012.[pdf][bib]
Sandra Alves, Besik Dundua, Mario Florido, Temur Kutsia.A Dynamic Pattern Calculus with Hedge Variables. Technical report no. 12-20 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2012.[pdf][bib]
Temur Kutsia, Mircea Marin.Solving, Reasoning, and Programming in Common Logic. In: Proc. 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Andrei Voronkov (ed.), pp. 119-126.2012.IEEE Computer Society,ISBN 978-0-7695-4934-7.[pdf][bib]
Temur Kutsia, Mircea Marin.Regular Expression Order-Sorted Unification and Matching. Technical report no. 12-14 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2012.[pdf][bib]
2011
Temur Kutsia, Jordi Levy, Mateu Villaret.Anti-Unification for Unranked Terms and Hedges. Technical report no. 11-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2011.[pdf][bib]
Temur Kutsia, Jordi Levy, Mateu Villaret.Anti-Unification for Unranked Terms and Hedges. In: Proceedings of the 22st International Conference on Rewriting Techniques and Applications, RTA 2011, Manfred Schmidt-Schauss (ed.), Leibniz International Proceedings in Informatics (LIPIcs)10, pp. 219-234.2011.Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl Publishing,ISBN 978-3-939897-30-9, ISSN 1868-8969.[url][bib]
2010
Temur Kutsia, Jordi Levy, Mateu Villaret. On the Relation Between Context and Sequence Unification.Journal of Symbolic Computation45(1), pp. 74-95.2010.ISSN 0747-7171.[pdf][bib]
Besik Dundua, Temur Kutsia, Mircea Marin.Strategies in P$\rho$Log.Electronic Proceedings in Theoretical Computer Science, pp. 32-43.2010.ISSN 2075-2180 .[pdf][bib]
Mircea Marin, Temur Kutsia.Linear Systems for Regular Hedge Languages. In: Advances in Databases and Information Systems, Associated Workshops and Doctoral Consortium of the 13th East European Conference, ADBIS 2009. Revised Selected Papers , Janis Grundspenkis, Marite Kirikova, Yannis Manolopoulos, Leonids Novickis (ed.), Lecture Notes in Computer Science5968, pp. 104-112.2010.Springer,ISSN 0302-9743, ISBN 978-3-642-12081-7.[pdf][bib]
Mircea Marin, Temur Kutsia.On the Computation of Quotients and Factors of Regular Languages.Frontiers of Computer Science in China4(2), pp. 173-184.2010.Springer,ISSN 1673-7350.[url][bib]
Maria Alpuente (ed.).Proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010. Technical report no. 10-14 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2010.[pdf][bib]
Jorge Coelho, Besik Dundua, Mario Florido and Temur Kutsia.A Rule-Based Approach to XML Processing and Web Reasoning. In: Proceedings of the 4th International Conference on Web Reasoning and Rule Systems, RR 2010, Pascal Hitzler and Thomas Lukasiewicz (ed.), Lecture Notes in Computer Science6333, pp. 164-172.2010.Springer,ISSN 0302-9743, ISBN 978-3-642-15917-6.[url][bib]
Mircea Marin and Temur Kutsia.Regular Hedge Language Factorization Revisited. In: Proceedings of the 14th International Conference on Developments in language Theory, DLT 2010, Sheng Yu (ed.), Lecture Notes in Computer Science6224 , pp. 328-339.2010.Springer,ISSN 0302-9743, ISBN 978-3-642-14454-7.[url][bib]
Temur Kutsia and Mircea Marin.Order-Sorted Unification with Regular Expression Sorts. In: Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, Christopher Lynch (ed.), Leibniz International Proceedings in Informatics (LIPIcs)6, pp. 193-208.2010.Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl Publishing,ISSN 1868-8969, ISBN 978-3-939897-18-7.[url][bib]
Jorge Coelho, Besik Dundua, Mario Florido, Temur Kutsia.A Rule-Based Approach to XML Processing and Web Reasoning. Technical report no. 10-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2010.[pdf][bib]
2009
Mircea Marin, Temur Kutsia.Computational Methods in an Algebra of Regular Hedge Expressions. Technical report no. 09-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).March2009.[pdf][bib]
Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger.Automated Reasoning. In: Hagenberg Research, B. Buchberger, M. Affenzeller, A. Ferscha, M. Haller, T. Jebelean, E.P. Klement, P. Paule, G. Pomberger, W. Schreiner, R. Stubenrauch, R. Wagner, G. Weiss, W. Windsteiger (ed.), pp. 63-101.2009.Springer Dordrecht Heidelberg London New York,ISBN 978-3-642-02126-8.[url][bib]
Demis Ballis and Temur Kutsia.WWV'09 - Automated Specification and Verification of Web Systems. Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. Technical report no. 09-10, July2009.5th Int'l Workshop on Automated Specification and Verification of Web Systems, Castle of Hagenberg, Austria July 17, 2009.[pdf][pdf][bib]
Jorge Coelho, Mario Florido, Temur Kutsia.Collaborative Schema Construction using Regular Sequence Types. In: Proceedings of the 2009 IEEE International Conference of Information Reuse and Integration (IRI'09), Kang Zhang, Reda Alhajj (ed.), pp. 290-295.2009.ISBN 978-1-4244-4114-3 .[pdf][bib]
Temur Kutsia, Mircea Marin.Order-Sorted Unification with Regular Expression Sorts. In: Proc. UNIF/ADDCT 2009, Christopher Lynch et al. (ed.), pp. 2-16.2009.-.[pdf][bib]
Besik Dundua, Temur Kutsia, Mircea Marin.Strategies in P$\rho$Log. In: 9th International Workshop on Reduction Strategies in Rewriting and Programming (WRS'09), Maribel Fernandez (ed.), pp. 19-25.2009.-.[pdf][bib]
Temur Kutsia, Mircea Marin.Matching of Order-Sorted Terms with Regular Expression Sorts and Second-Order Variables . In: Proc. SCSS 2009, Adel Bouhoula, Tetsuo Ida (ed.), pp. -.2009.-.[bib]
2008
Bruno Buchberger, Tetsuo Ida, Temur Kutsia.Austrian-Japanese Workshop on Symbolic Computation in Software Science, SCSS 2008. Technical report no. 08-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2008.[url][pdf][bib]
Temur Kutsia.Flat Matching.JSC43(12), pp. 858-873.2008.ISSN 0747-7171.[url][pdf][bib]
2007
Temur Kutsia.Solving Equations with Sequence Variables and Sequence Functions.JSC42(3), pp. 352-388.2007.ISSN 0747-7171.[url][pdf][bib]
Temur Kutsia, Mircea Marin.Austria-Japan Workshop on Symbolic Computation and Software Verification. Technical report no. 07-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2007.[pdf][bib]
T. Kutsia, J. Levy, M. Villaret.Sequence Unification Through Currying. In: Proceedings of the 18th International Conference on Rewriting Techniques and Applications (RTA'07), F. Baader (ed.), Lecture Notes in Computer Science4533, pp. 288-302.2007.ISBN 978-3-540-73447-5.[pdf][bib]
Jorge Coelho, Mario Florido, Temur Kutsia.Sequence Disunification and its Application in Collaborative Schema Construction. In: Web Information Systems - WISE 2007 Workshops, M. Weske, M.-S. Hacid, C. Godart (ed.), Lecture Notes in Computer Science4832, pp. 91-102.2007.Springer,ISSN 0302-9743.[url][bib]
2006
B. Buchberger, A. Craciun, T. Jebelean, L. Kovacs, T. Kutsia, K. Nakagawa, F. Piroi, N. Popov, J. Robu, M. Rosenkranz, W. Windsteiger.Theorema: Towards Computer-Aided Mathematical Theory Exploration.Journal of Applied Logic4(4), pp. 470-504.2006.ISSN 1570-8683.[doi][pdf][bib]
Mircea Marin, Temur Kutsia.Foundations of the Rule-Based System RhoLog. Journal of Applied Non-Classical Logics16(1-2), pp. 151-168.2006.ISBN 2-7462-1479-2.[pdf][bib]
Temur Kutsia, Mircea Marin.Solving Regular Constraints for Hedges and Contexts. In: Proceedings of 20th International Workshop on Unification, UNIF'06, Jordi Levy (ed.), pp. 89-107.2006.[pdf][bib]
Temur Kutsia, Mircea Marin.A Rule-Based Framework for Solving Regular Context Sequence Constraints. Submitted to the RISC Report Series. 2006.[pdf][bib]
Temur Kutsia.Context Sequence Matching for XML..Electronic Notes on Theoretical Computer Science157(2), pp. 47-65.2006.Elsevier,ISSN: 1571-0661.[pdf][bib]
2005
Temur Kutsia.Context Sequence Matching for XML. In: Proceedings of the 1th International Workshop on Automated Specification and Verification of Web Sites (WWV'05), Maria Alpuente and Santiago Escobar and Moreno Falaschi (ed.), pp. 103-119.March 14-152005.Valencia, Spain,(Final version to appear in Elsevier ENTCS).[pdf][bib]
Temur Kutsia, Mircea Marin.Matching with Regular Constraints. Technical report no. 05-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2005.[pdf][bib]
Temur Kutsia, Mircea Marin.Matching with Regular Constraints. In: Logic for Programming, Artificial Intelligence, and Reasoning. Proceedings of the 12th International Conference LPAR'05, G. Sutcliffe and A. Voronkov (ed.), Lecture Notes in Artificial Intelligence3835, pp. 215-229.2005.Springer Verlag,ISSN 0302-9743, ISBN 3-540-30553-X.[url][pdf][bib]
Florina Piroi, Temur Kutsia.The Theorema Environment for Interactive Proof Development. In: Logic for Programming, Artificial Intelligence, and Reasoning. Proceedings of the 12th International Conference, LPAR'05, G. Sutcliffe, A. Voronkov (ed.), Lecture Notes in Artificial Intelligence3835, pp. 261-275.2005.Springer Verlag,ISSN 0302-9743, ISBN 3-540-30553-X.[url][pdf][bib]
Temur Kutsia, Bruno Buchberger.Predicate Logic with Sequence Variables and Sequence Function Symbols. Technical report no. 05-17 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2005.[pdf][bib]
Temur Kutsia, Mircea Marin.Can Context Sequence Matching be Used for Querying XML?. In: Proceedings of the 19th International Workshop on Unification (UNIF'05), L. Vigneron (ed.), pp. 77-92.2005.[pdf][bib]
2004
T. Kutsia, B. Buchberger.Predicate Logic with Sequence Variables and Sequence Function Symbols. In: Proceedings of the 3rd International Conference on Mathematical Knowledge Management, MKM'04, Andrea Asperti and Grzegorz Bancerek and Andrzej Trybulec (ed.), Lecture Notes in Computer Science3119, pp. 205-219.Sep 19-212004.Springer Verlag,Bialowieza, Poland,ISBN 3-540-23029-7.[pdf][bib]
Temur Kutsia.Solving Equations Involving Sequence Variables and Sequence Functions. In: Proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation, AISC'04, Bruno Buchberger and John A. Campbell (ed.), Lecture Notes in Artificial Intelligence3249, pp. 157-170.Sep 22-242004.Springer Verlag,Hagenberg, Austria,ISBN 3-540-23212-5.[pdf][bib]
Mircea Marin, Temur Kutsia.A Rule-based Approach to the Implementation of Evaluation Strategies. In: Proceedings of the 6th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'04), Dana Petcu and Daniela Zaharie and Viorel Negru and Tudor Jebelean (ed.), pp. 227-241.Sep 26-302004.Mirton Publishing Company,Timisoara, Romania,ISBN 973-661-441-4.[bib]
Temur Kutsia.Solving Equations Involving Sequence Variables and Sequence Functions. Technical report no. 04-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).January2004.[pdf][bib]
Temur Kutsia, Mircea Marin.Unification Procedure for Terms with Sequence Variables and Sequence Functions (Extended Abstract).. In: Proceedings of the 18th International Workshop on Unification (UNIF'04), Michael Kohlhase (ed.), pp. 1-13.52004.Cork, Ireland,[pdf][bib]
2003
Mircea Marin, Temur Kutsia.Programming with Transformation Rules.Analele Universitatii de Vest din TimisoaraXVI, pp. 163-177.2003.Mirton Publishing Company,ISSN 1224-970X.[bib]
Mircea Marin, Temur Kutsia.Programming with Transformation Rules. In: Proceedings of the 5th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'03), Dana Petcu and Daniela Zaharie and Viorel Negru and Tudor Jebelean (ed.), pp. 157-167.Oct 1-42003.Mirton Publishing Company,Timisoara, Romania,ISBN 973-661-104-3.[bib]
Temur Kutsia.Unification Modulo Flatness. In: Proceedings of the 5th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'03), Dana Petcu and Daniela Zaharie and Viorel Negru and Tudor Jebelean (ed.), pp. 135-148.1-42003.Mirton Publishing Company,Timisoara, Romania,ISBN 973-661-104-3.[bib]
Temur Kutsia.Equational Prover of Theorema. In: Proceedings of the 14th International Conference on Rewriting Techniques and Applications (RTA'03), Robert Nieuwenhuis (ed.), Lecture Notes in Computer Science2706, pp. 367-379.June 9-112003.Springer Verlag,Valencia, Spain,ISBN 3-540-40254-3.[pdf][bib]
Temur Kutsia.Matching in Flat Theories. In: Proceedings of the 17th International Workshop on Unification (UNIF'03), Jordi Levy and Michael Kohlhase and Joachim Niehren and Mateu Villaret (ed.), pp. 57-64.June 8-92003.Valencia, Spain,ISBN 84-96221-00-8.[pdf][bib]
Mircea Marin, Temur Kutsia.On the Implementation of a Rule-Based Programming System and some of its Applications. In: Proceedings of the 4th International Workshop on the Implementation of Logics (WIL'03), Boris Konev and Renate Schmidt (ed.), pp. 55-68.2003.Almaty, Kazakhstan,[pdf][bib]
B. Buchberger, T. Jebelean, W. Windsteiger, T. Kutsia, K. Nakagawa, J. Robu, F. Piroi, A. Craciun, N. Popov, G. Kusper, M. Rosenkranz, L. Kovacs, C. Kocsis.F 1302: THEOREMA: Proving, Solving, and Computing in the Theory of Hilbert Spaces. In: Special Research Program (SFB) F 013, Numerical and Symbolic Scientific Computing, Proposal for Continuation, Part II: Proposal, P. Paule, U. Langer (ed.), pp. 58-73.October2003.Johannes Kepler University Linz, Austria,-.[bib]
2002
Temur Kutsia.Theorem Proving with Sequence Variables and Flexible Arity Symbols. In: Logic for Programming, Artificial Intelligence, and Reasoning. Proceedings of the 9th International Conference, LPAR'02, Matthias Baaz and Andrei Voronkov (ed.), Lecture Notes in Artificial Intelligence2514, pp. 278-291.Oct14-182002.Springer Verlag,Tbilisi, Georgia,ISBN 3-540-00010-0.[pdf][bib]
Temur Kutsia.Pattern Unification with Sequence Variables and Flexible Arity Symbols.Electronic Notes on Theoretical Computer Science66(5), pp. 1-18.2002.ISSN 1571-0661.[pdf][bib]
Temur Kutsia.Unification with Sequence Variables and Flexible Arity Symbols and its Extension with Pattern-Terms. In: Artificial Intelligence, Automated Reasoning and Symbolic Computation. Proceedings of Joint AISC'2002 - Calculemus'2002 conference, Jacques Calmet and Belaid Benhamou and Olga Caprotti and Laurent Henocque and Volker Sorge (ed.), Lecture Notes in Artificial Intelligence2385, pp. 290-304.July 1-52002.Springer Verlag,Marseille, France,ISBN 3-540-43865-3.[pdf][bib]
Temur Kutsia.Unification in a Free Theory with Sequence Variables and Flexible Arity Symbols and its Extensions. Johannes Kepler University, Linz, Austria. Technical report no. 02-6, 2002.SFB Report.[bib]
Teimuraz Kutsia.Solving and Proving in Equational Theories with Sequence Variables and Flexible Arity Symbols. Technical report no. 02-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).May2002.PhD Thesis.[ps][bib]
B. Buchberger, T. Jebelean, W. Windsteiger, T. Kutsia, K. Nakagawa, J. Robu, F. Piroi, A. Craciun, N. Popov, G. Kusper, M. Rosenkranz.F 1302: Solving and Proving in General Domains. In: Special Research Program (SFB) F 013, Numerical and Symbolic Scientific Computing, Annual Report 2002, U. Langer, F. Winkler (ed.), pp. 4-5.February2002.Johannes Kepler University Linz, Austria,[bib]
Temur Kutsia.Solving and Proving in Equational Theories with Sequence Variables and Flexible Arity Symbols. RISC, Johannes Kepler University of Linz. PhD Thesis.2002.[ps][bib]
2001
Temur Kutsia.Unification in the Empty and Flat Theories with Sequence Variables and Flexible Arity Symbols. In: Proceedings of the 17th International Workshop on Unification (UNIF'03), Franz Baader and Volker Diekert and Cesare Tinelli and Ralf Treinen (ed.), pp. 20-23.June 18-192001.Siena, Italy,[bib]
Temur Kutsia, Koji Nakagawa.An Interface between Theorema and External Automated Deduction Systems. In: Proceedings of 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus'01), Steve Linton and Roberto Sebastiani (ed.), pp. 178-182.Jun 21-232001.Siena, Italy,[bib]
2000
Teimuraz Kutsia, Koji Nakagawa.An Interface between Theorema and External Automated Deduction Systems. Technical report no. 00-29 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).October2000.[ps][bib]
B. Buchberger, C. Dupre, T. Jebelean, B. Konev, F. Kriftner, T. Kutsia, K. Nakagawa, F. Piroi, D. Vasaru, W. Windsteiger.The Theorema System: Proving, Solving, and Computing for the Working Mathematician. Technical report no. 00-38 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).August2000.[ps][bib]
B. Buchberger, C. Dupre, T. Jebelean, B. Konev, F. Kriftner, T. Kutsia, K. Nakagawa, F. Piroi, D. Vasaru, W. Windsteiger.The Natural Style Provers of Theorema: A Survey of Strategies for Different Mathematical Domains. Technical report no. 00-39 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).June2000.[ps][bib]
B. Buchberger, C. Dupre, T. Jebelean, B. Konev, F. Kriftner, T. Kutsia, K. Nakagawa, F. Piroi, D. Vasaru, W. Windsteiger.The Facilities of Theorema for Teaching Logic and Mathematics. Technical report no. 00-41 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).June2000.[ps][bib]
1999
Teimuraz Kutsia, Josef Schicho.Numerical Solving of Constraints of Multivariate Polynomial Strict Inequalities. Technical report no. 99-31 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).November1999.[ps][bib]
