Pages that link to "Item:Q4487263"
From MaRDI portal
The following pages link to Resolution-based methods for modal logics (Q4487263):
Displayed 9 items.
- A description logic based situation calculus (Q604908) (← links)
- Deciding expressive description logics in the framework of resolution (Q924723) (← links)
- A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). (Q928657) (← links)
- A new methodology for developing deduction methods (Q1037405) (← links)
- Hyperresolution for guarded formulae (Q1404983) (← links)
- Clausal resolution in a logic of rational agency (Q1606116) (← links)
- Resolution with order and selection for hybrid logics (Q2429982) (← links)
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
- Rewriting Conjunctive Queries over Description Logic Knowledge Bases (Q5504588) (← links)