Simplified Boardgames
  We formalize Simplified Boardgames language, which describes a subclass of arbitrary board games. The language structure is based on the regular expressions, which makes the rules easily machine-processable while keeping the rules concise and fairly human-readable. 
Jakub Kowalski, Jakub Sutowicz, Marek Szyku{\l}a
cs.AI