Inproceedings,

Time and norms: a formalisation in the event-calculus.

, and .
ICAIL, page 90-99. ACM, (1999)

Meta data

Tags

Users

  • @dblp

Comments and Reviews