Data-Complexity of the Two-Variable Fragment with Counting Quantifiers
–arXiv.org Artificial Intelligence
The data-complexity of both satisfiability and finite satisfiability for the two-variable fragment with counting is NP-complete; the data-complexity of both query-answering and finite query-answering for the two-variable guarded fragment with counting is co-NP-complete.
arXiv.org Artificial Intelligence
Jun-10-2008