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

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

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

Alle Veröffentlichungen ansehen (138)

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

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)