This website needs JavaScript enabled to work correctly. Here you can find instructions on how to enable JavaScript in your browser.
Anton.Gnatenko@student.unibz.it
Personal Website
Description logic, temporal logic