Chair of Computational Logic
Organisational unit: Chair
Related content and researchers (public profile)
- Researchers (public profile)
- Research output
- Journals
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
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
Admissibility in Probabilistic Argumentation
Baier, C., Diller, M., Dubslaff, C., Gaggl, S. A., Hermanns, H. & Käfer, N., Nov 2021, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning. Bienvenu, M., Lakemeyer, G. & Erdem, E. (eds.). IJCAI Organization, p. 87-98Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation
Diller, M., Gaggl, S. A. & Gorczyca, P., 20 Oct 2021, Proceedings of the 4th International Conference on Logic and Argumentation (CLAR 2021). Baroni, P., Benzmüller, C. & Wang, Y. N. (eds.). Springer International Publishing AG, Vol. 13040. p. 147-168Research output: Contribution to book/conference proceedings/anthology/report › Chapter in book/anthology/report › Contributed › peer-review
A Framework for Intuitionistic Grammar Logics
Lyon, T., 1 Oct 2021, Logic and Argumentation. Baroni, P., Benzmüller, C. & Wang, Y. N. (eds.). Springer International Publishing AG, Vol. 13040. p. 495-503 9 p.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 (2021): CiteScore 1.7 SJR 0.96 SNIP 1.282
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 (2021): CiteScore 2.6 SJR 0.755 SNIP 0.987
Journal
Journal of logic and computation
ISSNs: 0955-792X
Additional searchable ISSN (Electronic): 1465-363X
Oxford University Press, Oxford, United Kingdom
Scopus rating (2021): CiteScore 1.6 SJR 0.522 SNIP 0.886
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 (2021): CiteScore 2 SJR 0.696 SNIP 1.024
Indexed in DOAJ
Journal