First Order Theories for Partial Models.

Bozena Staruch Bogdan Staruch

Published in: Stud Logica (2005)

Keyphrases

higher order
computational models
mathematical models
parameter estimation
experimental data
theoretical models
database
databases
artificial intelligence
multi agent
prior knowledge
formal models