Partenaires

CNRS
Université d'Artois IUT de Lens



retour à l'accueil

Accueil du site > Annuaire > Annuaire des personnels > Annuaire

Annuaire

Nathalie Chetcuti-Sperandio

Maître de conférences

Axe(s) de recherche

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

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

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

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

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

Communication(s) dans des conférences d'audience internationale avec publication des actes

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

Chetcuti-Sperandio Nathalie, Delorme Fabien, Lagrue Sylvain, Stackowiak Denis,
Determination and Evaluation of Efficient Strategies for a Stop or Roll Dice Game: Heckmeck am Bratwurmeck (Pickomino),
dans IEEE Symposium on Computational Intelligence and Games (CIG'08), IEEE Press, pp. 175-182, décembre 2008. [Télécharger] [BibTeX...]

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

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

Communication(s) dans des conférences d'audience internationale sans publication des actes

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

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

Communication(s) dans des conférences d'audience nationale

Cardon Stéphane, Chetcuti-Sperandio Nathalie, Delorme Fabien, Lagrue Sylvain,
Pickomania : un logiciel pour jouer à Pickomino,
dans 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) [Télécharger] [BibTeX...]

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

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

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

Chetcuti-Sperandio Nathalie, Massacci F.,
Sémantique et raisonnement automatique pour une infrastructure à clés publiques,
dans 14ème congrès francophone sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA'04), pp. 1165-1174, janvier 2004. [BibTeX...]

Chetcuti-Sperandio Nathalie,
Déduction automatique à base de tableaux en calcul des durées,
dans Formalisation des Activités Concurrentes (FAC'02), mars 2002. [BibTeX...]

Chetcuti-Sperandio Nathalie,
Déduction automatique à base de tableaux en calcul des durées,
dans 13ème congrès francophone sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA'02), pp. 299-308, janvier 2002. [BibTeX...]

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

Chetcuti-Sperandio Nathalie,
Méthode de décision hybride pour le calcul des Durées,
dans 5èmes Rencontres Jeunes Chercheurs en Intelligence Artificielle (RJCIA'00), septembre 2000. [BibTeX...]

Thèse de doctorat

Chetcuti-Sperandio Nathalie,
Déduction automatique en calcul des durées basée sur la méthode des tableaux,
thèse de doctorat, Université Paul Sabatier Toulouse, décembre 2001. [BibTeX...]

Rapport(s) de DEA / Master Recherche

Chetcuti-Sperandio Nathalie,
Extension de la méthode des tableaux en logique multimodale,
rapport de DEA/Master recherche, Université Paul Sabatier (Toulouse III), juin 1998. [BibTeX...]