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

Gianluca Aguzzi

Dottorando

Tutor didattico

parole chiave: pervasive computing, artificial intelligence, sistemi distribuiti, apprendimento multi agente, paradigmi di

Kashif Akbar

Dottorando

parole chiave: Intelligenza Artificiale, Apprendimento Automatico

Roberto Amadini

Professore associato

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

Francesco Antici

Dottorando

Tutor didattico

parole chiave: Constraint Programming, Natural Language Processing, Exascale HPCs, Green AI, Machine Learning

Muhammad Waqas Arshad

Dottorando

parole chiave: informatica quantistica, intelligenza artificiale, Scienza dei dati, Apprendimento profondo e apprendimento automatico

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,

Francesco Balzan

Dottorando

parole chiave: Active Inference, Free Energy Principle, Computational Epistemology, AI for Education, Explainable AI

Ilaria Bartolini

Professoressa ordinaria

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

Alessandro Bevilacqua

Ricercatore confermato

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

Luciano Bononi

Professore ordinario

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

Guido Borghi

Ricercatore a tempo determinato tipo a) (junior)

Antonella Carbonaro

Professoressa associata confermata

parole chiave: rappresentazione dati e conoscenza, standardizzazione, web semantico, explainability, IoT, IoMT, digital health

Roberto Casadei

Ricercatore a tempo determinato tipo a) (junior)

parole chiave: intelligenza artificiale, paradigmi di programmazione, sistemi collettivi, sistemi distribuiti, pervasive computing,

Anna Ciampolini

Professoressa ordinaria

parole chiave: intelligenza artificiale, sistemi cloud, agenti intelligenti, calcolo ad alte prestazioni, virtualizzazione di sistemi

Paolo Ciancarini

Professore ordinario

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

Alex Costanzino

Dottorando

Tutor didattico

parole chiave: Computer Vision, Deep Learning, Depth Estimation, Novel View Synthesis, Neural Radiance Fields, Anomaly Detection &

Ugo Dal Lago

Professore ordinario

parole chiave: Semantica Differenziale dei Programmi, Computazione Quantistica, Crittografia, Analisi Statica dei Programmi

Allegra De Filippo

Ricercatrice a tempo determinato tipo a) (junior)

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

Enrico Denti

Professore associato confermato

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

Nicolò Di Domenico

Assegnista di ricerca

Tutor didattico

Matteo Ferrara

Professore associato

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

Giorgio Franceschelli

Dottorando

parole chiave: Deep Learning, Modelli Generativi, Reinforcement Learning, Creative AI, Proprietà Intellettuale

Annalisa Franco

Professoressa associata

parole chiave: Riconoscimento del volto, Sistemi biometrici, Riconoscimento di attività umane

Matteo Francobaldi

Dottorando

Assegnista di ricerca

Tutor didattico

parole chiave: Intelligenza artificiale, Programmazione Matematica, Apprendimento Automatico

Giacomo Frisoni

Dottorando

Tutor didattico

parole chiave: Text Mining, Natural Language Processing, Natural Language Understanding, Neuro-Symbolic Learning, Knowledge Graphs

Maurizio Gabbrielli

Professore ordinario

parole chiave: Linguaggi di programmazione, Constraint programming, Intelligenza aritificiale

Enrico Gallinucci

Ricercatore a tempo determinato tipo a) (junior)

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

Alessandro Ghibellini

Dottorando

Tutor didattico

Luca Giuliani

Dottorando

Assegnista di ricerca

Tutor didattico

parole chiave: Intelligenza Artificiale, Machine Learning, Deep Learning, Programmazione a Vincoli, Programmazione Matematica, Fair

Matteo Golfarelli

Professore ordinario

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

Paolo Italiani

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

Filippo Orazi

Dottorando

Tutor didattico

parole chiave: Computazione Quantistica, IA Quantistica

Lorenzo Pellegrini

Assegnista di ricerca

Tutor didattico

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

Danilo Pianini

Ricercatore a tempo determinato tipo b) (senior)

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

Matteo Poggi

Ricercatore a tempo determinato tipo b) (senior)

parole chiave: Computer Vision, Deep Learning, Depth Perception

Andrea Poltronieri

Dottorando

Tutor didattico

parole chiave: music information retrieval, teconologie del web semantico, musicologia computazionale, linked open data, pattern

Luca Ragazzi

Dottorando

parole chiave: Text Mining - Natural Language Processing - Natural Language Understanding - Text Summarization - Low Resource Regimes

Marco Roccetti

Professore ordinario

parole chiave: Human centric data science, Human-AI teaming, Human-Machine intelligent interaction, Human-AI collaboration,

Andrea Roli

Ricercatore confermato

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

Silvio Russo

Paolo Torroni

Professore associato

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

Angelo Trotta

Ricercatore a tempo determinato tipo a) (junior)

Giorgio Tsiotas

Dottorando

parole chiave: Computer Vision, Internet of Things, Machine Learning, Deep Learning

Lorenzo Valgimigli

Dottorando

parole chiave: Natural Language Processing, Information Retrieval, Neural Symbolic Integration

Mirko Viroli

Professore ordinario

parole chiave: Linguaggi orientati agli oggetti, Sistemi multiagente, Simulazione e verifica, Coordinazione, Ingegneria del software,

Giorgio Visani

Assegnista di ricerca

Tutor didattico

parole chiave: Machine Learning, Explainability

Fabio Vitali

Professore ordinario

parole chiave: linguaggi di markup, editoria digitale, sistemi ipertestuali, formati documentali, Explainable Artificial Intelligence,

Andrea Zanellati

Dottorando

Tutor didattico

parole chiave: learning analytics, educational data mining, technology enhanced learning, educational data science

Stefano Pio Zingaro

Ricercatore a tempo determinato tipo a) (junior)

parole chiave: Apprendimento automatico, Microservizi, Intelligenza artificiale, Dispersione scolastica