A hybrid reasoning system for terminologies and first-order clauses in knowledge bases Ken Kaneiwa Regular Papers Pages: 29 - 51
Static extensivity analysis for λ-definable functions over lattices Hyunjun EOKwangkeun YIKwang-Moo Choe Regular Papers Pages: 53 - 78
Part 2: Multilayer perceptron and natural gradient learning Hyeyong Park Tutorial on Brain-Inspired Computing Pages: 79 - 95