Gruppi di ricerca-Dip.Informatica-Università degli Studi di Verona

K.Re.Art.I.

Rappresentazione della conoscenza tramite tecniche di IJntelligenza Artificiale

Competenze
Argomento	Area di ricerca
Agenti intelligenti	Intelligenza Artificiale Distributed artificial intelligence
Agenti intelligenti	Ingegneria del Software e Verifica Formale Distributed artificial intelligence
Formal methods and theory of security	Sicurezza informatica Formal methods and theory of security
Network security	Sicurezza informatica Network security
NLP e LLM	Intelligenza Artificiale Natural language processing
NLP e LLM	Ingegneria del Software e Verifica Formale Natural language processing
Process control systems	Sistemi informativi ed analisi dei dati Information systems applications
Ragionamento automatico	Intelligenza Artificiale Knowledge representation and reasoning
Ragionamento automatico	Ingegneria del Software e Verifica Formale Knowledge representation and reasoning
Rappresentazione della conoscenza	Intelligenza Artificiale Artificial intelligence
Rappresentazione della conoscenza	Intelligenza Artificiale Knowledge representation and reasoning
Rappresentazione della conoscenza	Ingegneria del Software e Verifica Formale Knowledge representation and reasoning
Sistemi Multiagente	Intelligenza Artificiale Distributed artificial intelligence
Sistemi Multiagente	Ingegneria del Software e Verifica Formale Distributed artificial intelligence

Progetti
Titolo	Responsabili	Fonte finanziamento	Data inizio	Durata (mesi)
Security Horizons	Luca Vigano'	MIUR	01/02/2013	36