Search results for: Katsumi Inoue
Lecture Notes in Computer Science > Computational Logic — CL 2000 > Knowledge Representation and Non-monotonic Reasoning > 718-732
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Contributed Papers > 147-161
Lecture Notes in Computer Science > Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning > Foundations: ASP and Theories of LP, KR, and NMR > 91-110
Lecture Notes in Computer Science > Autonomic and Trusted Computing > Track 3: Cryptography, Security and Privacy > 493-499
Lecture Notes in Computer Science > Declarative Programming for Knowledge Management > Frontier Technologies > 1-11
Lecture Notes in Computer Science > Computational Logic in Multi-Agent Systems > Agent Interaction and Normative Systems > 320-339
Lecture Notes in Computer Science > New Frontiers in Artificial Intelligence > Learning with Logics and Logics for Learning > 330-343
Lecture Notes in Computer Science > Flexible Query Answering Systems > Logic and Artificial Intelligence > 459-472
Pathology International > 66 > 3 > 164 - 168
Journal of Reliable Intelligent Environments > 2016 > 2 > 1 > 17-35
IEEE Transactions on Magnetics > 2015 > 51 > 11 > 1 - 3