计数查询答案的逻辑
计算机科学中的逻辑
2017-04-21 v3 计算复杂性
摘要
我们考虑在有限结构上计数一阶公式答案数量的问题。我们提出并研究了一阶逻辑的一种扩展，在该扩展中可以自然且方便地表达用于此计数问题的算法，其意义已得到精确阐述，且其动机源于希望理解该计数问题的易处理情形。
引用
@article{arxiv.1501.07195,
title = {The Logic of Counting Query Answers},
author = {Hubie Chen and Stefan Mengel},
journal= {arXiv preprint arXiv:1501.07195},
year = {2017}
}