The following pages link to Ken Kaneiwa (Q264960):
Displayed 11 items.
- A logical and ontological framework for compositional concepts of objects and properties (Q264963) (← links)
- Order-sorted logic programming with predicate hierarchy (Q814621) (← links)
- On the complexities of consistency checking for restricted UML class diagrams (Q1044829) (← links)
- Paraconsistent computation tree logic (Q1758667) (← links)
- Resolution for label-based formulas in hierarchical representation (Q1882550) (← links)
- Description logics with contraries, contradictories, and subcontraries (Q2478592) (← links)
- A hybrid reasoning system for terminologies and first-order clauses in knowledge bases (Q2493276) (← links)
- Reasoning about Resources and Information: A Linear Logic Approach (Q2843814) (← links)
- (Q4736520) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479276) (← links)
- Foundations of Information and Knowledge Systems (Q5898546) (← links)