• Carneades

  • Referenced in 9 articles [sw22087]
  • Straightforward Implementation of a Solver for Abstract Argumentation in the Go Programming Language. The Carneades ... solver for reasoning tasks in abstract argumentation frameworks [1]. All of the reasoning tasks (computing...
  • ConArg2

  • Referenced in 6 articles [sw22084]
  • ConArg2: A Constraint-based Tool for Abstract Argumentation. ConArg2 is a Constraint-programming tool oriented ... related to extension-based semantics in Abstract Argumentation. It exploits Gecode, an efficient C++ toolkit...
  • FOXBOX

  • Referenced in 16 articles [sw00307]
  • written in C++. C++ template arguments provide for abstract domain types. Currently, FOXBOX...
  • CoQuiAAS

  • Referenced in 5 articles [sw22094]
  • CoQuiAAS: a constraint-based quick abstract argumentation solver. This paper is a description...
  • ArgueApply

  • Referenced in 2 articles [sw27498]
  • Grappa framework, an extension of, e.g., abstract argumentation in the sense of Dung. With ArgueApply...
  • iPiano

  • Referenced in 60 articles [sw09623]
  • convergence of the function values and the arguments. This makes the algorithm robust for usage ... several other gradient methods. First, an abstract convergence theorem for a generic algorithm is proved...
  • Argtools

  • Referenced in 1 article [sw22092]
  • ArgTools: a backtracking-based solver for abstract argumentation. We present ArgTools, a system for reasoning ... with abstract argumentation frameworks. The system solves a number of argumentation problems under preferred, stable...
  • dynPARTIX

  • Referenced in 1 article [sw30435]
  • Tool. dynPARTIX is a system for abstract argumentation which is based on decomposition and dynamic...
  • ProGraph

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

  • Referenced in 1 article [sw22089]
  • encoding of preferred extensions search for abstract argumentation, using the MaxSAT approach...
  • 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...
  • GRAPPA

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

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

  • Referenced in 1 article [sw07649]
  • PSOA RuleML API: A tool for processing abstract and concrete syntaxes PSOA RuleML ... optional object identifiers and positional or slotted arguments. This paper describes an open-source PSOA ... based concrete syntax of PSOA RuleML, creates abstract syntax objects, and uses these objects...
  • 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...
  • Clousot

  • Referenced in 1 article [sw13331]
  • against floating point numbers in registers (i.e., arguments or locals). Without such an analysis, static ... Clousot, our static contract checker based on abstract interpretation...
  • HECTOR

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

  • Referenced in 0 articles [sw31481]
  • demonstrates that a language, with the right abstractions, can capture the essence of object-oriented ... level functions, to simple tasks (command-line arguments, list processing, printing), to more complex patterns...
  • cdd

  • Referenced in 115 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • Coq

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