Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling., , , , , , und . CoRR, (2019)Exploring Big Data with Helix: Finding Needles in a Big Haystack., , , , , und . SIGMOD Rec., 43 (4): 43-54 (2014)Learning to Guide a Saturation-Based Theorem Prover., , , , , , , , , und 1 andere Autor(en). CoRR, (2021)OWL 2 Web Ontology Language: XML Serialization, , , , , , und . Last Call Working Draft, W3C, (2008)An Offline Optimal SPARQL Query Planning Approach to Evaluate Online Heuristic Planners., , , , und . WISE (1), Volume 8786 von Lecture Notes in Computer Science, Seite 480-495. Springer, (2014)A Clustering-Based Approach to Ontology Alignment., , , und . ISWC (1), Volume 7031 von Lecture Notes in Computer Science, Seite 146-161. Springer, (2011)Neuro-symbolic Models for Interpretable Time Series Classification using Temporal Logic Description., , , , und . ICDM, Seite 618-627. IEEE, (2022)A knowledge and reasoning toolkit for cognitive applications., , , , , , , , , und . HotWeb, Seite 13:1-13:10. ACM, (2017)An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations., , , , , , , und . IJCAI, Seite 3221-3229. ijcai.org, (2023)A View of OWL From the Field: Use-cases and Experiences., , , , , , , , , und . OWLED, Volume 216 von CEUR Workshop Proceedings, CEUR-WS.org, (2006)