Sciweavers

955 search results - page 16 / 191

» Tractable Temporal Reasoning

24

TIME
2007
IEEE

151views Automated Reasoning» more TIME 2007»

Automated Planning in Temporal Domains: Some Recent Advances and Current Research Topics

14 years 2 months ago

Automated Planning in Temporal Domains: Some Recent Advances and Current Research Topics

Download www.ing.unibs.it

Alfonso Gerevini

claim paper

Read More »

19

TIME
2006
IEEE

92views Automated Reasoning» more TIME 2006»

A Decidable Temporal Logic for Events and States

14 years 1 months ago

A Decidable Temporal Logic for Events and States

Download www.csc.liv.ac.uk

Savas Konur

claim paper

Read More »

18

TIME
2006
IEEE

81views Automated Reasoning» more TIME 2006»

From Language to Time: A Temporal Expression Anchorer

14 years 1 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 »

22

TIME
2005
IEEE

102views Automated Reasoning» more TIME 2005»

Temporal Logic with Predicate lambda-Abstraction

14 years 1 months ago

Temporal Logic with Predicate lambda-Abstraction

Download www.csc.liv.ac.uk

Alexei Lisitsa, Igor Potapov

claim paper

Read More »

22

TIME
2005
IEEE

98views Automated Reasoning» more TIME 2005»

Propositional Interval Temporal Logics: Some Promising Paths

14 years 1 months ago

Propositional Interval Temporal Logics: Some Promising Paths

Download users.dimi.uniud.it

Angelo Montanari

claim paper

Read More »

« Prev « First page 16 / 191 Last » Next »