On the exploitation of control knowledge for enhancing automated planning

DOI10.1016/j.ins.2024.121666MaRDI QIDQ6665139

Bin Yu, Cong Tian, Xu Lu, Chu Chen, Zhenhua Duan

Publication date: 16 January 2025

Published in: Information Sciences (Search for Journal in Brave)

zbMATH Keywords

temporal logicautomated planningcontrol knowledge

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Temporal logic (03B44)

This page was built for publication: On the exploitation of control knowledge for enhancing automated planning