Evolving scientific discovery by unifying data and background knowledge with AI Hilbert
- Ryan Cory-Wright
- Cristina Cornelio
- et al.
- 2024
- Nature Communications
Paper
Publications
12 results for Cristina Cornelio
Voting with Random Classifiers (VORACE): Theoretical and Experimental Analysis
- Cristina Cornelio
- Michele Donini
- et al.
- 2022
- AAMAS 2022
Conference paperLearning to Guide a Saturation-Based Theorem Prover
- Ibrahim Abdelaziz
- Maxwell Crouse
- et al.
- 2021
- IEEE TPAMI
PaperReasoning with PCP-Nets
- Cristina Cornelio
- Judy Goldsmith
- et al.
- 2021
- JAIR
PaperVoting with random classifiers (VORACE): theoretical and experimental analysis
- Cristina Cornelio
- Michele Donini
- et al.
- 2021
- JAAMAS
PaperSequential voting in multi-agent soft constraint aggregation
- Cristina Cornelio
- Maria Silvia Pini
- et al.
- 2020
- AAMAS 2020
Conference paperVoting with Random Classifiers (VORACE)
- Cristina Cornelio
- Michele Donini
- et al.
- 2020
- AAMAS 2020
Conference paperDeceased Donor-initiated Chains: First Report of a Successful Deliberate Case and Its Ethical Implications
- Lucrezia Furian
- Cristina Cornelio
- et al.
- 2019
- Transplantation
PaperUsing deceased-donor kidneys to initiate chains of living donor kidney paired donations: Algorithms and experimentation.
- Cristina Cornelio
- Antonio Nicolò
- et al.
- 2019
- AIES 2019
Conference paperMulti-agent soft constraint aggregation via sequential voting: theoretical and experimental results
- Cristina Cornelio
- Maria Silvia Pini
- et al.
- 2019
- JAAMAS
Paper