The following pages link to System Description: E-KRHyper 1.4 (Q4928433):
Displayed 7 items.
- E-KRHyper (Q33176) (← links)
- Semantically-guided goal-sensitive reasoning: model representation (Q287333) (← links)
- Semantically-guided goal-sensitive reasoning: inference system and completeness (Q1707598) (← links)
- Names are not just sound and smoke: word embeddings for axiom selection (Q2305419) (← links)
- Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
- On First-Order Model-Based Reasoning (Q2945706) (← links)
- Deontic Logic for Human Reasoning (Q5172607) (← links)