Professur für Wissensverarbeitung
Organisation: Professur
Verknüpfte Inhalte und Forschende (öffentliche Profile)
- Veröffentlichungen
- Zeitschriften
- Auszeichnungen
Visual Argument Structure Tool (VAST) 1.0
Leising, D., Grenke, O. & Cramer, M., 16 Juli 2022, in: PsyArXiV Preprints.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › 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
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.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
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. (Hrsg.). CEUR Workshop Proceedings, Band 1577.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Riss 6 solver and derivatives
Manthey, N., Stephan, A. & Werner, E., 2016, in: SAT COMPETITION - Solver and Benchmark Descriptions. S. 56-57 2 S.Publikation: Beitrag in Fachzeitschrift › Konferenzartikel › Beigetragen
Journal of symbolic computation : an international journal
ISSNs: 0747-7171
Weitere durchsuchbare ISSN (elektronisch): 1095-855X
Elsevier, Großbritannien/Vereinigtes Königreich
Scopus-Bewertung (2022): CiteScore 2,1 SJR 0,441 SNIP 1,095
Fachzeitschrift: Zeitschrift
SAT COMPETITION - Solver and Benchmark Descriptions
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 (2022): CiteScore 5,6 SJR 0,703 SNIP 1,4
Fachzeitschrift: Zeitschrift
Amazon-Preis 2019
Kahlert, Lucas (Empfänger:in), 21 Juni 2019
Auszeichnung: Preis › Studentischer Preis