Coordinates

Academia Manifestos

Centro de Inteligência Artificial

Courses & Talks

Editorial Boards

Honours

MSc in Computational Logic

Projects

Publications

Software

Teaching