Mean Value Calculus (MVC)[1] is a real-time logicwhich can be used to specify and verify real-time systems[2]. As aconservative extension of Duration Calculus (
In common sense reasoning two typical types of defaultsare encountered. One is of the form "All birds can fly except b1,b2,..., and bm (m1)", and the other "All
This paper proposes a new approach to modeling multimedia data. The newapproach is the multimedia data model based on temporal logic and XYZSystem. It supports