A Parametric Interpolation Framework for First-Order Theories.

Laura Kovács Simone Fulvio Rollini Natasha Sharygina

Published in: MICAI (1) (2013)

Keyphrases

theoretical framework
computational framework
real time
genetic algorithm
learning algorithm
information systems
decision making
bayesian networks
multi agent systems
higher order
lightweight
conceptual framework
linear interpolation