Publications of
Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro
A Mixed Decision Method for Duration Calculus
In : Journal of Logic and Computation, Oxford University Press, Vol. 10 N. 6, pp. 877-895, December 2000.
Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro
A Decision Method for Duration Calculus
In : Journal of Universal Computer Science, Springer-Verlag, Vol. 5 N. 11, pp. 743-764, 1999.
URL : http://www.jucs.org/jucs_5_11/a_decision_method_for
BibTeX
Tableau-based Automated Deduction for Duration Calculus
In : TABLEAUX 2002 (Automated Reasoning with Analytic Tableaux and Related Methods), Copenhague, Danemark, 30/07/02-01/08/02, LNAI, Springer, pp. 53-69, July 2002.
Déduction automatique à base de tableaux en calcul des durées
In : Formalisation des Activités Concurrentes (FAC 2002), Toulouse, 26/03/02-27/03/02.
Déduction automatique à base de tableaux en calcul des durées
In : 13e Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2002), Angers, 08/01/02-10/01/02, ., pp. 299-308, January 2002.
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), Toulouse, 17/10/01-19/10/01, Hermes Science, Paris, pp. 259-274, October 2001.
Méthode de décision hybride pour le Calcul des Durées.
In : Cinquièmes Rencontres Jeunes Chercheurs en Intelligence Artificielle (RJCIA’2000), Lyon, 11/09/00-13/09/00, ., September 2000.
URL : http://www710.univ-lyon1.fr/~rjcia/papiers/Chetcuti.pdf
BibTeX
Déduction automatique en calcul des durées basée sur la méthode des tableaux
Master’s Thesis, Université Paul Sabatier, December 2001.