Jörg Siekmann, Helmut Horacek, Michael Kohlhase, C. Benzmüller, L. Cheikhrouhou, D. Fehrer, A. Fiedler, S. Hess, K. Konrad, A. Meier, E. Melis and V. Sorge
An Interactive Proof Development Environment + Anticipation = A Mathematical Assistant?
Andrej Škraba, Miroljub Kljajic, Davorin Kofjač, Matevž Bren and Crtomir Rozman
Anticipation as the Source of Synchronization in Discrete Agents
