Alessandra di Pierro and Herbert Wiklicky. Quantitative observables and averages in Probabilistic Concurrent Constraint Programming. In ERCIM Workshop on Constraints, Paphos, Cyprus, 2000. Springer Verlag. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Concurrent Constraint Programming: Towards Probabilistic.. - Di Pierro, Wiklicky (2000) (Correct)
....appear in both the choice and the parallel constructs, as shown in in Table 2. 2. 2 Intuitive Semantics The operational semantics of CCP is described by means of a transition system [14] For PCCP we take the same transition system but we extend it by associating to each transition a probability [19, 16]. Such a probability expresses the likelihood that a transition takes place. Therefore, while for deterministic transitions the probability is 1, for the choice and the parallel constructs the transition probability has to be de ned according to the distributions p i and q i respectively. This can ....
A. Di Pierro and H. Wiklicky. Quantitative observables and averages in Probabilistic Constraint Programming. In K. Apt, A. Kakas, E. Monfroy, and F. Rossi, editors, New Trends in Constraints, volume 1865 of Lecture Notes in Articial Intelligence. Springer Verlag, 2000.
Randomised Algorithms and Probabilistic Constraint Programming - Di Pierro, Wiklicky Self-citation (Di pierro Wiklicky) (Correct)
....paralell construct. Successful termination is expressed by the agent stop; the agent tell, the hiding operator 9 x and the procedure call p(x) are the usual ones. The operator k expresses the parallel composition of two agents. We discuss only the probabilistic choice construct, and refer to [6] for a full description of the operational semantics of PCCP. The intended meaning of this construct is as follows: First, check whether constraints c i are entailed by the store. All those agents A i such that c i are entailed are called enabled. At this point we have to ensure that all ....
Alessandra di Pierro and Herbert Wiklicky. Quantitative observables and averages in Probabilistic Concurrent Constraint Programming. In ERCIM Workshop on Constraints, Paphos, Cyprus, 2000. Springer Verlag.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC