206 search results - page 3 / 42 » Dynamic Linear Time Temporal Logic |
111
click to vote
TIME
1999
IEEE
15 years 6 months ago
1999
IEEE
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...
104
click to vote
JOLLI
2002
15 years 1 months ago
2002
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 ...
114
Voted
AAI
2010
14 years 9 months ago
2010
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...
96
Voted
IGPL
2007
15 years 1 months ago
2007
