Imagen de Portada

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Lyon, Tim S., Karge, Jonas
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science Artificial Intelligence Databases Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
por: Lyon, Tim S.
Publicado: (2023)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
por: Lyon, Tim S.
Publicado: (2024)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
por: Lyon, Tim S.
Publicado: (2022)

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
por: Lyon, Tim S.
Publicado: (2024)

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

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
por: Lyon, Tim S., et al.
Publicado: (2026)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
por: Feller, Thomas, et al.
Publicado: (2023)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
por: Lyon, Tim S., et al.
Publicado: (2024)

Loop-Checking and Counter-Model Extraction for Intuitionistic Tense Logics via Nested Sequents
por: Lyon, Tim S.
Publicado: (2026)

Semiring Provenance for Lightweight Description Logics
por: Bourgaux, Camille, et al.
Publicado: (2023)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
por: Lyon, Tim S.
Publicado: (2024)

Model Change for Description Logic Concepts
por: Ozaki, Ana, et al.
Publicado: (2026)

Decidability of Quasi-Dense Modal Logics
por: Ostropolski-Nalewaja, Piotr, et al.
Publicado: (2024)

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

Proof Theory and Decision Procedures for Deontic STIT Logics
por: Lyon, Tim S., et al.
Publicado: (2024)

Nested Sequents for Quasi-transitive Modal Logics
por: Marin, Sonia, et al.
Publicado: (2024)

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

Reconciling Consistency-Based Diagnosis with Actual-Causality-Based Explanations
por: Bertossi, Leopoldo
Publicado: (2026)

Sequent Calculi for Data-Aware Modal Logics
por: Areces, Carlos, et al.
Publicado: (2025)

A semantic approach to mapping the Provenance Ontology to Basic Formal Ontology
por: Prudhomme, Tim, et al.
Publicado: (2024)

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

Recursive querying of neural networks via weighted structures
por: Grohe, Martin, et al.
Publicado: (2026)

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

Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
por: Bienvenu, Meghyn, et al.
Publicado: (2020)

Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic
por: Heuer, Jan, et al.
Publicado: (2024)

Learning Concepts Definable in First-Order Logic with Counting
por: van Bergerem, Steffen
Publicado: (2019)

Computation of Interpolants for Description Logic Concepts in Hard Cases
por: Jung, Jean Christoph, et al.
Publicado: (2025)

Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System
por: Wernhard, Christoph
Publicado: (2026)

From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version)
por: Seifer, Philipp, et al.
Publicado: (2024)

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

The Common Core Ontologies
por: Jensen, Mark, et al.
Publicado: (2024)

Middle Architecture Criteria
por: Beverley, John, et al.
Publicado: (2024)

Database Querying under Missing Values Governed by Missingness Mechanisms
por: Bertossi, Leopoldo, et al.
Publicado: (2026)

A Horn extension of DL-Lite with NL data complexity
por: Arpasi, Janos, et al.
Publicado: (2026)

Inconsistency Handling in DatalogMTL
por: Bienvenu, Meghyn, et al.
Publicado: (2025)

Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints
por: Bienvenu, Meghyn, et al.
Publicado: (2023)

Query Languages for Machine-Learning Models
por: Grohe, Martin
Publicado: (2026)

Using ASP(Q) to Handle Inconsistent Prioritized Data
por: Bienvenu, Meghyn, et al.
Publicado: (2026)

Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
por: Bienvenu, Meghyn, et al.
Publicado: (2022)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
por: Tabatabai, Amirhossein Akbar, et al.
Publicado: (2025)