E-KRHyper
From MaRDI portal
Software:33176
swMATH21368MaRDI QIDQ33176FDOQ33176
Author name not available (Why is that?)
Cited In (9)
- Blocking and other enhancements for bottom-up model generation methods
- Semantically-guided goal-sensitive reasoning: inference system and completeness
- Semantically-guided goal-sensitive reasoning: model representation
- On First-Order Model-Based Reasoning
- Deontic Logic for Human Reasoning
- Model evolution with equality -- revised and implemented
- Craig interpolation with clausal first-order tableaux
- Names are not just sound and smoke: word embeddings for axiom selection
- Semantically Guided Evolution of $\mathcal{SHI}$ ABoxes
This page was built for software: E-KRHyper
