Loosely Guarded Fragment of First-Order Logic has the Finite Model Property.

Ian M. Hodkinson

Published in: Stud Logica (2002)

Keyphrases

experimental data
mathematical model
prediction model
computational model
genetic algorithm
fixed point
petri net
image segmentation
neural network
maximum likelihood
input data
logic programs
probabilistic model
search engine
sensitivity analysis
bayesian framework
network model