Searching for authors named "Ken Kaneiwa" – sorted by Relevance.
-
Resolution for label-based formulas in hierarchical representation
- -based Formulas in Hierarchical Representation Ken KANEIWA National Institute of Informatics 2-1-2 Hitotsubashi
- Cited by 1 (1 self) – Add To MetaCart
-
The completeness of logic programming with sort predicates
- The Completeness of Logic Programming with Sort Predicates Ken Kaneiwa Foundations of Informatics
- Cited by 5 (4 self) – Add To MetaCart
-
Ontological knowledge base reasoning with sorthierarchy and rigidity
- Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity ∗ Ken Kaneiwa National
- Cited by 10 (9 self) – Add To MetaCart
-
A Rough Set Approach to Mining Connections from Information Systems
- A Rough Set Approach to Mining Connections from Information Systems Ken Kaneiwa National Institute
- Add To MetaCart
-
Description Logics with Contraries, Contradictories, and Subcontraries 1 1 Description Logics with Contraries, Contradictories,
- with Contraries, Contradictories, and Subcontraries 1 Ken KANEIWA National Institute of Information
- Add To MetaCart
-
Logical Aspects of Events: Quantification, Sorts, Composition and Disjointness
- provided this text is included. Ken Kaneiwa 1 Satoshi Tojo 2 1 National Institute of Informatics, Japan 2
- Add To MetaCart
-
Order-Sorted Quantified Modal Logic: Tableau Calculus and Ontological Property Classification
- Ken Kaneiwa National Institute of Informatics 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430, Japan
- Add To MetaCart
-
An order-sorted resolution with implicitly negative sorts
- An Order-Sorted Resolution with Implicitly Negative Sorts Ken Kaneiwa 1 and Satoshi Tojo 2 1
- Cited by 12 (9 self) – Add To MetaCart
-
An Order-Sorted Quantified Modal Logic for Meta-Ontology
- An Order-Sorted Quantified Modal Logic for Meta-Ontology Ken Kaneiwa 1 and Riichiro Mizoguchi 2 1
- Cited by 7 (6 self) – Add To MetaCart
-
Distributed reasoning with ontologies and rules in order-sorted logic programming
- Distributed Reasoning with Ontologies and Rules in Order-Sorted Logic Programming 1 Ken Kaneiwa
- Cited by 2 (2 self) – Add To MetaCart

