Cristina Cornelio
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
10
Active years
2015–2025
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICML | Hierarchical Planning for Complex Tasks with Knowledge Graph-RAG and Symbolic Verification. | Flavio Petruzzellis, Cristina Cornelio, Pietro Lio |
| 2024 | IROS | Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery. | Cristina Cornelio, Mohammed Diab |
| 2023 | ICLR | Learning where and when to reason in neuro-symbolic inference. | Cristina Cornelio, Jan Stuehmer, Shell Xu Hu, Timothy M. Hospedales |
| 2023 | NeSy | Learning Where and When to Reason in Neuro-Symbolic Inference. | Cristina Cornelio, Jan Sthmer, Shell Xu Hu, Timothy M. Hospedales |
| 2021 | AAAI | 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 |
| 2021 | ACL | Leveraging Abstract Meaning Representation for Knowledge Base Question Answering. | Pavan Kapanipathi, Ibrahim Abdelaziz, Srinivas Ravishankar, Salim Roukos, Alexander G. Gray, Ramn 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 | ILP | Synthetic Datasets and Evaluation Tools for Inductive Neural Reasoning. | Cristina Cornelio, Veronika Thost |
| 2019 | AIES | Using Deceased-Donor Kidneys to Initiate Chains of Living Donor Kidney Paired Donations: Algorithm and Experimentation. | Cristina Cornelio, Lucrezia Furian, Antonio Nicol, Francesca Rossi |
| 2018 | COLING | Identifying the Discourse Function of News Article Paragraphs. | W. Victor H. Yarlott, Cristina Cornelio, Tian Gao, Mark A. Finlayson |
| 2017 | AAAI | Expressing Probabilistic Graphical Models in RCC. | Cristina Cornelio, Vijay A. Saraswat |
| 2015 | IJCAI | Models for Conditional Preferences as extensions of CP-nets. | Cristina Cornelio |