Observability-Based Nested Belief Computation for Multiagent Systems and its Formalization.

Hideki Isozaki Hirofumi Katsuno Observability-Based Nested Belief Computation for Multiagent Systems and its Formalization. 27-41 1999 conf/atal/1999 ATAL db/conf/atal/atal1999.html#IsozakiK99