Cover Image

Fuzzy Datalog$^\exists$ over Arbitrary t-Norms

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lanzinger, Matthias, Sferrazza, Stefano, Wałęga, Przemysław A., Gottlob, Georg
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Practical Reasoning in DatalogMTL
by: Wang, Dingmin, et al.
Published: (2024)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
by: Sälzer, Marco, et al.
Published: (2025)

Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL
by: Qureshi, Haya Majid, et al.
Published: (2024)

On the Boolean Network Theory of Datalog$^\neg$
by: Trinh, Van-Giang, et al.
Published: (2025)

Capability Safety as Datalog: A Foundational Equivalence
by: Spera, Cosimo
Published: (2026)

Inconsistency Handling in DatalogMTL
by: Bienvenu, Meghyn, et al.
Published: (2025)

Computational Complexity of Standpoint LTL
by: Demri, Stéphane, et al.
Published: (2024)

Hybrid Modal Operators for Definite Descriptions
by: Wałęga, Przemysław Andrzej, et al.
Published: (2024)

Preservation Theorems for Unravelling-Invariant Classes: A Uniform Approach for Modal Logics and Graph Neural Networks
by: Wałęga, Przemysław Andrzej, et al.
Published: (2026)

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)
by: Artale, Alessandro, et al.
Published: (2025)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
by: Bloch, Isabelle, et al.
Published: (2025)

Efficient Temporal Datalog Materialisation for Composite Event Recognition
by: Mantenoglou, Periklis
Published: (2026)

Fuzzy Lattice-based Description Logic
by: Ding, Yiwen, et al.
Published: (2025)

A Comprehensive Survey of Fuzzy Implication Functions
by: Fernandez-Peralta, Raquel
Published: (2025)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
by: Howlader, Prosenjit, et al.
Published: (2025)

On Conformant Planning and Model-Checking of $\exists^*\forall^*$ Hyperproperties
by: Beutner, Raven, et al.
Published: (2025)

Presburger Functional Synthesis: Complexity and Tractable Normal Forms
by: Akshay, S., et al.
Published: (2025)

Integrating Fuzzy Logic into Deep Symbolic Regression
by: Gerdes, Wout, et al.
Published: (2024)

FALCON: Scalable Reasoning over Inconsistent ALC Ontologies
by: Hinnerichs, Tilman, et al.
Published: (2022)

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts
by: Xiao, Shengping, et al.
Published: (2024)

Incremental, inconsistency-resilient reasoning over Description Logic Abox streams
by: Proost, Cas, et al.
Published: (2026)

BayesL: a Logical Framework for the Verification of Bayesian Networks
by: Nicoletti, Stefano M., et al.
Published: (2025)

A Gradient-Optimized TSK Fuzzy Framework for Explainable Phishing Detection
by: Pentapalli, Lohith Srikanth, et al.
Published: (2025)

Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts
by: Marković, Đorđe, et al.
Published: (2025)

A first-order logic characterization of safety and co-safety languages
by: Cimatti, Alessandro, et al.
Published: (2022)

Abductive Reasoning in a Paraconsistent Framework
by: Bienvenu, Meghyn, et al.
Published: (2024)

Similarity-based analogical proportions
by: Antić, Christian
Published: (2024)

WATCHDOG: an ontology-aWare risk AssessmenT approaCH via object-oriented DisruptiOn Graphs
by: Nicoletti, Stefano M., et al.
Published: (2024)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
by: Joyce, Johnny
Published: (2025)

Dynamic Logic of Trust-Based Beliefs
by: Jiang, Junli, et al.
Published: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
by: Bonanno, Giacomo
Published: (2026)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
by: Xu, Yang, et al.
Published: (2025)

Mediative Fuzzy Logic: From Type-1 Foundations to Type-2, Type-3 and Quantum Extensions
by: Ross, Oscar Montiel
Published: (2026)

Fixpoint Semantics for DatalogMTL with Negation
by: Pollaci, Samuele
Published: (2026)

Spectra of Cardinality Queries over Description Logic Knowledge Bases
by: Manière, Quentin, et al.
Published: (2024)

Queries With Exact Truth Values in Paraconsistent Description Logics
by: Bienvenu, Meghyn, et al.
Published: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
by: Lyon, Tim S., et al.
Published: (2024)

A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
by: Bienvenu, Meghyn, et al.
Published: (2025)

On Probabilistic and Causal Reasoning with Summation Operators
by: Ibeling, Duligur, et al.
Published: (2024)

Defining implication relation for classical logic
by: Fu, Li
Published: (2013)