Sciweavers

3773 search results - page 10 / 755

» Logical Reasoning

107

TIME
2005
IEEE

98views Automated Reasoning» more TIME 2005»

Propositional Interval Temporal Logics: Some Promising Paths

15 years 8 months ago

Propositional Interval Temporal Logics: Some Promising Paths

Download users.dimi.uniud.it

Angelo Montanari

claim paper

Read More »

114

TIME
2003
IEEE

81views Automated Reasoning» more TIME 2003»

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

15 years 8 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 »

104

TIME
2003
IEEE

88views Automated Reasoning» more TIME 2003»

A Clausal Resolution Method for Extended Computation Tree Logic ECTL

15 years 8 months ago

A Clausal Resolution Method for Extended Computation Tree Logic ECTL

Download www2.wmin.ac.uk

Alexander Bolotov

claim paper

Read More »

138

CADE
2008
Springer

116views Logical Reasoning» more CADE 2008»

Certificate Translation

16 years 3 months ago

Certificate Translation

Download www.easychair.org

Gilles Barthe

claim paper

Read More »

98

CADE
2007
Springer

120views Logical Reasoning» more CADE 2007»

Improvements in Formula Generalization

16 years 3 months ago

Improvements in Formula Generalization

Download www.cs.bham.ac.uk

Markus Aderhold

claim paper

Read More »

« Prev « First page 10 / 755 Last » Next »