Linear logic as a tool for planning under temporal uncertainty

DOI10.1016/J.TCS.2010.12.027zbMATH Open1222.68382OpenAlexW1983464388MaRDI QIDQ534715FDOQ534715

Authors: Jacqueline Vauzeilles, Max 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

Recommendations

• AI*IA 2003: Advances in Artificial Intelligence
• Strong planning under uncertainty in domains with numerous but identical elements (a generic approach)
• Generating plans in linear logic. I: Actions as proofs
• Linear temporal logic as an executable semantics for planning languages
• scientific article; zbMATH DE number 18649

zbMATH Keywords

linear logicplanning under uncertaintyproofs-as-programs paradigmwinning strategies

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites Work

• A theory of timed automata
• Linear logic
• Title not available (Why is that?)
• Weak, strong, and strong cyclic planning via symbolic model checking
• Title not available (Why is that?)
• Linear logic as a logic of computations
• The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity
• Artificial intelligence. A new synthesis
• Strong planning under uncertainty in domains with numerous but identical elements (a generic approach)
• Generating plans in linear logic. I: Actions as proofs
• Generating plans in linear logic. II: A geometry of conjunctive actions
• Encoding domain and control knowledge for propositional planning
• Functional strips: A more flexible language for planning and problem solving
• Managing concurrency in temporal planning using planner-scheduler interaction

Cited In (8)

• Title not available (Why is that?)
• Computer Science Logic
• Advances in Artificial Intelligence – SBIA 2004
• AI*IA 2003: Advances in Artificial Intelligence
• Title not available (Why is that?)
• The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity
• Generating plans in linear logic. II: A geometry of conjunctive actions
• From Uncertainty Data to Robust Policies for Temporal Logic Planning

This page was built for publication: Linear logic as a tool for planning under temporal uncertainty

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q534715)