Markov logic networks with numerical constraints
Maintaining knowledge about temporal intervals