Nonmonotonic Logic door Wiktor Marek, V. Wiktor Marek & Miroslaw Truszczynski