Cristina Cornelio

Cristina Cornelio

Samsung Electronics, South Korea - Gyeonggi / South Korea
Engineering & Technology / Computer Science
AD Scientific Index ID: 4502440
삼성전자, 한국
person_outline Cristina Cornelio's MOST POPULAR ARTICLES
1-) Leveraging abstract meaning representation for knowledge base question answeringP Kapanipathi, I Abdelaziz, S Ravishankar, S Roukos, A Gray, R Astudillo, ...arXiv preprint arXiv:2012.01707, 2020542020
2-) Updates and uncertainty in CP-netsC Cornelio, J Goldsmith, N Mattei, F Rossi, KB VenableAI 2013: Advances in Artificial Intelligence: 26th Australasian Joint …, 2013522013
3-) Combining data and theory for derivable scientific discovery with AI-DescartesLH Cornelio, Cristina, Sanjeeb Dash, Vernon Austel, Tyler R. Josephson, Joao ...Nature Communications 14 (1), 1777, 202335*2023
4-) A deep reinforcement learning approach to first-order logic theorem provingM Crouse, I Abdelaziz, B Makni, S Whitehead, C Cornelio, P Kapanipathi, ...Proceedings of the AAAI Conference on Artificial Intelligence 35 (7), 6279-6287, 2021382021
5-) Improving graph neural network representations of logical formulae with subgraph poolingM Crouse, I Abdelaziz, C Cornelio, V Thost, L Wu, K Forbus, A FokouearXiv preprint arXiv:1911.06904, 2019362019