Ken Kaneiwa

Available identifiers

Publication	Date of Publication	Type
A logical and ontological framework for compositional concepts of objects and properties	2016-04-01	Paper
Reasoning about resources and information: a linear logic approach	2013-08-26	Paper
Paraconsistent computation tree logic	2012-11-16	Paper
On the complexities of consistency checking for restricted UML class diagrams	2009-12-15	Paper
Description logics with contraries, contradictories, and subcontraries	2008-03-28	Paper
Foundations of Information and Knowledge Systems	2007-02-12	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2006-07-07	Paper
A hybrid reasoning system for terminologies and first-order clauses in knowledge bases	2006-06-12	Paper
Order-sorted logic programming with predicate hierarchy	2006-02-07	Paper
Resolution for label-based formulas in hierarchical representation	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4736520	2004-08-09	Paper

This page was built for person: Ken Kaneiwa