Non-monotonic reasoning : formalization of commonsense reasoning 1990 · ENGLISH · DJVU View details →