Timothy Stephen Lyon PhD
Person

Affiliations

Chair of Computational Logic
- Academic Staff
- timothy_stephen.lyon@tu-dresden.de

Identification Numbers

ORCID	0000-0003-3214-0828
Scopus author ID	57199194257

A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations

Berkel, K. V., Lyon, T. & Pascucci, M., Oct 2023, In: Journal of Philosophical Logic. 52, 5, p. 1475-1516 42 p.

Research output: Contribution to journal › Research article › Contributed › peer-review

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

Feller, T., Lyon, T., Ostropolski-Nalewaja, P. & Rudolph, S., 1 Mar 2023, Proceedings of the 26th International Conference on Database Theory (ICDT 2023). Geerts, F. & Vandevoort, B. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 18:1-18:18 18. (Leibniz international proceedings in informatics : LIPIcs, Vol. 255).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

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

Lyon, T. & Ostropolski-Nalewaja, P., 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning. Marquis, P., Son, T. C. & Kern-Isberner, G. (eds.). IJCAI Inc, p. 769-773 5 p.

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets

Lyon, T. & Rudolph, S., 2023, Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings. Gaggl, S., Martinez, M. V. & Ortiz, M. (eds.). p. 369-384 16 p. (Lecture Notes in Artificial Intelligence, Vol. 14281).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics

Lyon, T., 2023, In: Journal of applied non-classical logics. 33, 2, p. 121-164 44 p.

Research output: Contribution to journal › Research article › Contributed › peer-review

View all research output (21)

Research Portal of the TU Dresden

Timothy Stephen Lyon PhD
Person

Affiliations

Identification Numbers

Related content

A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations

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

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

Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics