scientific article

zbMATH Open0748.68064MaRDI QIDQ4013732

Céline Rouveirol

Publication date: 27 September 1992

Title of this publication is not available (Why is that?)

zbMATH Keywords

induction of logic programsinverse of resolutioninversion of logical entailmentsemantic model of induction

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Theory of programming languages (68N15) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (4)

Taxonomic syntax for first order inference ⋮ Automatic models of first order theories ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?)

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 Q4013732)