Roman Kniazev

1. 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
2. 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