SYNTH+ implementation used for the experiments

Zenodo (CERN European Organization for Nuclear Research)

Abstract

This is the original implementation of the SYNTH+ algorithm used to run the experiments for the "Learning Lifted Action Models from Traces withMinimal Information About Actions and States" paper published at KR 2026.It also contains all artifacts of the original experiment run.There is also a dedicated SIFT+ only implementation that was used for the SIFT+ experiments for performance reasons.

Authors 2

1. Jonas Gösgens Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University

2. Niklas Jansen Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University