上出 哲広  Kamide Norihiro

Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic

巻: 1 ページ: 24-29

10.1109/ismvl57333.2023.00016

Journal of Applied Logics

巻: 10 ページ: 1025-1058

Studia Logica

巻: 111 号: 6 ページ: 979-1014

10.1007/s11225-023-10052-7

Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic

巻: 1 ページ: 30-35

10.1109/ismvl57333.2023.00017

Tribute Series: Relevance Logics and other Tools for Reasoning - Essays in Honor of J. Michael Dunn (Katalin Bimbo editor)

巻: 46 ページ: 237-260

Logica Universalis

巻: 16 号: 3 ページ: 389-417

10.1007/s11787-022-00305-9

Proceedings of the 14th International Conference on Agents and Artificial Intelligence (ICAART 2022)

巻: 3 ページ: 242-252

10.5220/0010803700003116

Proceedings of the 52nd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2022)

巻: ー ページ: 100-105

10.1109/ismvl52857.2022.00022

Journal of Philosophical Logic

巻: 51 号: 1 ページ: 99-126

10.1007/s10992-021-09611-x

International Journal of Software Engineering and Knowledge Engineering

巻: 32 号: 07 ページ: 971-1017

10.1142/s0218194022500371

Journal of Logic, Language and Information

巻: ー 号: 3 ページ: 395-440

10.1007/s10849-022-09386-7

Journal of Philosophical Logic

巻: 51 号: 5 ページ: 1055-1102

10.1007/s10992-022-09659-3

Proceedings of the 14th International Conference on Agents and Artificial Intelligence (ICAART 2022)

巻: 3 ページ: 63-74

10.5220/0010771200003116

International Journal of Software Engineering and Knowledge Engineering

巻: 32 (1) 号: 02 ページ: 131-162

10.1142/s0218194022500085

Proceedings of the 52nd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2022)

巻: ー ページ: 119-124

10.1109/ismvl52857.2022.00025

Journal of Applied Logics: IfCoLog Journal of Logics and their Applications

巻: 8 (5) ページ: 1101-1122

Proceedings of the 51st IEEE International Symposium on Multiple-Valued Logic (ISMVL 2021)

巻: 1 ページ: 26-32

10.1109/ismvl51352.2021.00014

Journal of Philosophical Logic

巻: Online first 号: 4 ページ: 1-31

10.1007/s10992-020-09585-2

Proceedings of the 13th International Conference on Agents and Artificial Intelligence (ICAART 2021)

巻: 2 ページ: 490-499

10.5220/0010181604900499

Journal of Logic, Language and Information

巻: To appear

Proceedings of the 51st IEEE International Symposium on Multiple-Valued Logic (ISMVL 2021)

巻: 1 ページ: 43-49

10.1109/ismvl51352.2021.00017

Studia Logica

巻: To appear

Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2020)

巻: - ページ: 218-223

10.1109/ismvl49045.2020.000-2

Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2020)

巻: - ページ: 279-284

10.1109/ismvl49045.2020.00059

Annals of Pure and Applied Logic

巻: 171 (10), 102830 号: 10 ページ: 1-30

10.1016/j.apal.2020.102830

Studia Logica

巻: 108 (3) 号: 3 ページ: 549-571

10.1007/s11225-019-09863-4

Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020)

巻: 2 ページ: 313-321

10.5220/0008876403130321

Journal of Philosophical Logic

巻: 49 (6) 号: 6 ページ: 1185-1212

10.1007/s10992-020-09553-w

Proceedings of the 11th International Conference on Agents and Artificial Intelligence

巻: 2 ページ: 869-878

10.5220/0007683808690878

Journal of Applied Logics - The IfCoLoG Journal of Logics and their Applications -

巻: 7 (1) ページ: 59-88

Journal of Multiple-Valued Logic and Soft Computing

巻: 33 (3) ページ: 239-270

Proceedings of the 49th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2019)

巻: 1 ページ: 120-125

10.1109/ismvl.2019.00029

Logic Journal of the IGPL

巻: 27 ページ: 93-117

10.1093/jigpal/jzy023

Proceedings of the 11th International Conference on Agents and Artificial Intelligence

巻: 2 ページ: 377-387

10.5220/0007251603770387

Logica Universalis

巻: 13 号: 1 ページ: 37-63

10.1007/s11787-018-0218-3

Logic and Logical Philosophy

