Updates and Uncertainty in CP-Nets. - Cristina Cornelio; Judy Goldsmith; Nicholas Mattei; Francesca Rossi 001; Kristen Brent Venable (Australasian Conference on Artificial Intelligence, 2013)

Reasoning with PCP-nets in a Multi-Agent Context. - Cristina Cornelio; Umberto Grandi; Judy Goldsmith; Nicholas Mattei; Francesca Rossi 001; Kristen Brent Venable (AAMAS, 2015)

Models for Conditional Preferences as extensions of CP-nets. - Cristina Cornelio (IJCAI, 2015)

Logical Conditional Preference Theories. - Cristina Cornelio; Andrea Loreggia; Vijay A. Saraswat (CoRR, 2015)

Expressing Probabilistic Graphical Models in RCC. - Cristina Cornelio; Vijay A. Saraswat (AAAI Workshops, 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 (HotWeb, 2017)

Identifying the Discourse Function of News Article Paragraphs. - W. Victor H. Yarlott; Cristina Cornelio; Tian Gao; Mark A. Finlayson (EventStory@Coling, 2018)

Using Deceased-Donor Kidneys to Initiate Chains of Living Donor Kidney Paired Donations: Algorithm and Experimentation. - Cristina Cornelio; Lucrezia Furian; Antonio Nicolò; Francesca Rossi 001 (AIES, 2019)

Multi-agent soft constraint aggregation via sequential voting: theoretical and experimental results. - Cristina Cornelio; Maria Silvia Pini; Francesca Rossi 001; Kristen Brent Venable (Auton. Agents Multi Agent Syst., 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 001 (CoRR, 2019)

RuDaS: Synthetic Datasets for Rule Learning and Evaluation Tools. - Cristina Cornelio; Veronika Thost (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)

Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling. - Maxwell Crouse; Ibrahim Abdelaziz; Cristina Cornelio; Veronika Thost; Lingfei Wu 001; Kenneth D. Forbus; Achille Fokoue (CoRR, 2019)

Schemaless Queries over Document Tables with Dependencies. - Mustafa Canim; Cristina Cornelio; Arun Iyengar; Ryan Musa; Mariano Rodriguez-Muro (CoRR, 2019)

Voting with Random Classifiers (VORACE). - Cristina Cornelio; Michele Donini; Andrea Loreggia; Maria Silvia Pini; Francesca Rossi 001 (AAMAS, 2020)

Sequential Voting in Multi-agent Soft Constraint Aggregation. - Cristina Cornelio; Maria Silvia Pini; Francesca Rossi 001; Kristen Brent Venable (AAMAS, 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)

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 001; Cristina Cornelio; Saswati Dana; Achille Fokoue; Dinesh Garg; Alfio Gliozzo; et al. (CoRR, 2020)

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 (AAAI, 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 001; Cristina Cornelio; Saswati Dana; Achille Fokoue; Dinesh Garg; Alfio Gliozzo; et al. (ACL/IJCNLP (Findings), 2021)

Synthetic Datasets and Evaluation Tools for Inductive Neural Reasoning. - Cristina Cornelio; Veronika Thost (ILP, 2021)

Voting with random classifiers (VORACE): theoretical and experimental analysis. - Cristina Cornelio; Michele Donini; Andrea Loreggia; Maria Silvia Pini; Francesca Rossi 001 (Auton. Agents Multi Agent Syst., 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)

Reasoning with PCP-Nets. - Cristina Cornelio; Judy Goldsmith; Umberto Grandi; Nicholas Mattei; Francesca Rossi 001; Kristen Brent Venable (J. Artif. Intell. Res., 2021)

Bayesian Experimental Design for Symbolic Discovery. - Kenneth L. Clarkson; Cristina Cornelio; Sanjeeb Dash; Joao Goncalves; Lior Horesh; Nimrod Megiddo (CoRR, 2022)

Learning Where and When to Reason in Neuro-Symbolic Inference. - Cristina Cornelio; Jan Stühmer; Shell Xu Hu; Timothy M. Hospedales (NeSy, 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 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)

Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery. - Cristina Cornelio; Mohammed Diab (IROS, 2024)

Hierarchical Planning for Complex Tasks with Knowledge Graph-RAG and Symbolic Verification. - Cristina Cornelio; Flavio Petruzzellis; Pietro Lio (CoRR, 2025)

Error Detection and Correction for Interpretable Mathematics in Large Language Models. - Yijin Yang; Cristina Cornelio; Mario A. Leiva; Paulo Shakarian (CoRR, 2025)