%0 Generic
%T Complexité théorique du raisonnement en logique épistémique dynamique et étude d’une approche symbolique ; Theoretical complexity of reasoning in dynamicepistemic logic and study of a symbolic approach
%A Charrier, Tristan
%A Rennes 1
%A Pinchinat, Sophie
%K Multi-Agent system
%K Logique épistémique
%K Epistemic planning
%K Système multi-Agents
%K Planification épistémique
%K Complexité de calcul
%K Vérification de modèles
%K Modèle symbolique
%K Epistemic logic
%K Computational complexity
%K Symbolic model
%K Model checking
%D 2018-12-05
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation