Sciweavers

3891 search results - page 19 / 779

» A logic for strategic reasoning

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 »

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 »

20

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 »

23

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 26 days 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 »

26

TIME
2003
IEEE

88views Automated Reasoning» more TIME 2003»

A Clausal Resolution Method for Extended Computation Tree Logic ECTL

14 years 26 days ago

A Clausal Resolution Method for Extended Computation Tree Logic ECTL

Download www2.wmin.ac.uk

Alexander Bolotov

claim paper

Read More »

« Prev « First page 19 / 779 Last » Next »