Game Description Logic with Integers: A GDL Numerical Extension

Munyque Mittelmann, Laurent Perrussel

Many problems can be viewed as games, where one or more agents try to ensure that certain objectives hold no matter the behavior from the environment and other agents. In recent ye…