GitLab

Compile away conditional effects on action costs function when translating to PDDL due to lack of support by planner.

Updated README to reflect usage of most recent versions of NuSMV model checker and Konclude description logic reasoner.

Optimization: Only consider fluents mentioned in the characteristic set whose instantiated SSA is non-valid for local-effect progression.

Bugfix: Use dummy TBox assertion to call get_fml_std_names/2 on proper DL formula in ligression module.

Use 'exists' for existential quantification in Description Logics to distinguish from existential quantification in FOL.