Code
3E014513
Duration
14 August 2014 → 30 September 2016
Funding
Regional and community funding: Special Research Fund, Research Foundation - Flanders (FWO)
Promotor
Fellow
Research disciplines
-
Natural sciences
- Artificial intelligence
-
Humanities and the arts
- Theory and methodology of philosophy
-
Social sciences
- Cognitive science and intelligent systems
Keywords
formal argumentation
non-monotonic logic
defeasible reasoning
Project description
This project investigates the formal modeling of defeasible reasoning. It is studied with the help of tools from formal argumentation as well as non-monotonic logic. The goal is to establish a foundational and unifying formal framework for defeasible reasoning.