Search the dblp DataBase

Publications of Author

1. Ken Kaneiwa
   Description Logic and Order-sorted Logic. [Citation Graph (0, 0)][DBLP]
   Description Logics, 2004, pp:- [Conf]
   
2. Ken Kaneiwa, Ken Satoh
   Consistency Checking Algorithms for Restricted UML Class Diagrams. [Citation Graph (0, 0)][DBLP]
   FoIKS, 2006, pp:219-239 [Conf]
   
3. Ken Kaneiwa, Satoshi Tojo
   An Order-Sorted Resolution with Implicitly Negative Sorts. [Citation Graph (0, 0)][DBLP]
   ICLP, 2001, pp:300-314 [Conf]
   
4. Ken Kaneiwa, Satoshi Tojo
   Event, Property, and Hierarchy in Order-Sorted Logic. [Citation Graph (0, 0)][DBLP]
   ICLP, 1999, pp:94-108 [Conf]
   
5. Ken Kaneiwa
   On the Semantics of Classical First-order Logic with Constructive Double Negation. [Citation Graph (0, 0)][DBLP]
   IICAI, 2005, pp:1225-1242 [Conf]
   
6. Suguru Yoshioka, Ken Kaneiwa, Satoshi Tojo
   Occurrence Logic with Temporal Heredity. [Citation Graph (0, 0)][DBLP]
   IICAI, 2003, pp:1296-1309 [Conf]
   
7. Ken Satoh, Ken Kaneiwa, Takeaki Uno
   Contradiction Finding and Minimal Recovery for UML Class Diagrams. [Citation Graph (0, 0)][DBLP]
   ASE, 2006, pp:277-280 [Conf]
   
8. Ken Kaneiwa, Riichiro Mizoguchi
   Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity. [Citation Graph (0, 0)][DBLP]
   KR, 2004, pp:278-288 [Conf]
   
9. Ken Kaneiwa, Riichiro Mizoguchi
   An Order-Sorted Quantified Modal Logic for Meta-ontology. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2005, pp:169-184 [Conf]
   
10. Ken Kaneiwa
    Order-sorted logic programming with predicate hierarchy. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2004, v:158, n:2, pp:155-188 [Journal]
    
11. Ken Kaneiwa
    Resolution for Label-based Formulas in Hierarchical Representation. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 2004, v:22, n:3, pp:- [Journal]
    
12. Ken Kaneiwa
    The completeness of logic programming with sort predicates. [Citation Graph (0, 0)][DBLP]
    Systems and Computers in Japan, 2004, v:35, n:1, pp:37-46 [Journal]
    
13. 
    An Ontology Formalization of Relation Type Hierarchy in Conceptual Structure Theory. [Citation Graph (, )][DBLP]
    
    
14. 
    An Upper Ontology for Event Classifications and Relations. [Citation Graph (, )][DBLP]
    
    
15. 
    Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures. [Citation Graph (, )][DBLP]
    
    
16. 
    A rough set approach to mining connections from information systems. [Citation Graph (, )][DBLP]
    
    
17. 
    Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring. [Citation Graph (, )][DBLP]
    
    
18. 
    KC3 browser: semantic mash-up and link-free browsing. [Citation Graph (, )][DBLP]
    
    
19. 
    Local Pattern Mining from Sequences Using Rough Set Theory. [Citation Graph (, )][DBLP]
    
    
20. 
    Paraconsistent Negation and Classical Negation in Computation Tree Logic. [Citation Graph (, )][DBLP]
    
    
21. 
    Meta-relation and ontology closure in Conceptual Structure Theory. [Citation Graph (, )][DBLP]