1 | -- | 30 | Huili Xing, Zhaohui Zhu, Jinjin Zhang. Covariant-Contravariant Refinement Modal Logic |
31 | -- | 82 | Andrew Schumann. Did the Neo-Babylonians Construct a Symbolic Logic for Legal Proceedings? |
83 | -- | 104 | Wilhelm Rödder, Andreas Dellnitz, Ivan Ricardo Gartner, Sebastian Litzinger. Weight Predication on Missing Links in Social Networks. A Cross-Entropy-Based Approach |
105 | -- | 156 | Woosuk Park, Sungyong Kim, Keunhyoung Luke Kim, Jeounghoon Kim. AlphaGo's Decision Making |
157 | -- | 203 | Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer, Pere Pardo. Strengthening Gossip Protocols using Protocol-Dependent Knowledge |