Nathalie Chetcuti-Sperandio

12 papers A* 1B 2Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2021 B conf
Checking Agent Intentions in Games.
ICTAI
Nathalie Chetcuti-Sperandio, Alix Goudyme, Sylvain Lagrue, Tiago de Lima
2020 — conf
First Steps for Determining Agent Intention in Dynamic Epistemic Logic.
ICAART (2)
Nathalie Chetcuti-Sperandio, Alix Goudyme, Sylvain Lagrue, Tiago de Lima
2019 — conf
An Ontology Web Application-based Annotation Tool for Intangible Culture Heritage Dance Videos.
SUMAC @ ACM Multimedia
Sylvain Lagrue, Nathalie Chetcuti-Sperandio, Fabien Delorme, Ma Thi Chau, Duyen Ngo Thi, Karim Tabia, Salem Benferhat
2019 — conf
Intention et logique épistémique dynamique.
RJCIA
Alix Goudyme, Nathalie Chetcuti-Sperandio, Sylvain Lagrue, Tiago de Lima
2018 J jnl
On aggregate and comparison functions for Motus/Lingo playing.
ICGA J.
Nathalie Chetcuti-Sperandio, Fabien Delorme, Sylvain Lagrue
2010 — conf
A Markovian Process Modeling for Pickomino.
Computers and Games
Stéphane Cardon, Nathalie Chetcuti-Sperandio, Fabien Delorme, Sylvain Lagrue
2008 — conf
Determination and evaluation of efficient strategies for a stop or roll dice game: Heckmeck am Bratwurmeck (Pickomino).
CIG
Nathalie Chetcuti-Sperandio, Fabien Delorme, Sylvain Lagrue, Denis Stackowiak
2008 A* conf
How to Choose Weightings to Avoid Collisions in a Restricted Penalty Logic.
KR
Nathalie Chetcuti-Sperandio, Sylvain Lagrue
2002 B conf
Tableau-Based Automated Deduction for Duration Calculus.
TABLEAUX
Nathalie Chetcuti-Sperandio
2000 — conf
A Decision Method for Duration Calculus.
RelMiCS
Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro
2000 J jnl
A mixed decision method for duration calculus.
J. Log. Comput.
Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro
1999 J jnl
A Decision Method for Duration Calculus.
J. Univers. Comput. Sci.
Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro