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
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
Fuzzing and verifying RAT refutations with deletion information
Forkel, W., Rebola-Pardo, A., Werner, E. & Philipp, T., 2017, FLAIRS 2017 - Proceedings of the 30th International Florida Artificial Intelligence Research Society Conference. AAAI Press, p. 190-193 4 p.Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Efficient Axiom Pinpointing in EL using SAT Technology
Manthey, N., Peñaloza, R. & Rudolph, S., 2016, Proceedings of the 29th International Workshop on Description Logics (DL'16). Lenzerini, M. & Peñaloza, R. (eds.). CEUR Workshop Proceedings, Vol. 1577.Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › 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