“...International Conference on Logic Programming Udine, Itálie)...”