Cristina Cornelio

According to our database, Cristina Cornelio authored at least 28 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Learning to Guide a Saturation-Based Theorem Prover.

Ibrahim Abdelaziz, Maxwell Crouse, Bassem Makni, Vernon Austel, Cristina Cornelio, Shajith Ikbal, Pavan Kapanipathi, Ndivhuwo Makondo, Kavitha Srinivas, Michael Witbrock, Achille Fokoue

IEEE Trans. Pattern Anal. Mach. Intell., 2023

AI Hilbert: From Data and Background Knowledge to Automated Scientific Discovery.

Ryan Cory-Wright, Bachir El Khadir, Cristina Cornelio, Sanjeeb Dash, Lior Horesh

CoRR, 2023

Learning Where and When to Reason in Neuro-Symbolic Inference.

Cristina Cornelio, Jan Stühmer, Shell Xu Hu, Timothy M. Hospedales

Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, 2023

2022

Bayesian Experimental Design for Symbolic Discovery.

Kenneth L. Clarkson, Cristina Cornelio, Sanjeeb Dash, Joao Goncalves, Lior Horesh, Nimrod Megiddo

CoRR, 2022

2021

Reasoning with PCP-Nets.

Cristina Cornelio, Judy Goldsmith, Umberto Grandi, Nicholas Mattei, Francesca Rossi, Kristen Brent Venable

J. Artif. Intell. Res., 2021

Integration of Data and Theory for Accelerated Derivable Symbolic Discovery.

Cristina Cornelio, Sanjeeb Dash, Vernon Austel, Tyler R. Josephson, Joao Goncalves, Kenneth L. Clarkson, Nimrod Megiddo, Bachir El Khadir, Lior Horesh

CoRR, 2021

Voting with random classifiers (VORACE): theoretical and experimental analysis.

Cristina Cornelio, Michele Donini, Andrea Loreggia, Maria Silvia Pini, Francesca Rossi

Auton. Agents Multi Agent Syst., 2021

Synthetic Datasets and Evaluation Tools for Inductive Neural Reasoning.

Cristina Cornelio, Veronika Thost

Proceedings of the Inductive Logic Programming - 30th International Conference, 2021

Leveraging Abstract Meaning Representation for Knowledge Base Question Answering.

Pavan Kapanipathi, Ibrahim Abdelaziz, Srinivas Ravishankar, Salim Roukos, Alexander G. Gray, Ramón Fernandez Astudillo, Maria Chang, Cristina Cornelio, Saswati Dana, Achille Fokoue, Dinesh Garg, Alfio Gliozzo, Sairam Gurajada, Hima Karanam, Naweed Khan, Dinesh Khandelwal, Young-Suk Lee, Yunyao Li, Francois P. S. Luus, Ndivhuwo Makondo, Nandana Mihindukulasooriya, Tahira Naseem, Sumit Neelam, Lucian Popa, Revanth Gangi Reddy, Ryan Riegel, Gaetano Rossiello, Udit Sharma, G. P. Shrivatsa Bhargav, Mo Yu

Proceedings of the Findings of the Association for Computational Linguistics: ACL/IJCNLP 2021, 2021

A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving.

Maxwell Crouse, Ibrahim Abdelaziz, Bassem Makni, Spencer Whitehead, Cristina Cornelio, Pavan Kapanipathi, Kavitha Srinivas, Veronika Thost, Michael Witbrock, Achille Fokoue

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Question Answering over Knowledge Bases by Leveraging Semantic Parsing and Neuro-Symbolic Reasoning.

