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