Deduction Systems for BDI Logics with Mental State Consistency

Sorry, there's nothing here.

Cite this paper

@inproceedings{Nide2002DeductionSF, title={Deduction Systems for BDI Logics with Mental State Consistency}, author={Naoyuki Nide and Shiro Takata and Tadashi Araragi}, booktitle={Electr. Notes Theor. Comput. Sci.}, year={2002} }