E-KRHyper

swMATH21368MaRDI QIDQ33176FDOQ33176

Author name not available (Why is that?)

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 (19)

• 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
• DCTP
• SATCHMO
• E-Darvin
• E-SETHEO
• Semantically guided evolution of \(\mathcal{SHI}\) ABoxes
• iProver-Eq
• Divvy
• CLIN
• LogAnswer
• Model evolution with equality -- revised and implemented
• Craig interpolation with clausal first-order tableaux
• Adimen-SUMO
• ConceptNet Numberbatch
• 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