Starten Sie Ihre Suche...


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

Informatik

Fachbereiche / Hochschule Trier

Schneidershof, 54293 Trier
  • +49 (0)651/8103-345
  • +49 (0)651/8103-454
Publikationen
Ergebnisse pro Seite:  10

Grüger, Joscha; Schneider, Georg

Automated Analysis of Job Requirements for Computer Scientists in Online Job Advertisements

Proceedings 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 Evaluation

Proceedings of the Design Society: International Conference on Engineering Design. Bd. 1. H. 1. Cambridge University Press 2019 S. 2527 - 2536


Furbach, Ulrich; Hölldobler, Steffen; Ragni, Marco et al.

Cognitive Reasoning: A Personal View

KI: Künstliche Intelligenz. Bd. 33. H. 3. Springer 2019 S. 209 - 217


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


Schneider, Georg; Ackels, René

Vocabulary Mashup using Online Resources and Games for Vocabulary Training at School

Proceedings 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 Framework

Proceedings of the 14th International Conference on Web Information Systems and Technologies. Sevilla: SCITEPRESS: Science and Technology Publications 2018 S. 269 - 276