Sciweavers

955 search results - page 20 / 191

» Tractable Temporal Reasoning

26

LPAR
1994
Springer

75views Automated Reasoning» more LPAR 1994»

Projection in Temporal Logic Programming

13 years 11 months ago

Projection in Temporal Logic Programming

Download www.cs.ncl.ac.uk

Zhenhua Duan, Maciej Koutny, Chris Holt

claim paper

Read More »

28

GIS
1992
ACM

97views Automated Reasoning» more GIS 1992»

Temporal Databases

13 years 11 months ago

Temporal Databases

Download www.dagstuhl.de

Richard T. Snodgrass

claim paper

Read More »

21

KR
1989
Springer

75views Automated Reasoning» more KR 1989»

Temporal Constraint Networks

13 years 11 months ago

Temporal Constraint Networks

Download www.cs.mtu.edu

Rina Dechter, Itay Meiri, Judea Pearl

claim paper

Read More »

26

LICS
1995
IEEE

111views Automated Reasoning» more LICS 1995»

Complete Proof Systems for First Order Interval Temporal Logic

13 years 11 months ago

Complete Proof Systems for First Order Interval Temporal Logic

Download www.cse.dmu.ac.uk

Bruno Dutertre

claim paper

Read More »

11

LICS
1987
IEEE

62views Automated Reasoning» more LICS 1987»

The Power of Temporal Proofs

13 years 11 months ago

The Power of Temporal Proofs

Download www.hpl.hp.com

Martín Abadi

claim paper

Read More »

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