ProGolem

swMATH13855MaRDI QIDQ25766FDOQ25766

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-642-13840-9_13

Described by source

• ProGolem: a system based on relative minimal generalisation

Cited In (3)

• Stochastic refinement
• On the use of stochastic local search techniques to revise first-order logic theories from examples
• Subsumer

This page was built for software: ProGolem