Translating Multi-Agent Autoepistemic Logic into Logic Program

Katsuhiko Toyama, Takahiro Kojima, Yasuyoshi Inagaki. Translating Multi-Agent Autoepistemic Logic into Logic Program. In Jürgen Dix, João Alexandre Leite, Ken Satoh, editors, Computational Logic in Multi-Agent Systems: 3rd International Workshop, CLIMA 02, Copenhagen, Denmark, August 1, 2002, Pre-Proceedings. Volume 93 of Datalogiske Skrifter, pages 49-62, Roskilde University, 2002.

Abstract

Abstract is missing.