• Tweety

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

  • Referenced in 6 articles [sw22924]
  • programs for reasoning and learning with Probabilistic Logic Programming languages that follow the distribution semantics ... experiments comparing exact and approximate inference with conditional and causal queries, showing that causal inference...
  • KOMET

  • Referenced in 4 articles [sw21352]
  • like conditional preference strategies, schema integration or data inconsistency resolution. Using annotated logic, KOMET ... various common types of reasoning, such as probabilistic, fuzzy, paraconsistent and certain types of temporal...
  • PrASP

  • Referenced in 3 articles [sw18512]
  • software platform for non-monotonic (inductive) probabilistic logic programming, our framework mainly targets applications ... first-order logic formulas (with stable model semantics), annotated with conditional or unconditional probabilities...
  • SPIRIT

  • Referenced in 7 articles [sw26763]
  • SPIRIT. The inference process in a probabilistic and conditional environment under minimum relative entropy, permits ... user as well as all relevant logical transformations and numerical calculations. SPIRIT is an Expert...
  • Warmr

  • Referenced in 2 articles [sw37013]
  • mining methods from the field of Inductive Logic Programming (ILP) have potential advantages for structural ... frequent substructures was to convert them into probabilistic prediction rules relating compound description to carcinogenesis ... atom-bond substructure with less than seven conditions, that could predict carcinogenicity. This results...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ACL2

  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...
  • AXIOM

  • Referenced in 173 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • dl2asp

  • Referenced in 3 articles [sw00208]
  • dl2asp: implementing default logic via answer set programming...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Macaulay2

  • Referenced in 1923 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 3315 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 263 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...