Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 1996 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.). - Gabbay, Dov M., 1945-; Ohlbach, Hans Jürgen (Lecture notes in computer science., 1996)