Bridging the Gap between Formal Argumentation and Actual Human Reasoning

This talk considers several variations of this kind of reasoning with maximal consistent subsets of premises and introduces two complementary computational methods that are based on structured (logical) argumentation theory.