Egor Ianovski
- Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures
2012/04/11 by Alwen Tiu, Egor Ianovski, Tiu, Alwen +3 · 1 citation
Computer Science · #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Natural Language Processing Techniques
- How should we score athletes and candidates: geometric scoring rules
2019/07/11 by Aleksei Y. Kondratev, Egor Ianovski, Kondratev, Aleksei Y. +3 · 1 citation
Economics, Econometrics and Finance · #90B50 (Primary) 91B12 #91B14 (Secondary) #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Game Theory and Voting Systems #J.4 #Sports Analytics and Performance