• Pronto

  • Referenced in 3 articles [sw14757]
  • Pronto: A Practical Probabilistic Description Logic Reasoner. This paper presents Pronto—the first probabilistic Description...
  • REBA

  • Referenced in 4 articles [sw29435]
  • zoomed fine-resolution system description, and a probabilistic representation of the uncertainty in sensing ... reason with non-monotonic logic-based and probabilistic descriptions of uncertainty and incomplete domain knowledge...
  • PrASP

  • Referenced in 3 articles [sw18512]
  • tool for probabilistic reasoning based on logic programming and first-order theories under stable model ... semantics. This system description paper describes the software framework PrASP (“probabilistic answer set programming”). PrASP ... machine learning software and a probabilistic logic programming language based on answer set programming...
  • PLINI

  • Referenced in 1 article [sw09902]
  • PLINI: A probabilistic logic program framework for inconsistent news information. News sources are reliably unreliable ... Past work on inconsistency management and paraconsistent logics assume that we have “clean” definitions ... what does it mean for two event descriptions to be mutually inconsistent, given that these ... this paper, we propose a probabilistic logic programming language called PLINI (Probabilistic Logic for Inconsistent...
  • Warmr

  • Referenced in 2 articles [sw37013]
  • mining methods from the field of Inductive Logic Programming (ILP) have potential advantages for structural ... convert them into probabilistic prediction rules relating compound description to carcinogenesis. These rules were found...
  • ANSYS

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

  • Referenced in 69 articles [sw00045]
  • Apron: a library of numerical abstract domains for...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • 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...
  • LEDA

  • Referenced in 263 articles [sw00509]
  • In the core computer science areas -- data structures...
  • 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...
  • MiniSat

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

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • REDUCE

  • Referenced in 746 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • SageMath

  • Referenced in 1994 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...