All 2021 2020 2019 2018 2017 2016 2015 2014 2012 2011 2010 2009 2008 Other
All Journal Article Presentation Book
Journal of Philosophical Logic
Volume: Online first Pages: 1-31
10.1007/s10992-020-09585-2
Proceedings of the 13th International Conference on Agents and Artificial Intelligence (ICAART 2021)
Volume: 2 Pages: 490-499
10.5220/0010181604900499
Journal of Logic, Language and Information
Volume: To appear
Studia Logica
Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2020)
Volume: - Pages: 218-223
10.1109/ismvl49045.2020.000-2
Volume: - Pages: 279-284
10.1109/ismvl49045.2020.00059
Annals of Pure and Applied Logic
Volume: 171 (10), 102830 Pages: 1-30
10.1016/j.apal.2020.102830
Volume: 108 (3) Pages: 549-571
10.1007/s11225-019-09863-4
Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020)
Volume: 2 Pages: 313-321
10.5220/0008876403130321
Volume: 49 (6) Pages: 1185-1212
10.1007/s10992-020-09553-w
Proceedings of the 11th International Conference on Agents and Artificial Intelligence
Volume: 2 Pages: 869-878
10.5220/0007683808690878
Journal of Applied Logics - The IfCoLoG Journal of Logics and their Applications -
Volume: 7 (1) Pages: 59-88
Journal of Multiple-Valued Logic and Soft Computing
Volume: 33 (3) Pages: 239-270
Proceedings of the 49th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2019)
Volume: 1 Pages: 120-125
10.1109/ismvl.2019.00029
Logic Journal of the IGPL
Volume: 27 Pages: 93-117
10.1093/jigpal/jzy023
Volume: 2 Pages: 377-387
10.5220/0007251603770387
Logica Universalis
Volume: 13 Pages: 37-63
10.1007/s11787-018-0218-3
Logic and Logical Philosophy
Volume: 28 (3) Pages: 481-511
10.12775/llp.2018.015
Volume: 1 Pages: 176-181
10.1109/ismvl.2019.00038
Volume: 2 Pages: 762-769
10.5220/0007456507620769
Lecture Notes in Artificial Intelligence
Volume: 11352 Pages: 1-31
10.1007/978-3-030-05453-3_15
Data Technologies and Applications
Volume: 52 Pages: 539-563
10.1108/dta-01-2018-0002
Mathematical Logic Quarterly
Volume: 64 Pages: 371-386
10.1002/malq.201700012
Journal of Logic and Computation
Volume: 28 (2) Pages: 403-432
Proceedings of the 10th International Conference on Agents and Artificial Intelligence (ICAART 2018)
Volume: 2 Pages: 191-200
10.5220/0006640601910200
Volume: 47(2) Pages: 301-324
10.1007/s10992-017-9428-z
Volume: 105 Pages: 1193-1219
10.1007/s11225-017-9752-x
Proceedings of the 6th International Workshop on Logic, Rationality, and
Volume: - Pages: 79-93
10.1007/978-3-662-55665-8_6
Volume: 105 (6) Pages: 1167-1191
10.1007/s11225-017-9731-2
Reports on Mathematical Logic
Volume: 52 Pages: 3-44
10.4467/20842589rm.17.001.7139
Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2017)
Volume: 1 Pages: 49-54
10.1109/ismvl.2017.14
Volume: 1 Pages: 31-36
10.1109/ismvl.2017.13
Volume: 27 (5) Pages: 1549-1575
10.1093/logcom/exw015
International Journal of Applied & Experimental Mathematics
Volume: 2 (2)
Volume: 1 Pages: 207-212
10.1109/ismvl.2017.12
Volume: 11(3) Pages: 317-343
10.1007/s11787-017-0172-5
Volume: 27 (7) Pages: 2271-2301
10.1093/logcom/exx006
Proceedings of the 21st International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, Procedia Computer Science
Volume: 112 Pages: 31-40
10.1016/j.procs.2017.08.014
Volume: 27 (5) Pages: 1523-1548
10.1093/logcom/exw013
Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic
Volume: 1 Pages: 131-136
10.1109/ismvl.2016.12
Volume: 62 Pages: 552-562
10.1002/malq.201500042
Journal of Applied Logic
Volume: 15 Pages: 150-170
10.1016/j.jal.2016.02.003
Volume: 62 Pages: 1-13
Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016)
Volume: 2 Pages: 233-240
Volume: 1 Pages: 137-142
10.1109/ismvl.2016.11
IFCoLog Journal of Logics and their Applications
Volume: 3 Pages: 441-466
Volume: 2 Pages: 288-297
J. Adv. Comput. Intell. Intell. Inform.
Volume: 20 Issue: 5 Pages: 813-827
10.20965/jaciii.2016.p0813
130007673356
Lecture Notes in Computer Science
Volume: 9394 Pages: 182-194
Information Sciences
Volume: 320 Pages: 140-155
10.1016/j.ins.2015.05.015
Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART 2015)
Volume: 2 Pages: 46-54
Volume: 2 Pages: 285-293
Volume: 50 Pages: 3-20
International Journal of Software and Informatics
Volume: 9 Pages: 73-92
Procedia Computer Science
Volume: 60 Pages: 27-36
10.1016/j.procs.2015.08.101
Volume: 25 Pages: 581-611
10.1093/logcom/exu019
Mathematical Structures in Computer Science
Volume: 25 Pages: 83-134
10.1017/s0960129514000048
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Volume: 22 Pages: 815-830
10.1142/s0218488514500433
Volume: 49 Pages: 3-21
Transactions on Computational Collective Intelligence
Volume: (掲載確定)
10.1093/logcom/exr016
10.1093/logcom/exs002
Volume: 163(4) Pages: 439-466
10.1016/j.apal.2011.12.002
Theoretical Computer Science
Volume: 415 Pages: 1-38
10.1016/j.tcs.2011.11.001
Simulations and Applications, INTECH Publishing
Pages: 143-158
Logic without Frontiers : Festschrift for Walter Alexandre Carnielli on the occasion of his 60th Birthday, Tribute Series
Volume: 17 Pages: 389-410
Fundamenta Informaticae 106(1)
Pages: 1-23
Fundamenta Informaticae
Volume: 106(1) Pages: 1-23
Multi-Agent Systems : Modeling, Control, Programming, Simulations and Applications
Logic without Frontiers : Festschrift for Walter Alexandre Carnielli on the occasion of his 60th Birthday
Volume: Volume 17 Pages: 389-410
Volume: 99(1) Pages: 365-388
10.1007/s11225-011-9357-8
International Journal of Intelligent Systems
Volume: 26(7) Pages: 636-651
10.1002/int.20486
Volume: 6882 Pages: 246-235
10.1007/978-3-642-23863-5_25
Volume: 6882 Pages: 235-245
10.1007/978-3-642-23863-5_24
Volume: 19(1) Pages: 121-143
Logic Journal of the IGPL 19(1)
Pages: 121-143
Volume: 162(10) Pages: 816-835
10.1016/j.apal.2011.03.001
Volume: 46 Pages: 29-57
New Generation Computing
Volume: 29(4) Pages: 391-408
10.1007/s00354-009-0116-6
Volume: 6881 Pages: 599-608
10.1007/978-3-642-23851-2_61
Volume: 6882 Pages: 225-234
10.1007/978-3-642-23863-5_23
Volume: 57(4) Pages: 395-399
10.1002/malq.201010016
Journal of Advanced Computational Intelligence and Intelligent Informatics
Volume: 15(7) Pages: 777-784
Language and Information
Volume: 19(1) Pages: 33-51
Volume: 6277 Pages: 153-162
Volume: 6276 Pages: 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)
Pages: 12-12
Proceedings of the 2nd International Conference on Agents and Artificial Intelligence 1
Pages: 536-539
Proceedings of the 20th Brazilian Symposium on Artificial Intelligence(SBIA 2010), Lecture Notes in Artificial Intelligence
Volume: 6462 Pages: 283-292
Volume: 19(1-2) Pages: 7-30
Proceedings of the 2nd International Conference on Agents and Artificial Intelligence(ICAART 2010)
Volume: Vol.1.AI Pages: 464-469
Volume: 6404 Pages: 263-272
Volume: 8 Pages: 33-61
Volume: Vol.1.AI Pages: 522-526
Pages: 464-469
Proceedings of the 14th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems(KES 2010), Lecture Notes in Artificial Intelligence
Volume: 6464 Pages: 22-31
Volume: Vol.1.AI Pages: 536-539
Bulletin of the Section of Logic
Volume: 39(3/4) Pages: 205-214
Sun SITE Central Europe Electronic Workshop Proceedings
Volume: 573
Far East Journal of Applied Mathematics
Volume: 44(1) Pages: 205-214
Volume: 6359 Pages: 246-254
Volume: 6404 Pages: 283-292
Reports on Mathematical Logic 45
Pages: 3-21
Journal of Applied Logic 8
Pages: 33-61
Proceedings of the 33rd Annual German Conference on Artificial Intelligence(KI 2010), Lecture Notes in Artificial Intelligence
Abstract booklet of International Conference on Mathematics of Date(ICMD 2010-2011)
Volume: 41-43
Applied Artificial Intelligence
Volume: 24 Pages: 896-913
Volume: 20(6) Pages: 1201-1229
Volume: 6404 Pages: 303-312
Volume: 44(1) Pages: 1-35
Proceedin8s of the 2nd lnternational Conference on Agents and Artificial intelligence 1
Pages: 522-526
Volume: 44(1) Pages: 37-57
Volume: 39(1-2) Pages: 65-78
Volume: 45 Pages: 3-21
Studia Logica 91
Pages: 217-238
Volume: 18 Pages: 97-126
Proceedings of the 22nd Australasian Joint Conference on Artificial Intelligence(AI' 09), Lecture Notes in Artificial Intelligence
Volume: 5866 Pages: 485-494
Studia Logica 91(2)
Review of Symbolic Logic 2
Pages: 374-395
The Review of Symbolic Logic
Volume: 2(2) Pages: 374-395
lecture Notes in Artificial Intelligence 5405
Pages: 57-76
The Review of Symbolic Logic 2(2)
Proceedings of the 5th Conference on Computability in Europe : Mathematical Theory and Computational Practice(CiE 2009), Abstract Booklet
Pages: 196-205
Proceedings of the 9th International Workshop on Computational Logic in Multi-Agent Systems(CLIMA-9) 2008, Lecture Notes in Artificial Intelligence(Springer)
Volume: 5405 Pages: 57-76
Proceedings of the 5th Conference on Camputability in Europe : Mathematical Theory and Camputational Practice, Abstract Booklet
Logic and Logical Philosophy 18
Pages: 97-126
Volume: 91(2) Pages: 217-238
Lecture Notes in Artificial Intelligence 5866
Pages: 485-494
Proceedings of the 9th International Workshop on Computational Logic in Multi-agent Systems 9
Volume: 5293 Pages: 245-257
Logica Universalis 2
Pages: 189-208
TU Dresden Technical Report
Pages: 1-29
Pages: 1-43
Lecture Notes in Artificial Intelligence 5293
Pages: 245-257
Volume: 2(2) Pages: 189-208
