• LEGO

  • Referenced in 108 articles [sw09685]
  • proofs. For example, features of the system like argument synthesis and universe polymorphism make proof...
  • ode23

  • Referenced in 335 articles [sw06600]
  • with tspan = [t0 tf] integrates the system of differential equations y′ = f(t,y) from ... with initial conditions y0. The first input argument, odefun, is a function handle. The function...
  • ML

  • Referenced in 524 articles [sw01218]
  • polymorphic Hindley–Milner type system, which automatically assigns the types of most expressions without requiring ... provides pattern matching for function arguments, garbage collection, imperative programming, call-by-value and currying...
  • Tyrolean

  • Referenced in 91 articles [sw07830]
  • proving (and disproving) termination of term rewrite systems. It is the completely redesigned successor ... termination techniques include: approximated dependency graph, argument filtering, bounds, dependency pair method, Knuth-Bendix order...
  • bvp4c

  • Referenced in 315 articles [sw06178]
  • bvp4c(odefun,bcfun,solinit) integrates a system of ordinary differential equations of the form ... points, which are stored in the input argument solinit. See the reference page for bvpinit...
  • ASPARTIX

  • Referenced in 18 articles [sw08820]
  • ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming. The system ASPARTIX is a tool ... broad range of formalizations of Dung’s argumentation framework and generalizations thereof. ASPARTIX relies...
  • FOXBOX

  • Referenced in 17 articles [sw00307]
  • methodology. The FOXBOX system is written in C++. C++ template arguments provide for abstract domain...
  • ABEL

  • Referenced in 2 articles [sw02787]
  • exception is the framework of probabilistic argumentation systems. Its philosophy is to include both qualitative ... probability theory. Probabilities are used to weigh arguments for and against particular hypotheses. ABEL ... language that allows to describe probabilistic argumentation systems and corresponding queries about hypotheses. It then...
  • LISP

  • Referenced in 127 articles [sw07201]
  • data structure, giving rise to the macro systems that allow programmers to create new syntax ... operator’s name first, and the arguments following; for instance, a function f that takes...
  • Siege

  • Referenced in 38 articles [sw04437]
  • only. siege takes one or two arguments, (first) the filename of a DIMACS-format ... seed is not given, the system time is used. Certificates, etc., are appended...
  • Featherweight Java

  • Referenced in 93 articles [sw16204]
  • reflection are dropped to enable rigorous arguments about key properties such as type safety ... detailed proof of type safety. The extended system formalizes for the first time some...
  • iArgue

  • Referenced in 1 article [sw28516]
  • iArgue: A Web-Based Argumentation System Supporting Collaboration Scripts with Adaptable Fading. In this work ... architecture of a Web-based system for argumentation (iArgue) that couples collaboration scripts with argumentation ... repetition. The main goal of building this system is to investigate the fading mechanism ... micro-script internalization and acquisition of argumentation skills...
  • zk-SNARK

  • Referenced in 13 articles [sw22495]
  • Such proof systems are known as {it zero-knowledge succinct non-interactive arguments of knowledge ... proving statements about acceptance of the proof system’s own verifier (and correctness...
  • FORS

  • Referenced in 17 articles [sw04848]
  • variables. The program FORS (First Order Regression System) is an implementation of this idea, where ... regression is focused on a distinguished continuous argument of the target predicate. This...
  • OSCAR

  • Referenced in 45 articles [sw26328]
  • order logic and provably adequate for the argument-based conception of defeasible reasoning. Because ... most recent version of OSCAR implements this system, and examples are given of OSCAR...
  • Argtools

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

  • Referenced in 2 articles [sw21598]
  • GrappaVis - A System For Advanced Graphical Argumentation Formalisms. Welcome to the system page of GrappaVis...
  • ConArg2

  • Referenced in 6 articles [sw22084]
  • Abstract Argumentation. It exploits Gecode, an efficient C++ toolkit for developing constraint-based systems...
  • GAUDI

  • Referenced in 13 articles [sw01384]
  • high level triggers in the on-line system to the final physics analysis. We present ... major architectural design choices and outline the arguments that led to these choices. Several iterations...
  • Tweety

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