Buchumschlag

Decidability of Querying First-Order Theories via Countermodels of Finite Width

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Feller, Thomas, Lyon, Tim S., Ostropolski-Nalewaja, Piotr, Rudolph, Sebastian
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic in Computer Science Artificial Intelligence Databases Discrete Mathematics Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Foundations for an Abstract Proof Theory in the Context of Horn Rules
von: Lyon, Tim S., et al.
Veröffentlicht: (2023)

The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules
von: Ostropolski-Nalewaja, Piotr, et al.
Veröffentlicht: (2024)

Decidability of Quasi-Dense Modal Logics
von: Ostropolski-Nalewaja, Piotr, et al.
Veröffentlicht: (2024)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
von: Lyon, Tim S.
Veröffentlicht: (2022)

The Weisfeiler-Leman Dimension of Conjunctive Queries
von: Göbel, Andreas, et al.
Veröffentlicht: (2023)

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

First-Order Logic and Twin-Width for Some Geometric Graphs
von: Geniet, Colin, et al.
Veröffentlicht: (2025)

Analogical proportions II
von: Antić, Christian
Veröffentlicht: (2024)

About the Multi-Head Linear Restricted Chase Termination
von: Gerlach, Lukas, et al.
Veröffentlicht: (2025)

A Note on Constructive Canonical Splitter Strategies in Nowhere Dense Graph Classes
von: Fuchser, Janne, et al.
Veröffentlicht: (2025)

The Birkhoff completion of finite lattices
von: Abdulla, Mohammad, et al.
Veröffentlicht: (2024)

An Expansion-Based Approach for Quantified Integer Programming
von: Hartisch, Michael, et al.
Veröffentlicht: (2025)

Conditionals Based on Selection Functions, Modal Operators and Probabilities
von: Flaminio, Tommaso, et al.
Veröffentlicht: (2025)

Graphical Conditions for the Existence, Unicity and Number of Regular Models
von: Trinh, Van-Giang, et al.
Veröffentlicht: (2025)

Boolean proportions
von: Antić, Christian
Veröffentlicht: (2021)

Advances in Algorithmic Meta Theorems
von: Siebertz, Sebastian, et al.
Veröffentlicht: (2024)

Existential Positive Transductions of Sparse Graphs
von: Mählmann, Nikolas, et al.
Veröffentlicht: (2026)

On the entailment problem for DL-Lite$_{core}$ ontologies and conjunctive queries with negation
von: Marcinkowski, Jerzy, et al.
Veröffentlicht: (2025)

Decomposition horizons and a characterization of stable hereditary classes of graphs
von: Braunfeld, Samuel, et al.
Veröffentlicht: (2022)

On first-order transductions of classes of graphs
von: Braunfeld, Samuel, et al.
Veröffentlicht: (2022)

Characterizations of monadically dependent tree-ordered weakly sparse structures
von: Buffière, Hector, et al.
Veröffentlicht: (2026)

On the Subspace Orbit Problem and the Simultaneous Skolem Problem
von: Bacik, Piotr, et al.
Veröffentlicht: (2026)

Logic-based analogical proportions
von: Antić, Christian
Veröffentlicht: (2024)

First order complexity of finite random structures
von: Demin, Danila, et al.
Veröffentlicht: (2024)

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

Separability Properties of Monadically Dependent Graph Classes
von: Bonnet, Édouard, et al.
Veröffentlicht: (2025)

Epsilon-saturation for stable graphs and Littlestone classes
von: Malliaris, Maryanthe, et al.
Veröffentlicht: (2025)

Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO
von: Mählmann, Nikolas
Veröffentlicht: (2025)

Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes
von: Dreier, Jan, et al.
Veröffentlicht: (2024)

Sequential composition of answer set programs
von: Antić, Christian
Veröffentlicht: (2021)

Reasoning About Action and Change
von: de Saint-Cyr, Florence Dupin, et al.
Veröffentlicht: (2024)

Algebraic anti-unification
von: Antić, Christian
Veröffentlicht: (2024)

Verifying Sampling Algorithms via Distributional Invariants
von: Zilken, Daniel, et al.
Veröffentlicht: (2025)

From Width-Based Model Checking to Width-Based Automated Theorem Proving
von: Oliveira, Mateus de Oliveira, et al.
Veröffentlicht: (2022)

Distinguishing Graphs by Counting Homomorphisms from Sparse Graphs
von: Neuen, Daniel, et al.
Veröffentlicht: (2026)

The unstable formula theorem revisited via algorithms
von: Malliaris, Maryanthe, et al.
Veröffentlicht: (2022)

First order distinguishability of sparse random graphs
von: Hershko, Tal, et al.
Veröffentlicht: (2024)

Lower Bounds on Inverse Cellular Automata via Proof Complexity
von: Kapytka, Maryia
Veröffentlicht: (2026)

On the generalized coloring numbers
von: Siebertz, Sebastian
Veröffentlicht: (2025)

First-order transducibility among classes of sparse graphs
von: Gajarský, Jakub, et al.
Veröffentlicht: (2025)