Chair of Computational Logic
Organisational unit: Chair
Organisation profile
Chair holder: Prof. Dr. rer. nat. Sebastian Rudolph
Related content and researchers (public profile)
- Researchers (public profile)
- Research output
- Journals
- Prizes
Rudolph, Sebastian
- Chair of Computational Logic - Academic Staff
- Faculty of Mathematics - Member
Person
To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence
Karge, J., Burkhardt, J.-M., Rudolph, S. & Rusovac, D., 6 May 2024, AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems. Vol. 2024-May. p. 983-991 9 p.Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
IASCAR: Incremental Answer Set Counting by Anytime Refinement
Fichte, J. K., Gaggl, S. A., Hecher, M. & Rusovac, D., May 2024, In: Theory and practice of logic programming : TPLP. 24, 3, p. 505-532 28 p.Research output: Contribution to journal › Conference article › Contributed › peer-review
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. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 33. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 288).Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
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, p. 642–653.Research output: Contribution to conferences › Paper › Contributed › peer-review
Navigating ASP Solution Spaces (Invited Talk, Abstract)
Gaggl, S. A., 2024, p. 2.Research output: Contribution to conferences › Abstract › Invited
CEUR Workshop Proceedings (Vol. 2373)
ISSNs: 1613-0073
Additional searchable ISSN (electronic): 1613-0073
RTWH Aachen, Germany
Journal: Book series
Frontiers in Artificial Intelligence and Applications : FAIA (Vol. 245)
ISSNs: 0922-6389
Additional searchable ISSN (electronic): 0922-6389
IOS Press, Amsterdam [u. a.], Netherlands
Scopus rating (2023): CiteScore 1.3 SJR 0.281 SNIP 0.475
Journal: Book series
Proceedings of the AAAI Conference on Artificial Intelligence
ISSNs: 2159-5399
Additional searchable ISSN (electronic): 2374-3468
Association for the Advancement of Artificial Intelligence
Journal
Cognitive systems research
ISSNs: 1389-0417
Additional searchable ISSN (electronic): 1389-0417
Elsevier Science B.V., Netherlands
Scopus rating (2022): CiteScore 13.1 SJR 1.068 SNIP 1.894
Journal
European journal of combinatorics
ISSNs: 0195-6698
Academic Press, Netherlands
Scopus rating (2023): CiteScore 2.1 SJR 1.09 SNIP 1.3
Journal
Ray Reiter Best Paper Award
Bourgaux, C. (Recipient), Carral Martinez, D. (Recipient), Krötzsch, M. (Recipient), Rudolph, S. (Recipient) & Thomazo, M. (Recipient), 2021
Prize: Publication/Conference prize
Outstanding Academic Title
Krötzsch, M. (Recipient), Rudolph, S. (Recipient) & Hitzler, P. (Recipient), 2010
Prize: Publication/Conference prize