Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

34

ICLP
2009
Springer

favoriteEmaildiscussreport

123views Automated Reasoning» more ICLP 2009»

Generative Modeling by PRISM

14 years 5 months ago

Generative Modeling by PRISM

Download sato-www.cs.titech.ac.jp

PRISM is a probabilistic extension of Prolog. It is a high level language for probabilistic modeling capable of learning statistical parameters from observed data. After reviewing it from various viewpoints, we examine some technical details related to logic programming, including semantics, search and program synthesis.

Taisuke Sato

Real-time Traffic

ICLP 2009 | Probabilistic Extension | Probabilistic Modeling | Programming Languages | Statistical Parameters |

claim paper

Related Content

» Automatic Verification of the IEEE1394 Root Contention Protocol with KRONOS and PRISM

» LogicBased Probabilistic Modeling

» A Tool for Checking Probabilistic Properties of COWS Services

» Directed Explicit StateSpace Search in the Generation of Counterexamples for Stochastic Mo...

» DTMC Model Checking by SCC Reduction

» Model equivalence of PRISM programs

» Topology of the Prism Model for 3D Indoor Spatial Objects

» Formal Analysis of BPMN Via a Translation into COWS

» HexDominant Mesh Generation with Directionality Control via Packing Rectangular Solid Cell...

Post Info
More Details (n/a)

Added	22 Nov 2009
Updated	22 Nov 2009
Type	Conference
Year	2009
Where	ICLP
Authors	Taisuke Sato

Comments (0)