The following pages link to Automated Reasoning (Q5307053):
Displaying 8 items.
- Deciding expressive description logics in the framework of resolution (Q924723) (← links)
- A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). (Q928657) (← links)
- Hyperresolution for guarded formulae (Q1404983) (← links)
- Deciding the guarded fragments by resolution (Q1867216) (← links)
- Reasoning in description logics by a reduction to disjunctive datalog (Q2462648) (← links)
- (Q4736875) (← links)
- On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity (Q5387847) (← links)
- Computer Science Logic (Q5394585) (← links)