Cristina Cornelio

Orcid: 0000-0001-5284-6487

According to our database1, Cristina Cornelio authored at least 29 papers between 2013 and 2024.

Collaborative distances:



In proceedings 
PhD thesis 




Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery.
CoRR, 2024

Learning to Guide a Saturation-Based Theorem Prover.
IEEE Trans. Pattern Anal. Mach. Intell., 2023

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

Learning Where and When to Reason in Neuro-Symbolic Inference.
Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, 2023

Bayesian Experimental Design for Symbolic Discovery.
CoRR, 2022

Reasoning with PCP-Nets.
J. Artif. Intell. Res., 2021

Integration of Data and Theory for Accelerated Derivable Symbolic Discovery.
CoRR, 2021

Voting with random classifiers (VORACE): theoretical and experimental analysis.
Auton. Agents Multi Agent Syst., 2021

Synthetic Datasets and Evaluation Tools for Inductive Neural Reasoning.
Proceedings of the Inductive Logic Programming - 30th International Conference, 2021

A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

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

Symbolic Regression using Mixed-Integer Nonlinear Optimization.
CoRR, 2020

Sequential Voting in Multi-agent Soft Constraint Aggregation.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

Voting with Random Classifiers (VORACE).
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

Schemaless Queries over Document Tables with Dependencies.
CoRR, 2019

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

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

RuDaS: Synthetic Datasets for Rule Learning and Evaluation Tools.
CoRR, 2019

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

Multi-agent soft constraint aggregation via sequential voting: theoretical and experimental results.
Auton. Agents Multi Agent Syst., 2019

Using Deceased-Donor Kidneys to Initiate Chains of Living Donor Kidney Paired Donations: Algorithm and Experimentation.
Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society, 2019

Identifying the Discourse Function of News Article Paragraphs.
Proceedings of the Workshop Events and Stories in the News, 2018

A knowledge and reasoning toolkit for cognitive applications.
Proceedings of the fifth ACM/IEEE Workshop on Hot Topics in Web Systems and Technologies, 2017

Expressing Probabilistic Graphical Models in RCC.
Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

Logical Conditional Preference Theories.
CoRR, 2015

Models for Conditional Preferences as extensions of CP-nets.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Reasoning with PCP-nets in a Multi-Agent Context.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Updates and Uncertainty in CP-Nets.
Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013