Cover Image

Fixpoint Semantics for DatalogMTL with Negation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Pollaci, Samuele
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science Databases
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

A Category-Theoretic Perspective on Approximation Fixpoint Theory
by: Pollaci, Samuele
Published: (2025)

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory
by: Pollaci, Samuele, et al.
Published: (2024)

The Power of Negation in Higher-Order Datalog
by: Charalambidis, Angelos, et al.
Published: (2025)

Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
by: Hanisch, Philipp, et al.
Published: (2026)

From Time to Space: The Impact of Linearity in Higher-Order Datalog
by: Charalambidis, Angelos, et al.
Published: (2026)

FC-Datalog as a Framework for Efficient String Querying
by: Bell, Owen M., et al.
Published: (2025)

Guarded Negation Transitive Closure Logic
by: Figueira, Diego, et al.
Published: (2025)

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

A Datalog Framework for Conflict-Free Replicated Data Types
by: Yanakieva, Elena, et al.
Published: (2026)

A Common Ancestor of PDL, Conjunctive Queries, and Unary Negation First-order
by: Figueira, Diego, et al.
Published: (2025)

Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation
by: Maluszynski, Jan, et al.
Published: (2010)

Provenance Analysis and Semiring Semantics for First-Order Logic
by: Grädel, Erich, et al.
Published: (2024)

On Syntactical Simplification of Temporal Operators in Negation-free MTL
by: van Noort, Mathijs, et al.
Published: (2025)

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
by: Kojima, Ryota, et al.
Published: (2025)

Completeness of Relational Algebra via Cylindric Algebra
by: Laštovička, Jan
Published: (2026)

Witnesses for Fixpoint Games on Lattices
by: König, Barbara, et al.
Published: (2026)

Fixpoint Theory -- Upside Down
by: Baldan, Paolo, et al.
Published: (2021)

Operations on Fixpoint Equation Systems
by: Neele, Thomas, et al.
Published: (2023)

Algebraic Semantics of Datalog with Equality
by: Bidlingmaier, Martin E.
Published: (2023)

A Monoidal View on Fixpoint Checks
by: Baldan, Paolo, et al.
Published: (2023)

Representing Knowledge and Querying Data using Double-Functorial Semantics
by: Lambert, Michael, et al.
Published: (2024)

Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases
by: Bienvenu, Meghyn, et al.
Published: (2024)

Incremental Maintenance of DatalogMTL Materialisations
by: Zhao, Kaiyue, et al.
Published: (2025)

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
by: Kettmann, Pascal, et al.
Published: (2026)

Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version)
by: Kettmann, Pascal, et al.
Published: (2025)

A Categorical Approach to Coalgebraic Fixpoint Logic
by: Schoen, Ezra, et al.
Published: (2024)

Structural Indexing of Relational Databases for the Evaluation of Free-Connex Acyclic Conjunctive Queries
by: Riveros, Cristian, et al.
Published: (2026)

Dichotomy for Axiomatising Inclusion Dependencies on K-Databases
by: Hannula, Miika, et al.
Published: (2026)

Common Foundations for Recursive Shape Languages
by: Ahmetaj, Shqiponja, et al.
Published: (2026)

The Chase in Lean -- Crafting a Formal Library for Existential Rule Research
by: Gerlach, Lukas
Published: (2026)

Restricted Chase Termination: You Want More than Fairness
by: Carral, David, et al.
Published: (2025)

Properties for Paths in Graph Databases
by: Orejas, Fernando, et al.
Published: (2025)

Learning Aggregate Queries Defined by First-Order Logic with Counting
by: van Bergerem, Steffen, et al.
Published: (2024)

A Comprehensive Tutorial on over 100 Years of Diagrammatic Representations of Logical Statements and Relational Queries
by: Gatterbauer, Wolfgang
Published: (2024)

Disjunctions of Two Dependence Atoms
by: Fröhlich, Nicolas, et al.
Published: (2025)

Using Color Refinement to Boost Enumeration and Counting for Acyclic CQs of Binary Schemas
by: Riveros, Cristian, et al.
Published: (2024)

Localized RETE for Incremental Graph Queries with Nested Graph Conditions
by: Barkowsky, Matthias, et al.
Published: (2024)

Work-Efficient Query Evaluation in Constant Time with PRAMs
by: Keppeler, Jens, et al.
Published: (2023)