Journal: FLAP

Volume 6, Issue 1

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