An approach from answer set programming to decision making in a railway interlocking system | Publicación