Sciweavers

1 search results - page 1 / 1
» A discrete-time scheduling model for continuous power-intens...
Sort
View
IJCAI
2007
13 years 6 months ago
A Fully Connectionist Model Generator for Covered First-Order Logic Programs
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
Sebastian Bader, Pascal Hitzler, Steffen Höll...