Nonmonotonic logic context dependent reasoning - Marek, Victor W. 1943-; Truszczyński, Mirosław (Artificial intelligence, 1993)