aig-hagen
Pinned Loading
Repositories
Showing 10 of 18 repositories
- serialisation-solver Public
Algorithms for computing serialisation sequences in argumentation frameworks
aig-hagen/serialisation-solver’s past year of commit activity - taas-fargo Public
A direct solver for abstract argumentation problems, also for approximate reasoning.
aig-hagen/taas-fargo’s past year of commit activity - argumentation_ltl_solver Public
aig-hagen/argumentation_ltl_solver’s past year of commit activity - serialisability-solver Public
aig-hagen/serialisability-solver’s past year of commit activity