Publication:3490929
From MaRDI portal
zbMath0708.68011MaRDI QIDQ3490929
Luc De Raedt, Danny De Schreye, Maurice Bruynooghe
Publication date: 1989
68T05: Learning and adaptive systems in artificial intelligence
68Q60: Specification and verification (program logics, model checking, etc.)
68N17: Logic programming
Related Items
A typed \(\lambda\)-calculus for proving-by-example and bottom-up generalization procedure, Compiling bottom-up and mixed derivations into top-down executable logic programs