When rule-based models need to count - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2017

When rule-based models need to count

Pierre Boutillier
Ioana Cristescu
  • Fonction : Auteur
  • PersonId : 1014376

Résumé

Rule-based modelers dislike direct enumeration of cases when more efficient means of enumeration are available. We present an extension of the Kappa language which attaches to agents a notion of level. We detail two encodings that are more concise than the former practice.
Fichier principal
Vignette du fichier
main.pdf (182.79 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01572177 , version 1 (04-08-2017)

Identifiants

Citer

Pierre Boutillier, Ioana Cristescu. When rule-based models need to count. [Research Report] Harvard Medical School. 2017. ⟨hal-01572177⟩

Collections

TDS-MACS LARA
42 Consultations
50 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More