it gb
it gb

Knowledge representation, Automated Reasoning, Logic and ontologies

People

Members

Valentina GLIOZZI

Viviana PATTI

Gian Luca POZZATO

Collaborators

Matteo BALDONI

Cristina BAROGLIO

Alberto MARTELLI

External collaborators

Laura GIORDANO (DISIT, Università del Piemonte Orientale)

Nicola OLIVETTI (Aix-Marseille University (AMU) and CNRS Laboratory LSIS)