| 2008 |
|---|
| 14 | EE | Michiaki Iwazume,
Ken Kaneiwa,
Koji Zettsu,
Takafumi Nakanishi,
Yutaka Kidawara,
Yasushi Kiyoki:
KC3 browser: semantic mash-up and link-free browsing.
WWW 2008: 1209-1210 |
| 2007 |
|---|
| 13 | EE | Ken Kaneiwa,
Michiaki Iwazume,
Ken Fukuda:
An Upper Ontology for Event Classifications and Relations.
Australian Conference on Artificial Intelligence 2007: 394-403 |
| 2006 |
|---|
| 12 | EE | Ken Satoh,
Ken Kaneiwa,
Takeaki Uno:
Contradiction Finding and Minimal Recovery for UML Class Diagrams.
ASE 2006: 277-280 |
| 11 | EE | Ken Kaneiwa,
Ken Satoh:
Consistency Checking Algorithms for Restricted UML Class Diagrams.
FoIKS 2006: 219-239 |
| 2005 |
|---|
| 10 | | Ken Kaneiwa:
On the Semantics of Classical First-order Logic with Constructive Double Negation.
IICAI 2005: 1225-1242 |
| 9 | EE | Ken Kaneiwa,
Riichiro Mizoguchi:
An Order-Sorted Quantified Modal Logic for Meta-ontology.
TABLEAUX 2005: 169-184 |
| 2004 |
|---|
| 8 | EE | Ken 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 |
| 6 | EE | Ken Kaneiwa:
Order-sorted logic programming with predicate hierarchy.
Artif. Intell. 158(2): 155-188 (2004) |
| 5 | EE | Ken Kaneiwa:
Resolution for Label-based Formulas in Hierarchical Representation.
New Generation Comput. 22(3): (2004) |
| 4 | EE | Ken Kaneiwa:
The completeness of logic programming with sort predicates.
Systems and Computers in Japan 35(1): 37-46 (2004) |
| 2003 |
|---|
| 3 | | Suguru Yoshioka,
Ken Kaneiwa,
Satoshi Tojo:
Occurrence Logic with Temporal Heredity.
IICAI 2003: 1296-1309 |
| 2001 |
|---|
| 2 | EE | Ken Kaneiwa,
Satoshi Tojo:
An Order-Sorted Resolution with Implicitly Negative Sorts.
ICLP 2001: 300-314 |
| 1999 |
|---|
| 1 | | Ken Kaneiwa,
Satoshi Tojo:
Event, Property, and Hierarchy in Order-Sorted Logic.
ICLP 1999: 94-108 |
