Publications

Article(s) de revue(s) internationale(s)

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.

Article(s) de conférence(s) internationale(s)

2017 Ma Thi Chau, Nathalie Chetcuti-Sperandio, Sylvain Lagrue, Thuy Nguyen Thanh, Bui The Duy, Towards an Ontology for Vietnamese Water Puppetry in The 2nd International Conference on Digital Arts, Media and Technology (ICDAMT 2017),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, 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.

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.

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.

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.

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.

Article(s) de revue(s) nationale(s)

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.

Article(s) de conférence(s) nationale(s)

2016 Nathalie Chetcuti-Sperandio, Fabien Delorme, Sylvain Lagrue, Des fonctions d?agrégation et de comparaison pour jouer à Motus in Rencontres francophones sur la logique floue et ses applications (LFA 2016),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 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èse(s) 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.

Rapport(s) 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.