Marcos Alexandre Castilho

Marcos Alexandre Castilho is an Associate Professor at the Department of Computer Science
of the Federal University of Paraná. Interest areas are:

Logic in Artificial Intelligence
Knowledge Representation, Reasoning About Actions and planning
Mechanichal Theorem Proving
Free Software

Papers.
Research.

Address:

Departamento de Informática - UFPR 
Centro Politécnico - Jardim das Américas
Caixa Postal 19081
81531-990 - Curitiba/PR - Brasil
Voice: (+55) 41.361.3683
Fax:   (+55) 41.361.3205
E-mail: 
URL: http://www.inf.ufpr.br/~marcos

A more complete version of these page is avaiable in portuguese only.

last update: 04/03/2011.