• ML

  • Referenced in 522 articles [sw01218]
  • ensures type safety – there is a formal proof that a well-typed ML program does ... provides pattern matching for function arguments, garbage collection, imperative programming, call-by-value and currying ... completely specified and verified using formal semantics. Its types and pattern matching make it well...
  • AFRA

  • Referenced in 29 articles [sw02090]
  • issue of representing attacks to attacks in argumentation is receiving an increasing attention ... present AFRA, a formalism encompassing unlimited recursive attacks within argumentation frameworks. AFRA satisfies the basic ... theory of argumentation. This paper provides a complete development of the AFRA formalism complemented...
  • LEGO

  • Referenced in 107 articles [sw09685]
  • example, features of the system like argument synthesis and universe polymorphism make proof checking more ... practical by bringing the level of formalization closer to that of informal mathematics. The higher...
  • 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...
  • ArgueApply

  • Referenced in 2 articles [sw27498]
  • ArgueApply: a mobile app for argumentation. Formal models developed in the field of argumentation allow...
  • Featherweight Java

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

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

  • Referenced in 4 articles [sw19192]
  • general defeasible logic argumentation framework by formalizing a notion of collective (non-binary) conflict among...
  • ABEL

  • Referenced in 2 articles [sw02787]
  • interactive tool for probabilistic argumentative reasoning. Most formal approaches to argumentative reasoning under uncertainty focus...
  • Autoepigraph

  • Referenced in 1 article [sw33594]
  • allow for handling of many other argumentation formalisms and that can be used in applications...
  • FLGUARD

  • Referenced in 1 article [sw41617]
  • evaluate the FLGUARD algorithm. We provide formal argumentation for the effectiveness of our FLGUARD...
  • Tweety

  • Referenced in 9 articles [sw22090]
  • knowledge representation formalisms such as classical logics, conditional logics, probabilistic logics, and argumentation. Furthermore, Tweety...
  • Irrationality_J_Hancl

  • Referenced in 1 article [sw38035]
  • Hancl: Irrational Rapidly Convergent Series. We formalize with Isabelle/HOL a proof of a theorem ... makes use only of analytical arguments. We also formalize a corollary of the theorem...
  • KIEL

  • Referenced in 2 articles [sw29844]
  • within the latter the formal paramters are substituted by the arguments. For instance...
  • Tribe

  • Referenced in 4 articles [sw23217]
  • field initialisation, as orthogonal to the core formalism. Tribe can support path types dependent simultaneously ... without the need to drag around family arguments. Languages based on Tribe will be both...
  • Girth-Chromatic

  • Referenced in 1 article [sw29248]
  • Chromatic Number Theorem. This works presents a formalization of the Girth-Chromatic number theorem ... Graphs to prove the existence with probabilistic arguments...
  • Polylogarithms.jl

  • Referenced in 1 article [sw36530]
  • very little of the literature contains any formal validation of numerical performance. In this paper ... calculating polylogarithms for both complex parameter and argument and evaluate it thoroughly in comparison...
  • MiniBrass

  • Referenced in 1 article [sw31298]
  • decision and optimization problems. Plenty of modeling formalisms for various problem domains involving soft constraints ... semiring from an arbitrary PVS. Both arguments draw upon elements from category theory. MiniBrass turns ... system, reusable implementations of specific soft constraint formalisms as PVS types, operators for complex...