Filters








1,481 Hits in 3.1 sec

A Memoizing Semantics for Functional Logic Languages [chapter]

Salvador España, Vicent Estruch
<span title="">2004</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In this article, we introduce a non-standard memoizing semantics for multi-paradigm declarative programs and prove its equivalence with the standard operational semantics.  ...  The operational semantics of these languages is based on a combination of narrowing and residuation.  ...  We gratefully acknowledge Germán Vidal for many useful questions, suggestions and helpful discussions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-24725-8_9">doi:10.1007/978-3-540-24725-8_9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/oxoxq6io5faafji4gv4srjyc4u">fatcat:oxoxq6io5faafji4gv4srjyc4u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190505031752/https://link.springer.com/content/pdf/10.1007%2F978-3-540-24725-8_9.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b9/2f/b92fdfce4ae7479ecc4eacf8126d96ef808d2c18.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-24725-8_9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Page 4495 of Mathematical Reviews Vol. , Issue 97G [page]

<span title="">1997</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
4495 97g:68028 68N15 68Q52 Frost, Richard A. (3-WIND-C; Windsor, ON); Szydlowski, Barbara (3-WIND-C; Windsor, ON) Memoizing purely functional top-down backtracking language processors.  ...  .” 97g:68033 68N17 68Q55 Brewka, Gerhard (A-TUWN-WS; Vienna) Well-founded semantics for extended logic programs with dynamic preferences.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1997-07_97g/page/4495" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1997-07_97g/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Selective Memoization [article]

