Veronika Thost

According to our database, Veronika Thost authored at least 53 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Syntax-Guided Procedural Synthesis of Molecules.

Michael Sun, Alston Lo, Wenhao Gao, Minghao Guo, Veronika Thost, Jie Chen, Connor W. Coley, Wojciech Matusik

CoRR, 2024

Representing Molecules as Random Walks Over Interpretable Grammars.

Michael Sun, Minghao Guo, Weize Yuan, Veronika Thost, Crystal Elaine Owens, Aristotle Franklin Grosz, Sharvaa Selvan, Katelyn Zhou, Hassan Mohiuddin, Benjamin J. Pedretti, Zachary P. Smith, Jie Chen, Wojciech Matusik

Proceedings of the Forty-first International Conference on Machine Learning, 2024

A Graph per Persona: Reasoning about Subjective Natural Language Descriptions.

Eunjeong Hwang, Vered Shwartz, Dan Gutfreund, Veronika Thost

Proceedings of the Findings of the Association for Computational Linguistics, 2024

2023

Transformers over Directed Acyclic Graphs.

Yuankai Luo, Veronika Thost, Lei Shi

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Improving Self-supervised Molecular Representation Learning using Persistent Homology.

Yuankai Luo, Lei Shi, Veronika Thost

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Hierarchical Grammar-Induced Geometry for Data-Efficient Molecular Property Prediction.

Minghao Guo, Veronika Thost, Samuel W. Song, Adithya Balachandran, Payel Das, Jie Chen, Wojciech Matusik

Proceedings of the International Conference on Machine Learning, 2023

Knowledge Graph Compression Enhances Diverse Commonsense Generation.

Eunjeong Hwang, Veronika Thost, Vered Shwartz, Tengfei Ma

Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

2022

Improving Inductive Link Prediction Using Hyper-Relational Facts (Extended Abstract).

Mehdi Ali, Max Berrendorf, Mikhail Galkin, Veronika Thost, Tengfei Ma, Volker Tresp, Jens Lehmann

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Data-Efficient Graph Grammar Learning for Molecular Generation.

Minghao Guo, Veronika Thost, Beichen Li, Payel Das, Jie Chen, Wojciech Matusik

Proceedings of the Tenth International Conference on Learning Representations, 2022

2021

Software Vulnerability Detection via Deep Learning over Disaggregated Code Graph Representation.

Yufan Zhuang, Sahil Suneja, Veronika Thost, Giacomo Domeniconi, Alessandro Morari, Jim Laredo

CoRR, 2021

Relation Matters in Sampling: A Scalable Multi-Relational Graph Neural Network for Drug-Drug Interaction Prediction.

Arthur Feeney, Rishabh Gupta, Veronika Thost, Rico Angell, Gayathri Chandu, Yash Adhikari, Tengfei Ma

CoRR, 2021

Project CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks.

Ruchir Puri, David S. Kung, Geert Janssen, Wei Zhang, Giacomo Domeniconi, Vladimir Zolotov, Julian Dolby, Jie Chen, Mihir R. Choudhury, Lindsey Decker, Veronika Thost, Luca Buratti, Saurabh Pujar, Ulrich Finkler

CoRR, 2021

Improving Inductive Link Prediction Using Hyper-relational Facts.

Mehdi Ali, Max Berrendorf, Mikhail Galkin, Veronika Thost, Tengfei Ma, Volker Tresp, Jens Lehmann

Proceedings of the Semantic Web - ISWC 2021 - 20th International Semantic Web Conference, 2021

CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks.

Ruchir Puri, David S. Kung, Geert Janssen, Wei Zhang, Giacomo Domeniconi, Vladimir Zolotov, Julian Dolby, Jie Chen, Mihir R. Choudhury, Lindsey Decker, Veronika Thost, Luca Buratti, Saurabh Pujar, Shyam Ramji, Ulrich Finkler, Susan Malaika, Frederick Reiss

Proceedings of the Neural Information Processing Systems Track on Datasets and Benchmarks 1, 2021

Synthetic Datasets and Evaluation Tools for Inductive Neural Reasoning.

Cristina Cornelio, Veronika Thost

Proceedings of the Inductive Logic Programming - 30th International Conference, 2021

Directed Acyclic Graph Neural Networks.

Veronika Thost, Jie Chen

Proceedings of the 9th International Conference on Learning Representations, 2021

A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving.

Maxwell Crouse, Ibrahim Abdelaziz, Bassem Makni, Spencer Whitehead, Cristina Cornelio, Pavan Kapanipathi, Kavitha Srinivas, Veronika Thost, Michael Witbrock, Achille Fokoue

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Metric Temporal Description Logics with Interval-Rigid Names.

Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost

ACM Trans. Comput. Log., 2020

Semantic Technologies for Situation Awareness.

Franz Baader, Stefan Borgwardt, Patrick Koopmann, Veronika Thost, Anni-Yasmin Turhan

Künstliche Intell., 2020

Exploring Software Naturalness through Neural Language Models.

Luca Buratti, Saurabh Pujar, Mihaela A. Bornea, J. Scott McCarley, Yunhui Zheng, Gaetano Rossiello, Alessandro Morari, Jim Laredo, Veronika Thost, Yufan Zhuang, Giacomo Domeniconi

CoRR, 2020

Temporal Conjunctive Query Answering in the Extended DL-Lite Family.

