Deduction Systems for BDI Logics with Mental State Consistency
Nide Naoyuki, Shiro Takata, Tadashi AraragiVolume:
70
Year:
2002
Language:
english
Pages:
13
DOI:
10.1016/s1571-0661(04)80593-0
File:
PDF, 261 KB
english, 2002