Micro-blogging has increasingly been an important tool for communication among people. The web services like Twitter, Facebook, provide certain kinds of micro-blogging. Typically, they allow you to record your current status, such as your thoughts, your feelings, or your discoveries, etc, and share them among your friends or other people. Human beings, as social animals, [...]

Title: Verification of Games in the Game Description Language Authors: Ji Ruan, Wiebe van der Hoek, and Michael Wooldridge Abstract: The Game Description Language (GDL) is a special purpose declarative language for defining games. GDL is used in the AAAI General Game Playing Competition, which tests the ability of computer programs to play games in [...]