Sciweavers

3028 search results - page 82 / 606

» Integrating Temporal Logics

31

AMAI
1998
Springer

101views Artificial Intelligence» more AMAI 1998»

Focusing Qualitative Simulation Using Temporal Logic: Theoretical Foundations

13 years 9 months ago

Focusing Qualitative Simulation Using Temporal Logic: Theoretical Foundations

Download users.dimi.uniud.it

Giorgio Brajnik, Daniel J. Clancy

claim paper

Read More »

20

APAL
1999

74views more APAL 1999»

Dynamic Linear Time Temporal Logic

13 years 9 months ago

Dynamic Linear Time Temporal Logic

Download eref.uqu.edu.sa

Jesper G. Henriksen, P. S. Thiagarajan

claim paper

Read More »

24

FUIN
2008

72views more FUIN 2008»

Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics

13 years 9 months ago

Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics

Download www.inf.u-szeged.hu

Zoltán Ésik, Szabolcs Iván

claim paper

Read More »

19

CORR
2010
Springer

63views Education» more CORR 2010»

Robust Vacuity for Branching Temporal Logic

13 years 8 months ago

Robust Vacuity for Branching Temporal Logic

Download tocl.acm.org

Arie Gurfinkel, Marsha Chechik

claim paper

Read More »

22

MLQ
2010

78views more MLQ 2010»

Analyzing completeness of axiomatic functional systems for temporal × modal logics

13 years 8 months ago

Analyzing completeness of axiomatic functional systems for temporal × modal logics

Download www.matap.uma.es

Alfredo Burrieza, Inmaculada Perez de Guzmá...

claim paper

Read More »

« Prev « First page 82 / 606 Last » Next »