Linear logic as a tool for planning under temporal uncertainty

DOI10.1016/J.TCS.2010.12.027MaRDI QIDQ534715zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 786485 (Why is no real title available?)
• scientific article; zbMATH DE number 2201583 (Why is no real title available?)
• A theory of timed automata
• Artificial intelligence. A new synthesis
• Encoding domain and control knowledge for propositional planning
• Functional strips: A more flexible language for planning and problem solving
• Generating plans in linear logic. I: Actions as proofs
• Generating plans in linear logic. II: A geometry of conjunctive actions
• Linear logic
• Linear logic as a logic of computations
• Managing concurrency in temporal planning using planner-scheduler interaction
• 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
• Weak, strong, and strong cyclic planning via symbolic model checking

Cited in

(10)

• From Uncertainty Data to Robust Policies for Temporal Logic Planning
• Generating plans in linear logic. II: A geometry of conjunctive actions
• Reasoning about actions with loops via Hoare logic
• The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity
• scientific article; zbMATH DE number 1302385 (Why is no real title available?)
• scientific article; zbMATH DE number 1912050 (Why is no real title available?)
• Computer Science Logic
• Advances in Artificial Intelligence – SBIA 2004
• A logic of time, chance, and action for representing plans
• AI*IA 2003: Advances in Artificial Intelligence

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)