Inproceedings,

Evidence elimination in multi-agent justification logic.

.
TARK, page 227-236. (2009)

Meta data

Tags

Users

  • @dblp

Comments and Reviews