Modelling Prolog Control.

Roberto Barbuti Michael Codish Roberto Giacobazzi Giorgio Levi

Published in: JTASPEFT/WSA (1991)

Keyphrases

logic programming
three dimensional
control system
knowledge representation
data sets
data mining
genetic algorithm
decision making
decision trees
similarity measure
search algorithm
control strategy
control method
theorem proving
control problems