196
click to vote
TIME
15 years 8 months 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...
127
click to vote
TIME
15 years 8 months 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...
144
click to vote
TIME
15 years 8 months 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...
111
click to vote
TIME
15 years 8 months 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...
124
click to vote
TIME
15 years 8 months 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