@hackage / CarneadesIntoDung

A translation from the Carneades argumentation model into Dung's AFs.

Latest2.0.0.0

Dependencies

library:CarneadesIntoDung (5 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.16 && <5
- License: BSD-3-Clause
@hackage / Dung An implementation of the Dung argumentation frameworks.
- Version: >=2.0 && <2.1
- License: BSD-3-Clause
@hackage / CarneadesDSL An implementation and DSL for the Carneades argumentation model.
- Version: >=2.0 && <2.1
- License: BSD-3-Clause
@hackage / fgl Martin Erwig's Functional Graph Library
- Version: >=5.7 && <5.9
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.6 && <0.8
- License: BSD-3-Clause

executable:caell (5 dependencies)

test:carneadesintodung-tests (7 dependencies)