This repository has been archived on 2023-07-19. You can view files and clone it, but cannot push or open issues or pull requests.
plasp/KNOWN-ISSUES.md

836 B
Raw Permalink Blame History

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 plasps derived predicates (obtained through normalization) are semantically similar, but differently represented

Encodings