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
• 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 - Neural Attention for Symbolic Reasoning
  • ICLR23 - Learning where and when to reason in neuro-symbolic inference
  • More info on 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 DECK webpage
• RuDaS - Synthetic Datasets for Rule 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