Chair of Knowledge Representation and Reasoning
Organisational unit: Chair
Organisation profile
Former Chair holder: Prof. Dr. Steffen Hölldobler
Contact
- TUD website: https://tu-dresden.de/ing/informatik/ki/krr
Related content and researchers (public profile)
- Research output
- Journals
- Prizes
Netrank: network-based approach for biomarker discovery
Al-Fatlawi, A., Rusadze, E., Shmelkin, A., Malekian, N., Ozen, C., Pilarsky, C. & Schroeder, M., 29 Jul 2023, In: BMC bioinformatics. 24, 1, 304.Research output: Contribution to journal › Research article › Contributed › peer-review
Visual Argument Structure Tool (VAST) 1.0
Leising, D., Grenke, O. & Cramer, M., 16 Jul 2022, Technische Universität Dresden.Research output: Preprint/Documentation/Report › Preprint
A Polynomial Approach for Finding Most Specific Concepts w.r.t General EL-TBoxes
Nadeem, M., 2022, Dresden, Germany.Research output: Types of thesis › Master thesis
A Practical Account into Counting Dung’s Extensions by Dynamic Programming
Dewoprabowo, R., Fichte, J. K., Gorczyca, P. & Hecher, M., 2022, Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Proceedings: 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings. Gottlob, G., Inclezan, D. & Maratea, M. (eds.). p. 387-400 14 p. (Lecture Notes in Artificial Intelligence (LNAI), Vol. 13416).Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
SATPin: Axiom Pinpointing for Lightweight Description Logics through Incremental SAT
Manthey, N., Nyssen, R. P. & Rudolph, S., 2020, In: Künstliche Intelligenz : KI. 34, 3, p. 389-394 6 p.Research output: Contribution to journal › Research article › Contributed › peer-review
Journal of symbolic computation : an international journal
ISSNs: 0747-7171
Additional searchable ISSN (electronic): 1095-855X
Elsevier Science B.V., United Kingdom
Scopus rating (2023): CiteScore 2.1 SJR 0.522 SNIP 1.125
Journal
SAT COMPETITION
ISSNs: 1458-4786
University of Helsinki Department of Computer Science
Journal: Book series
Künstliche Intelligenz : KI
ISSNs: 0933-1875, 0935-848X
Additional searchable ISSN (electronic): 1610-1987
Springer, Berlin [u. a.], Germany
Scopus rating (2023): CiteScore 8.6 SJR 0.649 SNIP 1.477
Journal
Theory and Practice of Logic Programming
ISSNs: 1471-0684
Additional searchable ISSN (electronic): 1475-3081
Cambridge University Press
Scopus rating (2023): CiteScore 4.5 SJR 0.95 SNIP 1.734
Journal
BMC Bioinformatics
ISSNs: 1471-2105
BioMed Central, London
Scopus rating (2022): CiteScore 6.2 SJR 1.1 SNIP 0.938
Indexed in DOAJ
Journal