Temur Kutsia

Daniele Nantes-Sobrinho

J. Autom. Reason., December, 2024

Solving Quantitative Equations.

[BibT_eX]

[DOI]

Georg Ehling

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

Equational Anti-unification over Absorption Theories.

[BibT_eX]

[DOI]

Mauricio Ayala-Rincón

Andres Felipe Gonzalez Barragan

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023

Correction to: Preface.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., October, 2023

Preface.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., October, 2023

Enumerating All Maximal Clique-Partitions of an Undirected Graph.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 7th Symposium on Working Formal Methods, 2023

Nominal AC-Matching.

[BibT_eX]

[DOI]

Mauricio Ayala-Rincón

Maribel Fernández

Gabriel Ferreira Silva

Daniele Nantes-Sobrinho

Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023

Anti-unification and Generalization: A Survey.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

Nominal Unification and Matching of Higher Order Expressions with Recursive Let.

[BibT_eX]

[DOI]

Manfred Schmidt-Schauß

Fundam. Informaticae, 2022

Preface.

[BibT_eX]

[DOI]

Andrew M. Marshall

Ann. Math. Artif. Intell., 2022

A Framework for Approximate Generalization in Quantitative Theories.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021

Variadic equational matching in associative and commutative theories.

[BibT_eX]

[DOI]

J. Symb. Comput., 2021

Proximity-Based Unification and Matching for Fully Fuzzy Signatures.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Conference on Fuzzy Systems, 2021

2020

Idempotent Anti-unification.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2020

Higher-order pattern generalization modulo equational theories.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2020

McCarthy-Kleene fuzzy automata and MSO logics.

[BibT_eX]

[DOI]

Inf. Comput., 2020

Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques.

[BibT_eX]

[DOI]

Ilias S. Kotsireas

Dimitris E. Simos

Ann. Math. Artif. Intell., 2020

A Rule-Based System for Computation and Deduction in Mathematica.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Logic and Its Applications - 13th International Workshop, 2020

Proximity-Based Unification with Arity Mismatch.

[BibT_eX]

[DOI]

Proceedings of the 34th International Workshop on Unification, 2020

Constraint Solving over Multiple Similarity Relations.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

Unital Anti-Unification: Type and Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

2019

Symbolic computation in software science.

[BibT_eX]

[DOI]

James Harold Davenport

J. Symb. Comput., 2019

Matching and Generalization Modulo Proximity and Tolerance Relations.

[BibT_eX]

[DOI]

Proceedings of the Language, Logic, and Computation - 13th International Tbilisi Symposium, 2019

Unranked Nominal Unification.

[BibT_eX]

[DOI]

Mikheil Rukhaia

Proceedings of the Language, Logic, and Computation - 13th International Tbilisi Symposium, 2019

A Rule-based Approach to the Decidability of Safety of ABACα.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM Symposium on Access Control Models and Technologies, 2019

A Generic Framework for Higher-Order Generalizations.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

Variadic Equational Matching.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019

Solving Proximity Constraints.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2019

2018

Pattern-based calculi with finitary matching.

[BibT_eX]

[DOI]

Log. J. IGPL, 2018

Higher-Order Equational Pattern Anti-Unification [Preprint].

[BibT_eX]

[DOI]

CoRR, 2018

Higher-Order Equational Pattern Anti-Unification.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018

Term-Graph Anti-Unification.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018

2017

Higher-Order Pattern Anti-Unification in Linear Time.

[BibT_eX]

[DOI]

J. Autom. Reason., 2017

Unranked second-order anti-unification.

[BibT_eX]

[DOI]

Inf. Comput., 2017

MK-fuzzy Automata and MSO Logics.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Eighth International Symposium on Games, 2017

An Overview of PρLog.

[BibT_eX]

[DOI]

Klaus Reisenberger-Hagmayer

Proceedings of the Practical Aspects of Declarative Languages, 2017

2016

<i>CLP(H): </i> Constraint logic programming for hedges.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2016

Theorema 2.0: Computer-Assisted Natural-Style Mathematics.

[BibT_eX]

[DOI]

J. Formaliz. Reason., 2016

A rewrite-based computational model for functional logic programming.

[BibT_eX]

[DOI]

Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016

Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors.

[BibT_eX]

[DOI]

Wolfgang Schreiner

Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016

Predicting Space Requirements for a Stream Monitor Specification Language.

[BibT_eX]

[DOI]

Wolfgang Schreiner

Proceedings of the Runtime Verification - 16th International Conference, 2016

Nominal Unification of Higher Order Expressions with Recursive Let.

[BibT_eX]

[DOI]

Manfred Schmidt-Schauß

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

Anti-Unification of Concepts in Description Logic EL.

[BibT_eX]

[DOI]

Boris Konev

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

P-rho-Log: Combining Logic Programming with Conditional Transformation Systems.

[BibT_eX]

[DOI]

Klaus Reisenberger-Hagmayer

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

2015

Regular expression order-sorted unification and matching.

[BibT_eX]

[DOI]

J. Symb. Comput., 2015

Special issue on symbolic computation in software science.

[BibT_eX]

[DOI]

J. Symb. Comput., 2015

CLP(H): Constraint Logic Programming for Hedges.

[BibT_eX]

[DOI]

CoRR, 2015

Lambda Calculus with Regular Types.

[BibT_eX]

[DOI]

Mário Florido

Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification.

[BibT_eX]

[DOI]

Ilias S. Kotsireas

Dimitris E. Simos

Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015

2014

Anti-unification for Unranked Terms and Hedges.

[BibT_eX]

[DOI]

J. Autom. Reason., 2014

Nominal Anti-Unification.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Unification, 2014

A Library of Anti-unification Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Constraint Logic Programming for Hedges: A Semantic Reconstruction.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

2013

Anti-Unification: Algorithms and Applications.

[BibT_eX]

[DOI]

Proceedings of the 27th International Workshop on Unification, 2013

A Variant of Higher-Order Anti-Unification.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

Unranked Anti-Unification with Hedge and Context Variables.

[BibT_eX]

[DOI]

Proceedings of the 27th International Workshop on Unification, 2013

2012

Special issue on Automated Specification and Verification of Web Systems.

[BibT_eX]

[DOI]

Laura Kovács

J. Appl. Log., 2012

Solving, Reasoning, and Programming in Common Logic.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

2011

Foreword.

[BibT_eX]

[DOI]

Demis Ballis

J. Symb. Comput., 2011

2010

On the relation between Context and Sequence Unification.

[BibT_eX]

[DOI]

J. Symb. Comput., 2010

Symbolic computation in software science: Foreword from the editor.

[BibT_eX]

[DOI]

J. Symb. Comput., 2010

On the computation of quotients and factors of regular languages.

[BibT_eX]

[DOI]

Frontiers Comput. Sci. China, 2010

Order-Sorted Unification with Regular Expression Sorts.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

A Rule-Based Approach to XML Processing and Web Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010

Regular Hedge Language Factorization Revisited.

[BibT_eX]

[DOI]

Proceedings of the Developments in Language Theory, 14th International Conference, 2010

2009

Strategies in PRholog

[BibT_eX]

[DOI]

Proceedings of the Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, 2009

Collaborative Schema Construction using Regular Sequence Types.

[BibT_eX]

[DOI]

Jorge Coelho

Mário Florido

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2009

Linear Systems for Regular Hedge Languages.

[BibT_eX]

[DOI]

Proceedings of the Advances in Databases and Information Systems, 2009

Automated Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Hagenberg Research, 2009

2008

Flat matching.

[BibT_eX]

[DOI]

J. Symb. Comput., 2008

Matching with Membership Constraints for Hedge and Context Variables.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Unification, 2008

2007

Solving equations with sequence variables and sequence functions.

[BibT_eX]

[DOI]

J. Symb. Comput., 2007

Sequence Disunification and Its Application in Collaborative Schema Construction.

[BibT_eX]

[DOI]

Jorge Coelho

Mário Florido

Proceedings of the Web Information Systems Engineering - WISE 2007 Workshops, 2007

Sequence Unification Through Currying.

[BibT_eX]

[DOI]

Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007

2006

Theorema: Towards computer-aided mathematical theory exploration.

[BibT_eX]

[DOI]

J. Appl. Log., 2006

Foundations of the rule-based system rLog.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2006

2005

Context Sequence Matching for XML.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, 2005

The Theorema Environment for Interactive Proof Development.

[BibT_eX]

[DOI]

Florina Piroi

Proceedings of the Logic for Programming, 2005

Matching with Regular Constraints.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2005

2004

Predicate Logic with Sequence Variables and Sequence Function Symbols.

[BibT_eX]

[DOI]

Bruno Buchberger

Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

Solving Equations Involving Sequence Variables and Sequence Functions.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Computation, 2004

2003

Equational Prover of THEOREMA.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

2002

Pattern Unification with Sequence Variables, Flexible Arity Symbols.

[BibT_eX]

[DOI]

Proceedings of the Unification in Non-Classical Logics, 2002

Theorem Proving with Sequence Variables and Flexible Arity Symbols.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2002

Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms.

[BibT_eX]

[DOI]