竹村 亮  TAKEMURA Ryo

Proceedings of the 6th Asian Workshop on Philosophical Logic

巻: -

Journal of Philosophical Logic

巻: 51 号: 2 ページ: 347-382

10.1007/s10992-021-09631-7

Archive for Mathematical Logic

巻: - 号: 7-8 ページ: 783-813

10.1007/s00153-020-00759-y

Diagrammatic Representation and Inference, Lecture Notes in Computer Science

巻: 12169 ページ: 289-304

10.1007/978-3-030-54249-8_23

Diagrammatic Representation and Inference, Lecture Notes in Computer Science

巻: －

Mathematical Social Sciences

巻: 103 ページ: 25-35

10.1016/j.mathsocsci.2019.11.001

商学集志

巻: 90 ページ: 137-155

Diagrammatic Representation and Inference

巻: 10871 ページ: 607-623

10.1007/978-3-319-91376-6_55

Journal of Philosophical Logic

巻: － 号: 3 ページ: 1-18

10.1007/s10992-018-9484-z

日本認知科学会第34回大会発表論文集

巻: - ページ: 294-301

Journal of Humanities and Sciences Nihon University（総合文化研究）

巻: 23 ページ: 1-19

40021302106

日本認知科学会第34回大会発表論文集

巻: - ページ: 294-301

Diagrammatic Representation and Inference, Lecture Notes in Computer Science

巻: 9781 ページ: 98-104

10.1007/978-3-319-42333-3_8

日本大学FD研究

巻: 4 ページ: 13-26

日本大学FD研究

巻: 4 ページ: 13-26

40020781835

Studia Logica - An International Journal for Symbolic Logic

巻: - 号: 4 ページ: 669-696

10.1007/s11225-014-9584-x

総合文化研究

巻: 21 ページ: 29-50

40021301957

Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL2015)

巻: - ページ: 223-231

平成26年度日本大学理事長特別研究　公開シンポジウム報告書

巻: なし ページ: 33-43

Journal of Visual Languages and Computing, accepted

巻: 25 号: 3 ページ: 156-169

10.1016/j.jvlc.2013.08.007

Proceedings of First International Workshop on Diagrams, Logic and Cognition (DLAC 2013)

巻: CEUR Series Vol. 1132 ページ: 9-16

Diagrammatic Representation and Inference: Eighth International Conference, Diagrams 2014, Proceedings

巻: LNAI

Diagrammatic Representation and Inference - 8th International Conference, Diagrams 2014

巻: 8 ページ: 261-276

10.1007/978-3-662-44043-8_27

Journal of Humanities and Sciences Nihon University （総合文化研究）

巻: 19 ページ: 23-40

40021301714

Proceedings of First International Workshop on Diagrams, Logic and Cognition (DLAC 2013), CEUR Series

巻: 1132 ページ: 9-16

Journal of Humanities and Sciences Nihon University, （総合文化研究）

巻: 19 ページ: 23-40

40021301714

Studia Logica

巻: Volume 101 号: 1 ページ: 157-191

10.1007/s11225-012-9370-6

Diagrammatic Representation and Inference: Seventh International Conference, Diagrams 2012, Proceedings

巻: 7352 ページ: 330-333

10.1007/978-3-642-31223-6_42

Diagrammatic Representation and Inference: 7th International Conference, Diagrams 2012

巻: Volume 7352 ページ: 132-147

10.1007/978-3-642-31223-6_17

Language and Information

巻: 21 号: 3 ページ: 365-391

10.1007/s10849-012-9160-6

Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR 2012)

巻: なし

Journal of Logic, Language and Information

巻: (近刊)

JSAI2011論文集(Web版)

130007423184

https://kaigi.org/jsai/webprogram/2011/paper-238.html

2011年度人工知能学会全国大会(第25回)JSAI2011論文集

巻: (Web版)

130007423184

Diagrammatic Representation and Inference : 6th International Conference, Diagrams 2010

巻: 6170 ページ: 99-114

Diagrammatic Representation and Inference

巻: 6170 ページ: 99-114

10.1007/978-3-642-14600-8_12

Diagrammatic Representation and Inference

巻: 6170 ページ: 6-22

10.1007/978-3-642-14600-8_6

The annual meeting of the Cognitive Science Society(CogSci 2010)

ページ: 2668-2673

http://palm.mindmodeling.org/cogsci2010/papers/0640/index.html

Diagrammatic Representation and Inference : 6th International Conference, Diagrams 2010

巻: 6170 ページ: 6-22

JSAI2010論文集(Web版)

130007425448

https://kaigi.org/jsai/webprogram/2010/paper-389.html

The annual meeting of the Cognitive Science Society (CogSci 2010)

ページ: 2668-2673