289 search results - page 7 / 58 » Regular Linear Temporal Logic |
INFORMATICALT
2006
14 years 9 months ago
2006
In this paper we consider two logics: temporal logic of common knowledge and temporal logic of common belief. These logics involve the discrete time linear temporal logic operators...
DKE
2007
14 years 9 months ago
2007
Previous studies on mining sequential patterns have focused on temporal patterns specified by some form of propositional temporal logic. However, there are some interesting seque...
JOLLI
2007
14 years 9 months ago
2007
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...
AMAI
2006
Springer
14 years 9 months ago
2006
Springer
We present a tableau-based algorithm for obtaining a B
AAI
2010
14 years 4 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...