BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Cyprus
1 × Italy
1 × Japan
1 × Switzerland
1 × USA
Collaborated with:
S.Tojo P.H.P.Nguyen R.Mizoguchi K.Satoh T.Uno
Talks about:
sort (5) hierarchi (2) knowledg (2) ontolog (2) order (2) base (2) contradict (1) recoveri (1) properti (1) implicit (1)

Person: Ken Kaneiwa

DBLP DBLP: Kaneiwa:Ken

Contributed to:

SAC 20122012
SAC 20102010
ASE 20062006
KR 20042004
ICLP 20012001
ICLP 19991999

Wrote 6 papers:

SAC-2012-KaneiwaN #knowledge base #ontology
Sorted hyper-predicate knowledge bases for ontologies and rules (KK, PHPN), pp. 312–319.
SAC-2010-Kaneiwa #approach #information management #mining #set
A rough set approach to mining connections from information systems (KK), pp. 990–996.
ASE-2006-SatohKU #diagrams #uml
Contradiction Finding and Minimal Recovery for UML Class Diagrams (KS, KK, TU), pp. 277–280.
KR-2004-KaneiwaM #knowledge base #ontology #reasoning
Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity (KK, RM), pp. 278–288.
ICLP-2001-KaneiwaT #order
An Order-Sorted Resolution with Implicitly Negative Sorts (KK, ST), pp. 300–314.
ICLP-1999-KaneiwaT #logic #order
Event, Property, and Hierarchy in Order-Sorted Logic (KK, ST), pp. 94–108.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.