Hustadt, Ullrich Programming Logics, MPI for Informatics, Max Planck Society;
Hustadt@MEP-KI1994-3.pdf (Any fulltext), 138KB
Hustadt, U. (1994). Common and Mutual Belief for Agent Modeling. In J. Kunze, & H. Stoyan (Eds.), KI-94 Workshops (pp. 123-124). Bonn, Germany: Gesellschaft für Informatik.