Travelled to:1 × USA
Collaborated with:A.Russo K.Broda E.Lupu F.Le D.Wood J.Lobo
Talks about:confidenti (1) distribut (1) approach (1) analysi (1) specif (1) reason (1) execut (1) declar (1) comput (1) abduct (1)
Person: Jiefei Ma
DBLP: Ma:Jiefei
Contributed to:
20132011Wrote 2 papers:
- ICLP-J-2013-MaLWRL #analysis #approach #declarative #distributed #execution #specification
- A declarative approach to distributed computing: Specification, execution and analysis (JM, FL, DW, AR, JL), pp. 815–830.
- ICLP-2011-MaRBL #abduction #multi #reasoning
- Multi-agent Confidential Abductive Reasoning (JM, AR, KB, EL), pp. 175–186.