( en | de | ru )

 

Disambiguation of "Lyon, Tim S."

Author of the publication

copydeleteadd this publication to your clipboard
Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying.

, , , and . CoRR, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Tim S Böscke

Regine Lyon

Thea Lyon

Emil Lyon

Erna Lyon

 

Other publications of authors with the same name

Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets., and . JELIA, volume 14281 of Lecture Notes in Computer Science, page 369-384. Springer, (2023)Foundations for an Abstract Proof Theory in the Context of Horn Rules., and . CoRR, (2023)Nested Sequents for Intuitionistic Modal Logics via Structural Refinement.. TABLEAUX, volume 12842 of Lecture Notes in Computer Science, page 409-427. Springer, (2021)Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement.. CoRR, (2022)Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying., , , and . CoRR, (2022)A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations., , and . J. Philos. Log., 52 (5): 1475-1516 (October 2023)Standpoint Linear Temporal Logic., , and . KR, page 311-321. (2023)Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules., and . KR, page 769-773. (2023)Automating Reasoning with Standpoint Logic via Nested Sequents., and . KR, (2022)Internal and External Calculi: Ordering the Jungle without Being Lost in Translations., , , , , , and . CoRR, (2023)