Skip to content

A preprocessor to simplify abstract argumentation frameworks before solving any reasoning problems within these frameworks.

License

Notifications You must be signed in to change notification settings

aig-hagen/af_preprocessor

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

af_preprocessor

af_preprocessor is a tool to simplify abstract argumentation frameworks. It reduces the framework to only those arguments of relevance, see Borg and Bex 2024 and its use in the argumentation solver reducto.

Build process

For default compilation:

make all

Executable can be found in './build/'

Features

Supported file-formats : [.i23, .tgf]

use --help for further information

created by
Lars Bengel, Julian Sander and Matthias Thimm

About

A preprocessor to simplify abstract argumentation frameworks before solving any reasoning problems within these frameworks.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Contributors 2

  •  
  •