Publications

12 results for Cristina Cornelio

Evolving scientific discovery by unifying data and background knowledge with AI Hilbert
- - Ryan Cory-Wright
  - Cristina Cornelio
  - et al.
- 2024
- Nature Communications
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
Voting with Random Classifiers (VORACE)
- - Cristina Cornelio
  - Michele Donini
  - et al.
- 2020
- AAMAS 2020
Sequential voting in multi-agent soft constraint aggregation
- - Cristina Cornelio
  - Maria Silvia Pini
  - 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