Ken Kaneiwa - Citegraph

Author Info

Name	Affiliation	Papers
KEN KANEIWA	Iwate Univ, Dept Elect Engn & Comp Sci, \, Morioka, Iwate, Japan	42
Collaborators	Citations	PageRank
25	270	24.26
Referers	Referees	References
357	447	496

Search Limit

100447

Publications (42 rows)

Collaborators (25 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
A Logical and Ontological Framework for Compositional Concepts of Objects and Properties.	2	0.38	2015
EVENT INFERENCE WITH RELATION AND META-RELATION TYPE HIERARCHIES IN CONCEPTUAL STRUCTURE THEORY	0	0.34	2014
Community-Driven and Ontology-Based Biological Knowledge Management: A Hybrid Approach to Harnessing Collective Intelligence	0	0.34	2013
An order-sorted query system for sort, predicate, and meta-predicate hierarchies.	1	0.36	2013
Reasoning about Resources and Information: A Linear Logic Approach	2	0.37	2013
Sorted hyper-predicate knowledge bases for ontologies and rules	0	0.34	2012
KC3 Browser: Semantic Service Mush-up for Global Knowledge Sharing and Discovery	0	0.34	2012
A rough set approach to multiple dataset analysis	15	0.71	2011
A Time And Situation Dependent Semantics For Ontological Property Classification	0	0.34	2011
An attempt of reconstruction of object-oriented rough set models.	0	0.34	2011
A sequential pattern mining algorithm using rough set theory	27	0.87	2011
Conceptual modeling in full computation-tree logic with sequence modal operator	0	0.34	2011
Paraconsistent Computation Tree Logic.	5	0.50	2011
Existential rigidity and many modalities in order-sorted logic	0	0.34	2011
On the complexities of consistency checking for restricted UML class diagrams	17	0.69	2010
A rough set approach to mining connections from information systems	6	0.59	2010
SEQUENCE-INDEXED LINEAR-TIME TEMPORAL LOGIC: PROOF SYSTEM AND APPLICATION	7	0.57	2010
Paraconsistent Negation And Classical Negation In Computation Tree Logic	2	0.38	2010
Resource-Sensitive Reasoning with Sequential Information	4	0.44	2010
Local Pattern Mining from Sequences Using Rough Set Theory	1	0.37	2010
Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures	13	0.94	2009
Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring	4	0.40	2009
Meta-relation and ontology closure in conceptual structure theory	2	0.38	2009
Distributed reasoning with ontologies and rules in order-sorted logic programming	10	0.60	2009
An Ontology Formalization of Relation Type Hierarchy in Conceptual Structure Theory	4	0.42	2008
Evaluation Data And Prototype System Wisdom For Information Credibility Analysis	8	1.21	2008
KC3 browser: semantic mash-up and link-free browsing	2	0.38	2008
An upper ontology for event classifications and relations	27	1.42	2007
Description Logics with Contraries, Contradictories, and Subcontraries	8	0.63	2007
Contradiction Finding and Minimal Recovery for UML Class Diagrams	6	0.44	2006
Consistency checking algorithms for restricted UML class diagrams	25	1.12	2006
A hybrid reasoning system for terminologies and first-order clauses in knowledge bases	0	0.34	2005
An order-sorted quantified modal logic for meta-ontology	10	1.09	2005
On the Semantics of Classical First-order Logic with Constructive Double Negation	1	0.39	2005
Order-sorted logic programming with predicate hierarchy	21	1.65	2004
Description Logic and Order-sorted Logic	0	0.34	2004
Resolution for label-based formulas in hierarchical representation	1	0.37	2004
The completeness of logic programming with sort predicates	4	0.45	2004
Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity	16	1.05	2004
Occurrence Logic with Temporal Heredity	0	0.34	2003
An Order-Sorted Resolution with Implicitly Negative Sorts	12	0.83	2001
Event, property and hierarchy in order-sorted logic	7	0.55	1999