Naoyuki Nide, Shiro Takata. Deduction systems for BDI logics using sequent calculus. In The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings. pages 928-935, ACM, 2002. [doi]
@inproceedings{NaoyukiT02,
title = {Deduction systems for BDI logics using sequent calculus},
author = {Naoyuki Nide and Shiro Takata},
year = {2002},
doi = {10.1145/544862.544955},
url = {http://doi.acm.org/10.1145/544862.544955},
tags = {logic},
researchr = {https://researchr.org/publication/NaoyukiT02},
cites = {0},
citedby = {0},
pages = {928-935},
booktitle = {The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings},
publisher = {ACM},
}