Generalised Proof-Theory for Multi-Agent Autoepistemic Reasoning. - Yongyuth Permpoontanalarp; John Yuejun Jiang (ICMAS, 1995)

On Multi-Agent Autoepistemic Reasoning. - Yongyuth Permpoontanalarp; John Yuejun Jiang (WOCFAI, 1995)