default search action
Ken Kaneiwa
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j24]Ken Kaneiwa
, Daiki Takahashi:
The completeness of reasoning algorithms for clause sets in description logic ALC. Knowl. Based Syst. 286: 111405 (2024) - [i6]Yukihiro Shiraishi, Ken Kaneiwa:
A Self-matching Training Method with Annotation Embedding Models for Ontology Subsumption Prediction. CoRR abs/2402.16278 (2024) - 2023
- [j23]Yuga Oishi
Hierarchical Model Selection for Graph Neural Networks. IEEE Access 11: 16974-16983 (2023) - [j22]Yuga Oishi
Multi-Duplicated Characterization of Graph Structures Using Information Gain Ratio for Graph Neural Networks. IEEE Access 11: 34421-34430 (2023) - [j21]Yuki Odaka, Ken Kaneiwa:
Block-segmentation vectors for arousal prediction using semi-supervised learning. Appl. Soft Comput. 142: 110327 (2023) - 2022
- [i5]Yota Minami, Ken Kaneiwa:
Skip Vectors for RDF Data: Extraction Based on the Complexity of Feature Patterns. CoRR abs/2201.01996 (2022) - [i4]Yuki Odaka, Ken Kaneiwa:
Block-Segmentation Vectors for Arousal Prediction using Semi-supervised Learning. CoRR abs/2204.05096 (2022) - [i3]Daiki Takahashi, Ken Kaneiwa:
The Completeness of Reasoning Algorithms for Clause Sets in Description Logic ALC. CoRR abs/2208.05279 (2022) - [i2]Yuga Oishi, Ken Kaneiwa:
Hierarchical Model Selection for Graph Neural Netoworks. CoRR abs/2212.00898 (2022) - [i1]Yuga Oishi, Ken Kaneiwa:
Multi-duplicated Characterization of Graph Structures using Information Gain Ratio for Graph Neural Networks. CoRR abs/2212.12691 (2022)
2010 – 2019
- 2015
- [j20]Ken Kaneiwa, Riichiro Mizoguchi, Philip H. P. Nguyen:
A Logical and Ontological Framework for Compositional Concepts of Objects and Properties. New Gener. Comput. 33(2): 149-172 (2015) - 2014
- [j19]Philip H. P. Nguyen, Ken Kaneiwa:
Event Inference with Relation and Meta-Relation Type Hierarchies in Conceptual Structure Theory. Appl. Artif. Intell. 28(2): 139-177 (2014) - 2013
- [j18]Norihiro Kamide, Ken Kaneiwa:
Reasoning about Resources and Information: A Linear Logic Approach. Fundam. Informaticae 125(1): 51-70 (2013) - [j17]Ken Kaneiwa, Philip H. P. Nguyen:
An order-sorted query system for sort, predicate, and meta-predicate hierarchies. Knowl. Inf. Syst. 35(2): 463-492 (2013) - [c22]Michiaki Iwazume, Ken Kaneiwa:
Community-Driven and Ontology-Based Biological Knowledge Management: A Hybrid Approach to Harnessing Collective Intelligence. SNPD 2013: 387-393 - 2012
- [c21]Ken Kaneiwa, Philip H. P. Nguyen:
Sorted hyper-predicate knowledge bases for ontologies and rules. SAC 2012: 312-319 - [c20]Michiaki Iwazume, Ken Kaneiwa, Ichiro Kobayashi:
KC3 Browser: Semantic Service Mush-up for Global Knowledge Sharing and Discovery. SNPD 2012: 754-759 - 2011
- [j16]Ken Kaneiwa:
A rough set approach to multiple dataset analysis. Appl. Soft Comput. 11(2): 2538-2547 (2011) - [j15]Ken Kaneiwa, Riichiro Mizoguchi:
A Time and Situation Dependent Semantics for Ontological Property Classification. IEICE Trans. Inf. Syst. 94-D(3): 639-647 (2011) - [j14]Ken Kaneiwa, Yasuo Kudo
A sequential pattern mining algorithm using rough set theory. Int. J. Approx. Reason. 52(6): 881-893 (2011) - [j13]Ken Kaneiwa, Norihiro Kamide:
Conceptual modeling in full computation-tree logic with sequence modal operator. Int. J. Intell. Syst. 26(7): 636-651 (2011) - [j12]Ken Kaneiwa:
Existential rigidity and many modalities in order-sorted logic. Knowl. Based Syst. 24(5): 629-641 (2011) - [j11]Ken Kaneiwa, Norihiro Kamide:
Paraconsistent Computation Tree Logic. New Gener. Comput. 29(4): 391-408 (2011) - [c19]Yasuo Kudo, Ken Kaneiwa, Tetsuya Murai:
An attempt of reconstruction of object-oriented rough set models. GrC 2011: 345-350 - 2010
- [j10]Ken Kaneiwa, Norihiro Kamide:
Sequence-Indexed Linear-Time Temporal Logic: Proof System and Application. Appl. Artif. Intell. 24(10): 896-913 (2010) - [j9]Ken Kaneiwa, Ken Satoh:
On the complexities of consistency checking for restricted UML class diagrams. Theor. Comput. Sci. 411(2): 301-323 (2010) - [c18]Norihiro Kamide, Ken Kaneiwa:
Resource-Sensitive Reasoning with Sequential Information. Australasian Conference on Artificial Intelligence 2010: 22-31 - [c17]Ken Kaneiwa, Yasuo Kudo:
Local Pattern Mining from Sequences Using Rough Set Theory. GrC 2010: 247-252 - [c16]Norihiro Kamide, Ken Kaneiwa:
Paraconsistent Negation and Classical Negation in Computation Tree Logic. ICAART (1) 2010: 464-469 - [c15]Ken Kaneiwa:
A rough set approach to mining connections from information systems. SAC 2010: 990-996
2000 – 2009
- 2009
- [j8]Philip H. P. Nguyen, Ken Kaneiwa, Dan Corbett, Minh-Quang Nguyen:
Meta-relation and ontology closure in Conceptual Structure Theory. Artif. Intell. Law 17(4): 291-320 (2009) - [j7]Ken Kaneiwa, Riichiro Mizoguchi:
Distributed reasoning with ontologies and rules in order-sorted logic programming. J. Web Semant. 7(3): 252-270 (2009) - [c14]Norihiro Kamide, Ken Kaneiwa:
Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures. Australasian Conference on Artificial Intelligence 2009: 485-494 - [c13]Ken Kaneiwa, Philip H. P. Nguyen:
Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring. ISWC 2009: 328-343 - 2008
- [j6]Hisashi Miyamori, Susumu Akamine, Yoshikiyo Kato, Ken Kaneiwa, Kaoru Sumi
Evaluation data and prototype system WISDOM for information credibility analysis. Internet Res. 18(2): 155-164 (2008) - [c12]Philip H. P. Nguyen, Ken Kaneiwa, Dan Corbett, Minh-Quang Nguyen:
An Ontology Formalization of Relation Type Hierarchy in Conceptual Structure Theory. Australasian Conference on Artificial Intelligence 2008: 79-85 - [c11]Michiaki Iwazume, Ken Kaneiwa, Koji Zettsu, Takafumi Nakanishi
KC3 browser: semantic mash-up and link-free browsing. WWW 2008: 1209-1210 - 2007
- [j5]Ken Kaneiwa:
Description Logics with Contraries, Contradictories, and Subcontraries. New Gener. Comput. 25(4): 443-468 (2007) - [c10]Ken Kaneiwa, Michiaki Iwazume, Ken Fukuda
An Upper Ontology for Event Classifications and Relations. Australian Conference on Artificial Intelligence 2007: 394-403 - 2006
- [c9]Ken Kaneiwa, Ken Satoh:
Consistency Checking Algorithms for Restricted UML Class Diagrams. FoIKS 2006: 219-239 - [c8]Ken Satoh, Ken Kaneiwa, Takeaki Uno:
Contradiction Finding and Minimal Recovery for UML Class Diagrams. ASE 2006: 277-280 - 2005
- [j4]Ken Kaneiwa:
A Hybrid Reasoning System for Terminologies and First-order Clauses in Knowledge Bases. New Gener. Comput. 24(1): 29-51 (2005) - [c7]Ken Kaneiwa:
On the Semantics of Classical First-order Logic with Constructive Double Negation. IICAI 2005: 1225-1242 - [c6]Ken Kaneiwa, Riichiro Mizoguchi:
An Order-Sorted Quantified Modal Logic for Meta-ontology. TABLEAUX 2005: 169-184 - 2004
- [j3]Ken Kaneiwa:
Order-sorted logic programming with predicate hierarchy. Artif. Intell. 158(2): 155-188 (2004) - [j2]Ken Kaneiwa:
Resolution for Label-based Formulas in Hierarchical Representation. New Gener. Comput. 22(3): 253-269 (2004) - [j1]Ken Kaneiwa:
The completeness of logic programming with sort predicates. Syst. Comput. Jpn. 35(1): 37-46 (2004) - [c5]Ken Kaneiwa:
Description Logic and Order-sorted Logic. Description Logics 2004 - [c4]Ken Kaneiwa, Riichiro Mizoguchi:
Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity. KR 2004: 278-288 - 2003
- [c3]Suguru Yoshioka, Ken Kaneiwa, Satoshi Tojo:
Occurrence Logic with Temporal Heredity. IICAI 2003: 1296-1309 - 2001
- [c2]Ken Kaneiwa, Satoshi Tojo:
An Order-Sorted Resolution with Implicitly Negative Sorts. ICLP 2001: 300-314
1990 – 1999
- 1999
- [c1]Ken Kaneiwa, Satoshi Tojo:
Event, Property, and Hierarchy in Order-Sorted Logic. ICLP 1999: 94-108
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-03 00:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: