The following pages link to (Q4539607):
Displayed 4 items.
- A description logic based situation calculus (Q604908) (← links)
- A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). (Q928657) (← links)
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
- Using tableau to decide description logics with full role negation and identity (Q5410334) (← links)