Jan Murray, Oliver Obst, Frieder Stolzenburg. Towards a Logical Approach for Soccer Agents Engineering. In Peter Stone, Tucker R. Balch, Gerhard K. Kraetzschmar, editors, RoboCup 2000: Robot Soccer World Cup IV. Volume 2019 of Lecture Notes in Computer Science, pages 199-208, Springer, 2000. [doi]
Abstract is missing.