E-LIB Suche - Ergebnisse für: Cornelio, Cristina

1

Evolving scientific discovery by unifying data and backgrou..:

Cory-Wright, Ryan ; Cornelio, Cristina ; Dash, Sanjeeb..
Nature Communications. 15 (2024) 1 - p. , 2024

2

Learning to Guide a Saturation-Based Theorem Prover:

Abdelaziz, Ibrahim ; Crouse, Maxwell ; Makni, Bassem...
IEEE Transactions on Pattern Analysis and Machine Intelligence. 45 (2023) 1 - p. 738-751 , 2023

Link: https://doi.org/10.1109/..

3

Combining data and theory for derivable scientific discover..:

Cornelio, Cristina ; Dash, Sanjeeb ; Austel, Vernon...
Nature Communications. 14 (2023) 1 - p. , 2023

Link: https://doi.org/10.1038/..

4

Synthetic Datasets and Evaluation Tools for Inductive Neura..:

, In: Inductive Logic Programming; Lecture Notes in Computer Science,

Cornelio, Cristina ; Thost, Veronika - p. 57-77 , 2022

Link: https://doi.org/10.1007/..

5

Voting with random classifiers (VORACE): theoretical and ex..:

Cornelio, Cristina ; Donini, Michele ; Loreggia, Andrea..
Autonomous Agents and Multi-Agent Systems. 35 (2021) 2 - p. , 2021

Link: https://doi.org/10.1007/..

6

Voting with Random Classifiers (VORACE):

, In: Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems,

Cornelio, Cristina ; Donini, Michele ; Loreggia, Andrea.. - p. 1822-1824 , 2020

Link: https://dl.acm.org/doi/1..

7

Sequential Voting in Multi-agent Soft Constraint Aggregatio:

, In: Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems,

Cornelio, Cristina ; Pini, Maria Silvia ; Rossi, Francesca. - p. 2131-2133 , 2020

Link: https://dl.acm.org/doi/1..

8

Multi-agent soft constraint aggregation via sequential voti..:

Cornelio, Cristina ; Pini, Maria Silvia ; Rossi, Francesca.
Autonomous Agents and Multi-Agent Systems. 33 (2019) 1-2 - p. 159-191 , 2019

Link: https://doi.org/10.1007/..

9

Using Deceased-Donor Kidneys to Initiate Chains of Living D..:

, In: Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society,

Cornelio, Cristina ; Furian, Lucrezia ; Nicolò, Antonio. - p. 477-483 , 2019

Link: https://dl.acm.org/doi/1..

10

A knowledge and reasoning toolkit for cognitive application:

, In: Proceedings of the fifth ACM/IEEE Workshop on Hot Topics in Web Systems and Technologies,

Canim, Mustafa ; Cornelio, Cristina ; Farrell, Robert... - p. 1-10 , 2017

Link: https://dl.acm.org/doi/1..

11

Reasoning with PCP-nets in a Multi-Agent Context:

, In: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems,

Cornelio, Cristina ; Grandi, Umberto ; Goldsmith, Judy... - p. 969-977 , 2015

Link: https://dl.acm.org/doi/1..

12

AI Hilbert: A New Paradigm for Scientific Discovery by Unif..:

Cory-Wright, Ryan ; Khadir, Bachir El ; Cornelio, Cristina..
http://arxiv.org/abs/2308.09474. , 2023

Link: http://arxiv.org/abs/230..

13

Bayesian Experimental Design for Symbolic Discovery:

Clarkson, Kenneth L ; Cornelio, Cristina ; Dash, Sanjeeb...
http://arxiv.org/abs/2211.15860. , 2022

Link: http://arxiv.org/abs/221..

14

Learning to Guide a Saturation-Based Theorem Prover:

Abdelaziz, Ibrahim ; Crouse, Maxwell ; Makni, Bassem...
http://arxiv.org/abs/2106.03906. , 2021

Link: http://arxiv.org/abs/210..

15

Voting with random classifiers (VORACE) : theoretical and e..:

CORNELIO, Cristina ; DONINI, Michele ; LOREGGIA, Andrea..
info:eu-repo/grantAgreement/EC/H2020/833647/EU. , 2021

Link: https://hdl.handle.net/1..