Travelled to:
1 × Republic of China
Collaborated with:
V.T.d.Silva C.J.P.d.Lucena
Talks about:
knowledg (1) system (1) reason (1) design (1) verif (1) multi (1) agent (1) base (1) use (1)
Person: Anarosa Brandão
DBLP: Brand=atilde=o:Anarosa
Contributed to:
Wrote 1 papers:
- SEKE-2005-BrandaoSL #design #knowledge-based #multi #reasoning #using #verification
- Multi-Agent System Design Verification Using Knowledge-based Reasoning (AB, VTdS, CJPdL), pp. 602–607.