Tweety: a comprehensive collection of java libraries for logical aspects of artificial intelligence and knowledge representation
on the acceptability of arguments and its fundamental role in nonmonotonic reasoning , logic programming and n - person games .