Travelled to:
1 × USA
Collaborated with:
Y.Zhang
Talks about:
program (1) environ (1) system (1) formal (1) extend (1) multi (1) mobil (1) logic (1) agent (1) base (1)
Person: Jianwen Chen
DBLP: Chen:Jianwen
Contributed to:
Wrote 1 papers:
- CIKM-2004-ChenZ #formal method #logic programming #mobile #multi
- An extended logic programming based multi-agent system formalization in mobile environments (JC, YZ), pp. 166–167.