• GRAPPA

  • Referenced in 12 articles [sw17255]
  • extended by us with the software suite GRAPPA, is the most accurate approach ... have implemented this method within our GRAPPA software and run several series of experiments...
  • GRAPPA

  • Referenced in 9 articles [sw20931]
  • GRAPPA: a semantical framework for graph-based argument processing. Graphical models are widely used...
  • Grappa

  • Referenced in 5 articles [sw10517]
  • Grappa: A graph package in java. Grappa is an extensible graph drawing package written ... graph drawing and layout services provided by Grappa, these services can be enhanced and customized ... modeling environment, was written on top of Grappa...
  • GrappaVis

  • Referenced in 2 articles [sw21598]
  • GrappaVis, the tool for specifying and evaluating GRAPPA and ADF instances. GrappaVis is a graphical ... tool to specify GRAPPA and ADF-instances, evaluate them and visualize the results ... therefore provides intuitive tools to draw GRAPPA/ ADF instances. For the evaluation it makes...
  • Grappa

  • Referenced in 2 articles [sw24686]
  • Grappa - a suite of functions in R for probability propagation in discrete graphical models...
  • ArgueApply

  • Referenced in 2 articles [sw27498]
  • argumentation that is based on the Grappa framework, an extension of, e.g., abstract argumentation ... system for exploring which type of Grappa frameworks under which semantics are best suited...
  • SmBoP

  • Referenced in 1 article [sw42269]
  • exact match of the autoregressive RAT-SQL+GraPPa...
  • MiniSat

  • Referenced in 566 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • Potassco

  • Referenced in 80 articles [sw06996]
  • Potassco: the Potsdam answer set solving collection. This...
  • DepQBF

  • Referenced in 46 articles [sw09734]
  • DepQBF is a search-based solver for quantified...
  • Clingo

  • Referenced in 104 articles [sw09893]
  • Potassco, the Potsdam Answer Set Solving Collection, bundles...
  • Datalog

  • Referenced in 292 articles [sw20023]
  • Datalog is a declarative logic programming language that...
  • Lpopt

  • Referenced in 8 articles [sw21595]
  • Lpopt: A rule optimization tool for answer set...
  • DIAMOND

  • Referenced in 9 articles [sw22086]
  • DIAMOND: a system for computing with abstract dialectical...
  • selp

  • Referenced in 8 articles [sw31006]
  • selp - A Single-Shot Epistemic Logic Program Solver...