Query evaluation via tree-decompositions
Journal of the ACM (JACM)
Query Evaluation via Tree-Decompositions
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Generalized Quantifiers in Logic Programs
ESSLLI '97 Revised Lectures from the 9th European Summer School on Logic, Language, and Information: Generalized Quantifiers and Computation
Farrell polynomials on graphs of bounded tree width
Advances in Applied Mathematics - Special issue on: Formal power series and algebraic combinatorics in memory of Rodica Simion, 1955-2000
Theory revision with queries: horn, read-once, and parity formulas
Artificial Intelligence
From Hilbert's program to a logic tool box
Annals of Mathematics and Artificial Intelligence
| Hi-index | 0.00 |