Inproceedings,

Formalizing Belief Reports - The Approach and a Case Study.

, , and .
AIMSA, volume 1480 of Lecture Notes in Computer Science, page 62-75. Springer, (1998)

Meta data

Tags

Users

  • @cghidini
  • @dblp

Comments and Reviews