• Carneades

  • Referenced in 9 articles [sw22087]
  • solver for reasoning tasks in abstract argumentation frameworks [1]. All of the reasoning tasks (computing...
  • DIAMOND

  • Referenced in 9 articles [sw22086]
  • DIAMOND: a system for computing with abstract dialectical frameworks. This paper briefly describes the DIAMOND ... First International Competition on Computational Models of Argumentation (ICCMA). DIAMOND is essentially a collection ... programming (ASP) encodings of semantics of abstract dialectical frameworks (ADFs) together with a wrapper script...
  • Argtools

  • Referenced in 1 article [sw22092]
  • ArgTools, a system for reasoning with abstract argumentation frameworks. The system solves a number...
  • ProGraph

  • Referenced in 1 article [sw22095]
  • ProGraph: towards enacting bipartite graphs for abstract argumentation frameworks. ProGraph was developed in Prolog...
  • GRAPPA

  • Referenced in 8 articles [sw20931]
  • general semantical framework for assigning a precise meaning to labelled argument graphs which makes them ... acceptance conditions, as first studied in Abstract Dialectical Frameworks (ADFs). The acceptance conditions used here ... define various Dung style semantics for argument graphs. We also introduce a pattern language...
  • ArgueApply

  • Referenced in 1 article [sw27498]
  • based on the Grappa framework, an extension of, e.g., abstract argumentation in the sense ... more accessible than existing systems for computing argumentation semantics allowing, e.g., for spontaneous analysis ... system for exploring which type of Grappa frameworks under which semantics are best suited...
  • LamatzSolver

  • Referenced in 1 article [sw22093]
  • abstract framework [4] in the contest of International Competition on Computational Models of Argumentation (ICCMA...
  • SHRAD

  • Referenced in 6 articles [sw02663]
  • standard setting to obtain maximum data abstraction. As for efficiency there has been much focus ... sequential fragment of Real-PCF. The previous argument suggests some sort of compromise ... where we succeed in presenting a framework for exact real number computation which satisfies...
  • dynPARTIX

  • Referenced in 1 article [sw30435]
  • Tool. dynPARTIX is a system for abstract argumentation which is based on decomposition and dynamic ... practice, we shall use the SHARP framework, a C++ environment which includes heuristic methods...
  • Coq

  • Referenced in 1906 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Isabelle

  • Referenced in 719 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LEO-II

  • Referenced in 51 articles [sw00512]
  • LEO-II is a standalone, resolution-based higher...
  • Maple

  • Referenced in 5403 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6445 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13702 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 584 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • Paramils

  • Referenced in 87 articles [sw00678]
  • Paramils: an automatic algorithm configuration framework. The identification...
  • R

  • Referenced in 10196 articles [sw00771]
  • R is a language and environment for statistical...
  • ML

  • Referenced in 524 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • Symstra

  • Referenced in 19 articles [sw01296]
  • Symstra: A framework for generating object-oriented unit...