Chair of Knowledge-based Systems (cfaed)
Organisational unit: Chair
Organisation profile
Chair Holder: Prof. Dr. rer. pol. Markus Krötzsch
Related content and researchers (public profile)
- Research output
- Journals
- Prizes
Towards Mass Spectrum Analysis with ASP
Küchenmeister, N., Ivliev, A. & Krötzsch, M., 9 Oct 2024, Logic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Proceedings: 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11–14, 2024, Proceedings. Dodaro, C., Gupta, G. & Martinez, M. V. (eds.). Dallas, TX, USA: Springer, Cham, p. 200-214 15 p. (Lecture notes in computer science, Vol. 15245). (Lecture Notes in Artificial Intelligence (LNAI)).Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Teuken-7B-Base & Teuken-7B-Instruct: Towards European LLMs
Ali, M., Fromm, M., Thellmann, K., Ebert, J., Weber, A. A., Rutmann, R. & Jain, C. & 32 others, Lübbering, M., Steinigen, D., Leveling, J., Klug, K., Buschhoff, J. S., Jurkschat, L., Abdelwahab, H., Stein, B. J., Sylla, K.-H., Denisov, P., Brandizzi, N., Saleem, Q., Bhowmick, A., Helmer, L., John, C., Suarez, P. O., Ostendorff, M., Jude, A., Manjunath, L., Weinbach, S., Penke, C., Filatov, O., Asaadi, S., Barth, F., Sifa, R., Küch, F., Herten, A., Jäkel, R., Rehm, G., Kesselheim, S., Köhler, J. & Flores-Herr, N., 30 Sept 2024.Research output: Preprint/Documentation/Report › Preprint
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
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
Winning Snake: Design Choices in Multi-Shot ASP.
Böhl, E., Ellmauthaler, S. & Gaggl, S. A., 2024.Research output: Preprint/Documentation/Report › Preprint
Linux-Magazin
ISSNs: 1432-640X
Additional searchable ISSN (electronic): 1432-640X
Computec Media GmbH, Germany
Journal
International journal of control
ISSNs: 0020-7179
Additional searchable ISSN (electronic): 1366-5820
Taylor & Francis, London [u.a.]
Scopus rating (2023): CiteScore 5 SJR 0.862 SNIP 0.996
Journal
IEEE Transactions on Big Data
ISSNs: 2332-7790
IEEE, New York [u. a.], United States of America
Scopus rating (2022): CiteScore 9.7 SJR 1.182 SNIP 2.144
Journal
Communications of the ACM : CACM ; a publ. of the Association for Computing Machinery / ed.-in-chief M. Stuart Lynn
ISSNs: 0001-0782
Additional searchable ISSN (electronic): 1557-7317
Association for Computing Machinery (ACM)
Scopus rating (2023): CiteScore 16.1 SJR 2.957 SNIP 5.136
Journal
Systems & Control Letters
ISSNs: 0167-6911
Additional searchable ISSN (electronic): 1872-7956
Elsevier Science B.V.
Scopus rating (2023): CiteScore 4.6 SJR 1.503 SNIP 1.195
Journal
Best Paper Award Research Track
González González, L. J. (Recipient), Ivliev, A. (Recipient), Krötzsch, M. (Recipient) & Mennicke, S. (Recipient), 27 Oct 2022
Prize: Publication/Conference prize
Digital Teaching Award in Computer Science
Krötzsch, M. (Recipient), 2021
Prize: Prize for teaching (incl. supervision)
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