[logic-ml] CALL for Workshop Proposals: JSAI-isAI 2014 in Yokohama, Japan