1. Department of Mathematics and Computer Science, Freie Universität Berlin, Germany
2. Department of Artificial Intelligence, University of Groningen, The Netherlands
3. Dipartimento di Informatica e Sistemistica, Sapienza University of Roma, Italy
4. Knowledge-Based Systems Group, RWTH Aachen University, Germany