Intelligenza artificiale

Questo filone di ricerca riguarda principalmente la rappresentazione della conoscenza e il ragionamento in Intelligenza Artificiale. Oggetto di ricerca sono diverse tecniche di rappresentazione della conoscenza quali ontologie, sistemi a regole, approcci basati su logica (Programmazione Logica, Calcolo degli Eventi, Logica Descrittiva, Abduzione e Argomentazione) e loro integrazione anche nell’ambito di ragionamento incerto.

Oggetto di ricerca sono anche algoritmi, metodi e strumenti per lo sviluppo di sistemi “intelligenti” che possano costituire un efficiente ed efficace supporto alle decisioni, utilizzando ed integrando anche metodi di apprendimento (simbolici e sub-simbolici) e tecniche di ottimizzazione. I risultati di tale attività sono stati utilizzati in numerose aree applicative quali, ad esempio, la medicina, la gestione dell’energia, le smart cities, l 'orchestrazione di servizi Web, i processi di business. In particolare, tecniche di verifica run-time e a posteriori sono state utilizzate per monitorare la conformità dell'esecuzione di processi rispetto a linee guida, regolamenti, standard, protocolli ed eventualmente aspetti legali.

Persone

Roberto Amadini

Ricercatore a tempo determinato tipo b) (senior)

parole chiave: Artificial Intelligence, Constraint Programming, Combinatorial Optimization, Algorithms Portfolio, Software Verification

Andrea Asperti

Professore ordinario

parole chiave: Deep Learning, Reinforcement Learning, Generative Models

Ozalp Babaoglu

Professore ordinario

parole chiave: High-Performance Computing, Machine learning, Predictive data analytics, Efficienza energetica, Fault tolerance,

Mattia Barbaresi

Dottorando

Assegnista di ricerca

parole chiave: Intelligenza Artificiale, Sistemi Complessi

Ilaria Bartolini

Professoressa associata

parole chiave: Gestione efficace ed efficiente di dati multimediali, Ricerca per similarità, Annotazione semantica basata su

Gianluca Berardi

Dottorando

parole chiave: Meta learning, Object detection, Anomaly detection

Flavio Bertini

Professore a contratto

Tutor didattico

parole chiave: Big data, Social network and medical data analysis, Data analysis

Alessandro Bevilacqua

Ricercatore confermato

parole chiave: visione artificiale 3D, machine learning, pattern recognition, imaging medico e biomedico, imaging aereo e satellitare,

Luciano Bononi

Professore associato confermato

parole chiave: Protocolli di comunicazione e architetture di rete, Sistemi e reti wireless, Mobilità veicolare elettrica sostenibile,

Antonella Carbonaro

Professoressa associata confermata

parole chiave: ontologie, semantic web, profilazione utente/risorsa

Roberto Casadei

Assegnista di ricerca

Tutor didattico

parole chiave: sistemi distribuiti, pervasive computing, Internet of Things, paradigmi di programmazione

Anna Ciampolini

Professoressa ordinaria

parole chiave: intelligenza artificiale, sistemi cloud, agenti intelligenti, calcolo ad alte prestazioni, elaborazione di big data,

Paolo Ciancarini

Professore ordinario

parole chiave: Modelli e linguaggi di coordinazione, Architetture multiagente, Web semantico, Informatica ludica, Documenti digitali,

Ugo Dal Lago

Professore ordinario

parole chiave: Computazione Probabilistica, Semantica Differenziale, Complessità Computazionale Implicita

Allegra De Filippo

Professoressa a contratto

Assegnista di ricerca

Tutor didattico

parole chiave: Intelligenza Artificiale, Sistemi di supporto alle decisioni, Ottimizzazione ibrida

Luca De Luigi

Dottorando

Tutor didattico

parole chiave: Computer vision, Intelligenza artificiale, Machine learning, Deep learning

Giovanni Delnevo

Dottorando

Tutor didattico

Enrico Denti

Professore associato confermato

parole chiave: Sistemi multi-agente, Linguaggi di programmazione, Ingegneria del software orientata agli agenti, Infrastrutture

Matteo Ferrara

Professore associato

parole chiave: Sistemi Biometrici, Riconoscimento di impronte digitali, Riconoscimento del volto, Pattern Recognition, Elaborazione

Andrea Galassi

Dottorando

Tutor didattico

parole chiave: deep neural artificial networks apprendimento machine learning training

Enrico Gallinucci

Professore a contratto

Assegnista di ricerca

parole chiave: Big Data, Database NoSQL, Analisi di Dati Social, Analisi di dati di traiettoria, Agricoltura di Precisione, Business

Matteo Golfarelli

Professore associato confermato

parole chiave: Big Data, Data warehouse, Metodologia di progettazioene, Data Mining, Analytics, Analisi di dati social, Opinion

Gabriele Graffieti

Dottorando

Tutor didattico

