Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by aig-hagen
A curated list of projects in awesome lists by aig-hagen .
https://github.com/aig-hagen/aig-templates
LaTeX templates for AIG theses, beamer presentations, and posters.
Last synced: 13 Nov 2024
https://github.com/aig-hagen/tikz_argumentation
A latex-package for drawing argumentation frameworks
argumentation-frameworks artificial-intelligence latex-package
Last synced: 11 Oct 2024
https://github.com/aig-hagen/taas-fudge
A lightweight SAT-based solver for abstract argumentation
Last synced: 13 Nov 2024
https://github.com/aig-hagen/taas-dredd
A heuristics-guided backtracking solver for abstract argumentation with information propagation
Last synced: 13 Nov 2024
https://github.com/aig-hagen/taas-harper
A very fast solver for polynomial tasks in abstract argumentation pertaining to grounded and complete semantics
Last synced: 13 Nov 2024
https://github.com/aig-hagen/asp_for_ltl
Framework containing ASP-based implementations for problems related to linear temporal logic (on fixed traces), specifically geared towards declarative process specifications.
Last synced: 13 Nov 2024
https://github.com/aig-hagen/taas-haywood
A solver for abstract argumentation implementing stochastic local search algorithms to find a single stable extension (SE-ST)
Last synced: 13 Nov 2024
https://github.com/aig-hagen/taas-harperpp
An approximation solver for abstract argumentation tasks DS and DC and semantics CO, PR, ST, SST, STG, and ID
Last synced: 13 Nov 2024
https://github.com/aig-hagen/taas-fargo
A direct solver for abstract argumentation problems, also for approximate reasoning.
Last synced: 13 Nov 2024
https://github.com/aig-hagen/serialisation-solver
Algorithms for computing serialisation sequences in argumentation frameworks
argumentation argumentation-frameworks solver
Last synced: 13 Nov 2024