Federico Cerutti Ing., Dott. Magistrale, Ph.D - Unibs
←
→
Trascrizione del contenuto della pagina
Se il tuo browser non visualizza correttamente la pagina, ti preghiamo di leggere il contenuto della pagina quaggiù
Dipartimento di Ingegneria dell’Informazione
Università degli Studi di Brescia
via Branze, 38
Federico Cerutti 25123 Brescia
Italy
T +39 030 3715 453
Ing., Dott. Magistrale, Ph.D. B federico.cerutti@unibs.it
L’Ing. Dott. Federico Cerutti Ph.D. attualmente è ricercatore Rita Levi-Montalcini
presso l’Università degli Studi di Brescia. Il programma Rita Levi-Montalcini, detto
anche rientro dei cervelli, permette a giovani ricercatori di continuare la loro ricerca
completamente finanziati dal Ministero dell’Università e della Ricerca sul territorio
Italiano. Il programma è altamente competitivo, con soltanto 24 posizioni disponibili
per anno per tutto lo scibile universitario, con una percentuale di successo che si
attesta intorno all’8%. Prima di vincere la borsa ministeriale, è stato il primo
Direttore della Data Science Academy della Cardiff University, una delle dieci più
importanti università britanniche. La sua rete di collaborazioni si estende sino
all’UCLA (Los Angeles, USA), passando da laboratori di ricerca importanti come
l’IBM T. J. Watson Research Center, e università come University College London,
King’s College London, Imperial College London, e University of Southampton. Per
quasi sette anni la sua ricerca è stata finanziata—tra gli altri—dal Laboratorio di
Ricerche Militari dell’Esercito Americano e dal Ministero della Difesa Britannico.
Federico Cerutti ha conseguito la Laurea Specialistica in Ingegneria Informatica (cum
laude, 2008), e il titolo di Dottore di Ricerca in Ingegneria Informatica ed Automatica
(2012) presso l’Università degli Studi di Brescia. Dopo un periodo come ricercatore
presso la University of Aberdeen, nel 2015 è diventato docente universitario (lecturer)
presso la Cardiff University, promosso poi al ruolo anziano (senior lecturer) nel 2018.
Il Ministero dell’Università e della Ricerca Italiano gli ha riconosciuto l’abilitazione
sia a Professore Associato che a Professore Ordinario, rispettivamente nel 2018 e nel
2019.
È un ricercatore attivo nell’ambito dell’intelligenza artificiale in particolare per quanto
riguarda il supporto a decisioni che devono essere prese a partire da dati incerti e
potenzialmente ingannevoli. La sua esperienza è riconosciuta a livello internazionale,
come testimoniano i tutorial che ha tenuto durante le edizioni del 2015, 2017, e
2019 della International Joint Conference on Artificial Intelligence, una delle due
conferenze mondiali più importanti per l’Intelligenza Artificiale..
Ha scritto più di 70 articoli accetati per pubblicazione a seguito di riesame tra pari,
e ha curato l’edizione di due libri..
Educazione
{ Dottorato di Ricerca in Ingegneria Informatica ed Automatica, Marzo 2012, Uni-
versità degli Studi di Brescia, Italia
{ Laurea specialistica in Ingegneria Informatica, Novembre 2008, 110/110 cum Laude,
Università degli Studi di Brescia, Italia
{ Laurea di primo livello in Ingegneria dell’Informazione, Settembre 2006, 109/110,
Università degli Studi di Brescia, ItaliaEsperienze Lavorative Università degli Studi di Brescia, Ricercatore RTD-B Rita Levi-Montalcini, Ottobre 2019-Oggi Il programma Rita Levi-Montalcini, detto anche rientro dei cervelli permette gio- vani ricercatori di continuare la loro ricerca completamente finanziati dal Ministero dell’Università e della Ricerca sul territorio Italiano (percentuale di successo intorno all’8%). Il progetto di ricerca riguarda l’apprendimento automatico e il ragionamento in presenza di incertezza Cardiff University (Regno Unito), Honorary Senior Lecturer, November 2019– Oggi Riconoscimento per significative collaborazioni regolari e continuative con la Cardiff University Cardiff University (Regno Unito), Direttore della Data Science Academy, Set- tembre 2018-Settembre 2019 Promozione di master in Intelligenza Artificiale e Data Science orientati all’industria, e sviluppo di nuovi corsi in collaborazione con altre scuole dell’università Cardiff University (Regno Unito), Senior Lecturer, Agosto 2018-Settembre 2019 Coordinatore del Master in Intelligenza Artificiale; condurre ricerca; supervisione di lauree di primo e secondo livello; sovvenzionare la propria ricerca tramite l’acquisizione di grant; membro attivo della priority area in Knowledge Representation and Reason- ing. King’s College London (Regno Unito), External PhD Examiner, Gennaio 2019 Esaminatore per una tesi di dottorato presso il King’s College London (Regno Unito). Cardiff University (Regno Unito), Lecturer Grade 7, Ottobre 2015-Luglio 2018 Condurre ricerca; supervisione di lauree di primo e secondo livello; sovvenzionare la propria ricerca tramite l’acquisizione di grant; membro attivo della priority area in Knowledge Representation and Reasoning King’s College London (Regno Unito), External PhD Examiner, Dicembre 2016 Esaminatore per una tesi di dottorato presso il King’s College London (Regno Unito). University of Aberdeen (Regno Unito), Research Fellow Grade 7, Agosto 2014- Settembre 2015 Promozione per merito approvata dallo Staff Promotion Committee. Stessi compiti come sotto. University of Aberdeen (Regno Unito), Research Fellow Grade 6, Dicembre 2012-Luglio 2014 Ricercatore presso l’International Technology Alliance (ITA), finanziato dal Labo- ratorio di Ricerche Militari dell’Esercito Statunitense e dal Ministero della Difesa Britannico. Università degli Studi di Brescia (Italia), Ricercatore, Dicembre 2011-Novembre 2012 Ricercatore in un progetto sulla teoria dell’argomentazione e su sistemi di pianifi- cazione automatica
Università degli Studi di Brescia (Italia), Assistente alla didattica, Settembre
2011-Novembre 2012
Assistente alla didattica per il corso di Fondamenti di Informatica A.
Consulente, Brescia, Italia, Marzo 2006-Luglio 2010
Designer and sviluppatore di quattro siti web commerciali, due software per gestione
del back-office; consulente per mettere in sicurezza una rete wifi per 200 utenti;
consulente per un progetto di re-ingegnerizzazione di processi produttivi
Progetti finanziati
{ Progetto Rita Levi-Montalcini, “Scientific enquiry with quantitative and qualitative
uncertainty: an argumentation-based approach,” PI, 2019, e196,873.66. Ministero
dell’Università e della Ricerca.
{ DAIS-ITA Project 5, “Learning and Reasoning in Complex Coalition Information
Environments,” PI, 2017, £643,172. Laboratorio di Ricerche Militari dell’Esercito
Americano e Ministero della Difesa Britannico.
{ EPSRC DE Crucible, “Supporting the analysis of international criminal trials with
artificial intelligence and data mining techniques,” 2017, Co-I, £4,983, EPSRC, UK
{ EPSRC Global Challenges Research Fund (GCRF) “Informing better migration
and refugee policy-making in the presence of rumours and unsubstantiated claims”
PI, in collaborazione con Ozyegin University, Istanbul, Turkey, 2016 £17,091.00 (
80% fEC), EPSRC, UK
{ Santander Mobility Award per un periodo di studio con il Prof. Guillermo R.
Simari all’Artificial Intelligence Research and Development Laboratory, Universitad
Nacional der Sur, Bahia Blanca, Argentina. 2015. £1,000.00, Santander, UK
{ Contributore per “Inference Management for Coalition Information Sharing” (con
Dr. Oren) porzione del Project 6 dell’International Technology Alliance Final
Program Plan 2015. $131,731.00, Laboratorio di Ricerche Militari dell’Esercito
Americano e Ministero della Difesa Britannico.
{ Contributore per “Making Sense of Incomplete, Uncertain and Dynamic Data In
Support of Decision Making” (con Dr. Pan) porzione del Project 6 dell’International
Technology Alliance Final Program Plan 2015. $115,417.00. Laboratorio di Ricerche
Militari dell’Esercito Americano e Ministero della Difesa Britannico.
{ U. Aberdeen, Principal Excellence Fund per partecipare a KR2014, 2014. £350.00.
U. Aberdeen.
{ IJCAI (International Joint Conferences on Artificial Intelligence) Travel Grant
2013. e500.00. IJCAI.
{ Contributore per la proposta “Information Fusion and Inference Management under
Uncertainties” (con Dr. Oren) porzione del Project 6 dell’International Technology
Alliance 2013 Biannual Program Plan, $268,274.00. Laboratorio di Ricerche Militari
dell’Esercito Americano e Ministero della Difesa Britannico.
{ COST ACTION IC0801 - AT; WG4, Argumentation & Negotiation (EU research
network): grant per partecipare al London Argumentation Forum 2012. e335.00.
European Cooperation in Science and Technology.
{ IJCAI Travel Grant 2011. e400.00, IJCAI
{ COST ACTION IC0801 - AT; WG4, Argumentation & Negotiation (EU research
network): grant per partecipare al London Argumentation Forums 2011. e200.00.
European Cooperation in Science and Technology.{ COST ACTION IC0801 - AT; WG4, Argumentation & Negotiation: supporto
finanziaro per una visita alla University of Liverpool 2011. e1984.00
{ GULP (Gruppo Ricercatori e Utenti Logic Programming) per partecipare alla
DALT School 2011. e375.00, GULP.
{ ECCAI (European Coordinating Committee for Artificial Intelligence) travel grant
per partecipare alla ACAI ’09 Summer School. e400.00. ECCAI.
Riconoscimenti
{ Abilitazione Scientifica al ruolo di Professore di I fascia, Ministero dell’Istruzione,
dell’Università, e della Ricerca, 2019.
{ Abilitazione Scientifica al ruolo di Professore di II fascia, Ministero dell’Istruzione,
dell’Università, e della Ricerca, 2018.
{ Leader del team di sviluppo vincitore della Preferred Semantics Track presso
l’International Competition of Computational Models of Argumentation 2017
{ Leader del team di sviluppo del sistema arrivato secondo nella Semi-Stable Se-
mantics Track presso l’International Competition of Computational Models of
Argumentation 2017
{ Leader del team di sviluppo del sistema arrivato secondo all’ International Compe-
tition of Computational Models of Argumentation 2015
{ Il Program Committee di COIN@IJCAI2015 lo ha invitato a sottomettere una
versione estesa dell’articolo [49] che è stata poi pubblicata in Lecture Notes in
Artificial Intelligence (Springer) [42]
{ Il Program Committee del Second International Workshop on Theory and Ap-
plication of Formal Argumentation (TAFA-13) lo ha invitato a sottomettere una
versione estesa dell’articolo [71] che è stata pubblicata in Lecture Notes in Artificial
Intelligence (Springer) [68]
{ Il Program Committee del First International Workshop on Theory and Appli-
cation of Formal Argumentation (TAFA-11) lo ha invitato a sottomettere una
versione estesa dell’articolo [79] che è stata pubblicata in Lecture Notes in Artificial
Intelligence (Springer) [76]
{ Il IJCAI 11 Doctoral Consortium Program Committee ha selezionato il suo abstract
per inclusione nei proceedings di IJCAI 2011 [81]
{ Il Program Committee della 10th European Conference on Symbolic and Quanti-
tative Approaches to Reasoning with Uncertainty (ECSQARU-09) lo ha invitato
a sottomettere una versione estesa dell’articolo [85] che è stata pubblicata in una
special issue dell’International Journal of Approximate Reasoning [80]
Attività di Ricerca
{ Membero dell’ “European AI Alliance” (Dicembre 2019 – oggi)
{ Esaminatore di tesi di dottorato per la Technische Universität Wien, Aprile 2019
{ Vice-chair del FIP WG12.1 “Knowledge Representation and Reasoning” (Aprile
2016 – oggi)
{ Membero dell’editorial board del Argument & Computation Journal (Aprile 2016 –
oggi)
{ Memro fondatore dello steering committee dell’International Competition on Com-
putational Models of Argumentation (Giugno 2014 – present){ Guest editor per l’Argument & Computation Journal, Dicembre 2016
Invited Talks, Tutorials, and Libri
{ È stato invitato a tenere una relazione al WG3 meeting dell’EU COST action
APPLY, Vilnius, Ottobre 2019
{ Ha tenuto un tutorial presso l’International Joint Conference on Artificial Intelli-
gence 2019 (IJCAI-19), Macau, Agosto 2019
{ Ha tenuto una relazione invitata all’Imperial College London, Luglio 2019
{ Ha tenuto una relazione invitata alla Technische Universität Wien, Aprile 2019
{ Ha tenuto una relazione invitata al kick-off meeting dell’EU COST action APPLY,
Lisbona, Marzo, 2019
{ È stato invitato a partecipare alla tavola rotonda dei Direttori di Data Science
Institutes presso l’Alan Turing Institute, London, Agosto 2018
{ Con Nir Oren, ha tenuto un corso presso la 20th European Agent Systems Summer
School, Giugno 2018
{ Ha tenuto una conferenza invitata presso il 18th Workshop on Computational
Models of Natural Argument, Aprile 2018
{ Ha tenuto una relazione invitata alla Koblenz University, Koblenz, Novembre 2017
{ Ha tenunot un tutorial presso l’International Joint Conference on Artificial Intelli-
gence 2017 (IJCAI-17), Melbourne, Agosto 2017
{ Ha tenuto una relazione invitata presso la Luxembourg University, Gennaio 2017
{ È stato invitato a tenere un corso presso la Second Summer School on Argu-
mentation: Computational and Linguistic Perspectives, September 8th–12th 2016
Potsdam, Germania
{ Ha tenuto una relazione invitatata presso il “Knowing the Sea: The Prospects of
Maritime Domain Awareness” workshop, Maggio 2016, Cardiff
{ Ha tenuto una relazione invitata al Dagstuhl workshop su “Natural Language
Argumentation: Mining, Processing, and Reasoning over Textual Arguments”,
Aprile 2016
{ Ha tenuto una relazione invitata su “Supporting Reasoning with Different Types of
Evidence in Intelligence Analysis” presso l’Imperial College London, Dicembre 2015
{ Ha tenuto una relazione invitata presso l’ “Aberdeen-Zhejiang Interdisciplinary
Symposium on Language Production,” Zhejiang University, Ottobre 2015
{ Ha tenuto un tutorial presso l’International Joint Conference on Artificial Intelli-
gence 2015 (IJCAI-15), Buenos Aires, Luglio 2015
Attività
{ Co-chair del Digital Economy Crucible Workshop su Judicial Proofs and Artificial
Intelligence, Cardiff, Marzo 2018
{ Co-chair della IEA/AIE 2017 Special Track su Applications of Argumentation
{ Co-chair del First International Workshop on Systems and Algorithms for Formal
Argumentation (SAFA) 2016
{ Co-Organiser del Cardiff Argumentation Forum 2016
{ Co-chair of the Demonstration Track della Fifth International Conference on
Computational Models of Argument (COMMA 2014), Pitlochry (Scotland), 9th-
12th September 2014 e curatore degli atti [56]{ Local Organisation Co-Chair della Third International Conference on Computa-
tional Models of Argument (COMMA 2010), Desenzano del Garda (Italy), 8th-10th
September 2010 e curatore degli atti [84]
Program committees (selezione)
{ Senior Program Committee Member della 29th International Joint Conference on
Artificial Intelligence (IJCAI 2020)
{ Senior Program Committee Member della 18th International Conference on
Antonomous Agents and Multiagent Sytems (AAAMAS 2019)
{ 28th International Joint Conference on Artificial Intelligence (IJCAI-19)
{ 33rd AAAI Conference on Artificial Intelligence (AAAI-19)
{ 27th International Joint Conference on Artificial Intelligence (IJCAI-18)
{ 26th International Joint Conference on Artificial Intelligence (IJCAI-17)
{ 16th International Conference on Antonomous Agents and Multiagent Sytems
(AAAMAS 2017)
{ 22nd European Conference on Artificial Intelligence (ECAI 2016)
{ Sixth International Conference on Computational Models of Argument (COMMA
2016)
{ 25th International Joint Conference on Artificial Intelligence (IJCAI-16)
{ 15th International Conference on Autonomous Agents and Multiagent Systems
(AAMAS-16)
{ 24th International Joint Conference on Artificial Intelligence (IJCAI-15)
{ 18th International Conference on Principles and Practice of Multi-Agent Systems
{ Fifth International Conference on Computational Models of Argument (COMMA
2014): Main Track
Revisore (selezione)
{ Artificial Intelligence (Journal)
{ International Journal of Approximate Reasoning
{ Journal of Logic and Computation
{ Journal of Applied Logic
{ 14th International Conference on Autonomous Agents and Multiagent Systems
(AAMAS-15)
{ 23rd International Joint Conference on Artificial Intelligence (IJCAI-13)
{ Fourth International Conference on Computational Models of Argument (COMMA
2012)
{ 10th European Conference on Symbolic and Quantitative Approaches to Reasoning
with Uncertainty (ECSQARU09)
Presentazioni (selezione)
{ 33rd AAAI Conferences on Artificial Intelligence — AAAI 2019 (Gennaio 2019) [5]
{ The 31st International Conference on Legal Knowledge and Information Systems —
JURIX 2018 (Dicembre 2018) [21]
{ 16th International Conference on Principles of Knowledge Representation and
Reasoning — KR2018 (Ottobre 2018) [12]{ The 7th International Conference on Computational Models of Argument —
COMMA 2018 (Settembre 2018) [15, 17, 18]
{ 21st International Conference on Information Fusion — FUSION 2018 (Luglio
2018) [19, 20]
{ Sixth International Conference on Computational Models of Argument — COMMA
2016 (Settembre 2016) [40, 39, 38, 37]
{ First International Workshop on Systems and Algorithms for Formal Argumentation
— SAFA (Settembre 2016) [36]
{ 15th International Conference on Principles of Knowledge Representation and
Reasoning — KR2016 (Aprile 2016) [33]
{ 14th International Conference on Autonomous Agents and Multiagent Systems —
AAMAS-15 (Maggio 2015) [45]
{ 1st International Workshop on Languages and Ontologies — LangAndOnto 2015
(Aprile 20155) [48]
{ Fifth International Conference on Computational Models of Argument — COMMA
2014 (Settembre 2014), [60, 57, 56]
{ 21st European Conference on Artificial Intelligence — ECAI 2014, [62, 64]
{ 14th International Conference on Principles of Knowledge Representation and
Reasoning — KR2014 (Luglio 2014), [66]
{ Agreement Technologies – Second International Conference (AT 2013), in congiu-
nizione con IJCAI 2013 (Agosto 2013), [72]
{ AAAI Fall Symposium Series 2009: The Uses of Computational Argumentation
(Novembre 2009) [86]
{ 10th European Conference on Symbolic and Quantitative Approaches to Reasoning
with Uncertainty - ECSQARU09 (Luglio 2009) [85]
Collaborazioni internazionali (selezione)
{ Army Research Laboratory, USA (in particular Dr. Lance Kaplan): [1, 5, 8, 10, 19,
22, 29, 60]
{ UCLA, (in particolare Prof. Srivastava): e.g. [2, 8, 19, 46]
{ IBM Emerging Technology, Hursley Park, UK (in particular Mr. Dave Braines):
[2, 27, 48]
{ IBM T.J.Watson, USA (in particular Dr. de Mel and Chakraborty): [2, 10, 27, 28,
48]
{ University of Huddersfield, UK (in particolare Dr. Mauro Vallati e Prof. Antoniou):
e.g. [71, 68, 60, 57, 44]
{ Intrepid Inc, USA, Col. Paul Sullivan USAF (Ret.) J.D.: [10, 22, 46, 48, 63]
{ University of Liverpool, UK (in particular with Prof. Paul E. Dunne): e.g. [79, 76,
71, 69, 68, 47]
Insegnamenti
{ “Sicurezza Informatica,” U. Brescia, 2019/20, leader
{ “Secure Applications, Identity and Trust,” Cardiff U., 2018/19, leader
{ “Secure Applications, Identity and Trust,” Cardiff U., 2017/18, leader
{ “Programming paradigms,” Cardiff U., 2017/18, leader{ “Secure Applications, Identity and Trust,” Cardiff U., 2016/17, leader
{ “Secure Applications, Identity and Trust,” Cardiff U., 2015/16, leader
{ “Informatics,” Cardiff U., 2015/16, leader
{ “CS1522/CS5548/CS5574/SF1512: Web Technology,” U. Aberdeen, 2014/15 (assis-
tente)
{ “S3023: Robotics - AI Meets Reality,” U. Aberdeen, 2014/15 (assistente)
{ “S4040: Research Methods,” U. Aberdeen, 2014/15 (assistente)
{ “Fondamenti di Informatica A,” U. Brescia, 2011/12, (assistente)
Supervisione di studenti di dottorato
{ Marc Roig Vilamala, Cardiff U., [7, 8, 10]
{ Gizem Aydin, Cardiff U., [11]
{ Daniel Vente, Cardiff U., [10]
Tesi di laurea specialistica
{ Sachin Galahitiya, Cardiff U., 2019
{ Ian Cox, Cardiff U., 2018
{ Alessandro Cherubini, U. Brescia, 2018
{ Tobia Zanetti, U. Brescia, 2017
{ Micheal Abaho, Cardiff U., 2017, [14]
{ Ala’a Al-Shobaki, Cardiff U., 2017
{ Ioannis Katrimpouzas, Cardiff U., 2017
{ Alberto Schena, U. Brescia, 2011
{ Alessandro Zigliani, U. Brescia, 2010
{ Claudio Gandelli, U. Brescia, 2009, [82]
Pubblicazioni
[1] Murat Sensoy, Lance Kaplan, Federico Cerutti, and Maryam Saleki. Uncertainty-Aware
Deep Classifiers Using Generative Models. In 34th AAAI Conference on Artificial
Intelligence (AAAI-20), 2020. Una delle due conferenze più importanti in Intelligenza
Artificiale al mondo
[2] Alun D. Preece, Federico Cerutti, Dave Braines, Supriyo Chakraborty, Mani Srivastava, and
Tien Pham. Coalition situational understanding for multi-domain operations. In Proc. SPIE,
to appear, 2020.
2018
[3] Federico Cerutti, Massimiliano Giacomin, and Mauro Vallati. How we designed winning
algorithms for abstract argumentation and which insight we attained. In Artificial
Intelligence, 276: 1-40, 2019. Il giornale scientifico più importante per l’Intelligenca
Artificiale
[4] Federico Cerutti, and Matthias Thimm. A General Approach to Reasoning with
Probabilities In International Journal of Approximate Reasoning, 111, 35–50, 2019
[5] Federico Cerutti, Lance M. Kaplan, Angelika Kimmig, and Murat Sensoy. Probabilis-
tic Logic Programming with Beta-Distributed Random Variables. In 33rd AAAI
Conference on Artificial Intelligence (AAAI-19), 2019. Una delle due conferenze più
importanti in Intelligenza Artificiale al mondo
[6] Mauro Vallati, Federico Cerutti, and Massimiliano Giacomin. Predictive models andabstract argumentation: the case of high-complexity semantics In Knowledge
Engineering Review, 34, E6, 2019
[7] Marc Roig Vilamala, Liam Hiley, Yulia Hicks, Alun Preece and Federico Cerutti. A pilot
study on detecting violence in videos fusing proxy models. In 22nd International Conference
on Information Fusion, 2019
[8] Tianwei Xing, Marc Roig Vilamala, Luis Garcia, Federico Cerutti, Lance M. Kaplan, Alun
D. Preece, and Mani B. Srivastava. DeepCEP: Deep Complex Event Processing Using
Distributed Multimodal Information. In SMARTCOMP 2019, 87-92, 2019.
[9] Alun D. Preece, Dave Braines, Federico Cerutti, and Tien Pham. Explainable AI for Intelli-
gence Augmentation in Multi-Domain Operations. In AAAI FSS-19: Artificial Intelligence
in Government and Public Sector, 2019.
[10] Richard Tomsett, Lance Kaplan, Federico Cerutti, Paul Sullivan, Daniel Vente, Marc Roig
Vilamala, Angelika Kimmig, Alun Preece, and Murat Sensoy. Uncertainty-aware situational
understanding. In Proc. SPIE. 11006, Artificial Intelligence and Machine Learning for
Multi-Domain Operations, 2019.
[11] Gizem Aydin, Clarice Bleil De Souza, and Federico Cerutti. Assessing the transition from
traditional to participatory heritage management In Turkey. In AESOP 2019 Conference -
Book of Papers. Università Iuav di Venezia, pp. 21-34. 2019.
2018
[11] Federico Cerutti, Mauro Vallati, and Massimiliano Giacomin. On the Impact of Configu-
ration on Abstract Argumentation Automated Reasoning In International Journal
of Approximate Reasoning, 2018
[12] Federico Cerutti, and Matthias Thimm. A General Approach to Reasoning with Probabilities
- Extended Abstract In 16th International Conference on Principles of Knowledge Repre-
sentation and Reasoning, pages 629–630, 2018. Una delle conferenze più importanti in
Intelligenza Artificial simbolica al mondo
[13] Federico Cerutti, Alessia Grassi, and Mauro Vallati. Unveiling the oracle: Artificial intelligence
for the 21st century In Intelligent Decision Technologies 12 (2018) 371–379
[14] Michael Abaho, Daniel Gartner, Federico Cerutti, and John Boulton. Text Annotation using
Textual Semantic Similarity and Term-Frequency (Twitter) Research Papers. 205., 2018,
https://aisel.aisnet.org/ecis2018_rp/205
[15] Federico Cerutti, Timothy J. Norman, Alice Toniolo, and Stuart E. Middleton. CISpaces.org:
From Fact Extraction to Report Generation. In COMMA 2018, pages 269–280, 2018.
[16] Matthias Thimm, Federico Cerutti, and Tjitze Rienstra. Probabilistic Graded Semantics. In
COMMA 2018, pages 369–380, 2018.
[17] Federico Cerutti, Alice Toniolo, Timothy J. Norman, Floris Bex, Iyad Rahwan, and Chris
Reed. AIF-EL - An OWL2-EL-Compliant AIF Ontology. In COMMA 2018, pages 455–456,
2018.
[18] Wolfgang Faber, Mauro Vallati, Federico Cerutti, and Massimiliano Giacomin. Enumerating
Preferred Extensions Using ASP Domain Heuristics: The ASPrMin Solver. In COMMA 2018,
pages 459–460, 2018.
[19] Federico Cerutti, Moustafa Alzantot, Tianwei Xing, Daniel Harborne, Jonathan Z. Bakdash,
Dave Braines, Supriyo Chakraborty, Lance M. Kaplan, Angelika Kimmig, Alun D. Preece,
Ramya Raghavendra, Murat Sensoy, and Mani B. Srivastava. Learning and Reasoning in
Complex Coalition Information Environments: A Critical Analysis. In FUSION 2018, 2018.
[20] Federico Cerutti, and Gavin Pearson. Supporting Scientific Enquiry with Uncertain Sources.
In FUSION 2018, 2018.[21] Federico Cerutti, Timothy J. Norman, and Alice Toniolo. A Tool to Highlight Weaknesses
and Strengthen Cases: CISpaces.org In JURIX 2018, pages 186-189, 2018.
[22] Lance M. Kaplan, Federico Cerutti, Murat Sensoy, Alun D. Preece, and Paul Sullivan.
Uncertainty Aware AI ML: Why and How. In AAAI Fall Symposium on ’Artificial Intelligence
in Government and Public Sector’, 2018.
[23] Timothy J. Norman, Federico Cerutti, Stuart Middleton, and Alice Toniolo. Argumentation-
based sense-making exploiting open sources. In Proceedings SPIE 10653, Next-Generation
Analyst VI; 1065309 (2018)
[24] Ramya Raghavendra, Federico Cerutti, and Alun Preece. When data lie: fairness and
robustness in contested environments. In Proceedings SPIE 10653, Next-Generation Analyst
VI; 1065309 (2018)
2017
[25] Federico Cerutti, Mauro Vallati, and Massimiliano Giacomin. An Efficient Java-Based Solver
for Abstract Argumentation Frameworks: jArgSemSAT In International Journal on Artificial
Intelligence Tools, pages 1750002-1–26, 2017.
[26] Mauro Vallati, Federico Cerutti, and Massimiliano Giacomin. On the Combination of
Argumentation Solvers into Parallel Portfolios. In Australasian Conference on Artificial
Intelligence, pages 315–327, 2017.
[27] Alun D. Preece, Federico Cerutti, Dave Braines, Supriyo Chakraborty, and Mani B. Srivas-
tava. Cognitive computing for coalition situational understanding In IEEE Smart World
Congress 2017 Workshop: DAIS 2017 - Workshop on Distributed Analytics InfraStructure
and Algorithms for Multi-Organization Federations,, 2017.
[28] Supriyo Chakraborty, Richard Tomsett, Ramya Raghavendra, Daniel Harborne, Mustafa
Alzantot, Federico Cerutti, Mani Srivastava, Alun Preece, Simon Julier, Raghuveer Rao, Troy
Kelley, Dave Braines, Sensoy Murat, Christopher Willis, and Gurram Prudhvi. Interpretability
of deep learning models: a survey of results In IEEE Smart World Congress 2017 Workshop:
DAIS 2017 - Workshop on Distributed Analytics InfraStructure and Algorithms for Multi-
Organization Federations,, 2017.
[29] Dave Braines, Anna Thomas, Lance Kaplan, Murat Sensoy, Magdalena Ivanovska, Alun
Preece, and Federico Cerutti. Human-in-the-loop situational understanding via subjective
Bayesian networks In The 5th International Workshop on Graph Structures for Knowledge
Representation and Reasoning (GKR 2017), 2017.
[30] Owain Carpanini, and Federico Cerutti. Towards an ontology of trust for situational under-
standing In 17th UK Workshop on Computational Intelligence (UKCI-2017, 2017
[31] Federico Cerutti, Sarah Gaggl, Matthias Thimm, and Johannes Wallner. Foundations
of Implementations for Formal Argumentation. In IfCoLog Journal of Logics and their
Applications, 4(8):2623-2706.
2016
[32] Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin. Solving Set
Optimization Problems by Cardinality Optimization with an Application to Argumentation
In ECAI-2016, 22nd European Conference on Artificial Intelligence, pages 966–973, 2016.
Conferenza più importante in Intelligenza Artificiale in Europa
[33] Federico Cerutti, Mauro Vallati, and Massimiliano Giacomin. jArgSemSAT: an efficient
off-the-shelf solver for abstract argumentation frameworks In 15th International Conference
on Principles of Knowledge Representation and Reasoning, pages 541–544, 2016. Una delle
conferenze più importanti in Intelligenza Artificial simbolica al mondo
[34] Saritha Arunkumar, Mudhakar Srivatsa, Berker Soyluoglu, Murat Sensoy, and Federico
Cerutti. Privacy enforcement through policy extension In MILCOM 2016 - 2016 IEEE
Military Communications Conference, 2016.[35] Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin. Solving Set
Optimization Problems by Cardinality Optimization via Weak Constraints with an Application
to Argumentation In Workshop on Trends and Applications of Answer Set Programming,
2016.
[36] Federico Cerutti, Alexis Palmer, Ariel Rosenfeld, Jan Snajder, Francesca Toni. A pilot study
in using argumentation frameworks for online debates In First International Workshop on
Systems and Algorithms for Formal Argumentation (SAFA), CEUR, pp. 63-74, 2016
[37] Federico Cerutti, Mauro Vallati, Massimiliano Giacomin. Generating Structured Argumenta-
tion Frameworks: AFBenchGen2 In 6th International Conference on Computational Models
of Argument, pages 467–468, 2016.
[38] Federico Cerutti, Mauro Vallati, Massimiliano Giacomin. Efficient and Off-The-Shelf Solver:
jArgSemSAT In 6th International Conference on Computational Models of Argument, pages
465–466, 2016.
[39] Federico Cerutti, Mauro Vallati, Massimiliano Giacomin. Where Are We Now? State of the
Art and Future Trends of Solvers for Hard Argumentation Problems In 6th International
Conference on Computational Models of Argument, pages 207–218, 2016.
[40] Federico Cerutti, Mauro Vallati, Massimiliano Giacomin. On the Effectiveness of Automated
Configuration in Abstract Argumentation Reasoning In 6th International Conference on
Computational Models of Argument, pages 199–206, 2016.
[41] Hiroyuki Kido and Federico Cerutti. Formal reconciliatory dialogue based on shift from
forward to backward deliberation In Argument & Computation, 2016.
[42] Federico Cerutti, Christopher Burnett, and Nir Oren Representative Agents and the Cold
Start Problem in Contract Negotiation In COIN, 2016, to appear.
[43] Matthias Thimm, Serena Villata, Federico Cerutti, Nir Oren, Hannes Strass, and Mauro
Vallati. Summary Report of The First International Competition on Computational Models
of Argumentation AI Magazine, 2016.
2015
[44] Federico Cerutti, Ilias Tachmazidis, Sotirios Batsakis, Mauro Vallati, Massimiliano Giacomin,
and Grigoris Antoniou. Exploiting Parallelism for Hard Problems in Abstract Ar-
gumentation In 29th AAAI Conference - AAAI 2015, 1475–1481, 2015. Una delle due
conferenze più importanti in Intelligenza Artificiale al mondo
[45] Cerutti, Federico, Nir Oren, and Christopher Burnett. Global Approximations for Prin-
cipal Agent Theory In Proceedings of the 14th International Conference on Autonomous
Agents and Multiagent Systems (AAMAS 2015), 1845–1846, 2015. Una delle conferenze
più importanti su agenti artificiali al mondo
[46] Toniolo, Alice, Timothy J. Norman, Anthony Etuk, Federico Cerutti, Robin Wentao Ouyang,
Mani Srivastava, Nir Oren, Timothy Dropps, John A. Allen, and Paul Sullivan. Agent
Support to Reasoning with Different Types of Evidence in Intelligence Analysis
In Proceedings of the 14th International Conference on Autonomous Agents and Multiagent
Systems (AAMAS 2015), 781–789, 2015. Una delle conferenze più importanti su agenti
artificiali al mondo
[47] Adam Wyner, Trevor Bench-Capon, Paul Dunne, and Federico Cerutti. Senses of “Argument”
in Instantiated Argumentation Frameworks Argument & Computation, 6(1):50–72, 2015.
[48] Federico Cerutti, Artemis Parvizi, Alice Toniolo, Dave Braines, Geeth R. de Mel, Timothy J.
Norman, Nir Oren, Jeff Z. Pan, Gavin Pearson, Stephen D. Pipes, and Paul Sullivan. When
is Lying the Right Choice? In Proceedings of Language and Ontologies 2015, 2015.
[49] Federico Cerutti, Christopher Burnett, and Nir Oren. Representative Agents and the Contract
Negotiation Cold Start Problem In Proceedings of the International Workshop on Coordination,
Organisation, Institutions and Norms in Multi-Agent Systems, COIN@IJCAI2015, 2015.[50] Mauro Vallati, Federico Cerutti, Wolfgang Faber, and Massimiliano Giacomin. prefMaxSAT:
Exploiting MaxSAT for Enumerating Preferred Extensions In System Descriptions of the
First International Competition on Computational Models of Argumentation (ICCMA’15),
58–61, 2015.
[51] Federico Cerutti, Mauro Vallati, and Massimiliano Giacomin. ArgSemSAT-1.0: Exploiting
SAT Solvers in Abstract Argumentation In System Descriptions of the First International
Competition on Computational Models of Argumentation (ICCMA’15), 4–7, 2015.
2014
[52] Hiroyuki Kido and Federico Cerutti. Shift from Forward to Backward Deliberation in Search of
Reconciliation. In Proceedings of the 13th Pacific Rim International Conference on Artificial
Intelligence, PRICAI14, 920–928, 2014.
[53] Pietro Baroni, Guido Boella, Federico Cerutti, Massimiliano Giacomin, Leendert van der Torre,
and Serena Villata. On the Input/Output behavior of argumentation frameworks
Artificial Intelligence, 217(0):144–197, 2014. Class A* Journal, top venue for Artificial
Intelligence research
[54] Federico Cerutti, Lance M. Kaplan, Timothy J. Norman, Nir Oren, and Alice Toniolo. Subjec-
tive Logic Operators in Trust Assessment: An Empirical Study. Information Sys-
tems Frontiers (Special Issue on Agreement Technologies), DOI 10.1007/s10796-014-9522-5,
2014.
[55] Yuqing Tang, Federico Cerutti, Nir Oren, and Chatschik Bisdikian. Reasoning about
the Impacts of Information Sharing. Information Systems Frontiers (Special Issue on
Agreement Technologies), DOI 10.1007/s10796-014-9521-6, 2014.
[56] Simon Parsons, Nir Oren, Chris Reed, and Federico Cerutti editors. Computational Models of
Argument - Proceedings of COMMA 2014, volume 266 of Frontiers in Artificial Intelligence.
IOS Press, 2014.
[57] Federico Cerutti, Massimiliano Giacomin, and Mauro Vallati. Algorithm Selection for
Preferred Extensions Enumeration. In [56], 221–232, 2014.
[58] Federico Cerutti, Massimiliano Giacomin, and Mauro Vallati. ArgSemSAT: Solving Argu-
mentation Problems Using SAT. In [56], 455–456, 2014.
[59] Federico Cerutti, Massimiliano Giacomin, and Mauro Vallati. Generating Challenging
Benchmark AFs. In [56], 457–458, 2014.
[60] Federico Cerutti, Nir Oren, Hannes Strass, Matthias Thimm, and Mauro Vallati. A Benchmark
Framework for a Computational Argumentation Competition. In [56], 459–460, 2014.
[61] Federico Cerutti, Nava Tintarev, and Nir Oren. Formal Arguments, Preferences, and
Natural Language Interfaces to Humans: an Empirical Evaluation. In ECAI 2014
- 21st European Conference on Artificial Intelligence, 207–212, 2014. Conferenze più
importante in Intelligenza Artificiale in Europa
[62] Mauro Vallati, Federico Cerutti, and Massimiliano Giacomin. Argumentation Frameworks
Features: an Initial Study. In ECAI 2014 - 21st European Conference on Artificial
Intelligence, 1117–1118, 2014. Conferenza più importante in Intelligenza Artificiale
in Europa
[63] Federico Cerutti, Geeth de Mel, Timothy J. Norman, Nir Oren, Artemis Parvizi, Paul
Sullivan, and Alice Toniolo. Obfuscation of Semantic Data: Restricting the Spread of
Sensitive Information. In Informal Proceedings of the 27th International Workshop on
Description Logics, 434–446, http://ceur-ws.org/Vol-1193/paper_27.pdf 2014.
[64] Federico Cerutti, Nava Tintarev, and Nir Oren. Formal Argumentation: A Human-centric
Perspective. In Eleventh International Workshop on Argumentation in Multi-Agent Systems
(ArgMAS 2014), 2014.[65] Alice Toniolo, Federico Cerutti, Nir Oren, Timothy J. Norman, and Katia Sycara. Making
informed decisions with provenance and argumentation schemes. In Eleventh International
Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2014), 2014.
[66] Federico Cerutti, Massimiliano Giacomin, Mauro Vallati, and Marina Zanella. A SCC
Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Ar-
gumentation. In Principles of Knowledge Representation and Reasoning: Proceedings of the
Fourteenth International Conference, KR 2014, 42–51, 2014. Una delle conferenze più
importanti in Intelligenza Artificial simbolica al mondo
[67] Mauro Vallati, Federico Cerutti, and Massimiliano Giacomin. Argumentation Extensions
Enumeration as a Constraint Satisfaction Problem: a Performance Overview. In DARe 2014,
http://ceur-ws.org/Vol-1212/DARe-14-paper-5.pdf, 2014.
[68] Federico Cerutti, Paul E. Dunne, Massimiliano Giacomin, and Mauro Vallati. Computing
Preferred Extensions in Abstract Argumentation: A SAT-Based Approach. In TAFA 2013,
pages 176–193. Springer-Verlag Berlin Heidelberg, 2014.
2013
[69] Pietro Baroni, Federico Cerutti, Paul E. Dunne, and Massimiliano Giacomin. Automata for
Infinite Argumentation Structures. Artificial Intelligence, 203(0):104–150, May 2013.
Giornale scientifico più importante in Intelligenza Artificiale
[70] Chatschik Bisdikian, Yuqing Tang, Federico Cerutti, and Nir Oren. A Framework for Using
Trust to Assess Risk in Information Sharing. In Agreement Technologies – Second International
Conference, AT 2013 Beijing, China, August 2013 Proceedings, pages 135–149. Springer Berlin
Heidelberg, 2013.
[71] Federico Cerutti, Paul E. Dunne, Massimiliano Giacomin, and Mauro Vallati. A SAT-based
Approach for Computing Extensions in Abstract Argumentation. In Second International
Workshop on Theory and Applications of Formal Argumentation (TAFA-13), 2013.
[72] Federico Cerutti, Alice Toniolo, Nir Oren, and Timothy J. Norman. An Empirical Evalu-
ation of Geometric Subjective Logic Operators. In Agreement Technologies – Second
International Conference, AT 2013 Beijing, China, August 2013 Proceedings, pages 90–104,
2013.
[73] Alice Toniolo, Federico Cerutti, Nir Oren, and Timothy J. Norman. Argument schemes
and provenance to support collaborative intelligence analysis. In Proceedings of the Third
International Conference on Advanced Collaborative Networks, Systems and Applications,
2013.
[74] Mauro Vallati, Lukás Chrpa, and Federico Cerutti. Towards Automated Planning Domain
Models Generation. In The 5th Italian Workshop on Planning and Scheduling, December
2013.
2012
[75] Pietro Baroni, Guido Boella, Federico Cerutti, Massimiliano Giacomin, Leendert van der Torre,
and Serena Villata. On Input/Output Argumentation Frameworks. In Computational
Models of Argument - Proceedings of COMMA 2012, Vienna, Austria, September 10-12, 2012,
pages 358—-365, 2012.
[76] Pietro Baroni, Federico Cerutti, Paul E. Dunne, and Massimiliano Giacomin. Computing
with Infinite Argumentation Frameworks: the Case of AFRAs. In TAFA 2011, number 7132
in Lecture Notes in Computer Science, pages 197–214. Springer, 2012.
[77] Federico Cerutti. Argumentation-Based Practical Reasoning: New Models and Algorithms.
PhD thesis, University of Brescia: Department of Information Engineering, 2012.
[78] Federico Cerutti and Mauro Vallati. On Practical Reasoning and Automated Planning. In
The 30th Workshop of the UK Planning and Scheduling Special Interest Group (PLANSIG-12),
2012.2011
[79] Pietro Baroni, Federico Cerutti, Paul E. Dunne, and Massimiliano Giacomin. Computing
with Infinite Argumentation Frameworks: the Case of AFRAs. In Prooceedings of First
International Workshop on the Theory and Applications of Formal Argumentation (TAFA-11),
2011.
[80] Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, and Giovanni Guida. AFRA:
Argumentation framework with recursive attacks. International Journal of Approx-
imate Reasoning (Special Issue Tenth European Conference on Symbolic and Quantitative
Approaches to Reasoning with Uncertainty - ECSQARU 2009), 52(1):19–37, 2011.
[81] Federico Cerutti. Decision Support through Argumentation-Based Practical Rea-
soning (extended abstract). In Proceedings of the Twenty-Second International Joint Confer-
ence on Artificial Intelligence (IJCAI 2011), pages 2786–2787. AAAI Press/International Joint
Conferences on Artificial Intelligence, 2011. Una delle due conferenze più importanti
in Intelligenza Artificiale al mondo
2010
[82] Pietro Baroni, Federico Cerutti, Daniela Fogli, Claudio Gandelli, and Massimiliano Gia-
comin. From User-Generated Tagging to User-Agreed Knowledge: An Argumentation-Based
Approach. In 13th International Workshop on Non-Monotonic Reasoning NMR, 2010.
[83] Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, and Giovanni Guida. Argumentation-
Based Decision Making and Structural Models of Personality. In Proceedings of the Eleventh
AI*IA Symposium on Artificial Intelligence: Workshop on Artificial Intelligence and Argu-
mentation: computational and philosophical perspective, 2010.
[84] Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, and Guillermo Simari, editors.
Computational Models of Argument - Proceedings of COMMA 2010, volume 216 of Frontiers
in Artificial Intelligence. IOS Press, 2010.
2009
[85] Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, and Giovanni Guida. Encompass-
ing Attacks to Attacks in Abstract Argumentation Frameworks. In ECSQARU
2009, pages 2–7. LLNAI, Springer-Verlag, 2009.
[86] Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, and Giovanni Guida. An
Argumentation-Based Approach to Modeling Decision Support Contexts with What-If Ca-
pabilities. In AAAI Fall Symposium. Technical Report SS-09-06, pages 2–7. AAAI Press,
2009.Puoi anche leggere
