Ken Kaneiwa
Title
Cited by
Cited by
Year
An upper ontology for event classifications and relations
K Kaneiwa, M Iwazume, K Fukuda
Australasian Joint Conference on Artificial Intelligence, 394-403, 2007
922007
A sequential pattern mining algorithm using rough set theory
K Kaneiwa, Y Kudo
International Journal of Approximate Reasoning 52 (6), 881-893, 2011
642011
Consistency checking algorithms for restricted UML class diagrams
K Kaneiwa, K Satoh
International Symposium on Foundations of Information and Knowledge Systems …, 2006
612006
Order-sorted logic programming with predicate hierarchy
K Kaneiwa
Artificial Intelligence 158 (2), 155-188, 2004
492004
A rough set approach to multiple dataset analysis
K Kaneiwa
Applied Soft Computing 11 (2), 2538-2547, 2011
392011
Negations in description logic-contraries, contradictories, and subcontraries
K Kaneiwa
ICCS 5, 66-79, 2005
392005
Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity.
K Kaneiwa, R Mizoguchi
KR, 278-288, 2004
332004
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, 2008
292008
On the complexities of consistency checking for restricted UML class diagrams
K Kaneiwa, K Satoh
Theoretical Computer Science 411 (2), 301-323, 2010
282010
Description logics with contraries, contradictories, and subcontraries
K Kaneiwa
New Generation Computing 25 (4), 443-468, 2007
252007
Description logics with contraries, contradictories, and subcontraries
K Kaneiwa
New Generation Computing 25 (4), 443-468, 2007
252007
An order-sorted resolution with implicitly negative sorts
K Kaneiwa, S Tojo
International Conference on Logic Programming, 300-314, 2001
242001
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
222006
An order-sorted quantified modal logic for meta-ontology
K Kaneiwa, R Mizoguchi
International Conference on Automated Reasoning with Analytic Tableaux and …, 2005
222005
Sequence-indexed linear-time temporal logic: Proof system and application
K Kaneiwa, N Kamide
Applied Artificial Intelligence 24 (10), 896-913, 2010
212010
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
212009
Distributed reasoning with ontologies and rules in order-sorted logic programming
K Kaneiwa, R Mizoguchi
Journal of Web Semantics 7 (3), 252-270, 2009
212009
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
192008
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
162011
A rough set approach to mining connections from information systems
K Kaneiwa
Proceedings of the 2010 ACM Symposium on Applied Computing, 990-996, 2010
162010
The system can't perform the operation now. Try again later.
Articles 1–20