Multi-agent systems: which research for which applications
A truth maintenance system