Ken Kaneiwa

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)

Ken Kaneiwa, Philip H. P. Nguyen: Sorted hyper-predicate knowledge bases for ontologies and rules. SAC 2012: 312-319

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

Ken Kaneiwa: A rough set approach to multiple dataset analysis. Appl. Soft Comput. 11(2): 2538-2547 (2011)

Ken Kaneiwa, Riichiro Mizoguchi: A Time and Situation Dependent Semantics for Ontological Property Classification. IEICE Transactions 94-D(3): 639-647 (2011)

Ken Kaneiwa, Yasuo Kudo: A sequential pattern mining algorithm using rough set theory. Int. J. Approx. Reasoning 52(6): 881-893 (2011)

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

Ken Kaneiwa: Existential rigidity and many modalities in order-sorted logic. Knowl.-Based Syst. 24(5): 629-641 (2011)

Ken Kaneiwa, Norihiro Kamide: Paraconsistent Computation Tree Logic. New Generation Comput. 29(4): 391-408 (2011)

Yasuo Kudo, Ken Kaneiwa, Tetsuya Murai: An attempt of reconstruction of object-oriented rough set models. GrC 2011: 345-350

Ken Kaneiwa, Norihiro Kamide: Sequence-Indexed Linear-Time Temporal Logic: Proof System and Application. Applied Artificial Intelligence 24(10): 896-913 (2010)

Ken Kaneiwa, Ken Satoh: On the complexities of consistency checking for restricted UML class diagrams. Theor. Comput. Sci. 411(2): 301-323 (2010)

Norihiro Kamide, Ken Kaneiwa: Resource-Sensitive Reasoning with Sequential Information. Australasian Conference on Artificial Intelligence 2010: 22-31

Ken Kaneiwa, Yasuo Kudo: Local Pattern Mining from Sequences Using Rough Set Theory. GrC 2010: 247-252

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

Ken Kaneiwa: A rough set approach to mining connections from information systems. SAC 2010: 990-996

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)

Ken Kaneiwa, Riichiro Mizoguchi: Distributed reasoning with ontologies and rules in order-sorted logic programming. J. Web Sem. 7(3): 252-270 (2009)

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

Ken Kaneiwa, Philip H. P. Nguyen: Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring. International Semantic Web Conference 2009: 328-343

Hisashi Miyamori, Susumu Akamine, Yoshikiyo Kato, Ken Kaneiwa, Kaoru Sumi, Kentaro Inui, Sadao Kurohashi: Evaluation data and prototype system WISDOM for information credibility analysis. Internet Research 18(2): 155-164 (2008)

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

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

Ken Kaneiwa: Description Logics with Contraries, Contradictories, and Subcontraries. New Generation Comput. 25(4): 443-468 (2007)

Ken Kaneiwa, Michiaki Iwazume, Ken Fukuda: An Upper Ontology for Event Classifications and Relations. Australian Conference on Artificial Intelligence 2007: 394-403

Ken Kaneiwa, Ken Satoh: Consistency Checking Algorithms for Restricted UML Class Diagrams. FoIKS 2006: 219-239

Ken Satoh, Ken Kaneiwa, Takeaki Uno: Contradiction Finding and Minimal Recovery for UML Class Diagrams. ASE 2006: 277-280

Ken Kaneiwa: A Hybrid Reasoning System for Terminologies and First-order Clauses in Knowledge Bases. New Generation Comput. 24(1): 29-51 (2005)

Ken Kaneiwa: On the Semantics of Classical First-order Logic with Constructive Double Negation. IICAI 2005: 1225-1242

Ken Kaneiwa, Riichiro Mizoguchi: An Order-Sorted Quantified Modal Logic for Meta-ontology. TABLEAUX 2005: 169-184

Ken Kaneiwa: Order-sorted logic programming with predicate hierarchy. Artif. Intell. 158(2): 155-188 (2004)

Ken Kaneiwa: Resolution for Label-based Formulas in Hierarchical Representation. New Generation Comput. 22(3): 253-269 (2004)

Ken Kaneiwa: The completeness of logic programming with sort predicates. Systems and Computers in Japan 35(1): 37-46 (2004)

Ken Kaneiwa: Description Logic and Order-sorted Logic. Description Logics 2004

Ken Kaneiwa, Riichiro Mizoguchi: Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity. KR 2004: 278-288

Suguru Yoshioka, Ken Kaneiwa, Satoshi Tojo: Occurrence Logic with Temporal Heredity. IICAI 2003: 1296-1309

Ken Kaneiwa, Satoshi Tojo: An Order-Sorted Resolution with Implicitly Negative Sorts. ICLP 2001: 300-314

Ken Kaneiwa, Satoshi Tojo: Event, Property, and Hierarchy in Order-Sorted Logic. ICLP 1999: 94-108