Ken Kaneiwa
Título
Citado por
Citado por
Año
An upper ontology for event classifications and relations
K Kaneiwa, M Iwazume, K Fukuda
Australasian Joint Conference on Artificial Intelligence, 394-403, 2007
862007
A sequential pattern mining algorithm using rough set theory
K Kaneiwa, Y Kudo
International Journal of Approximate Reasoning 52 (6), 881-893, 2011
612011
Consistency checking algorithms for restricted UML class diagrams
K Kaneiwa, K Satoh
International Symposium on Foundations of Information and Knowledge Systems …, 2006
592006
Order-sorted logic programming with predicate hierarchy
K Kaneiwa
Artificial Intelligence 158 (2), 155-188, 2004
452004
Negations in description logic-contraries, contradictories, and subcontraries
K Kaneiwa
Contributions to ICCS, 66-79, 2005
392005
A rough set approach to multiple dataset analysis
K Kaneiwa
Applied Soft Computing 11 (2), 2538-2547, 2011
382011
Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity.
K Kaneiwa, R Mizoguchi
KR, 278-288, 2004
312004
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
242007
Description logics with contraries, contradictories, and subcontraries
K Kaneiwa
New Generation Computing 25 (4), 443-468, 2007
242007
An order-sorted resolution with implicitly negative sorts
K Kaneiwa, S Tojo
International Conference on Logic Programming, 300-314, 2001
242001
An order-sorted quantified modal logic for meta-ontology
K Kaneiwa, R Mizoguchi
International Conference on Automated Reasoning with Analytic Tableaux and …, 2005
232005
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
202009
Evaluation data and prototype system WISDOM for information credibility analysis
Y Kato, S Kurohashi, K Inui, H Miyamori, S Akamine, K Kaneiwa, K Sumi
Internet Research, 2008
202008
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
202006
Sequence-indexed linear-time temporal logic: Proof system and application
K Kaneiwa, N Kamide
Applied Artificial Intelligence 24 (10), 896-913, 2010
192010
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
A rough set approach to mining connections from information systems
K Kaneiwa
Proceedings of the 2010 ACM Symposium on Applied Computing, 990-996, 2010
152010
Event, Property, and Hierarchy in Order-Sorted Logic.
K Kaneiwa, S Tojo
ICLP, 94-108, 1999
151999
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20