Teaching

  • Computational Logic (CL): http://knowdive.disi.unitn.it/logic/
  • Knowledge and Data Integration (KDI): http://knowdive.disi.unitn.it/kdi/