Propagation Models for LTN Systems