E-KRHyper
From MaRDI portal
Software:33176
No author found.
Related Items (9)
Semantically-guided goal-sensitive reasoning: model representation ⋮ Craig interpolation with clausal first-order tableaux ⋮ On First-Order Model-Based Reasoning ⋮ Model evolution with equality -- revised and implemented ⋮ Semantically-guided goal-sensitive reasoning: inference system and completeness ⋮ Deontic Logic for Human Reasoning ⋮ Blocking and other enhancements for bottom-up model generation methods ⋮ 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