parole chiave: Intelligenza Artificiale, Apprendimento automatico, Computer Vision, Modelli Generativi, Generative Adversarial

Giuseppe Lisanti

Ricercatore a tempo determinato tipo b) (senior)

parole chiave: Computer Vision, Pattern Recognition, Machine Learning, Deep Learning

Michele Lombardi

Ricercatore a tempo determinato tipo b) (senior)

parole chiave: Programmazione a vincoli, Ricerca operativa, Apprendimento automatico, Ottimizzazione

Vincenzo Lomonaco

Assegnista di ricerca

Tutor didattico

parole chiave: Neuroscience-inspired AI, Deep Learning, Continual Learning, Machine Learning, Computer Vision, Robotics

Daniela Loreti

Professoressa a contratto

Assegnista di ricerca

parole chiave: Big data, Calcolo ad alte prestazioni, Map reduce, Algoritmi paralleli, Process mining

Antonio Macaluso

Dottorando

Tutor didattico

parole chiave: Quantum AI, Artificial Intelligence, Machine Learning, Quantum Computing, Deep Learning

Davide Maltoni

Professore ordinario

parole chiave: Sistemi biometrici, Visione artificiale, Apprendimento automatico, Apprendimento continuo, Neuroscienze computazionali

Vittorio Maniezzo

Professore ordinario

parole chiave: Algoritmica computazionale, Algoritmi mateuristici, Data analytics, Analitica predittiva, Analitica presctittiva,

Stefano Mattoccia

Professore associato

parole chiave: Computer vision, Machine learning, Deep-learning, 3D perception, Stereo vision, monocular depth estimation, Embedded

Paola Mello

Professoressa ordinaria

parole chiave: Logica computazionale, Programmazione logica, Agenti intelligenti, Rappresentazione della conoscenza e ragionamento,

Michela Milano

Professoressa ordinaria

parole chiave: Intelligenza Artificiale, Sistemi di supporto alle decisioni, Programmazione a Vincoli, Strategie di ricerca,

Danilo Montesi

Professore ordinario

parole chiave: Big data, Social network and medical data analysis, Data analysis

Mirco Musolesi

Professore ordinario

parole chiave: Sistemi pervasivi e mobili, Sistemi autonomi, Intelligenza artificiale/machine learning per sistemi pervasivi e

Andrea Omicini

Professore ordinario

parole chiave: simulazione, agenti intelligenti, linguaggi multiparadigma, sistemi autoorganizzanti, calcolo pervasivo, sistemi

Lorenzo Pellegrini

Dottorando

Tutor didattico

parole chiave: Intelligenza artificiale, Apprendimento continuo, Robotica, Apprendimento profondo, Apprendimento automatico

Danilo Pianini

Ricercatore a tempo determinato tipo a) (junior)

parole chiave: simulazione, programmazione aggregata, Internet of Things, auto-organizzazione, sistemi complessi, biomimesi

Matteo Poggi

Assegnista di ricerca

parole chiave: Computer Vision, Deep Learning, Depth Perception

Roberto Reda

Dottorando

Tutor didattico

parole chiave: Web semantico, Cognitive computing, IoT, Intelligenza Artificiale

Marco Roccetti

Professore ordinario

parole chiave: Human data science, Human-in-the-loop methods, Human machine collaboration, Machine learning, Human-assisted bigdata

Andrea Roli

Ricercatore confermato

parole chiave: Intelligenza artificiale, Sistemi complessi, Robotica ispirata a sistemi naturali, Robotica collettiva, Complex systems

Federico Ruggeri

Dottorando

parole chiave: Artificial Intellingence; Machine Learning; Natural Language Processing; Reinforcement Learning; Deep Learning;

Samuele Salti

Ricercatore a tempo determinato tipo b) (senior)

parole chiave: Computer Vision, Deep Learning, Machine Learning, Telematica

Claudio Sartori

Professore ordinario

parole chiave: Data mining, Machine learning, Big data analytics, Data science

Domenico Scotece

Assegnista di ricerca

Tutor didattico

parole chiave: Fog Computing, Cloud Computing, IoT, Mobile Edge Computing, Mobile Cloud Computing, Wireless Network

Mattia Silvestri

Assegnista di ricerca

Tutor didattico

parole chiave: Intelligenza Artificiale, Deep Learning, Problemi di Soddisfacimento di Vincoli, Ottimizzazione combinatoria

Francesco Sovrano

Dottorando

Tutor didattico

parole chiave: Trustworthy Artificial Intelligence, eXplainable Artificial Intelligence (XAI), Deep Reinforcement Learning, Natural

Paolo Torroni

Professore associato

parole chiave: identificazione di strutture argomentative, protocolli di interazione, sistemi multi-agente, simulazione ad agenti,

Fabio Tosi

Dottorando

Tutor didattico

parole chiave: Ricostruzione 3D da immagini

parole chiave: Artificial Intelligence, Service-Oriented Computing, Internet of Things