• ConArg2

  • Referenced in 6 articles [sw22084]
  • ConArg2: A Constraint-based Tool for Abstract Argumentation. ConArg2 is a Constraint-programming tool oriented ... problems related to extension-based semantics in Abstract Argumentation. It exploits Gecode, an efficient ... systems and applications. The properties required by semantics are encoded into constraints, and arguments...
  • DIAMOND

  • Referenced in 9 articles [sw22086]
  • DIAMOND: a system for computing with abstract dialectical frameworks. This paper briefly describes the DIAMOND ... Argumentation (ICCMA). DIAMOND is essentially a collection of answer set programming (ASP) encodings of semantics ... abstract dialectical frameworks (ADFs) together with a wrapper script that calls an ASP solver with...
  • GRAPPA

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

  • Referenced in 9 articles [sw22087]
  • solver for reasoning tasks in abstract argumentation frameworks [1]. All of the reasoning tasks (computing ... deciding whether an argument is credulously or skeptically inferred) and Dung semantics (grounded, complete, preferred...
  • ProGraph

  • Referenced in 1 article [sw22095]
  • ProGraph: towards enacting bipartite graphs for abstract argumentation frameworks. ProGraph was developed in Prolog ... bipartite graphs to partition the set of arguments in two classes ... given argument is credulously inferred, both with respect to the stable semantics...
  • Argtools

  • Referenced in 1 article [sw22092]
  • reasoning with abstract argumentation frameworks. The system solves a number of argumentation problems under preferred ... stable, complete and grounded semantics. ArgTools is a C++ implementation of a backtracking algorithm...
  • ArgueApply

  • Referenced in 2 articles [sw27498]
  • Grappa framework, an extension of, e.g., abstract argumentation in the sense of Dung. With ArgueApply ... engage in online discussions and evaluate their semantics. Each of the resulting interpretations...
  • LamatzSolver

  • Referenced in 1 article [sw22093]
  • abstract framework [4] in the contest of International Competition on Computational Models of Argumentation (ICCMA ... Java and determines all extensions of grounded semantics. The algorithm used is oriented...
  • SHRAD

  • Referenced in 6 articles [sw02663]
  • Pisa-Genova-Udine (1993)] introduced his semantics for exact real number computation, there has always ... been a struggle to maintain data abstraction and efficiency as much as possible. The interval ... 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...
  • HECTOR

  • Referenced in 2 articles [sw13320]
  • that may contain free variables whose arguments are also of short-type. This ... tool relies on the fully abstract game semantics of RML to construct...
  • Coq

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

  • Referenced in 65 articles [sw00177]
  • CUTE: a concolic unit testing engine for C...
  • Isabelle

  • Referenced in 698 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 5363 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

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

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

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

  • Referenced in 40 articles [sw00626]
  • This book offers an introduction to Natural Language...
  • Paramils

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