摘要翻译：
当有更有效的枚举方法时，基于规则的建模者不喜欢直接枚举案例。我们给出了Kappa语言的一个扩展，它给agent附加了一个层次的概念。我们详细介绍了两种比前一种更简洁的编码方法。
---
英文标题：
《When rule-based models need to count》
---
作者：
Pierre Boutillier (1), Ioana Cristescu (1) ((1) HMS)
---
最新提交年份：
2017
---
分类信息：

一级分类：Quantitative Biology        数量生物学
二级分类：Other Quantitative Biology        其他定量生物学
分类描述：Work in quantitative biology that does not fit into the other q-bio classifications
不适合其他q-bio分类的定量生物学工作
--
一级分类：Computer Science        计算机科学
二级分类：Programming Languages        程序设计语言
分类描述：Covers programming language semantics, language features, programming approaches (such as object-oriented programming, functional programming, logic programming). Also includes material on compilers oriented towards programming languages; other material on compilers may be more appropriate in Architecture (AR). Roughly includes material in ACM Subject Classes D.1 and D.3.
涵盖程序设计语言语义，语言特性，程序设计方法（如面向对象程序设计，函数式程序设计，逻辑程序设计）。还包括面向编程语言的编译器的材料；关于编译器的其他材料可能在体系结构(AR)中更合适。大致包括ACM主题课程D.1和D.3中的材料。
--

---
英文摘要：
  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.
---
PDF链接：
https://arxiv.org/pdf/1708.02651