巻: 28 (3) 号: 4 ページ: 481-511

10.12775/llp.2018.015

Proceedings of the 49th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2019)

巻: 1 ページ: 176-181

10.1109/ismvl.2019.00038

Proceedings of the 11th International Conference on Agents and Artificial Intelligence

巻: 2 ページ: 762-769

10.5220/0007456507620769

Lecture Notes in Artificial Intelligence

巻: 11352 ページ: 1-31

10.1007/978-3-030-05453-3_15

Data Technologies and Applications

巻: 52 号: 4 ページ: 539-563

10.1108/dta-01-2018-0002

Mathematical Logic Quarterly

巻: 64 号: 4-5 ページ: 371-386

10.1002/malq.201700012

Journal of Logic and Computation

巻: 28 (2) ページ: 403-432

Proceedings of the 10th International Conference on Agents and Artificial Intelligence (ICAART 2018)

巻: 2 ページ: 191-200

10.5220/0006640601910200

Journal of Philosophical Logic

巻: 47(2) 号: 2 ページ: 301-324

10.1007/s10992-017-9428-z

Studia Logica

巻: 105 号: 6 ページ: 1193-1219

10.1007/s11225-017-9752-x

Logic, Rationality, and Interaction. LORI 2017. Lecture Notes in Computer Science, vol 10455

巻: - ページ: 79-93

10.1007/978-3-662-55665-8_6

Studia Logica

巻: 105 (6) 号: 6 ページ: 1167-1191

10.1007/s11225-017-9731-2

Reports on Mathematical Logic

巻: 52 ページ: 3-44

10.4467/20842589rm.17.001.7139

Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2017)

巻: 1 ページ: 49-54

10.1109/ismvl.2017.14

Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2017)

巻: 1 ページ: 31-36

10.1109/ismvl.2017.13

Journal of Logic and Computation

巻: 27 (5) ページ: 1549-1575

10.1093/logcom/exw015

International Journal of Applied & Experimental Mathematics

巻: 2 (2)

Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2017)

巻: 1 ページ: 207-212

10.1109/ismvl.2017.12

Logica Universalis

巻: 11(3) 号: 3 ページ: 317-343

10.1007/s11787-017-0172-5

Journal of Logic and Computation

巻: 27 (7) 号: 7 ページ: 2271-2301

10.1093/logcom/exx006

Proceedings of the 21st International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, Procedia Computer Science

巻: 112 ページ: 31-40

10.1016/j.procs.2017.08.014

Journal of Logic and Computation

巻: 27 (5) ページ: 1523-1548

10.1093/logcom/exw013

Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic

巻: 1 ページ: 131-136

10.1109/ismvl.2016.12

Mathematical Logic Quarterly

巻: 62 号: 6 ページ: 552-562

10.1002/malq.201500042

Journal of Applied Logic

巻: 15 ページ: 150-170

10.1016/j.jal.2016.02.003

Mathematical Logic Quarterly

巻: 62 ページ: 1-13

Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016)

巻: 2 ページ: 233-240

Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic

巻: 1 ページ: 137-142

10.1109/ismvl.2016.11

Journal of Advanced Computational Intelligence and Intelligent Informatics

巻: 20 号: 5 ページ: 813-827

10.20965/jaciii.2016.p0813

130007673356

IFCoLog Journal of Logics and their Applications

巻: 3 ページ: 441-466

Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016)

巻: 2 ページ: 288-297

Lecture Notes in Computer Science

巻: 9394 ページ: 182-194

10.1007/978-3-662-48561-3_15

Information Sciences

巻: 320 ページ: 140-155

10.1016/j.ins.2015.05.015

Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART 2015)

巻: 2 ページ: 46-54

Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART 2015)

巻: 2 ページ: 285-293

Reports on Mathematical Logic

巻: 50 ページ: 3-20

International Journal of Software and Informatics

巻: 9 ページ: 73-92

Procedia Computer Science

巻: 60 ページ: 27-36

10.1016/j.procs.2015.08.101

Journal of Logic and Computation

巻: 25 号: 3 ページ: 581-611

10.1093/logcom/exu019

Mathematical Structures in Computer Science

巻: 25 号: 1 ページ: 83-134

10.1017/s0960129514000048

International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems

巻: 22 号: 06 ページ: 815-830

10.1142/s0218488514500433

Reports on Mathematical Logic

巻: 49 ページ: 3-21

Transactions on Computational Collective Intelligence

巻: (掲載確定)

Journal of Logic and Computation

巻: (掲載確定) 号: 5 ページ: 1097-1124

10.1093/logcom/exr016

Journal of Logic and Computation

巻: (掲載確定) 号: 1 ページ: 1-24

10.1093/logcom/exs002

Annals of Pure and Applied Logic

巻: 163(4) 号: 4 ページ: 439-466

10.1016/j.apal.2011.12.002

Theoretical Computer Science

巻: 415 ページ: 1-38

10.1016/j.tcs.2011.11.001

Simulations and Applications, INTECH Publishing

ページ: 143-158

Logic without Frontiers : Festschrift for Walter Alexandre Carnielli on the occasion of his 60th Birthday, Tribute Series

巻: 17 ページ: 389-410

Fundamenta Informaticae 106(1)

ページ: 1-23

Fundamenta Informaticae

巻: 106(1) ページ: 1-23

Multi-Agent Systems : Modeling, Control, Programming, Simulations and Applications

ページ: 143-158

Logic without Frontiers : Festschrift for Walter Alexandre Carnielli on the occasion of his 60th Birthday

巻: Volume 17 ページ: 389-410

Studia Logica

巻: 99(1) 号: 1-3 ページ: 365-388

10.1007/s11225-011-9357-8

International Journal of Intelligent Systems

巻: 26(7) 号: 7 ページ: 636-651

10.1002/int.20486

Lecture Notes in Artificial Intelligence

巻: 6882 ページ: 246-235

10.1007/978-3-642-23863-5_25

Lecture Notes in Artificial Intelligence

巻: 6882 ページ: 235-245

10.1007/978-3-642-23863-5_24

Logic Journal of the IGPL

巻: 19(1) ページ: 121-143

Logic Journal of the IGPL 19(1)

ページ: 121-143

Annals of Pure and Applied Logic

巻: 162(10) 号: 10 ページ: 816-835

10.1016/j.apal.2011.03.001

Reports on Mathematical Logic

巻: 46 ページ: 29-57

New Generation Computing

巻: 29(4) 号: 4 ページ: 391-408

10.1007/s00354-009-0116-6

Lecture Notes in Artificial Intelligence

巻: 6881 ページ: 599-608

10.1007/978-3-642-23851-2_61

Lecture Notes in Artificial Intelligence

巻: 6882 ページ: 225-234

10.1007/978-3-642-23863-5_23

Mathematical Logic Quarterly

巻: 57(4) 号: 4 ページ: 395-399

10.1002/malq.201010016

Journal of Advanced Computational Intelligence and Intelligent Informatics

巻: 15(7) ページ: 777-784

Language and Information

巻: 19(1) ページ: 33-51

Lecture Notes in Artificial Intelligence

巻: 6277 ページ: 153-162

Lecture Notes in Artificial Intelligence

巻: 6276 ページ: 178-187

Proceedings of the 23rd International Workshop on Description Logics(DL 2010), Sun SITE Central Europe(CEUR) Electronic Workshop Proceedings, Technical University of Aachen(RWTH)

ページ: 12-12

Proceedings of the 2nd International Conference on Agents and Artificial Intelligence 1

ページ: 536-539

Proceedings of the 20th Brazilian Symposium on Artificial Intelligence(SBIA 2010), Lecture Notes in Artificial Intelligence

巻: 6462 ページ: 283-292

Logic and Logical Philosophy

巻: 19(1-2) ページ: 7-30

Proceedings of the 2nd International Conference on Agents and Artificial Intelligence(ICAART 2010)

巻: Vol.1.AI ページ: 464-469

Lecture Notes in Artificial Intelligence

巻: 6404 ページ: 263-272

Journal of Applied Logic

巻: 8 ページ: 33-61

Proceedings of the 2nd International Conference on Agents and Artificial Intelligence(ICAART 2010)

巻: Vol.1.AI ページ: 522-526

Proceedings of the 2nd International Conference on Agents and Artificial Intelligence 1

ページ: 464-469

Proceedings of the 14th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems(KES 2010), Lecture Notes in Artificial Intelligence

巻: 6276 ページ: 178-187

Lecture Notes in Artificial Intelligence

巻: 6464 ページ: 22-31

Proceedings of the 2nd International Conference on Agents and Artificial Intelligence(ICAART 2010)

