Author: Kensuke Kiyozuka
Publications
Co-authors
Productive Colleagues
Publications
Sawamura, Hajime, Kiyozuka, Kensuke (2000): JVenn: A Visual Reasoning System with Diagrams and Sentences. In: Anderson, Michael, Cheng, Peter C-H., Haarslev, Volker (eds.) Diagrams 2000 - Theory and Application of Diagrams - First International Conference September 1-3, 2000, Edinburgh, Scotland, UK. pp. 271-285. https://link.springer.de/link/service/series/0558/bibs/1889/18890271.htm
Sawamura, Hajime, Kiyozuka, Kensuke (2000): A Hybrid Reasoning System with Diagrams and Sentences. In: VL 2000 , 2000, . pp. 73-74. https://csdl.computer.org/comp/proceedings/vl/2000/0840/00/08400073abs.htm