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