TIME
15 years 2 months ago
2005 IEEE 
A clausal resolution approach originally developed for the branching logic CTL has recently been extended to the logics ECTL and ECTL+ . In the application of the resolution rules...
TIME
15 years 2 months ago
2005 IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
TIME
15 years 2 months ago
2005 IEEE  TIME
15 years 2 months ago
2005 IEEE 
Information often comes from different sources and merging these sources usually leads to the apparition of inconsistencies. Fusion is the operation which consists in restoring th...
TIME
15 years 2 months ago
2005 IEEE 
Historical information can be effectively preserved using XML and searched through powerful historical queries written in XQuery. Indeed, by storing the successive versions of a d...
|
Automated Reasoning