Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10334097 | Theoretical Computer Science | 2011 | 21 Pages |
Abstract
In this paper we propose a comprehensive and adequate logical model of strong planning under temporal uncertainty which addresses infinity concerns. In particular, we establish a direct correspondence between linear logic proofs and plans, or winning strategies, for the actions with quantitative delayed effects.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Max Kanovich, Jacqueline Vauzeilles,