Gruppi di ricerca

  1. Home
  2. Ricerca
  3. Gruppi di ricerca
  4. Intelligenza Artificiale (IA)

Intelligenza Artificiale (IA)

Il gruppo svolge ricerche in Intelligenza Artificiale: Ragionamento Automatico, Algoritmi di Ricerca, Rappresentazione della Conoscenza, Apprendimento Automatico, Sistemi Multi-Agenti e applicazioni.
 

Maria Paola Bonacina
Professore ordinario
Ferdinando Cicalese
Professore ordinario
Alessandro Farinelli
Professore ordinario
Alberto Castellini
Professore associato
Matteo Cristani
Professore associato
Tewabe Chekole Workneh
Dottorando
Argomento Area di ricerca
Active learning Intelligenza Artificiale
Machine learning
Agenti intelligenti Intelligenza Artificiale
Artificial intelligence
Agenti intelligenti Intelligenza Artificiale
Distributed artificial intelligence
AI e robotica Intelligenza Artificiale
Planning and scheduling
Algoritmi per la Bioinformatica Bioinformatica e informatica medica
Life and medical sciences
Apprendimento non supervisionato Intelligenza Artificiale
Machine learning
Apprendimento per rinforzo Intelligenza Artificiale
Machine learning
Apprendimento supervisionato Intelligenza Artificiale
Machine learning
Deep learning Intelligenza Artificiale
Machine learning
Formal methods and theory of security Sicurezza informatica
Formal methods and theory of security
Intelligenza artificiale spiegabile Intelligenza Artificiale
Machine learning
Network security Sicurezza informatica
Network security
NLP e LLM Intelligenza Artificiale
Natural language processing
Pianificazione con incertezza Intelligenza Artificiale
Planning and scheduling
Pianificazione multi-agente Intelligenza Artificiale
Planning and scheduling
Pianificazione neurosimbolica Intelligenza Artificiale
Planning and scheduling
Process control systems Sistemi informativi ed analisi dei dati
Information systems applications
Ragionamento automatico Intelligenza Artificiale
Artificial intelligence
Ragionamento automatico Intelligenza Artificiale
Knowledge representation and reasoning
Rappresentazione della conoscenza Intelligenza Artificiale
Artificial intelligence
Rappresentazione della conoscenza Intelligenza Artificiale
Knowledge representation and reasoning
Sistemi Multiagente Intelligenza Artificiale
Artificial intelligence
Sistemi Multiagente Intelligenza Artificiale
Distributed artificial intelligence
Verifica formale del software Ingegneria del Software e Verifica Formale
Formal software verification
Titolo Responsabili Fonte finanziamento Data inizio Durata (mesi) 
COREWOOD - Riposizionamento competitivo del la filiera del legno Franco Fummi Regione del Veneto 07/11/2017 36
GHOTEM - Global House Thermal & Electrical Energy Management Franco Fummi Regione del Veneto 07/11/2017 36
INTCATCH - Development and application of Novel, Integrated Tools for monitoring and managing Catchments Alessandro Farinelli Unione Europea 01/06/2016 44
Integrazione di metodi di ragionamento automatico nel model checking: verifica formale automatica di sistemi di grande scala e a stati infiniti - Progetto ed integrazione di macchine di prova per l'analisi di programmi (PRIN 2007) Maria Paola Bonacina Ministero dell'Istruzione dell'Università e della Ricerca 22/09/2008 24
JP2015 - EXPO-AGRI - Osservazione degli impianti oltre campo per il monitoraggio e la previsione delle infezioni agricole Davide Quaglia Agricontrol snc di Balbo e Secco, Ateneo, Centro di sperimentazione e assistenza agricola - CERSAA 01/02/2016 24
Rich-model toolkit: an infrastructure for reliable computer systems (EU COST Action IC0109) 2009-2013 Maria Paola Bonacina Unione Europea 30/10/2009 48
Studio e sviluppo di tecniche di apprendimento automatico per la predizione di dati volta all’ottimizzazione dei processi nel settore delle utilities Alessandro Farinelli, Luca Di Persio Terranova s.r.l. 22/10/2019 12
Supporto per acquisizione, gestione ed analisi di dati nel contesto di applicazioni di tipo “smart-land" Alessandro Farinelli Smartea s.r.l. 27/01/2020 12

Attività

Aree di ricerca

Gruppi di ricerca

Dottorati di Ricerca

Strutture

Condividi