Twelve Years of Nonmonotonic Reasoning Research: Where (and What) Is the Beef