3044 search results - page 342 / 609 » Linear logical approximations |
202
Voted
TABLEAUX
2005
Springer
16 years 28 days ago
2005
Springer
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that fin...
203
click to vote
TLCA
2005
Springer
16 years 28 days ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
189
click to vote
APN
2004
Springer
16 years 26 days ago
2004
Springer
We consider the problem of model checking modular Petri nets for the linear time logic LTL-X. An algorithm is presented which can use the synchronisation graph from modular analysi...
191
click to vote
ECAI
2004
Springer
16 years 26 days ago
2004
Springer
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...
237
click to vote
ASIAN
2003
Springer
16 years 21 days ago
2003
Springer
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...