The Fourth Workshop on Learning with Logics and Logics for Learning (LLLL2006)