Chair of Computational Logic
Organisational unit: Chair
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: Current
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
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.Research output: Contribution to book/conference proceedings/anthology/report › Chapter in book/anthology/report › Contributed › peer-review
Simulating Sets in Answer Set Programming
Gaggl, S. A., Hanisch, P. & Krötzsch, M., 2022, Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI 2022). Raedt, L. D. (ed.). ijcai.org, p. 2634–2640 7 p.Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up Strategy
Böhl, E. & Gaggl, S. A., 2022, Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022). 13416 ed. Springer, Vol. Lecture Notes in Computer Science. p. 89-102Research output: Contribution to book/conference proceedings/anthology/report › Chapter in book/anthology/report › Contributed › peer-review
On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics
Bednarczyk, B., Orłowska, M., Pacanowska, A. & Tan, T., 1 Dec 2021, Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021). Bojańczyk, M. & Chekuri, C. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 213.Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
European journal of combinatorics
ISSNs: 0195-6698
Elsevier, Netherlands
Scopus rating (2022): CiteScore 2 SJR 1.209 SNIP 1.392
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
Scopus rating (2022): CiteScore 2.6 SJR 0.618 SNIP 1.071
Journal
Journal of logic and computation
ISSNs: 0955-792X
Additional searchable ISSN (Electronic): 1465-363X
Oxford University Press, Oxford, United Kingdom
Scopus rating (2022): CiteScore 1.7 SJR 0.561 SNIP 0.949
Journal
Logical methods in computer science : LMCS
ISSNs: 1860-5974
Additional searchable ISSN (Electronic): 1860-5974
Department of Theoretical Computer Science, Technical University of Braunschweig, Germany
Scopus rating (2022): CiteScore 1.7 SJR 0.635 SNIP 0.888
Indexed in DOAJ
Journal
Ray Reiter Best Paper Award
Bourgaux, Camille (Recipient), Carral Martinez, David (Recipient), Krötzsch, Markus (Recipient), Rudolph, Sebastian (Recipient) & Thomazo, Michaël (Recipient), 2021
Prize: Publication/Conference prize
Outstanding Academic Title
Krötzsch, Markus (Recipient), Rudolph, Sebastian (Recipient) & Hitzler, Pascal (Recipient), 2010
Prize: Publication/Conference prize