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