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

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. (to appear)

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

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

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 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.

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.

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 Formalisation des activités Concurrentes (FAC 2002),mars 2002.

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.

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.

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.