Search Sciweavers | Sciweavers

955 search results - page 26 / 191

» Tractable Temporal Reasoning

Voted

TIME
2002
IEEE

90views Automated Reasoning» more TIME 2002»

Indexed Flows in Temporal x Modal Logic with Functional Semantics

15 years 8 months ago

Download www.matap.uma.es

Alfredo Burrieza, Inman P. de Guzmán, Emili...

claim paper

Read More »

107

click to vote

ICLP
2001
Springer

94views Automated Reasoning» more ICLP 2001»

Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic

15 years 7 months ago

Download kaminari.scitec.kobe-u.ac.jp

Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai...

claim paper

Read More »

click to vote

LICS
1997
IEEE

119views Automated Reasoning» more LICS 1997»

First-Order Logic with Two Variables and Unary Temporal Logic

15 years 7 months ago

Download www.brics.dk

Kousha Etessami, Moshe Y. Vardi, Thomas Wilke

claim paper

Read More »

131

click to vote

TIME
1997
IEEE

110views Automated Reasoning» more TIME 1997»

Visual Query Operators for Temporal Databases

15 years 7 months ago

Download www.dsc.ufcg.edu.br

Sônia Fernandes Silva, Ulrich Schiel, Tizian...

claim paper

Read More »

100

Voted

GIS
1998
ACM

104views Automated Reasoning» more GIS 1998»

Abstract and Discrete Modeling of Spatio-Temporal Data Types

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers