Skip to the content.
Projects, Publications & Patents
Projects
- AI-Descartes - A tool for Automated Scientific Discovery
- NASR - Neural Attention for Symbolic Reasoning
- ICLR23 - Learning where and when to reason in neuro-symbolic inference
- More info on the NASR webpage
- DECK - DECeased Kidney exchange program
- A new algorithm for using deceased-donor kidneys to initiate chains of living donor kidney paired donations
- Currently used nationally in Italy
- More info on the DECK webpage
- RuDaS - Synthetic Datasets for Rule Learning and Evaluation Tools
Journal papers
- Combining data and theory for derivable scientific discovery with AI-Descartes, PDF, C. Cornelio, S. Dash, V. Austel, T. Josephson, J. Goncalves, K. Clarkson, N. Megiddo, B. El Khadir, L. Horesh, Nature Communications, 2023
- Voting with random classifiers (VORACE): theoretical and experimental analysis, C. Cornelio, M. Donini, A. Loreggia, M.S. Pini, F. Rossi, Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), 2021. đź“š
- Deceased-donor-initiated chains: first report of a successful deliberate case and its ethical implications, L. Furian, C. Cornelio, C. Silvestre, F. Rossi, P. Rigotti, E. Cozzi, F. Neri and A. Nicolò, Transplantation, 2019.
- Multi-agent soft constraint aggregation via sequential voting: theoretical and experimental results, C. Cornelio, M.S. Pini, F. Rossi, K. B. Venable, Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), 2019
- Potential gain of utilizing kidneys from deceased donors to initiate “Chain” Kidney Paired donations: quantification of benefit through a real-world retrospective analysis, C. Silvestre., A. Nicolò, C. Cornelio, L. Furian, F. Neri, F. Rossi, P. Rigotti, Transplant Int., 2017
Conference papers
- Learning where and when to reason in neuro-symbolic inference, C. Cornelio, J. Stuehmer, S.X. Hu, T. Hospedales, Proceedings of the 11th International Conference on Learning Representations (ICLR) - notable-top-5%, 2023
- Synthetic Datasets and Evaluation Tools for Inductive Neural Reasoning, C. Cornelio and V. Thost, Proceedings of the 30th International Conference of Inductive Logic Programming, ILP-21 (2021).
- A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving, M. Crouse, I. Abdelaziz, B. Makni, S. Whitehead, C. Cornelio, P. Kapanipathi, K. Srinivas, V. Thost, M. Witbrock, A. Fokoue, Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI-21.
- Using deceased-donor kidneys to initiate chains of living donor kidney paired donations: algorithm and experimentation, C. Cornelio, L. Furian, A. Nicolò and F. Rossi, Proceedings of the AAAI/ACM Conference on Artificial Intelligence, Ethics and Society (AIES), 2019.
- Reasoning with PCP-nets in a Multi-Agent Context, C. Cornelio, U. Grandi, J. Goldsmith, N. Mattei, F. Rossi and K.B. Venable, Proceedings of the International Conference on Autonomous Agents & Multiagent Systems 2015, AAMAS-15.
- Updates and Uncertainty in CP-net, C. Cornelio, U. Grandi, J. Goldsmith, N. Mattei, F. Rossi and K.B. Venable, Proceedings of the 26th Australasian Joint Conference on Artificial Intelligence, AUAI-13.
ArXiv papers
- AI-Descartes: Integration of Data and Theory for Accelerated Derivable Symbolic Discovery, C. Cornelio, S. Dash, V. Austel, T. Josephson, J. Goncalves, K. Clarkson, N. Megiddo, B. El Khadir, L. Horesh, arXiv:2109.01634, 2021
- Bayesian Experimental Design for Symbolic Discovery, K. L. Clarkson, C. Cornelio, S. Dash, J. Goncalves, L. Horesh, N. Megiddo, arXiv:2211.15860, 2022
- Symbolic Regression using Mixed-Integer Nonlinear Optimization, V. Austel, C. Cornelio, S. Dash, J. Goncalves, L. Horesh, T. Josephson, N. Megiddo, 2019, arXiv:2006.06813
- Schemaless Queries over Document Tables with Dependencies, M. Canim, C. Cornelio, A. Iyengar, R. Musa, M. Rodrigez Muro, 2019, arXiv:1911.09356
- 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, 2019, arXiv:1911.06904
- Logical conditional preference theories, C. Cornelio, A. Loreggia, V. Saraswat, 2015, arXiv:1504.06374.
Workshop papers
- Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling, M. Crouse, I. Abdelaziz, C. Cornelio, V. Thost, L. Wu, K. Forbus and A. Fokoue, The Second International Workshop on Deep Learning on Graphs: Methods and Applications 2020 (DLG-KDD’20).
- Identifying the Discourse Function of News Article Paragraphs, W.V.H. Yarlott, C. Cornelio, T.Gao, M.A. Finlayson, Proceedings of COLING workshop: EventStory 2018.
- A Knowledge and Reasoning Toolkit for Cognitive Applications, M. Canim, C. Cornelio, R. Farrell, A. Fokoue, K. Gao, J. Gunnels, A. Iyengar, R. Musa, M. Rodriguez-Muro, R. Uceda-Sosa, HotWeb 2017.
- Expressing Probabilistic Graphical Models in RCC, C. Cornelio and V. Saraswat, Symbolic Inference and Optimization workshop of AAAI-17.
- Logical conditional preference theories, C. Cornelio, A. Loreggia, and V. Saraswat, Proceedings of the MPREF workshop of the International Joint Conference on Artificial Intelligence 2015, IJCAI-15.
- Voting with CP-nets using a Probabilistic Preference Structure, C. Cornelio, U. Grandi, J. Goldsmith, N. Mattei, F. Rossi and K.B. Venable, 5th International Workshop on Computational Social Choice, ComSoC-14.
- Dynamic Probabilistic CP-nets, C. Cornelio, U. Grandi, J. Goldsmith, N. Mattei, F. Rossi and K.B. Venable, Proceedings of the 7th Multidisciplinary Workshop on Advances in Preference Handling, MPREF-13.
Published research extended abstracts
- Sequential voting in multi-agent soft constraint aggregation, C. Cornelio, M.S. Pini, F. Rossi, K. B. Venable, Proceedings of the International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS) 2020 - JAAMAS track.
- Voting with Random Classifiers (VORACE), C. Cornelio, M. Donini, A. Loreggia, M.S. Pini, F. Rossi, Proceedings of the International Conference on Autonomous Agents & Multiagent Systems 2020 (AAMAS-20).
- Models for Conditional Preferences as extensions of CP-nets, C. Cornelio, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (extended abstract), IJCAI-15.
- Dynamic and Probabilistic CP-nets, C. Cornelio, Proceedings of the Doctoral Program of International Conference on Principles and Practice of Constraint Programming 2013, CP-13.
Patents
- Neuro-Symbolic system for constraint-based error correction, C. Cornelio, J. Stuehmer, T. Hospedales, 2023
- Background Theory-Based Method for Refinement and Evaluation of Functional Models Extracted from Numerical Data, Lior Horesh, C. Cornelio, Bachir El Khadir, Sanjeeb Dash, Joao P. Goncalves, Kenneth Lee Clarkson, 2023
- Logical and Statistical Composite Models, L. Horesh, B. El Kadir, S. Dash, K. Clarkson, C. Cornelio, 2023
- Symbolic Model Discovery Rectification, L. Horesh, C. Cornelio, S. Dash, J.P. Goncalves, K. L. Clarkson, N. Megiddo, V. Austel, B. El Khadir, 2023
- Generative Reasoning for Symbolic Discovery, C. Cornelio, L. Horesh, V. Pestun, R. Yan, filed on: 10th Feb. 2020
- Symbolic Model Discovery based on a combination of Numerical Learning Methods and Reasoning, C Cornelio, L Horesh, A Fokoue-Nkoutche, Sanjeeb Dash, filed on: 21st Jul. 2020
- Problem manipulators for language-independent computerized reasoning. C. Cornelio, A. Fokoue, A. Pareja, I. Abdelaziz, M. Witbrock, filed on: 29th Apr. 2020
- Experimental Design for Symbolic Model Discovery. L. Horesh, K. Clarkson, C. Cornelio, S. Magliacane, filed on: 21st Apr. 2020
- Capturing the global structure logical formulae with graph long short-term memory, M. Crouse, I. Abdelaziz, C. Cornelio, V. Thost, L. Wu, B. Makni, K. Srinivas, A. Fokoue, filed on: 14th Nov. 2019
- Automatic transformation of complex tables in documents into computer understandable structured format and managing dependencies, M. Canim, C. Cornelio, A. Iyengar, R. Musa, M. Rodriguez Muro, filed on: 18th Apr. 2019
- Automatic transformation of complex tables in documents into computer understandable structured format with mapped dependencies and providing schema-less query support for searching table data, M. Canim, C. Cornelio, A. Iyengar, R. Musa, M. Rodriguez Muro, filed on: 18th Apr. 2019
- Method for automatic transformation of complex tables in documents (PDF, Word) into computer understandable structured format and providing schemaless query support data extraction, M. Canim, C. Cornelio, A. Iyengar, R. Musa, M. Rodriguez Muro, filed on: 18th Apr. 2019