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 - Academic Staff
Person
IASCAR: Incremental Answer Set Counting by Anytime Refinement
Fichte, J. K., Gaggl, S. A., Hecher, M. & Rusovac, D., 21 Feb 2024, In: Theory and Practice of Logic Programming. 24, 3, p. 505-532 28 p.Research output: Contribution to journal › Research article › 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
Winning Snake: Design Choices in Multi-Shot ASP.
Böhl, E., Ellmauthaler, S. & Gaggl, S. A., 2024.Research output: Preprint/Documentation/Report › Preprint
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, p. 385-458 74 p.Research output: Contribution to journal › Research article › Contributed › peer-review
Frontiers in Artificial Intelligence and Applications : FAIA (Vol. 245)
ISSNs: 0922-6389
Additional searchable ISSN (electronic): 0922-6389
IOS Press, Amsterdam [u. a.], Netherlands
Journal: Book series
Proceedings of the AAAI Conference on Artificial Intelligence
ISSNs: 2159-5399
Additional searchable ISSN (electronic): 2374-3468
AAAI Press
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
Elsevier Science B.V., Netherlands
Scopus rating (2023): CiteScore 2.1 SJR 1.09 SNIP 1.3
Journal
Journal of applied logics - IfCoLoG journal of logics and their applications
College Publications, United Kingdom
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