Inproceedings,

A Composable Language for Action Models.

, , and .
Advances in Modal Logic, page 197-216. College Publications, (2014)

Meta data

Tags

Users

  • @dblp

Comments and Reviews