资 源 简 介
As of now, this tool provides a way of expressing NP problems in the high level language of second-order logic, and of translating them into a fragment of STRIPS.
The software is grounded in Descriptive Complexity Theory, which relates the expressivity of logics to computational complexity.
There are many planners able to solve the translated problems.
Part of this work was presented at the 21st International Conference on Automated Planning and Scheduling, ICAPS "11 (http://icaps11.icaps-conference.org/).