Professur für Computational Logic
Organisation: Professur
Organisationsprofil
Inhaber:in der Professur: Prof. Dr. rer. nat. Sebastian Rudolph
Verknüpfte Inhalte und Forschende (öffentliche Profile)
- Forschende (öffentliche Profile)
- Veröffentlichungen
- Zeitschriften
- Auszeichnungen
Rudolph, Sebastian
- Professur für Computational Logic - Wissenschaftliches Personal
- Fakultät Mathematik - Mitglied
Person
Global one-counter tree automata
Herrmann, L. & Mörbitz, R., 2 Mai 2026, in: Theoretical computer science : the journal of the EATCS. 1071, 115840.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
Bodirsky, M., Knäuer, S. & Rudolph, S., Apr. 2026, in: ACM transactions on computational logic. 27, 2, S. 1-42 8.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
SPARQL in N3: SPARQL construct as a Rule Language for the Semantic Web
Arndt, D., Van Woensel, W. & Tomaszuk, D., 2026, Rules and Reasoning: 9th International Joint Conference, RuleML+RR 2025, Istanbul, Turkey, September 22–24, 2025, Proceedings. Hogan, A., Satoh, K., Dag, H., Turhan, A.-Y., Roman, D., Roman, D. & Soylu, A. (Hrsg.). Springer Science and Business Media B.V., S. 209-226 18 S. (Lecture Notes in Computer Science, Band 16144 LNCS).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Nested Sequents for Intuitionistic Multi-Modal Logics: Cut-Elimination and Lyndon Interpolation
Lyon, T. S., 27 Nov. 2025.Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)
AGM Belief Revision, Semantically
Falakh, F. M., Rudolph, S. & Sauerwald, K., 24 Okt. 2025, in: ACM transactions on computational logic. 26, 4, 54 S., 23.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
Bulletin of the Section of Logic
ISSNs: 0138-0680
Weitere durchsuchbare ISSN (elektronisch): 2449-836X
Łódź University Press
Scopus-Bewertung (2025): CiteScore 1 SJR 0,439 SNIP 0,879
In DOAJ indiziert
Fachzeitschrift: Zeitschrift
CEUR Workshop Proceedings
ISSNs: 1613-0073
Weitere durchsuchbare ISSN (elektronisch): 1613-0073
RWTH Aachen, Universitätsbibliothek, Deutschland
Scopus-Bewertung (2025): CiteScore 1 SJR 0,17 SNIP 0,214
Fachzeitschrift: Schriftenreihe
Frontiers in Artificial Intelligence and Applications : FAIA (Vol. 245)
ISSNs: 0922-6389
Weitere durchsuchbare ISSN (elektronisch): 0922-6389
IOS Press, Niederlande
Scopus-Bewertung (2025): CiteScore 0,8 SJR 0,191 SNIP 0,276
Fachzeitschrift: Schriftenreihe
Proceedings of the Annual Conference of the Cognitive Science Society
ISSNs: 1069-7977
USA/Vereinigte Staaten
Fachzeitschrift: Schriftenreihe
International Joint Conference on Artificial Intelligence
ISSNs: 1045-0823
International Joint Conferences on Artificial Intelligence
Scopus-Bewertung (2025): CiteScore 5,6 SJR 0,831 SNIP 1,228
Fachzeitschrift: Zeitschrift
Honorable Mention
Fichte, J. K. (Empfänger:in), Gaggl, S. A. (Empfänger:in), Hecher, M. (Empfänger:in) & Rusovac, D. (Empfänger:in), 2022
Auszeichnung: Preis › Publikations-/Konferenzpreis
Ray Reiter Best Paper Award
Bourgaux, C. (Empfänger:in), Carral Martinez, D. (Empfänger:in), Krötzsch, M. (Empfänger:in), Rudolph, S. (Empfänger:in) & Thomazo, M. (Empfänger:in), 2021
Auszeichnung: Preis › Publikations-/Konferenzpreis
Outstanding Academic Title by ALS 2010
Krötzsch, M. (Empfänger:in), Rudolph, S. (Empfänger:in) & Hitzler, P. (Empfänger:in), 2010
Auszeichnung: Preis › Publikations-/Konferenzpreis