Search results for: Norihiro Kamide
Logica Universalis > 2019 > 13 > 1 > 37-63
Mathematical Logic Quarterly > 64 > 4-5 > 371 - 386
Studia Logica > 2017 > 105 > 6 > 1193-1219
Logica Universalis > 2017 > 11 > 3 > 317-343
Studia Logica > 2017 > 105 > 6 > 1167-1191
Journal of Philosophical Logic > 2018 > 47 > 2 > 301-324
Procedia Computer Science > 2017 > 112 > C > 31-40
Mathematical Logic Quarterly > 62 > 6 > 552 - 562
Lecture Notes in Computer Science > Computational Logic in Multi-Agent Systems > Regular Papers > 57-76
Lecture Notes in Computer Science > AI 2010: Advances in Artificial Intelligence > Knowledge Representation and Reasoning > 22-31
Lecture Notes in Computer Science > AI 2009: Advances in Artificial Intelligence > Knowledge Representation and Reasoning > 485-494
Mathematical Logic Quarterly > 62 > 3 > 177 - 189
Journal of Applied Logic > 2016 > 15 > C > 150-170
Lecture Notes in Computer Science > Advances in Artificial Intelligence – SBIA 2010 > Chapter 7: Logics for AI > 303-312