scientific article; zbMATH DE number 845928

MaRDI QIDQ4864472zbMATH OpenFDO

Authors Colin de la Higuera, Marie-Catherine Daniel-Vatonne

Publication date 27 June 1996

zbMATH Keywords

knowledge representationmachine learning

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Knowledge representation (68T30)

Recommendations

• Explicit versus implicit representations of subsets of the Herbrand universe.
• Explicit representation of terms defined by counter examples
• scientific article; zbMATH DE number 1615238
• scientific article; zbMATH DE number 1149427
• Fuzzy unification and generalization of first-order terms over similar signatures

Cited in

(4)

• Explicit representation of terms defined by counter examples
• Set containment inference and syllogisms
• scientific article; zbMATH DE number 1881074 (Why is no real title available?)
• Inductive Logic Programming

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4864472)