–
Thèmes :
RCR – Représentation des connaissances et modélisation des raisonnements
PPC – Contraintes et SAT
Mots-clés :
- Raisonnements sur le temps et l’espace
- Raisonnements multi-échelles
- Raisonnements qualitatifs
- Combinaisons de formalismes
- Satisfaction jointe