%0 Conference Paper %1 conf/atal/NaoyukiT02 %A Nide, Naoyuki %A Takata, Shiro %B AAMAS %D 2002 %I ACM %K dblp %P 928-935 %T Deduction systems for BDI logics using sequent calculus. %U http://dblp.uni-trier.de/db/conf/atal/aamas2002.html#NaoyukiT02

@inproceedings{conf/atal/NaoyukiT02, added-at = {2018-11-06T00:00:00.000+0100}, author = {Nide, Naoyuki and Takata, Shiro}, biburl = {https://www.bibsonomy.org/bibtex/26bb454dda952a0656428b29f2fc0202d/dblp}, booktitle = {AAMAS}, crossref = {conf/atal/2002}, ee = {https://doi.org/10.1145/544862.544955}, interhash = {1f33939a359d3e0c40df7bfebc33af4f}, intrahash = {6bb454dda952a0656428b29f2fc0202d}, keywords = {dblp}, pages = {928-935}, publisher = {ACM}, timestamp = {2018-11-07T15:40:22.000+0100}, title = {Deduction systems for BDI logics using sequent calculus.}, url = {http://dblp.uni-trier.de/db/conf/atal/aamas2002.html#NaoyukiT02}, year = 2002 }