# Projects, Publications & Patents

## Selected projects

**AI-Hilbert**- A novel paradigm for scientific discovery that exploits the combination of logical reasoning and polynomial optimization.- Published in Nature Communications
- More info on AI-Hilbert website

**RECOVER**- A neuro-symbolic framework for failure detection and recovery in robotics- IROS 2024 -
*International Conference on Intelligent Robots and Systems* - More info on RECOVER website

- IROS 2024 -
**AI-Descartes**- A tool for automated scientific discovery that combines logical reasoning and symbolic regression.- Published in Nature Communications
- More info on AI-Descarted website

**NASR**-**N**eural**A**ttention for**S**ymbolic**R**easoning- ICLR23 -
*Learning where and when to reason in neuro-symbolic inference* - More info on NASR webpage

- ICLR23 -
**DECK**-**DEC**eased**K**idney 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 DECK webpage

**RuDaS**-**S**ynthetic**Da**tasets for**Ru**le Learning and Evaluation Tools- More info on RuDaS webpage

## Publications

### Journal papers

**Evolving Scientific Discovery by Unifying Data and Background Knowledge with AI Hilbert**, Ryan Cory-Wright, Cristina Cornelio, Sanjeeb Dash, Bachir El Khadir, Lior Horesh, Nature Communications, 2024.**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.**Learning to Guide a Saturation-Based Theorem Prover**, I. Abdelaziz, M. Crouse; B. Makni; V. Austel; C. Cornelio; S. Ikbal; P. Kapanipathi, N. Makondo, K. Srinivas, M. Witbrock, A. Fokoue, IEEE Transactions on Pattern Analysis and Machine Intelligence, 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.

### Conference papers

**RECOVER: A neuro-symbolic framework for failure detection and recovery**, Cornelio, M. Diab, Proceedings of IROS 2024: IEEE/RSJ International Conference on Intelligent Robots and Systems -*oral pitch*, 2024.**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.**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).**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.**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.**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.**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.

### Workshop and ArXiv papers

**Learning where and when to reason in neuro-symbolic inference**, C. Cornelio, J. Stuehmer, S.X. Hu, T. Hospedales, NeSy 2023: 17th International Workshop on Neural-Symbolic Learning and Reasoning (Recently-published papers track), 2023.**Bayesian Experimental Design for Symbolic Discovery**, K. L. Clarkson, C. Cornelio, S. Dash, J. Goncalves, L. Horesh, N. Megiddo, arXiv:2211.15860, 2022**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 and A. Fokoue, The Second International Workshop on Deep Learning on Graphs: Methods and Applications 2020 (DLG-KDDâ€™20).**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**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**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.

## 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