FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2185518388> ?p ?o ?g. }

• W2185518388 abstract "The integration of probabilistic reasoning with logic programming has become one of the challenges in Artificial Intelligence. Lately, a lot of Probabilistic Logic Programming (PLP) formalisms have surfaced. Given that PLP is the combination of logic programming and probabilities which are two very different fields, it is expected that researchers from several fields come up with different approaches to tackle the presented challenges. This has resulted in a new discipline called Probabilistic Logic Learning (PLL) or Statistical Relational Learning (SRL) and a very active research community. Within this community, ProbLog a probabilistic extension of Prolog, has appeared. ProbLog was motivated by the task of mining links in large probabilistic graphs. The simple but powerful ProbLog formulation was extended in order to support inference on several different models. Soon ProbLog evolved into a general purpose probabilistic programming language that provides infrastructure for many PLL/SRL tasks. The two most critical aspects of a PLP language are its expression power, and its scalability over common PLL problems. This thesis focuses on the extension and implementation of ProbLog. Tabling is a well known method for avoiding re-computation in logic programming; we present how tabling can be implemented for ProbLog. Tabling has significant benefits for performance and also allows ProbLog to handle cyclic programs. In order for the ProbLog system to perform inference, it manipulates large Boolean formulae. We present the manipulation of Boolean formulae and several novel algorithms that improve the performance of this task. Furthermore, we present patterns, called AND/OR-clusters, that can be used to reduce a Boolean formula to an equivalent one. Besides performance improvements of the ProbLog system, we also present several novel extensions to the ProbLog language, such as: general negation, probabilistic meta calls and ProbLog answers. Finally, we present two applications of ProbLog that use several of the features we have contributed to ProbLog." @default.
• W2185518388 created "2016-06-24" @default.
• W2185518388 creator A5058008678 @default.
• W2185518388 date "2012-01-01" @default.
• W2185518388 modified "2023-09-26" @default.
• W2185518388 title "Efficient Algorithms for Prolog Based Probabilistic Logic Programming" @default.
• W2185518388 cites W101797636 @default.
• W2185518388 cites W1215345351 @default.
• W2185518388 cites W131912969 @default.
• W2185518388 cites W1482512828 @default.
• W2185518388 cites W1492147896 @default.
• W2185518388 cites W1499336148 @default.
• W2185518388 cites W1502405167 @default.
• W2185518388 cites W1506042709 @default.
• W2185518388 cites W1518043585 @default.
• W2185518388 cites W1522225310 @default.
• W2185518388 cites W1523817461 @default.
• W2185518388 cites W1527801507 @default.
• W2185518388 cites W1554446114 @default.
• W2185518388 cites W1560531798 @default.
• W2185518388 cites W1560625027 @default.
• W2185518388 cites W1563950057 @default.
• W2185518388 cites W1578408812 @default.
• W2185518388 cites W1588510915 @default.
• W2185518388 cites W1588666994 @default.
• W2185518388 cites W1597657898 @default.
• W2185518388 cites W1603304162 @default.
• W2185518388 cites W1633768400 @default.
• W2185518388 cites W165195483 @default.
• W2185518388 cites W1774324140 @default.
• W2185518388 cites W1824971879 @default.
• W2185518388 cites W1836582804 @default.
• W2185518388 cites W1856314200 @default.
• W2185518388 cites W1860880244 @default.
• W2185518388 cites W1889548941 @default.
• W2185518388 cites W1890754682 @default.
• W2185518388 cites W190576718 @default.
• W2185518388 cites W1968513265 @default.
• W2185518388 cites W1976811743 @default.
• W2185518388 cites W1977128019 @default.
• W2185518388 cites W1977970897 @default.
• W2185518388 cites W1980717258 @default.
• W2185518388 cites W1981149018 @default.
• W2185518388 cites W1994143452 @default.
• W2185518388 cites W202248608 @default.
• W2185518388 cites W2033072307 @default.
• W2185518388 cites W2040176884 @default.
• W2185518388 cites W2052451171 @default.
• W2185518388 cites W2058110750 @default.
• W2185518388 cites W2066720893 @default.
• W2185518388 cites W2070448217 @default.
• W2185518388 cites W2070598037 @default.
• W2185518388 cites W2078843353 @default.
• W2185518388 cites W2080267935 @default.
• W2185518388 cites W2084943080 @default.
• W2185518388 cites W2090761873 @default.
• W2185518388 cites W2096121571 @default.
• W2185518388 cites W2100083403 @default.
• W2185518388 cites W2101335378 @default.
• W2185518388 cites W2113617070 @default.
• W2185518388 cites W2137126099 @default.
• W2185518388 cites W2141830665 @default.
• W2185518388 cites W2149612380 @default.
• W2185518388 cites W2165876990 @default.
• W2185518388 cites W2170561649 @default.
• W2185518388 cites W2171472464 @default.
• W2185518388 cites W2186752618 @default.
• W2185518388 cites W2283350629 @default.
• W2185518388 cites W228544153 @default.
• W2185518388 cites W2337480916 @default.
• W2185518388 cites W2521804347 @default.
• W2185518388 cites W2526249298 @default.
• W2185518388 cites W2526773126 @default.
• W2185518388 cites W2527151301 @default.
• W2185518388 cites W2895423403 @default.
• W2185518388 cites W2962686005 @default.
• W2185518388 cites W3003764572 @default.
• W2185518388 cites W32064870 @default.
• W2185518388 cites W3215967691 @default.
• W2185518388 cites W55914417 @default.
• W2185518388 hasPublicationYear "2012" @default.
• W2185518388 type Work @default.
• W2185518388 sameAs 2185518388 @default.
• W2185518388 citedByCount "4" @default.
• W2185518388 countsByYear W21855183882013 @default.
• W2185518388 countsByYear W21855183882015 @default.
• W2185518388 crossrefType "journal-article" @default.
• W2185518388 hasAuthorship W2185518388A5058008678 @default.
• W2185518388 hasConcept C102993220 @default.
• W2185518388 hasConcept C124101348 @default.
• W2185518388 hasConcept C128828806 @default.
• W2185518388 hasConcept C128838566 @default.
• W2185518388 hasConcept C146206909 @default.
• W2185518388 hasConcept C154945302 @default.
• W2185518388 hasConcept C177877439 @default.
• W2185518388 hasConcept C18998212 @default.
• W2185518388 hasConcept C199360897 @default.
• W2185518388 hasConcept C203659156 @default.
• W2185518388 hasConcept C24404364 @default.
• W2185518388 hasConcept C2779382394 @default.

• next