Weiter zum Inhalt Weiter zur Fußzeile

Forschungsportal der TU Dresden

Timothy Stephen Lyon PhD
Person

Zugehörigkeiten

Professur für Computational Logic
- Wissenschaftliches Personal
- timothy_stephen.lyon@tu-dresden.de

Identifizierungsnummern

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

Veröffentlichungen

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

Berkel, K. V., Lyon, T. & Pascucci, M., Okt. 2023, in: Journal of Philosophical Logic. 52, 5, S. 1475-1516 42 S.

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

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 März 2023, Proceedings of the 26th International Conference on Database Theory (ICDT 2023). Geerts, F. & Vandevoort, B. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, S. 18:1-18:18 18. (Leibniz international proceedings in informatics : LIPIcs, Band 255).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

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. (Hrsg.). IJCAI Inc, S. 769-773 5 S.

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

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. (Hrsg.). S. 369-384 16 S. (Lecture Notes in Artificial Intelligence, Band 14281).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

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

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

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (21)