Planner (Logic)

Reply Wed 5 Mar, 2014 05:25 pm
Hello Friends,
I am searching for a planner which can support negation in precondition, initial, and goal state of PDDL descriptions. I have searched some, e,g,, sapareplan_planner.jar, seq-sat-lama. but both have problems with this. Has anyone used or worked with such planner? Would be great if some one can help me finding one! thanks in advance.
  • Topic Stats
  • Top Replies
  • Link to this Topic
Type: Question • Score: 0 • Views: 1,411 • Replies: 0
No top replies


Related Topics

  1. Forums
  2. » Planner (Logic)
Copyright © 2023 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.03 seconds on 12/09/2023 at 04:41:35