The following pages link to Hongkai Liu (Q420806):
Displaying 5 items.
- Foundations of instance level updates in expressive description logics (Q420809) (← links)
- Verifying Properties of Infinite Sequences of Description Logic Actions (Q2999106) (← links)
- Reasoning About Actions Using Description Logics with General TBoxes (Q3533138) (← links)
- Putting ABox Updates into Action (Q3655202) (← links)
- Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics (Q4933297) (← links)
