• PRISM

  • Referenced in 39 articles [sw23359]
  • PRISM whose programs are not only a probabilistic extension of logic programs but also able ... learning algorithm. As a knowledge representation language appropriate for probabilistic reasoning, it can describe various...
  • CP-logic

  • Referenced in 18 articles [sw06947]
  • fundamental study of the representation of causal knowledge. Causality has an inherent dynamic aspect, which ... completely self-contained way as a representation of probabilistic causal laws, this provides ... intuitions behind such probabilistic logic programs: we can say precisely which knowledge such a program ... obtain an additional piece of knowledge representation methodology for probabilistic logic programs, by showing...
  • FRIL

  • Referenced in 44 articles [sw18490]
  • knowledge representation and method of inference to permit the inclusion of uncertainties such as probabilistic...
  • SPOOK

  • Referenced in 13 articles [sw12539]
  • SPOOK: A system for probabilistic object-oriented knowledge representation. In previous work, we pointed...
  • Tweety

  • Referenced in 9 articles [sw22090]
  • with different knowledge representation formalisms such as classical logics, conditional logics, probabilistic logics, and argumentation...
  • KReator

  • Referenced in 3 articles [sw06946]
  • probabilistic methods of inference and learning in relational or first-order representations of knowledge ... that area, which mostly extend existing propositional probabilistic methods like Bayes Nets and Markov Networks...
  • BaRT

  • Referenced in 2 articles [sw01950]
  • state-of-the-art probabilistic methods fit naturally into a knowledge-based approach to classificatory ... examining the current capabilities of BaRT. As representation tool is used the Conceptual Structures Representation ... current version of BaRT supports three knowledge representations: Bayesian networks, influence diagrams, and taxonomic hierachies ... reasoning and property inheritance, based on a probabilistic semantics, is going to be implemented...
  • REBA

  • Referenced in 4 articles [sw29435]
  • robotics. This article describes REBA, a knowledge representation and reasoning architecture for robots that ... zoomed fine-resolution system description, and a probabilistic representation of the uncertainty in sensing ... logic-based and probabilistic descriptions of uncertainty and incomplete domain knowledge. In addition, we describe ... robot based on these knowledge representation and reasoning tools, and provide a path for proving...
  • ProTraS

  • Referenced in 2 articles [sw33763]
  • ProTraS: A probabilistic traversing sampling algorithm. In the process of knowledge discovery in big data ... competitive results in terms of quality of representation for clustering, sampling size and sampling time...
  • Meta-iPVP

  • Referenced in 1 article [sw40049]
  • Particularly, efficient feature representation approach was used to generate discriminative probabilistic features from four machine ... feature encodings. To the best of our knowledge, the Meta-iPVP is the first meta...
  • TSMining

  • Referenced in 1 article [sw29030]
  • novel symbolic representation of time series, Data Mining and Knowledge Discovery ... Chiu, E. Keogh, S. Lonardi, Probabilistic discovery of time series motifs, ACM SIGKDD, Washington...
  • foxPSL

  • Referenced in 2 articles [sw13725]
  • logical representations with probabilistic graphical models. PSL can be seen as both a probabilistic logic ... values, allowing the expression of complex domain knowledge, like degrees of truth, in parallel with...
  • UniCon3D

  • Referenced in 0 articles [sw34253]
  • Results: Here, we develop a novel generative, probabilistic model that simultaneously captures local structural preferences ... polypeptide chains in a united-residue representation and performs experimentally motivated conditional conformational sampling ... units that minimizes a composite physics and knowledge-based energy function for de novo protein...
  • Meta-4mCpred

  • Referenced in 0 articles [sw37449]
  • employed a feature representation learning scheme and generated 56 probabilistic features based on four different ... physicochemical, and position-specific information. Subsequently, the probabilistic features were used as an input ... meta-predictor. To the best of our knowledge, this is the first meta-predictor...
  • Apron

  • Referenced in 69 articles [sw00045]
  • Apron: a library of numerical abstract domains for...
  • 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...
  • GAP

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

  • Referenced in 279 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • Isabelle

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