%0 Journal Article %T An efficient technique to ensure the logical consistency of cooperative agents %+ Centre de Recherche en Informatique de Lens (CRIL) %A Mazure, Bertrand %A Saïs, Lakhdar %A Grégoire, Éric %< avec comité de lecture %J International Journal of Cooperative Information Systems %V 6 %N 1 %P 27-36 %8 1997 %D 1997 %Z Computer Science [cs]/Artificial Intelligence [cs.AI]Journal articles %G English %L hal-03300443 %U https://univ-artois.hal.science/hal-03300443 %~ UNIV-ARTOIS %~ CNRS %~ CRIL