| 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 | 116 | 2020 |
| 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 | 56 | 2013 |
| Combining data and theory for derivable scientific discovery with AI-Descartes LH Cornelio, Cristina, Sanjeeb Dash, Vernon Austel, Tyler R. Josephson, Joao ... Nature Communications 14 (1), 1777, 2023 | 40* | 2023 |
| 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 | 35 | 2019 |
| 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 | 34 | 2021 |
| 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 | 32 | 2021 |
| 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 | 32 | 2018 |
| 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 | 32 | 2015 |
| 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 | 30 | 2020 |
| Learning Where and When to Reason in Neuro-Symbolic Inference. C Cornelio, J Stuehmer, SX Hu, TM Hospedales NeSy, 411-412, 2023 | 23 | 2023 |
| 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 | 22 | 2019 |
| 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 | 15 | 2022 |
| Dynamic probabilistic CP-nets C Cornelio, J Goldsmith, N Mattei, F Rossi, KB Venable Proceedings of the 7th Multidisciplinary Workshop on Advances in Preference …, 2013 | 15 | 2013 |
| 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 | 10 | 2019 |
| 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 | 9 | 2021 |
| 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 | 9 | 2019 |
| 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 | 8 | 2014 |
| 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 | 7 | 2023 |
| 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 | 7 | 2021 |
| 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 | 6 | 2020 |
