Specifying Goals to Deep Neural Networks with Answer Set Programming

Code for Specifying Goals to Deep Neural Networks with Answer Set Programming.

Installation

pip install deepxube==0.1.5

Trained models

You can download the trained models here.

Specifying Goals with Ground Atoms

To redo running the results, use the --redo switch when running run_search.

Specifying Goals with Answer Set Programming

To redo running the results, use the --redo switch when running run_spec_goal.