output
20052026
most citedAn Empirical Evaluation of Similarity Measures for Time Series Classification

237 citations

researchers with a paper here
collaborating institutions

120 papers

cs.LO2026

MaudeTypedLog: A Typed Interpreter for Prolog in Maude

Enrique Gallifa-Tronch, João Barbosa, Santiago Escobar

Prolog is traditionally thought of as an untyped logic programming language, although there are queries that result in a type error. Several attempts of statically introducing a ty…

math.LO2026

Recovery operators in quasi-Nelson logic: the prelinear case

Tommaso Flaminio, Lluis Godo, Umberto Rivieccio

This paper investigates recovery operators in quasi-Nelson logic, the algebraizable logical counterpart of quasi-Nelson algebras. These form a variety of three-potent, distributive…

cs.LO2026

Probabilistic Abduction in a Fuzzy Logic Framework

Tommaso Flaminio, Katsumi Inoue, Daniil Kozhemiachenko

We study the problem of explaining observations about the probabilities of events, such as "it rains of the time", "rain and snow are equally likely", etc. We explain these…

cs.CY2026

Coherent Without Grounding, Grounded Without Success: Observability and Epistemic Failure

Camilo Chacón Sartori

When an agent can articulate why something works, we typically take this as evidence of genuine understanding. This presupposes that effective action and correct explanation covary…

cs.LO2026★ 4 cited

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency

M. E. Coniglio, F. Esteva, J. Gispert +1

In this paper we study intermediate logics between the degree preserving companion of Godel fuzzy logic with an involution and classical propositional logic CPL, as well as the int…

cs.LG2025

On the Inverse Flow Matching Problem in the One-Dimensional and Gaussian Cases

Alexander Korotin, Gudmund Pammer

This paper studies the inverse problem of flow matching (FM) between distributions with finite exponential moment, a problem motivated by modern generative AI applications such as…