TIME 2009 - PDF Preprint Papers

TIME 2009 International Syposium on Temporal Representation and Reasoning

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed TIME-2009 Paper

click to vote

TIME
2009
IEEE

328views Automated Reasoning» more TIME 2009»

Strong Temporal, Weak Spatial Logic for Rule Based Filters

13 years 11 months ago

Download www.info2.uqam.ca

—Rule-based ﬁlters are sequences of rules formed of a condition and a decision. Rules are applied sequentially up to the ﬁrst fulﬁlled condition, whose matching decision de...

Roger Villemaire, Sylvain Hallé

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	328	Strong Temporal, Weak Spatial Logic for Rule Based Filters	claim
2	306	Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time	claim
3	300	Event-Oriented Data Models and Temporal Queries in Transaction-Time Databases	claim
4	285	The AXML Artifact Model	claim
5	281	Model Checking CTL is Almost Always Inherently Sequential	claim
6	267	Fixing the Semantics for Dynamic Controllability and Providing a More Practical Characterization of Dynamic Execution Strategies	claim
7	264	Preserving Anonymity of Recurrent Location-Based Queries	claim
8	240	Simple Algorithm for Simple Timed Games	claim
9	220	On the Expressivity of RoCTL*	claim
10	220	Undecidability of Interval Temporal Logics with the Overlap Modality	claim
11	206	On First-Order Query Rewriting for Incomplete Database Histories	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers