Veronika Thost
Veronika Thost
MIT-IBM Watson AI Lab, IBM Research
Verified email at ibm.com - Homepage
Title
Cited by
Cited by
Year
Temporal query answering in the description logic DL-Lite
S Borgwardt, M Lippmann, V Thost
International Symposium on Frontiers of Combining Systems, 165-180, 2013
562013
Temporalizing rewritable query languages over knowledge bases
S Borgwardt, M Lippmann, V Thost
Journal of Web Semantics 33, 50-70, 2015
492015
Metric temporal description logics with interval-rigid names
F Baader, S Borgwardt, P Koopmann, A Ozaki, V Thost
ACM Transactions on Computational Logic (TOCL) 21 (4), 1-46, 2020
412020
Temporal query answering in the description logic EL
S Borgwardt, V Thost
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
402015
Logic on MARS: Ontologies for Generalised Property Graphs.
M Marx, M Krötzsch, V Thost
IJCAI, 1188-1194, 2017
332017
Attributed Description Logics: Reasoning on Knowledge Graphs.
M Krötzsch, M Marx, A Ozaki, V Thost
IJCAI, 5309-5313, 2018
262018
Temporal Query Answering in DL-Lite with Negation.
S Borgwardt, V Thost
GCAI, 51-65, 2015
222015
Attributed description logics: Ontologies for knowledge graphs
M Krötzsch, M Marx, A Ozaki, V Thost
International Semantic Web Conference, 418-435, 2017
192017
Ontologies for knowledge graphs: Breaking the rules
M Krötzsch, V Thost
International Semantic Web Conference, 376-392, 2016
192016
Situation recognition for service management systems using OWL 2 reasoners
W Dargie, J Mendez, C Möbius, K Rybina, V Thost, AY Turhan
2013 IEEE International Conference on Pervasive Computing and Communications …, 2013
192013
Infusing knowledge into the textual entailment task using graph convolutional networks
P Kapanipathi, V Thost, SS Patel, S Whitehead, I Abdelaziz, ...
Proceedings of the AAAI Conference on Artificial Intelligence 34 (05), 8074-8081, 2020
172020
Improving graph neural network representations of logical formulae with subgraph pooling
M Crouse, I Abdelaziz, C Cornelio, V Thost, L Wu, K Forbus, A Fokoue
arXiv preprint arXiv:1911.06904, 2019
132019
Directed acyclic graph neural networks
V Thost, J Chen
arXiv preprint arXiv:2101.07965, 2021
102021
On implementing temporal query answering in DL-Lite
V Thost, J Holste, ÖL Özçep
Description Logics, 2015
102015
Temporal Query Answering in DL-Lite.
S Borgwardt, M Lippmann, V Thost
Description Logics 1014, 80-92, 2013
92013
A deep reinforcement learning approach to first-order logic theorem proving
M Crouse, I Abdelaziz, B Makni, S Whitehead, C Cornelio, P Kapanipathi, ...
Proceedings of the AAAI Conference on Artificial Intelligence 35 (7), 6279-6287, 2021
7*2021
Exploring software naturalness through neural language models
L Buratti, S Pujar, M Bornea, S McCarley, Y Zheng, G Rossiello, A Morari, ...
arXiv preprint arXiv:2006.12641, 2020
72020
Metric temporal extensions of DL-Lite and interval-rigid names
V Thost
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
72018
Using ontology-based data access to enable context recognition in the presence of incomplete information
V Thost
KI-Künstliche Intelligenz 31 (4), 377-380, 2017
72017
LTL over EL axioms
S Borgwardt, V Thost
LTCS-Report, 2015
72015
The system can't perform the operation now. Try again later.
Articles 1–20