ProGolem

MaRDI QIDQ25766swMATHFDO

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

(7)

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

This page was built for software: ProGolem