Planning as tabled logic programming

Abstract

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

Topics

  • Presentations referencing similar topics