Logic Programming and Burden of Proof in Legal Reasoning Ken Satoh Invited Paper 08 November 2012 Pages: 297 - 326
Quantum Computing vs. Coherent Computing Yoshihisa YamamotoKenta TakataShoko Utsunomiya Invited Paper 08 November 2012 Pages: 327 - 356