Picture for Tim S. Lyon

Tim S. Lyon

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

Add code
Apr 24, 2024
Viaarxiv icon

Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets

Add code
Jul 18, 2023
Viaarxiv icon

Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules

Add code
Jun 05, 2023
Viaarxiv icon

Standpoint Linear Temporal Logic

Add code
Apr 27, 2023
Viaarxiv icon

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

Add code
Apr 13, 2023
Viaarxiv icon

Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying

Add code
Sep 06, 2022
Figure 1 for Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying
Viaarxiv icon

Automating Reasoning with Standpoint Logic via Nested Sequents

Add code
May 05, 2022
Figure 1 for Automating Reasoning with Standpoint Logic via Nested Sequents
Figure 2 for Automating Reasoning with Standpoint Logic via Nested Sequents
Figure 3 for Automating Reasoning with Standpoint Logic via Nested Sequents
Viaarxiv icon