Nathalie Chetcuti-Sperandio

According to our database1, Nathalie Chetcuti-Sperandio authored at least 11 papers between 1999 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Checking Agent Intentions in Games.
Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

2020
First Steps for Determining Agent Intention in Dynamic Epistemic Logic.
Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

2019
Intention et logique épistémique dynamique.
Proceedings of the Actes des 17èmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle, 2019

An Ontology Web Application-based Annotation Tool for Intangible Culture Heritage Dance Videos.
Proceedings of the 1st Workshop on Structuring and Understanding of Multimedia heritAge Contents, 2019

2018
On aggregate and comparison functions for Motus/Lingo playing.
J. Int. Comput. Games Assoc., 2018

2010
A Markovian Process Modeling for Pickomino.
Proceedings of the Computers and Games - 7th International Conference, 2010

2008
How to Choose Weightings to Avoid Collisions in a Restricted Penalty Logic.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Determination and evaluation of efficient strategies for a stop or roll dice game: Heckmeck am Bratwurmeck (Pickomino).
Proceedings of the 2008 IEEE Symposium on Computational Intelligence and Games, 2008

2002
Tableau-Based Automated Deduction for Duration Calculus.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002

2000
A mixed decision method for duration calculus.
J. Log. Comput., 2000

1999
A Decision Method for Duration Calculus.
J. Univers. Comput. Sci., 1999


  Loading...