A first order logic is formally defined and implemented. It is suitable for representing and reasoning about uncertain temporal domains. The logic can represent both interval and point based qualitative and quantitative information. The syntax, semantics, and axiomatization for the logic are provided. The constraint logic programming implementation of the logic is described. The implementation, along with its formal specification, is suitable for tackling real world temporal problems.
Ehric KH Ho (Sat,) studied this question.