A temporal logic programming approach to planning

DOI10.1007/s10878-019-00389-yzbMath1419.68101OpenAlexW2912113983WikidataQ128423699 ScholiaQ128423699MaRDI QIDQ2424818

Zhenhua Duan, Cong Tian, Kai Yang, Nan Zhang, Hongwei David Du

Publication date: 25 June 2019

Published in: Journal of Combinatorial Optimization (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10878-019-00389-y

zbMATH Keywords

planningtemporal logicPDDLMSVLsearch control knowledge

Mathematics Subject Classification ID

Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Uses Software

• SHOP2

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Heuristics for the network design problem with connectivity requirements
• Multicolour paths in graphs: NP-hardness, algorithms, and applications on routing in WDM networks
• Improved algorithms for the evacuation route planning problem
• A practical decision procedure for propositional projection temporal logic with infinite models
• Linear temporal logic as an executable semantics for planning languages
• TALplanner: A temporal logic based forward chaining planner
• A compiler for MSVL and its applications
• Using temporal logics to express search control knowledge for planning
• Model checking approach to automated planning
• Strengthened 0-1 linear formulation for the daily satellite mission planning
• Planning as tabled logic programming
• Verifying safety critical task scheduling systems in PPTL axiom system