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
ADF - BDD : An ADF Solver Based on Binary Decision Diagrams
Ellmauthaler, S., Gaggl, S. A., Rusovac, D. & Wallner, J. P., 1 Sept 2022, Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022). Toni, F., Polberg, S., Booth, R., Caminada, M. & Kido, H. (eds.). IOS Press, Amsterdam [u. a.], Vol. 220146. p. 355–356 2 p. (FAIA).Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces
Dachselt, R., Gaggl, S. A., Krötzsch, M., Méndez, J., Rusovac, D. & Yang, M., 1 Sept 2022, Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022). Toni, F., Polberg, S., Booth, R., Caminada, M. & Kido, H. (eds.). IOS Press, Amsterdam [u. a.], Vol. 220146. p. 116–127 12 p. (FAIA).Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Admissibility in Probabilistic Argumentation
Käfer, N., Baier, C., Diller, M., Dubslaff, C., Gaggl, S. A. & Hermanns, H., 26 Jun 2022, In: Journal of Artificial Intelligence Research. 74, p. 957-1009 53 p.Research output: Contribution to journal › Research article › Contributed › peer-review
Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract)
Bourgaux, C., Carral, D., Krötzsch, M., Rudolph, S. & Thomazo, M., 2022, Proceedings of the 31st International Joint Conference on Artificial Intelligence, IJCAI 2022. De Raedt, L. & De Raedt, L. (eds.). International Joint Conferences on Artificial Intelligence, p. 5269-5273 5 p. (IJCAI International Joint Conference on Artificial Intelligence).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., 2022, Logic Programming and Nonmonotonic Reasoning - 16th International Conference, {LPNMR} 2022, Genova, Italy, September 5-9, 2022, Proceedings. 13416 ed. Springer, Vol. Lecture Notes in Computer Science. 14 p.Research output: Contribution to book/conference proceedings/anthology/report › Chapter in book/anthology/report › Contributed › peer-review
Proceedings of the AAAI Conference on Artificial Intelligence
ISSNs: 2159-5399
Additional searchable ISSN (electronic): 2374-3468
AAAI Press
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
ACM Transactions on Computational Logic : TOCL
ISSNs: 1529-3785
Association for Computing Machinery (ACM), New York, United States of America
Scopus rating (2023): CiteScore 2.3 SJR 0.876 SNIP 1.231
Journal
Journal of logic and computation
ISSNs: 0955-792X
Additional searchable ISSN (electronic): 1465-363X
Oxford University Press, Oxford, United Kingdom
Scopus rating (2023): CiteScore 1.9 SJR 0.472 SNIP 1.062
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