Cover Image

Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Donadello, Ivan, Felli, Paolo, Innes, Craig, Maggi, Fabrizio Maria, Montali, Marco
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Logic in Computer Science 68T27 (Primary) 68T27, 68T30, 68T37, 03B44 (Secondary) I.2.4; F.4.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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)

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

Oruga: An Avatar of Representational Systems Theory
by: Raggi, Daniel, et al.
Published: (2025)

Verifiably Robust Conformal Prediction
by: Jeary, Linus, et al.
Published: (2024)

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

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

Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
by: Raggi, Daniel, et al.
Published: (2025)

Higher-Order Pattern Unification Modulo Similarity Relations
by: Dundua, Besik, et al.
Published: (2025)

Temporal Many-valued Conditional Logics: a Preliminary Report
by: Alviano, Mario, et al.
Published: (2024)

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

Polynomial definability in constraint languages with few subpowers
by: Bulín, Jakub, et al.
Published: (2023)

Domain size asymptotics for Markov logic networks
by: Koponen, Vera
Published: (2025)

Lifted Algorithms for Symmetric Weighted First-Order Model Sampling
by: Wang, Yuanhong, et al.
Published: (2023)

TPTP World Infrastructure for Non-classical Logics
by: Steen, Alexander, 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)

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

Normative Conditional Reasoning as a Fragment of HOL
by: Parent, Xavier, et al.
Published: (2023)

Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates
by: Echenim, Mnacho, et al.
Published: (2023)

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

Stemming Hallucination in Language Models Using a Licensing Oracle
by: Emanuilov, Simeon, et al.
Published: (2025)

Proof-Carrying Certificates for LLM Pipelines: A Trust-Boundary Architecture
by: Koomullil, George
Published: (2026)

Random expansions of finite structures with bounded degree
by: Koponen, Vera
Published: (2024)

Intersection Types via Finite-Set Declarations
by: Kamareddine, Fairouz, et al.
Published: (2024)

Mitigating LLM Hallucinations through Domain-Grounded Tiered Retrieval
by: Haque, Md. Asraful, et al.
Published: (2026)

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

State Algebra for Propositional Logic
by: Lesnik, Dmitry, et al.
Published: (2025)

Error Detection and Constraint Recovery in Hierarchical Multi-Label Classification without Prior Knowledge
by: Kricheli, Joshua Shay, et al.
Published: (2024)

D-SMART: Enhancing LLM Dialogue Consistency via Dynamic Structured Memory And Reasoning Tree
by: Lei, Xiang, et al.
Published: (2025)

NLP-Based Review for Toxic Comment Detection Tailored to the Chinese Cyberspace
by: Ren, Ruixing, et al.
Published: (2026)

An Incremental Framework for Topological Dialogue Semantics: Efficient Reasoning in Discrete Spaces
by: Santacana, Andreu Ballus
Published: (2025)

AI LLM Proof of Self-Consciousness and User-Specific Attractors
by: Camlin, Jeffrey
Published: (2025)

SUBMASSIVE: Resolving Subclass Cycles in Very Large Knowledge Graphs
by: Wang, Shuai, et al.
Published: (2024)

AVEC: Bootstrapping Privacy for Local LLMs
by: Gaikwad, Madhava
Published: (2025)

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

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