Temur Kutsia

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 54

Top Topics

Logic Programming

Undirected Graph

Top Venues

Ann. Math. Artif. Intell.

J. Symb. Comput.

Publications

Mauricio Ayala-Rincón, David M. Cerna, Andres Felipe Gonzalez Barragan, Temur Kutsia
Equational Anti-unification over Absorption Theories. IJCAR (2) (2024)
Temur Kutsia, Daniel Ventura, David Monniaux, José F. Morales
Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis. CoRR (2024)
Georg Ehling, Temur Kutsia
Solving Quantitative Equations. IJCAR (2) (2024)
David M. Cerna, Temur Kutsia
Anti-unification and Generalization: A Survey. CoRR (2023)
Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, Daniele Nantes-Sobrinho
Nominal AC-Matching. CICM (2023)
Mircea Marin, Temur Kutsia, Cleo Pau, Mikheil Rukhaia
Enumerating All Maximal Clique-Partitions of an Undirected Graph. FROM (2023)
Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia
Correction to: Preface. Ann. Math. Artif. Intell. 91 (5) (2023)
Mauricio Ayala-Rincón, David M. Cerna, Andres Felipe Gonzalez Barragan, Temur Kutsia
Equational Anti-Unification over Absorption Theories. CoRR (2023)
David M. Cerna, Temur Kutsia
Anti-unification and Generalization: A Survey. IJCAI (2023)
Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia
Preface. Ann. Math. Artif. Intell. 91 (5) (2023)
Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret, Yunus D. K. Kutz
Nominal Unification and Matching of Higher Order Expressions with Recursive Let. Fundam. Informaticae 185 (3) (2022)
Temur Kutsia, Andrew M. Marshall
Preface. Ann. Math. Artif. Intell. 90 (5) (2022)
Temur Kutsia, Cleopatra Pau
A Framework for Approximate Generalization in Quantitative Theories. IJCAR (2022)
Cleopatra Pau, Temur Kutsia
Proximity-Based Unification and Matching for Fully Fuzzy Signatures. FUZZ-IEEE (2021)
Besik Dundua, Temur Kutsia, Mircea Marin
Variadic equational matching in associative and commutative theories. J. Symb. Comput. 106 (2021)
Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret, Yunus D. K. Kutz
Nominal Unification and Matching of Higher Order Expressions with Recursive Let. CoRR (2021)
Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner
McCarthy-Kleene fuzzy automata and MSO logics. Inf. Comput. 272 (2020)
David M. Cerna, Temur Kutsia
Higher-order pattern generalization modulo equational theories. Math. Struct. Comput. Sci. 30 (6) (2020)
Mircea Marin, Besik Dundua, Temur Kutsia
A Rule-Based System for Computation and Deduction in Mathematica. WRLA@ETAPS (2020)
David M. Cerna, Temur Kutsia
Unital Anti-Unification: Type and Algorithms. FSCD (2020)
Besik Dundua, Temur Kutsia, Mircea Marin, Cleopatra Pau
Constraint Solving over Multiple Similarity Relations. FSCD (2020)
Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos
Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques. Ann. Math. Artif. Intell. 88 (1-3) (2020)
Temur Kutsia, Cleo Pau
Proximity-Based Unification with Arity Mismatch. UNIF (2020)
David M. Cerna, Temur Kutsia
Idempotent Anti-unification. ACM Trans. Comput. Log. 21 (2) (2020)
James Harold Davenport, Temur Kutsia
Symbolic computation in software science. J. Symb. Comput. 90 (2019)
Besik Dundua, Temur Kutsia, Mikheil Rukhaia
Unranked Nominal Unification. TbiLLC (2019)
Besik Dundua, Temur Kutsia, Mircea Marin
Variadic Equational Matching. CICM (2019)
Temur Kutsia, Cleopatra Pau
Matching and Generalization Modulo Proximity and Tolerance Relations. TbiLLC (2019)
David M. Cerna, Temur Kutsia
A Generic Framework for Higher-Order Generalizations. FSCD (2019)
Mircea Marin, Temur Kutsia, Besik Dundua
A Rule-based Approach to the Decidability of Safety of ABACα. SACMAT (2019)
Temur Kutsia, Cleopatra Pau
Solving Proximity Constraints. LOPSTR (2019)
David M. Cerna, Temur Kutsia
Higher-Order Equational Pattern Anti-Unification. FSCD (2018)
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
Term-Graph Anti-Unification. FSCD (2018)
David M. Cerna, Temur Kutsia
Higher-Order Equational Pattern Anti-Unification [Preprint]. CoRR (2018)
Sandra Alves, Besik Dundua, Mário Florido, Temur Kutsia
Pattern-based calculi with finitary matching. Log. J. IGPL 26 (2) (2018)
Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner
MK-fuzzy Automata and MSO Logics. GandALF (2017)
Alexander Baumgartner, Temur Kutsia
Unranked second-order anti-unification. Inf. Comput. 255 (2017)
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
Higher-Order Pattern Anti-Unification in Linear Time. J. Autom. Reason. 58 (2) (2017)
Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer
An Overview of PρLog. PADL (2017)
Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret
Nominal Unification of Higher Order Expressions with Recursive Let. CoRR (2016)
Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin
Constraint logic programming for hedges. Theory Pract. Log. Program. 16 (2) (2016)
Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret
Nominal Unification of Higher Order Expressions with Recursive Let. LOPSTR (2016)
Mircea Marin, Temur Kutsia, Besik Dundua
A rewrite-based computational model for functional logic programming. SCSS (2016)
Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, Wolfgang Windsteiger
Theorema 2.0: Computer-Assisted Natural-Style Mathematics. J. Formaliz. Reason. 9 (1) (2016)
David M. Cerna, Wolfgang Schreiner, Temur Kutsia
Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors. SCSS (2016)
Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer
P-rho-Log: Combining Logic Programming with Conditional Transformation Systems. ICLP (Technical Communications) (2016)
Boris Konev, Temur Kutsia
Anti-Unification of Concepts in Description Logic EL. KR (2016)
David M. Cerna, Wolfgang Schreiner, Temur Kutsia
Predicting Space Requirements for a Stream Monitor Specification Language. RV (2016)
Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos
Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification. RTA (2015)
Adel Bouhoula, Bruno Buchberger, Laura Kovács, Temur Kutsia
Special issue on symbolic computation in software science. J. Symb. Comput. 69 (2015)
Temur Kutsia, Mircea Marin
Regular expression order-sorted unification and matching. J. Symb. Comput. 67 (2015)
Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin
CLP(H): Constraint Logic Programming for Hedges. CoRR (2015)
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
Nominal Anti-Unification. RTA (2015)
Besik Dundua, Mário Florido, Temur Kutsia
Lambda Calculus with Regular Types. SYNASC (2015)
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
Nominal Anti-Unification. UNIF (2014)
Alexander Baumgartner, Temur Kutsia
A Library of Anti-unification Algorithms. JELIA (2014)
Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin
Constraint Logic Programming for Hedges: A Semantic Reconstruction. FLOPS (2014)
Temur Kutsia, Jordi Levy, Mateu Villaret
Anti-unification for Unranked Terms and Hedges. J. Autom. Reason. 52 (2) (2014)
Alexander Baumgartner, Temur Kutsia
Unranked Second-Order Anti-Unification. WoLLIC (2014)
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
A Variant of Higher-Order Anti-Unification. RTA (2013)
Temur Kutsia
Anti-Unification: Algorithms and Applications. UNIF@RTA/TLCA (2013)
Alexander Baumgartner, Temur Kutsia
Unranked Anti-Unification with Hedge and Context Variables. UNIF@RTA/TLCA (2013)
Laura Kovács, Temur Kutsia
Special issue on Automated Specification and Verification of Web Systems. J. Appl. Log. 10 (1) (2012)
Temur Kutsia, Mircea Marin
Solving, Reasoning, and Programming in Common Logic. SYNASC (2012)
Demis Ballis, Temur Kutsia
Foreword. J. Symb. Comput. 46 (2) (2011)
Temur Kutsia, Jordi Levy, Mateu Villaret
Anti-Unification for Unranked Terms and Hedges. RTA (2011)
Mircea Marin, Temur Kutsia
On the computation of quotients and factors of regular languages. Frontiers Comput. Sci. China 4 (2) (2010)
Mircea Marin, Temur Kutsia
Regular Hedge Language Factorization Revisited. Developments in Language Theory (2010)
Temur Kutsia
Symbolic computation in software science: Foreword from the editor. J. Symb. Comput. 45 (5) (2010)
Temur Kutsia, Mircea Marin
Order-Sorted Unification with Regular Expression Sorts. RTA (2010)
Temur Kutsia, Jordi Levy, Mateu Villaret
On the relation between Context and Sequence Unification. J. Symb. Comput. 45 (1) (2010)
Jorge Coelho, Besik Dundua, Mário Florido, Temur Kutsia
A Rule-Based Approach to XML Processing and Web Reasoning. RR (2010)
Mircea Marin, Temur Kutsia
Linear Systems for Regular Hedge Languages. ADBIS (Workshops) (2009)
Jorge Coelho, Mário Florido, Temur Kutsia
Collaborative Schema Construction using Regular Sequence Types. IRI (2009)
Besik Dundua, Temur Kutsia, Mircea Marin
Strategies in PRholog WRS (2009)
Mircea Marin, Temur Kutsia
Matching with Membership Constraints for Hedge and Context Variables. UNIF (2008)
Temur Kutsia
Flat matching. J. Symb. Comput. 43 (12) (2008)
Temur Kutsia, Jordi Levy, Mateu Villaret
Sequence Unification Through Currying. RTA (2007)
Jorge Coelho, Mário Florido, Temur Kutsia
Sequence Disunification and Its Application in Collaborative Schema Construction. WISE Workshops (2007)
Temur Kutsia
Solving equations with sequence variables and sequence functions. J. Symb. Comput. 42 (3) (2007)
Temur Kutsia
Context Sequence Matching for XML. Electron. Notes Theor. Comput. Sci. 157 (2) (2006)
Mircea Marin, Temur Kutsia
Foundations of the rule-based system rLog. J. Appl. Non Class. Logics 16 (1-2) (2006)
Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger
Theorema: Towards computer-aided mathematical theory exploration. J. Appl. Log. 4 (4) (2006)
Temur Kutsia, Mircea Marin
Matching with Regular Constraints. LPAR (2005)
Temur Kutsia
Context Sequence Matching for XML. WWV (2005)
Florina Piroi, Temur Kutsia
The Theorema Environment for Interactive Proof Development. LPAR (2005)
Temur Kutsia, Bruno Buchberger
Predicate Logic with Sequence Variables and Sequence Function Symbols. MKM (2004)
Temur Kutsia
Solving Equations Involving Sequence Variables and Sequence Functions. AISC (2004)
Temur Kutsia
Equational Prover of THEOREMA. RTA (2003)
Temur Kutsia
Theorem Proving with Sequence Variables and Flexible Arity Symbols. LPAR (2002)
Temur Kutsia
Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms. AISC (2002)
Temur Kutsia
Pattern Unification with Sequence Variables, Flexible Arity Symbols. Electron. Notes Theor. Comput. Sci. 66 (5) (2002)