RISC

JKU

RISC Publications		RISC Report Series		Search		Gröbner Bases Bibliography
Publications & Reports in the frame of project 'Symbolic Computation Techniques for Unranked Terms '		Technical Reports in the frame of project 'Symbolic Computation Techniques for Unranked Terms '		Talks in the frame of project 'Symbolic Computation Techniques for Unranked Terms '

RISC Publications in the frame of project 'Symbolic Computation Techniques for Unranked Terms '

2020

Ilias Kotsireas, Temur Kutsia, Dimitris Simos. Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques. Annals of Mathematics and Artificial Intelligence 88(1), pp. 213-236. 2020. ISSN 1573-7470. [doi] [pdf] [bib]

2017

Alexander Baumgartner, Temur Kutsia. Unranked Second-Order Anti-Unification. Information and Computation 255(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 Reasoning 58(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 Science 10137, pp. 34-49. 2017. Springer, ISBN 978-3-319-51675-2. [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]
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.), LNCS 10184, pp. 328-344. 2017. Springer, ISBN 978-3-319-63138-7. [pdf] [bib]

2016

Besik Dundua, Mario Florido, Temur Kutsia, Mircea Marin. CLP(H): Constraint Logic Programming for Hedges. Theory and Practice of Logic Programming 16(2), pp. 141-162. 2016. ISSN 1471-0684. [url] [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 Computing 39, 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-29 2016. AAAI Press, Cape Town, South Africa, 978-1-57735-755-1. [url] [bib]
Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, Wolfgang Windsteiger. Theorema 2.0: Computer-Assisted Natural-Style Mathematics. JFR 9(1), pp. 149-185. 2016. ISSN 1972-5787. [doi] [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

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]
Alexander Baumgartner. Anti-Unification Algorithms: Design, Analysis, and Implementation. RISC, JKU Linz. PhD Thesis. September 2015. [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]
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]
Temur Kutsia, Mircea Marin. Regular Expression Order-Sorted Unification and Matching. Journal of Symbolic Computation 67, pp. 42-67. 2015. ISSN 0747-7171. [doi] [pdf] [bib]

2014

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 Science 8652, pp. 66- 80. 2014. Springer, ISBN 978-3-662-44144-2. [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]
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.), LNCS 8475, pp. 285-301. 2014. Springer, ISBN 978-3-319-07150-3. [pdf] [bib]
Temur Kutsia, Jordi Levy, Mateu Villaret. Anti-Unification for Unranked Terms and Hedges. Journal of Automated Reasoning 52(2), pp. 155-190. 2014. ISSN 0168-7433. [doi] [bib]

2013

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 Informatics 21, 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]

2012

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]