Il gruppo svolge ricerche in Intelligenza Artificiale: Ragionamento Automatico, Algoritmi di Ricerca, Rappresentazione della Conoscenza, Apprendimento Automatico, Sistemi Multi-Agenti e applicazioni.
Il gruppo svolge ricerche in Intelligenza Artificiale: Ragionamento Automatico, Algoritmi di Ricerca, Rappresentazione della Conoscenza, Apprendimento Automatico, Sistemi Multi-Agenti e applicazioni.
| 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 |
| Nome | Descrizione |
|---|---|
| Laboratorio ISLa |
Il laboratorio di Sistemi Intelligenti (Intelligent System Lab, ISLa), si occupa di sviluppare ricerca metodologica e applicata in intelligenza artificiale, apprendimento automatico (machine learning) e analisi dei dati per sistemi intelligenti. Le metodologie studiate includono l'apprendimento per rinforzo (Reinforcement Learning), la pianificazione con incertezza, il coordinamento multi-agente, il modeling probabilistico e l'analisi statistica dei dati. I domini applicativi includono la robotica mobile per l'industria 4.0, la sicurezza per sistemi robotici autonomi e lo sviluppo di piattaforme robotiche autonome per il monitoraggio ambientale. Il gruppo partecipa a progetti di ricerca nazionali e internazionali ed ha collaborazioni con centri di ricerca italiani ed esteri. |
******** CSS e script comuni siti DOL - frase 9957 ********