To run the full set of scripts, the following languages are needed in the running environment:
- JDK 21+
- python 3.8+ with jupyter notebooks
- Download the datasets from: https://doi.org/10.7910/DVN/6FEFUU.
- Unzip the file
data-1.zip
and place the content of thedata-1
folder in thesrc/main/resources
folder.
To launch the experiments on the data, just run
./gradlew run
To analyze the data and generate the plots, just open in jupyter analyzer.ipynb
, e.g. by:
jupyter notebook analyzer.ipynb
And run the cells in the notebook.
Previous version of the project available at https://github.com/ennioVisco/bayesformal-archive.