Publications

Articles de revues internationales

2000 Nathalie Chetcuti-Sperandio, L. Farinas Del Cerro, A Mixed Decision Method for Duration Calculus in Journal of Logic and Computation (JLC),vol. 10, n° 6, Oxford University Press, pp. 877-895, decembre 2000.

1999 Nathalie Chetcuti-Sperandio, L. Farinas Del Cerro, A Decision Method for Duration Calculus in Journal of Universal Computer Science (JUCS),vol. 5, n° 11, Springer, pp. 743-764, 1999.

Articles de conférences internationales

2020 Nathalie Chetcuti-Sperandio, Alix Goudyme, Sylvain Lagrue, Tiago De Lima, First Steps for Determining Agent Intention in Dynamic Epistemic Logic in 12th International Conference on Agents and Artifical Intelligence (ICAART 2020),SCITEPRESS, pp. 717–724, février 2020.

2018 Nathalie Chetcuti-Sperandio, Fabien Delorme, Sylvain Lagrue, On aggregate and comparison functions for Motus/Lingo playing in 10th International Conference on Computers and Games (CG’18),juillet 2018.

2017 Ma Thi Chau, Nathalie Chetcuti-Sperandio, Sylvain Lagrue, Thuy Nguyen Thanh, Bui The Duy, Towards an Ontology for Vietnamese Water Puppetry in 2nd International Conference on Digital Arts, Media and Technology (ICDAMT’17),IEEE Press, pp. 302-307, mars 2017.

2011 Stéphane Cardon, Nathalie Chetcuti-Sperandio, Fabien Delorme, Sylvain Lagrue, A Markovian Process Modelling for Pickomino in 7th International Conference on Computers and Games (CG’10),Springer, pp. 199-210, janvier 2011. (Lecture Notes in Computer Science, Vol. 6515)

2008 Nathalie Chetcuti-Sperandio, Fabien Delorme, Sylvain Lagrue, Denis Stackowiak, Determination and Evaluation of Efficient Strategies for a Stop or Roll Dice Game: Heckmeck am Bratwurmeck (Pickomino) in IEEE Symposium on Computational Intelligence and Games (CIG’08),IEEE Press, pp. 175-182, decembre 2008.

2008 Nathalie Chetcuti-Sperandio, Sylvain Lagrue, How to Choose Weightings to Avoid Collisions in a Restricted Penalty Logic in 11th International Conference on Principles of Knowledge Representation and Reasoning (KR’08),AAAI Press, pp. 340-347, septembre 2008.

2003 Nathalie Chetcuti-Sperandio, F. Massacci, A semantics and a calculi for reasoning about credential-based systems in Methods for Modalities 3 (M4M3),pp. 61-76, septembre 2003.

2002 Nathalie Chetcuti-Sperandio, Tableau-based Automated Deduction for Duration Calculus in Tableaux 2002 (Automated Reasoning with Analytic Tableaux and Related Methods),Springer, LNAI 2381, pp. 53-69, août 2002.

Articles de workshops internationaux

2019 Sylvain Lagrue, Nathalie Chetcuti-Sperandio, Fabien Delorme, Ma Thi Chau, Duyen Ngo Thi, Karim Tabia, Salem Benferhat, An Ontology Web Application-based Annotation Tool for Intangible Culture Heritage Dance Videos in 1st Workshop on Structuring and Understanding of Multimedia heritAge Contents (SUMAC),ACM, octobre 2019.

2003 Nathalie Chetcuti-Sperandio, F. Massacci, Reasoning about Credential-based Systems in Workshop on Formal Aspects in Security and Trust (FAST),pp. 23-38, septembre 2003.

Articles de revues nationales

2009 Nathalie Chetcuti-Sperandio, Sylvain Lagrue, Pondérations, collisions et préservation de la majorité en logique des pénalités in Information-Interaction-Intelligence (I3),vol. 9, n° 2, Cépaduès, decembre 2009.

Articles de conférences nationales

2019 Alix Goudyme, Nathalie Chetcuti-Sperandio, Sylvain Lagrue, Intention et logique épistémique dynamique in 17èmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA’19),pp. 1-9, juillet 2019.

2016 Nathalie Chetcuti-Sperandio, Fabien Delorme, Sylvain Lagrue, Des fonctions d’agrégation et de comparaison pour jouer à Motus in 25èmes Rencontres Francophones sur la Logique Floue et ses Applications (LFA’16),Cépaduès Editions, pp. 129-136, novembre 2016.

2010 Stéphane Cardon, Nathalie Chetcuti-Sperandio, Fabien Delorme, Sylvain Lagrue, Pickomania : un logiciel pour jouer à Pickomino in 17ème congrès francophone sur la Reconnaissance des Formes et l’Intelligence Artificielle (RFIA’10),pp. 895-896, janvier 2010. (Session démonstrations de logiciels)

2009 Nathalie Chetcuti-Sperandio, Fabien Delorme, Sylvain Lagrue, Denis Stackowiak, Évaluation d’algorithmes de type Monte-Carlo pour Pickomino in Journées Nationales de l’Intelligence Artificielle Fondamentale (IAF’09),octobre 2009.

2009 Stéphane Cardon, Nathalie Chetcuti-Sperandio, Fabien Delorme, Sylvain Lagrue, Décision markovienne appliquée à un jeu de stop ou encore : Pickomino (Heckmeck Am Bratwurmeck) in Rencontres francophones sur la logique floue et ses appllications (LFA’09),Cépaduès, pp. 159-166, novembre 2009.

2008 Nathalie Chetcuti-Sperandio, Sylvain Lagrue, Pondérations et collisions en logique des pénalités in Journées Nationales de l’Intelligence Artificielle Fondamentale (IAF’08),octobre 2008.

2004 Nathalie Chetcuti-Sperandio, F. Massacci, Sémantique et raisonnement automatique pour une infrastructure à clés publiques in 14ième congrès francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA),pp. 1165-1174, janvier 2004.

2002 Nathalie Chetcuti-Sperandio, Déduction automatique à base de tableaux en calcul des durées in 13 ème congrès francophone AFRIF-AFIA de reconnaissance des Formes et Intelligence Artificielle (RFIA 2002),pp. 299-308, janvier 2002.

2002 Nathalie Chetcuti-Sperandio, Déduction automatique à base de tableaux en calcul des durées in Formalisation des activités Concurrentes (FAC 2002),mars 2002.

2001 Nathalie Chetcuti-Sperandio, Méthode de décision hybride pour le calcul des durées in Colloque francophone sur la Modélisation des systèmes Réactifs (MSR 2001),Hermès Science, pp. 259-274, octobre 2001.

2000 Nathalie Chetcuti-Sperandio, Méthode de décision hybride pour le calcul des Durées in Cinquièmes Rencontres Jeunes Chercheurs en Intelligence Artificielle (RJCIA 2000),septembre 2000.

Articles de Workshops nationaux

2019 Alix Goudyme, Nathalie Chetcuti-Sperandio, Sylvain Lagrue, Tiago De Lima, Intention et logique épistémique dynamique in 17èmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA’19),juillet 2019.

Thèses de doctorat

2001 Nathalie Chetcuti-Sperandio, Déduction automatique en calcul des durées basée sur la méthode des tableaux Université Paul Sabatier Toulouse, decembre 2001.

Rapports de DEA / Master recherche

1998 Nathalie Chetcuti-Sperandio, Extension de la méthode des tableaux en logique multimodale Université Paul Sabatier (Toulouse III), juin 1998.