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 |
---|---|
Agenti intelligenti |
Bioinformatica e informatica medica
Artificial intelligence |
Agenti intelligenti |
Intelligenza Artificiale
Artificial intelligence |
Algoritmi per la Bioinformatica |
Bioinformatica e informatica medica
Life and medical sciences |
Algoritmi per la Bioinformatica |
Algoritmi, Logica e teoria della computazione
Life and medical sciences |
Bioinformatics and Natural Computing |
Bioinformatica e informatica medica
Life and medical sciences |
Bioinformatics and Natural Computing |
Algoritmi, Logica e teoria della computazione
Life and medical sciences |
Formal methods and theory of security |
Sicurezza informatica
Formal methods and theory of security |
Formal methods and theory of security |
Ingegneria del Software e verifica formale
Formal methods and theory of security |
Network security |
Sicurezza informatica
Network security |
Network security |
Ingegneria del Software e verifica formale
Network security |
Ottimizzazione di Alberi di Decisione |
Bioinformatica e informatica medica
Machine learning |
Ottimizzazione di Alberi di Decisione |
Intelligenza Artificiale
Machine learning |
Process control systems |
Sistemi informativi ed analisi dei dati
Information systems applications |
Ragionamento automatico |
Bioinformatica e informatica medica
Artificial intelligence |
Ragionamento automatico |
Intelligenza Artificiale
Artificial intelligence |
Rappresentazione della conoscenza |
Bioinformatica e informatica medica
Artificial intelligence |
Rappresentazione della conoscenza |
Intelligenza Artificiale
Artificial intelligence |
Robotica | Sistemi robotici e automazione Sistemi robotici e automazione |
Sistemi Multiagente |
Bioinformatica e informatica medica
Artificial intelligence |
Sistemi Multiagente |
Intelligenza Artificiale
Artificial intelligence |
Teorie e Tecniche del Riconoscimento |
Bioinformatica e informatica medica
Machine learning |
Teorie e Tecniche del Riconoscimento |
Intelligenza Artificiale
Machine learning |
Verifica del software |
Algebra, Geometria e Logica Matematica
Logic |
Verifica del software |
Algoritmi, Logica e teoria della computazione
Logic |
Verifica del software |
Ingegneria del Software e verifica formale
Logic |
******** CSS e script comuni siti DOL - frase 9957 ********p>