# Publications & Projects

## Projects:

- DECK (DECeased Kidney) cross-over program:
- A new algorithm for using deceased-donor kidneys to initiate chains of living donor kidney paired donations
- Currently used nationally in Italy

- Open Source Project -
**RuDaS:****S**ynthetic**Da**tasets for**Ru**le Learning and Evaluation Tools

## Journal papers:

**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. Cornelio, L. Furian, F. Neri, A. Nicolò, F. Rossi, P. Rigotti, C. Silvestre., Transpl Int, 2017

## Conference papers:

**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:

**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, CoRRabs 2109.01634, 2021**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.

## Patents:

**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 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**, C. Cornelio, M. Canim, R. Musa, M. Rodriguez Muro, A. Iyengar, 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**, C. Cornelio, M. Canim, R. Musa, M. Rodriguez Muro, A. Iyengar, 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**, C. Cornelio, M. Canim, R. Musa, M. Rodriguez Muro, A. Iyengar, filed on: 18th Apr. 2019

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