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
EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization
Gerlach, L., Ivliev, A., Méndez, J., Meusel, S., Dachselt, R. & Krötzsch, M., 1 Nov 2024, The Fifth Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2024).Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
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
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. 12 p.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
Proceedings of the ACM on Management of Data
ISSNs: 2836-6573
Association for Computing Machinery (ACM), United States of America
Journal
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
Scopus rating (2024): CiteScore 4.5 SJR 0.681 SNIP 0.9
Journal
IEEE Transactions on Big Data
ISSNs: 2332-7790
Institute of Electrical and Electronics Engineers (IEEE), 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
Scopus rating (2024): CiteScore 14.3 SJR 1.146 SNIP 3.343
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