Automatically assigned DDC number: 005116

Manually assigned DDC number: 005116

Number of references: 0

Title: Implementing Randomised Algorithms in Constraint Logic Programming

Author:

Author:

Author:

Subject: Nicos Angelopoulos,Ra Di Pierro,Herbert Wiklicky Implementing Randomised Algorithms in Constraint Logic Programming

Description: We propose a declarative-based implementation of randomised algorithms, which exploits the Constraint Logic Programming (CLP) paradigm. For the high-level formalisation of probabilistic programs expressing such algorithms we actually refer to a generalisation of CLP, namely the Probabilistic Concurrent Constraint Programming (PCCP) language, previously introduced in [DW97]. This language provides a construct for probabilistic choice which allows us to express randomness in a program. PCCP also includes synchronisation and concurrency aspects. However, for the purpose of this work, the (probabilistic) CLP fragment of PCCP is sufficient. We present a meta-interpreter for this language. This is just a standard prolog meta-interpreter, suitably extended so as to deal with probabilistic choice. For the constraint solving, the meta-interpreter exploits existing constraint handling facilities (and in more concrete terms to the SICStus 3.#6 system). This is possible because the design of PCCP ...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1998-10-08

Pubyear: 1998

Format: ps

Identifier: http://citeseer.ist.psu.edu/140557.html

Source: http://web.soi.city.ac.uk/homes/nicos/hp/wo/jicslp98.ps.gz

Language: en

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Implementing   Randomised   Algorithms   in   Constraint   Logic   Programming">

            <identifier   Org="ISBN:0262600315"   Paper_ID="SELF"   Extracted="0262600315"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540678859"   Paper_ID="SELF"   Extracted="3540678859"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540749691"   Paper_ID="SELF"   Extracted="3540749691"   DDC="005.1/16"   Normalized_DDC="005116"   Normalized_Weight="0.3333333333333333"   />

      </rec>

</references_metadata>

www.000webhost.com