• MARGOT

  • Referenced in 1 article [sw30884]
  • extraction of arguments from unstructured textual corpora. Argumentation mining technologies are rapidly evolving and show ... application in diverse areas such as recommender systems, policy-making and the legal domain. There ... users to browse, visualise, search, and manipulate arguments and argument structures. There is, however ... technology behind MARGOT, the first online argumentation mining system designed to reach...
  • Tweety

  • Referenced in 8 articles [sw22090]
  • argumentation. Furthermore, Tweety contains libraries for dealing with agents, multi-agent systems, and dialog systems...
  • dynPARTIX

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

  • Referenced in 3 articles [sw22088]
  • first present an argumentation framework that constitutes the core of the system and supports fair...
  • DIAMOND

  • Referenced in 9 articles [sw22086]
  • frameworks. This paper briefly describes the DIAMOND system, version 2.0.0, in its role as submission ... First International Competition on Computational Models of Argumentation (ICCMA). DIAMOND is essentially a collection...
  • QUAD

  • Referenced in 15 articles [sw19553]
  • stream cipher QUAD and the provable security arguments supporting its conjectured strength for suitable parameter ... problem of solving a random system of m equations in n unknowns. We show furthermore ... setup and provide a security argument related to the whole stream cipher. We also briefly...
  • Dungine

  • Referenced in 5 articles [sw22091]
  • grounded (sceptical) and preferred credulous semantics. Existing argumentation engines all rely on a companion logic ... existing software as developers must translate their system into the companion logic programming language. Dungine ... liberal in its notion of an Argument and this flexible approach overcomes this barrier...
  • Storm

  • Referenced in 1 article [sw41844]
  • program that causes the failure in the system. This paper presents Storm, a novel general ... data and inference arguments) that causes a failure in a PP system, Storm finds ... expressions, reduce data size, and simplify inference arguments (e.g., the number of iterations ... caused failures in two popular probabilistic programming systems, Stan and Pyro. Our experimental results show...
  • PITA

  • Referenced in 22 articles [sw06950]
  • this paper, we show how the PITA system, which originally supported the general PLP language ... PRISM, including optimizations that reduce non-discriminating arguments and the computation of Viterbi paths. Furthermore...
  • d03pcf

  • Referenced in 5 articles [sw30985]
  • ordinary differential equations (ODEs). The resulting system is solved using a backward differentiation formula method ... version of d03pcf that has additional arguments in order to make it safe...
  • AUTOCLUST+

  • Referenced in 4 articles [sw02259]
  • algorithm of Estivill-Castro and Lee (2002) ”Argument free clustering for large spatial point-data ... Delaunay Diagram” in Computers, Environment and Urban Systems...
  • COULFG

  • Referenced in 11 articles [sw10276]
  • Bessel functions and their derivatives, for real arguments, by Steed’s method. Title of program ... AS/7000; Installation: Daresbury Laboratory, Warrington, Lancs. Operating system: OS/360 GI compiler and HX compiler (level...
  • WUSSTrace

  • Referenced in 1 article [sw33314]
  • system calls (except GUI system calls), the majority of argument types, and dumps faithfully...
  • Tribe

  • Referenced in 4 articles [sw23217]
  • classes. This paper presents Tribe, a type system which generalises and simplifies other formalisms ... without the need to drag around family arguments. Languages based on Tribe will be both ... existing designs, while having a simpler type system, serving as a useful basis for future...
  • Web-STAR

  • Referenced in 2 articles [sw30394]
  • based IDE for a story comprehension system. We present Web-STAR, an online platform ... ARgumentation. The platform includes a web-based integrated development environment, integration with the STAR system...
  • OmpSs

  • Referenced in 15 articles [sw24813]
  • Mercurium compiler and Nanos++ runtime system. Asynchronous parallelism is enabled in OmpSs ... task not the evaluation of the task arguments (which are firstprivatized). Another restriction is that...
  • sage-drg

  • Referenced in 5 articles [sw26413]
  • package for the Sage computer algebra system is developed for checking feasibility of a given ... triple intersection numbers are determined. Further combinatorial arguments are then used to derive nonexistence...
  • Perseus

  • Referenced in 2 articles [sw09606]
  • used to examine multi-agent systems where the ability to persuade is specified. Especially ... study the issues such as: what arguments individuals use to successfully convince others, what type...
  • PGPLOT

  • Referenced in 2 articles [sw15568]
  • Fortran-77, with a few non-standard, system-dependent subroutines. PGPLOT subroutines can be called directly ... library handles conversion between C and Fortran argument-passing conventions. PGPLOT has been tested with ... Irix, and MacOS X/Darwin) and OpenVMS operating systems. I am unable to provide support...
  • Openproof

  • Referenced in 4 articles [sw19457]
  • heterogeneous reasoning environments, i.e., environments for writing arguments or proofs involving a number of different ... inclusion of a variety of representation systems in the same environment. The framework serves...