![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Veronika Thost
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c38]EunJeong Hwang, Vered Shwartz, Dan Gutfreund, Veronika Thost:
A Graph per Persona: Reasoning about Subjective Natural Language Descriptions. ACL (Findings) 2024: 1928-1942 - [i18]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:
Representing Molecules as Random Walks Over Interpretable Grammars. CoRR abs/2403.08147 (2024) - 2023
- [c37]EunJeong Hwang, Veronika Thost, Vered Shwartz, Tengfei Ma:
Knowledge Graph Compression Enhances Diverse Commonsense Generation. EMNLP 2023: 558-572 - [c36]Minghao Guo, Veronika Thost, Samuel W. Song, Adithya Balachandran, Payel Das, Jie Chen, Wojciech Matusik:
Hierarchical Grammar-Induced Geometry for Data-Efficient Molecular Property Prediction. ICML 2023: 12055-12076 - [c35]Yuankai Luo, Lei Shi, Veronika Thost:
Improving Self-supervised Molecular Representation Learning using Persistent Homology. NeurIPS 2023 - [c34]Yuankai Luo, Veronika Thost, Lei Shi:
Transformers over Directed Acyclic Graphs. NeurIPS 2023 - [i17]Minghao Guo, Veronika Thost, Samuel W. Song, Adithya Balachandran, Payel Das, Jie Chen, Wojciech Matusik:
Hierarchical Grammar-Induced Geometry for Data-Efficient Molecular Property Prediction. CoRR abs/2309.01788 (2023) - [i16]Yuankai Luo, Lei Shi, Veronika Thost:
Improving Self-supervised Molecular Representation Learning using Persistent Homology. CoRR abs/2311.17327 (2023) - 2022
- [c33]Minghao Guo, Veronika Thost, Beichen Li, Payel Das, Jie Chen, Wojciech Matusik:
Data-Efficient Graph Grammar Learning for Molecular Generation. ICLR 2022 - [c32]Mehdi Ali, Max Berrendorf, Mikhail Galkin, Veronika Thost, Tengfei Ma, Volker Tresp, Jens Lehmann:
Improving Inductive Link Prediction Using Hyper-Relational Facts (Extended Abstract). IJCAI 2022: 5259-5263 - [i15]Minghao Guo, Veronika Thost, Beichen Li
, Payel Das, Jie Chen, Wojciech Matusik:
Data-Efficient Graph Grammar Learning for Molecular Generation. CoRR abs/2203.08031 (2022) - 2021
- [c31]Maxwell Crouse, Ibrahim Abdelaziz, Bassem Makni, Spencer Whitehead, Cristina Cornelio, Pavan Kapanipathi, Kavitha Srinivas, Veronika Thost, Michael Witbrock, Achille Fokoue:
A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving. AAAI 2021: 6279-6287 - [c30]Veronika Thost, Jie Chen:
Directed Acyclic Graph Neural Networks. ICLR 2021 - [c29]Cristina Cornelio, Veronika Thost:
Synthetic Datasets and Evaluation Tools for Inductive Neural Reasoning. ILP 2021: 57-77 - [c28]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:
CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks. NeurIPS Datasets and Benchmarks 2021 - [c27]Mehdi Ali, Max Berrendorf, Mikhail Galkin, Veronika Thost, Tengfei Ma
, Volker Tresp, Jens Lehmann:
Improving Inductive Link Prediction Using Hyper-relational Facts. ISWC 2021: 74-92 - [i14]Veronika Thost, Jie Chen:
Directed Acyclic Graph Neural Networks. CoRR abs/2101.07965 (2021) - [i13]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:
Project CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks. CoRR abs/2105.12655 (2021) - [i12]Arthur Feeney, Rishabh Gupta, Veronika Thost, Rico Angell, Gayathri Chandu, Yash Adhikari, Tengfei Ma:
Relation Matters in Sampling: A Scalable Multi-Relational Graph Neural Network for Drug-Drug Interaction Prediction. CoRR abs/2105.13975 (2021) - [i11]Mehdi Ali, Max Berrendorf, Mikhail Galkin, Veronika Thost, Tengfei Ma, Volker Tresp, Jens Lehmann:
Improving Inductive Link Prediction Using Hyper-Relational Facts. CoRR abs/2107.04894 (2021) - [i10]Yufan Zhuang, Sahil Suneja, Veronika Thost, Giacomo Domeniconi, Alessandro Morari, Jim Laredo:
Software Vulnerability Detection via Deep Learning over Disaggregated Code Graph Representation. CoRR abs/2109.03341 (2021) - 2020
- [j4]Franz Baader
, Stefan Borgwardt, Patrick Koopmann
, Veronika Thost, Anni-Yasmin Turhan:
Semantic Technologies for Situation Awareness. Künstliche Intell. 34(4): 543-550 (2020) - [j3]Franz Baader
, Stefan Borgwardt
, Patrick Koopmann
, Ana Ozaki
, Veronika Thost
:
Metric Temporal Description Logics with Interval-Rigid Names. ACM Trans. Comput. Log. 21(4): 30:1-30:46 (2020) - [c26]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:
Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks. AAAI 2020: 8074-8081 - [i9]Ibrahim Abdelaziz, Veronika Thost, Maxwell Crouse, Achille Fokoue:
An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic. CoRR abs/2002.00423 (2020) - [i8]Stefan Borgwardt, Veronika Thost:
Temporal Conjunctive Query Answering in the Extended DL-Lite Family. CoRR abs/2003.09508 (2020) - [i7]Luca Buratti, Saurabh Pujar, Mihaela A. Bornea, J. Scott McCarley, Yunhui Zheng, Gaetano Rossiello, Alessandro Morari, Jim Laredo, Veronika Thost, Yufan Zhuang, Giacomo Domeniconi:
Exploring Software Naturalness through Neural Language Models. CoRR abs/2006.12641 (2020)
2010 – 2019
- 2019
- [c25]Veronika Thost
, Julian Dolby:
QED: Out-of-the-Box Datasets for SPARQL Query Evaluation. ESWC 2019: 491-506 - [c24]Veronika Thost, Achille Fokoue, Vittorio Castelli, Salim Roukos:
Links with Answers: Query Answering for Customer Support. ISWC (Satellites) 2019: 109-112 - [i6]Cristina Cornelio, Veronika Thost:
RuDaS: Synthetic Datasets for Rule Learning and Evaluation Tools. CoRR abs/1909.07095 (2019) - [i5]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:
Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks. CoRR abs/1911.02060 (2019) - [i4]Maxwell Crouse, Spencer Whitehead, Ibrahim Abdelaziz, Bassem Makni, Cristina Cornelio, Pavan Kapanipathi, Edwin Pell, Kavitha Srinivas, Veronika Thost, Michael Witbrock, Achille Fokoue:
A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies. CoRR abs/1911.02065 (2019) - [i3]Maxwell Crouse, Ibrahim Abdelaziz, Cristina Cornelio, Veronika Thost, Lingfei Wu, Kenneth D. Forbus, Achille Fokoue:
Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling. CoRR abs/1911.06904 (2019) - 2018
- [c23]Markus Krötzsch, Maximilian Marx
, Ana Ozaki, Veronika Thost:
Attributed Description Logics: Reasoning on Knowledge Graphs. IJCAI 2018: 5309-5313 - [c22]Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan:
Query Answering for Rough EL Ontologies. KR 2018: 399-408 - [c21]Veronika Thost:
Metric Temporal Extensions of DL-Lite and Interval-Rigid Names. KR 2018: 665-666 - [c20]Veronika Thost, Julian Dolby:
QED: Out-of-the-box Datasets for SPARQL Query Evaluation. ISWC (P&D/Industry/BlueSky) 2018 - [i2]Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan:
Query Answering for Rough EL Ontologies (Extended Technical Report). CoRR abs/1808.01877 (2018) - [i1]Veronika Thost:
Metric Temporal Extensions of DL-Lite and Interval-Rigid Names. CoRR abs/1808.02055 (2018) - 2017
- [b1]Veronika Thost:
Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information. Dresden University of Technology, Germany, 2017 - [j2]Veronika Thost
:
Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information. Künstliche Intell. 31(4): 377-380 (2017) - [c19]Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost:
Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract). Description Logics 2017 - [c18]Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost:
Reasoning with Attributed Description Logics. Description Logics 2017 - [c17]Franz Baader
, Stefan Borgwardt
, Patrick Koopmann
, Ana Ozaki
, Veronika Thost:
Metric Temporal Description Logics with Interval-Rigid Names. FroCoS 2017: 60-76 - [c16]Maximilian Marx
, Markus Krötzsch, Veronika Thost:
Logic on MARS: Ontologies for Generalised Property Graphs. IJCAI 2017: 1188-1194 - [c15]Veronika Thost:
News on Temporal Conjunctive Queries. WSP/WOMoCoE@ISWC 2017: 1-16 - [c14]Markus Krötzsch
, Maximilian Marx
, Ana Ozaki
, Veronika Thost
:
Attributed Description Logics: Ontologies for Knowledge Graphs. ISWC (1) 2017: 418-435 - 2016
- [c13]Markus Krötzsch
, Veronika Thost:
Ontologies for Knowledge Graphs: Breaking the Rules. ISWC (1) 2016: 376-392 - 2015
- [j1]Stefan Borgwardt
, Marcel Lippmann, Veronika Thost:
Temporalizing rewritable query languages over knowledge bases. J. Web Semant. 33: 50-70 (2015) - [c12]Stefan Borgwardt, Veronika Thost:
Temporal Query Answering in EL. Description Logics 2015 - [c11]Veronika Thost, Jan Holste, Özgür L. Özçep:
On Implementing Temporal Query Answering in DL-Lite (extended abstract). Description Logics 2015 - [c10]Stefan Borgwardt, Veronika Thost:
Temporal Query Answering in DL-Lite with Negation. GCAI 2015: 51-65 - [c9]Veronika Thost, Erik Zenker:
Temporal Query Answering in a Fuzzy World. SEMANTiCS (Posters & Demos) 2015: 84-87 - [c8]Stefan Borgwardt, Veronika Thost:
Temporal Query Answering in the Description Logic EL. IJCAI 2015: 2819-2825 - 2014
- [c7]Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan:
Certain Answers in a Rough World. Description Logics 2014: 709-712 - [c6]Marcus Hähnel, Julian Mendez, Veronika Thost, Anni-Yasmin Turhan:
Bridging the application knowledge gap: using ontology-based situation recognition to support energy-aware resource scheduling. ARM@Middleware 2014: 3:1-3:6 - 2013
- [c5]Veronika Thost, Konrad Voigt, Daniel Schuster:
Query matching for report recommendation. CIKM 2013: 1391-1400 - [c4]Stefan Borgwardt, Marcel Lippmann, Veronika Thost:
Temporal Query Answering in DL-Lite. Description Logics 2013: 80-92 - [c3]Stefan Borgwardt
, Marcel Lippmann, Veronika Thost:
Temporal Query Answering in the Description Logic DL-Lite. FroCos 2013: 165-180 - [c2]Sebastian Goetz, Julian Mendez, Veronika Thost, Anni-Yasmin Turhan:
OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context. OWLED 2013 - [c1]Waltenegus Dargie
, Eldora, Julian Mendez, Christoph Möbius, Kateryna Rybina, Veronika Thost, Anni-Yasmin Turhan:
Situation recognition for service management systems using OWL 2 reasoners. PerCom Workshops 2013: 31-36
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-27 22:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint