Cristina Cornelio

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 29

Top Topics

Theoretical And Experimental Analysis

Synthetic Datasets

Top Venues

Auton. Agents Multi Agent Syst.

Publications

Cristina Cornelio, Mohammed Diab
Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery. CoRR (2024)
Cristina Cornelio, Jan Stuehmer, Shell Xu Hu, Timothy M. Hospedales
Learning where and when to reason in neuro-symbolic inference. ICLR (2023)
Ibrahim Abdelaziz, Maxwell Crouse, Bassem Makni, Vernon Austel, Cristina Cornelio, Shajith Ikbal, Pavan Kapanipathi, Ndivhuwo Makondo, Kavitha Srinivas, Michael Witbrock, Achille Fokoue
Learning to Guide a Saturation-Based Theorem Prover. IEEE Trans. Pattern Anal. Mach. Intell. 45 (1) (2023)
Ryan Cory-Wright, Bachir El Khadir, Cristina Cornelio, Sanjeeb Dash, Lior Horesh
AI Hilbert: From Data and Background Knowledge to Automated Scientific Discovery. CoRR (2023)
Cristina Cornelio, Jan Stühmer, Shell Xu Hu, Timothy M. Hospedales
Learning Where and When to Reason in Neuro-Symbolic Inference. NeSy (2023)
Kenneth L. Clarkson, Cristina Cornelio, Sanjeeb Dash, Joao Goncalves, Lior Horesh, Nimrod Megiddo
Bayesian Experimental Design for Symbolic Discovery. CoRR (2022)
Cristina Cornelio, Michele Donini, Andrea Loreggia, Maria Silvia Pini, Francesca Rossi
Voting with Random Classifiers (VORACE): Theoretical and Experimental Analysis. AAMAS (2022)
Cristina Cornelio, Judy Goldsmith, Umberto Grandi, Nicholas Mattei, Francesca Rossi, Kristen Brent Venable
Reasoning with PCP-Nets. J. Artif. Intell. Res. 72 (2021)
Cristina Cornelio, Sanjeeb Dash, Vernon Austel, Tyler R. Josephson, Joao Goncalves, Kenneth L. Clarkson, Nimrod Megiddo, Bachir El Khadir, Lior Horesh
Integration of Data and Theory for Accelerated Derivable Symbolic Discovery. CoRR (2021)
Ibrahim Abdelaziz, Maxwell Crouse, Bassem Makni, Vernon Austil, Cristina Cornelio, Shajith Ikbal, Pavan Kapanipathi, Ndivhuwo Makondo, Kavitha Srinivas, Michael Witbrock, Achille Fokoue
Learning to Guide a Saturation-Based Theorem Prover. CoRR (2021)
Cristina Cornelio, Veronika Thost
Synthetic Datasets and Evaluation Tools for Inductive Neural Reasoning. ILP (2021)
Maxwell Crouse, Ibrahim Abdelaziz, Bassem Makni, Spencer Whitehead, Cristina Cornelio, Pavan Kapanipathi, Kavitha Srinivas, Veronika Thost, Michael Witbrock, Achille Fokoue
A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving. AAAI (2021)
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
Leveraging Abstract Meaning Representation for Knowledge Base Question Answering. ACL/IJCNLP (Findings) (2021)
Cristina Cornelio, Michele Donini, Andrea Loreggia, Maria Silvia Pini, Francesca Rossi
Voting with random classifiers (VORACE): theoretical and experimental analysis. Auton. Agents Multi Agent Syst. 35 (2) (2021)
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
Question Answering over Knowledge Bases by Leveraging Semantic Parsing and Neuro-Symbolic Reasoning. CoRR (2020)
Vernon Austel, Cristina Cornelio, Sanjeeb Dash, Joao Goncalves, Lior Horesh, Tyler R. Josephson, Nimrod Megiddo
Symbolic Regression using Mixed-Integer Nonlinear Optimization. CoRR (2020)
Cristina Cornelio, Michele Donini, Andrea Loreggia, Maria Silvia Pini, Francesca Rossi
Voting with Random Classifiers (VORACE). AAMAS (2020)
Cristina Cornelio, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable
Sequential Voting in Multi-agent Soft Constraint Aggregation. AAMAS (2020)
Cristina Cornelio, Veronika Thost
RuDaS: Synthetic Datasets for Rule Learning and Evaluation Tools. CoRR (2019)
Cristina Cornelio, Lucrezia Furian, Antonio Nicolò, Francesca Rossi
Using deceased-donor kidneys to initiate chains of living donor kidney paired donations: algorithms and experimentation. CoRR (2019)
Cristina Cornelio, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable
Multi-agent soft constraint aggregation via sequential voting: theoretical and experimental results. Auton. Agents Multi Agent Syst. 33 (1-2) (2019)
Cristina Cornelio, Michele Donini, Andrea Loreggia, Maria Silvia Pini, Francesca Rossi
Voting with Random Classifiers (VORACE). CoRR (2019)
Cristina Cornelio, Lucrezia Furian, Antonio Nicolò, Francesca Rossi
Using Deceased-Donor Kidneys to Initiate Chains of Living Donor Kidney Paired Donations: Algorithm and Experimentation. AIES (2019)
Mustafa Canim, Cristina Cornelio, Arun Iyengar, Ryan Musa, Mariano Rodriguez-Muro
Schemaless Queries over Document Tables with Dependencies. CoRR (2019)
Maxwell Crouse, Spencer Whitehead, Ibrahim Abdelaziz, Bassem Makni, Cristina Cornelio, Pavan Kapanipathi, Edwin Pell, Kavitha Srinivas, Veronika Thost, Michael Witbrock, Achille Fokoue
A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies. CoRR (2019)
Maxwell Crouse, Ibrahim Abdelaziz, Cristina Cornelio, Veronika Thost, Lingfei Wu, Kenneth D. Forbus, Achille Fokoue
Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling. CoRR (2019)
W. Victor H. Yarlott, Cristina Cornelio, Tian Gao, Mark A. Finlayson
Identifying the Discourse Function of News Article Paragraphs. EventStory@Coling (2018)
Mustafa Canim, Cristina Cornelio, Robert Farrell, Achille Fokoue, Kyle Yingkai Gao, John A. Gunnels, Arun Iyengar, Ryan Musa, Mariano Rodriguez-Muro, Rosario Uceda-Sosa
A knowledge and reasoning toolkit for cognitive applications. HotWeb (2017)
Cristina Cornelio, Vijay A. Saraswat
Expressing Probabilistic Graphical Models in RCC. AAAI Workshops (2017)
Cristina Cornelio, Umberto Grandi, Judy Goldsmith, Nicholas Mattei, Francesca Rossi, Kristen Brent Venable
Reasoning with PCP-nets in a Multi-Agent Context. AAMAS (2015)
Cristina Cornelio, Andrea Loreggia, Vijay A. Saraswat
Logical Conditional Preference Theories. CoRR (2015)
Cristina Cornelio
Models for Conditional Preferences as extensions of CP-nets. IJCAI (2015)
Cristina Cornelio, Judy Goldsmith, Nicholas Mattei, Francesca Rossi, Kristen Brent Venable
Updates and Uncertainty in CP-Nets. Australasian Conference on Artificial Intelligence (2013)