• AFRA

  • Referenced in 29 articles [sw02090]
  • AFRA: argumentation framework with recursive attacks. The issue of representing attacks to attacks in argumentation ... formalism encompassing unlimited recursive attacks within argumentation frameworks. AFRA satisfies the basic requirements of definition ... rigorous compatibility with Dung’s theory of argumentation. This paper provides a complete development...
  • ASPARTIX

  • Referenced in 18 articles [sw08820]
  • ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming. The system ASPARTIX is a tool ... range of formalizations of Dung’s argumentation framework and generalizations thereof. ASPARTIX relies ... which takes an instance of an argumentation framework as input, and uses the answer...
  • Symstra

  • Referenced in 19 articles [sw01296]
  • Symstra: A framework for generating object-oriented unit tests using symbolic execution Object-oriented unit ... invocation depends on the method’s arguments and the state of the receiver ... generating relevant method arguments. This paper proposes Symstra, a framework that achieves both test generation ... symbolic execution of method sequences with symbolic arguments. The paper defines symbolic states of object...
  • Carneades

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

  • Referenced in 4 articles [sw19192]
  • DeLP: a weighted defeasible argumentation framework based on a recursive semantics. In this article ... formulas in a general defeasible logic argumentation framework by formalizing a notion of collective ... warranted and a set of blocked formulas. Arguments for both warranted and blocked formulas ... rejected formulas. Then we extend the framework by attaching levels of preference to defeasible knowledge...
  • GRAPPA

  • Referenced in 8 articles [sw20931]
  • GRAPPA: a semantical framework for graph-based argument processing. Graphical models are widely used ... argumentation to visualize relationships among propositions or arguments. The intuitive meaning of the links ... general semantical framework for assigning a precise meaning to labelled argument graphs which makes them ... conditions, as first studied in Abstract Dialectical Frameworks (ADFs). The acceptance conditions used here...
  • LEGO

  • Referenced in 107 articles [sw09685]
  • various related type systems - the Edinburgh Logical Framework (LF), the Calculus of Constructions ... example, features of the system like argument synthesis and universe polymorphism make proof checking more...
  • pyglaf

  • Referenced in 3 articles [sw33069]
  • pyglaf: A solver for Argumentation Frameworks written in python and taking advantage of circumscriptino...
  • GeoMed

  • Referenced in 3 articles [sw22088]
  • Wide Web. We first present an argumentation framework that constitutes the core of the system...
  • CryptHOL

  • Referenced in 7 articles [sw28582]
  • CryptHOL provides a framework for formalising cryptographic arguments in Isabelle/HOL. It shallowly embeds a probabilistic ... proofs are trustworthy and comprehensible, and the framework is extensible and widely applicable...
  • GAUDI

  • Referenced in 13 articles [sw01384]
  • creating a resilient software framework that can withstand changes in requirements and technology over ... arguments that led to these choices. Several iterations of a software framework based on this...
  • Argtools

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

  • Referenced in 1 article [sw22095]
  • towards enacting bipartite graphs for abstract argumentation frameworks. ProGraph was developed in Prolog and relies ... bipartite graphs to partition the set of arguments in two classes...
  • ABEL

  • Referenced in 2 articles [sw02787]
  • probabilistic argumentative reasoning. Most formal approaches to argumentative reasoning under uncertainty focus on the analysis ... aspects. An exception is the framework of probabilistic argumentation systems. Its philosophy is to include...
  • DIAMOND

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

  • Referenced in 2 articles [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...
  • DiffSharp

  • Referenced in 60 articles [sw16033]
  • functions which take other functions as arguments. Your functions can use the full expressive capability ... Mono, .NET Core, or the .Net Framework, targeting the 64 bit platform. It is tested...
  • PERMGEN

  • Referenced in 2 articles [sw18144]
  • selection of its arguments values. A general framework for generating permutations of integers is presented ... This framework, referred to as PERMGEN, forms a link between the numbering of permutations ... insertion-based heuristics. A number of arguments controlling the operation of GCA are identified. Features...
  • Openproof

  • Referenced in 4 articles [sw19457]
  • framework provides support for the implementation of heterogeneous reasoning environments, i.e., environments for writing arguments ... Hyperproof program, though the Openproof framework goes beyond Hyperproof by providing facilities for the inclusion...
  • Rostra

  • Referenced in 10 articles [sw07268]
  • Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests Object-oriented unit tests consist ... state of the receiver object and method arguments at the beginning of the invocation. Existing ... detect faults. This paper proposes Rostra, a framework for detecting redundant unit tests, and presents...