Correction to: ``Meta-interpretive learning as metarule specialisation
From MaRDI portal
Publication:2102356
Recommendations
- Corrigendum to: ``An order-theoretic analysis of interpretations among propositional deductive systems
- Erratum to: ``What does a conditional knowledge base entail?
- Correction to: ``Local is best: efficient reductions to modal logic \textsf{K}
- Erratum to: A resolution-based decision procedure for \({\mathcal{SHOIQ}}\)
- Corrigendum: Context-independent mapping and free choice are equivalent: a general proof (2022 J. Phys. A: Math. Theor. 55 305304)
This page was built for publication: Correction to: ``Meta-interpretive learning as metarule specialisation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2102356)