Folgen
Veronika Thost
Veronika Thost
MIT-IBM Watson AI Lab, IBM Research
Bestätigte E-Mail-Adresse bei ibm.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Project codenet: a large-scale AI for code dataset for learning a diversity of coding tasks
R Puri, DS Kung, G Janssen, W Zhang, G Domeniconi, V Zolotov, J Dolby, ...
Advances in Neural Information Processing Systems, 2021
68*2021
Temporal Query Answering in the Description Logic DL-Lite
S Borgwardt, M Lippmann, V Thost
Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013 …, 2013
642013
Temporalizing rewritable query languages over knowledge bases
S Borgwardt, M Lippmann, V Thost
Journal of Web Semantics 33, 50-70, 2015
552015
Directed acyclic graph neural networks
V Thost, J Chen
International Conference on Learning Representations (ICLR), 2021
462021
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
462020
Temporal query answering in the description logic EL
S Borgwardt, V Thost
International Joint Conference on Artificial Intelligence, 2015
452015
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
432020
Logic on MARS: Ontologies for Generalised Property Graphs.
M Marx, M Krötzsch, V Thost
International Joint Conference on Artificial Intelligence, 1188-1194, 2017
432017
Infusing knowledge into the textual entailment task using graph convolutional networks
P Kapanipathi, V Thost, SS Patel, S Whitehead, I Abdelaziz, ...
AAAI Conference on Artificial Intelligence 34 (05), 8074-8081, 2020
332020
Attributed Description Logics: Reasoning on Knowledge Graphs.
M Krötzsch, M Marx, A Ozaki, V Thost
International Joint Conference on Artificial Intelligence, 5309-5313, 2018
312018
Ontologies for knowledge graphs: Breaking the rules
M Krötzsch, V Thost
The Semantic Web–ISWC 2016: 15th International Semantic Web Conference, Kobe …, 2016
292016
Temporal Query Answering in DL-Lite with Negation.
S Borgwardt, V Thost
Global Conference on Artificial Intelligence, 51-65, 2015
252015
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
222019
A deep reinforcement learning approach to first-order logic theorem proving
M Crouse, I Abdelaziz, B Makni, S Whitehead, C Cornelio, P Kapanipathi, ...
AAAI Conference on Artificial Intelligence, 2019
22*2019
Attributed description logics: Ontologies for knowledge graphs
M Krötzsch, M Marx, A Ozaki, V Thost
The Semantic Web–ISWC 2017: 16th International Semantic Web Conference …, 2017
222017
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
162013
Semantic Technologies for Situation Awareness: Report on a Project Within the CRC “Highly Adaptive Energy-Efficient Computing”
F Baader, S Borgwardt, P Koopmann, V Thost, AY Turhan
KI-Künstliche Intelligenz 34, 543-550, 2020
102020
On implementing temporal query answering in DL-Lite
V Thost, J Holste, Ö Özçep
Description Logics, 2015
102015
Improving inductive link prediction using hyper-relational facts
M Ali, M Berrendorf, M Galkin, V Thost, T Ma, V Tresp, J Lehmann
The Semantic Web–ISWC 2021: 20th International Semantic Web Conference, ISWC …, 2021
92021
Software vulnerability detection via deep learning over disaggregated code graph representation
Y Zhuang, S Suneja, V Thost, G Domeniconi, A Morari, J Laredo
arXiv preprint arXiv:2109.03341, 2021
82021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20