Search Sciweavers | Sciweavers

955 search results - page 26 / 191

» Tractable Temporal Reasoning

click to vote

TIME
2002
IEEE

90views Automated Reasoning» more TIME 2002»

Indexed Flows in Temporal x Modal Logic with Functional Semantics

14 years 19 days ago

Download www.matap.uma.es

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

claim paper

Read More »

click to vote

ICLP
2001
Springer

94views Automated Reasoning» more ICLP 2001»

Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic

14 years 5 days 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

13 years 12 months ago

Download www.brics.dk

Kousha Etessami, Moshe Y. Vardi, Thomas Wilke

claim paper

Read More »

click to vote

TIME
1997
IEEE

110views Automated Reasoning» more TIME 1997»

Visual Query Operators for Temporal Databases

13 years 12 months ago

Download www.dsc.ufcg.edu.br

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

claim paper

Read More »

click to vote

GIS
1998
ACM

104views Automated Reasoning» more GIS 1998»

Abstract and Discrete Modeling of Spatio-Temporal Data Types

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers