- You are here:
- Startseite
- About
- Map of International Research Activities (MIRA)
- Detail
Back
Back
Author |
|
Name | Heyninck, Jesse |
Research field | / |
Career stage | doctoral researcher |
Home university/institution | Ruhr-Universität Bochum (RUB) |
Department/Research unit at home university/institution | Philosophy and Educational Research |
Chair/Working group at home institution | Philosophie II |
International activity |
|
Country | South Africa |
Location | Cape Town |
University | / |
Fund Research School | International Realization Budget |
Type of activity | conference visit |
Period | No dates specified |
Keywords | / |
Report | In this joint work with Christian Strasser, we make a contribution to the unification of formal models of defeasible reasoning. We present several translations between formal argumentation frameworks and nonmonotonic logics for reasoning with plausible assumptions. More specifically, we translate adaptive logics (ALs) into assumption-based argumentation (ABA) and ASPIC+, ASPIC+ into ABA and a fragment of ABA into ALs. ALs are closely related to default assumptions and to a significant class of systems within the tradition of preferential semantics in the vein of KLM and Shoham. Thus, our results also provide close links between formal argumentation and the latter approaches. nmr2016.cs.uct.ac.za |