The following pages link to (Q2721183):
Displaying 5 items.
- EXPtime tableaux for ALC (Q1589576) (← links)
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments (Q2303247) (← links)
- Towards a unified model of search in theorem-proving: subgoal-reduction strategies (Q2456542) (← links)
- Debugging incoherent terminologies (Q2462643) (← links)
- : A Resolution-Based Prover for Multimodal K (Q2817940) (← links)
