Goubault, Éric

1. A Simplicial Model for KB4_n: Epistemic Logic with Agents that May Die
   2021/08/23 by Goubault, Éric, Ledent, Jérémy, Rajsbaum, Sergio · 2 citations
   #57Z25 #68Q85 #68R99 #68T27 #Artificial Intelligence (cs.AI) #Distributed #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #I.2.4 #Logic (math.LO) #Logic in Computer Science (cs.LO) #Multiagent Systems (cs.MA) #Parallel #and Cluster Computing (cs.DC)