Welcome to the homepage of the Research Group for Logic in Philosophy and Artificial Intelligence (LogPhiAI) at the Institute for Philosophy II, Ruhr-University Bochum.
The group has been originally funded under the name Research Group for Non-Monotonic Logic and Formal Argumentation by a Sofja Kovalevskaja Award of the Alexander von Humboldt-Foundation from September 2014 to September 2019. One research focus of the group is nonmonotonic logic as a formal model of defeasible reasoning. The group actively contributes research in the areas of