Best-first search for property Maintenance in reactive constraints systems

Narendra Jussien 1, * Patrice Boizumault 2
* Auteur correspondant
1 TASC - Theory, Algorithms and Systems for Constraints
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
2 codag
Mines Nantes - Mines Nantes
Résumé : no abstract
Type de document :
Communication dans un congrès
International Logic Programming Symposium, 1997, Port Jefferson, N.Y., United States. MIT Press, pp.339--353, 1997
Liste complète des métadonnées

https://hal.inria.fr/hal-00869131
Contributeur : Narendra Jussien <>
Soumis le : mercredi 2 octobre 2013 - 14:43:42
Dernière modification le : vendredi 22 juin 2018 - 09:34:49

Identifiants

  • HAL Id : hal-00869131, version 1

Citation

Narendra Jussien, Patrice Boizumault. Best-first search for property Maintenance in reactive constraints systems. International Logic Programming Symposium, 1997, Port Jefferson, N.Y., United States. MIT Press, pp.339--353, 1997. 〈hal-00869131〉

Partager

Métriques

Consultations de la notice

137