Contents
Index
CarneadesIntoDung-0.9: A translation from the Carneades argumentation model into Dung's AFs.
Index
caes
Language.CarneadesIntoDung.Examples
ConcreteAF
Language.CarneadesIntoDung.Translation
ConcreteArg
Language.CarneadesIntoDung.Translation
corAcc
Language.CarneadesIntoDung.Translation
corApp
Language.CarneadesIntoDung.Translation
corProp
Language.CarneadesIntoDung.Examples
exTrans
Language.CarneadesIntoDung.Examples
exTrans'
Language.CarneadesIntoDung.Examples
LConcreteAF
Language.CarneadesIntoDung.Translation
LConcreteArg
Language.CarneadesIntoDung.Translation
translate
Language.CarneadesIntoDung.Translation
translate'
Language.CarneadesIntoDung.Translation