Dias Da Cruz, Steve; Wasenmüller, Oliver; Beise, Hans-Peter et al.
SVIRO: Synthetic Vehicle Interior Rear Seat Occupancy Dataset and Benchmark2020 IEEE Winter Conference on Applications of Computer Vision (WACV). Danvers, Massachusetts: IEEE 2020 S. 962 - 971
Dias Da Cruz, Steve; Beise, Hans-Peter; Schröder, Udo et al.
A Theoretical Investigation of the Detection of Vital Signs in Presence of Car Vibrations and RADAR-Based Passenger ClassificationIEEE Transactions on Vehicular Technology. Bd. 68. H. 4. Institute of Electrical and Electronics Engineers (IEEE) 2019 S. 3374 - 3385
Grüger, Joscha; Schneider, Georg
Automated Analysis of Job Requirements for Computer Scientists in Online Job AdvertisementsProceedings of the 15th International Conference on Web Information Systems and Technologies. Vienna: SCITEPRESS: Science and Technology Publications 2019 S. 226 - 233
Kügler, Patricia; Schon, Claudia; Schleich, Benjamin et al.
Cascading Forgetting in Product Development Challenges and EvaluationProceedings of the Design Society : International Conference on Engineering Design. Bd. 1. H. 1. Cambridge: Cambridge University Press 2019 S. 2527 - 2536
Furbach, Ulrich; Hölldobler, Steffen; Ragni, Marco et al.
Cognitive Reasoning: A Personal ViewKünstliche Intelligenz. Bd. 33. H. 3. Berlin: Springer 2019 S. 209 - 2017
Siebert, Sophie; Schon, Claudia; Stolzenburg, Frieder
Commonsense Reasoning using Theorem Proving and Machine LearningAndreas Holzinger;Peter Kieseberg;A Min Tjoa;Edgar Weippl (Hrsg). Machine Learning and Knowledge Extraction: Third IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2019, Canterbury, UK, August 26–29, 2019, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2019 S. 395 - 413
Furbach, Ulrich; Krämer, Teresa; Schon, Claudia
Names are not just Sound and Smoke: Word Embeddings for Axiom SelectionPascal Fontaine (Hrsg). Automated Deduction - CADE-27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2019 S. 250 - 268
Schon, Claudia; Siebert, Sophie; Stolzenburg, Frieder
The CoRg Project: Cognitive ReasoningKünstliche Intelligenz. Bd. 33. H. 3. Berlin: Springer 2019 S. 293 - 299
Leinberger, Martin; Seifer, Philipp; Schon, Claudia et al.
Type Checking Program Code Using SHACLChiara Ghidini; Olaf Hartig; Maria Maleshkova; Vojtech Svátek; Isabel Cruz; Aidan Hogan; Jie Song; Maxime Lefrançois; Fabien Gandon (Hrsg). The Semantic Web – ISWC 201918th International Semantic Web Conference; Auckland, New Zealand; October 26–30, 2019, Proceedings, Part I. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2019 S. 399 - 417
Schon, Claudia; Siebert, Sophie; Stolzenburg, Frieder
Using ConceptNet to Teach Common Sense to an Automated Theorem ProverElectronic Proceedings in Theoretical Computer Science. Bd. 311. Open Publishing Association 2019 S. 19 - 24