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

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)OWL 2 Web Ontology Language: XML Serialization, , , , , , and . Last Call Working Draft, W3C, (2008)Neuro-symbolic Models for Interpretable Time Series Classification using Temporal Logic Description., , , , and . ICDM, page 618-627. IEEE, (2022)A Clustering-Based Approach to Ontology Alignment., , , and . ISWC (1), volume 7031 of Lecture Notes in Computer Science, page 146-161. Springer, (2011)Learning to Guide a Saturation-Based Theorem Prover., , , , , , , , , and 1 other author(s). CoRR, (2021)Improving Natural Language Inference Using External Knowledge in the Science Questions Domain., , , , , , , , , and 1 other author(s). AAAI, page 7208-7215. AAAI Press, (2019)A Two-Stage Approach towards Generalization in Knowledge Base Question Answering., , , , , , , and . EMNLP (Findings), page 5571-5580. Association for Computational Linguistics, (2022)A View of OWL From the Field: Use-cases and Experiences., , , , , , , , , and . OWLED, volume 216 of CEUR Workshop Proceedings, CEUR-WS.org, (2006)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)