3044 search results - page 342 / 609 » Linear logical approximations |
183
click to vote
TABLEAUX
2005
Springer
16 years 6 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...
176
click to vote
TLCA
2005
Springer
16 years 5 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...
153
click to vote
APN
2004
Springer
16 years 3 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...
175
click to vote
ECAI
2004
Springer
16 years 3 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...
203
click to vote
ASIAN
2003
Springer
15 years 12 months 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...