Search Sciweavers | Sciweavers

206 search results - page 3 / 42

» Dynamic Linear Time Temporal Logic

click to vote

TIME
1999
IEEE

130views Automated Reasoning» more TIME 1999»

TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner

13 years 9 months ago

Download www.ida.liu.se

We present a new forward chaining planner, TALplanner, based on ideas developed by Bacchus [5] and Kabanza [11], where domain-dependent search control knowledge represented as tem...

Patrick Doherty, Jonas Kvarnström

claim paper

Read More »

click to vote

JOLLI
2002

109views more JOLLI 2002»

Linear, Branching Time and Joint Closure Semantics for Temporal Logic

13 years 5 months ago

Download www.few.vu.nl

Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...

Joeri Engelfriet, Jan Treur

claim paper

Read More »

click to vote

AAI
2010

94views more AAI 2010»

Sequence-Indexed Linear-Time Temporal Logic: Proof System and Application

13 years 11 days ago

Download www.ai.cis.iwate-u.ac.jp

In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...

Ken Kaneiwa, Norihiro Kamide

claim paper

Read More »

click to vote

LICS
1997
IEEE

86views Automated Reasoning» more LICS 1997»

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces

13 years 9 months ago