Informatik
Hochschule Trier
- +49 (0)651/8103-345
- +49 (0)651/8103-454
- sek@informatik.hochschule-trier.de
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
Küntzer, Lucas; Hoffmann, Michael; Rock, Georg
Virtual Reality as an E-Learning tool in the student-centered vehicle development project "proTRon".DeLFI. 2019 S. 157 - 162
Schneider, Georg; Ackels, René
Vocabulary Mashup using Online Resources and Games for Vocabulary Training at SchoolProceedings of the 11th International Conference on Computer Supported Education. Heraklion: SCITEPRESS: Science and Technology Publications 2019 S. 519 - 526
Schneider, Georg J.; Perepelkin, Dimitri
Electronic Band Scores and Stage Services FrameworkProceedings of the 14th International Conference on Web Information Systems and Technologies. Sevilla: SCITEPRESS: Science and Technology Publications 2018 S. 269 - 276
Schmitt, Anna; Bettinger, Christian; Rock, Georg
Glencoe - A Tool for Specification, Visualization and Formal Analysis of Product Lines.TE. 2018 S. 665 - 673
Timm, Ingo J.; Staab, Steffen; Siebers, Michael et al.
Intentional Forgetting in Artificial Intelligence Systems: Perspectives and ChallengesFrank Trollmann;Anni-Yasmin Turhan (Hrsg). KI 2018: Advances in Artificial Intelligence: 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2018 S. 357 - 365
Schon, Claudia; Staab, Steffen; Kügler, Patricia et al.
Metaproperty-guided Deletion from the Instance-Level of a Knowledge BaseCatherine Faron Zucker;Chiara Ghidini;Amedeo Napoli;Yannick Toussaint (Hrsg). Knowledge Engineering and Knowledge Management: 21st International Conference, EKAW 2018, Nancy, France, November 12-16, 2018, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2018 S. 407 - 423