Search Sciweavers | Sciweavers

39 search results - page 1 / 8

» A Product Version of Dynamic Linear Time Temporal Logic

click to vote

CONCUR
1997
Springer

86views Distributed And Parallel Com...» more CONCUR 1997»

A Product Version of Dynamic Linear Time Temporal Logic

13 years 9 months ago

Download www.cmi.ac.in

Jesper G. Henriksen, P. S. Thiagarajan

claim paper

Read More »

click to vote

INFORMATICALT
2007

111views more INFORMATICALT 2007»

Sequent Calculi for Branching Time Temporal Logics of Knowledge and Belief

13 years 4 months ago

Download www.mii.lt

In this paper we consider branching time temporal logics of knowledge and belief. These logics involve the discrete time linear temporal logic operators “next” and “until” ...

Jurate Sakalauskaite

claim paper

Read More »

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

AMAI
2006
Springer

85views Artificial Intelligence» more AMAI 2006»

Tableau-based automata construction for dynamic linear time temporal logic*

13 years 4 months ago

Download www.di.unito.it

We present a tableau-based algorithm for obtaining a B

Laura Giordano, Alberto Martelli

claim paper