• Non ci sono risultati.

Deductive and Inductive Probabilistic Programming


Academic year: 2021

Condividi "Deductive and Inductive Probabilistic Programming"


Testo completo


Deductive and Inductive Probabilistic


Fabrizio Riguzzi

Dipartimento di Ingegneria – University of Ferrara Via Saragat 1, I-44122, Ferrara, Italy

Abstract. Probabilistic programming (PP) is available in two different variants: imperative/functional and logic. These two variants have com-plementary strengths and mostly separate communities. In this talk I will discuss how most strengths of inference for imperative/functional PP can be included in PLP. Moreover, I will show that PLP is particu-larly suitable for inductive reasoning.


Documenti correlati

Every quantum circuit is approximately equivalent to a circuit built from CNOT and from four specific quantum gates... Universal Collections

 Stage presso la Salvatore Ferragamo S.p.A., nell’ambito del Controllo di Gestione, ufficio Investimenti..

Another patch of residual radio emission is present in the north-east of the im- age (source G3), close-by to a point source surrounded by a fainter large-scale signal and where the

 PRIN, Istituzioni democratiche e amministrazioni d'Europa: coesione e innovazione al tempo della crisi economica (coord. Francesco Merloni; coord. Unità locale Prof. Rolando

Understanding the environmental, social and economic policy impacts of envi- ronmental taxes in developing countries ne- cessitates further in-depth research, analysis, and ex

This fact can be attributed primarily to the higher currents developed during the tests with respect to the experiments with bare stainless steel anodes: maximum

Larsen and Skou [12] first proved that bisimilarity for reactive probabilistic systems can be given a logical characterization: two processes are bisimilar if and only if they

The focus of the paper is the analysis of the programming style to be used for model- ing the maximum bisimulation problem in a way as declarative way as possible in some dialects