すべて 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 その他
すべて 雑誌論文 学会発表 図書
Studia Logica
巻: - 号: 5 ページ: 1091-1121
10.1007/s11225-023-10067-0
巻: - 号: 3 ページ: 661-691
10.1007/s11225-023-10066-1
Lecture Notes in Computer Science
巻: 14329 ページ: 190-206
10.1007/978-3-031-45558-2_15
巻: - 号: 4 ページ: 615-652
10.1007/s11225-023-10037-6
The Australasian Journal of Logic
巻: 20 号: 3 ページ: 397-411
10.26686/ajl.v20i3.7696
Dynamics in Logic and Language
巻: - ページ: 116-135
10.1007/978-3-031-25894-7_6
Advances in Modal Logic
巻: 14 ページ: 601-623
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications(NCL)
巻: - ページ: 25-40
10.4204/eptcs.358.3
Journal of Logic and Computation
巻: - 号: 6 ページ: 1399-1436
10.1093/logcom/exac013
Electronic Proceedings in Theoretical Computer Science
巻: -
Computacion y Sistemas
巻: 26(2) 号: 2 ページ: 823-834
10.13053/cys-26-2-4259
Sujata Ghosh, Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, LORI 2021, Xi'an, China, October 16-18, 2021, Proceedings, Springer Nature, 2021
巻: - ページ: 216-231
10.1007/978-3-030-88708-7_18
Journal of Logical and Algebraic Methods in Programming
巻: 122 ページ: 100682-100682
10.1016/j.jlamp.2021.100682
Deontic Logic and Normative Systems 15th International Conference, DEON 2020/2021
巻: 15 ページ: 376-393
巻: - 号: 3 ページ: 518-553
10.1093/logcom/exab066
Short Papers of Advances in Modal Logic (AiML 2020)
巻: - ページ: 97-101
Foundations of Information and Knowledge Systems. FoIKS 2020. Lecture Notes in Computer Science
巻: 12021 ページ: 211-221
10.1007/978-3-030-39951-1_13
Nicola Olivetti, Rineke Verbrugge, Sara Negri and Gabriel Sandu (eds.), Advances in Modal Logic
巻: 13 ページ: 541-560
巻: 12569 ページ: 137-154
10.1007/978-3-030-65840-3_9
Context, Conflict and Reasoning, Logic in Asia: Studia Logica Library
巻: - ページ: 115-126
10.1007/978-981-15-7134-3_9
巻: - 号: 1 ページ: 321-348
10.1093/logcom/exaa014
巻: - ページ: 127-138
10.1007/978-981-15-7134-3_10
巻: 109 号: 1 ページ: 95-124
10.1007/s11225-020-09902-5
Knowledge, Proof and Dynamics. Logic in Asia: Studia Logica Library
巻: - ページ: 51-72
10.1007/978-981-15-2221-5_4
巻: - 号: 8 ページ: 1933-1958
10.1093/logcom/exaa067
Annals of Pure and Applied Logic
巻: 170(9) 号: 9 ページ: 1100-1127
10.1016/j.apal.2019.04.009
巻: vol.11600 ページ: 132-143
10.1007/978-3-662-58771-3_13
Logic, Rationality, and Interaction, 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings
巻: 11813 ページ: 326-339
10.1007/978-3-662-60292-8_24
巻: 11813 ページ: 244-258
10.1007/978-3-662-60292-8_18
Proceedings of the 4th Asian Workshop on Philosophical Logic
巻: 4 ページ: 3-15
巻: - ページ: 138-150
Logical Methods in Computer Science
巻: 14
10.23638/LMCS-14(1:22)2018
巻: vol.11194 ページ: 113-130
10.1007/978-3-030-02149-8_8
巻: 4 ページ: 138-150
巻: 印刷中
Philosophical Logic: Current Trends in Asia, Proceedings of AWPL-TPLC 2016
巻: - ページ: 233-258
10.1007/978-981-10-6355-8_12
巻: - ページ: 153-180
10.1007/978-981-10-6355-8_8
巻: 243 ページ: 105-121
10.4204/eptcs.243.8
The IfColog Journal of Logics and their Applications (FLAP)
巻: 4 ページ: 111-148
Artificial Intelligence and Law
巻: 印刷中 号: 3 ページ: 1-49
10.1007/s10506-017-9202-0
Proceedings of the 9th International Conference on Agents and Artificial Intelligence (ICAART 2017)
巻: 2 ページ: 615-623
10.5220/0006204806150623
Understanding Information, Advanced Information and Knowledge Processing
巻: - ページ: 101-130
10.1007/978-3-319-59090-5_6
Logic, Rationality, and Interaction, LORI 2017, Lecture Notes in Computer Science
巻: 10455 ページ: 224-239
10.1007/978-3-662-55665-8_16
巻: 9803 ページ: 392-409
10.1007/978-3-662-52921-8_24
Logic, Language, Information, and Computation, Lecture Notes in Computer Science
巻: 9160 ページ: 140-155
10.1007/978-3-662-47709-0_11
Post-proceedings of The Second Asian Workshop on Philosophical Logic
Proceedings of the 13th Asian Logic Conference
巻: 13 ページ: 170-200
10.1142/9789814678001_0011
巻: 印刷中 号: 8 ページ: 1781-1804
10.1093/logcom/exv026
Logic in Asia: Studia Logica Library, Structural Analysis of Non-Classical Logics
巻: 2 ページ: 223-252
10.1007/978-3-662-48357-2_11
Post-proceedings of JURISIN 2014
120006305725
Proceedings of Wollic 2015
巻: 8923 ページ: 132-145
10.1007/978-3-662-45824-2_9
Proceedings of the 4th International Conference on Tools for Teaching Logic (TTL2015)
巻: 4 ページ: 55-64
Post-proceedings of Tenth Tbilisi Symposium on Language, Logic and Computation
Proceedings of Proceedings of the Twelfth International Workshop of Logic and Engineering of Natural Language Semantics 12 (LENLS 12)
巻: 12 ページ: 163-172
巻: 印刷中 号: 5 ページ: 883-917
10.1007/s11225-014-9597-5
Proceeedings of 7th International Conference on Agents and Artificial Intelligence
巻: 1 ページ: 174-181
10.5220/0005219001740181
120006676390
巻: 2 ページ: 131-158
10.1007/978-3-662-48357-2_7
120006305710
巻: 9459 ページ: 187-202
10.1007/978-3-319-27683-0_20
24th EACSL Annual Conference on Computer Science Logic (CSL 2015), Stephan Kreutzer editor, Leibniz International Proceedings in Informatics (LIPIcs)
巻: 41 ページ: 292-307
10.4230/LIPIcs.CSL.2015.292
Proceedings of The Seventh International Conference on Knowledge and Systems Engineering (KSE 2015)
巻: 7 ページ: 228-233
10.1109/kse.2015.64
巻: 7 ページ: 256-261
10.1109/kse.2015.73
Recent Trends in Philosophical Logic, Proceedings of Trends in Logic XI
巻: 41 ページ: 145-166
10.1007/978-3-319-06080-4_11
Trends in Logic XIII
巻: XIII ページ: 217-231
巻: 8417 ページ: 230-245
10.1007/978-3-319-10061-6_16
120006305709
Proceedings of the 24th Semantics and Linguistic Theory Conference
巻: 24 ページ: 84-101
Logic Journal of the IGPL
巻: 22 号: 3 ページ: 458-481
10.1093/jigpal/jzt044
LNCS, JSAI-isAI Workshops 2013
巻: 10 ページ: 294-312
巻: 7750 ページ: 109-120
10.1007/978-3-642-36039-8_10
120005173801
巻: 7392 ページ: 299-311
10.1007/978-3-642-31585-5_29
Proceedings of Tenth Tbilisi Symposium on Language, Logic and Computation
巻: 10 ページ: 137-141
Proceedings of the Sixth International Workshop of Juris-Informatics
巻: 6 ページ: 101-113
コンピュータ ソフトウェア
巻: 30 号: 1 ページ: 1_152-1_163
10.11309/jssst.30.1_152
130004549307
巻: 7758 ページ: 257-276
10.1007/978-3-642-36976-6_16
Proceedings of the Seventh International Workshop of Juris-Informatics
巻: 7 ページ: 107-120
Logic, Rationality, and Interaction, Lecture Notes in Computer Science
巻: 8196 ページ: 204-217
10.1007/978-3-642-40948-6_16