Deduction systems for BDI logics using sequent calculus - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Naoyuki Nide' in GoogleThis author has not been identified. Look up 'Shiro Takata' in Google

runs on WebDSL