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.
@inproceedings{PermpoontanalarpJ95,
title = {Generalised Proof-Theory for Multi-Agent Autoepistemic Reasoning},
author = {Yongyuth Permpoontanalarp and John Yuejun Jiang},
year = {1995},
researchr = {https://researchr.org/publication/PermpoontanalarpJ95},
cites = {0},
citedby = {0},
pages = {304-311},
booktitle = {Proceedings of the First International Conference on Multiagent Systems, June 12-14, 1995, San Francisco, California, USA},
editor = {Victor R. Lesser and Les Gasser},
publisher = {The MIT Press},
isbn = {0-262-62102-9},
}