When rule-based models need to count
| Autor: | Boutillier, Pierre, Cristescu, Ioana |
|---|---|
| Rok vydání: | 2017 |
| Předmět: | |
| Druh dokumentu: | Working Paper |
| Popis: | 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. |
| Databáze: | arXiv |
| Externí odkaz: |
|