author = { Charrier, Tristan Rennes 1 AND Pinchinat, Sophie },

title = { 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 },

keywords = { Multi-Agent system , Logique épistémique , Epistemic planning , Système multi-Agents , Planification épistémique , Complexité de calcul , Vérification de modèles , Modèle symbolique , Epistemic logic , Computational complexity , Symbolic model , Model checking },

year = {2018-12-05},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }