| Publication | Date of Publication | Type |
|---|
Nominal AC-matching
Lecture Notes in Computer Science | 2024-02-28 | Paper |
A Rule-Based System for Computation and Deduction in Mathematica
1517.68425 | 2022-12-22 | Paper |
| A framework for approximate generalization in quantitative theories | 2022-12-07 | Paper |
Solving proximity constraints
Logic-Based Program Synthesis and Transformation | 2022-08-25 | Paper |
| Unranked Nominal Unification | 2022-08-11 | Paper |
| Matching and Generalization Modulo Proximity and Tolerance Relations | 2022-08-11 | Paper |
Pattern-based calculi with finitary matching
Logic Journal of the IGPL | 2022-08-10 | Paper |
| A Generic Framework for Higher-Order Generalizations. | 2022-07-18 | Paper |
Nominal Unification and Matching of Higher Order Expressions with Recursive Let
Fundamenta Informaticae | 2022-05-16 | Paper |
| MK-fuzzy automata and MSO logics | 2021-12-14 | Paper |
| Unification modulo \(\alpha\)-equivalence in a mathematical assistant system | 2021-12-08 | Paper |
| Extending the \(\rho\) log calculus with proximity relations | 2021-08-30 | Paper |
| Specification and analysis of ABAC policies in a rule-based framework | 2021-08-30 | Paper |
| Term-graph anti-unification | 2021-06-15 | Paper |
Higher-order equational pattern anti-unification
(available as arXiv preprint) | 2021-06-15 | Paper |
Variadic equational matching in associative and commutative theories
Journal of Symbolic Computation | 2021-06-03 | Paper |
Higher-order pattern generalization modulo equational theories
Mathematical Structures in Computer Science | 2020-12-08 | Paper |
McCarthy-Kleene fuzzy automata and MSO logics
Information and Computation | 2020-05-26 | Paper |
Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques
Annals of Mathematics and Artificial Intelligence | 2020-02-11 | Paper |
| Variadic equational matching | 2020-01-22 | Paper |
Idempotent anti-unification
ACM Transactions on Computational Logic | 2019-11-22 | Paper |
| Theorema 2.0: computer-assisted natural-style mathematics | 2019-09-18 | Paper |
CLP(\(\mathsf{H}\)): constraint logic programming for hedges
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Nominal unification of higher order expressions with recursive let
(available as arXiv preprint) | 2017-10-13 | Paper |
Unranked second-order anti-unification
Information and Computation | 2017-09-04 | Paper |
| Constructing orthogonal designs in powers of two: Gröbner bases meet equational unification | 2017-07-12 | Paper |
| Nominal anti-unification | 2017-07-12 | Paper |
Higher-order pattern anti-unification in linear time
Journal of Automated Reasoning | 2017-07-06 | Paper |
| A variant of higher-order anti-unification | 2017-02-01 | Paper |
Anti-unification for unranked terms and hedges
Journal of Automated Reasoning | 2015-07-02 | Paper |
A library of anti-unification algorithms
Logics in Artificial Intelligence | 2015-01-14 | Paper |
Unranked second-order anti-unification
Logic, Language, Information, and Computation | 2015-01-13 | Paper |
Regular expression order-sorted unification and matching
Journal of Symbolic Computation | 2014-09-11 | Paper |
Constraint logic programming for hedges: a semantic reconstruction
Functional and Logic Programming | 2014-07-24 | Paper |
Pattern unification with sequence variables and flexible arity symbols
Electronic Notes in Theoretical Computer Science | 2013-08-15 | Paper |
On the computation of quotients and factors of regular languages
Frontiers of Computer Science in China | 2013-07-04 | Paper |
| Order-Sorted Unification with Regular Expression Sorts. | 2012-04-25 | Paper |
| Anti-unification for unranked terms and hedges | 2012-04-24 | Paper |
| scientific article; zbMATH DE number 5993920 (Why is no real title available?) | 2012-01-01 | Paper |
Regular hedge language factorization revisited
Developments in Language Theory | 2010-08-31 | Paper |
Foundations of the rule-based system \(\rho\,\text{Log}\)
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
On the relation between context and sequence unification
Journal of Symbolic Computation | 2009-11-06 | Paper |
Flat matching
Journal of Symbolic Computation | 2009-01-30 | Paper |
Matching with Regular Constraints
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
The Theorema Environment for Interactive Proof Development
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Sequence Unification Through Currying
Lecture Notes in Computer Science | 2008-01-02 | Paper |
Solving equations with sequence variables and sequence functions
Journal of Symbolic Computation | 2007-10-23 | Paper |
\textit{Theorema}: Towards computer-aided mathematical theory exploration
Journal of Applied Logic | 2007-02-20 | Paper |
| A rule-based approach to the implementation of evaluation strategies | 2007-01-22 | Paper |
| scientific article; zbMATH DE number 2217742 (Why is no real title available?) | 2005-10-26 | Paper |
Mathematical Knowledge Management
Lecture Notes in Computer Science | 2005-08-26 | Paper |
Artificial Intelligence and Symbolic Computation
Lecture Notes in Computer Science | 2005-08-19 | Paper |
| scientific article; zbMATH DE number 2090055 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2043541 (Why is no real title available?) | 2004-02-16 | Paper |
| scientific article; zbMATH DE number 1980932 (Why is no real title available?) | 2003-09-15 | Paper |
On semantics and proof theory of disjunctive logic programs with classical negation
Applied Mathematics and Informatics | 2002-02-19 | Paper |
