E-KRHyper

MaRDI QIDQ33176swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-540-73595-3_37

Described by source

• System Description: E- KRHyper
• System description: E-KRhyper 1.4. Extensions for unique names and description logic

Cited in

(20)

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

This page was built for software: E-KRHyper