Buchumschlag

Provenance Analysis and Semiring Semantics for First-Order Logic

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Grädel, Erich, Tannen, Val
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Databases
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials
von: Grädel, Erich, et al.
Veröffentlicht: (2021)

Locality Theorems in Semiring Semantics
von: Bizière, Clotilde, et al.
Veröffentlicht: (2023)

Semiring Provenance for Lightweight Description Logics
von: Bourgaux, Camille, et al.
Veröffentlicht: (2023)

Preservation Theorems in Semiring Semantics
von: Brinke, Sophie, et al.
Veröffentlicht: (2026)

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

Guarded Negation Transitive Closure Logic
von: Figueira, Diego, et al.
Veröffentlicht: (2025)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
von: Feller, Thomas, et al.
Veröffentlicht: (2023)

Queries With Exact Truth Values in Paraconsistent Description Logics
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Euler/X: A Toolkit for Logic-based Taxonomy Integration
von: Chen, Mingmin, et al.
Veröffentlicht: (2014)

A semantic approach to mapping the Provenance Ontology to Basic Formal Ontology
von: Prudhomme, Tim, et al.
Veröffentlicht: (2024)

Symmetric Proofs in the Ideal Proof System
von: Dawar, Anuj, et al.
Veröffentlicht: (2025)

Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation
von: Maluszynski, Jan, et al.
Veröffentlicht: (2010)

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

Fixpoint Semantics for DatalogMTL with Negation
von: Pollaci, Samuele
Veröffentlicht: (2026)

A Comprehensive Tutorial on over 100 Years of Diagrammatic Representations of Logical Statements and Relational Queries
von: Gatterbauer, Wolfgang
Veröffentlicht: (2024)

A Common Ancestor of PDL, Conjunctive Queries, and Unary Negation First-order
von: Figueira, Diego, et al.
Veröffentlicht: (2025)

Logic and Computation through the Lens of Semirings
von: Barlag, Timon, et al.
Veröffentlicht: (2025)

Completeness of Relational Algebra via Cylindric Algebra
von: Laštovička, Jan
Veröffentlicht: (2026)

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

Proof-theoretic Semantics for First-order Logic
von: Gheorghiu, Alexander V.
Veröffentlicht: (2024)

Evaluating Datalog over Semirings: A Grounding-based Approach
von: Zhao, Hangdong, et al.
Veröffentlicht: (2024)

The Complexity of Finding Missing Answer Repairs
von: Comer, Jesse, et al.
Veröffentlicht: (2026)

Doctrinal Semantics of Directed First-Order Logic
von: Laretto, Andrea, et al.
Veröffentlicht: (2025)

Logical Approaches to Non-deterministic Polynomial Time over Semirings
von: Barlag, Timon, et al.
Veröffentlicht: (2025)

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
von: Ahrens, Emma, et al.
Veröffentlicht: (2025)

Distributed First Order Logic
von: Ghidini, Chiara, et al.
Veröffentlicht: (2015)

Interpolation in First-Order Logic
von: Cate, Balder ten, et al.
Veröffentlicht: (2025)

Representing Knowledge and Querying Data using Double-Functorial Semantics
von: Lambert, Michael, et al.
Veröffentlicht: (2024)

Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
von: Artale, Alessandro, et al.
Veröffentlicht: (2025)

The Power of Negation in Higher-Order Datalog
von: Charalambidis, Angelos, et al.
Veröffentlicht: (2025)

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

Localized RETE for Incremental Graph Queries with Nested Graph Conditions
von: Barkowsky, Matthias, et al.
Veröffentlicht: (2024)

Dung's Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases
von: Mahmood, Yasir, et al.
Veröffentlicht: (2024)

Chase Termination Beyond Polynomial Time
von: Hanisch, Philipp, et al.
Veröffentlicht: (2024)

Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity
von: Chen, Hubie, et al.
Veröffentlicht: (2024)

A Principled Solution to the Disjunction Problem of Diagrammatic Query Representations
von: Gatterbauer, Wolfgang
Veröffentlicht: (2024)

Towards Practicable Algorithms for Rewriting Graph Queries beyond DL-Lite
von: Löhnert, Bianca, et al.
Veröffentlicht: (2024)

The Importance of Parameters in Database Queries
von: Gilad, Amir, et al.
Veröffentlicht: (2024)

Characterizing Data Dependencies Then and Now
von: Kolaitis, Phokion G., et al.
Veröffentlicht: (2024)