Stefan Borgwardt, Veronika Thost

CoRR, 2020

An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic.

Ibrahim Abdelaziz, Veronika Thost, Maxwell Crouse, Achille Fokoue

CoRR, 2020

Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks.

Pavan Kapanipathi, Veronika Thost, Siva Sankalp Patel, Spencer Whitehead, Ibrahim Abdelaziz, Avinash Balakrishnan, Maria Chang, Kshitij Fadnis, R. Chulaka Gunasekara, Bassem Makni, Nicholas Mattei, Kartik Talamadupula, Achille Fokoue

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling.

Maxwell Crouse, Ibrahim Abdelaziz, Cristina Cornelio, Veronika Thost, Lingfei Wu, Kenneth D. Forbus, Achille Fokoue

CoRR, 2019

A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies.

Maxwell Crouse, Spencer Whitehead, Ibrahim Abdelaziz, Bassem Makni, Cristina Cornelio, Pavan Kapanipathi, Edwin Pell, Kavitha Srinivas, Veronika Thost, Michael Witbrock, Achille Fokoue

CoRR, 2019

RuDaS: Synthetic Datasets for Rule Learning and Evaluation Tools.

Cristina Cornelio, Veronika Thost

CoRR, 2019

Links with Answers: Query Answering for Customer Support.

Veronika Thost, Achille Fokoue, Vittorio Castelli, Salim Roukos

Proceedings of the ISWC 2019 Satellite Tracks (Posters & Demonstrations, 2019

QED: Out-of-the-Box Datasets for SPARQL Query Evaluation.

Veronika Thost, Julian Dolby

Proceedings of the Semantic Web - 16th International Conference, 2019

2018

Query Answering for Rough EL Ontologies (Extended Technical Report).

Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan

CoRR, 2018

Metric Temporal Extensions of DL-Lite and Interval-Rigid Names.

Veronika Thost

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Query Answering for Rough EL Ontologies.

Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Attributed Description Logics: Reasoning on Knowledge Graphs.

Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information.

Veronika Thost

PhD thesis, 2017

Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information.

Veronika Thost

Künstliche Intell., 2017

News on Temporal Conjunctive Queries.

Veronika Thost

Proceedings of the Joint Proceedings of the Web Stream Processing workshop (WSP 2017) and the 2nd International Workshop on Ontology Modularity, 2017

Attributed Description Logics: Ontologies for Knowledge Graphs.

Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost

Proceedings of the Semantic Web - ISWC 2017, 2017

Logic on MARS: Ontologies for Generalised Property Graphs.

Maximilian Marx, Markus Krötzsch, Veronika Thost

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Reasoning with Attributed Description Logics.

Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost

Proceedings of the 30th International Workshop on Description Logics, 2017

Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract).

Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost

Proceedings of the 30th International Workshop on Description Logics, 2017

2016

Ontologies for Knowledge Graphs: Breaking the Rules.

Markus Krötzsch, Veronika Thost

Proceedings of the Semantic Web - ISWC 2016, 2016

2015

Temporalizing rewritable query languages over knowledge bases.

Stefan Borgwardt, Marcel Lippmann, Veronika Thost

J. Web Semant., 2015

Temporal Query Answering in the Description Logic EL.

Stefan Borgwardt, Veronika Thost

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Temporal Query Answering in a Fuzzy World.

Veronika Thost, Erik Zenker

Proceedings of the Joint Proceedings of the Posters and Demos Track of 11th International Conference on Semantic Systems - SEMANTiCS 2015 and 1st Workshop on Data Science: Methods, Technology and Applications (DSci15) 11th International Conference on Semantic Systems, 2015

Temporal Query Answering in DL-Lite with Negation.

Stefan Borgwardt, Veronika Thost

Proceedings of the Global Conference on Artificial Intelligence, 2015

On Implementing Temporal Query Answering in DL-Lite (extended abstract).

Veronika Thost, Jan Holste, Özgür L. Özçep

Proceedings of the 28th International Workshop on Description Logics, 2015

Temporal Query Answering in EL.

Stefan Borgwardt, Veronika Thost

Proceedings of the 28th International Workshop on Description Logics, 2015

2014

Bridging the application knowledge gap: using ontology-based situation recognition to support energy-aware resource scheduling.

Marcus Hähnel, Julian Mendez, Veronika Thost, Anni-Yasmin Turhan

Proceedings of the 13th Workshop on Adaptive and Reflective Middleware, 2014

Certain Answers in a Rough World.

Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013

Situation recognition for service management systems using OWL 2 reasoners.

Waltenegus Dargie, Eldora, Julian Mendez, Christoph Möbius, Kateryna Rybina, Veronika Thost, Anni-Yasmin Turhan

Proceedings of the 2013 IEEE International Conference on Pervasive Computing and Communications Workshops, 2013

OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context.

Sebastian Goetz, Julian Mendez, Veronika Thost, Anni-Yasmin Turhan

Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013

Temporal Query Answering in the Description Logic DL-Lite.

Stefan Borgwardt, Marcel Lippmann, Veronika Thost

Proceedings of the Frontiers of Combining Systems, 2013

Temporal Query Answering in DL-Lite.

Stefan Borgwardt, Marcel Lippmann, Veronika Thost

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Query matching for report recommendation.

Veronika Thost, Konrad Voigt, Daniel Schuster

Proceedings of the 22nd ACM International Conference on Information and Knowledge Management, 2013