262
click to vote
TIME
16 years 4 days ago
2009 IEEE 
—Rule-based filters are sequences of rules formed of a condition and a decision. Rules are applied sequentially up to the first fulfilled condition, whose matching decision de...
172
click to vote
TIME
16 years 4 days ago
2009 IEEE 
—This paper presents various semantic interpretations for logics of knowledge and time with prefect recall. We allow both past and future operators and examine the interpretation...
193
click to vote
TIME
16 years 4 days ago
2009 IEEE 
—Past research on temporal databases has primarily focused on state-based representations and on relational query language extensions for such representations. This led to many d...
151
click to vote
TIME
16 years 4 days ago
2009 IEEE 
—Towards a data-centric workflow approach, we introduce an artifact model to capture data and workflow management activities in distributed settings. The model is built on Acti...
169
click to vote
TIME
16 years 4 days ago
2009 IEEE 
The model checking problem for CTL is known to be P-complete (Clarke, Emerson, and Sistla (1986), see Schnoebelen (2002)). We consider fragments of CTL obtained by restricting the...
|
Automated Reasoning