Versão em Português
Home Page
Academic Formation
Professional Experience
Current Situation
Interest Areas
Research Project
Didactic Material
To my Graduate Students
Publications
Scientific Events
Examining Committees
Software
Viewpoints
Links
Contact
Interest Areas
Modeling and Automation of Reasoning
Logics for Knowledge Representation
Non Monotonic Logics
Paraconsistent and/or Paracomplete Logics
Logics of Description
Universal Logic
UFSC - INE
Desenvolvimento: Andressa Sebben