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
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
IASCAR: Incremental Answer Set Counting by Anytime Refinement
Fichte, J. K., Gaggl, S. A., Hecher, M. & Rusovac, D., Mai 2024, in: Theory and practice of logic programming : TPLP. 24, 3, S. 505-532 28 S.Publikation: Beitrag in Fachzeitschrift › Konferenzartikel › 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
Global One-Counter Tree Automata.
Herrmann, L. & Mörbitz, R., 2024, Implementation and Application of Automata: 28th International Conference, CIAA 2024, Akita, Japan, September 3–6, 2024, Proceedings. Fazekas, S. Z. (Hrsg.). Springer, S. 166-179 14 S. (Lecture Notes in Computer Science, Band 15015).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Navigating and Querying Answer Sets: How Hard Is It Really and Why?
Rusovac, D., Hecher, M., Gebser, M., Gaggl, S. A. & Fichte, J. K., 2024, S. 642–653.Publikation: Beitrag zu Konferenzen › Paper › Beigetragen › Begutachtung
CEUR Workshop Proceedings (Vol. 2373)
ISSNs: 1613-0073
Weitere durchsuchbare ISSN (elektronisch): 1613-0073
RTWH Aachen, Deutschland
Fachzeitschrift: Schriftenreihe
Frontiers in Artificial Intelligence and Applications : FAIA (Vol. 245)
ISSNs: 0922-6389
Weitere durchsuchbare ISSN (elektronisch): 0922-6389
IOS Press, Amsterdam [u. a.], Niederlande
Scopus-Bewertung (2023): CiteScore 1,3 SJR 0,281 SNIP 0,475
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
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 (2023): CiteScore 2,1 SJR 1,09 SNIP 1,3
Fachzeitschrift: Zeitschrift
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