The following pages link to Maja Miličić (Q420808):
Displaying 6 items.
- Foundations of instance level updates in expressive description logics (Q420809) (← links)
- A tableau algorithm for description logics with concrete domains and general TBoxes (Q877890) (← links)
- Complexity of Planning in Action Formalisms Based on Description Logics (Q3498484) (← links)
- Reasoning About Actions Using Description Logics with General TBoxes (Q3533138) (← links)
- (Q4451476) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479278) (← links)
