Back to Search Start Over

Algorithms for Reasoning in a Default Logic Instantiation of Assumption-Based Argumentation