Weiter zum Inhalt Weiter zur Fußzeile

Forschungsportal der TU Dresden

Prof. Dr. rer. nat. Sebastian Rudolph
Person

Zugehörigkeiten

Professur für Computational Logic
- Professor:in
- sebastian.rudolph@tu-dresden.de
Fakultät Mathematik
- Zugewähltes Mitglied der Fakultät

Identifizierungsnummern

ORCID	0000-0002-1609-2080
Scopus Autor ID	23009745000

Veröffentlichungen
Auszeichnungen

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

To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence

Karge, J., Burkhardt, J.-M., Rudolph, S. & Rusovac, D., 6 Mai 2024, AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems. Band 2024-May. S. 983-991 9 S.

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

Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures

Herrmann, L., Peth, V. & Rudolph, S., Feb. 2024, 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024. Murano, A. & Silva, A. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 33. (Leibniz International Proceedings in Informatics, LIPIcs, Band 288).

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

How to Tell Easy from Hard: Complexity of Conjunctive Query Entailment in Extensions of ALC

Bednarczyk, B. & Rudolph, S., 1 Nov. 2023, in: Journal of Artificial Intelligence Research. 78, S. 385-458 74 S.

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Bounded Treewidth and the Infinite Core Chase: Complications and Workarounds toward Decidable Querying

Baget, J.-F., Mugnier, M.-L. & Rudolph, S., 18 Juni 2023, PODS 2023 - Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. Geerts, F., Ngo, H. Q. & Sintos, S. (Hrsg.). ACM Press, S. 291-302 12 S.

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

Alle Veröffentlichungen ansehen (142)

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

Alle Auszeichnungen ansehen (2)