The SCEAS System
Navigation Menu

Search the dblp DataBase


Ken Kaneiwa: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002