Linear logic as a tool for planning under temporal uncertainty
From MaRDI portal
(Redirected from Publication:534715)
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)