Reward

Best Paper

Semi-Quasi-Overlap Functions and Their Applications in Classifier Ensemble

Authors: Junsheng Qiao and Jia Hu

Runner up

Adding concurrency to Quantum Dynamic Logic

Authors: Manisha Jain, Vitor Fernandes and Alexandre Madeira

Game Semantics for Modal Logic with Counting

Authors: Xiaoxuan Fu and Zhiguang Zhao

Best Paper

Nonlinear Manifold Learning via Graph Curvature

Authors: Chaoqun Fei, Xikun Huang, Chuanqing Wang and Yangyang Li

Runner up

An Abstraction Neural Network Generator for Efficient Formal Verification

Authors: Shengkai Xu, Min Zhang, Xiaodong Zheng, Zhaohui Wang and Bojie Shao

Evidence-Based Argumentation and its Incremental Semantics

Authors: Chen Chen, Beishui Liao, and Bin We

Non-negative Matrix Factorization Method based on Mixed Gaussian Kernels

Authors: Zhenting Yang, Jihong Pei, and Sicong Ye

Best Paper

Finite Quantified Linear Temporal Logic and its Satisfiability Checking

Authors: Yu Chen, Xiaoyu Zhang and Jianwen Li