Sciweavers

1167 search results - page 72 / 234

» A Really Temporal Logic

110

JAPLL
2007

52views more JAPLL 2007»

Specifying and verifying interaction protocols in a temporal action logic

15 years 4 months ago

Specifying and verifying interaction protocols in a temporal action logic

Download www.di.unito.it

Laura Giordano, Alberto Martelli, Camilla Schwind

claim paper

Read More »

89

Voted

IGPL
2000

82views more IGPL 2000»

The Computational Complexity of Hybrid Temporal Logics

15 years 4 months ago

The Computational Complexity of Hybrid Temporal Logics

Download www.loria.fr

Carlos Areces, Patrick Blackburn, Maarten Marx

claim paper

Read More »

101

Voted

IANDC
2002

55views more IANDC 2002»

The Complexity of Propositional Linear Temporal Logics in Simple Cases

15 years 3 months ago

The Complexity of Propositional Linear Temporal Logics in Simple Cases

Download www.lsv.ens-cachan.fr

Stéphane Demri, Ph. Schnoebelen

claim paper

Read More »

121

Voted

AMAI
1998
Springer

101views Artificial Intelligence» more AMAI 1998»

Focusing Qualitative Simulation Using Temporal Logic: Theoretical Foundations

15 years 3 months ago

Focusing Qualitative Simulation Using Temporal Logic: Theoretical Foundations

Download users.dimi.uniud.it

Giorgio Brajnik, Daniel J. Clancy

claim paper

Read More »

101

APAL
1999

74views more APAL 1999»

Dynamic Linear Time Temporal Logic

15 years 3 months ago

Dynamic Linear Time Temporal Logic

Download eref.uqu.edu.sa

Jesper G. Henriksen, P. S. Thiagarajan

claim paper

Read More »

« Prev « First page 72 / 234 Last » Next »