Successful PhD students
Helder Coelho 1980 António Porto 1982 Miguel Filgueiras 1983
Eugénio
Oliveira 1984 José Cardoso e Cunha 1989 Miguel Calejo 1992
José Alferes 1993 Joaquim Aparício 1993 Salvador Abreu 1994
Carlos Damásio 1996 Michael
Schroeder (GER) 1997 João
Leite 2002
Jorge Simão 2003 João Alcântara (BRA) 2008 Alexandre Miguel Pinto 2011
The Anh Han
(VN) 2012 Mário Abrantes 2013
Ari
Saptawijaya (ID) 2015
Emmanuelle-Anna Dietz (GER) 2017 Abeer Dyoub (SY) 2019
Successful MSc students
Mário Negas Sílvia Martins Carlos Carreira João Leite José Ferreira de Castro Joanna Jarzyna (POL) Agostinho Monteiro Mattias Engberg (SWE) Luís Silva Alexandre Pinto Michal Malý (SLO) Luís Soares The Anh Han (VN)
Postdoctoral scholarships
Paul Sabatier (FRA) Gentil Lucena (BRA) Gerd Wagner (GER) Veronica Dahl (CAN) Sten-Åke Tärnlund (SWE) Renwei Li (CIN) Teodor Przymusinski (USA) Pierangelo Dell'Acqua (SWE) Veska Noncheva (BUL) Agnès Braud (FRA) Ning Chen (CIN) Yilling Yang (CIN) Reinhard Kahle (GER) Marco Castellani (ITA) Gregory Wheeler (USA) Armando Fernandes (POR) Terrance Swift (USA) Davide D’Alimonte (ITA) Alfredo Gabaldon (MEX) Ricardo Gonçalves (POR) Marco Alberti (ITA) Fernando da Costa Cardoso (BRA)
Courses Taught
Lecture recordings sound tools: Audio reader for Windows URL for other OS audio readers Audio formats conversion tool
Complex Networks of Mindful Entities
5 lectures at the ICCL Summer School 2010: Cognitive Science, Computational Logic and
Connectionism (ICCL-SS-2010),
TU Dresden, August/September 2010. Table of Contents (.pps) Table of Contents (.pdf) Audio
recordings: Lecture 1 Lecture 2 Lecture 3 Lecture 4 Lecture 5
Computational Logic Applications in Cognitive Sciences
5 lectures at the ICCL Summer School 2008: Computational Logic and Cognitive Science (ICCL-SS-2008),
TU Dresden, August/September 2008. Slides Supporting documents Lecture recordings Software
Pensamento Crítico (Critical Thinking) 07/08 at UNL Slides
Computação e Ciências Cognitivas 06/07 at UNL
Pensamento Crítico (Critical Thinking) 06/07 at UNL
Computational Logic Agents Jan/Feb 06 at Jakarta U. Indonesia Web Site at U. Indonesia
Science of Computational Logic 05/06 at UNL
Knowledge Representation and Reasoning 05/06 at UNL
Computação e Ciências Cognitivas 04/05 at UNL
Seminários de Informática 04/05 at UNL
Knowledge Representation and Reasoning with Logic Programming Jan/Feb 05 at Hanoi T.U.
Representação do Conhecimento e Raciocínio 04/05 at UNL
Computational Agents Nov/Dec 03 at T.U. Dresden
Computação e Ciências Cognitivas 02/03 at UNL
Raciocínio Computacional 02/03 at UNL
Representação do Conhecimento e Raciocínio Computacional 01/02 at UNL