Search Sciweavers | Sciweavers

955 search results - page 26 / 191

» Tractable Temporal Reasoning

118

click to vote

TIME
2002
IEEE

90views Automated Reasoning» more TIME 2002»

Indexed Flows in Temporal x Modal Logic with Functional Semantics

15 years 10 months ago

Download www.matap.uma.es

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

claim paper

Read More »

134

click to vote

ICLP
2001
Springer

94views Automated Reasoning» more ICLP 2001»

Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic

15 years 10 months ago

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

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

claim paper

Read More »

130

click to vote

LICS
1997
IEEE

119views Automated Reasoning» more LICS 1997»

First-Order Logic with Two Variables and Unary Temporal Logic

15 years 10 months ago

Download www.brics.dk

Kousha Etessami, Moshe Y. Vardi, Thomas Wilke

claim paper

Read More »

157

click to vote

TIME
1997
IEEE

110views Automated Reasoning» more TIME 1997»

Visual Query Operators for Temporal Databases

15 years 10 months ago

Download www.dsc.ufcg.edu.br

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

claim paper

Read More »

126

click to vote

GIS
1998
ACM

104views Automated Reasoning» more GIS 1998»

Abstract and Discrete Modeling of Spatio-Temporal Data Types

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers