Tweety: a comprehensive collection of java libraries for logical aspects of artificial intelligence and knowledge representation
system z : a natural ordering of defaults with tractable applications to nonmonotonic reasoning .