Cornelio, Cristina

6 publications

ICML 2025 Hierarchical Planning for Complex Tasks with Knowledge Graph-RAG and Symbolic Verification Flavio Petruzzellis, Cristina Cornelio, Pietro Lio

ICLR 2023 Learning Where and When to Reason in Neuro-Symbolic Inference Cristina Cornelio, Jan Stuehmer, Shell Xu Hu, Timothy Hospedales

AAAI 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

NeurIPSW 2021 Proof Extraction for Logical Neural Networks Thabang Lebese, Ndivhuwo Makondo, Cristina Cornelio, Naweed Khan

JAIR 2021 Reasoning with PCP-Nets Cristina Cornelio, Judy Goldsmith, Umberto Grandi, Nicholas Mattei, Francesca Rossi, K. Brent Venable

IJCAI 2015 Models for Conditional Preferences as Extensions of CP-Nets Cristina Cornelio