Resource-bounded relational reasoning: Induction and deduction through stochastic matching

DOI10.1023/A:1007629922420zbMath0960.68023OpenAlexW1578069889MaRDI QIDQ1572781

Michèle Sebag, Céline Rouveirol

Publication date: 6 August 2000

Published in: Machine Learning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1007629922420

zbMATH Keywords

first-order logic languagesrelational inference

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

QG/GA: a stochastic search for Progol

This page was built for publication: Resource-bounded relational reasoning: Induction and deduction through stochastic matching