cs-conference-ranking.org Search 971 venues

Ryo Takemura

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

13

Venues

4

Active years

2008–2024

Best venue rank

C

Where they publish

Papers

13 indexed papers, newest first.

Year	Venue	Title	Authors
2024	COMMA	A Sequent Calculus Representation of Lorenzen Dialogue Extended with Why-Because Dialogue.	Ryo Takemura
2020	DIAGRAMS	Euler Diagrams for Defeasible Reasoning.	Ryo Takemura
2018	DIAGRAMS	Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams.	Ryo Takemura
2016	DIAGRAMS	A Logical Investigation of Heterogeneous Reasoning with Graphs in Elementary Economics.	Ryo Takemura
2014	DIAGRAMS	Logical Investigation of Reasoning with Tables.	Ryo Takemura, Atsushi Shimojima, Yasuhiro Katagiri
2012	DIAGRAMS	On the Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective.	Yuri Sato, Koji Mineshima, Ryo Takemura, Mitsuhiro Okada
2012	DIAGRAMS	Proof-Theoretical Investigation of Venn Diagrams: A Logic Translation and Free Rides.	Ryo Takemura
2012	DIAGRAMS	A Logical Investigation on Global Reading of Diagrams.	Ryo Takemura, Atsushi Shimojima, Yasuhiro Katagiri
2011	CogSci	Interpreting logic diagrams: a comparison of two formulations of diagrammatic representations.	Yuri Sato, Koji Mineshima, Ryo Takemura
2010	DIAGRAMS	Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style.	Koji Mineshima, Mitsuhiro Okada, Ryo Takemura
2010	DIAGRAMS	The Efficacy of Euler and Venn Diagrams in Deductive Reasoning: Empirical Findings.	Yuri Sato, Koji Mineshima, Ryo Takemura
2008	CSL	An Indexed System for Multiplicative Additive Polarized Linear Logic.	Masahiro Hamano, Ryo Takemura
2008	DIAGRAMS	Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design.	Koji Mineshima, Mitsuhiro Okada, Yuri Sato, Ryo Takemura