Segui
Cristina Cornelio
Cristina Cornelio
Samsung AI Center Cambridge
Email verificata su samsung.com - Home page
Titolo
Citata da
Citata da
Anno
Leveraging abstract meaning representation for knowledge base question answering
P Kapanipathi, I Abdelaziz, S Ravishankar, S Roukos, A Gray, R Astudillo, ...
arXiv preprint arXiv:2012.01707, 2020
1042020
Updates and uncertainty in CP-nets
C Cornelio, J Goldsmith, N Mattei, F Rossi, KB Venable
AI 2013: Advances in Artificial Intelligence: 26th Australasian Joint …, 2013
532013
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
332019
Reasoning with PCP-nets in a Multi-Agent Context.
C Cornelio, U Grandi, J Goldsmith, N Mattei, F Rossi, KB Venable
AAMAS, 969-977, 2015
322015
Identifying the discourse function of news article paragraphs
WV Yarlott, C Cornelio, T Gao, M Finlayson
Proceedings of the Workshop Events and Stories in the News 2018, 25-33, 2018
312018
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
302021
Voting with random classifiers (VORACE): theoretical and experimental analysis
C Cornelio, M Donini, A Loreggia, MS Pini, F Rossi
Autonomous Agents and Multi-Agent Systems 35 (2), 22, 2021
292021
Combining data and theory for derivable scientific discovery with AI-Descartes
C Cornelio, S Dash, V Austel, TR Josephson, J Goncalves, KL Clarkson, ...
Nature Communications 14 (1), 1777, 2023
282023
Question answering over knowledge bases by leveraging semantic parsing and neuro-symbolic reasoning
P Kapanipathi, I Abdelaziz, S Ravishankar, S Roukos, A Gray, R Astudillo, ...
arXiv preprint arXiv:2012.01707, 2020
252020
Deceased donor–initiated chains: First report of a successful deliberate case and its ethical implications
L Furian, C Cornelio, C Silvestre, F Neri, F Rossi, P Rigotti, E Cozzi, ...
Transplantation 103 (10), 2196-2200, 2019
222019
Learning to guide a saturation-based theorem prover
I Abdelaziz, M Crouse, B Makni, V Austel, C Cornelio, S Ikbal, ...
IEEE Transactions on Pattern Analysis and Machine Intelligence 45 (1), 738-751, 2022
162022
Dynamic probabilistic CP-nets
C Cristina, G Judy, M Nicholas, F Rossi, KB Venable
Proceedings of the 7th Multidisciplinary Workshop on Advances in Preference …, 2013
152013
Learning where and when to reason in neuro-symbolic inference
C Cornelio, J Stuehmer, SX Hu, T Hospedales
The Eleventh International Conference on Learning Representations, 2022
142022
Multi-agent soft constraint aggregation via sequential voting: theoretical and experimental results
C Cornelio, MS Pini, F Rossi, KB Venable
Autonomous Agents and Multi-Agent Systems 33, 159-191, 2019
92019
Automatic transformation of complex tables in documents into computer understandable structured format and providing schema-less query support data extraction
M Canim, C Cornelio, A Iyengar, RA Musa, MR Muro
US Patent 11,194,797, 2021
82021
A deep reinforcement learning based approach to learning transferable proof guidance strategies
M Crouse, S Whitehead, I Abdelaziz, B Makni, C Cornelio, P Kapanipathi, ...
CoRR abs/1911.02065, 2019
82019
Voting with CP-nets using a probabilistic preference structure
C Cornelio, U Grandi, J Goldsmith, N Mattei, F Rossi, KB Venable
Proc. of the 5th International Workshop on Computational Social Choice (COMSOC), 2014
72014
Capturing the global structure of logical formulae with graph long short-term memory
M Crouse, I Abdelaziz, C Cornelio, V Thost, L Wu, B Makni, K Srinivas, ...
US Patent 11,741,375, 2023
62023
Reasoning with PCP-nets
C Cornelio, J Goldsmith, U Grandi, N Mattei, F Rossi, KB Venable
Journal of Artificial Intelligence Research 72, 1103-1161, 2021
62021
Symbolic regression using mixed-integer nonlinear optimization
V Austel, C Cornelio, S Dash, J Goncalves, L Horesh, T Josephson, ...
arXiv preprint arXiv:2006.06813, 2020
62020
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20