14 August 2014 → 30 September 2016
Regional and community funding: Special Research Fund, Research Foundation - Flanders (FWO)
- Theory and methodology of philosophy
- Artificial intelligence
- Cognitive science and intelligent systems
formal argumentation non-monotonic logic defeasible reasoning
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.