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 ********