Search Sciweavers | Sciweavers

859 search results - page 35 / 172

» Abduction in 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 1 months 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 1 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

14 years 1 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

14 years 1 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

14 years 14 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers