Follow
Cristina Cornelio
Cristina Cornelio
Samsung AI Center Cambridge
Verified email at samsung.com - Homepage
Title
Cited by
Cited by
Year
Updates and uncertainty in CP-nets
C Cornelio, J Goldsmith, N Mattei, F Rossi, KB Venable
Australasian Joint Conference on Artificial Intelligence, 301-312, 2013
512013
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
382020
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
272015
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
202018
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
192019
UV‐printable and flexible humidity sensors based on conducting/insulating semi‐interpenetrated polymer networks
N Razza, B Blanchet, A Lamberti, FC Pirri, JM Tulliani, LD Bozano, ...
Macromolecular Materials and Engineering 302 (10), 1700161, 2017
172017
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
162020
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
162019
Dynamic and probabilistic cp-nets
C Cornelio, J Goldsmith, N Mattei, F Rossi, KB Venable
Mémoire de DEA, University of Padova.(Cité en pages 103 et 127.) 37, 2012
152012
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
142021
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), 1-31, 2021
102021
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 (1), 159-191, 2019
92019
Voting with CP-nets using a probabilistic preference structure
C Cornelio, U Grandi, J Goldsmith, N Mattei, F Rossi, KB Venable
Proceedings of COMSOC, 2014
72014
Schemaless queries over document tables with dependencies
M Canim, C Cornelio, A Iyengar, R Musa, MR Muro
arXiv preprint arXiv:1911.09356, 2019
62019
A deep reinforcement learning based approach to learning transferable proof guidance strategies
M Crouse, IA Spencer Whitehead, B Makni, C Cornelio, P Kapanipathi, ...
52019
Logical conditional preference theories
C Cornelio, A Loreggia, V Saraswat
arXiv preprint arXiv:1504.06374, 2015
52015
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, 2022
42022
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
42020
Using Deceased-Donor Kidneys to Initiate Chains of Living Donor Kidney Paired Donations: Algorithm and Experimentation
C Cornelio, L Furian, A Nicolň, F Rossi
Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society, 477-483, 2019
42019
A knowledge and reasoning toolkit for cognitive applications
M Canim, C Cornelio, R Farrell, A Fokoue, K Gao, J Gunnels, A Iyengar, ...
Proceedings of the fifth ACM/IEEE Workshop on Hot Topics in Web Systems and …, 2017
22017
The system can't perform the operation now. Try again later.
Articles 1–20