Pages that link to "Item:Q5947353"
From MaRDI portal
The following pages link to \(\mho\)-resolution and hybrid knowledge bases (Q5947353):
Displaying 5 items.
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) (Q545319) (← links)
- (Q3486879) (← links)
- Well-founded operators for normal hybrid MKNF knowledge bases (Q4592713) (← links)
- Reasoning with vagueness in hybrid MKNF knowledge bases (Q5174583) (← links)
- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT (Q6063882) (← links)