• ML

  • Referenced in 524 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 30 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 108 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...
  • 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...
  • ArgueApply

  • Referenced in 1 article [sw27498]
  • ArgueApply: a mobile app for argumentation. Formal models developed in the field of argumentation allow...
  • Autoepigraph

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

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

  • Referenced in 0 articles [sw41617]
  • evaluate the FLGUARD algorithm. We provide formal argumentation for the effectiveness of our FLGUARD...
  • 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...
  • ArgQL

  • Referenced in 1 article [sw42616]
  • composed by sets of arguments and their interrelations. We use formal semantics to show...
  • DeepA2

  • Referenced in 1 article [sw42471]
  • argumentation, as valid arguments: It inserts, e.g., missing premises and conclusions, formalizes inferences, and coherently ... create a synthetic corpus for deep argument analysis, and evaluate ArgumentAnalyst on this new dataset...
  • BTestBox

  • Referenced in 1 article [sw42804]
  • models. The argument of correctness in refinement-based formal software design often disregards source code...
  • 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...