The Logic of Counting Query Answers
Abstract
We consider the problem of counting the number of answers to a first-order formula on a finite structure. We present and study an extension of first-order logic in which algorithms for this counting problem can be naturally and conveniently expressed, in senses that are made precise and that are motivated by the wish to understand tractable cases of the counting problem.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2015
- DOI:
- 10.48550/arXiv.1501.07195
- arXiv:
- arXiv:1501.07195
- Bibcode:
- 2015arXiv150107195C
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Computer Science - Computational Complexity