Repositories list

• serialisation-solver

  Public
  Algorithms for computing serialisation sequences in argumentation frameworks

  solverargumentationargumentation-frameworks

  C++

  •

  GNU General Public License v3.0

  •1•0•0•0•Updated Oct 11, 2024Oct 11, 2024

• tikz_argumentation

  Public
  A latex-package for drawing argumentation frameworks

  artificial-intelligencelatex-packageargumentation-frameworks

  TeX

  •0•2•0•0•Updated Oct 7, 2024Oct 7, 2024

• algorithms_for_acceptable_arguments

  Public
  C++

  •0•1•0•0•Updated Oct 2, 2024Oct 2, 2024

• aig-templates

  Public
  LaTeX templates for AIG theses, beamer presentations, and posters.

  TeX

  •6•8•0•0•Updated Sep 25, 2024Sep 25, 2024

• probo2

  Public
  Python

  •

  MIT License

  •1•4•0•0•Updated Aug 29, 2024Aug 29, 2024

• algorithms_for_inconsistency_measurement_in_PL

  Public
  C++

  •0•0•0•0•Updated Jul 22, 2024Jul 22, 2024

• inconsistency-measurement-LTL

  Public
  C++

  •0•0•0•0•Updated Jul 8, 2024Jul 8, 2024

• taas-fargo

  Public
  A direct solver for abstract argumentation problems, also for approximate reasoning.

  C++

  •

  GNU General Public License v3.0

  •1•0•0•0•Updated Jun 19, 2024Jun 19, 2024

• argumentation_ltl_solver

  Public
  C++

  •0•0•0•0•Updated Apr 17, 2024Apr 17, 2024

• serialisability-solver

  Public
  C++

  •

  Other

  •0•0•0•0•Updated Mar 13, 2024Mar 13, 2024

• bsc_2024_merlin

  Public
  Python

  •0•0•0•0•Updated Mar 1, 2024Mar 1, 2024

• msc_2023_julia_hayat

  Public
  Java

  •0•0•0•0•Updated Feb 12, 2024Feb 12, 2024

• ASP_for_LTL

  Public
  Framework containing ASP-based implementations for problems related to linear temporal logic (on fixed traces), specifically geared towards declarative process specifications.

  C++

  •0•0•0•0•Updated Jun 16, 2023Jun 16, 2023

• taas-fudge

  Public
  A lightweight SAT-based solver for abstract argumentation

  C++

  •

  GNU General Public License v3.0

  •2•1•0•0•Updated Mar 30, 2023Mar 30, 2023

• taas-harperpp

  Public
  An approximation solver for abstract argumentation tasks DS and DC and semantics CO, PR, ST, SST, STG, and ID

  C

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Mar 30, 2023Mar 30, 2023

• taas-haywood

  Public
  A solver for abstract argumentation implementing stochastic local search algorithms to find a single stable extension (SE-ST)

  C

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Jul 19, 2022Jul 19, 2022

• taas-harper

  Public
  A very fast solver for polynomial tasks in abstract argumentation pertaining to grounded and complete semantics

  C

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Jul 19, 2022Jul 19, 2022

• taas-dredd

  Public
  A heuristics-guided backtracking solver for abstract argumentation with information propagation

  C

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Jul 19, 2022Jul 19, 2022