Sign in

Characterizing and checking self-healability.

Marie-Odile CordierYannick PencoléLouise Travé-MassuyèsThierry Vidal
Published in: ECAI (2008)
Keyphrases
  • data sets
  • databases
  • real world
  • data mining
  • machine learning
  • artificial intelligence
  • multi agent systems
  • general purpose
  • co occurrence
  • logic programs
  • consistency checking
  • verification method