Ledent, Jérémy

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 · 3 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)
2. Semi-simplicial Set Models for Distributed Knowledge
   2023/03/27 by Éric Goubault, Goubault, Eric, Roman Kniazev +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, Goubault, Eric, Roman Kniazev +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