Free University of Bozen-Bolzano

•   Research institution
•   Bozen-Bolzano
•   http://www.unibz.it

Partner organization of the research group(s)

• Computational Logic
• Automata Theory
• Knowledge Representation and Reasoning
• Knowledge-Based Systems