Umut A. Acar and Guy E. Blelloch and Robert Harper
<span title="2011-06-02">2011</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
This paper presents language techniques for applying memoization selectively.  ...  We prove that the MFL language is sound by showing that that MFL programs yield the same result as they would with respect to a standard, non-memoizing semantics.  ...  Soundness of MFL We prove the soundness of MFL relative to a non-memoizing semantics for the language.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1106.0447v1">arXiv:1106.0447v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ap6uo5rsdfcalcgu5pkvjd7g34">fatcat:ap6uo5rsdfcalcgu5pkvjd7g34</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-1106.0447/1106.0447.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> File Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1106.0447v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Selective Memoization with Box Types

Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca
<span title="">2009</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
In this paper we propose a system for selective memoization with essentially the same evaluation semantics but using a static semantics which dismisses bang types in favor of box types as defined in [11  ...  Particularly, in practice, memoized functions involve a box type in their domains.  ...  We also gratefully acknowledge the LSFA 2009 travel grants committee for providing partial funds to attend the meeting and Martha Buschbeck Alvarado for improving the English manuscript.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2009.11.006">doi:10.1016/j.entcs.2009.11.006</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6tro5andozcr5kdk2o5pkgu34a">fatcat:6tro5andozcr5kdk2o5pkgu34a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190413105445/https://core.ac.uk/download/pdf/82410438.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ae/b7/aeb70f4501d222dee2dacd5b88ac24e7b2908baa.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2009.11.006"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Selective memoization

Umut A. A. Acar, Guy E. Blelloch, Robert Harper
<span title="2003-01-15">2003</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
We present a framework for applying memoization selectively.  ...  We describe the framework in the context of a functional language and an implementation as an SML library.  ...  Soundness of MFL We will prove the soundness of MFL relative to a non-memoizing semantics for the language.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/640128.604133">doi:10.1145/640128.604133</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uybzdtuslrcirk34h42pa6cmxe">fatcat:uybzdtuslrcirk34h42pa6cmxe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190216070414/https://static.aminer.org/pdf/20170130/pdfs/popl/goujtsldetgb9axmnar1fyubskz48zqp.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/19/6c/196cb6d685ef00ccae784b85bd5242f62150bccb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/640128.604133"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Church: a language for generative models [article]

Noah Goodman, Vikash Mansinghka, Daniel M. Roy, Keith Bonawitz, Joshua B. Tenenbaum
<span title="2014-07-15">2014</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We introduce Church, a universal language for describing stochastic generative processes. Church is based on the Lisp model of lambda calculus, containing a pure Lisp as its deterministic subset.  ...  Church also includes a novel language construct, the stochastic memoizer, which enables simple description of many complex non-parametric models.  ...  This work was funded in part by a grant from NTT Communication Sciences Laboratory.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1206.3255v2">arXiv:1206.3255v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mmpjjv3j7jht5mbs5wxw7ezorm">fatcat:mmpjjv3j7jht5mbs5wxw7ezorm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200903083207/https://arxiv.org/pdf/1206.3255v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3e/4a/3e4a049b39da56f75bddd501709652e0d0a2bd24.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1206.3255v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Analyzing logic programs with dynamic scheduling

Kim Marriott, María José García de la Banda, Manuel Hermenegildo
<span title="">1994</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2qaxtqe2rfgjnfefqcokcnzelq" style="color: black;">Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL &#39;94</a> </i> &nbsp;
We give a framework for the global analysis of logic programming languages with dynamic scheduling and show that program analysis based on this framework supports optimizations which remove much of the  ...  Traditional logic programming languages, such as Prolog, use a fixed left-to-right atom scheduling rule.  ...  The framework extends memoization based analyses for traditional logic programming languages with a fixed leftto-right scheduling.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/174675.177883">doi:10.1145/174675.177883</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/popl/MarriottBH94.html">dblp:conf/popl/MarriottBH94</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gdj52htaonchjikjnwneoa2i6u">fatcat:gdj52htaonchjikjnwneoa2i6u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20161020173220/http://oa.upm.es/14455/1/HERME_ARC_1994-11.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0d/b7/0db71aa543189ac4ce88b790be728460f003a470.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/174675.177883"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A Consistent Semantics of Self-adjusting Computation [chapter]

Umut A. Acar, Matthias Blume, Jacob Donham
<span title="">2007</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We formalized the semantics and its meta-theory in the LF logical framework and machine-checked the proofs in Twelf.  ...  This paper presents a semantics of self-adjusting computation and proves that the semantics is correct and consistent.  ...  (All previous work on self-adjusting computation assumed strongly typed languages.) To study the semantics we extend the adaptive functional language AFL [4] with a memo construct for memoization.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-71316-6_31">doi:10.1007/978-3-540-71316-6_31</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/i42tspqferecfguxwyagvmpb64">fatcat:i42tspqferecfguxwyagvmpb64</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070221123453/http://ttic.uchicago.edu:80/~umut/papers/esop07.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/85/7c/857c1f839338241ece2be92d18b96985c634dbf6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-71316-6_31"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A consistent semantics of self-adjusting computation

UMUT A. ACAR, MATTHIAS BLUME, JACOB DONHAM
<span title="">2013</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uxwkeespobabbhdznzmxrfucny" style="color: black;">Journal of functional programming</a> </i> &nbsp;
We formalized the semantics and its meta-theory in the LF logical framework and machine-checked the proofs in Twelf.  ...  This paper presents a semantics of self-adjusting computation and proves that the semantics is correct and consistent.  ...  (All previous work on self-adjusting computation assumed strongly typed languages.) To study the semantics we extend the adaptive functional language AFL [4] with a memo construct for memoization.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0956796813000099">doi:10.1017/s0956796813000099</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/idxbpn6ejrfx5mr3g6t5sxa2ta">fatcat:idxbpn6ejrfx5mr3g6t5sxa2ta</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070221123453/http://ttic.uchicago.edu:80/~umut/papers/esop07.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/85/7c/857c1f839338241ece2be92d18b96985c634dbf6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0956796813000099"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> cambridge.org </button> </a>

Page 410 of Computational Linguistics Vol. 21, Issue 3 [page]

<span title="">1995</span> <i title="MIT Press Journals"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_computational-linguistics" style="color: black;">Computational Linguistics </a> </i> &nbsp;
One way to implement this in a functional programming language is to use a ‘Continuation-Passing Style’ (CPS) of programming.’  ...  In fact it is not clear how memoization could help in these cases, given that we require that memo behaves semantically as the identity function; i.e., that (memo f) and f are the same function.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_computational-linguistics_1995-09_21_3/page/410" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_computational-linguistics_1995-09_21_3/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Memoization of Top Down Parsing [article]

Mark Johnson
<span title="1995-04-25">1995</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
This paper discusses the relationship between memoized top-down recognizers and chart parsers. It presents a version of memoization suitable for continuation-passing style programs.  ...  When applied to a simple formalization of a top-down recognizer it yields a terminating parser.  ...  One way to implement this in a functional programming language is to use a 'Continuation-Passing Style' (CPS) of programming. 5 It turns out that a memoized topdown parser writen in continuation-passing  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cmp-lg/9504016v1">arXiv:cmp-lg/9504016v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/l7fztf5fkjeihfkipetqdyxjk4">fatcat:l7fztf5fkjeihfkipetqdyxjk4</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-cmp-lg9504016/cmp-lg9504016.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> File Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/89/12/8912e2abe5659c779f90a2bb730d06dd4210a2a0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cmp-lg/9504016v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Memoized Pull-Tabbing for Functional Logic Programming [article]

Michael Hanus, Finn Teegen
<span title="2020-08-27">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Pull-tabbing is an evaluation technique for functional logic programs which computes all non-deterministic results in a single graph structure.  ...  It has been used to compile functional logic languages into imperative or purely functional target languages. Pull-tab steps might duplicate choices in case of shared subexpressions.  ...  This is also used to specify the operational semantics of functional logic languages [1] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2008.11999v1">arXiv:2008.11999v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/i7c6gnt22jblveiamsljjgkwwe">fatcat:i7c6gnt22jblveiamsljjgkwwe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200901011301/https://arxiv.org/pdf/2008.11999v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2008.11999v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Subset-logic programs and their implementation

Bharat Jayaraman, Kyonghee Moon
<span title="">2000</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7qdabej4lbaczotmeg3ldn4ioy" style="color: black;">The Journal of Logic Programming</a> </i> &nbsp;
Our conclusion is that the monotonic memo-tables are a practical tool for implementing a set-oriented logic programming language.  ...  This paper discusses the design and implementation of a set-oriented logic programming paradigm, called subset-logic programming.  ...  We are grateful to them for allowing us FTP access to the SB-Prolog source code.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0743-1066(99)00005-9">doi:10.1016/s0743-1066(99)00005-9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qccgtr45xra3nab2b2rtiflv7y">fatcat:qccgtr45xra3nab2b2rtiflv7y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190414133208/https://core.ac.uk/download/pdf/82496077.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/bb/04/bb04e96929e3fc54a291793573ab0991656ac8cf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0743-1066(99)00005-9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

L2C2: Logic-based LSC Consistency Checking [article]

Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam
<span title="2010-02-16">2010</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Live sequence charts (LSCs) have been proposed as an inter-object scenario-based specification and visual programming language for reactive systems.  ...  An LSC simulator has been implemented in logic programming, utilizing a memoized depth-first search strategy, to show how a reactive system in LSCs would response to a set of external event sequences.  ...  A semantic mapping function is then defined to transform the parsing tree recursively to logic clauses and maintain their semantic equivalence.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1002.3083v1">arXiv:1002.3083v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xndutmgazbe7vnwuhjq7hk2utu">fatcat:xndutmgazbe7vnwuhjq7hk2utu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171004030306/https://core.ac.uk/download/pdf/2107155.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ad/47/ad478f514d77a73ec6a07a66ee7dd4663647f019.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1002.3083v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Probabilistic (logic) programming concepts

Luc De Raedt, Angelika Kimmig
<span title="2015-05-08">2015</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/h4nnd7sxwzcwhetu5qkjbcdh6u" style="color: black;">Machine Learning</a> </i> &nbsp;
While doing so, we focus on probabilistic extensions of logic programming languages such as Prolog, which have been considered for over 20 years.  ...  Each of these languages employs its own probabilistic primitives, and comes with a particular syntax, semantics and inference procedure.  ...  Acknowledgements The authors are indebted to Bernd Gutmann and Ingo Thon for participating in many discussions, and contributing several ideas during the early stages of the research that finally led to  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10994-015-5494-z">doi:10.1007/s10994-015-5494-z</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6bgcvas4lfed5invj2jjb7wfmy">fatcat:6bgcvas4lfed5invj2jjb7wfmy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812215809/https://lirias.kuleuven.be/bitstream/123456789/490338/1/deraedt_kimmig_mlj15.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/24/67/2467725d2cbd2631bf9267787bd0255d9487aabb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10994-015-5494-z"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 1,481 results