Ken Kaneiwa

	2009
20		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
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): (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): (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]
3	Ken Fukuda	[15]
4	Kentaro Inui	[16]
5	Michiaki Iwazume	[15] [17]
6	Yoshikiyo Kato	[16]
7	Yutaka Kidawara	[17]
8	Yasushi Kiyoki	[17]
9	Sadao Kurohashi	[16]
10	Hisashi Miyamori	[16]
11	Riichiro Mizoguchi	[7] [10] [19]
12	Takafumi Nakanishi	[17]
13	Minh-Quang Nguyen	[18]
14	Philip H. P. Nguyen	[18] [20]
15	Ken Satoh	[12] [13]
16	Kaoru Sumi	[16]
17	Satoshi Tojo	[1] [2] [3]
18	Takeaki Uno	[13]
19	Suguru Yoshioka	[3]
20	Koji Zettsu	[17]

Colors in the list of coauthors