Searching for authors named "Ken Kaneiwa" – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
