Event, Property, and Hierarchy in Order-Sorted Logic. - Ken Kaneiwa; Satoshi Tojo (ICLP, 1999)

An Order-Sorted Resolution with Implicitly Negative Sorts. - Ken Kaneiwa; Satoshi Tojo (ICLP, 2001)

Occurrence Logic with Temporal Heredity. - Suguru Yoshioka; Ken Kaneiwa; Satoshi Tojo (IICAI, 2003)

Description Logic and Order-sorted Logic. - Ken Kaneiwa (Description Logics, 2004)

Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity. - Ken Kaneiwa; Riichiro Mizoguchi (KR, 2004)

Order-sorted logic programming with predicate hierarchy. - Ken Kaneiwa (Artif. Intell., 2004)

Resolution for Label-based Formulas in Hierarchical Representation. - Ken Kaneiwa (New Gener. Comput., 2004)

The completeness of logic programming with sort predicates. - Ken Kaneiwa (Syst. Comput. Jpn., 2004)

On the Semantics of Classical First-order Logic with Constructive Double Negation. - Ken Kaneiwa (IICAI, 2005)

An Order-Sorted Quantified Modal Logic for Meta-ontology. - Ken Kaneiwa; Riichiro Mizoguchi (TABLEAUX, 2005)

A Hybrid Reasoning System for Terminologies and First-order Clauses in Knowledge Bases. - Ken Kaneiwa (New Gener. Comput., 2005)

Consistency Checking Algorithms for Restricted UML Class Diagrams. - Ken Kaneiwa; Ken Satoh (FoIKS, 2006)

Contradiction Finding and Minimal Recovery for UML Class Diagrams. - Ken Satoh; Ken Kaneiwa; Takeaki Uno (ASE, 2006)

An Upper Ontology for Event Classifications and Relations. - Ken Kaneiwa; Michiaki Iwazume; Ken Fukuda (Australian Conference on Artificial Intelligence, 2007)

Description Logics with Contraries, Contradictories, and Subcontraries. - Ken Kaneiwa (New Gener. Comput., 2007)

An Ontology Formalization of Relation Type Hierarchy in Conceptual Structure Theory. - Philip H. P. Nguyen; Ken Kaneiwa; Dan Corbett; Minh-Quang Nguyen (Australasian Conference on Artificial Intelligence, 2008)

KC3 browser: semantic mash-up and link-free browsing. - Michiaki Iwazume; Ken Kaneiwa; Koji Zettsu; Takafumi Nakanishi; Yutaka Kidawara; Yasushi Kiyoki (WWW, 2008)

Evaluation data and prototype system WISDOM for information credibility analysis. - Hisashi Miyamori; Susumu Akamine; Yoshikiyo Kato; Ken Kaneiwa; Kaoru Sumi; Kentaro Inui; Sadao Kurohashi (Internet Res., 2008)

Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures. - Norihiro Kamide; Ken Kaneiwa (Australasian Conference on Artificial Intelligence, 2009)

Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring. - Ken Kaneiwa; Philip H. P. Nguyen (ISWC, 2009)

Meta-relation and ontology closure in Conceptual Structure Theory. - Philip H. P. Nguyen; Ken Kaneiwa; Dan Corbett; Minh-Quang Nguyen (Artif. Intell. Law, 2009)

Distributed reasoning with ontologies and rules in order-sorted logic programming. - Ken Kaneiwa; Riichiro Mizoguchi (J. Web Semant., 2009)

Resource-Sensitive Reasoning with Sequential Information. - Norihiro Kamide; Ken Kaneiwa (Australasian Conference on Artificial Intelligence, 2010)

Local Pattern Mining from Sequences Using Rough Set Theory. - Ken Kaneiwa; Yasuo Kudo (GrC, 2010)

Paraconsistent Negation and Classical Negation in Computation Tree Logic. - Norihiro Kamide; Ken Kaneiwa (ICAART (1), 2010)

A rough set approach to mining connections from information systems. - Ken Kaneiwa (SAC, 2010)

Sequence-Indexed Linear-Time Temporal Logic: Proof System and Application. - Ken Kaneiwa; Norihiro Kamide (Appl. Artif. Intell., 2010)

On the complexities of consistency checking for restricted UML class diagrams. - Ken Kaneiwa; Ken Satoh (Theor. Comput. Sci., 2010)

An attempt of reconstruction of object-oriented rough set models. - Yasuo Kudo; Ken Kaneiwa; Tetsuya Murai (GrC, 2011)

A rough set approach to multiple dataset analysis. - Ken Kaneiwa (Appl. Soft Comput., 2011)

A Time and Situation Dependent Semantics for Ontological Property Classification. - Ken Kaneiwa; Riichiro Mizoguchi (IEICE Trans. Inf. Syst., 2011)

A sequential pattern mining algorithm using rough set theory. - Ken Kaneiwa; Yasuo Kudo (Int. J. Approx. Reason., 2011)

Conceptual modeling in full computation-tree logic with sequence modal operator. - Ken Kaneiwa; Norihiro Kamide (Int. J. Intell. Syst., 2011)

Existential rigidity and many modalities in order-sorted logic. - Ken Kaneiwa (Knowl. Based Syst., 2011)

Paraconsistent Computation Tree Logic. - Ken Kaneiwa; Norihiro Kamide (New Gener. Comput., 2011)

Sorted hyper-predicate knowledge bases for ontologies and rules. - Ken Kaneiwa; Philip H. P. Nguyen (SAC, 2012)

KC3 Browser: Semantic Service Mush-up for Global Knowledge Sharing and Discovery. - Michiaki Iwazume; Ken Kaneiwa; Ichiro Kobayashi (SNPD, 2012)

Community-Driven and Ontology-Based Biological Knowledge Management: A Hybrid Approach to Harnessing Collective Intelligence. - Michiaki Iwazume; Ken Kaneiwa (SNPD, 2013)

Reasoning about Resources and Information: A Linear Logic Approach. - Norihiro Kamide; Ken Kaneiwa (Fundam. Informaticae, 2013)

An order-sorted query system for sort, predicate, and meta-predicate hierarchies. - Ken Kaneiwa; Philip H. P. Nguyen (Knowl. Inf. Syst., 2013)

Event Inference with Relation and Meta-Relation Type Hierarchies in Conceptual Structure Theory. - Philip H. P. Nguyen; Ken Kaneiwa (Appl. Artif. Intell., 2014)

A Logical and Ontological Framework for Compositional Concepts of Objects and Properties. - Ken Kaneiwa; Riichiro Mizoguchi; Philip H. P. Nguyen (New Gener. Comput., 2015)

Skip Vectors for RDF Data: Extraction Based on the Complexity of Feature Patterns. - Yota Minami; Ken Kaneiwa (CoRR, 2022)

Hierarchical Model Selection for Graph Neural Netoworks. - Yuga Oishi; Ken Kaneiwa (CoRR, 2022)

Hierarchical Model Selection for Graph Neural Networks. - Yuga Oishi; Ken Kaneiwa (IEEE Access, 2023)

Multi-Duplicated Characterization of Graph Structures Using Information Gain Ratio for Graph Neural Networks. - Yuga Oishi; Ken Kaneiwa (IEEE Access, 2023)

Block-segmentation vectors for arousal prediction using semi-supervised learning. - Yuki Odaka; Ken Kaneiwa (Appl. Soft Comput., 2023)

Efficient Index Structures for Query Solutions on RDF Graphs. - Koji Fujiwara; Ken Kaneiwa (BCD, 2024)

Predicting from a Different Perspective: A Re-ranking Model for Inductive Knowledge Graph Completion. - Yuki Iwamoto; Ken Kaneiwa (PRICAI (4), 2024)

A Self-matching Training Method with Annotation Embedding Models for Ontology Subsumption Prediction. - Yukihiro Shiraishi; Ken Kaneiwa (CoRR, 2024)

The completeness of reasoning algorithms for clause sets in description logic ALC. - Ken Kaneiwa; Daiki Takahashi (Knowl. Based Syst., 2024)

Feature selection based on the complexity of structural patterns in RDF graphs. - Ken Kaneiwa; Yota Minami (Int. J. Data Sci. Anal., 2025)

Extracting Document Relations from Search Corpus by Marginalizing over User Queries. - Yuki Iwamoto; Kaoru Tsunoda; Ken Kaneiwa (CoRR, 2025)