Éric Goubault

1. Knowledge and simplicial complexes
   2020/02/20 by Hans van Ditmarsch, van Ditmarsch, Hans, Éric Goubault +5 · 2 citations
   Computer Science · #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic #Semantic Web and Ontologies
2. Semi-simplicial Set Models for Distributed Knowledge
   2023/03/27 by Éric Goubault, Roman Kniazev, Goubault, Eric +5 · 2 citations
   Computer Science · #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #Advanced Algebra and Logic
3. A many-sorted epistemic logic for chromatic hypergraphs
   2023/08/01 by Éric Goubault, Roman Kniazev, Goubault, Eric +3 · 2 citations
   Computer Science · #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Multiagent Systems (cs.MA) #Semantic Web and Ontologies
4. Time-reversal homotopical properties of concurrent systems
   2018/12/12 by Cameron Calk, Éric Goubault, Calk, Cameron +3 · 1 citation
   Computer Science · #18D35 #55U99 #68Q85 #Algebraic Topology (math.AT) #Category Theory (math.CT) #Distributed #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Parallel #and Cluster Computing (cs.DC)