Ken Kaneiwa

	2011
35		Yasuo Kudo, Ken Kaneiwa, Tetsuya Murai: An attempt of reconstruction of object-oriented rough set models. GrC 2011: 345-350
34		Ken Kaneiwa: A rough set approach to multiple dataset analysis. Appl. Soft Comput. 11(2): 2538-2547 (2011)
33		Ken Kaneiwa, Riichiro Mizoguchi: A Time and Situation Dependent Semantics for Ontological Property Classification. IEICE Transactions 94-D(3): 639-647 (2011)
32		Ken Kaneiwa, Yasuo Kudo: A sequential pattern mining algorithm using rough set theory. Int. J. Approx. Reasoning 52(6): 881-893 (2011)
31		Ken Kaneiwa, Norihiro Kamide: Conceptual modeling in full computation-tree logic with sequence modal operator. Int. J. Intell. Syst. 26(7): 636-651 (2011)
30		Ken Kaneiwa: Existential rigidity and many modalities in order-sorted logic. Knowl.-Based Syst. 24(5): 629-641 (2011)
29		Ken Kaneiwa, Norihiro Kamide: Paraconsistent Computation Tree Logic. New Generation Comput. 29(4): 391-408 (2011)
	2010
28		Norihiro Kamide, Ken Kaneiwa: Resource-Sensitive Reasoning with Sequential Information. Australasian Conference on Artificial Intelligence 2010: 22-31
27		Ken Kaneiwa, Yasuo Kudo: Local Pattern Mining from Sequences Using Rough Set Theory. GrC 2010: 247-252
26		Norihiro Kamide, Ken Kaneiwa: Paraconsistent Negation and Classical Negation in Computation Tree Logic. ICAART (1) 2010: 464-469
25		Ken Kaneiwa: A rough set approach to mining connections from information systems. SAC 2010: 990-996
24		Ken Kaneiwa, Norihiro Kamide: Sequence-Indexed Linear-Time Temporal Logic: Proof System and Application. Applied Artificial Intelligence 24(10): 896-913 (2010)
23		Ken Kaneiwa, Ken Satoh: On the complexities of consistency checking for restricted UML class diagrams. Theor. Comput. Sci. 411(2): 301-323 (2010)
	2009
22		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
21		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
20		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)
19		Ken Kaneiwa, Riichiro Mizoguchi: Distributed reasoning with ontologies and rules in order-sorted logic programming. J. Web Sem. 7(3): 252-270 (2009)
	2008
18		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
17		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
16		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)
	2007
15		Ken Kaneiwa, Michiaki Iwazume, Ken Fukuda: An Upper Ontology for Event Classifications and Relations. Australian Conference on Artificial Intelligence 2007: 394-403
14		Ken Kaneiwa: Description Logics with Contraries, Contradictories, and Subcontraries. New Generation Comput. 25(4): 443-468 (2007)
	2006
13		Ken Satoh, Ken Kaneiwa, Takeaki Uno: Contradiction Finding and Minimal Recovery for UML Class Diagrams. ASE 2006: 277-280
12		Ken Kaneiwa, Ken Satoh: Consistency Checking Algorithms for Restricted UML Class Diagrams. FoIKS 2006: 219-239
	2005
11		Ken Kaneiwa: On the Semantics of Classical First-order Logic with Constructive Double Negation. IICAI 2005: 1225-1242
10		Ken Kaneiwa, Riichiro Mizoguchi: An Order-Sorted Quantified Modal Logic for Meta-ontology. TABLEAUX 2005: 169-184
9		Ken Kaneiwa: A Hybrid Reasoning System for Terminologies and First-order Clauses in Knowledge Bases. New Generation Comput. 24(1): 29-51 (2005)
	2004
8		Ken Kaneiwa: Description Logic and Order-sorted Logic. Description Logics 2004
7		Ken Kaneiwa, Riichiro Mizoguchi: Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity. KR 2004: 278-288
6		Ken Kaneiwa: Order-sorted logic programming with predicate hierarchy. Artif. Intell. 158(2): 155-188 (2004)
5		Ken Kaneiwa: Resolution for Label-based Formulas in Hierarchical Representation. New Generation Comput. 22(3): 253-269 (2004)
4		Ken Kaneiwa: The completeness of logic programming with sort predicates. Systems and Computers in Japan 35(1): 37-46 (2004)
	2003
3		Suguru Yoshioka, Ken Kaneiwa, Satoshi Tojo: Occurrence Logic with Temporal Heredity. IICAI 2003: 1296-1309
	2001
2		Ken Kaneiwa, Satoshi Tojo: An Order-Sorted Resolution with Implicitly Negative Sorts. ICLP 2001: 300-314
	1999
1		Ken Kaneiwa, Satoshi Tojo: Event, Property, and Hierarchy in Order-Sorted Logic. ICLP 1999: 94-108

Coauthor Index

1	Susumu Akamine	[16]
2	Dan Corbett	[18] [20]
3	Ken Fukuda	[15]
4	Kentaro Inui	[16]
5	Michiaki Iwazume	[15] [17]
6	Norihiro Kamide	[22] [24] [26] [28] [29] [31]
7	Yoshikiyo Kato	[16]
8	Yutaka Kidawara	[17]
9	Yasushi Kiyoki	[17]
10	Yasuo Kudo	[27] [32] [35]
11	Sadao Kurohashi	[16]
12	Hisashi Miyamori	[16]
13	Riichiro Mizoguchi	[7] [10] [19] [33]
14	Tetsuya Murai	[35]
15	Takafumi Nakanishi	[17]
16	Minh-Quang Nguyen	[18] [20]
17	Philip H. P. Nguyen	[18] [20] [21]
18	Ken Satoh	[12] [13] [23]
19	Kaoru Sumi	[16]
20	Satoshi Tojo	[1] [2] [3]
21	Takeaki Uno	[13]
22	Suguru Yoshioka	[3]
23	Koji Zettsu	[17]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page