Using linear temporal logic to model and solve planning problems

DOI10.1007/BFB0057441MaRDI QIDQ4247687zbMATH OpenFDO

Authors Serenella Cerrito, Marta Cialdea Mayer

Publication date 13 December 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0057441

zbMATH Keywords

analytic tableauxbounded model searchplan searchplan synthesisplanning as satisfiability approachpropositional linear temporal logicspecification language for planning problemsTabplan

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Temporal logic (03B44) Logic in computer science (03B70) Logic in artificial intelligence (68T27)

Recommendations

• Linear logic as a tool for planning under temporal uncertainty
• Linear temporal logic as an executable semantics for planning languages
• A temporal logic programming approach to planning
• Bounded model search in linear temporal logic and its application to planning
• scientific article; zbMATH DE number 1950254
• AI*IA 2003: Advances in Artificial Intelligence
• Reasoning about actions in dynamic linear time temporal logic
• scientific article; zbMATH DE number 3871318
• The decision problem for linear temporal logic

Cited in

(17)

• Linear temporal logic as an executable semantics for planning languages
• TALplanner: A temporal logic based forward chaining planner
• An approach to infinitary temporal proof theory
• A temporal logic programming approach to planning
• Analyzing LTL model checking techniques for plan synthesis and controller synthesis (work in progress)
• Temporal logic motion planning using POMDPs with parity objectives
• LTL goal specifications revisited
• The planning spectrum - one, two, three, infinity
• Taming the Complexity of Temporal Epistemic Reasoning
• Bounded model search in linear temporal logic and its application to planning
• scientific article; zbMATH DE number 67470 (Why is no real title available?)
• scientific article; zbMATH DE number 1950254 (Why is no real title available?)
• Automated Deduction – CADE-20
• Automated Reasoning with Analytic Tableaux and Related Methods
• Semipositive LTL with an Uninterpreted Past Operator
• AI*IA 2003: Advances in Artificial Intelligence
• First-order temporal logic on finite traces: semantic properties, decidable fragments, and applications

This page was built for publication: Using linear temporal logic to model and solve planning problems

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