Linear logic as a tool for planning under temporal uncertainty
From MaRDI portal
Publication:534715
DOI10.1016/j.tcs.2010.12.027zbMath1222.68382MaRDI QIDQ534715
Jacqueline Vauzeilles, Max I. Kanovich
Publication date: 10 May 2011
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2010.12.027
68T27: Logic in artificial intelligence
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- Weak, strong, and strong cyclic planning via symbolic model checking
- Managing concurrency in temporal planning using planner-scheduler interaction
- A theory of timed automata
- Linear logic as a logic of computations
- Generating plans in linear logic. I: Actions as proofs
- Generating plans in linear logic. II: A geometry of conjunctive actions
- Strong planning under uncertainty in domains with numerous but identical elements (a generic approach)
- The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity