Pages that link to "Item:Q4870066"
From MaRDI portal
The following pages link to A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages (Q4870066):
Displaying 6 items.
- On bisimulations for description logics (Q527171) (← links)
- Complexity results for HTN planning (Q1380419) (← links)
- Expressiveness of concept expressions in first-order description logics (Q1606296) (← links)
- Expressive power of knowledge representation systems (Q3327749) (← links)
- On Importing Knowledge from Ontologies. (Q3631355) (← links)
- (Q4395024) (← links)