Ken Kaneiwa

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

17EEPhilip H. P. Nguyen, Ken Kaneiwa, Dan Corbett, Minh-Quang Nguyen: An Ontology Formalization of Relation Type Hierarchy in Conceptual Structure Theory. Australasian Conference on Artificial Intelligence 2008: 79-85
16EEMichiaki Iwazume, Ken Kaneiwa, Koji Zettsu, Takafumi Nakanishi, Yutaka Kidawara, Yasushi Kiyoki: KC3 browser: semantic mash-up and link-free browsing. WWW 2008: 1209-1210
15EEKen Kaneiwa, Michiaki Iwazume, Ken Fukuda: An Upper Ontology for Event Classifications and Relations. Australian Conference on Artificial Intelligence 2007: 394-403
14EEKen Kaneiwa: Description Logics with Contraries, Contradictories, and Subcontraries. New Generation Comput. 25(4): 443-468 (2007)
13EEKen Satoh, Ken Kaneiwa, Takeaki Uno: Contradiction Finding and Minimal Recovery for UML Class Diagrams. ASE 2006: 277-280
12EEKen Kaneiwa, Ken Satoh: Consistency Checking Algorithms for Restricted UML Class Diagrams. FoIKS 2006: 219-239
11 Ken Kaneiwa: On the Semantics of Classical First-order Logic with Constructive Double Negation. IICAI 2005: 1225-1242
10EEKen Kaneiwa, Riichiro Mizoguchi: An Order-Sorted Quantified Modal Logic for Meta-ontology. TABLEAUX 2005: 169-184
9EEKen Kaneiwa: A Hybrid Reasoning System for Terminologies and First-order Clauses in Knowledge Bases. New Generation Comput. 24(1): (2005)
8EEKen Kaneiwa: Description Logic and Order-sorted Logic. Description Logics 2004
7 Ken Kaneiwa, Riichiro Mizoguchi: Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity. KR 2004: 278-288
6EEKen Kaneiwa: Order-sorted logic programming with predicate hierarchy. Artif. Intell. 158(2): 155-188 (2004)
5EEKen Kaneiwa: Resolution for Label-based Formulas in Hierarchical Representation. New Generation Comput. 22(3): (2004)
4EEKen Kaneiwa: The completeness of logic programming with sort predicates. Systems and Computers in Japan 35(1): 37-46 (2004)
3 Suguru Yoshioka, Ken Kaneiwa, Satoshi Tojo: Occurrence Logic with Temporal Heredity. IICAI 2003: 1296-1309
2EEKen Kaneiwa, Satoshi Tojo: An Order-Sorted Resolution with Implicitly Negative Sorts. ICLP 2001: 300-314
1 Ken Kaneiwa, Satoshi Tojo: Event, Property, and Hierarchy in Order-Sorted Logic. ICLP 1999: 94-108

Coauthor Index

1Dan Corbett [17]
2Ken Fukuda [15]
3Michiaki Iwazume [15] [16]
4Yutaka Kidawara [16]
5Yasushi Kiyoki [16]
6Riichiro Mizoguchi [7] [10]
7Takafumi Nakanishi [16]
8Minh-Quang Nguyen [17]
9Philip H. P. Nguyen [17]
10Ken Satoh [12] [13]
11Satoshi Tojo [1] [2] [3]
12Takeaki Uno [13]
13Suguru Yoshioka [3]
14Koji Zettsu [16]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)