• ML

  • Referenced in 522 articles [sw01218]
  • 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...
  • 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 ... values. We define various Dung style semantics for argument graphs. We also introduce a pattern...
  • Tyrolean

  • Referenced in 89 articles [sw07830]
  • termination techniques include: approximated dependency graph, argument filtering, bounds, dependency pair method, Knuth-Bendix order ... interpretation, predictive labeling, recursive SCC, root-labeling, semantic labeling, simple projection and subterm criterion, uncurrying...
  • ConArg2

  • Referenced in 6 articles [sw22084]
  • ConArg2: A Constraint-based Tool for Abstract Argumentation. ConArg2 is a Constraint-programming tool oriented ... problems related to extension-based semantics in Abstract Argumentation. It exploits Gecode, an efficient ... properties required by semantics are encoded into constraints, and arguments are assigned ... that semantics. Searching for solutions of problems (as enumerating extensions or checking argument-acceptance) takes...
  • Polyp

  • Referenced in 33 articles [sw09131]
  • semantics of the programs in the extended language is obtained by adding type arguments...
  • Dungine

  • Referenced in 5 articles [sw22091]
  • under grounded (sceptical) and preferred credulous semantics. Existing argumentation engines all rely on a companion...
  • RP-DeLP

  • Referenced in 4 articles [sw19192]
  • DeLP: a weighted defeasible argumentation framework based on a recursive semantics. In this article ... recursive semantics for warranted formulas in a general defeasible logic argumentation framework by formalizing ... collective (non-binary) conflict among arguments. The recursive semantics for warranted formulas is based ... argument is rejected, then further arguments built on top of it should also be rejected...
  • ArgueApply

  • Referenced in 2 articles [sw27498]
  • Grappa framework, an extension of, e.g., abstract argumentation in the sense of Dung. With ArgueApply ... engage in online discussions and evaluate their semantics. Each of the resulting interpretations ... accessible than existing systems for computing argumentation semantics allowing, e.g., for spontaneous analysis...
  • Featherweight Java

  • Referenced in 91 articles [sw16204]
  • reflection are dropped to enable rigorous arguments about key properties such as type safety ... fields, inheritance, and dynamic typecasts with a semantics closely following Java’s. A proof...
  • Carneades

  • Referenced in 9 articles [sw22087]
  • deciding whether an argument is credulously or skeptically inferred) and Dung semantics (grounded, complete, preferred...
  • DIAMOND

  • Referenced in 9 articles [sw22086]
  • Argumentation (ICCMA). DIAMOND is essentially a collection of answer set programming (ASP) encodings of semantics...
  • FL

  • Referenced in 3 articles [sw14199]
  • exception semantics much like in ML. Each function has an implicit history argument which...
  • SAFEWAPI

  • Referenced in 1 article [sw38000]
  • language semantics allows to call a function defined with some parameters without any arguments, platform ... arguments. Because the library functions in Web APIs expose their intended semantics clearly...
  • ProGraph

  • Referenced in 1 article [sw22095]
  • given argument is credulously inferred, both with respect to the stable semantics...
  • Argtools

  • Referenced in 1 article [sw22092]
  • number of argumentation problems under preferred, stable, complete and grounded semantics. ArgTools...
  • CryptHOL

  • Referenced in 7 articles [sw28582]
  • CryptHOL provides a framework for formalising cryptographic arguments in Isabelle/HOL. It shallowly embeds a probabilistic ... operators are defined in the new semantic domain of generative probabilistic values, a codatatype...
  • PITA

  • Referenced in 22 articles [sw06950]
  • others. These languages share a similar distribution semantics, and methods have been devised to translate ... PRISM, including optimizations that reduce non-discriminating arguments and the computation of Viterbi paths. Furthermore...
  • FOOL

  • Referenced in 3 articles [sw14287]
  • indistinguishable from formulas and can appear as arguments to functions. In addition, FOOL contains ... constructs. We define the syntax and semantics of FOOL and its model-preserving translation...
  • GCminor

  • Referenced in 4 articles [sw22622]
  • desired degree of verification, including full semantics preservation, type preservation, or informal trust ... support a simple but useful memory safety argument for this compiler, the front end uses...
  • LamatzSolver

  • Referenced in 1 article [sw22093]
  • International Competition on Computational Models of Argumentation (ICCMA’15). The solver is implemented in Java ... determines all extensions of grounded semantics. The algorithm used is oriented on the characteristic function...