SADFGEN -
Generator for subclasses of ADFs
Welcome to the SADFGEN system page, for generating subclasses of Abstract Dialectical Frameworks (ADFs).
It is developed within the project "A Semantical Framework for Graph-Based Argument Processing"
(funded by Deutsche Forschungsgemeinschaft (DFG) and the Austrian Science Fund (FWF) under grants BR-1817/7-2 and I2854 (DFG/
FWF))
Contents
News
Webpage online
5.9.2017SADFGEN webpage is online. You can download SADFGEN below.
About
SADFGEN is a generator for subclasses of ADFs: acyclic, attack-symmetric, acyclic-support-symmetric (see the references below). It builds on ADFGEN, which is a generator of ADFs (SADFGEN is therefore ADFGEN version 0.2.0). SADFGEN has been implemented using Scala. Running YADF requires Java (6+).
Usage
Call SADFGEN as follows:
java -jar adfgen-0.2.0.jar -h
to see all the options for generating ADFs.
An example of a call of SADFGEN to compute an acylic ADF is the following:
java -jar adfgen-assembly-0.0.0.jar -nslf -I filename -c
Examples
For examples of input graphs that can be used as input to SADFGEN seeDownload
SADFGEN can be downloaded here: SADFGEN
Team
- Atefeh Keshavarzi
- Martin Diller
- Thomas Linsbichler
- Stefan Woltran
Related Webpages
References
-
Investigating Subclasses of Abstract Dialectical Frameworks
Atefeh Keshavarzi.
Master's Thesis, Technische Universität Wien. Advisor: Stefan Woltran. Assistance: Thomas Linsbichler, and Martin Diller. 2017.
Top