Formal epistemology concerns the application of formal methods to the study of knowledge and its role in reasoning, decision making, and action. There is a very active and congenial formal epistemology research community at Universidade Nova de Lisboa featuring internationally recognized experts in the fields of philosophy, mathematics, and computer science. Students working in any of these fields who have an interest in decision theory, the theory of games, mathematical, philosophical, or computational logics, formal semantics, proof theory, multi-agent systems, semantic web technologies, approximate reasoning, reasoning under conditions of uncertainty, or reasoning about actions are encouraged to contact us.

• Jesse Alama (CENTRIA): Logic, proof theory
• Marco Alberti (CENTRIA): Multi-agent systems, computational logic
• Luíz Carlos Baptista (IFL): Philosophy of mind, metaphysics
• Carlos Damásio (CENTRIA): Semantic web, logic
• Alfredo Gabaldon (CENTRIA): Reasoning about actions
• Ricardo Gonçalves (CENTRIA): Logic, semantic web
• Reinhard Kahle (CENTRIA): Logic, proof theory
• João Leite (CENTRIA): Multi-agent systems, computational logic
• Franck Lihoreau (IFL): Epistemology, philosophical logic
• Luís Moniz Pereira (CENTRIA): Computational reasoning, cognitive science
• Erich Rast (IFL): Formal semantics, philosophical logic
• João de Deus Santos Sàágua (IFL): Logic, philosophy of logic
• Francisco C. Santos (CENTRIA): Evolutionary game theory, complex networks
• Choh Man Teng (CENTRIA): Uncertain reasoning, machine learning
• Gregory Wheeler (CENTRIA): Uncertain reasoning, logic

CENTRIA - Center for Artificial Intelligence
Faculty of Science and Technology
New University of Lisbon
2829-516 Caparica, Portugal [map]

IFL - Institute for the Philosophy of Language
Avenida de Berna, 26
Faculty of Social Sciences and Humanities
New University of Lisbon
1069-061 Lisboa, Portugal