Run Instructions


Download the test relase from GitLab Repository, in particular:

  • arg2p-v.0.3.1.jar (main application)
  • (example theory)


  • Double click the executable (JAR File)
  • The Arg2P IDE should appear, as depicted below:

  • Write a defeasible theory following the basic syntax page or load the provided example
  • Click the "Set Theory" button:

  • Run the goal:

  • Labellings are printed in the output tab (buildLabelSets goal):

  • Solutions will be printed in the Solution tab (answerQuery goal):