Pages that link to "Item:Q5897297"
From MaRDI portal
The following pages link to KI 2003: Advances in Artificial Intelligence (Q5897297):
Displaying 14 items.
- Satisfiability and reasoning mechanism of terminological cycles in description logic \(v\mathcal L\) (Q948503) (← links)
- Most specific consequences in the description logic \(\mathcal{E} \mathcal{L} \) (Q2286398) (← links)
- Automated theorem proving by resolution in non-classical logics (Q2385426) (← links)
- OBDD-based reasoning for terminological cycles of the description logic \(\mathcal{EL}\) (Q2926862) (← links)
- Adding Threshold Concepts to the Description Logic $\mathcal{EL}$ (Q2964451) (← links)
- DL-LINK: A CONCEPTUAL CLUSTERING ALGORITHM FOR INDEXING DESCRIPTION LOGICS KNOWLEDGE BASES (Q3016234) (← links)
- N3Logic: A logical framework for the World Wide Web (Q3506422) (← links)
- Guarded hybrid knowledge bases (Q3506442) (← links)
- INDUCTION OF CLASSIFIERS THROUGH NON-PARAMETRIC METHODS FOR APPROXIMATE CLASSIFICATION AND RETRIEVAL WITH ONTOLOGIES (Q3620118) (← links)
- Unification in the Description Logic $\mathcal{EL}$ (Q3636834) (← links)
- PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT (Q5291329) (← links)
- NUMERIC PREDICTION ON OWL KNOWLEDGE BASES THROUGH TERMINOLOGICAL REGRESSION TREES (Q5408350) (← links)
- Graph-Theoretic Concepts in Computer Science (Q5710798) (← links)
- Conceptual Structures for Knowledge Creation and Communication (Q5900604) (← links)
