The following pages link to Ullrich Hustadt (Q924722):
Displaying 21 items.
- Deciding expressive description logics in the framework of resolution (Q924723) (← links)
- Hyperresolution for guarded formulae (Q1404983) (← links)
- Using resolution for testing modal satisfiability and building models (Q1610669) (← links)
- Interactions between knowledge, action and commitment within agent dynamic logic (Q1770620) (← links)
- Efficient local reductions to basic modal logic (Q2055845) (← links)
- Local is best: efficient reductions to modal logic \textsf{K} (Q2102930) (← links)
- Correction to: ``Local is best: efficient reductions to modal logic \textsf{K}'' (Q2102952) (← links)
- Local reductions for the modal cube (Q2104538) (← links)
- Theorem proving for pointwise metric temporal logic over the naturals via translations (Q2228435) (← links)
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments (Q2303247) (← links)
- Theorem proving for metric temporal logic over the naturals (Q2405259) (← links)
- Reasoning in description logics by a reduction to disjunctive datalog (Q2462648) (← links)
- (Q2721185) (← links)
- (Q2723441) (← links)
- (Q2751044) (← links)
- (Q2751377) (← links)
- : A Resolution-Based Prover for Multimodal K (Q2817940) (← links)
- A resolution-based calculus for Coalition Logic (Q2937697) (← links)
- Computational Space Efficiency and Minimal Model Generation for Guarded Formulae (Q2996155) (← links)
- Ordered Resolution for Coalition Logic (Q3455769) (← links)
- A Modal-Layered Resolution Calculus for K (Q3455770) (← links)