巻: Vol.1.AI ページ: 536-539

Proceedings of the 23rd International Workshop on Description Logics(DL 2010), Sun SITE Central Europe(CEUR) Electronic Workshop Proceedings, Technical University of Aachen(RWTH)

ページ: 12-12

Proceedings of the 14th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems(KES 2010), Lecture Notes in Artificial Intelligence

巻: 6277 ページ: 153-162

Bulletin of the Section of Logic

巻: 39(3/4) ページ: 205-214

Proceedings of the 20th Brazilian Symposium on Artificial Intelligence(SBIA 2010), Lecture Notes in Artificial Intelligence

巻: 6404 ページ: 263-272

Sun SITE Central Europe Electronic Workshop Proceedings

巻: 573

Far East Journal of Applied Mathematics

巻: 44(1) ページ: 205-214

Lecture Notes in Artificial Intelligence

巻: 6359 ページ: 246-254

Lecture Notes in Artificial Intelligence

巻: 6464 ページ: 22-31

Lecture Notes in Artificial Intelligence

巻: 6404 ページ: 283-292

Reports on Mathematical Logic 45

ページ: 3-21

Sun SITE Central Europe Electronic Workshop Proceedings

巻: 573

Journal of Applied Logic 8

ページ: 33-61

Proceedings of the 33rd Annual German Conference on Artificial Intelligence(KI 2010), Lecture Notes in Artificial Intelligence

巻: 6359 ページ: 246-254

Journal of Applied Logic 8

ページ: 33-61

Abstract booklet of International Conference on Mathematics of Date(ICMD 2010-2011)

巻: 41-43

Applied Artificial Intelligence

巻: 24 ページ: 896-913

Journal of Logic and Computation

巻: 20(6) ページ: 1201-1229

Lecture Notes in Artificial Intelligence

巻: 6404 ページ: 303-312

Proceedings of the 20th Brazilian Symposium on Artificial Intelligence(SBIA 2010), Lecture Notes in Artificial Intelligence

巻: 6404 ページ: 303-312

Far East Journal of Applied Mathematics

巻: 44(1) ページ: 1-35

Proceedin8s of the 2nd lnternational Conference on Agents and Artificial intelligence 1

ページ: 522-526

Far East Journal of Applied Mathematics

巻: 44(1) ページ: 37-57

Bulletin of the Section of Logic

巻: 39(1-2) ページ: 65-78

Reports on Mathematical Logic

巻: 45 ページ: 3-21

Studia Logica 91

ページ: 217-238

Logic and Logical Philosophy

巻: 18 ページ: 97-126

Proceedings of the 22nd Australasian Joint Conference on Artificial Intelligence(AI' 09), Lecture Notes in Artificial Intelligence

巻: 5866 ページ: 485-494

Studia Logica 91(2)

ページ: 217-238

Review of Symbolic Logic 2

ページ: 374-395

The Review of Symbolic Logic

巻: 2(2) ページ: 374-395

lecture Notes in Artificial Intelligence 5405

ページ: 57-76

The Review of Symbolic Logic 2(2)

ページ: 374-395

Proceedings of the 5th Conference on Computability in Europe : Mathematical Theory and Computational Practice(CiE 2009), Abstract Booklet

ページ: 196-205

Proceedings of the 9th International Workshop on Computational Logic in Multi-Agent Systems(CLIMA-9) 2008, Lecture Notes in Artificial Intelligence(Springer)

巻: 5405 ページ: 57-76

Proceedings of the 5th Conference on Camputability in Europe : Mathematical Theory and Camputational Practice, Abstract Booklet

ページ: 196-205

Logic and Logical Philosophy 18

ページ: 97-126

Studia Logica

巻: 91(2) ページ: 217-238

Lecture Notes in Artificial Intelligence 5866

ページ: 485-494

Proceedings of the 9th International Workshop on Computational Logic in Multi-agent Systems 9

ページ: 143-158

Lecture Notes in Artificial Intelligence

巻: 5293 ページ: 245-257

Logica Universalis 2

ページ: 189-208

TU Dresden Technical Report

ページ: 1-29

TU Dresden Technical Report

ページ: 1-43

Lecture Notes in Artificial Intelligence 5293

ページ: 245-257

Logica Universalis

巻: 2(2) ページ: 189-208

Reports on Mathematical Logic

巻: (掲載確定)