• 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...