ASP planning tools for PDDL (local mirror of https://github.com/potassco/plasp for development purposes) https://potassco.org/
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 

836 B

Known Issues

Parser

  • multiple PDDL features are not yet supported (see list of PDDL features supported by plasp)
  • several error messages obtained with syntax errors are misleading

Translator

  • in compatibility mode, the outdated vars sections within action definitions are handled just like parameters, which is semantically incorrect
  • equality expressions currently partly supported by parser but not the translator

ASP Output Format

  • SAS axiom rules and plasp’s derived predicates (obtained through normalization) are semantically similar, but differently represented

Encodings