Cristina Cornelio

38 papers A* 4A 5B 1C 2Journal 21Unranked 5

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