Domain modeling; Logic programming; Planning; Tabling; Software

Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain

Action planning deals with the problem of finding a sequence of actions transferring the world from a given state to a desired (goal) state. This problem is important in various areas such as robotics, manufacturing, transportation, autonomic …