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
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. (Hrsg.). Springer Science and Business Media B.V., S. 307-322 16 S. (Lecture notes in computer science, Band 15941 LNAI).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Grounding Rule-Based Argumentation Using Datalog
Diller, M., Gaggl, S. A., Hanisch, P., Monterosso, G. & Rauschenbach, F., 14 Aug. 2025.Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)
Existential Notation3 Logic
Arndt, D. & Mennicke, S., Mai 2025, in: Theory and practice of logic programming : TPLP. 25, 3, S. 304-339Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
Consequence Operators of Characterization Logics – The Case of Abstract Argumentation
Baumann, R. & Strass, H., Okt. 2024, (Elektronische Veröffentlichung vor Drucklegung) Logic Programming and Nonmonotonic Reasoning: 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11–14, 2024, Proceedings. Dodaro, C., Gupta, G. & Martinez, M. V. (Hrsg.). Springer Science and Business Media B.V., S. 154-166 13 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Band 15245 LNAI).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
RDF Surfaces as a First-Order Language for the Semantic Web
Arndt, D., De Roo, J., Hochstenbach, P., Martens, R., Ongenae, F. & van Noort, M., 11 Sept. 2024, Rules and Reasoning: 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16–18, 2024, Proceedings. Kirrane, S., Šimkus, M., Soylu, A. & Roman, D. (Hrsg.). Springer Science and Business Media B.V., S. 200-216 17 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Band 15183 LNCS).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
CEUR Workshop Proceedings (Vol. 2373)
ISSNs: 1613-0073
Weitere durchsuchbare ISSN (elektronisch): 1613-0073
CEUR-WS, Deutschland
Scopus-Bewertung (2024): CiteScore 0,9 SJR 0,166 SNIP 0,231
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 (2024): CiteScore 0,7 SJR 0,177 SNIP 0,305
Fachzeitschrift: Schriftenreihe
Proceedings of the AAAI Conference on Artificial Intelligence
ISSNs: 2159-5399
Weitere durchsuchbare ISSN (elektronisch): 2374-3468
Association for the Advancement of Artificial Intelligence
Scopus-Bewertung (2024): CiteScore 2 SJR 0,133 SNIP 0
Fachzeitschrift: Zeitschrift
Cognitive systems research
ISSNs: 1389-0417
Weitere durchsuchbare ISSN (elektronisch): 1389-0417
Elsevier Science B.V., Niederlande
Scopus-Bewertung (2022): CiteScore 13,1 SJR 1,068 SNIP 1,894
Fachzeitschrift: Zeitschrift
European journal of combinatorics
ISSNs: 0195-6698
Academic Press, Niederlande
Scopus-Bewertung (2024): CiteScore 2,2 SJR 1,398 SNIP 1,595
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