Possibilistic preference networks
Texte intégral
Figure
Documents relatifs
Moreover, the possibilistic representation is expressive (see [10] for an introductory survey), and can capture partial orders thanks to the use of symbolic weights, without
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des
Unite´ de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unite´ de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP
Line 36, function synchro is used on the output arc in order to produce a copy of the net taken from the input place (as x) in which the transition "tToknet" has fired..
Key-words: Proof nets, cut elimination, identity of proofs, correctness criterion, multiplicative linear logic, pomset logic, classical logic... R´ esum´ e : Pas
Keywords: Meta-Modeling, Petri Nets, Domain-Specific Modeling, Lan- guage Workbench, Model Transformations, Process
If the 1-safe Petri nets are taken as the agents, then complexity of a number of decision problems for systems with floating channels become straightforward conclusions from
Comme nous nous int´eressons aux pr´ef´erences d’un groupe d’utilisateurs, nous allons ajouter des probabilit´es dans les tables de pr´ef´erences lo- cales afin de construire