Translating Multi-Agent Autoepistemic Logic into Logic Program.

Katsuhiko Toyama Takahiro Kojima Yasuyoshi Inagaki Translating Multi-Agent Autoepistemic Logic into Logic Program. 49-62 2002 conf/clima/2002 CLIMA III db/conf/clima/clima2002.html#ToyamaKI02