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
- Semantically guided evolution of \(\mathcal{SHI}\) ABoxes
- 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
- Deontic logic for human reasoning
This page was built for software: E-KRHyper
