Cited in
(20)- Craig interpolation with clausal first-order tableaux
- Deontic logic for human reasoning
- Semantically-guided goal-sensitive reasoning: model representation
- On First-Order Model-Based Reasoning
- Model evolution with equality -- revised and implemented
- Names are not just sound and smoke: word embeddings for axiom selection
- Darwin
- DCTP
- SATCHMO
- E-Darvin
- E-SETHEO
- iProver-Eq
- Divvy
- CLIN
- LogAnswer
- Adimen-SUMO
- ConceptNet Numberbatch
- Semantically-guided goal-sensitive reasoning: inference system and completeness
- Blocking and other enhancements for bottom-up model generation methods
- Semantically guided evolution of \(\mathcal{SHI}\) ABoxes
This page was built for software: E-KRHyper
