Planning as tabled logic programming


This paper describes Picat’s planner, its implementation, and planning models for several domains used in International Planning Competition (IPC) 2014. Picat’s planner is implemented by use of tabling. During search, every state encountered is tabled, and tabled states are used to effectively perform resource-bounded search. In Picat, structured data can… (More)
DOI: 10.1017/S1471068415000216

2 Figures and Tables


  • Presentations referencing similar topics