Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Informatik

Hochschule Trier

Schneidershof, 54293 Trier
  • +49 651/8103-0
  • +49 651/8103-333
Publikationen
Ergebnisse pro Seite:  10

Siebert, Sophie; Schon, Claudia; Stolzenburg, Frieder

Commonsense Reasoning Using Theorem Proving and Machine Learning

Lecture Notes in Computer Science. Cham: Springer 2019 S. 395 - 413


Furbach, Ulrich; Krämer, Teresa; Schon, Claudia

Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection

Automated Deduction: CADE 27. Cham: Springer 2019 S. 250 - 268 (Lecture Notes in Computer Science, Bd. 11716)


Schon, Claudia; Siebert, Sophie; Stolzenburg, Frieder

The CoRg Project: Cognitive Reasoning

KI: Künstliche Intelligenz. Bd. 33. H. 3. Springer 2019 S. 293 - 299


Leinberger, Martin; Seifer, Philipp; Schon, Claudia et al.

Type Checking Program Code Using SHACL

ISWC (Hrsg). The Semantic Web. Cham: Springer 2019 S. 399 - 417 (Lecture Notes in Computer Science)


Schon, Claudia; Siebert, Sophie; Stolzenburg, Frieder

Using ConceptNet to Teach Common Sense to an Automated Theorem Prover

Electronic Proceedings in Theoretical Computer Science. Bd. 311. Open Publishing Association 2019 S. 19 - 24


Timm, Ingo J.; Staab, Steffen; Siebers, Michael et al.

Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges

Trollmann, Frank (Hrsg). KI 2018: Advances in Artificial Intelligence : 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings. 1. ed. Aufl. Cham: Springer 2018 S. 357 - 365 (Lecture Notes in Computer Science ; 11117)


Schon, Claudia; Staab, Steffen; Kügler, Patricia et al.

Metaproperty-Guided Deletion from the Instance-Level of a Knowledge Base

Knowledge Engineering and Knowledge Management. Cham: Springer 2018 S. 407 - 423 (Lecture Notes in Computer Science, Bd.11313)


Kügler, Patricia; Kestel, Philipp; Schon, Claudia et al.

Ontology-Based Approach for the Use of Intentional Forgetting in Product Development

DS 92: Proceedings of the DESIGN 2018. 15th International Design Conference. Zagreb / Glasgow: Faculty of Mechanical Engineering and Naval Architecture, University of Zagreb / The Design Society 2018


Janker, Julia; Fehling, Mona K.; Schick, Bernhard et al.

Variabilität der Stimmlippenschwingungen bei Messwiederholung von gesunden männlichen Probanden basierend auf endoskopischer Hochgeschwindigkeitslaryngoskopie

Laryngorhinootologie. Bd. 97. H. S2. Thieme 2018 S. 300 - 301


Janker, Julia; Fehling, Mona K.; Schick, Bernhard et al.

Variability of vocal fold vibration obtained from repeated measurements in healthy male subjects based on endoscopic high-speed imaging

Laryngorhinootologie. Bd. 97. H. S2. Thieme 2018 S. 301