Sciweavers

411 search results - page 5 / 83

» Timed Alternating-Time Temporal Logic

24

TIME
2005
IEEE

102views Automated Reasoning» more TIME 2005»

Temporal Logic with Predicate lambda-Abstraction

14 years 3 months ago

Temporal Logic with Predicate lambda-Abstraction

Download www.csc.liv.ac.uk

Alexei Lisitsa, Igor Potapov

claim paper

Read More »

29

TIME
2005
IEEE

98views Automated Reasoning» more TIME 2005»

Propositional Interval Temporal Logics: Some Promising Paths

14 years 3 months ago

Propositional Interval Temporal Logics: Some Promising Paths

Download users.dimi.uniud.it

Angelo Montanari

claim paper

Read More »

24

TIME
2003
IEEE

81views Automated Reasoning» more TIME 2003»

Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning

14 years 3 months ago

Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning

Download www.csc.liv.ac.uk

Clare Dixon, Cláudia Nalon, Michael Fisher

claim paper

Read More »

27

TIME
2006
IEEE

81views Automated Reasoning» more TIME 2006»

From Language to Time: A Temporal Expression Anchorer

14 years 3 months ago

From Language to Time: A Temporal Expression Anchorer

Download www.cs.cmu.edu

Benjamin Han, Donna Gates, Lori S. Levin

claim paper

Read More »

24

TIME
2005
IEEE

132views Automated Reasoning» more TIME 2005»

Temporal XML? SQL Strikes Back!

14 years 3 months ago

Temporal XML? SQL Strikes Back!

Download www.cs.ucla.edu

Fusheng Wang, Carlo Zaniolo, Xin Zhou

claim paper

Read More »

« Prev « First page 5 / 83 Last » Next »