The SCEAS System
| |||||||

## Search the dblp DataBase
Ken Kaneiwa:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Ken Kaneiwa
**Description Logic and Order-sorted Logic.**[Citation Graph (0, 0)][DBLP] Description Logics, 2004, pp:- [Conf] - Ken Kaneiwa, Ken Satoh
**Consistency Checking Algorithms for Restricted UML Class Diagrams.**[Citation Graph (0, 0)][DBLP] FoIKS, 2006, pp:219-239 [Conf] - Ken Kaneiwa, Satoshi Tojo
**An Order-Sorted Resolution with Implicitly Negative Sorts.**[Citation Graph (0, 0)][DBLP] ICLP, 2001, pp:300-314 [Conf] - Ken Kaneiwa, Satoshi Tojo
**Event, Property, and Hierarchy in Order-Sorted Logic.**[Citation Graph (0, 0)][DBLP] ICLP, 1999, pp:94-108 [Conf] - 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] - Suguru Yoshioka, Ken Kaneiwa, Satoshi Tojo
**Occurrence Logic with Temporal Heredity.**[Citation Graph (0, 0)][DBLP] IICAI, 2003, pp:1296-1309 [Conf] - 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] - Ken Kaneiwa, Riichiro Mizoguchi
**Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity.**[Citation Graph (0, 0)][DBLP] KR, 2004, pp:278-288 [Conf] - Ken Kaneiwa, Riichiro Mizoguchi
**An Order-Sorted Quantified Modal Logic for Meta-ontology.**[Citation Graph (0, 0)][DBLP] TABLEAUX, 2005, pp:169-184 [Conf] - 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] - 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] - 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] **An Ontology Formalization of Relation Type Hierarchy in Conceptual Structure Theory.**[Citation Graph (, )][DBLP]**An Upper Ontology for Event Classifications and Relations.**[Citation Graph (, )][DBLP]**Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures.**[Citation Graph (, )][DBLP]**A rough set approach to mining connections from information systems.**[Citation Graph (, )][DBLP]**Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring.**[Citation Graph (, )][DBLP]**KC3 browser: semantic mash-up and link-free browsing.**[Citation Graph (, )][DBLP]**Local Pattern Mining from Sequences Using Rough Set Theory.**[Citation Graph (, )][DBLP]**Paraconsistent Negation and Classical Negation in Computation Tree Logic.**[Citation Graph (, )][DBLP]**Meta-relation and ontology closure in Conceptual Structure Theory.**[Citation Graph (, )][DBLP]
Search in 0.009secs, Finished in 0.010secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |