A discussion of how linear logic relates to computability logic, - the game-sematically introduced logic of computational resources and interactive computation.
Kynogon develops advanced AI solutions for the interactive entertainment industry and takes into account the uniqueness of each game. Costs are reduced, deadlines achieved and time-to-market respected.
IGDA has set up the AI Interface Standards Committee to develop AI interface standards for computer games. The initiative is a joint effort of game AI developers, middleware representatives, academics and other relevant experts.