The following pages link to Ullrich Hustadt (Q924722):
Displaying 47 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)
- Automated Reasoning About Metric and Topology (Q3533154) (← links)
- Implementing a fair monodic temporal logic prover (Q3568221) (← links)
- CTL-RP: A computation tree logic resolution prover (Q3568224) (← links)
- (Q3838813) (← links)
- (Q4263163) (← links)
- (Q4329239) (← links)
- An empirical analysis of modal theorem provers (Q4443417) (← links)
- Resolution-based methods for modal logics (Q4487263) (← links)
- (Q4503911) (← links)
- (Q4809060) (← links)
- (Q4867027) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- Modal Resolution (Q4972162) (← links)
- (Q4994892) (← links)
- A Refined Resolution Calculus for CTL (Q5191106) (← links)
- Fair Derivations in Monodic Temporal Reasoning (Q5191107) (← links)
- The axiomatic translation principle for modal logic (Q5277784) (← links)
- Automated Reasoning (Q5307069) (← links)
- Automated Deduction – CADE-20 (Q5394614) (← links)
- A resolution calculus for the branching-time temporal logic CTL (Q5410337) (← links)
- (Q5688814) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705930) (← links)
- Relational and Kleene-Algebraic Methods in Computer Science (Q5712428) (← links)
- Relational and Kleene-Algebraic Methods in Computer Science (Q5712437) (← links)
- Automated Deduction – CADE-19 (Q5900730) (← links)
- Theory and Applications of Relational Structures as Knowledge Instruments (Q5902049) (← links)
