Hustadt, Ullrich Programming Logics, MPI for Informatics, Max Planck Society;
Hustadt, U. (1994). Common and Mutual Belief for Agent Modeling. In J., Kunze, & H., Stoyan (Eds.), {KI-94} Workshops: Extended Abstracts (pp. 123-124). Bonn, Germany: Gesellschaft für Informatik.