Pavan Kapanipathi, Ibrahim Abdelaziz, Srinivas Ravishankar, Salim Roukos, Alexander G. Gray, Ramón Fernandez Astudillo, Maria Chang, Cristina Cornelio, Saswati Dana, Achille Fokoue, Dinesh Garg, Alfio Gliozzo, Sairam Gurajada, Hima Karanam, Naweed Khan, Dinesh Khandelwal, Young-Suk Lee, Yunyao Li, Francois P. S. Luus, Ndivhuwo Makondo, Nandana Mihindukulasooriya, Tahira Naseem, Sumit Neelam, Lucian Popa, Revanth Gangi Reddy, Ryan Riegel, Gaetano Rossiello, Udit Sharma, G. P. Shrivatsa Bhargav, Mo Yu

CoRR, 2020

Symbolic Regression using Mixed-Integer Nonlinear Optimization.

Vernon Austel, Cristina Cornelio, Sanjeeb Dash, Joao Goncalves, Lior Horesh, Tyler R. Josephson, Nimrod Megiddo

CoRR, 2020

Sequential Voting in Multi-agent Soft Constraint Aggregation.

Cristina Cornelio, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

Voting with Random Classifiers (VORACE).

Cristina Cornelio, Michele Donini, Andrea Loreggia, Maria Silvia Pini, Francesca Rossi

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

Schemaless Queries over Document Tables with Dependencies.

Mustafa Canim, Cristina Cornelio, Arun Iyengar, Ryan Musa, Mariano Rodriguez-Muro

CoRR, 2019

Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling.

Maxwell Crouse, Ibrahim Abdelaziz, Cristina Cornelio, Veronika Thost, Lingfei Wu, Kenneth D. Forbus, Achille Fokoue

CoRR, 2019

A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies.

Maxwell Crouse, Spencer Whitehead, Ibrahim Abdelaziz, Bassem Makni, Cristina Cornelio, Pavan Kapanipathi, Edwin Pell, Kavitha Srinivas, Veronika Thost, Michael Witbrock, Achille Fokoue

CoRR, 2019

RuDaS: Synthetic Datasets for Rule Learning and Evaluation Tools.

Cristina Cornelio, Veronika Thost

CoRR, 2019

Using deceased-donor kidneys to initiate chains of living donor kidney paired donations: algorithms and experimentation.

Cristina Cornelio, Lucrezia Furian, Antonio Nicolò, Francesca Rossi

CoRR, 2019

Multi-agent soft constraint aggregation via sequential voting: theoretical and experimental results.

Cristina Cornelio, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable

Auton. Agents Multi Agent Syst., 2019

Using Deceased-Donor Kidneys to Initiate Chains of Living Donor Kidney Paired Donations: Algorithm and Experimentation.

Cristina Cornelio, Lucrezia Furian, Antonio Nicolò, Francesca Rossi

Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society, 2019

2018

Identifying the Discourse Function of News Article Paragraphs.

W. Victor H. Yarlott, Cristina Cornelio, Tian Gao, Mark A. Finlayson

Proceedings of the Workshop Events and Stories in the News, 2018

2017

A knowledge and reasoning toolkit for cognitive applications.

Mustafa Canim, Cristina Cornelio, Robert Farrell, Achille Fokoue, Kyle Yingkai Gao, John A. Gunnels, Arun Iyengar, Ryan Musa, Mariano Rodriguez-Muro, Rosario Uceda-Sosa

Proceedings of the fifth ACM/IEEE Workshop on Hot Topics in Web Systems and Technologies, 2017

Expressing Probabilistic Graphical Models in RCC.

Cristina Cornelio, Vijay A. Saraswat

Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

2015

Logical Conditional Preference Theories.

Cristina Cornelio, Andrea Loreggia, Vijay A. Saraswat

CoRR, 2015

Models for Conditional Preferences as extensions of CP-nets.

Cristina Cornelio

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Reasoning with PCP-nets in a Multi-Agent Context.

Cristina Cornelio, Umberto Grandi, Judy Goldsmith, Nicholas Mattei, Francesca Rossi, Kristen Brent Venable

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2013

Updates and Uncertainty in CP-Nets.

Cristina Cornelio, Judy Goldsmith, Nicholas Mattei, Francesca Rossi, Kristen Brent Venable

Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013