Nathalie Chetcuti-Sperandio

发表

Luis Fariñas del Cerro, Nathalie Chetcuti-Sperandio, 1999, J. Univers. Comput. Sci..

Tableau-Based Automated Deduction for Duration Calculus

Nathalie Chetcuti-Sperandio, Nathalie Chetcuti-Sperandio, 2002, TABLEAUX.

A mixed decision method for duration calculus

Luis Fariñas del Cerro, Nathalie Chetcuti-Sperandio, L. F. D. Cerro, 2000, J. Log. Comput..

Determination and evaluation of efficient strategies for a stop or roll dice game: Heckmeck am Bratwurmeck (Pickomino)

Sylvain Lagrue, Fabien Delorme, Nathalie Chetcuti-Sperandio, 2008, 2008 IEEE Symposium On Computational Intelligence and Games.

How to Choose Weightings to Avoid Collisions in a Restricted Penalty Logic

Sylvain Lagrue, Nathalie Chetcuti-Sperandio, 2008, KR.

Checking Agent Intentions in Games

Sylvain Lagrue, Alix Goudyme, Nathalie Chetcuti-Sperandio, 2021, 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI).