Ken Kaneiwa - RankMe

57 papers A* 3B 3C 2Misc 5Journal 33Unranked 11

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A self-matching training method with annotation embedding models for ontology subsumption prediction. Int. J. Data Sci. Anal. Yukihiro Shiraishi, Ken Kaneiwa
2025	J	`jnl`	Extracting Document Relations from Search Corpus by Marginalizing over User Queries. CoRR Yuki Iwamoto, Kaoru Tsunoda, Ken Kaneiwa
2025	J	`jnl`	Feature selection based on the complexity of structural patterns in RDF graphs. Int. J. Data Sci. Anal. Ken Kaneiwa, Yota Minami
2024	J	`jnl`	A Self-matching Training Method with Annotation Embedding Models for Ontology Subsumption Prediction. CoRR Yukihiro Shiraishi, Ken Kaneiwa
2024	—	`conf`	Efficient Index Structures for Query Solutions on RDF Graphs. BCD Koji Fujiwara, Ken Kaneiwa
2024	—	`conf`	Predicting from a Different Perspective: A Re-ranking Model for Inductive Knowledge Graph Completion. PRICAI (4) Yuki Iwamoto, Ken Kaneiwa
2024	J	`jnl`	The completeness of reasoning algorithms for clause sets in description logic ALC. Knowl. Based Syst. Ken Kaneiwa, Daiki Takahashi
2023	J	`jnl`	Block-segmentation vectors for arousal prediction using semi-supervised learning. Appl. Soft Comput. Yuki Odaka, Ken Kaneiwa
2023	J	`jnl`	Hierarchical Model Selection for Graph Neural Networks. IEEE Access Yuga Oishi, Ken Kaneiwa
2023	J	`jnl`	Multi-Duplicated Characterization of Graph Structures Using Information Gain Ratio for Graph Neural Networks. IEEE Access Yuga Oishi, Ken Kaneiwa
2022	J	`jnl`	Block-Segmentation Vectors for Arousal Prediction using Semi-supervised Learning. CoRR Yuki Odaka, Ken Kaneiwa
2022	J	`jnl`	Hierarchical Model Selection for Graph Neural Netoworks. CoRR Yuga Oishi, Ken Kaneiwa
2022	J	`jnl`	Multi-duplicated Characterization of Graph Structures using Information Gain Ratio for Graph Neural Networks. CoRR Yuga Oishi, Ken Kaneiwa
2022	J	`jnl`	Skip Vectors for RDF Data: Extraction Based on the Complexity of Feature Patterns. CoRR Yota Minami, Ken Kaneiwa
2022	J	`jnl`	The Completeness of Reasoning Algorithms for Clause Sets in Description Logic ALC. CoRR Daiki Takahashi, Ken Kaneiwa
2015	J	`jnl`	A Logical and Ontological Framework for Compositional Concepts of Objects and Properties. New Gener. Comput. Ken Kaneiwa, Riichiro Mizoguchi, Philip H. P. Nguyen
2014	J	`jnl`	Event Inference with Relation and Meta-Relation Type Hierarchies in Conceptual Structure Theory. Appl. Artif. Intell. Philip H. P. Nguyen, Ken Kaneiwa
2013	J	`jnl`	An order-sorted query system for sort, predicate, and meta-predicate hierarchies. Knowl. Inf. Syst. Ken Kaneiwa, Philip H. P. Nguyen
2013	C	`conf`	Community-Driven and Ontology-Based Biological Knowledge Management: A Hybrid Approach to Harnessing Collective Intelligence. SNPD Michiaki Iwazume, Ken Kaneiwa
2013	J	`jnl`	Reasoning about Resources and Information: A Linear Logic Approach. Fundam. Informaticae Norihiro Kamide, Ken Kaneiwa
2012	C	`conf`	KC3 Browser: Semantic Service Mush-up for Global Knowledge Sharing and Discovery. SNPD Michiaki Iwazume, Ken Kaneiwa, Ichiro Kobayashi
2012	Misc	`conf`	Sorted hyper-predicate knowledge bases for ontologies and rules. SAC Ken Kaneiwa, Philip H. P. Nguyen
2011	J	`jnl`	A Time and Situation Dependent Semantics for Ontological Property Classification. IEICE Trans. Inf. Syst. Ken Kaneiwa, Riichiro Mizoguchi
2011	J	`jnl`	A rough set approach to multiple dataset analysis. Appl. Soft Comput. Ken Kaneiwa
2011	J	`jnl`	A sequential pattern mining algorithm using rough set theory. Int. J. Approx. Reason. Ken Kaneiwa, Yasuo Kudo
2011	Misc	`conf`	An attempt of reconstruction of object-oriented rough set models. GrC Yasuo Kudo, Ken Kaneiwa, Tetsuya Murai
2011	J	`jnl`	Conceptual modeling in full computation-tree logic with sequence modal operator. Int. J. Intell. Syst. Ken Kaneiwa, Norihiro Kamide
2011	J	`jnl`	Existential rigidity and many modalities in order-sorted logic. Knowl. Based Syst. Ken Kaneiwa
2011	J	`jnl`	Paraconsistent Computation Tree Logic. New Gener. Comput. Ken Kaneiwa, Norihiro Kamide
2010	Misc	`conf`	A rough set approach to mining connections from information systems. SAC Ken Kaneiwa
2010	Misc	`conf`	Local Pattern Mining from Sequences Using Rough Set Theory. GrC Ken Kaneiwa, Yasuo Kudo
2010	J	`jnl`	On the complexities of consistency checking for restricted UML class diagrams. Theor. Comput. Sci. Ken Kaneiwa, Ken Satoh
2010	—	`conf`	Paraconsistent Negation and Classical Negation in Computation Tree Logic. ICAART (1) Norihiro Kamide, Ken Kaneiwa
2010	—	`conf`	Resource-Sensitive Reasoning with Sequential Information. Australasian Conference on Artificial Intelligence Norihiro Kamide, Ken Kaneiwa
2010	J	`jnl`	Sequence-Indexed Linear-Time Temporal Logic: Proof System and Application. Appl. Artif. Intell. Ken Kaneiwa, Norihiro Kamide
2009	Misc	`conf`	Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring. ISWC Ken Kaneiwa, Philip H. P. Nguyen
2009	J	`jnl`	Distributed reasoning with ontologies and rules in order-sorted logic programming. J. Web Semant. Ken Kaneiwa, Riichiro Mizoguchi
2009	—	`conf`	Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures. Australasian Conference on Artificial Intelligence Norihiro Kamide, Ken Kaneiwa
2009	J	`jnl`	Meta-relation and ontology closure in Conceptual Structure Theory. Artif. Intell. Law Philip H. P. Nguyen, Ken Kaneiwa, Dan Corbett, Minh-Quang Nguyen
2008	—	`conf`	An Ontology Formalization of Relation Type Hierarchy in Conceptual Structure Theory. Australasian Conference on Artificial Intelligence Philip H. P. Nguyen, Ken Kaneiwa, Dan Corbett, Minh-Quang Nguyen
2008	J	`jnl`	Evaluation data and prototype system WISDOM for information credibility analysis. Internet Res. Hisashi Miyamori, Susumu Akamine, Yoshikiyo Kato, Ken Kaneiwa, Kaoru Sumi, Kentaro Inui, Sadao Kurohashi
2008	A*	`conf`	KC3 browser: semantic mash-up and link-free browsing. WWW Michiaki Iwazume, Ken Kaneiwa, Koji Zettsu, Takafumi Nakanishi, Yutaka Kidawara, Yasushi Kiyoki
2007	—	`conf`	An Upper Ontology for Event Classifications and Relations. Australian Conference on Artificial Intelligence Ken Kaneiwa, Michiaki Iwazume, Ken Fukuda
2007	J	`jnl`	Description Logics with Contraries, Contradictories, and Subcontraries. New Gener. Comput. Ken Kaneiwa
2006	—	`conf`	Consistency Checking Algorithms for Restricted UML Class Diagrams. FoIKS Ken Kaneiwa, Ken Satoh
2006	A*	`conf`	Contradiction Finding and Minimal Recovery for UML Class Diagrams. ASE Ken Satoh, Ken Kaneiwa, Takeaki Uno
2005	J	`jnl`	A Hybrid Reasoning System for Terminologies and First-order Clauses in Knowledge Bases. New Gener. Comput. Ken Kaneiwa
2005	B	`conf`	An Order-Sorted Quantified Modal Logic for Meta-ontology. TABLEAUX Ken Kaneiwa, Riichiro Mizoguchi
2005	—	`conf`	On the Semantics of Classical First-order Logic with Constructive Double Negation. IICAI Ken Kaneiwa
2004	—	`conf`	Description Logic and Order-sorted Logic. Description Logics Ken Kaneiwa
2004	A*	`conf`	Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity. KR Ken Kaneiwa, Riichiro Mizoguchi
2004	J	`jnl`	Order-sorted logic programming with predicate hierarchy. Artif. Intell. Ken Kaneiwa
2004	J	`jnl`	Resolution for Label-based Formulas in Hierarchical Representation. New Gener. Comput. Ken Kaneiwa
2004	J	`jnl`	The completeness of logic programming with sort predicates. Syst. Comput. Jpn. Ken Kaneiwa
2003	—	`conf`	Occurrence Logic with Temporal Heredity. IICAI Suguru Yoshioka, Ken Kaneiwa, Satoshi Tojo
2001	B	`conf`	An Order-Sorted Resolution with Implicitly Negative Sorts. ICLP Ken Kaneiwa, Satoshi Tojo
1999	B	`conf`	Event, Property, and Hierarchy in Order-Sorted Logic. ICLP Ken Kaneiwa, Satoshi Tojo