158
click to vote
AMAI
2004
Springer
16 years 16 days ago
2004
Springer
In reasoning tasks involving logical formulas, high expressiveness is desirable, although it often leads to high computational complexity. We study a simple measure of expressiven...