Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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