"Epidemiology"@fr . "PDEL"@en . "Union d'intervalles convexes"@fr . . "Syst\u00E8mes de maintien de la coh\u00E9rence"@fr . "Tractable subclass"@en . . "Raisonnement multi\u00E9chelle"@fr . "Qualitative constraint networks"@en . . <133333450> . "Animal"@en . "Symbolic model checking"@en . . "Temporal reasoning"@en . "Maroua Bouzid" . "Vaccination"@fr . "Fen\u00EAtre temporelle"@fr . "R\u00E9seaux de contraintes qualitatives"@fr . "Raisonnement"@fr . "D\u00E9cision de la coh\u00E9rence"@fr . "Inf\u00E9rence"@fr . "Maintien de v\u00E9rit\u00E9"@fr . "Raisonnement temporel"@fr . . "Bouzid" . "Maroua" . "Automatisation"@fr . "M\u00E9thode DEC"@fr . "Loose integration"@en . "ATMS"@fr . "Consistency checking"@en . . "Int\u00E9gration l\u00E2che"@fr . . "Multi-scale reasoning"@en . "Raisonnement sur le temps"@fr . "Policy"@en . "Artificial intelligence"@fr . "Planification"@en . "Hanabi"@en . "Logique temporelle"@fr . "Kripke structures"@en . . . "Logique propositionnelle"@fr . "Probabilistic dynamic epistemic logic"@en . "Sous-classe traitable"@fr .