Professur für Wissensverarbeitung
Organisation: Professur
Organisationsprofil
Ehemalige:r Inhaber:in der Professur: Prof. Dr. Steffen Hölldobler
Kontakt
- TUD Webseite: https://tu-dresden.de/ing/informatik/ki/krr
Verknüpfte Inhalte und Forschende (öffentliche Profile)
- Veröffentlichungen
- Zeitschriften
- Auszeichnungen
Netrank: network-based approach for biomarker discovery
Al-Fatlawi, A., Rusadze, E., Shmelkin, A., Malekian, N., Ozen, C., Pilarsky, C. & Schroeder, M., 29 Juli 2023, in: BMC bioinformatics. 24, 1, 304.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
Visual Argument Structure Tool (VAST) 1.0
Leising, D., Grenke, O. & Cramer, M., 16 Juli 2022, Technische Universität Dresden.Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)
A Polynomial Approach for Finding Most Specific Concepts w.r.t General EL-TBoxes
Nadeem, M., 2022, Dresden, Germany.Publikation: Hochschulschrift/Abschlussarbeit › Masterarbeit
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. (Hrsg.). S. 387-400 14 S. (Lecture Notes in Artificial Intelligence (LNAI), Band 13416).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
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, S. 389-394 6 S.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
Journal of symbolic computation : an international journal
ISSNs: 0747-7171
Weitere durchsuchbare ISSN (elektronisch): 1095-855X
Elsevier Science B.V., Großbritannien/Vereinigtes Königreich
Scopus-Bewertung (2023): CiteScore 2,1 SJR 0,522 SNIP 1,125
Fachzeitschrift: Zeitschrift
SAT COMPETITION
ISSNs: 1458-4786
University of Helsinki Department of Computer Science
Fachzeitschrift: Schriftenreihe
Künstliche Intelligenz : KI
ISSNs: 0933-1875, 0935-848X
Weitere durchsuchbare ISSN (elektronisch): 1610-1987
Springer, Berlin [u. a.], Deutschland
Scopus-Bewertung (2023): CiteScore 8,6 SJR 0,649 SNIP 1,477
Fachzeitschrift: Zeitschrift
Theory and Practice of Logic Programming
ISSNs: 1471-0684
Weitere durchsuchbare ISSN (elektronisch): 1475-3081
Cambridge University Press
Scopus-Bewertung (2023): CiteScore 4,5 SJR 0,95 SNIP 1,734
Fachzeitschrift: Zeitschrift
BMC Bioinformatics
ISSNs: 1471-2105
BioMed Central, London
Scopus-Bewertung (2022): CiteScore 6,2 SJR 1,1 SNIP 0,938
In DOAJ indiziert
Fachzeitschrift: Zeitschrift