Representing and Reasoning about Game Strategies


As a contribution to the challenge of building game-playing AI systems, we develop and analyse a formal language for representing and reasoning about strategies. Our logical language builds on the existing general Game Description Language (GDL) and extends it by a standard modality for linear time along with two dual connectives to express preferences when… (More)
DOI: 10.1007/s10992-014-9334-6


1 Figure or Table