Write paper section about plasp’s implementation details #9

New Issue

patrick · 2017-11-08T16:14:17+01:00

patrick commented

2017-11-08 16:14:17 +01:00

Aspects of interest for this section include:

supported input feature set
statistics on how many IPC domains are completely covered
normalization and normalized PDDL format
- implications → disjunctions
- nested predonditions/goals → flattening with derived predicates
- conditional effects
- nested effects → flattening
translation
- handling existential and universal quantifiers
- handling conditional effects
- handling disjunctions
- handling derived predicates
overview about output format

Aspects of interest for this section include: - supported input feature set - statistics on how many IPC domains are completely covered - normalization and normalized PDDL format - implications → disjunctions - nested predonditions/goals → flattening with derived predicates - conditional effects - nested effects → flattening - translation - handling existential and universal quantifiers - handling conditional effects - handling disjunctions - handling derived predicates - overview about output format

patrick added this to the plasp 3.2.0 milestone 2017-11-08 16:14:17 +01:00

patrick self-assigned this 2017-11-08 16:14:17 +01:00

patrick added the

documentation

task

labels 2017-11-08 16:14:35 +01:00

patrick modified the milestone from plasp 3.2.0 to plasp 3.1.1

2017-11-08 18:44:28 +01:00

patrick modified the milestone from plasp 3.1.1 to Extended Paper for TPLP Journal

2017-11-09 15:49:45 +01:00

patrick closed this issue

2017-11-27 14:33:24 +01:00