Section: New Results

Miscellaneous

Participants : Eric Monfroy, Florian Richoux.

• [15] gives a complete characterization of the complexity of the existential positive first-order logic, that one can interpret as model checking on monotone csp. We exhibit a dichotomy criterion remaining the same on finite domains of every cardinality, as well as countable and uncountable infinite domains.

• We develop an artificial intelligence, AIUR, to play the real time strategy game $StarCraf{t}^{tm}$, using both machine learning and constraint-based techniques. AIUR finished 3^rd to $StarCraf{t}^{tm}$ AI competitions organized at the conferences AIIDE 2013 and CIG 2013. [18] presents a survey on AI techniques applied on $StarCraf{t}^{tm}$.