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
IASCAR: Incremental Answer Set Counting by Anytime Refinement
Fichte, J. K., Gaggl, S. A., Hecher, M. & Rusovac, D., 21 Feb 2024, In: Theory and Practice of Logic Programming. 24, 3, p. 505-532Research output: Contribution to journal › Research 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
Nemo: First Glimpse of a New Rule Engine
Ivliev, A., Ellmauthaler, S., Gerlach, L., Marx, M., Meißner, M., Meusel, S. & Krötzsch, M., 12 Sept 2023, Proceedings 39th International Conference on Logic Programming. Pontelli, E., Costantini, S., Dodaro, C., Gaggl, S., Calegari, R., Garcez, A. DA., Fabiano, F., Mileo, A., Russo, A. & Toni, F. (eds.). p. 333-335 3 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 385).Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination
Gerlach, L. & Carral, D., 1 Sept 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023). p. 301–310 10 p. (Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, Vol. 20).Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
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), New York
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