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