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

15 years 4 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

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

14 years 6 months 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

15 years 3 months ago