The following pages link to E-KRHyper (Q33176):
Displaying 9 items.
- Semantically-guided goal-sensitive reasoning: model representation (Q287333) (← links)
- Model evolution with equality -- revised and implemented (Q429586) (← links)
- Semantically-guided goal-sensitive reasoning: inference system and completeness (Q1707598) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- Names are not just sound and smoke: word embeddings for axiom selection (Q2305419) (← links)
- Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
- Semantically Guided Evolution of $\mathcal{SHI}$ ABoxes (Q2851940) (← links)
- On First-Order Model-Based Reasoning (Q2945706) (← links)
- Deontic Logic for Human Reasoning (Q5172607) (← links)