Cover Image

Higher-Order Pattern Unification Modulo Similarity Relations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dundua, Besik, Kutsia, Temur
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Logic in Computer Science Logic 03B70 (Primary) 68T37, 68T27, 68Q42, 03B40, 68V15 (Secondary) F.4.1; I.2.3
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Encoding Argumentation Frameworks to Propositional Logic Systems
by: Tang, Shuai, et al.
Published: (2025)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
by: Farmer, William M.
Published: (2026)

Black Box Deployed -- Functional Criteria for Artificial Moral Agents in the LLM Era
by: Brophy, Matthew E.
Published: (2025)

Encoding argumentation frameworks with set attackers to propositional logic systems
by: Tang, Shuai, et al.
Published: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
by: Tang, Shuai
Published: (2025)

Normalization properties of $λμ$-calculus using realizability semantics
by: Battyanyi, Peter, et al.
Published: (2023)

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
by: Martina, Antoine, et al.
Published: (2023)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
by: Farmer, William M., et al.
Published: (2023)

Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications
by: Donadello, Ivan, et al.
Published: (2024)

Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory
by: Alpay, Faruk, et al.
Published: (2025)

A novel framework for systematic propositional formula simplification based on existential graphs
by: de Mas, Jordina Francès, et al.
Published: (2024)

Universal Algebra in UniMath
by: Amato, Gianluca, et al.
Published: (2021)

Which are the True Defeasible Logics?
by: Maher, Michael J.
Published: (2024)

Computational Complexity of Preferred Subset Repairs on Data-Graphs
by: Pardal, Nina, et al.
Published: (2024)

Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange
by: van der Meyden, Ron
Published: (2025)

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
by: Wang, Zili, et al.
Published: (2025)

Formalizing MLTL Formula Progression in Isabelle/HOL
by: Kosaian, Katherine, et al.
Published: (2024)

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
by: Wright, Craig Steven
Published: (2025)

Games, mobile processes, and functionss -- alternating, concurrent, and well-bracketed semantics
by: Jaber, Guilhem, et al.
Published: (2025)

Random expansions of trees with bounded height
by: Koponen, Vera, et al.
Published: (2024)

The complexity of being monitorable
by: Camerlo, Riccardo, et al.
Published: (2026)

Refutability as Recursive as Provability
by: Cattabriga, Paola
Published: (2024)

Provability in BI's Sequent Calculus is Decidable
by: Gheorghiu, Alexander, et al.
Published: (2021)

Behavioural Conformances based on Lax Couplings
by: Wild, Paul, et al.
Published: (2025)

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
by: Forster, Jonas, et al.
Published: (2026)

Mechanised uniform interpolation for modal logics K, GL, and iSL
by: Férée, Hugo, et al.
Published: (2024)

Bayesian Epistemology with Weighted Authority: A Formal Architecture for Truth-Promoting Autonomous Scientific Reasoning
by: Wright, Craig S.
Published: (2025)

Cone-Induced Observation Congruences for Vector-Valued Quantitative Languages
by: Alpay, Faruk, et al.
Published: (2026)

Logical Modalities within the European AI Act: An Analysis
by: Lawniczak, Lara, et al.
Published: (2025)

Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (Full Version)
by: Nakano, Keisuke, et al.
Published: (2024)

A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
by: Bruse, Florian, et al.
Published: (2026)

A convergence law for continuous logic and continuous structures with finite domains
by: Koponen, Vera
Published: (2025)

Single-set cubical categories and their formalisation with a proof assistant (extended version)
by: Malbos, Philippe, et al.
Published: (2024)

A Higher-Order Vampire (Short Paper)
by: Bhayat, Ahmed, et al.
Published: (2024)

A Formalization of Abstract Rewriting in Agda
by: Arkle, Sam, et al.
Published: (2026)

On the relative asymptotic expressivity of inference frameworks
by: Koponen, Vera, et al.
Published: (2022)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
by: Rahnama, Moses
Published: (2025)

A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
by: Ramos, Arthur, et al.
Published: (2025)

Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models
by: Grosser, Marvin, et al.
Published: (2026)

A Minimal Substitution Basis for the Kalmár Elementary Functions
by: Prunescu, Mihai, et al.
Published: (2025)