All Classes (Tweety (Reiter's Default Logic Library) 1.12 API)