Chair of Computational Logic
Organisational unit: Chair
Organisation profile
Chair holder: Prof. Dr. rer. nat. Sebastian Rudolph
Related content and researchers (public profile)
- Researchers (public profile)
- Research output
- Journals
- Prizes
Rudolph, Sebastian
- Chair of Computational Logic - Academic Staff
- Faculty of Mathematics - Member
Person
Nested Sequents for Intuitionistic Multi-Modal Logics: Cut-Elimination and Lyndon Interpolation
Lyon, T. S., 27 Nov 2025.Research output: Preprint/Documentation/Report › Preprint
AGM Belief Revision, Semantically
Falakh, F. M., Rudolph, S. & Sauerwald, K., 24 Oct 2025, In: ACM transactions on computational logic. 26, 4, 54 p., 23.Research output: Contribution to journal › Research article › Contributed › peer-review
When Horn is All You Need
Obiedkov, S. & Rudolph, S., Sept 2025, Conceptual Knowledge Structures: Second International Joint Conference, CONCEPTS 2025, Cluj-Napoca, Romania, September 8–12, 2025, Proceedings. Cellier, P., Ganter, B. & Missaoui, R. (eds.). Springer Science and Business Media B.V., p. 307-322 16 p. (Lecture notes in computer science, Vol. 15941 LNAI).Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Grounding Rule-Based Argumentation Using Datalog
Diller, M., Gaggl, S. A., Hanisch, P., Monterosso, G. & Rauschenbach, F., 14 Aug 2025.Research output: Preprint/Documentation/Report › Preprint
Boosting Cognitive Modelling for Human Reasoning
Bhadra, M. & Ragni, M., 1 Jul 2025, In: Proceedings of the Annual Conference of the Cognitive Science Society. 47, p. 1897-1903 7 p.Research output: Contribution to journal › Conference article › Contributed › peer-review
Bulletin of the Section of Logic
ISSNs: 0138-0680
Additional searchable ISSN (electronic): 2449-836X
Łódź University Press
Scopus rating (2024): CiteScore 1.1 SJR 0.349 SNIP 0.984
Journal
Episteme
ISSNs: 1742-3600
Additional searchable ISSN (electronic): 1750-0117
Cambridge University Press
Journal
CEUR Workshop Proceedings (Vol. 2373)
ISSNs: 1613-0073
Additional searchable ISSN (electronic): 1613-0073
CEUR-WS, Germany
Scopus rating (2024): CiteScore 0.9 SJR 0.166 SNIP 0.231
Journal: Book series
Frontiers in Artificial Intelligence and Applications : FAIA (Vol. 245)
ISSNs: 0922-6389
Additional searchable ISSN (electronic): 0922-6389
IOS Press, Netherlands
Scopus rating (2024): CiteScore 0.7 SJR 0.177 SNIP 0.305
Journal: Book series
Proceedings of the Annual Conference of the Cognitive Science Society
ISSNs: 1069-7977
United States of America
Journal: Book series
Honorable Mention
Fichte, J. K. (Recipient), Gaggl, S. A. (Recipient), Hecher, M. (Recipient) & Rusovac, D. (Recipient), 2022
Prize: Publication/Conference prize
Ray Reiter Best Paper Award
Bourgaux, C. (Recipient), Carral Martinez, D. (Recipient), Krötzsch, M. (Recipient), Rudolph, S. (Recipient) & Thomazo, M. (Recipient), 2021
Prize: Publication/Conference prize
Outstanding Academic Title by ALS 2010
Krötzsch, M. (Recipient), Rudolph, S. (Recipient) & Hitzler, P. (Recipient), 2010
Prize: Publication/Conference prize