Characterizing and checking self-healability.

Marie-Odile Cordier Yannick Pencolé Louise Travé-Massuyès Thierry 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