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