Skip to content
@aig-hagen

aig-hagen

Pinned Loading

  1. aig-templates aig-templates Public

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

    TeX 10 6

  2. probo2 probo2 Public

    Python 4 1

Repositories

Showing 10 of 22 repositories
  • aig-templates Public

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

    aig-hagen/aig-templates’s past year of commit activity
    TeX 10 CC-BY-4.0 6 0 0 Updated Apr 8, 2025
  • reducto Public
    aig-hagen/reducto’s past year of commit activity
    C++ 0 GPL-3.0 0 0 0 Updated Apr 7, 2025
  • taas-fudge Public

    A lightweight SAT-based solver for abstract argumentation

    aig-hagen/taas-fudge’s past year of commit activity
    C++ 1 GPL-3.0 2 0 0 Updated Mar 31, 2025
  • algorithms_for_acceptable_arguments Public
    aig-hagen/algorithms_for_acceptable_arguments’s past year of commit activity
    C++ 1 0 0 0 Updated Mar 27, 2025
  • taas-fargo Public

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

    aig-hagen/taas-fargo’s past year of commit activity
    C++ 0 GPL-3.0 1 0 0 Updated Mar 21, 2025
  • taas-harperpp Public

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

    aig-hagen/taas-harperpp’s past year of commit activity
    C 0 GPL-3.0 0 0 0 Updated Mar 21, 2025
  • SAT-based-algorithms-for-inconsistency-measurement-LTL Public
    aig-hagen/SAT-based-algorithms-for-inconsistency-measurement-LTL’s past year of commit activity
    C++ 0 0 0 0 Updated Feb 21, 2025
  • tikz_argumentation Public

    A latex-package for drawing argumentation frameworks

    aig-hagen/tikz_argumentation’s past year of commit activity
    TeX 2 0 0 0 Updated Feb 9, 2025
  • datasets-for-inconsistency-measurement Public
    aig-hagen/datasets-for-inconsistency-measurement’s past year of commit activity
    Prolog 0 0 0 0 Updated Feb 6, 2025
  • inconsistency-measurement-LTL Public
    aig-hagen/inconsistency-measurement-LTL’s past year of commit activity
    C++ 0 0 0 0 Updated Feb 1, 2025
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…