“…Joint International Conference and Symposium on Logic Programming Bonn, Germany…”