T E A C H I N G · A
C T I V I T
I E S
@UNIBZ
(in English)
| (2011-2012) |
Non-classical logics
|
[NCL] |
| (2010-2011) |
Non-classical logics
|
[NCL] |
| (2009-2010) |
Functional
and logic
programming
languages |
[FaLPL] |
@UNIMIB
(in Italian)
| (2008) |
Computational
models in artificial intelligence |
[CM-I] |
| (2002-2007) |
Programming
languages |
[LP-I
LP-II
LP-III] |
| (2005-2007) |
Knowledge
representation and reasoning |
[KR-I
KR-II
KR-III] |
| (2006-2008) |
Artificial
intelligence |
[AI-I
AI-II] |
| (2003-2008) |
Computational
models for communication |
[M4C-I
M4C-II
M4C-III] |
| (2002) |
Master
in computer science for humanities |
|
| (2002) |
Master
in computer science technologies for the
new economy |
|
|
KRDB
Research Centre