A temporal logic programming approach to planning

DOI10.1007/s10878-019-00389-yzbMath1419.68101MaRDI QIDQ2424818

Nan Zhang, Zhenhua Duan, Cong Tian, Kai Yang, 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

planning; temporal logic; PDDL; MSVL; search control knowledge

Mathematics Subject Classification ID

68T30: Knowledge representation

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

68N17: Logic programming

Uses Software

• SHOP2