This paper provides an intelligent authoring framework for verifying and generating the W3C standard SMIL (Synchronized Multimedia Integration Language) documents. The architecture supports the presence of multiple distributed multimedia objects, as well as synchronized and streamed media. A temporal algebra is proposed to deal with qualitative and quantitative temporal relationships and to reason about definite and indefinite time. Several computation algorithms and operation tables which include a set of complete temporal logics are used for synchronizing and consistency checking. Using the authoring environment, authors could describe the temporal behavior of multimedia presentation, and specify the layout of the presentation on a screen and associate hyperlinks with media object over internet. The presentation system generates SMIL documents automatically after author designing.