Logics in artificial intelligence European workshop, JELIA '98, Dagstuhl, Germany, October 12 - 15, 1998 ; proceedings (Springer, 1998)