Inductive theories from equational systems.

Published in: PRICAI Workshops (1996)

Keyphrases

theorem proving
computing systems
data sets
evolutionary algorithm
management system
inductive learning
genetic algorithm
knowledge base
website
case study
multiscale
multi agent systems
retrieval systems
computational models