An upper ontology for event classifications and relations K Kaneiwa, M Iwazume, K Fukuda AI 2007: Advances in Artificial Intelligence: 20th Australian Joint …, 2007 | 103 | 2007 |
A sequential pattern mining algorithm using rough set theory K Kaneiwa, Y Kudo International Journal of Approximate Reasoning 52 (6), 881-893, 2011 | 71 | 2011 |
Consistency checking algorithms for restricted UML class diagrams K Kaneiwa, K Satoh International Symposium on Foundations of Information and Knowledge Systems …, 2006 | 66 | 2006 |
Order-sorted logic programming with predicate hierarchy K Kaneiwa Artificial Intelligence 158 (2), 155-188, 2004 | 52 | 2004 |
A rough set approach to multiple dataset analysis K Kaneiwa Applied Soft Computing 11 (2), 2538-2547, 2011 | 44 | 2011 |
Negations in description logic-contraries, contradictories, and subcontraries K Kaneiwa ICCS 5, 66-79, 2005 | 41 | 2005 |
Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity. K Kaneiwa, R Mizoguchi KR, 278-288, 2004 | 33 | 2004 |
Description logics with contraries, contradictories, and subcontraries K Kaneiwa New Generation Computing 25 (4), 443-468, 2007 | 31 | 2007 |
Description logics with contraries, contradictories, and subcontraries K Kaneiwa New Generation Computing 25 (4), 443-468, 2007 | 31 | 2007 |
On the complexities of consistency checking for restricted UML class diagrams K Kaneiwa, K Satoh Theoretical Computer Science 411 (2), 301-323, 2010 | 30 | 2010 |
Evaluation data and prototype system WISDOM for information credibility analysis H Miyamori, S Akamine, Y Kato, K Kaneiwa, K Sumi, K Inui, S Kurohashi Internet Research 18 (2), 155-164, 2008 | 29 | 2008 |
An order-sorted resolution with implicitly negative sorts K Kaneiwa, S Tojo International Conference on Logic Programming, 300-314, 2001 | 25 | 2001 |
Contradiction finding and minimal recovery for UML class diagrams K Satoh, K Kaneiwa, T Uno 21st IEEE/ACM International Conference on Automated Software Engineering …, 2006 | 24 | 2006 |
An order-sorted quantified modal logic for meta-ontology K Kaneiwa, R Mizoguchi International Conference on Automated Reasoning with Analytic Tableaux and …, 2005 | 23 | 2005 |
Extended full computation-tree logic with sequence modal operator: Representing hierarchical tree structures N Kamide, K Kaneiwa Australasian Joint Conference on Artificial Intelligence, 485-494, 2009 | 22 | 2009 |
Distributed reasoning with ontologies and rules in order-sorted logic programming K Kaneiwa, R Mizoguchi Journal of Web Semantics 7 (3), 252-270, 2009 | 22 | 2009 |
Sequence-indexed linear-time temporal logic: Proof system and application K Kaneiwa, N Kamide Applied Artificial Intelligence 24 (10), 896-913, 2010 | 21 | 2010 |
Kc3 browser: semantic mash-up and link-free browsing M Iwazume, K Kaneiwa, K Zettsu, T Nakanishi, Y Kidawara, Y Kiyoki Proceedings of the 17th international conference on World Wide Web, 1209-1210, 2008 | 19 | 2008 |
Paraconsistent computation tree logic K Kaneiwa, N Kamide New Generation Computing 29, 391-408, 2011 | 17 | 2011 |
Conceptual modeling in full computation‐tree logic with sequence modal operator K Kaneiwa, N Kamide International Journal of Intelligent Systems 26 (7), 636-651, 2011 | 17 | 2011 |