Unify output format for axiom rules and derived predicates #8

New Issue

2017-11-03T19:44:40+01:00

patrick commented

2017-11-03 19:44:40 +01:00

Axiom rules (obtained via SAS translation) and derived predicates (obtained via PDDL normalization) are semantically very similar, but represented as different predicates in the current output format.

These should be unified in order to make encodings easier to write.

Axiom rules (obtained via SAS translation) and derived predicates (obtained via PDDL normalization) are semantically very similar, but represented as different predicates in the current output format. These should be unified in order to make encodings easier to write.

patrick added this to the plasp 3.2.0 milestone 2017-11-03 19:44:40 +01:00

patrick self-assigned this 2017-11-03 19:44:40 +01:00

patrick added the enhancement label 2017-11-03 19:44:40 +01:00

This repo is archived. You cannot comment on issues.

1 Participants

Due Date

-

Dependencies

No dependencies set.

Reference: patrick/plasp#8