Yongyuth Permpoontanalarp, John Yuejun Jiang. Generalised Proof-Theory for Multi-Agent Autoepistemic Reasoning. In Victor R. Lesser, Les Gasser, editors, Proceedings of the First International Conference on Multiagent Systems, June 12-14, 1995, San Francisco, California, USA. pages 304-311, The MIT Press, 1995.
Abstract is missing.